You are currently browsing the tag archive for the ‘mapping’ tag.

When defining set, we mentioned that repetition and order are irrelevant for a set in the sense that \{a,b,c\}=\{b,c,a,b,b,c\}. This somewhat tells us the existence of order for the elements of sets. In fact, for many sets we are interested in, one or more orders are assumed in the common sense so that we can compare those elements. For example, for the set \{1,2,3,4\}, there is apparently an order called ‘less than’ (小于) which means we can ‘compare’ two elements in the manner whether one number is less than the other number or not. Similarly ‘less or equal to’ (小于等于), ‘greater than’ (大于), ‘greater or equal to’ (大于等于), and ‘equal to’ (等于) are other four orders for this set.

There is a mathematical way to define an ‘order’ for a set. This founds an important cornerstone for mathematical logic, and it is the main task of this post.

1. Ordered pair (有序对)

Read the rest of this entry »

Enter your email address to subscribe to this blog and receive notifications of new posts by email.
填写您的email便可以订阅此博客。订阅后,如有任何博文更新,您将会收到email通知。

Join 6 other followers

Categories

Archives

Blog Stats

  • 1,213 hits