SlideShare ist ein Scribd-Unternehmen logo
1 von 1
Downloaden Sie, um offline zu lesen
Show that if A and B are sets, A is uncountable, and A B, then B is uncountable.
Solution
Suppose that A and B are sets, A is uncountable, and A B. Assume further that B is countable.
Then there is a bijective function f from , the set of natural numbers, onto B. Let X = f-1(A) = {n
: f(n) A}. Clearly A is nonempty since it is uncountable, and so X is nonempty. Further note
that X is not a finite set, because if it were, then f(X) = f(f-1(A)) = A would also be finite since
the restriction of f to the set X is a bijection onto its image f(X) = A.
We now define a sequence of sets X1, X2, X3, … recursively as follows:
1) Let X1 = X.
2) Given Xj, let nj be the smallest element of Xj.
3) Define Xj + 1 := Xj{nj}.
We claim that this process is well-defined. This can be demonstrated with mathematical
induction. Since X1 = X is a nonempty subset of , it follows by the well-ordering principle that X
has a smallest element n1. Now suppose that Xk is an infinite subset of with a smallest element
nk where k is a positive integer. Then Xk + 1 = Xk{nk} is clearly also an infinite subset of ,
and so it has a smallest element nk + 1 because of the well-ordering principle. This shows that
the recursion is well-defined.
Now define a function g: A such that g(x) = f(nx). Our goal now is to show that g is one-to-one
and onto. First, observe that if a and b are positive integers such that a b, then Xb Xa. This can
be proved inductively. Indeed, for if b - a = 0, then clearly Xb = Xa. Now if Xa + k Xa for some
positive integer k, then if b - a = k + 1, then Xb = Xa + k + 1 = Xa + k{na + k} Xa + k Xa.
To see that g is one-to-one, let p and q be two distinct positive integers. Without loss of
generality, suppose p < q. Then Xq Xp + 1 = Xp{np} Xp, and so nq, the smallest of Xq, is
also an element of Xp. Thus nq np, but since Xq does not contain np, we must have that nq and
np are different. Hence, bearing in mind that f is one-to-one, g(q) = f(nq) f(np) = g(p), and so g
is one-to-one.
As for g being onto, let y be an arbitrary element of A. Since f is onto, there is a positive integer
m X such that f(m) = y. Now let Y = {j X : j < m}, and let r be the cardinality of Y (which is
necessarily smaller than m). It is evident that Xr + 1 contains none of the elements of Y but still
contains m, and so nr + 1 = m. Therefore g(r + 1) = f(nr + 1) = f(m) = y, and thus g is onto.
Consequently, there is a bijection g from onto A, and so A is countable. Yet, A is uncountable,
so we arrive at a contradiction. Therefore, B must be countable.

Weitere ähnliche Inhalte

Ähnlich wie Show that if A and B are sets, A is uncountable, and A B, then B is .pdf

Ian.petrow【transcendental number theory】.
Ian.petrow【transcendental number theory】.Ian.petrow【transcendental number theory】.
Ian.petrow【transcendental number theory】.Tong Leung
 
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...Aladdinew
 
Math 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 tMath 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 tAbramMartino96
 
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...UniversitasGadjahMada
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarAnimesh Sarkar
 
Section 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docxSection 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docxkenjordan97598
 
Section 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docxSection 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docxrtodd280
 
Probabilistic diameter and its properties.
Probabilistic diameter and its properties.Probabilistic diameter and its properties.
Probabilistic diameter and its properties.inventionjournals
 
Relations & functions
Relations & functionsRelations & functions
Relations & functionsindu thakur
 
functions-1.pdf
functions-1.pdffunctions-1.pdf
functions-1.pdfKevalVala4
 
Limits and continuity[1]
Limits and continuity[1]Limits and continuity[1]
Limits and continuity[1]indu thakur
 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityKiran Munir
 
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...BRNSS Publication Hub
 

Ähnlich wie Show that if A and B are sets, A is uncountable, and A B, then B is .pdf (20)

Ian.petrow【transcendental number theory】.
Ian.petrow【transcendental number theory】.Ian.petrow【transcendental number theory】.
Ian.petrow【transcendental number theory】.
 
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
 
Math 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 tMath 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 t
 
04_AJMS_210_19_RA.pdf
04_AJMS_210_19_RA.pdf04_AJMS_210_19_RA.pdf
04_AJMS_210_19_RA.pdf
 
04_AJMS_210_19_RA.pdf
04_AJMS_210_19_RA.pdf04_AJMS_210_19_RA.pdf
04_AJMS_210_19_RA.pdf
 
