[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
471: 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)08:58 ID:Py08+Ohv(14/40) AAS
>>470 つづき
まあ、命題Aの”しっぽの先が一致”については、まさに”宝くじが当たって１億円”かそれ以前の状態だ
そして、命題Bの"99/100の確率"も、いわゆるすその重い（実は超ヘビーな）確率分布の場合には証明できない
結局、結論として、全くだめってこと
472: 2016/11/26(土)10:21 ID:MahBZwQx(1/2) AAS
>>467
マチガツテル
473(2): 2016/11/26(土)11:54 ID:xEpGxFGd(1/4) AAS
>>432の最後の文
>南は白川郷や飛騨の小京都高山市がある岐阜県と隔てていますが、北アルプスを挟んでいます。
の「北アルプス」は「両白山地」の間違えでしたね。これは失礼を致しました。
両白山地、これは白山がある山地のようですね。余り耳に致しませんでした。
皆様もついでに覚えておきましょう。チューリップやホタルイカの越中と飛騨との県境と来たら
蜃気楼や立山黒部アルペンルートで有名な立山連峰の北アルプス、女性全体の部分集合をSとすると
「名前の姓名の名の部分が同じような名前」という関係についての同値類をなす女性全体Sの
部分集合「久美子」の1つの代表元「西岡久美子」や兼六園で有名な加賀百万石の國と来たら、
その南部に伊勢湾に注ぐ長良川の源流があり、越前と岐阜との県境の部分にも岐阜と伊勢の國を流れる
揖斐川の源流がある両白山地。長良川と揖斐川は、どちらも、木曽三川の一つであり、
省5
474(4): 2016/11/26(土)12:06 ID:xEpGxFGd(2/4) AAS
おっちゃんです。
スレ主、結果的な形にはなるが、上のように>>473で、バスガイドさん口調の文章で、
かなり分かり易くして文系の人にも分かるように社会的な例を出して、
同値関係や同値類、代表元の具体例を挙げたから、これらの概念を少しは理解せい。
ノルムの定義だのヒルベルト空間だのは時枝問題には関係ない。
話は変わるが、それにしてもバスガイドのマネというのも難しいモノだな。
>>470
あと、結果的な帰結として導かれることだが、そこのwikiに挙げられている
超越数の他にも、現時点で(といってもかなり前の話ではあるが)
私が1つだけ示した超越数はある。だから、そのwikiは単体で挙げてもムダ。
省3
475(1): 2016/11/26(土)13:09 ID:xEpGxFGd(3/4) AAS
>>470
>>474の後半の部分の訂正：
私が1つだけ示した超越数 → 私が示した超越数
(といっても、特殊関数だから、複素数や実数を考える限り
数としては実質的に同じモノを考えている訳だが)
有理数体Q上の超越拡大体 → 有理数体Qの超越拡大体
476: 2016/11/26(土)16:21 ID:tcYFlZy+(1/2) AAS
「ガロアを読む」は、勉強にったし面白いと思う。しかし、倉田先生独自の見解は受け入れ難いものが多く、ガロア理論入門としてはよくないです。ガロア理論をよく勉強した人が「それは変だよ」と思って読む本です。
477: 2016/11/26(土)16:25 ID:tcYFlZy+(2/2) AAS
「ガロアを読む」もつと整理して書き直すことできなかったかな。証明も解説も、もっと良いものにできたはず。
478: 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)16:49 ID:Py08+Ohv(15/40) AAS
>>467 訂正
（実際にヒルベルト空間内の数列のしっぽの先が一致する同値類分類がどうかは別として）
↓
（実際にヒルベルト空間内の数列のしっぽの先が一致する同値類分類が可能かどうかは別として）
479(1): 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)16:54 ID:Py08+Ohv(16/40) AAS
>>396 訂正 (数列の長さn→n-2) 小学生の計算間違っていた（＾＾；
２）この数列の長さはｎだ
↓
２）この数列の長さはｎ-2だ
２）に対応して、数列の長さL(S_A) ：= n （数列の長さを、その数列の箱の数と定める）とすると
lim n→∞ L(S_A) := n
２）に対応して、数列の長さL(S_A) ：= n-2 （数列の長さを、その数列の箱の数と定める）とすると
lim n→∞ L(S_A) := n-2
480(7): 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)17:26 ID:Py08+Ohv(17/40) AAS
>>473-475
おっちゃん、どうも。スレ主です。
なんだ、バスの運転のアルバイトしていると思ったぜ（＾＾；
ところで、有限だったら、話は簡単だ
そして、代数では有限の場合も多い
無限数列のしっぽでの同値類分類：数列のしっぽが一致すれば同値＝つまりは、数列の最後の数が一致するかどうか
有限数列であれば、なんの問題もない。だが、可算無限個の箱に入った数列ではどうか？
先頭から数を調べて行っては、終わらない ∵終わらないのが可算無限
では、可算無限個のしっぽの箱とは？ 一つの例が、>>370に示したように、最後の箱を固定して、A1,A2,・・・・,An,Ae （ここでAeは最後の箱で、箱を増やすとき数列の途中に挿入するとする）
こうすれば、数列のしっぽが決まるので、話は簡単だ
省10
481(1): 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)17:33 ID:Py08+Ohv(18/40) AAS
>>474
>私が1つだけ示した超越数はある。だから、そのwikiは単体で挙げてもムダ。
話は逆で、”私が1つだけ示した超越数はある”だけでは不十分だ
その数が、有理数（少数展開のしっぽの循環）か、無理数（少数展開のしっぽの循環がない）か、判別できない数が一つでもあると、数列のしっぽの同値類分類は完成しない
482(2): 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)17:41 ID:Py08+Ohv(19/40) AAS
>>474
>ノルムの定義だのヒルベルト空間だのは時枝問題には関係ない。
記号の乱用だが
無限小数の展開の空間⊂コーシー列の空間⊂ヒルベルト空間⊂R^Nの空間
を示したつもりなんだ
つまり、無限小数展開の空間を例として、可算無限個の箱に入った数列のしっぽの同値類分類が、きちんとできないなら
R^Nの空間での、可算無限個の箱に入った数列のしっぽの同値類分類も、きちんとできない
そういうことを言いたいのだよ
483: 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)17:41 ID:Py08+Ohv(20/40) AAS
>>482 訂正
無限小数の展開の空間⊂コーシー列の空間⊂ヒルベルト空間⊂R^Nの空間
↓
無限小数展開の空間⊂コーシー列の空間⊂ヒルベルト空間⊂R^Nの空間
484(1): 2016/11/26(土)17:56 ID:xEpGxFGd(4/4) AAS
>>480-481
今日はもう寝るから細かいことは明日になるだろうが、>>479でスレ主が訂正した
>２）に対応して、数列の長さL(S_A) ：= n-2 （数列の長さを、その数列の箱の数と定める）とすると
> lim n→∞ L(S_A) := n-2
の部分だけについていうが、この式は原理的にあり得ない式である。
訂正後の式「lim n→∞ L(S_A) := n-2」の左辺はnを変数として n→+∞ として極限を取っているから、
右辺の「n-2」の部分にnが現れることはあり得ない。
ジョーダン抜きにして、スレ主は全く数列を分かっていない。
485(1): 2016/11/26(土)18:25 ID:eZ9pCsLc(2/7) AAS
> 「数列の頭から調べて行く」という通常の手段では、「しっぽの先が一致する」は言えない
スレ主は(R^Nの)任意の無限数列が出題可能であると仮定しているのでしょう？
たとえば e = 2.71828... の小数表示を1桁ずつバラバラにした数列an (a0=2, a1=7, a2=1, a3=8, ... )を
出題しようとしたときにはbn以降の項がbn={eの小数点以下n桁目}であるような代表元bnが存在して
anとbnの「しっぽの先が一致する」が言えないと出題できない
486(1): 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)18:47 ID:Py08+Ohv(21/40) AAS
>>484
>訂正後の式「lim n→∞ L(S_A) := n-2」の左辺はnを変数として n→+∞ として極限を取っているから、
これは最初から、lim n→∞ ( L(S_A) := n-2 ) という意味で、これで分かるはずだからかっこを省略した
というか、本来の書物ではn→∞は、limの下に添え字で書かれているが、ここでは下に添え字が使えないから横に出した。かっこはもともと（書物での書き方では）不要だ
487(1): 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)18:51 ID:Py08+Ohv(22/40) AAS
>>485
>スレ主は(R^Nの)任意の無限数列が出題可能であると仮定しているのでしょう？
当然。>>114 「可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.もちろんでたらめだって構わない.」とあるとおり
その後の記述は意味がわからん
488: 現代数学の系譜11 ガロア理論を読む 2016/11/26(土)18:55 ID:Py08+Ohv(23/40) AAS
>>486 蛇足
L(S_A)→∞ は当然かつ自明。書くまでもないから省略しただけ
というか、lim n→∞ ( L(S_A) := n-2 ) の方が意味が明白だと思った
まあ、この板では、正規の数学の書式は使えないわけで
それで、どうこういうのはお門違いだろ
489: 2016/11/26(土)19:01 ID:JI0BfLNk(9/12) AAS
＞Yes！ 有限数列の極限を考えるのは数学の基本だろ？
とっとと「有限済列の極限」なるものの定義を書けよバカ
490(1): 2016/11/26(土)19:02 ID:eZ9pCsLc(3/7) AAS
>>487
> 当然。
> ∵終わらないのが可算無限
全ての箱に数を入れる行為は終わらないということだから矛盾しているじゃないか
上下前次1-新書関写板覧索設栞歴
あと 226 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s