handout07 - Math 5020 Handout 7 Cardinal Arithmetic and the...

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

View Full Document Right Arrow Icon
Math 5020 Handout 7 Cardinal Arithmetic and the Axiom of Choice Cardinalities without AC 1. Define the equinumerosity equivalence relation on V by X e Y ⇐⇒ there is a bijection between X and Y . 2. The cardinality of a set X , denoted by | X | e , is the e -equivalence class of X . In other words, | X | e = | Y | e ⇐⇒ there is a bijection between X and Y . 3. Define | X | e ≤ | Y | e or | Y | e ≥ | X | e if there is a one-to-one function from X into Y . Define | X | e < | Y | e or | Y | e > | X | e if | X | ≤ | Y | but | X | ̸ = | Y | . The relation is transitive. 4. (Cantor’s Theorem) For every set X , | X | e < |P ( X ) | e . 5. (Cantor–Schr¨ oder–Bernstein) If | A | e ≤ | B | e and | B | e ≤ | A | e , then | A | e = | B | e . 6. The relation < is a partial order (irreflexive and transitive). 7. Define sum , product , and exponentiation of cardinalities by | X | e + | Y | e = | ( X × { 0 } ) ( Y × { 1 } ) | e | X | e · | Y | e = | X × Y | e | X
Background image of page 1

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

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

Page1 / 2

handout07 - Math 5020 Handout 7 Cardinal Arithmetic and the...

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