Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

984(1): 08/23(土)09:12 ID:XQOxXTSd(3/13) AAS
>>979
＞滑らかな数の連続がやがて１に収束するという考え方

数学ではそんな狂った考え方を全く採用していない

カントールは有理数のコーシー列の同値類を実数と定義した

つまり、
収束先とかいう妄想を完全に排除した
無限性とかいう妄想を完全に排除した

残念だったな

998: 現代数学の系譜雑談 ◆yH25M02vWFhP 08/23(土)10:11 ID:KYsCHIBD(4/4) AAS
>>984
>カントールは有理数のコーシー列の同値類を実数と定義した
>つまり、
>収束先とかいう妄想を完全に排除した
>無限性とかいう妄想を完全に排除した

多分違うよ
あなたの受けた 1980年代の日本の数学科は、そういう厳密病の教育だった気がする
その後、数学も進歩してノンスタ（超準）などが出て、21世紀の数学は結構自由なのだとなった

さて、カントールは
無限小数展開を結構多用している気がする
一つは、下記カントール集合で無限三進展開を使う
もう一つは、カントールの対角線論法で無限二進数展開を使う

いずれの場合も
ここでは極限だの収束だのへったくれをいう必要なし！

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
超準解析（英: nonstandard analysis）

外部ﾘﾝｸ:ja.wikipedia.org
カントール集合（英: Cantor set）は、フラクタルの1種で、閉区間 [0, 1] に属する実数のうち、その三進展開のどの桁にも 1 が含まれないような表示ができるもの全体からなる集合である
測度と確率
カントール集合は二進列全体の成すコンパクト群と見なせるから、自然なハール測度を備えている。カントール集合全体の測度を 1 に正規化するとき、それをコイントスの無限列のモデルとすることができる。さらに言えば、区間上の通常のルベーグ測度がカントール集合上のハール測度の像となることが示せる
ルベーグ測度論において、カントール集合は非可算な零集合の例を与える[22]

外部ﾘﾝｸ:ja.wikipedia.org
カントールの対角線論法
自然数の集合と[0, 1]区間の濃度の違い
[0, 1]区間の各元を
a1,a2,⋯と番号づけすることができたことになる。
aiを二進数展開したときのj桁目をai,jとし[注釈 2]、biを￢ai,iとする。
[0, 1]区間の元であるはずのbは
a1,a2,⋯のいずれとも異なるので、矛盾。従って
Nから[0, 1]区間への全単射は存在しない。
なお、n桁に対応する元は2^n個存在するが、対角線論法においてはn桁に対して元の数をn個として議論していることには注意が必要である。

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.033s