Cardinality of sets

Cardinality of sets - Math 100 Cardinality Martin H....

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Math 100 Cardinality Martin H. Weissman 1. Cardinality of Sets Suppose that A and B are finite sets . Recall that we have proven the following theorems, relating the number of elements of A , the number of elements of B , and the existence of functions from A to B : # A # B if and only if there exists an injective function from A to B . # A # B if and only if there exists a surjective function from A to B . # A = # B if and only if there exists a bijective function from A to B . The study of infinity in set theory begins with the following important observation: even though the number # A does not yet have a definition when A is an infinite set, the existence of injective, surjective, and bijective functions makes sense for infinite sets. From this observation, we turn the above theorems into definitions , when A and B are arbitrary (not necessarily finite) sets: Definition 1. Suppose that A and B are sets. We say that # A # B if there exists an injective function from A to B . We say that # A # B if there exists a surjective function from A to B . We say that # A = # B if there exists a bijective function from A to B . In this new formulation, # A is not a number, in the traditional sense. Rather, # A is a cardinal number it is used to compare A to other sets with the relations =, , and . For example, # Z is not a number in the traditional sense (it is an infinite cardinal number), but we can still compare cardinalities . For example, # Z # R , since there is an injective map from Z to R . Similarly, we may see that # Q # N , by constructing a surjective map from Q to N . To construct such a map, note that every rational number can be expressed as a quotient of integers p/q by reducing p/q into...
View Full Document

Page1 / 2

Cardinality of sets - Math 100 Cardinality Martin H....

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online