Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
2023年度秋学期 応用数学(解析)第2回 無限にも大小がある (2023. 9. 28)
Search
Akira Asano
PRO
September 18, 2023
Education
0
150
2023年度秋学期 応用数学(解析)第2回 無限にも大小がある (2023. 9. 28)
関西大学総合情報学部 応用数学(解析)(担当・浅野晃)
http://racco.mikeneko.jp/Kougi/2023a/AMA/
Akira Asano
PRO
September 18, 2023
Tweet
Share
More Decks by Akira Asano
See All by Akira Asano
2024年度秋学期 統計学 第15回 分布についての仮説を検証する - 仮説検定(2) (2025. 1. 15)
akiraasano
PRO
0
83
2024年度秋学期 統計学 第14回 分布についての仮説を検証する - 仮説検定(1) (2025. 1. 8)
akiraasano
PRO
0
87
2024年度秋学期 統計学 第13回 不確かな測定の不確かさを測る - 不偏分散とt分布 (2024. 12. 18)
akiraasano
PRO
0
100
2024年度秋学期 画像情報処理 第11回 逆投影法による再構成 (2024. 12. 13)
akiraasano
PRO
0
54
2024年度秋学期 統計学 第12回 分布の平均を推測する - 区間推定 (2024. 12. 11)
akiraasano
PRO
0
130
2024年度秋学期 統計学 第11回 分布の「型」を考える - 確率分布モデルと正規分布 (2024. 12. 4)
akiraasano
PRO
0
120
2024年度秋学期 画像情報処理 第10回 Radon変換と投影切断面定理 (2024. 12. 6)
akiraasano
PRO
0
58
2024年度秋学期 画像情報処理 第8回 行列の直交変換と基底画像 (2024. 11. 29)
akiraasano
PRO
0
44
2024年度秋学期 画像情報処理 第9回 離散フーリエ変換と離散コサイン変換 (2024. 11. 29)
akiraasano
PRO
0
58
Other Decks in Education
See All in Education
Flinga
matleenalaakso
2
14k
家族をスクラムチームに! アジャイルで取り組む家事と育児 | Install Scrum to Family
coosuke
PRO
1
160
BrightonSEO, San Diego, CA 2024
mchowning
0
130
アジャイルやっていきを醸成する内製講座
nomuson
1
290
複式簿記から純資産を排除する/eliminate_net_assets_from_double-entry_bookkeeping
florets1
1
320
Mathematics used in cryptography around us
herumi
2
780
A Chatbot is Not a Search Engine (it's more like a roleplaying game)
dsalo
0
160
Pen-based Interaction - Lecture 4 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.6k
Ch4_-_Cours_2.pdf
bernhardsvt
0
180
新人研修の課題と未来を考える
natsukokanda1225
0
1.4k
Ch4_-_Partie_3.pdf
bernhardsvt
0
100
あきた地域課題解決インターンMarch2025
toyodome
0
320
Featured
See All Featured
The Language of Interfaces
destraynor
156
24k
[RailsConf 2023] Rails as a piece of cake
palkan
53
5.3k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
49
2.3k
Automating Front-end Workflow
addyosmani
1369
200k
GraphQLの誤解/rethinking-graphql
sonatard
69
10k
Thoughts on Productivity
jonyablonski
69
4.5k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
656
59k
Fashionably flexible responsive web design (full day workshop)
malarkey
406
66k
Making the Leap to Tech Lead
cromwellryan
133
9.1k
Building Flexible Design Systems
yeseniaperezcruz
328
38k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
227
22k
A better future with KSS
kneath
238
17k
Transcript
浅野 晃 関西大学総合情報学部 2023年度秋学期 応用数学(解析) 第1部・「無限」の理解 無限にも大小がある 第2回
None
無限とは,「モノ」ではなく「コト」 🤔🤔
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「∞」という数字があるのか 3 「∞」という数字はありません 無限とは 「無限」という「モノ」があるのではなく 「無限であるコト」 数学では,
「コト」ではなく「モノ」のほうが扱いやすい。 「無限」を具体的な数字で扱うには?
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「数えられる」無限 4 自然数とは,数えるための数字 1, 2, 3, …
自然数の集合と同じ無限を 「数えられる無限」すなわち[可算無限]という そして,「無限」 その「個数」は[可算基数] ℵ0(アレフゼロ) (よく「可算無限個」という)
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「数えられる」無限 4 自然数とは,数えるための数字 1, 2, 3, …
自然数の集合と同じ無限を 「数えられる無限」すなわち[可算無限]という そして,「無限」 その「個数」は[可算基数] ℵ0(アレフゼロ) (よく「可算無限個」という) ?
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, …
この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, …
この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, …
この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, …
この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 どうやって数えるのか 5 自然数と対応がつく集合は数えられる 1, 2, 3, …
この集合の[基数]([濃度])は [可算無限集合]という ℵ0 集合A = {a, b, c, …} 自然数 過不足なく1対1対応がつく ([全単射]が存在する)なら
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 「全単射」について 6 集合の要素間の対応関係について [全単射](bijection) 集合X 集合Y …
… 1対1に対応し, X,Yどちらにも余りがない [単射](injection) 集合X 集合Y 1対1である この例では Yに余りがあるので全射ではない [全射](surjection) 集合X 集合Y どちらにも余りはない XからYへの ? ? XからYへの この例では 1対1ではないので単射ではない
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …,
n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …,
n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …,
n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …,
n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …,
n, … 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, …
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 偶数の集合の濃度は 7 偶数と自然数とは対応がつくか 1, 2, 3, …,
n, … 偶数の基数も ℵ0 偶数 自然数 過不足なく1対1対応がつく(全単射が存在する) 2, 4, 6, …, 2n, … 自然数と「個数」は同じ
None
「ホテル無限」
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • •
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 ヒルベルトの「ホテル無限」 9 ホテル無限には,可算無限個の部屋がある さらに客が一人やって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • 部屋にいる客全員が 隣の部屋に移れば 1号室が空く
None
実数の基数と対角線論法 🤔🤔
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 時計の針の止まる場所 11 連続的に針が進む時計 目をつぶってボタンを押したとき ボタンを押すと,その場で針が止まる 12時から3時の間のどこかに止まる確率 =円周の1/4だから,確率も1/4
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 時計の針の止まる場所 12 では「12時ちょうど」に止まる確率は? 12時ちょうども 1時ちょうども 12時1秒ちょうども 「12時ちょうど」の幅はゼロ
→そこに止まる確率もゼロ どこでも みんな ゼロ
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 時計の針の止まる場所 12 では「12時ちょうど」に止まる確率は? 12時ちょうども 1時ちょうども 12時1秒ちょうども 「12時ちょうど」の幅はゼロ
→そこに止まる確率もゼロ どこでも みんな ゼロ なら,「12時から3時の間のどこか」もゼロじゃないの?🤔🤔
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 何がおかしいのか 13 各刻みに止まる確率はどれもゼロ 区間内の任意の位置 =1つの実数で表される角度 刻みがどんなに細かくても, 順に自然数の番号がつけられる
角度を表す実数と1対1対応がつくなら, 「区間内のどの位置に止まる確率も0」
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 何がおかしいのか 13 各刻みに止まる確率はどれもゼロ 区間内の任意の位置 =1つの実数で表される角度 刻みがどんなに細かくても, 順に自然数の番号がつけられる
角度を表す実数と1対1対応がつくなら, 「区間内のどの位置に止まる確率も0」 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」 いいえ。🙅🙅
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」 いいえ。🙅🙅 実数を1つ,2つ,3つと数えることはできない
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 実数は可算無限ではない 14 自然数と実数に一対一対応がつくか? つまり「実数の集合は可算基数をもつか?」 いいえ。🙅🙅 実数を1つ,2つ,3つと数えることはできない 実数も自然数もその「個数」は無限だが,
実数は自然数よりも本質的に大きな無限
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190…
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 各ケタを1ずつずらす
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 2
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 20
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 201
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 15 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 201…
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 この数字は, 1番の数字とは1ケタめで, 2番の数字とは2ケタめで,… n番の数字とはnケタめで 1だけずれているので, 「すべての実数を並べた」表にない ∴矛盾
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 カントールの対角線論法 16 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3
4 5 6 … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 この数字は, 1番の数字とは1ケタめで, 2番の数字とは2ケタめで,… n番の数字とはnケタめで 1だけずれているので, 「すべての実数を並べた」表にない ∴矛盾 つまり 「実数は可算でない」
None
有理数の集合は可算基数をもつか (演習問題1)
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数と自然数の対応 18 有理数の集合は,可算基数をもつか 分母を横軸, 分子を縦軸とすると, 有理数は図の黒点(格子点) ※分母0の点は除く ※重複あり
分母 分子 0 1 2 3 1 2 3
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数と自然数の対応 18 有理数の集合は,可算基数をもつか 分母を横軸, 分子を縦軸とすると, 有理数は図の黒点(格子点) ※分母0の点は除く ※重複あり
分母 分子 0 1 2 3 1 2 3 すべての格子点を一筆でたどれば 自然数と一対一対応がつく👉👉可算基数をもつ
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数と自然数の対応 18 有理数の集合は,可算基数をもつか 分母を横軸, 分子を縦軸とすると, 有理数は図の黒点(格子点) ※分母0の点は除く ※重複あり
分母 分子 0 1 2 3 1 2 3 すべての格子点を一筆でたどれば 自然数と一対一対応がつく👉👉可算基数をもつ
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数は可算基数をもつから 19 有理数の「無限」と 自然数の「無限」は 同じ無限 有理数の集合は「稠密」(びっしり) 実数 の集合は「連続」(べったり) 有理数の「無限」と
実数の「無限」は 本質的に異なる無限
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 有理数は可算基数をもつから 20 ダーツの矢(太さゼロ)を投げたら🎯🎯 時計⏰の針と同じ理屈で考えると 原点から光線(幅ゼロ)をあちこちに発射したら 的の上で当たった点の 的の中心からの距離が有理数である確率はゼロ
格子点に当たる確率はゼロ 原点 ⚡
None
ホテル無限に,無限の客 (演習問題2)
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 問題2 22 ホテル無限には,可算無限個の部屋がある さらに可算無限人の客がやって来たら? … 1号室 2
3 4 5 • • • • • 「ただいま満室です」 … 1号室 2 3 4 5 • • • • • • • ℵ0 部屋にいる客全員が 2倍の番号の部屋に移れば 奇数番の室が空く 奇数も可算無限個
23 2023年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 今日のまとめ 23 無限にも,大小がある 「可算無限」 次回は,「実数」とは何か, 実数の連続性(「べったり」並んでいること)を説明します。 こういうことが不思議だと感じるのは,
ふだんは「無限」を,たかだか「大きな数」くらいにしか理解していないから🤔🤔 ハレー彗星が関心をよぶのは,周期76年が「人の一生」とほぼ同じだから それより周期の長い彗星はたくさんあるが,人は実感できない