Link
Embed
Share
Beginning
This slide
Copy link URL
Copy link URL
Copy iframe embed code
Copy iframe embed code
Copy javascript embed code
Copy javascript embed code
Share
Tweet
Share
Tweet
Slide 1
Slide 1 text
関西大学総合情報学部 浅野 晃 応用数学(解析) 2024年度春学期 第1部・「無限」の理解 / 第2回 無限にも大小がある
Slide 2
Slide 2 text
No content
Slide 3
Slide 3 text
無限とは,「モノ」ではなく「コト」 🤔🤔
Slide 4
Slide 4 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「∞」という数字があるのか 3 「∞」という数字はありません 無限とは 「無限」という「モノ」があるのではなく 「無限であるコト」 数学では, 「コト」ではなく「モノ」のほうが扱いやすい。 「無限」を具体的な数字で扱うには?
Slide 5
Slide 5 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「数えられる」無限 4 自然数とは,数えるための数字 1, 2, 3, … 自然数の集合と同じ無限を 「数えられる無限」すなわち[可算無限]という そして,「無限」 その「個数」は[可算基数] ℵ0(アレフゼロ) (よく「可算無限個」という)
Slide 6
Slide 6 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「数えられる」無限 4 自然数とは,数えるための数字 1, 2, 3, … 自然数の集合と同じ無限を 「数えられる無限」すなわち[可算無限]という そして,「無限」 その「個数」は[可算基数] ℵ0(アレフゼロ) (よく「可算無限個」という) ?
Slide 7
Slide 7 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, … この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
Slide 8
Slide 8 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, … この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
Slide 9
Slide 9 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, … この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
Slide 10
Slide 10 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, … この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
Slide 11
Slide 11 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, … この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
Slide 12
Slide 12 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「全単射」について 6 集合の要素間の対応関係について [全単射](bijection) 集合X 集合Y … … 1対1に対応し, X,Yどちらにも余りがない [単射](injection) 集合X 集合Y 1対1である この例では Yに余りがあるので全射ではない [全射](surjection) 集合X 集合Y どちらにも余りはない XからYへの ? ? XからYへの この例では 1対1ではないので単射ではない
Slide 13
Slide 13 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …, n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
Slide 14
Slide 14 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …, n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
Slide 15
Slide 15 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …, n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
Slide 16
Slide 16 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …, n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
Slide 17
Slide 17 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …, n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
Slide 18
Slide 18 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …, n, … 偶数の基数も ℵ0 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, … 自然数と「個数」は同じ
Slide 19
Slide 19 text
No content
Slide 20
Slide 20 text
「ホテル無限」
Slide 21
Slide 21 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 22
Slide 22 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 23
Slide 23 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 24
Slide 24 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 25
Slide 25 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 26
Slide 26 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 27
Slide 27 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ●
Slide 28
Slide 28 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● 部屋にいる客全員が 隣の部屋に移れば 1号室が空く
Slide 29
Slide 29 text
No content
Slide 30
Slide 30 text
実数の基数と対角線論法 🤔🤔
Slide 31
Slide 31 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 時計の針の止まる場所 11 連続的に針が進む時計 目をつぶってボタンを押したとき ボタンを押すと,その場で針が止まる 12時から3時の間のどこかに止まる確率 =円周の1/4だから,確率も1/4
Slide 32
Slide 32 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 時計の針の止まる場所 12 では「12時ちょうど」に止まる確率は? 12時ちょうども 1時ちょうども 12時1秒ちょうども 「12時ちょうど」の幅はゼロ →そこに止まる確率もゼロ どこでも みんな ゼロ
Slide 33
Slide 33 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 時計の針の止まる場所 12 では「12時ちょうど」に止まる確率は? 12時ちょうども 1時ちょうども 12時1秒ちょうども 「12時ちょうど」の幅はゼロ →そこに止まる確率もゼロ どこでも みんな ゼロ なら,「12時から3時の間のどこか」もゼロじゃないの?🤔🤔
Slide 34
Slide 34 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 何がおかしいのか 13 各刻みに止まる確率はどれもゼロ 区間内の任意の位置 =1つの実数で表される角度 刻みがどんなに細かくても, 順に自然数の番号がつけられる 角度を表す実数と1対1対応がつくなら, 「区間内のどの位置に止まる確率も0」
Slide 35
Slide 35 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 何がおかしいのか 13 各刻みに止まる確率はどれもゼロ 区間内の任意の位置 =1つの実数で表される角度 刻みがどんなに細かくても, 順に自然数の番号がつけられる 角度を表す実数と1対1対応がつくなら, 「区間内のどの位置に止まる確率も0」 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」
Slide 36
Slide 36 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」
Slide 37
Slide 37 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」 いいえ。🙅🙅
Slide 38
Slide 38 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」 いいえ。🙅🙅 実数を1つ,2つ,3つと数えることはできない
Slide 39
Slide 39 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」 いいえ。🙅🙅 実数を1つ,2つ,3つと数えることはできない 実数も自然数もその「個数」は無限だが, 実数は自然数よりも本質的に大きな無限
Slide 40
Slide 40 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 41
Slide 41 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 42
Slide 42 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 43
Slide 43 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 44
Slide 44 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる 各ケタを1ずつずらす ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 45
Slide 45 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 46
Slide 46 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 2 ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 47
Slide 47 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 20 ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 48
Slide 48 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 201 ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 49
Slide 49 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 201… ⋮ 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 50
Slide 50 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 51
Slide 51 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 52
Slide 52 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 この数字は, 1番の数字とは1ケタめで, 2番の数字とは2ケタめで,… n番の数字とはnケタめで 1だけずれているので, 「すべての実数を並べた」表にない ∴矛盾 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 53
Slide 53 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 この数字は, 1番の数字とは1ケタめで, 2番の数字とは2ケタめで,… n番の数字とはnケタめで 1だけずれているので, 「すべての実数を並べた」表にない ∴矛盾 つまり 「実数は可算でない」 1番 2番 3番 0. 1 2 3 4 5 6 … 0. 8 9 3 1 2 9 … 0. 2 3 0 4 9 0 …
Slide 54
Slide 54 text
No content
Slide 55
Slide 55 text
有理数の集合は可算基数をもつか (演習問題1)
Slide 56
Slide 56 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数と自然数の対応 18 有理数の集合は,可算基数をもつか 分母を横軸, 分子を縦軸とすると, 有理数は図の黒点(格子点) ※分母0の点は除く ※重複あり 分母 分子 0 1 2 3 1 2 3
Slide 57
Slide 57 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数と自然数の対応 18 有理数の集合は,可算基数をもつか 分母を横軸, 分子を縦軸とすると, 有理数は図の黒点(格子点) ※分母0の点は除く ※重複あり 分母 分子 0 1 2 3 1 2 3 すべての格子点を一筆でたどれば 自然数と一対一対応がつく👉👉可算基数をもつ
Slide 58
Slide 58 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数と自然数の対応 18 有理数の集合は,可算基数をもつか 分母を横軸, 分子を縦軸とすると, 有理数は図の黒点(格子点) ※分母0の点は除く ※重複あり 分母 分子 0 1 2 3 1 2 3 すべての格子点を一筆でたどれば 自然数と一対一対応がつく👉👉可算基数をもつ
Slide 59
Slide 59 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数は可算基数をもつから 19 有理数の「無限」と 自然数の「無限」は 同じ無限 有理数の集合は「稠密」(びっしり) 実数 の集合は「連続」(べったり) 有理数の「無限」と 実数の「無限」は 本質的に異なる無限
Slide 60
Slide 60 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数は可算基数をもつから 20 ダーツの矢(太さゼロ)を投げたら🎯🎯 時計⏰の針と同じ理屈で考えると 原点から光線(幅ゼロ)をあちこちに発射したら 的の上で当たった点の 的の中心からの距離が有理数である確率はゼロ 格子点に当たる確率はゼロ 原点 ⚡
Slide 61
Slide 61 text
No content
Slide 62
Slide 62 text
ホテル無限に,無限の客 (演習問題2)
Slide 63
Slide 63 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0
Slide 64
Slide 64 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 65
Slide 65 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 66
Slide 66 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 67
Slide 67 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 68
Slide 68 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 69
Slide 69 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 70
Slide 70 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
Slide 71
Slide 71 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2 3 4 5 ● ● ● ● ● 「ただいま満室です」 … 1号室 2 3 4 5 ● ● ● ● ● ● ● ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く 奇数も可算無限個
Slide 72
Slide 72 text
23 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 今日のまとめ 23 無限にも,大小がある 「可算無限」 次回は,「実数」とは何か, 実数の連続性(「べったり」並んでいること)を説明します。 こういうことが不思議だと感じるのは, ふだんは「無限」を,たかだか「大きな数」くらいにしか理解していないから🤔🤔 ハレー彗星が関心をよぶのは,周期76年が「人の一生」とほぼ同じだから それより周期の長い彗星はたくさんあるが,人は実感できない