Analysis Solutions CIII
Analysis Solutions CIIIAnalysis Solutions CIII
Analysis Solutions CIII
 
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
 
Eigenvalues
EigenvaluesEigenvalues
Eigenvalues
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
 
Section 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docxSection 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docx
 
Section 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docxSection 18.3-19.1.Today we will discuss finite-dimensional.docx
Section 18.3-19.1.Today we will discuss finite-dimensional.docx
 
Analysis Solutions CIV
Analysis Solutions CIVAnalysis Solutions CIV
Analysis Solutions CIV
 
Probabilistic diameter and its properties.
Probabilistic diameter and its properties.Probabilistic diameter and its properties.
Probabilistic diameter and its properties.
 
Aa2
Aa2Aa2
Aa2
 
Relations & functions
Relations & functionsRelations & functions
Relations & functions
 
functions-1.pdf
functions-1.pdffunctions-1.pdf
functions-1.pdf
 
Limits and continuity[1]
Limits and continuity[1]Limits and continuity[1]
Limits and continuity[1]
 
Pigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,CountabilityPigeonhole Principle,Cardinality,Countability
Pigeonhole Principle,Cardinality,Countability
 
Lecture1
Lecture1Lecture1
Lecture1
 
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...
On Extendable Sets in the Reals (R) With Application to the Lyapunov Stabilit...
 

Mehr von ajantawatchkota

Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf
 Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf
Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdfajantawatchkota
 
Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf
 Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf
Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdfajantawatchkota
 
Solve the equation on the interval [0, 2pi) 2sin2 x = 4sin x + 6.pdf
 Solve the equation on the interval [0, 2pi)  2sin2 x = 4sin x + 6.pdf Solve the equation on the interval [0, 2pi)  2sin2 x = 4sin x + 6.pdf
Solve the equation on the interval [0, 2pi) 2sin2 x = 4sin x + 6.pdfajantawatchkota
 
