• Aucun résultat trouvé

April6 ,2021 COUNTABLESETS&CANTOR’SDIAGONALARGUMENT ConceptsinAbstractMathematics

N/A
N/A
Protected

Academic year: 2022

Partager "April6 ,2021 COUNTABLESETS&CANTOR’SDIAGONALARGUMENT ConceptsinAbstractMathematics"

Copied!
13
0
0

Texte intégral

(1)

COUNTABLE SETS & CANTOR’S DIAGONAL ARGUMENT

April 6th, 2021

(2)

Notation

In what follows, we setℵ0≔ |ℕ|(pronouncedaleph nought).

Definition

A set𝐸is countable if either𝐸is finite or|𝐸| = ℵ0.

Jean-Baptiste Campesato MAT246H1-S – LEC0201/9201 – Apr 6, 2021 2 / 13

(3)

Proposition

1 |ℕ ⧵ {0}| = ℵ0

2 |{𝑛 ∈ ℕ ∶ 𝑛 ≡ 0 mod2}| = ℵ0

3 |ℕ × ℕ| = ℵ0

Proof.

1 The function𝑓 ∶ ℕ → ℕ ⧵ {0}defined by𝑓 (𝑛) = 𝑛 + 1is bijective with inverse 𝑓−1∶ ℕ ⧵ {0} → ℕdefined by𝑓−1(𝑛) = 𝑛 − 1.

2 The function𝑓 ∶ ℕ → {𝑛 ∈ ℕ ∶ 𝑛 ≡ 0 mod2}defined by𝑓 (𝑛) = 2𝑛is bijective.

3 Define𝑓 ∶ ℕ × ℕ → ℕby𝑓 (𝑎, 𝑏) = 2𝑎3𝑏.

Then𝑓 is injective by uniqueness of the prime decomposition. Thus|ℕ × ℕ| ≤ ℵ0. Besides{0} × ℕ ⊂ ℕ × ℕ, thusℵ0= |{0} × ℕ| ≤ |ℕ × ℕ|.

Hence|ℕ × ℕ| = ℵ0by Cantor–Schröder–Bernstein theorem. ■

(4)

Proposition

If𝑆 ⊂ ℕis infinite then|𝑆| = ℵ0.

Proof.Let’s define the function𝑓 ∶ ℕ → 𝑆by induction as follows.

Set𝑓 (0) =min𝑆(which is well-defined by the well-ordering principle since𝑆 ≠ ∅as it is infinite).

And then, assuming that𝑓 (𝑛)is already defined, we set𝑓 (𝑛 + 1) =min{𝑘 ∈ 𝑆 ∶ 𝑘 > 𝑓 (𝑛)}

(which is well-defined by the well-ordering principle: the involved set is non-empty since otherwise𝑆would be finite).

It is easy to check that𝑓 is injective (note that∀𝑛 ∈ ℕ, 𝑓 (𝑛 + 1) > 𝑓 (𝑛)), thereforeℵ0≤ |𝑆|.

But since𝑆 ⊂ ℕ, we also have|𝑆| ≤ ℵ0.

Thus, by Cantor–Schröder–Bernstein theorem,|𝑆| = ℵ0. ■

Jean-Baptiste Campesato MAT246H1-S – LEC0201/9201 – Apr 6, 2021 4 / 13

(5)

Proposition

A set𝐸is countable if and only if|𝐸| ≤ ℵ0(i.e. there exists an injection𝑓 ∶ 𝐸 → ℕ),

otherwise stated𝐸is countable if and only if there exists a bijection between𝐸and a subset ofℕ.

Proof.

⇒Assume that𝐸is countable.

• Either𝐸is finite and then there exists𝑛 ∈ ℕand a bijection𝑔 ∶ {𝑘 ∈ ℕ ∶ 𝑘 < 𝑛} → 𝐸.

We define𝑓 ∶ 𝐸 → ℕby𝑓 (𝑥) = 𝑔−1(𝑥)(which is well-defined since{𝑘 ∈ ℕ ∶ 𝑘 < 𝑛} ⊂ ℕ).

