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
120
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年度秋学期 画像情報処理 第8回 行列の直交変換と基底画像 (2024. 11. 29)
akiraasano
PRO
0
5
2024年度秋学期 画像情報処理 第9回 離散フーリエ変換と離散コサイン変換 (2024. 11. 29)
akiraasano
PRO
0
5
2024年度秋学期 統計学 第9回 確からしさを記述する ― 確率 (2024. 11. 27)
akiraasano
PRO
0
7
2024年度秋学期 統計学 第10回 分布の推測とは - 標本調査,度数分布と確率分布 (2024. 11. 27)
akiraasano
PRO
0
6
2024年度秋学期 統計学 第8回 第1部の演習 (2024. 11. 6)
akiraasano
PRO
0
32
2024年度秋学期 統計学 第7回 データの関係を知る(2)ー 回帰と決定係数 (2024. 11. 6)
akiraasano
PRO
0
63
2024年度秋学期 画像情報処理 第7回 主成分分析とKarhunen-Loève変換 (2024. 11. 8)
akiraasano
PRO
0
7
2024年度秋学期 統計学 第6回 データの関係を知る(1)ー相関関係 (2024. 10. 30)
akiraasano
PRO
0
52
2024年度秋学期 画像情報処理 第5回 離散フーリエ変換,フーリエ変換の実例 (2024. 10. 25)
akiraasano
PRO
0
33
Other Decks in Education
See All in Education
Web Application Frameworks - Lecture 4 - Web Technologies (1019888BNR)
signer
PRO
0
2.6k
不登校予防・再登校支援プログラムを提供するToCo (トーコ) の会社紹介資料 toco.mom
toco3week
0
390
20241002_Copilotって何?+Power_AutomateのCopilot
ponponmikankan
1
160
学習指導要領から職場の学びを考えてみる / Thinking about workplace learning from learning guidelines
aki_moon
1
700
LLMs for Social Simulation: Progress, Opportunities and Challenges
wingnus
1
100
PSYC-560 R and R Studio Setup
jdbedics
0
520
お仕事図鑑pitchトーク
tetsuyaooooo
0
2.3k
Amazon Connectを利用したCloudWatch Alarm電話通知
junghyeonjae
0
260
アニメに学ぶチームの多様性とコンピテンシー
terahide
0
240
20240810_ワンオペ社内勉強会のノウハウ
ponponmikankan
2
880
Repaso electricidade e electrónica
irocho
0
200
Kindleストアで本を探すことの善悪 #Izumo Developers' Guild 第1回 LT大会
totodo713
0
130
Featured
See All Featured
The MySQL Ecosystem @ GitHub 2015
samlambert
250
12k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
33
1.9k
Making the Leap to Tech Lead
cromwellryan
133
8.9k
A better future with KSS
kneath
238
17k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
42
9.2k
The Language of Interfaces
destraynor
154
24k
Designing Experiences People Love
moore
138
23k
Practical Orchestrator
shlominoach
186
10k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.3k
We Have a Design System, Now What?
morganepeng
50
7.2k
Ruby is Unlike a Banana
tanoku
97
11k
GitHub's CSS Performance
jonrohan
1030
460k
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年が「人の一生」とほぼ同じだから それより周期の長い彗星はたくさんあるが,人は実感できない