introduction to set theory - east tennessee state university · 2018. 2. 4. · introduction to set...
TRANSCRIPT
![Page 1: Introduction to Set Theory - East Tennessee State University · 2018. 2. 4. · Introduction to Set Theory February 4, 2018 Chapter 2. Relations, Functions, and Orderings 2.1. Ordered](https://reader034.vdocuments.us/reader034/viewer/2022051805/5ff62d9bb95db8149f561bb8/html5/thumbnails/1.jpg)
Introduction to Set Theory
February 4, 2018
Chapter 2. Relations, Functions, and Orderings2.1. Ordered Pairs—Proofs of Theorems
() Introduction to Set Theory February 4, 2018 1 / 3
![Page 2: Introduction to Set Theory - East Tennessee State University · 2018. 2. 4. · Introduction to Set Theory February 4, 2018 Chapter 2. Relations, Functions, and Orderings 2.1. Ordered](https://reader034.vdocuments.us/reader034/viewer/2022051805/5ff62d9bb95db8149f561bb8/html5/thumbnails/2.jpg)
Table of contents
1 Theorem 2.1.2
() Introduction to Set Theory February 4, 2018 2 / 3
![Page 3: Introduction to Set Theory - East Tennessee State University · 2018. 2. 4. · Introduction to Set Theory February 4, 2018 Chapter 2. Relations, Functions, and Orderings 2.1. Ordered](https://reader034.vdocuments.us/reader034/viewer/2022051805/5ff62d9bb95db8149f561bb8/html5/thumbnails/3.jpg)
Theorem 2.1.2
Theorem 2.1.2
Theorem 2.1.2. (a, b) = (a′, b′) if and only if a = a′ and b = b′.
Proof. If a = a′ and b = b′ then {a} = {a′} and {a, b} = {a′, b′} so(a, b) = {{a}, {a, b}} = {{a′}, {a′, b′}} = (a′, b′).
Suppose (a, b) = (a′, b′); that is, suppose{a{a}, {a, b}} = {{a′}, {a′, b′}}. First, if a 6= b then {a} 6= {a′, b′} (sinceb′ ∈ {a′, b′} but b 6∈ {a}) and so {a} = {a′} and {a, b} = {a′, b′}. Soa = a′ and then we must have b = b′ (since b 6= a = a′). Second, if a = bthen {{a}, {a, b}} = {{a}, {a, a}} = {{a}}. So {{a}} = {{a′}, {a′, b′}}and we have {a} = {a′} and {a} = {a′, b′}. That is, a = a′ anda = a′ = b′ or a = a′ and b = b′, as claimed.
() Introduction to Set Theory February 4, 2018 3 / 3
![Page 4: Introduction to Set Theory - East Tennessee State University · 2018. 2. 4. · Introduction to Set Theory February 4, 2018 Chapter 2. Relations, Functions, and Orderings 2.1. Ordered](https://reader034.vdocuments.us/reader034/viewer/2022051805/5ff62d9bb95db8149f561bb8/html5/thumbnails/4.jpg)
Theorem 2.1.2
Theorem 2.1.2
Theorem 2.1.2. (a, b) = (a′, b′) if and only if a = a′ and b = b′.
Proof. If a = a′ and b = b′ then {a} = {a′} and {a, b} = {a′, b′} so(a, b) = {{a}, {a, b}} = {{a′}, {a′, b′}} = (a′, b′).
Suppose (a, b) = (a′, b′); that is, suppose{a{a}, {a, b}} = {{a′}, {a′, b′}}. First, if a 6= b then {a} 6= {a′, b′} (sinceb′ ∈ {a′, b′} but b 6∈ {a}) and so {a} = {a′} and {a, b} = {a′, b′}. Soa = a′ and then we must have b = b′ (since b 6= a = a′).
Second, if a = bthen {{a}, {a, b}} = {{a}, {a, a}} = {{a}}. So {{a}} = {{a′}, {a′, b′}}and we have {a} = {a′} and {a} = {a′, b′}. That is, a = a′ anda = a′ = b′ or a = a′ and b = b′, as claimed.
() Introduction to Set Theory February 4, 2018 3 / 3
![Page 5: Introduction to Set Theory - East Tennessee State University · 2018. 2. 4. · Introduction to Set Theory February 4, 2018 Chapter 2. Relations, Functions, and Orderings 2.1. Ordered](https://reader034.vdocuments.us/reader034/viewer/2022051805/5ff62d9bb95db8149f561bb8/html5/thumbnails/5.jpg)
Theorem 2.1.2
Theorem 2.1.2
Theorem 2.1.2. (a, b) = (a′, b′) if and only if a = a′ and b = b′.
Proof. If a = a′ and b = b′ then {a} = {a′} and {a, b} = {a′, b′} so(a, b) = {{a}, {a, b}} = {{a′}, {a′, b′}} = (a′, b′).
Suppose (a, b) = (a′, b′); that is, suppose{a{a}, {a, b}} = {{a′}, {a′, b′}}. First, if a 6= b then {a} 6= {a′, b′} (sinceb′ ∈ {a′, b′} but b 6∈ {a}) and so {a} = {a′} and {a, b} = {a′, b′}. Soa = a′ and then we must have b = b′ (since b 6= a = a′). Second, if a = bthen {{a}, {a, b}} = {{a}, {a, a}} = {{a}}. So {{a}} = {{a′}, {a′, b′}}and we have {a} = {a′} and {a} = {a′, b′}. That is, a = a′ anda = a′ = b′ or a = a′ and b = b′, as claimed.
() Introduction to Set Theory February 4, 2018 3 / 3
![Page 6: Introduction to Set Theory - East Tennessee State University · 2018. 2. 4. · Introduction to Set Theory February 4, 2018 Chapter 2. Relations, Functions, and Orderings 2.1. Ordered](https://reader034.vdocuments.us/reader034/viewer/2022051805/5ff62d9bb95db8149f561bb8/html5/thumbnails/6.jpg)
Theorem 2.1.2
Theorem 2.1.2
Theorem 2.1.2. (a, b) = (a′, b′) if and only if a = a′ and b = b′.
Proof. If a = a′ and b = b′ then {a} = {a′} and {a, b} = {a′, b′} so(a, b) = {{a}, {a, b}} = {{a′}, {a′, b′}} = (a′, b′).
Suppose (a, b) = (a′, b′); that is, suppose{a{a}, {a, b}} = {{a′}, {a′, b′}}. First, if a 6= b then {a} 6= {a′, b′} (sinceb′ ∈ {a′, b′} but b 6∈ {a}) and so {a} = {a′} and {a, b} = {a′, b′}. Soa = a′ and then we must have b = b′ (since b 6= a = a′). Second, if a = bthen {{a}, {a, b}} = {{a}, {a, a}} = {{a}}. So {{a}} = {{a′}, {a′, b′}}and we have {a} = {a′} and {a} = {a′, b′}. That is, a = a′ anda = a′ = b′ or a = a′ and b = b′, as claimed.
() Introduction to Set Theory February 4, 2018 3 / 3