And𝑓 is an injection since𝑔−1is.

• Or|𝐸| = ℵ0, i.e. there exists a bijection𝑓 ∶ 𝐸 → ℕ.

⇐Assume there exists an injection𝑓 ∶ 𝐸 → ℕ.

Assume that𝐸is infinite. Then|𝐸| = |𝑓 (𝐸)| = ℵ0.

Thus either𝐸is finite or|𝐸| = ℵ0. In both cases𝐸is countable. ■

(6)

Theorem

A countable union of countable sets is countable,

i.e. if𝐼 is countable and if for every𝑖 ∈ 𝐼,𝐸𝑖 is countable then⋃𝑖∈𝐼𝐸𝑖is countable.

Proof.

WLOG we may now assume that𝐼 ⊂ ℕ.

Let𝑖 ∈ 𝐼. Since𝐸𝑖is countable, there exists an injection𝑓𝑖∶ 𝐸𝑖→ ℕ1.

We define𝜑 ∶ ⋃𝑖∈𝐼𝐸𝑖 → ℕ × ℕby𝜑(𝑥) = (𝑛, 𝑓𝑛(𝑥))where𝑛 =min{𝑖 ∈ 𝐼 ∶ 𝑥 ∈ 𝐸𝑖}(which exists by the well-ordering principle).

It is not difficult to check that𝜑is injective.

Therefore⋃𝑖∈𝐼𝐸𝑖is countable. ■

1We use the axiom of countable choice here.

Jean-Baptiste Campesato MAT246H1-S – LEC0201/9201 – Apr 6, 2021 6 / 13

(7)

Theorem

If𝐸is an infinite set then there exists𝑇 ⊂ 𝐸such that|𝑇 | = ℵ0, i.e. ℵ0is the least infinite cardinal.

Proof.

For𝑛 ∈ ℕ, set𝐸𝑛= {𝑆 ∈ 𝒫(𝐸) ∶ |𝑆| = 𝑛}.

Since𝐸is infinite, it contains a subset of cardinal𝑛, therefore𝐸𝑛≠ ∅.

So for every𝑛 ∈ ℕ, we can pick2 𝑆𝑛∈ 𝐸𝑛.

Then𝑇 ≔ ⋃𝑛∈ℕ𝑆𝑛is countable as a countable union of countable sets.

Besides,∀𝑛 ∈ ℕ, 𝑆𝑛⊂ 𝑇 and|𝑆𝑛| = 𝑛.

Therefore𝑇 is infinite since for every𝑛 ∈ ℕit contains a subset of cardinal𝑛.

Thus|𝑇 | = ℵ0as an infinite countable set. ■

2We use the axiom of countable choice here.

(8)

Theorem

|ℤ| = ℵ0

Proof 1. Sinceℕ ⊂ ℤ, we have|ℕ| ≤ |ℤ|.

