現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

6: １３２人目の素数さん [] 2016/10/30(日) 14:21:03.53 ID:AAheDI1u

こらこら、新スレで逃げようとするなｗ　逃げられないように貼っておこうｗ

540 : 現代数学の系譜11 ガロア理論を読む2016/10/23(日) 09:35:01.91 ID:MjfWcywG
>>537-538
ぼくちゃん、>>2に「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.・・

πとかeわかる
π＝3.14159 26535 89793 ・・・ https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87
ｅ＝2.71828 18284 59045 ・・・ https://ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0

で、こいつらは、無限小数なんだ。大学では、コーシー列かな https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97

で、各小数位のところを、箱があると見ると、まさに箱に数が入っていると思えば良いんだわ
つまり、πは3 14159 26535 89793 ・・・という可算無限個ある箱に数の入った数列と見ることができる。小数点は抜いた
ｅも同じようにできる

で、小数点を戻すと、可算無限個ある箱に数の入った無限数列だけど、２項演算が定義できるんだわ。分かる？　まあ、普通の数の積と和だ
π・ｅ（積）とか、π＋ｅ（和）とか、分かる？ 可算無限個の箱の数列だよ？

で、>>532のモノイドで考えて、 {0, 1, ..., 9} として、箱に0〜9の数字を入れると、数列ができたとして、小数点は抜いて
モノイドの２項演算で、文字や語の「連接」を＊で表すと
π＊ｅを、考えることができる　（小数点を文字に含めれば、小数点を含む数列としても良いが、抜いてシンプルな方がイメージしやすいだろう）

「考えてどうなるか？」は別として、普通の実数の演算として、無限の数列を使って、π・ｅ（積）とか、π＋ｅ（和）を考えているんだから
モノイドの２項演算 「連接」 π＊ｅも考えることができるよと
それだけのことが難しい？

542 : １３２人目の素数さん2016/10/23(日) 09:58:50.54 ID:SlySeNFm
eの整数部分は小数第何位にくるんだ

http://rio2016.5ch.net/test/read.cgi/math/1477804000/6

114: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 10:50:35.42 ID:DzICE8Th

つづき

さて
（現代数学の系譜11 ガロア理論を読む18）>>2 再録　
１．時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることは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番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd(実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

http://rio2016.5ch.net/test/read.cgi/math/1477804000/114

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.030s