純粋・応用数学・数学隣接分野(含むガロア理論)21 (392レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
311
(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/21(日)23:06 ID:cEGpGchm(1/2) AAS
>>310
>その大前提とやらは
>「無限小数展開のすべての桁が”今・この瞬間に”分かっている」
>を導かないが

貧弱な”メンタルピクチャー”(by 加藤文元) だな w
無限に対する”メンタルピクチャー”が貧弱だから・・ 箱入り無数目(下記)が分らないんだよ ;p)

1)まず 形式的冪級数環と多項式環 から(下記)
省26
312
(1): 09/21(日)23:07 ID:cEGpGchm(2/2) AAS
つづき

2.続けて時枝はいう
 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
省13
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.013s