Sinx x dxSolution I = integration ( 0 to in.pdf
 Sinx  x dxSolution                     I = integration ( 0 to in.pdf Sinx  x dxSolution                     I = integration ( 0 to in.pdf
Sinx x dxSolution I = integration ( 0 to in.pdfajantawatchkota
 
Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf
 Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf
Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdfajantawatchkota
 
Requires a high degree of consensus among individuals on a given meas.pdf
 Requires a high degree of consensus among individuals on a given meas.pdf Requires a high degree of consensus among individuals on a given meas.pdf
Requires a high degree of consensus among individuals on a given meas.pdfajantawatchkota
 

Mehr von ajantawatchkota (6)

Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf
 Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf
Scenario Mr. Franklin is 70 years of age, is in excellent health, pu.pdf
 
Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf
 Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf
Samantha wants to buy a house for S225 000 She paid $25 000 down and .pdf
 
Solve the equation on the interval [0, 2pi) 2sin2 x = 4sin x + 6.pdf
 Solve the equation on the interval [0, 2pi)  2sin2 x = 4sin x + 6.pdf Solve the equation on the interval [0, 2pi)  2sin2 x = 4sin x + 6.pdf
Solve the equation on the interval [0, 2pi) 2sin2 x = 4sin x + 6.pdf
 
Sinx x dxSolution I = integration ( 0 to in.pdf
 Sinx  x dxSolution                     I = integration ( 0 to in.pdf Sinx  x dxSolution                     I = integration ( 0 to in.pdf
Sinx x dxSolution I = integration ( 0 to in.pdf
 
Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf
 Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf
Rippards has d debt ratio of 25 percent, d total asset turnover rat.pdf
 
Requires a high degree of consensus among individuals on a given meas.pdf
 Requires a high degree of consensus among individuals on a given meas.pdf Requires a high degree of consensus among individuals on a given meas.pdf
Requires a high degree of consensus among individuals on a given meas.pdf
 

Kürzlich hochgeladen

USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...
USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...
USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...Postal Advocate Inc.
 
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)lakshayb543
 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designMIPLM
 
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...Nguyen Thanh Tu Collection
 
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERPWhat is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERPCeline George
 
Barangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptxBarangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptxCarlos105
 
4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptx4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptxmary850239
 
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxMULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxAnupkumar Sharma
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptxmary850239
 
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptxMusic 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptxleah joy valeriano
 
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPHow to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPCeline George
 
Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfActive Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfPatidar M
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONHumphrey A Beña
 
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptxECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptxiammrhaywood
 
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITYISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITYKayeClaireEstoconing
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Seán Kennedy
 
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...JhezDiaz1
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfJemuel Francisco
 

Kürzlich hochgeladen (20)

USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...
USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...
USPS® Forced Meter Migration - How to Know if Your Postage Meter Will Soon be...
 
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
Visit to a blind student's school🧑‍🦯🧑‍🦯(community medicine)
 
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-designKeynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-design
 
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
 
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERPWhat is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERP
 
Barangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptxBarangay Council for the Protection of Children (BCPC) Orientation.pptx
Barangay Council for the Protection of Children (BCPC) Orientation.pptx
 
4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptx4.18.24 Movement Legacies, Reflection, and Review.pptx
4.18.24 Movement Legacies, Reflection, and Review.pptx
 
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptxMULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
MULTIDISCIPLINRY NATURE OF THE ENVIRONMENTAL STUDIES.pptx
 
4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx4.16.24 Poverty and Precarity--Desmond.pptx
4.16.24 Poverty and Precarity--Desmond.pptx
 
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptxMusic 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
 
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERPHow to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERP
 
Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdfActive Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdf
 
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATIONTHEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
THEORIES OF ORGANIZATION-PUBLIC ADMINISTRATION
 
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptxECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
ECONOMIC CONTEXT - PAPER 1 Q3: NEWSPAPERS.pptx
 
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITYISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
ISYU TUNGKOL SA SEKSWLADIDA (ISSUE ABOUT SEXUALITY
 
Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...Student Profile Sample - We help schools to connect the data they have, with ...
Student Profile Sample - We help schools to connect the data they have, with ...
 
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
ENGLISH 7_Q4_LESSON 2_ Employing a Variety of Strategies for Effective Interp...
 
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptxLEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
 
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptxYOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
YOUVE_GOT_EMAIL_PRELIMS_EL_DORADO_2024.pptx
 
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdfGrade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
Grade 9 Quarter 4 Dll Grade 9 Quarter 4 DLL.pdf
 

Show that if A and B are sets, A is uncountable, and A B, then B is .pdf

  • 1. Show that if A and B are sets, A is uncountable, and A B, then B is uncountable. Solution Suppose that A and B are sets, A is uncountable, and A B. Assume further that B is countable. Then there is a bijective function f from , the set of natural numbers, onto B. Let X = f-1(A) = {n : f(n) A}. Clearly A is nonempty since it is uncountable, and so X is nonempty. Further note that X is not a finite set, because if it were, then f(X) = f(f-1(A)) = A would also be finite since the restriction of f to the set X is a bijection onto its image f(X) = A. We now define a sequence of sets X1, X2, X3, … recursively as follows: 1) Let X1 = X. 2) Given Xj, let nj be the smallest element of Xj. 3) Define Xj + 1 := Xj{nj}. We claim that this process is well-defined. This can be demonstrated with mathematical induction. Since X1 = X is a nonempty subset of , it follows by the well-ordering principle that X has a smallest element n1. Now suppose that Xk is an infinite subset of with a smallest element nk where k is a positive integer. Then Xk + 1 = Xk{nk} is clearly also an infinite subset of , and so it has a smallest element nk + 1 because of the well-ordering principle. This shows that the recursion is well-defined. Now define a function g: A such that g(x) = f(nx). Our goal now is to show that g is one-to-one and onto. First, observe that if a and b are positive integers such that a b, then Xb Xa. This can be proved inductively. Indeed, for if b - a = 0, then clearly Xb = Xa. Now if Xa + k Xa for some positive integer k, then if b - a = k + 1, then Xb = Xa + k + 1 = Xa + k{na + k} Xa + k Xa. To see that g is one-to-one, let p and q be two distinct positive integers. Without loss of generality, suppose p < q. Then Xq Xp + 1 = Xp{np} Xp, and so nq, the smallest of Xq, is also an element of Xp. Thus nq np, but since Xq does not contain np, we must have that nq and np are different. Hence, bearing in mind that f is one-to-one, g(q) = f(nq) f(np) = g(p), and so g is one-to-one. As for g being onto, let y be an arbitrary element of A. Since f is onto, there is a positive integer m X such that f(m) = y. Now let Y = {j X : j < m}, and let r be the cardinality of Y (which is necessarily smaller than m). It is evident that Xr + 1 contains none of the elements of Y but still contains m, and so nr + 1 = m. Therefore g(r + 1) = f(nr + 1) = f(m) = y, and thus g is onto. Consequently, there is a bijection g from onto A, and so A is countable. Yet, A is uncountable, so we arrive at a contradiction. Therefore, B must be countable.