# Chapter 2 The Basic Concepts of Set Theory

## Presentation on theme: "Chapter 2 The Basic Concepts of Set Theory"— Presentation transcript:

Chapter 2 The Basic Concepts of Set Theory

Chapter 2: The Basic Concepts of Set Theory
2.1 Symbols and Terminology 2.2 Venn Diagrams and Subsets 2.3 Set Operations and Cartesian Products 2.4 Surveys and Cardinal Numbers 2.5 Infinite Sets and Their Cardinalities © 2008 Pearson Addison-Wesley. All rights reserved

Section 2-5 Chapter 1 Infinite Sets and Their Cardinalities

Infinite Sets and Their Cardinalities

One-to-One Correspondence and Equivalent Sets
A one-to-one correspondence between two sets is a pairing where each element of one set is paired with exactly one element of the second set and each element of the second set is paired with exactly one element of the first set. © 2008 Pearson Addison-Wesley. All rights reserved

Example: One-to-One Correspondence
For sets {a, b, c, d} and {3, 7, 9, 11} a pairing to demonstrate one-to-one correspondence could be {a, b, c, d} {3, 7, 9, 11} © 2008 Pearson Addison-Wesley. All rights reserved

Equivalent Sets Two sets, A and B, which may be put in a one-to-one correspondence are said to be equivalent, written A ~ B. © 2008 Pearson Addison-Wesley. All rights reserved

The Cardinal Number The basic set used in discussing infinite sets is the set of counting numbers, {1, 2, 3, …}. The set of counting numbers is said to have the infinite cardinal number (aleph-null). © 2008 Pearson Addison-Wesley. All rights reserved

Example: Showing That {2, 4, 6, 8,…} Has Cardinal Number
To show that another set has cardinal number we show that it is equivalent to the set of counting numbers. {1, 2, 3, 4, …, n, …} {2, 4, 6, 8, …,2n, …} © 2008 Pearson Addison-Wesley. All rights reserved

Infinite Sets A set is infinite if it can be placed in a one-to-one correspondence with a proper subset of itself. The whole numbers, integers, and rational numbers have cardinal number © 2008 Pearson Addison-Wesley. All rights reserved

Sets That Are Not Countable