Define𝑓 ∶ ℤ → ℕby𝑓 (𝑛) = {

2𝑛 if𝑛 ≥ 0 3−𝑛 if𝑛 < 0 .

Then𝑓 is injective by uniqueness of the prime factorization. Therefore|ℤ| ≤ |ℕ|.

Hence|ℤ| = |ℕ|by Cantor–Schröder–Bernstein theorem. ■

Proof 2.

Define𝑓 ∶ ℤ → ℕby𝑓 (𝑛) = {

2𝑛 if𝑛 ≥ 0

−(2𝑛 + 1) if𝑛 < 0 . Then𝑓 is bijective with inverse𝑓−1(𝑚) =

{

𝑘 if∃𝑘 ∈ ℕ, 𝑚 = 2𝑘

−𝑘 − 1 if∃𝑘 ∈ ℕ, 𝑚 = 2𝑘 + 1 .

Therefore|ℤ| = |ℕ|. ■

Jean-Baptiste Campesato MAT246H1-S – LEC0201/9201 – Apr 6, 2021 8 / 13

(9)

Theorem

|ℚ| = ℵ0

Proof 1.Note thatℕ ⊂ ℚ, thereforeℵ0≤ |ℚ|.

Define𝑓 ∶ ℚ → ℤ × ℤby𝑓 (𝑎𝑏) = (𝑎, 𝑏)where 𝑎

𝑏 is in lowest form.

Then𝑓is injective and thus|ℚ| ≤ |ℤ × ℤ|. Since|ℤ| = |ℕ|, we get|ℤ × ℤ| = |ℕ × ℕ| = ℵ0.

We conclude using Cantor–Schröder–Bernstein theorem. ■

Proof 2.Note thatℕ ⊂ ℚ, thereforeℵ0≤ |ℚ|.

Moreover𝑓 ∶ ℤ × ℕ ⧵ {0} → ℚdefined by𝑓 (𝑎, 𝑏) = 𝑎𝑏 is surjective. Thus|ℚ| ≤ |ℤ × ℕ ⧵ {0}|.

Since|ℤ| = |ℕ|and|ℕ ⧵ {0}| = |ℕ|, we get|ℤ × ℕ ⧵ {0}| = |ℕ × ℕ| = ℵ0.

We conclude using Cantor–Schröder–Bernstein theorem. ■

Proof 3.Note thatℕ ⊂ ℚ, thereforeℵ0≤ |ℚ|.

Sinceℚ = ⋃

(𝑎,𝑏)∈ℤ×ℕ⧵{0}{𝑎

𝑏 },ℚis countable as a countable union of countable sets. So|ℚ| ≤ ℵ0.

We conclude using Cantor–Schröder–Bernstein theorem. ■

(10)

Theorem: ℝ is not countable

(Cantor 1874, the proof below dates back to 1891) ℵ0< |ℝ|

Proof.We are going to prove that there is no surjectionℕ → ℝ(and hence no such bijection).

Let𝑓 ∶ ℕ → ℝbe a function. Given𝑛 ∈ ℕ, we know that𝑓 (𝑛)has a unique proper decimal expansion𝑓 (𝑛) =

+∞

𝑘=0

𝑎𝑛𝑘10−𝑘 where𝑎𝑛0∈ ℤand𝑎𝑛𝑘∈ {0, 1, … , 9}for𝑘 ≥ 1, i.e.

𝑓 (0) =𝑎00. 𝑎01𝑎02𝑎03𝑎04𝑎05 𝑓 (1) = 𝑎10.𝑎11𝑎12𝑎13𝑎14𝑎15 𝑓 (2) = 𝑎20. 𝑎21𝑎22𝑎23𝑎24𝑎25 𝑓 (3) = 𝑎30. 𝑎31𝑎32𝑎33𝑎34𝑎35 𝑓 (4) = 𝑎40. 𝑎41𝑎42𝑎43𝑎44𝑎45

Given𝑘 ∈ ℕ, we set𝑏𝑘= {

1 if𝑎𝑘𝑘= 0 0 otherwise . Then𝑏 =

+∞

𝑘=0

𝑏𝑘10−𝑘is a real number written with its unique proper decimal expansion.

Note that for every𝑛 ∈ ℕ,𝑏 ≠ 𝑓 (𝑛)since𝑏𝑛≠ 𝑎𝑛𝑛(we use the uniqueness of the proper decimal expansion).

Therefore𝑏 ∉Im(𝑓 )and𝑓is not surjective.

Jean-Baptiste Campesato MAT246H1-S – LEC0201/9201 – Apr 6, 2021 10 / 13

(11)

Cantor’s theorem

Given a set𝐸,|𝐸| < |𝒫(𝐸)|.

Proof.We are going to use Cantor’s diagonal argument again.

First, note that𝑔 ∶ 𝐸 → 𝒫(𝐸)defined by𝑔(𝑥) = {𝑥}is injective, therefore|𝐸| ≤ |𝒫(𝐸)|.

We are going to prove that there is no surjection𝐸 → 𝒫(𝐸)(and hence no such bijection).

Let𝑓 ∶ 𝐸 → 𝒫(𝐸)be a function. Define𝑆 = {𝑥 ∈ 𝐸 ∶ 𝑥 ∉ 𝑓 (𝑥)}.

Let𝑥 ∈ 𝐸.

• If𝑥 ∈ 𝑓 (𝑥)then𝑥 ∉ 𝑆.

• Otherwise, if𝑥 ∉ 𝑓 (𝑥)then𝑥 ∈ 𝑆.

Therefore𝑓 (𝑥) ≠ 𝑆since one contains𝑥but not the other one.

Thus𝑆 ∉Im(𝑓 )and𝑓 is not surjective. ■

Remark

There is no greatest cardinal.

(12)

We already know that|ℕ| < |ℝ|and that|ℕ| < |𝒫(ℕ)|. Actually|ℝ| = |𝒫(ℕ)|.

Theorem

|ℝ| = |𝒫(ℕ)|

Proof.

Define𝑓 ∶ 𝒫(ℕ) → ℝby𝑓 (𝑆) = ∑

𝑛∈𝑆

10−𝑛.

Then𝑓 is injective by uniqueness of the proper decimal expansion. Thus|𝒫(ℕ)| ≤ |ℝ|.

Define𝑔 ∶ ℝ → 𝒫(ℚ)by𝑔(𝑥) = {𝑞 ∈ ℚ ∶ 𝑞 < 𝑥}.

Then𝑔 is injective. Indeed, let𝑥, 𝑦 ∈ ℝbe such that𝑥 < 𝑦. Sinceℚis dense inℝ, there exists 𝑞 ∈ ℚsuch that𝑥 < 𝑞 < 𝑦. So𝑞 ∉ 𝑔(𝑥)but𝑞 ∈ 𝑔(𝑦). Therefore𝑔(𝑥) ≠ 𝑔(𝑦).

Hence|ℝ| ≤ |𝒫(ℚ)| = |𝒫(ℕ)|(prove the last equality using that|ℚ| = |ℕ|).

We conclude thanks to Cantor–Schröder–Bernstein theorem. ■

Jean-Baptiste Campesato MAT246H1-S – LEC0201/9201 – Apr 6, 2021 12 / 13

(13)

Theorem

There is no set containing all sets.

Proof.Assume that such a set𝑉 exists.

Then the powerset𝒫(𝑉 )exists too and𝒫(𝑉 ) ⊂ 𝑉 by definition of𝑉.

Therefore|𝒫(𝑉 )| ≤ |𝑉 |, but|𝑉 | < |𝒫(𝑉 )|by Cantor’s theorem. Hence a contradiction. ■ We may similarly prove that there is no set containing all finite sets, or even all singletons.

Theorem

There is no set containing all singletons.

Proof.Assume that the set𝑆of all singletons exists.

Define𝑓 ∶ 𝒫(𝑆) → 𝑆by𝑓 (𝑥) = {𝑥}(which is well-defined).

Since𝑓 is one-to-one, we get that|𝒫(𝑆)| ≤ |𝑆|.

Which contradicts|𝑆| < |𝒫(𝑆)|(Cantor’s theorem). ■

Références

Documents relatifs

REQUESTS the Regional Director to convene a meeting at a suitable time and place in 1978 or early 1979 to discuss the scope of concerted regional cooperation

Having considered the statement of the Representative of the United Kingdom on the importance of core programmes for child health, with particular emphasis on

Having recognized that inter-agency consultation is taking place on measures to minimize health hazards from drinking water on international flights;. URGES the

In this talk, which I gave as a keynote at the 2013 joint conference Intelligent Systems in Molecular Biology / European Conference on Computational Biology, I will ex- plore

work we proposed a method that covers the following activities (1) specification, for analyzing and selecting the data sources, (2) modelling, for developing the model that

McMullan mentions the recent and valuable discussion by Jonathan Hope, The Authorship of Shakespeare's Plays: A Sociolinguistic Study (Cambridge, 1994), for its critique of

 Majority (75%, n=12) selected an article where document type was in the Single Search display.. Majority of users

Landsberg, Ranks of tensors and a generalization of secant vari- eties.. Linear