現代数学の系譜11 ガロア理論を読む32

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 2ch.scのread.cgiへ]
Update time : 04/10 15:13 / Filesize : 515 KB / Number-of Response : 769
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/21(日) 21:23:26.21 ID:yJJJjKga.net]: 小学レベルとバカプロ固定、High level people お断り！High level people はスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）

過去スレ（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
現代数学の系譜11 ガロア理論を読む
31 rio2016.2ch.net/test/read.cgi/math/1494038985/
30 rio2016.2ch.net/test/read.cgi/math/1492606081/
29 rio2016.2ch.net/test/read.cgi/math/1484442695/
28 (High level people が時枝問題を論じるスレ) rio2016.2ch.net/test/read.cgi/math/1480758460/
27 rio2016.2ch.net/test/read.cgi/math/1483075581/
26 rio2016.2ch.net/test/read.cgi/math/1480758460/
25 rio2016.2ch.net/test/read.cgi/math/1477804000/
24 rio2016.2ch.net/test/read.cgi/math/1475822875/
23 rio2016.2ch.net/test/read.cgi/math/1474158471/
22 rio2016.2ch.net/test/read.cgi/math/1471085771/
21 rio2016.2ch.net/test/read.cgi/math/1468584649/
20 wc2014.2ch.net/test/read.cgi/math/1466279209/
19 wc2014.2ch.net/test/read.cgi/math/1462577773/
18 wc2014.2ch.net/test/read.cgi/math/1452860378/
17 wc2014.2ch.net/test/read.cgi/math/1448673805/
16 wc2014.2ch.net/test/read.cgi/math/1444562562/
15 wc2014.2ch.net/test/read.cgi/math/1439642249/
以下次レスへ
577 名前：１３２人目の素数さん [2017/05/26(金) 00:07:09.51 ID:gfpDlVKX.net]: 非時枝解法で確率1/6だからという理由で時枝解法を否定する馬鹿ｗ
578 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 00:08:30.72 ID:puUvsOBB.net]: ID:E6iuwWguは神。
トンデモ爺さんにここまで付き合ってやる献身さはマザーテレサ並。
スレ主は手強いから付き合ってやれないと見た（笑）
579 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 00:12:19.74 ID:puUvsOBB.net]: >>531
ちなみにスレ主はランダム列は当てられっこないから時枝は間違いだ、とも言ってるよ>>45

とにかく当てられない理由を必死になって説明するんだけど全然説明されてないんだよね（笑）
580 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 06:14:16.93 ID:2aamonDi.net]: 「箱入り無限目」の変形版を考えてみた

例えば１００個、２進有限小数を選んでみる
２進有限小数の「最後に１が現れる桁」の場所を
終端番号と呼ぶことにする

９９個選んだ時点で最大の終端番号をDとする
１００個目の終端番号がDを超える可能性を
1/100とすると、D桁目が0の確率は0

一方、任意に2進有限小数と桁の場所をとってきたとき
その桁の値が0である確率は1/2のようにも思う
（思う、といったのは、2進有限小数全体が可算集合で
　測度をうまく設定できないため）
581 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 06:16:50.49 ID:2aamonDi.net]: >>534
すまん、打ち間違った
誤　D桁目が0の確率は0
正　D桁目が0の確率は99/100
582 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 08:01:42.42 ID:puUvsOBB.net]: >>534
1/100ではないな
583 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 08:08:54.99 ID:puUvsOBB.net]: 列が多ければ多いほど最大値は末尾に近い値となる。
このとき残りの1列の番号が最大値を超える確率は0だ。

時枝論法は無限列の同値類と代表系を使うところがキモ。
それを使わない類型を編み出すのは難しそうだ。
584 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 08:44:50.26 ID:xNdmOtA/.net]: >「箱入り無限目」

ってｗ　「箱入り無数目」は「箱入り娘」のダジャレになってる。
知ってた？
585 名前：哀れな素人 [2017/05/26(金) 09:06:58.70 ID:Qltyzj8E.net]: まったくここの連中のアホさは度し難いな（笑

ペン男よ、お前は、
1/2＋1/4＋1/8＋……<ｘ
とおいて、x≧１を証明した。だから
1/2＋1/4＋1/8＋……<１ではないか（笑
お前自身が、
1/2＋1/4＋1/8＋……<１を証明している（笑

定義少年に言っておくと、
1/2＋1/4＋1/8＋……＝ｘ
となるようなｘは存在しないのである（笑
こんなことは常識なのに、君はそんな幼稚な質問をする（笑
だから君は中学生以下の子供だと思われるのだ（笑

君だけではない。このスレの全員が、
1/2＋1/4＋1/8＋……＝ｘ
となるようなｘが存在するとでも思っているようだ（笑
だから1/2＋1/4＋1/8＋……＝１などというアホなことを
平気で言えるのである（笑
586 名前：１３２人目の素数さん [2017/05/26(金) 09:22:03.89 ID:gfpDlVKX.net]: >>539
＞1/2＋1/4＋1/8＋……＝ｘ
＞となるようなｘは存在しないのである（笑

1/2＋1/4＋1/8＋……は存在しないという主張と受け取ってよい？
等式の右辺が存在しないのに左辺だけ存在するってへんだよね？
587 名前：哀れな素人 [2017/05/26(金) 09:25:10.67 ID:Qltyzj8E.net]: 本当は
1/2＋1/4＋1/8＋……<ｘ
などとおいてはいけないのである。
本当は一秒後のペンの位置をｘとおくなら、
1/2＋1/4＋1/8＋……＝ｘ
という式を立てなければいけない。
そして、これはもっと具体的にいえば、
1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ
である。だから１－ｘ＝ａとおくなら
ａ＝1/2＾nである。そして
1/2＾nはどこまでいっても1/2＾n＞0だから、
ａ＞０である。

つまりａ≦０だというペン男の証明は間違いである（笑
588 名前：哀れな素人 [2017/05/26(金) 09:32:40.84 ID:Qltyzj8E.net]: >>540
お前は定義少年か（笑
お前は無限級数の意味が分っているのか？（笑

お前の質問はいつもあまりに幼稚だ（笑
数学をやっている人間の質問とは到底思えない（笑

無限級数の意味をもう一度よく考えてみればいい。
お前が質問したことの意味をよく考えてみればいい。
そうすれば無限級数とは何かが分ってくる。
定義を覚えるのではなく、自分の頭で考えるのだ。
589 名前：１３２人目の素数さん [2017/05/26(金) 09:35:58.51 ID:gfpDlVKX.net]: >>541
n って何ですか？人によって・場合�
590 名前：ﾉよって変わるものですか？ そうなら1/2＋1/4＋1/8＋……　の値も人によって・場合によって変わるということになります。 つまり1/2＋1/4＋1/8＋……　などというものは存在しないも同然ですね。 何故なら人によって・場合によって変わるものは、人々の共通認識とはなり得ないですから。 やはり1/2＋1/4＋1/8＋……は存在しないというのが素人君の主張ですね？ []: [ここ壊れてます]
591 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 09:36:58.66 ID:2aamonDi.net]: >>536-538
「箱入り無数目」＝「箱入り娘」の駄洒落とは気づきませんでした

ところで「2進有限小数」と書きましたが桁の長さに上限はありません
つまり「末尾」はありません
いくらでも長い2進有限小数をとってこれますので
終端番号はいくらでも大きくなる可能性があります

記事では箱の中身で実数を取ってくることになってますが
箱の中身を0もしくは1に限定した場合、記事中の同値類は
「差が2進有限小数となる、2進無限小数の集まり」
になる筈なので、同値類から代表元をとる操作は
「2進有限小数を無作為に選ぶ」操作に対応すると
考えました

したがって、１００個有限小数をとる場合
記事にならうと１００個目の終端番号が
他の９９個分の上限をこえる確率は
1/100になると思うのですが如何ですか

「2進無限小数の同値類」の設定を外すことで
各桁の独立性は失われるのですが、無作為抽出
を際立たせるためにあえてそういう設定にしました
592 名前：１３２人目の素数さん [2017/05/26(金) 09:38:19.05 ID:gfpDlVKX.net]: >>542
＞お前の質問はいつもあまりに幼稚だ（笑
その幼稚な質問にさえ答えられない素人君は幼稚以下ということになりますなｗ
593 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 09:46:29.35 ID:xNdmOtA/.net]: >>539,>>541
「哀れな素人」は認知症老人としか思えんな。
ツッコミどころがありすぎて、突っ込む気にすらならない。
594 名前：哀れな素人 [2017/05/26(金) 09:47:08.35 ID:Qltyzj8E.net]: >>543
イミフなアホレス乙（笑

1/2　←１回目に太郎君が食べたケーキの量
1/4　←２回目に太郎君が食べたケーキの量
1/8　←３回目に太郎君が食べたケーキの量
……
1/2＾n　←ｎ回目に太郎君が食べたケーキの量

1/2＋1/4＋1/8＋……＋1/2＾n
↑ｎ回目までに太郎君が食べたケーキの合計量
1/2＾n　←そのとき残るケーキの量

1/2＾n　←これは永遠に＞０で０にならないから、
ケーキを食べ尽くすことはできない。ゆえに
1/2＋1/4＋1/8＋……は１にはならない。いいかえれば
1/2＋1/4＋1/8＋……＜１
595 名前：哀れな素人 [2017/05/26(金) 09:53:35.22 ID:Qltyzj8E.net]: さてお前らのような○○の相手をしていると
時間がつぶれるだけだから、ここらで中断（笑

読書に倦んだら、また覗いてみる（笑
たくさんのアホレスを期待している（爆
596 名前：１３２人目の素数さん [2017/05/26(金) 09:57:12.02 ID:gfpDlVKX.net]: >>542
＞お前は無限級数の意味が分っているのか？（笑
分かりません。
無限は存在しないとあなたから教わったので、そんなもの存在しない認識です。
存在しない物の意味を問われても答えようがありません。
597 名前：１３２人目の素数さん [2017/05/26(金) 10:07:17.25 ID:gfpDlVKX.net]: >>547
＞>>541
＞1/2＋1/4＋1/8＋……＝ｘ
＞という式を立てなければいけない。
＞そして、これはもっと具体的にいえば、
＞1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ

1/2＋1/4＋1/8＋…… ＝ｘ = 1/2＋1/4＋1/8＋……＋1/2＾n
ですよね？
つまり左辺は n なるものの値によって変動するのですよね？
n なるものはどこにも定義されていないから、人それぞれ勝手に取りますよね？
だから人々の共通認識上、1/2＋1/4＋1/8＋……　は存在しないはずでは？

君にはこの単純な理屈が分かりませんか？
598 名前：哀れな素人 [2017/05/26(金) 11:17:22.23 ID:Qltyzj8E.net]: >>550
定義少年乙（笑

ｎはｎ回目のことである（笑
1/2＋1/4＋1/8＋……＋1/2＾n
↑これはｎ回目までに太郎君が食べたケーキの合計量
1/2＾n　←そのとき残るケーキの量

このｎにどんな数を代入しようと、
1/2＾nは永遠に０にはならないのである。
いいかえれば、ケーキを食べる行為をｎ回続けても、
決して残りのケーキの量は0にはならない。
何万回、何億回、何兆回続けても、決して0にはならない。
∞回続けても0にはならない。
かぎりなく0に近づくが0にはならない。

だからケーキを食べ尽くすことはできない。ゆえに
1/2＋1/4＋1/8＋……は１にはならない。いいかえれば
1/2＋1/4＋1/8＋……＜１
599 名前：１３２人目の素数さん [2017/05/26(金) 11:34:14.50 ID:gfpDlVKX.net]: >>551
すみません、あなたに教えを乞うているのではありません。その気もありません。
私のレスをよく読んで下さい。
あなたの言ってることは滅茶苦茶だと言っているのです。
反論があるなら、自説を講釈するのではなく、私のレスに直接的に反論して下さい。
600 名前：哀れな素人 [2017/05/26(金) 12:33:04.52 ID:Qltyzj8E.net]: >>552
だからちゃんと答えているではないか（笑
一体何が聞きたいのか（笑

君は無限級数が一定の値を取るとでも思っているのか？（笑
1/2＋1/4＋1/8＋……＝ｘ
となるようなｘは存在しないのである（笑
こんなことは常識だ（笑

無限級数については、その極限値について論じる
601 名前：ことができるだけだ。 1/2＋1/4＋1/8＋……の極限値は何か、と論じることはできるが、 1/2＋1/4＋1/8＋……＝ｘのｘは何か、と論じることはできない。 なぜなら＝ｘとなるようなｘは存在しないからだ。 なぜ存在しないか。それを君自身で考えてみればいい。 []: [ここ壊れてます]
602 名前：哀れな素人 [2017/05/26(金) 12:41:20.21 ID:Qltyzj8E.net]: 今日はペン男が反論を書いてこない（笑
たぶん自分の誤りに気付いたのだろう（笑
1/2＋1/4＋1/8＋……<１
であることを自分で証明してしまったことに気付いたからだ（笑

あとは定義少年だけである（笑
はたしてこの少年はいつ気付くのだろう（笑
603 名前：１３２人目の素数さん [2017/05/26(金) 12:51:53.21 ID:gfpDlVKX.net]: >>554
＞はたしてこの少年はいつ気付くのだろう（笑
とっくに気付いてますよ
あなたが手に負えないトンデモだと

。。。トンデモ本、売れることをお祈りしています
604 名前：哀れな素人 [2017/05/26(金) 13:02:36.91 ID:Qltyzj8E.net]: >>555
気付いていないのは、たぶん君だけである（笑
ペン男も、その他の連中も、たぶんもう気付いている（笑

君は無限級数とは何かについて、
基礎の基礎、初歩の初歩すら分っていない（憫笑

いっておくが、
ケーキを食べ尽くすことはできない。
1/2＋1/4＋1/8＋……は１にならない。
こんなことは世間の大多数の人は分っているのだ（笑
嘘だと思うなら周囲の人にアンケートを取ってみればいい（笑
605 名前：１３２人目の素数さん [2017/05/26(金) 13:14:29.23 ID:gfpDlVKX.net]: >>553
読み飛ばしたｗ

＞1/2＋1/4＋1/8＋……の極限値は何か、と論じることはできるが、
世の中の標準の数学では
1/2＋1/4＋1/8＋……の極限値＝1/2＋1/4＋1/8＋……　と定義しています。

＞1/2＋1/4＋1/8＋……＝ｘのｘは何か、と論じることはできない。
＞なぜなら＝ｘとなるようなｘは存在しないからだ。
右辺ｘが存在しないということは左辺　1/2＋1/4＋1/8＋……　も存在しない
ということになります。
あなたの言う通り、（あなたの定義の）　1/2＋1/4＋1/8＋……　を論じること
はできません。存在しないものは論じようが無いですから。

論じることのできないものを生み出すあなたの独自定義にどんな価値があるのでしょうか？
606 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 13:21:50.82 ID:8fimppSh.net]: 爺が若いひとに勝ってるのはネットに接続する時間だけｗ
ただし、人生で残されてる時間は長くはない。
以前暴れていたトンデモ爺で、元気が無くなってすっかり出てこなくなった
のもいるし。
607 名前：１３２人目の素数さん [2017/05/26(金) 13:26:31.11 ID:gfpDlVKX.net]: 予め言っておきますが、
>>557が正しいと思うなら価値を答えて下さい
>>557が間違いだと思うなら間違いの箇所を具体的に指摘して下さい
くれぐれも自説の講釈だけは勘弁して下さい。
608 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 13:48:08.85 ID:j78fLU+o.net]: >>491
最近ここやヤフーで暴れている素人爺こと安達とはこっち

無限小数は数ではない/相対性理論はペテンである単行本（ソフトカバー） – 2016/10/10
安達弘志 (著)

典型的なトンデモ本の題名ｗ
609 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 14:10:15.83 ID:80My1koQ.net]: >>515 補足
いろいろコメントが付いているが、面倒なので、一度纏めておく

１．時枝記事ガセが、100人中97人が正しいと思い込み、3人がガセと認識した。
　　3人の中に、私スレ主が入れば、偏差値は７０近い（下記偏差値参照）
２．逆に、100人中97人がガセと認識し、わずか3人が”記事は正しいと誤認”した状況の中で、「ガセ」と発言しても当たり前で、面白くもなんともな（＾＾；
３．そして、実際、過去２人、一人は確率論の専門家さん(>>48参照)、もう一人下記スレ21-620で"時枝解法なんて単なる与太話だし，与太話であることと自体は筆者も認めてるのになんでここまで議論が続くのだろう"と発言していった。
　　（私を入れて計３人。母集団の総数が不明なので、パーセントは計算できない。が、正しいと誤認している人が多いほど偏差値は上がるんだ・・（＾＾
４．勿論、時枝記事が正しければ、私は単なる”あほ”でしかない。が、上記３のように、二人の人がガセと認識している。
　　（特に、確率論の専門家さんが来たとき、（文系）High level people
610 名前：たちは、平伏して彼の説を認めていたのにね・・>>13（＾＾ ５．>>13に記したように、確率論の常識のごく初歩的な常識があれば、時枝記事ガセがすぐ分かるんだが・・（＾＾ なお、>>13より (抜粋) で、考えてみると、この記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところが、笑いの肝（キモ）なんだろうね 大学数学科１年とか２年で、無限をおそわって代数の商集合（同値類分類）が、ちょっと分かってきたあたりの人に受ける でも、大学数学科３年とか４年で、確率論の常識が分かると、もう面白くもなんともない 当時チョウチンをつけていた大学数学科１年とか２年たち、進級してレベルアップしていったんだろう (引用終り) http://rio2016.2ch.net/test/read.cgi/math/1468584649/620 620 名前：１３２人目の素数さん[] 投稿日：2016/08/10(水) 13:14:41.49 ID:4zBVHRJi 時枝解法なんて単なる与太話だし，与太話であることと自体は筆者も認めてるのに なんでここまで議論が続くのだろう https://ja.wikipedia.org/wiki/%E5%81%8F%E5%B7%AE%E5%80%A4 偏差値 (抜粋) ・偏差値70以上（あるいは30以下）は、全体の2.275％。 []: [ここ壊れてます]
611 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 14:12:26.35 ID:80My1koQ.net]: >>561 補足
さて、
１．過去１年半ほど、このスレで「時枝記事はガセか、正しいか」で議論してきた。いまさら、堂々巡りのような気がする今日この頃
２．で、2017/01/02(月)に、High level people たち、スレ28を立てた rio2016.2ch.net/test/read.cgi/math/1483314290/ だ (>>8)
３．だから、棲み分けしませんか？　”記事は正しい”と思う人は、どうぞスレ28へ。そして、中断されている”記事は正しい”の議論を数学的に完成させてください
　　（完全な証明までは求めません。が、証明のあらすじでも可。但し、分散されたレスをつなぎ合わせないと分からない状態ではなく、連続したまとめスレを作ってもらえればありがたい。だれが見ても分かり易いというのが理想だ。）
４．こちらのスレ32などでは、「時枝記事が成り立たないことを前提として、時枝記事がなぜ成り立たないか？　なぜ、成り立つように見えるか」を議論したい。
　　確率論については、例えば、>>12に示した原隆先生”確率論 I，確率論概論 I 講義のレジュメ”PDFの最初の方を参照して貰えば良い（これに限らないが出典明示で可）
www2.math.kyushu-u.ac.jp/~hara/lectures/02/pr-grad-all.pdf
　　例えばP25より抜粋
「2.4.1 無限直積空間の構成（少しadvanced）
2.1.1 節で有限個の確率空間の直積を定義した．ここでは無限個の確率空間の直積が必要にな
る．つまり，確率空間の無限列(Ωi,Fi, Pi) （i = 1, 2, 3, . . .）の直積(Ω,F, P) を作りたい．しか
し，2N は非加算無限（！）であるため，有限個の時のようには構成できない．そこで，以下の
ように可測集合を限定して作っていく．

定義2.4.2 (無限個の確率空間の直積) 確率空間の無限列(Ωi,Fi, Pi) （i = 1, 2, 3, . . .）の直積
(Ω,F, P) は以下のように構成する．

最後にP だが，ここまで来れば予想はつくだろう．

ようやく，大数の強法則の正確な意味を理解できるようになった．つまり，大数の強法則では，

上のようにして構成した確率空間で考える．その結果，この確率は1 である（つ
まり，SN/N がμ に概収束する），と主張�
612 名前：ｵている」辺りが、一つの議論の手がかりかと思う （もっとも、こちらは、確率論の専門家ではないので、あまり深い議論はついて行けないと思うが・・（＾＾； []: [ここ壊れてます]
613 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 14:20:10.39 ID:vIdp8+Qx.net]: >>539
＞ペン男よ、お前は、
＞1/2＋1/4＋1/8＋……<ｘ
＞とおいて、x≧１を証明した。だから
＞1/2＋1/4＋1/8＋……<１ではないか（笑

お前は x の定義を勘違いしている。

「 1/2＋1/4＋1/8＋……<ｘと置いた」

のではない。B君に「１秒後」のシーンが訪れた時点での、
A君のペン先の位置を x と置いたのである。
これが x の定義である。一方で、>>512でお前が書いた

＞なぜならｘ＜１のようなｘは、それがどんなｘであれ、
＞1/2＋1/4＋1/8＋……はいつか必ずそのｘより
＞大きくなってしまう（ｘを通り越してしまう）からである（笑

という３行のレスは、

「右端点より手前のいかなる地点に対しても、
　ペン先はいつか必ずその地点を通り越してしまう」

ということである。となれば、もし x ＜ 1 なのであれば、
ペン先はいつか必ずその地点 x を通り越してしまうので、
x が「１秒後のペン先の位置」であることに矛盾する。
ペン先の位置関係が論理的に矛盾しているのである。
よって、1≦x となるしかない。くどいようだが、x の定義は

「B君に「１秒後」のシーンが訪れた時点での、A君のペン先の位置」

であったから、結局、１秒後にはペン先は右端点に到達していることになる。
614 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 14:21:38.19 ID:80My1koQ.net]: >>560
どうも。スレ主です。
情報ありがとう（＾＾

哀れな素人：安達弘志だったか（＾＾
615 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 14:29:39.47 ID:vIdp8+Qx.net]: >>541
＞本当は
＞1/2＋1/4＋1/8＋……<ｘ
＞などとおいてはいけないのである。

これも間違っている。「 1/2＋1/4＋1/8＋……<ｘと置いた」のではない。
B君に「１秒後」のシーンが訪れた時点での、A君のペン先の位置を x と置いたのである。
これが x の定義である。

＞本当は一秒後のペンの位置をｘとおくなら、
＞1/2＋1/4＋1/8＋……＝ｘ
＞という式を立てなければいけない。

間違っている。１秒後のペンの位置は何らかの定数である。お前は
「 1/2＋1/4＋1/8＋…… 」という記号列を何か動的な対象として捉えているので、
お前が言うところの「1/2＋1/4＋1/8＋……」という記号列を用いて
1/2＋1/4＋1/8＋……＝x と置くことはできない。
なぜなら、これでは x が動的に動いてしまうからである。
「１秒後」というワンシーンは、「１秒後」の一瞬を切り取った写真を見ているのと
同じことである。その写真に写っているペン先の位置を x と置いたのに、
なぜ写真の中の x が「動いている」のか？
お前はここをいつまでも混同しているのである。だから、俺の言っていることの
本質的な部分がいつまで経っても理解できないのである。
616 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 14:31:39.67 ID:80My1koQ.net]: >>544
>「箱入り無数目」＝「箱入り娘」の駄洒落とは気づきませんでした

どうも。スレ主です。
ここだけ

駄洒落解説するのもやぼだが、>>561に引用したが
rio2016.2ch.net/test/read.cgi/math/1468584649/620
620 名前：１３２人目の素数さん[] 投稿日：2016/08/10(水) 13:14:41.49 ID:4zBVHRJi
時枝解法なんて単なる与太話だし，与太話であることと自体は筆者も認めてるのに
なんでここまで議論が続くのだろう
(引用終り)

と書いていった人がいる・・
題名からふざけているのか
題名：「箱入り無数目」＝「箱入り娘」の駄洒落
本文：与太話

本気でこれだと、だれも笑えないよ。どっしらけー
まあ、時枝先生、半分本気で、本文もしゃれ半分と読んだけどね（＾＾

追伸
「箱入り無数目」＝「箱入り娘」の駄洒落には、記事を知って暫くしてから気付いたが、いつだったか？　１年くらい前かな？
617 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 14:35:28.13 ID:vIdp8+Qx.net]: >>541
＞そして、これはもっと具体的にいえば、
＞1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ
＞である。だから１－ｘ＝ａとおくなら
＞ａ＝1/2＾nである。そして
＞1/2＾nはどこまでいっても1/2＾n＞0だから、
＞ａ＞０である。
＞つまりａ≦０だというペン男の証明は間違いである（笑

ほらね、俺が言ったとおりの勘違いをしている。
x をそのように置いてしまったら、n　を動かすごとに x の値も動いてしまうから、
x は動的に動いてしまうじゃないか。x は動かない定数だと何度も言っているだろう。そもそも、

1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ

などと置いたら、これは

「 1/2＋1/4＋1/8＋……＋1/2＾n 秒におけるペン先の位置を x と置く」

と言っているのと同じことじゃないか。「１秒後」のペン先の位置を x と置いたのに、
なぜ１秒より手前の秒数におけるペン先の位置を x と置き直しているのだね？

結局お前は、「１秒より手前」の話しかしてないじゃないか。
１秒より手前なら、ペン先が右端点に到達していないのは当たり前だろ。
一方で、俺は「１秒後」の話をしているのだよ。
１秒後なら、ペン先は右端点に孫座しているのだよ。
お前はこのことに決して反論できない。

＞つまりａ≦０だというペン男の証明は間違いである（笑

なぜ今さら a≦0 の話が出てくるのか意味不明である。
もはや a≦0 を用いる必要などないのである。
なぜなら、お前が>>512で書いた３行を用いれば、それだけで 1≦x が証明できるからであるｗ
しかも、>>512の３行はお前自身の言葉なので、むしろ>>512の方が好都合でもあるｗ
618 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 14:45:45.84 ID:80My1koQ.net]: >>515 訂正

人間関係を重心する村社会だからね
↓
人間関係を重視する村社会だからね
619 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 14:46:06.39 ID:vIdp8+Qx.net]: 同じことの繰り返しになるが、改めてペンの例について書いておく。
もはや「x」という記号を用いる必要すらない。

俺の主張：
B君に「１秒後」のシーンが訪れたとき、
A君のペン先の位置は右端点に存在している。

証明：
>>512でお前が書いた

＞なぜならｘ＜１のようなｘは、それがどんなｘであれ、
＞1/2＋1/4＋1/8＋……はいつか必ずそのｘより
＞大きくなってしまう（ｘを通り越してしまう）からである（笑

という３行のレスは、

「右端点より手前のいかなる地点に対しても、
　ペン先はいつか必ずその地点を通り越してしまう」・・・(1)

ということである。もし、「１秒後」のペン先の位置が右端点より手前の地点にあるとすると、
(1)により、ペン先はいつか必ずその地点を通り越してしまうので、ペン先の位置関係が
論理的に矛盾する。よって、「１秒後」のペン先の位置は右端点である。(証明終了)

お前はこのことに決して反論できない。
620 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 14:49:04.62 ID:2aamonDi.net]: >>561
＞記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところ

「ネタ」ではなく（手品の）「タネ」でしょうね

実数列ではなく0-1列だとすれば「差が有限小数」という
同値関係を入れたということになりますね

測度論で非可測集合を作る場合も「差が有理数」という
同値関係で実数を類別しますからね

「無限数列の尻尾」を取り払えば、代表元をとる操作は、
（0-1列の場合）有限小数を選ぶ操作になります
実際もとの無限列と代表元の差をとれば有限小数が得られますから

有限小数だからあるところから先の桁は０になりますよね？
記事の手法では、「桁の中身があてられるか」という問いが
「有限小数のどこから先の桁が０になるかを予測できるか」に
還元されたことになります
（そのことが妥当かどうかは判断のしようがありませんが）
621 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 14:53:23.80 ID:80My1koQ.net]: >>537
どうも。スレ主です。
横レススマン

>列が多ければ多いほど最大値は末尾に近い値となる。

同意
それで、列の長さL(＝n)で、長さは可算無限だから、L→∞の極限を考える必要がある
だから、決定番号も→∞になると思うよ
622 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 15:05:53.52 ID:2aamonDi.net]: >>566
一言だけ

タイトルが洒落だからといって、記事が嘘とは限りませんよ
623 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 15:08:54.78 ID:80My1koQ.net]: >>511 >>513

どうも。スレ主です。

些末な話で悪いが
なんか勘違いしてませんか？

「>>376のような『論理』を平気で振りかざしてくるのがスレ主の恐ろしいところてすわ」って
>>376は、おれの発言じゃない。例のOne　Stone ID:1maZ/hoI の発言だよ？

そもそも、>>376を肯定しているのか？それもと否定しているのか？
さっぱり、論理が繋がらないね～（＾＾
624 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 15:10:28.65 ID:80My1koQ.net]: >>572
もちろん
時枝は、記事は正しいと思っているだろうさ
だが、数学は、本人が正しいと思うことと、数学的に正しいこととは、区別されるよ
625 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 15:13:14.48 ID:2aamonDi.net]: >>571
>>537の記事を書いた人は「列の長さの上限を固定している」と認識して
「末尾」と書いたと読めるので、そうではないと述べました
>>537に同意ということは、>>537の人と同様に、元の記事の私の文章と
違う内容を受け取ったと理解します

列の長さの上限Lはありません
上限を決めた上でそれを伸ばす、というものでもありません
長さに上限がない有限小数全体から一つを選ぶ、ということです
つまり２＾L（有限）個から選ぶのではなく可算個から選ぶことになります
（この点が、”同値類から代表元を選ぶ”という言葉では
　明確に述べられなかったポイントの一つと考えています）
626 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 15:31:55.94 ID:2aamonDi.net]: 一般に、有限列全体から無作為にある有限列をｎ個選ぶとして
ｎ番目の有限列の長さが、ｎ－１番目までの有限列の長さの上限を超える
確率はいかほどなのか？
記事における評価１／ｎはいかなる根拠で正当化されるのか？

そこがポイントだと思ってますが
627 名前：１３２人目の素数さん [2017/05/26(金) 15:41:08.72 ID:2aamonDi.net]: >>576
有限列は長くなればなるほどその数が増えるから
例えば、任意にある自然数ｍを選んで
「無作為に選ぶ有限列の数はｍを超えるか超えないか？」
と問えば、「超える」ほうが遥かに確率が高そうにも思う

となると、ｎ回目に選んだ場合に、以前のｎ－１回の上限を超える可能性が
実ははるかに大きいのではないだろうか、つまり選ぶごとに、
最大長は限りなく更新されることになる

一方で、最大長の有限列が最新に近い選択で選ばれるというのも
選択の公平性から云えばおかしな話ではあるが
628 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 15:42:30.25 ID:2aamonDi.net]: >>577
誤　「無作為に選ぶ有限列の数はｍを超えるか超えないか？」
正　「無作為に選ぶ有限列の長さはｍを超えるか超えないか？」
629 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 16:00:10.44 ID:2aamonDi.net]: そもそも有限列の全体からある有限列を「無作為」に選ぶとはどういうことか？
という問いはもちろんある
630 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 16:21:28.17 ID:2aamonDi.net]: >>575　>>579
「有限列の長さの上限L」を設定すれば長さの確率分布を決定できる
0-1列だとすれば、無作為抽出で長さLの列が選ばれる確率は1/2になる

しかしもし長さの上限がないとしたら事はそう簡単ではなくなる
631 名前：１３２人目の素数さん [2017/05/26(金) 16:52:51.66 ID:gfpDlVKX.net]: >>573
＞「>>376のような『論理』を平気で振りかざしてくるのがスレ主の恐ろしいところてすわ」って
＞>>376は、おれの発言じゃない。例のOne　Stone ID:1maZ/hoI の発言だよ？
One Stone様に解説頂いたスレ主の論理　という意味では？文脈からして
632 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 16:54:46.48 ID:1aH+1hFi.net]: >>558
おっちゃんです。
>以前暴れていたトンデモ爺で、元気が無くなってすっかり出てこなくなった
>のもいるし。
このスレでその説明に該当する人はいないと思うが、一体誰を指している？
633 名前：哀れな素人 [2017/05/26(金) 22:11:35.60 ID:Qltyzj8E.net]: まったく定義少年とペン男は救いがたいな（笑
定義少年は無限級数の意味が全然分かっていないし、
ペン男も問題の意味が全然分かっていない（笑

1/2＋1/4＋1/8＋……＝ｘ
となるようなｘは存在しないのである（笑
なぜ存在しないか。定義少年はよく考えてみればいい（笑

ペン男よ、１秒後であろうと１億年後であろうと、
ｘはｘ＜１の位置にあるのである（笑
嘘だと思うなら実際にやってみればいい（笑

１秒後であろうと１億年後であろうと、ｘは
1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ
の位置にあるのである（笑
634 名前：哀れな素人 [2017/05/26(金) 22:21:12.39 ID:Qltyzj8E.net]: もともとこの問題は時間とは無関係な問題なのである。
1/2＋1/4＋1/8＋……は１になるか、ならないか。
この問題は時間とは何の関係もない。
これは単に、ｎ→∞のとき1/2＾nは0になるか、ならないか、
という問題である。

お前らが理解できないようなので、
ケーキの話や紙を切る話や線分に点を打つ話を出しただけだ。
これらの比喩が時間と関係ありそうなので、
時間と関係ある問題だと思われがちだが、そうではない。
単にｎ→∞のとき1/2＾nは0になるか、ならないか、
という問題にすぎないのである。
635 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 22:21:20.38 ID:vIdp8+Qx.net]: >>583
＞ペン男よ、１秒後であろうと１億年後であろうと、
＞ｘはｘ＜１の位置にあるのである（笑

間違っている。１秒後にペン先が右端点より手前の地点にあるならば、

「右端点より手前のいかなる地点に対しても、
　ペン先はいつか必ずその地点を通り越してしまう」・・・(1)

を適用すれば、ペン先はその地点を１秒に満たない昔の時点で既に通過しているので、
ペン先の位置関係が論理的に矛盾する。よって、１秒後のペン先の位置は右端点にある。

＞１秒後であろうと１億年後であろうと、ｘは
＞1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ
＞の位置にあるのである（笑

間違っている。ペン先が 1/2＋1/4＋1/8＋……＋1/2＾n の位置にあるのは

「1/2＋1/4＋1/8＋……＋1/2＾n 秒」

という昔の時刻である。今は１秒後なのだから、ペン先はそのような昔の時刻を
とっくの昔に通り越しており、お前が主張する

「 1/2＋1/4＋1/8＋……＋1/2＾n＝ｘの位置にある」

というレスは間違っている。
636 名前：１３２人目の素数さん [2017/05/26(金) 22:28:00.64 ID:vIdp8+Qx.net]: >>584
＞もともとこの問題は時間とは無関係な問題なのである。

もちろん、1/2＋1/4＋1/8＋……が１になるかならないかは
時間とは無関係である。

＞お前らが理解できないようなので、
＞ケーキの話や紙を切る話や線分に点を打つ話を出しただけだ。

それらの例は時間と明確な関係を持っている。

＞これらの比喩が時間と関係ありそうなので、
＞時間と関係ある問題だと思われがちだが、そうではない。

なにを分かりきったことを。
ケーキの例は時間と関係と明確な関係を持った問題である。
その一方で、1/2＋1/4＋1/8＋……が１になるかならないかは、時間とは無関係である。

つまりはどういうことかと言うと、1/2＋1/4＋1/8＋…… のことを論じるのに
ケーキなどというツッコミどころ満載のポンコツな比喩を持ち出している
お前の態度が最初からナンセンスなのである。
1/2＋1/4＋1/8＋…… のことを話したければ、最初から 1/2＋1/4＋1/8＋…… の話だけを
していればよいのである。

にも関わらず、お前は事あるごとにケーキの例を持ち出している。
しかし、ケーキの例には明確な反論が存在し、それは俺が今まで述べてきたものである。
すなわち、１秒後にペン先は右端点に到達しているのであり、
１秒後にケーキは無くなっているのである。お前はこのことに反論できない。

だから、1/2＋1/4＋1/8＋…… のことを論じたければ、
お前は 1/2＋1/4＋1/8＋…… そのものの話をするしかなく、
ケーキというポンコツな比喩を持ち出すべきではないのである。
637 名前：哀れな素人 [2017/05/26(金) 22:34:29.25 ID:Qltyzj8E.net]: >>585
アホレス乙（笑

ｘがｘ＜１の位置にあるなら、いつかは必ず通り越す。
しかしｘは決して１に達しないし、１を通り越すことはない（笑

１秒後であろうと１億年後であろうと、ｘは
1/2＋1/4＋1/8＋……＋1/2＾n＝ｘ
の位置にあるのである（笑
嘘だと思うならやってみればいい（笑

われわれは
1/2＋1/4＋1/8＋……＋1/2＾n 秒
が１秒になるか、ならないかという議論をしているのであって、
時間の実際の流れとは何の関係もない議論をしているのである（笑
638 名前：哀れな素人 [2017/05/26(金) 22:38:53.95 ID:Qltyzj8E.net]: ペン男がいかに○○であるか、ありありと分る（笑
この○○はケーキを食べ尽くせると思っているのだ（笑

ああ、何という○○だろう（笑
ダメだ、こりゃ（ｹﾞﾗｹﾞﾗ
639 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 22:42:24.66 ID:vIdp8+Qx.net]: >>587
＞ｘがｘ＜１の位置にあるなら、いつかは必ず通り越す。
＞しかしｘは決して１に達しないし、１を通り越すことはない（笑

「 x は決して１に達しない」という表現の仕方をしている時点で、お前は間違っている。
これではまるで、x 自身が閉区間[０,１]を自由に動き回っているようではないか。

何度も言うが、「１秒後」という特定の時刻におけるペン先の位置を x と置いているのである。
これが理解できないようなら、B君が１秒後のシーンに達した瞬間に、
A君の方を向いて写真を撮ったと思えばよい。
その写真に写っているペン先の位置を x と置いているのである。

写真の中の x は決して動かない。分かるか？ x は完全に固定されているのだ。
その写真の中の x が、もし x ＜ 1 を満たすのだとすると、お前が>>512で書いた

＞なぜならｘ＜１のようなｘは、それがどんなｘであれ、
＞1/2＋1/4＋1/8＋……はいつか必ずそのｘより
＞大きくなってしまう（ｘを通り越してしまう）からである（笑

によって、ペン先は１秒に満たない昔の時点で既にその地点 x を通り過ぎているので、
それより未来である「１秒後」に撮ったはずの写真に映っているペン先の位置が x であるはずが
ないのである。つまり、ペン先の位置関係が論理的に矛盾しているのである。

だから、写真に写っているペン先の位置は右端点しかありえないのである。
お前は未だにこのことを理解できていない。
640 名前：１３２人目の素数さん [2017/05/26(金) 22:43:56.83 ID:ozu/ZYYM.net]: 素人爺さん、話が振り出しに戻ってるよ
641 名前：哀れな素人 [2017/05/26(金) 22:46:51.03 ID:Qltyzj8E.net]: ペン男のようなタコを相手にするのは無駄だから、
もう一度説明してやろう。

最初のケーキの量を１とする。
１回目に食べる量は1/2で、残りは1/2である。
２回目に食べる量は1/4で、残りは1/4である。
３回目に食べる量は1/8で、残りは1/8である。
…………
ｎ回目に食べる量は1/2＾nで、残りは1/2＾nである。

つまり常に1/2＾nの量のケーキが残るのである。
そしてこの1/2＾nはかぎりなく0に近づくが0にはならない。
だからケーキを食べ尽くすことはできない。
だから1/2＋1/4＋1/8＋……は0にはならない。いいかえれば、
1/2＋1/4＋1/8＋……<１
642 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 22:50:09.01 ID:vIdp8+Qx.net]: >>591
未だにケーキの例を持ち出すようなら、俺の方からももう一度説明してやろう。

まず、時間の概念を持ち出さずに「食べ尽くせない」と言ってみたところでナンセンス。
ケーキの例では、無限回のケーキ消費イベントが時系列に沿って用意されているが、
もしそれらのイベントを時間と関係なしに行ってよいのならば、時系列を無視して
それらのイベントを実行できることになるので、それらのイベントを経過時間ゼロで
一気に実行すればよい。そうすれば「食べ尽くせる」ことになり、お前の主張は破綻する。
結局、「食べ尽くせない」と主張するためには、まず時間の概念を前提としなければならない。

また、ケーキの例は「ケーキ消費イベントが　無　限　個　ある」という部分に話のキモがあるが、
現実世界ではケーキ消費イベントが途中から実行不可能になり、本当の有限回で終わるという
マヌケなオチがつくだけなので、ケーキの例は頭の中のイデアの世界で論じなければ効力を発揮しない。
しかし、イデアの世界ならば、次のように考えれば「食べ尽くせる」ので、ケーキを用いたお前の論法は
破綻することになる。以下、ケーキではなく、ペンを走らせて線分を書く例で考える(同じことなので)。

――――――――――――――――――――――――――――――――――――――――
頭の中のイデアの世界で、以下のようにして閉区間[０,１]の中に線分を描くことにする。

紙の上にペンを置いて、そこを左端点０と考える。以後、ペンは紙の上に
ずっと乗せたままにし、ペンの可動範囲は閉区間 [０,１] 内のみとする。
さて、現状の左端点から出発して、右に向かって長さ 1/2 の線分を 1/2 秒で書く。
次に、そこから出発して、右に向かって長さ 1/4 の線分を 1/4 秒で書く。
次に、そこから出発して、右に向かって長さ 1/8 の線分を 1/8 秒で書く。
………

これを続けると、１秒後には閉区間[０, １] が線分として出来上がっており、
ペン先は右端点１の場所にある。(ケーキの例に直すと、１秒後にはケーキが無くなっている)
――――――――――――――――――――――――――――――――――――――――
643 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 22:51:40.15 ID:3Fitqy2M.net]: >>573
376が指すスレ主のクソ論理のことを言ってたんだよ白痴
644 名前：哀れな素人 [2017/05/26(金) 22:52:08.91 ID:Qltyzj8E.net]: ああ、ペン男は何と○○であることか（笑

われわれは
1/2＋1/4＋1/8＋……＋1/2＾n 秒
が１秒になるか、ならないかという議論をしているのであって、
時間の実際の流れとは何の関係もない議論をしているのである（笑

そして>>590のような横チャリが入るということは、
このスレの連中は依然としてペン男や定義少年と同じで、
1/2＋1/4＋1/8＋……は１にはならないということが分っていないのである（笑

ああ、何という○○の巣であることよ（笑
645 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 22:52:25.58 ID:3Fitqy2M.net]: >>571
ならねえよアホ（笑）
646 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 22:56:42.12 ID:vIdp8+Qx.net]: >>594
＞1/2＋1/4＋1/8＋……＋1/2＾n 秒
＞が１秒になるか、ならないかという議論をしているのであって、
647 名前： お前はそんな話などしていない。 お前は「ケーキは食べ尽くせるか？」という話をしているのである。 そして、>>592の設定ならば、１秒後にケーキは無くなっているのである。 繰り返しになるが、このことをもう一度説明する。 まず、B君が１秒後のシーンに達した瞬間に、B君はA君の方を向いて写真を撮る。 その写真に写っているペン先の位置を x と置く。いいか、これが x の定義だぞ。 もし、写真の中の x が x ＜ 1 を満たすのだとすると、お前が>>512で書いた ＞なぜならｘ＜１のようなｘは、それがどんなｘであれ、 ＞1/2＋1/4＋1/8＋……はいつか必ずそのｘより ＞大きくなってしまう（ｘを通り越してしまう）からである（笑 によって、ペン先は１秒に満たない昔の時点で既に地点 x を通り過ぎているので、 それより未来である「１秒後」に撮ったはずの写真に映っているペン先の位置が x であるはずがなく、 ペン先の位置関係が論理的に矛盾している。 だから、写真に写っているペン先の位置は右端点しかありえない。 お前はこのことに決して反論できない。 []: [ここ壊れてます]
648 名前：哀れな素人 [2017/05/26(金) 22:57:50.21 ID:Qltyzj8E.net]: >>592
>これを続けると、１秒後には閉区間[０, １] が線分として出来上がっており、
>ペン先は右端点１の場所にある。

出来上がらないし、右端点１の場所にはない（笑

嘘だと思うならやってみろ（笑

何度も言う。嘘だと思うならやってみろ（笑
649 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 23:02:31.22 ID:vIdp8+Qx.net]: >>597
＞出来上がらないし、右端点１の場所にはない（笑

出来上がるし、右端点１の場所にある。理由は>>596にも書いた。

＞嘘だと思うならやってみろ（笑
＞何度も言う。嘘だと思うならやってみろ（笑

その論法は聞き飽きた。
現実世界では途中でイベントが終了するというマヌケなオチがつくだけなので、
イデアの世界で考えなければそもそも意味が無い。
しかし、イデアの世界ならば、「１秒後」と書けば１秒後になっているのであり、
そのときペン先は右端点にいる。もしくは、今まで書いてきたようにA君とB君を持ち出せば、
B君に１秒後のシーンが訪れた段階で、B君がA君の方を向いて写真を撮ればよい。
その写真に写っているペン先の位置は右端点である。理由は>>596にも書いた。

いずれにせよ、この設定では１秒後にペン先は右端点１の場所にある。
650 名前：１３２人目の素数さん [2017/05/26(金) 23:03:27.64 ID:gfpDlVKX.net]: >>583
＞1/2＋1/4＋1/8＋……＝ｘ
＞となるようなｘは存在しないのである（笑
＞なぜ存在しないか。定義少年はよく考えてみればいい（笑

あなたは>>557を読まずにレスしています
何故なら>>557はあなたの言う通りに x が存在することを前提としているからです。
どうしました？素人爺さん、もう一度やり直しなさい。
651 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 23:04:02.93 ID:80My1koQ.net]: >>581
One Stone様（ID:1maZ/hoI）って、数学科修士はまんざらウソでもないみたいだが、大したやつじゃないね（＾＾；
おれは、数学科院卒という肩書きには、憧れはない。>>437 真に数学ができるやつには、憧れれるけどね

例えば、ID:1maZ/hoI
（引用）
374 返信：１３２人目の素数さん[] 投稿日：2017/05/24(水) 21:09:37.99 ID:1maZ/hoI
>>372
＞サイコロを振って、箱に数を入れる
＞数列　X1,X2,・・・Xi,・・・Xn　n→∞で、
＞任意の箱には、確率1/6で、各１～６の数が入る

それじゃ任意の実数を無作為に選んだことにならないな
１，２，３，４，５，６の六種類しかないんだから

375 名前：１３２人目の素数さん[] 投稿日：2017/05/24(水) 21:11:55.64 ID:1maZ/hoI
＞時枝解法で99/100で的中できる箱をXiとしても、一般性は失わないだろう

１，２，３，４，５，６しかない時点で一般性は失われまくってるｗ

あんたは前提を理解するだけの国語力がないらしい
そんな人間のいう論理とはいったいなんだ？
独善的な妄想を語る時点で、あんたも文系の連中とそっくりだｗ
(引用終り)

これ、完全に問題文を読み違えている。これ、院試だったら首が飛ぶ。どんなに学力があっても、問題の読み違いや題意の取り違いは、致命傷になりかねないぞ（＾＾；

問題文はこうだ>>65
(抜粋)
設問：「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.・・」

まあ、塾や予備校では、問題文は２回読めと教える。そして、問題文のポイントに線を引いたり、マークをつけろと（＾＾
One Stone様（ID:1maZ/hoI）って、注意力不足のピエロだ。それに、数学の基礎力も疑問だな（＾＾
652 名前：１３２人目の素数さん [2017/05/26(金) 23:05:29.57 ID:gfpDlVKX.net]: >>599　訂正
あなたの言う通りに x が存在することを
↓
あなたの言う通りに x が存在しないことを
653 名前：哀れな素人 [2017/05/26(金) 23:06:57.95 ID:Qltyzj8E.net]: >>596
あいもかわらぬアホレス乙（笑

>ペン先は１秒に満たない昔の時点で既に地点 x を通り過ぎているので

そんなことはない（笑
ｘを通り越すのに何億年かかるか分らない（笑

ペン男は度し難い○○だ（笑
この
654 名前：男は議論の意味が全然分っていない（笑 何度説明してやってもこの○○は理解しない（笑 この頭の悪さ、物分りの悪さは片割れそっくりだ（笑 お前はもしかして片割れではないのか？（笑 あほらしいから今夜はここまで（笑 ああ、いつになったらこの○○が理解するのか（笑 []: [ここ壊れてます]
655 名前：１３２人目の素数さん [2017/05/26(金) 23:09:25.46 ID:gfpDlVKX.net]: 人のレスを読まずに持論の講釈だけを繰り返す

人間モウロクはしたくねえなｗ
656 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 23:11:38.41 ID:80My1koQ.net]: おお！ 600番ゲット！（＾＾
657 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 23:13:30.06 ID:80My1koQ.net]: >>600 訂正

>>437 真に数学ができるやつには、憧れれるけどね
　↓
>>437 真に数学ができるやつには、憧れるけどね
658 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 23:14:08.01 ID:vIdp8+Qx.net]: >>602
＞そんなことはない（笑
＞ｘを通り越すのに何億年かかるか分らない（笑

完全に間違っている。お前は議論の前提を完全に忘れている。
ペン先が 1/2＋1/4＋・・・＋1/2^n の地点に到達するのは

「 1/2＋1/4＋・・・＋1/2^n 秒」・・・(★)

のときである。従って、１秒より手前の時点で既に x を通り越すのである。

もちろん、x が１に近ければ近いほど、(★)における「n」の値は果てしなく大きなものになる。
お前は、この「n」の大きさだけを見て「何億年もかかる」と勘違いしているのである。
ペンの例の設定下で実際に掛かる時間は

「 n 秒」

なのではなく

「 1/2＋1/4＋・・・＋1/2^n 秒」

なのだから、１秒より手前の時点で既に x を通り越すのである。
もし「 n 秒」なのであれば、お前の言うとおり「何億年かかるか分からない」ということになるが、
実際には

「 1/2＋1/4＋・・・＋1/2^n 秒」

のときにペン先が 1/2＋1/4＋・・・＋1/2^n の地点に到達するのだから、
ペン先が x を通り越すのは１秒より手前の何らかの時刻である。
お前はこのことを勘違いしている。
659 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/26(金) 23:20:12.74 ID:80My1koQ.net]: >>600

”例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.”

これ、気になって原文を読み直すと

”例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.”

が正だな。スキャナーからOCRしたが、文字化けしたらしい。次回のスレでは直すようにしよう・・（＾＾
660 名前：１３２人目の素数さん [2017/05/26(金) 23:47:54.30 ID:ozu/ZYYM.net]: 素人爺さんは背理法に飛躍を感じるのか
661 名前：１３２人目の素数さん mailto:sage [2017/05/26(金) 23:49:27.80 ID:vIdp8+Qx.net]: >>602
＞そんなことはない（笑
＞ｘを通り越すのに何億年かかるか分らない（笑

お前の勘違いを如実に表す具体例を、１つ挙げてくことにしよう。

問題：ペン先が 0.999…999 (9が10000000000個並んでいる) の地点を通り越すのは何秒のときか？

――――――――――――――――――――――――――――――――――――――――――――――――
正しい解答：
1/2＋1/4＋1/8＋・・・＋1/2^33219280948 ＜ 0.999…999 ＜ 1/2＋1/4＋1/8＋・・・＋1/2^33219280949
が成り立つので、ペン先が 0.999…999 の地点を通り越すのは

「 1/2＋1/4＋1/8＋・・・＋1/2^33219280949 秒」

のときである。この秒数は明らかに１秒より小さい。
――――――――――――――――――――――――――――――――――――――――――――――――

――――――――――――――――――――――――――――――――――――――――――――――――
勘違いによる解答：
1/2＋1/4＋1/8＋・・・＋1/2^33219280948 ＜ 0.999…999 ＜ 1/2＋1/4＋1/8＋・・・＋1/2^33219280949
が成り立つので、ペン先が 0.999…999 (9が10000000000個並んでいる) の地点を通り越すのは

「 33219280949 秒」

のときである。この秒数は１秒より遥かに大きい。
――――――――――――――――――――――――――――――――――――――――――――――――

↑お前はこのような勘違いをしているのであるｗ
662 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 00:08:39.44 ID:qA1xASO9J]: 【哀れな素人のトンデモ論】

・無限小数は存在しない（理由は、全桁を数え終わらないから）
・卑弥呼は平壌在住の北朝鮮人（しかし邪馬台国は畿内とする）
・天皇を処刑して皇室を廃止すべき（共産主義だけが正しい思想）
・縄文前期の1万年前、人類は骨なしクラゲ人間に進化した（頭たしかか？）

↑このように底なしのバカなのに、糞本を売ってます。
amzn.asia/bdHG6cd
amzn.asia/hbYx7cJ
663 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 00:28:04.43 ID:lieZDLIC.net]: >>534, >>544
君の言いたいことは分かった、と思う。
>>534は記事の問題において、末尾が000...となる同値類のなかで
0でない箱の中身が1に限られるものに限定しているわけだ。ということでいいよね？

ただこれではあまりにも問題を限定しすぎていて不思議さが完全に失われているような。
２進有限小数が100個ある。ランダムに1つを選ぶとき、
その小数の桁数が他の99個の桁数を上回る確率は1/100。
と言っているのと同じだよね？そりゃそうだという感じがするけど。
664 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 00:40:22.96 ID:lieZDLIC.net]: >>570
他の人を誤解させないようにコメントしておく。

> 実数列ではなく0-1列だとすれば「差が有限小数」という
> 同値関係を入れたということになりますね

その言い方だとあたかも2^Nの元すべてを考えているように聞こえてしまう。
この場合はもちろん差が有限小数になるとは限らない。
>>570氏が考えているのは末尾の一致している元たち。
>>534では末尾を000...と限定している。

>>611のレスは野暮だったかな？
>>534, >544氏は記事の数字当てはそれほど不思議でもない、
ということを伝えたかったのかなと思った。
665 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 03:15:30.30 ID:ifndNsSR.net]: だから、哀れな素人爺は認知症の一歩手前だってｗ

発症したらネットも出来なくなって、おとなしくなるだろう。
666 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 05:08:44.28 ID:HNEpWV5q.net]: >>611
返答お疲れ様です

＞末尾が000...となる同値類のなかで
＞0でない箱の中身が1に限られるものに限定

0-1列ですからそうですね

＞ただこれではあまりにも問題を限定しすぎていて
＞不思議さが完全に失われているような。

根本は「記事中の無限列の同値類から代表元を選ぶ」操作を
「有限列から無作為に一つ元を選ぶ」操作に置き換えただけです

＞（1/100になるのは)そりゃそうだという感じがするけど。

ええ、公平性に基づけばそうなるだろうってことですよね
ただその結果として、ある桁が0であることが高い確率で
予測できてしまうわけです
そこは不思議じゃないですかね？
667 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 05:25:21.43 ID:HNEpWV5q.net]: >>612
>”実数列ではなく0-1列だとすれば「差が有限小数」という
> 同値関係を入れたということになりますね ”
>その言い方だとあたかも2^Nの元すべてを考えているように聞こえてしまう。

ええ、上記の2行ではそう考えてますよ
記事中の「実数の無限列」を「0-1の無限列」（２進無限小数）に
置き換えただけですから

>この場合はもちろん差が有限小数になるとは限らない。

ある桁から後ろが全部同じになる２つの無限小数の差をとれば
ある桁から後ろが全部０になりますから有限小数ではないですか？

＞>>570氏が考えているのは末尾の一致している元たち。
＞>>534では末尾を000...と限定している。

「同値類から代表元を選ぶ」操作について
その同値類を「末尾が000...となるもの」に
特定すれば、「有限列から１つ選ぶ」と
同じになりますよね　ということですよ

>　>>534, >544氏は
>記事の数字当てはそれほど不思議でもない、
>ということを伝えたかったのかな

いや、結論は相変わらず不思議ですよ
で、その不思議さの源は
「有限列から無作為に一つ選ぶ」
という操作にあるんじゃないかな
というのが主旨です
668 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 05:50:52.41 ID:HNEpWV5q.net]: >>600
問題文に沿うなら、勝手に実数（全体）を、{1,2,3,4,5,6}に変えたらダメですよ
ただ、そこは記事で紹介する不思議な現象の源ではないってことです
実際、記事を読めばそういう趣旨のことは書かれてますし

「無限列の同値類から代表元を一つ選ぶ」という操作を
避けて通る議論は意味がない、という点では、
>>376の通りだと思いますよ

で、考えてみた結果上記の操作は、根本的に
「有限列から無作為に一つ選ぶ」操作に還元できる、
と思ったので書いてみました
（数学科の学部生レベルなら云わずもがなだとは思いますが）
669 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 06:49:47.24 ID:tKnzoBS7.net]: >>616
どうも。スレ主です。
レスありがとう

>問題文に沿うなら、勝手に実数（全体）を、{1,2,3,4,5,6}に変えたらダメですよ

？？
問題文は、>>65 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.もちろんでたらめだって構わない.」(>>607の修正加味)
とあるよ

”どんな実数を入れるかはまったく自由”と書いてあるのに、”{1,2,3,4,5,6}に変えたらダメですよ”とは？
それに、数当てゲームとしては、実数（全体）より{1,2,3,4,5,6}の方が、はるかにシンプルで簡単なゲームになっている

{1,2,3,4,5,6}に変えた趣旨は、シンプルで簡単なミニモデルを作ったということです
なお、このスレ32では引用していないが、元記事で同じ趣旨の記載がある。下記だ

参考に元記事で、問題の趣旨と直接関係ない部分で、殆ど引用していない関連部分を下記に引用する
（「箱入り無数目」時枝正数学セミナー2015.11月号 P37）
(引用)
Rより一般に，勝手な集合Sの元の無限列S^Nを使
った構成も異曲同工.特
670 名前：に， {O，1}^Nを使ってシュレー ディンガーの猫みたいなお話が紡げる. (引用終り) []: [ここ壊れてます]
671 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 07:06:08.97 ID:tKnzoBS7.net]: >>494
どうも。スレ主です。
レスありがとう

>>617 関連
（「箱入り無数目」時枝正数学セミナー2015.11月号 P37）
(引用)
Rより一般に，勝手な集合Sの元の無限列S^Nを使
った構成も異曲同工.特に， {O，1}^Nを使ってシュレー
ディンガーの猫みたいなお話が紡げる.
(引用終り)

で
”ただその上で云わせてもらえば>>372は矛盾ではありません
簡単の為、コイン投げで考えますが、開けてない箱の中身が
０である確率は１／２ですが、「箱入り無数目」の方法で予測した
値が０である確率も１／２でしょう。
要するに箱の中身が、「箱入り無数目」の方法で予測した値と
一致する確率が（ｎ－１）／ｎになるだけのことです”

が、意味が取れない

時枝の元記事では、>>55に引用したように
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
(略)
素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)

とありますけど？
672 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 07:27:54.05 ID:HNEpWV5q.net]: >>617
＞どんな実数を入れるかはまったく自由

でも確率論を適用するんだから無作為抽出でしょう？

元記事の
「勝手な集合Sの元の無限列S^Nを使った構成も異曲同工.
　特に， {O，1}^Nを使ってシュレーディンガーの猫みたいなお話が紡げる」
というつもりでS={1,2,3,4,5,6}をとった、というなら分かりますけどね

>>618
＞意味が取れない

どこが理解できませんか？

「「箱入り無数目」の方法で予測した値が０である確率も１／２」　
ですか？
「箱の中身が、「箱入り無数目」の方法で予測した値と
　一致する確率が（ｎ－１）／ｎになる」
ですか？

後者については
「有限列をｎ個とったときに、ｎ番目の列の長さが
　他のｎ－１個の長さを超えない確率」
と同じになるだろう、ということで、
「」内の確率が（ｎ－１）／ｎになるというのは
>>543の方も>>611で同意されているようです

前者については深く考えていませんが、
成り立たない場合がありますでしょうか？

＞･･･とありますけど？

どういう論旨でこの文章を引用されましたか？
それこそ意味がとれません　
そう思うのは私だけではないと思いますよ
673 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 07:40:09.79 ID:cIdcynL8.net]: >>615
> ええ、上記の2行ではそう考えてますよ
> 記事中の「実数の無限列」を「0-1の無限列」（２進無限小数）に
> 置き換えただけですから

そうであれば

>この場合はもちろん差が有限小数になるとは限らない。

でしょうよ。なにか間違ってますか？

> ある桁から後ろが全部同じになる２つの無限小数の差をとれば
> ある桁から後ろが全部０になりますから有限小数ではないですか？

そういう条件をつければ当然そうですよ。
でもそういう条件をつけたら0-1無限列（2^N）そのものではなくなるでしょう。
674 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 08:15:26.37 ID:tKnzoBS7.net]: ERROR: We hate Landfill!
埋め立てですかあ
675 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 08:16:30.25 ID:tKnzoBS7.net]: 埋め立てではないよ

>>600 戻る
>One Stone様（ID:1maZ/hoI）って、注意力不足のピエロだ。それに、数学の基礎力も疑問だな（＾＾

(抜粋)
>>343 返信：１３２人目の素数さん[] 投稿日：2017/05/24(水) 19:14:07.79 ID:1maZ/hoI
>>306
＞内角180度以上の三角形

フツー、非ユークリッド幾何学、といったら
「内角１８０度以下の三角形」だけどな
(引用終り)

”フツー、非ユークリッド幾何学、といったら「内角１８０度以下の三角形」だけどな”？？
なにその”フツー”という未定義用語は・・？
”フツー、非ユークリッド幾何学、といったら「内角１８０度以下の三角形」”と記載のある真っ当なテキストがあれば、示してほしい
ないよ、それ

ということは、”フツー”という未定義用語は、自分の内心を、自分の外に普遍化しているんだ！（＾＾
まあ、自己中の典型だね。精神医学ではサイコ>>440だな（＾＾
676 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 08:24:25.12 ID:cIdcynL8.net]: >>616
> で、考えてみた結果上記の操作は、根本的に
> 「有限列から無作為に一つ選ぶ」操作に還元できる、
> と思ったので書いてみました
> （数学科の学部生レベルなら云わずもがなだとは思いますが）

「可算無限個から有限列を1つ選ぶ」ですよね。

ある同値類1つに限れば代表元を選ぶことは上の操作に還元できる、というのはその通りだと思う。

�
677 名前：ｾけどそもそも同値類1つに限られた世界なら数当てにとってその操作自体が不要。 100列あるならその中から無作為に1つ選び、それを"代表元"として扱えばよい。 これはR^Nであっても選択公理なしに選べる、有限個から選んだ後付けの"代表元"である。 もし末尾が000...だと分かっているなら、"代表元"を選ぶ操作すら不要、というのは既に書かれている通り。 最後に1が来る桁を共通言語にすればよい。 互いに異なる同値類それぞれの元に共通言語 （＝決定番号∈N）を持たせて比較可能にするところが代表元の役割だと思う。 []: [ここ壊れてます]
678 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 08:36:54.66 ID:tKnzoBS7.net]: >>622 つづき
>One Stone様（ID:1maZ/hoI）って、注意力不足のピエロだ。それに、数学の基礎力も疑問だな（＾＾

https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl
表示名:Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets
投稿コメント一覧 (3203コメント) Yahoo Japan
(抜粋)
市川秀志　徹底研究
No.56823
＞マイケルソン・モーレーの実験…
2017/05/25 15:34
>>No. 56820
＞マイケルソン・モーレーの実験は、絶対時間や絶対空間を否定した実験ではありません。
＞エーテルという光の媒体の存在を否定した実験です。

否。いかなる測定でも「ニュートン力学的には媒体は動いてない」となるのは矛盾
つまりニュートン力学は現実と矛盾しているということになる。
(引用終り)

なに、言っているのかね？　こいつ（＾＾
https://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%A5%E3%83%BC%E3%83%88%E3%83%B3%E5%8A%9B%E5%AD%A6
ニュートン力学
(抜粋)
現代物理学での位置付け
現代の物理学の視点では、ニュートン力学は、「巨視的なスケールでかつ光速よりも十分遅い速さの運動を扱う際の、無矛盾・完結的な近似理論」と理解される。
相対性理論は、物体の速さが光速よりも十分遅い・重力が十分に小さい（地球レベル）の条件下ではニュートン力学で十分近似されるし、量子力学の結果は、対象物体の質量を大きくした極限では、ニュートン力学の運動方程式の解と一致する。また、「ニュートンの万有引力理論は、重力が弱い場合の一般相対性理論の近似である。」とも言われる。
(引用終り)

学力レベル低いね、こいつ（＾＾
ああ、すまん、数学科修士だったね。物理に弱いんだ・・。だったら、自重しろってこった！常識ないよ！（＾＾

追伸
Une Pierre：google翻訳で、仏→英で、A stone。因みに、仏 Uneは、英 Oneだ
679 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 08:41:01.71 ID:ifndNsSR.net]: >>622
要するに、楕円幾何（球面幾何）、放物幾何（ユークリッド幾何）
双曲幾何（いわゆる非ユークリッド幾何）とあって、三角形の内角の和は
順に、180度以上、180度、180度以下となる。
球面幾何も「非ユークリッド」として語られることがあるが
通常は非ユークリッドといえば双曲幾何のことを指す
という意味でしょ。掲示板上での口語的表現としては
別におかしくないと思う。
One Stone 叩きさに言いがかりをつけるのは止めた方がいい。
彼があなたより数学ができるのは、おそらく事実だし
それを否定しても生産的ではない。
680 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 08:43:15.01 ID:ifndNsSR.net]: >>625
>180度以上、180度、180度以下

おっと、180度より大、180度、180度より小
681 名前：ね。 []: [ここ壊れてます]
682 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 08:47:36.28 ID:lieZDLIC.net]: >>624
スレ主の書いた>>372に論理性がないことを指摘されたが(>>376)、
それについてはまともな反論ができないので筋違いの誹謗中傷レスを
打ちまくってる、というのが今のスレ主の状況だな。
683 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 08:55:50.29 ID:tKnzoBS7.net]: >>624 つづき

（引用）
＞マイケルソン・モーレーの実験は、絶対時間や絶対空間を否定した実験ではありません。
＞エーテルという光の媒体の存在を否定した実験です。

否。いかなる測定でも「ニュートン力学的には媒体は動いてない」となるのは矛盾
つまりニュートン力学は現実と矛盾しているということになる。
(引用終り)

こいつ、マイケルソン・モーレーの実験についても、その概要と意義を理解していないと見たね・・（＾＾

https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%A4%E3%82%B1%E3%83%AB%E3%82%BD%E3%83%B3%E3%83%BB%E3%83%A2%E3%83%BC%E3%83%AA%E3%83%BC%E3%81%AE%E5%AE%9F%E9%A8%93
マイケルソン・モーリーの実験
(抜粋)
マイケルソン・モーリーの実験（マイケルソン・モーリーのじっけん、英: Michelson-Morley experiment）とは、1887年にアルバート・マイケルソンとエドワード・モーリーによって行なわれた光速に対する地球の速さの比 (β = v/c) の二乗 β^2 を検出することを目的とした実験である[1][注釈 1]。
マイケルソンは、この業績により1907年にノーベル賞を受賞した[注釈 2]。

脚注
2.^ この実験は、エーテル理論を初めて否定した物理学史における重要な役割を果たしたものとして知られている。同時に、「第二次科学革命の理論面の端緒」ともされている。
Earl R. Hoover, Cradle of Greatness: National and World Achievements of Ohio’s Western Reserve (Cleveland: Shaker Savings Association, 1977).
(引用終り)

なお、長くなるので、引用しなかったが「マイケルソン・モーリーの実験」中で、特に、概要とエーテルの測定の項を読んで貰えば、「マイケルソン・モーリーの実験」の意義は分かるだろう
684 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 09:03:48.21 ID:lieZDLIC.net]: >>618
> ”ただその上で云わせてもらえば>>372は矛盾ではありません
> 簡単の為、コイン投げで考えますが、開けてない箱の中身が
> ０である確率は１／２ですが、「箱入り無数目」の方法で予測した
> 値が０である確率も１／２でしょう。
> 要するに箱の中身が、「箱入り無数目」の方法で予測した値と
> 一致する確率が（ｎ－１）／ｎになるだけのことです”
>
> が、意味が取れない

この意味が取れないことと>>372の糞論理を振りかざすことは密接に関係している。

1) サイコロを振ったときに1の目が出る確率は1/6である。
2) 箱入り無数目の戦略で1の目が出る確率も1/6だろう。
3) しかし箱入り無数目の戦略の出目xと当てられる箱の中身yが一致する確率は(n-1)/nである。
と言ってるんだよ。

(1)の1/6に対応するのは(2)の1/6であり、(3)ではない、ということだ。
685 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:08:33.35 ID:tKnzoBS7.net]: >>625
どうも。スレ主です。
レスありがとう

だが、非常識なOne Stone 養護はやめてもらいたい
腐っても鯛、腐った２CH数学板。だが、あまりの非常識はダメだよ
哀れな素人さんの議論は、みなさんレスを付けているし、まあ、常識外れは分かる

だが、「通常は非ユークリッドといえば双曲幾何のことを指す」というなら、その典拠を示して貰いたい。ないと思うよ
なお、数学科修士を名乗る人の言説として、”フツー、非ユークリッド幾何学、といったら「内角１８０度以下の三角形」だけどな”なんて・・
知らない人が聞いたら、それ信じるでしょ？（＾＾

https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E5%B9%BE%E4%BD%95%E5%AD%A6
非ユークリッド幾何学
(抜粋)
非ユークリッド幾何学（ひユークリッドきかがく、non-Euclidean geometry）は、ユークリッド幾何学の平行線公準が成り立たないとして成立する幾何学の総称。
非ユークリッドな幾何学の公理系を満たすモデルは様々に構成されるが、計量をもつ幾何学モデルの曲率を一つの目安としたときの両極端の場合として、至る所で負の曲率をもつ双曲幾何学と至る所で正の曲率を持つ楕円幾何学（殊に球面幾何学）が知られている。
(引用終り)
686 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 09:08:36.13 ID:ifndNsSR.net]: >>628
相対性理論とか数理論理は彼の自家薬籠中だから、そこを
687 名前：突いても あんたに勝ち目はない笑 彼でも不得意分野はあるが、知らないことについては軽率には 発言しないし。 内容を理解せずにコピペばっかりしているスレ主は、所詮コピペバカなんだよ 悪いが、はっきり言えばね。 []: [ここ壊れてます]
688 名前：哀れな素人 [2017/05/27(土) 09:17:20.23 ID:6PSSm3/1.net]: >>613　クズ
認知症のお前は出て来なくていいぞ（笑

定義少年やペンタコ男はまだ良いのである。
自分で考えて議論をしてくる。
>>613のように一行横チャリしか書けない与太者が真正のクズだ。
このスレの大半はこういうクズだ。
スレ主に対して毎日毎日こういう嘲笑を書いているクズの集まり。
689 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:18:17.15 ID:tKnzoBS7.net]: >>629
あれ糞論理？ >>372は、時枝自身が書いている記事の最後の>>55と>>24（確率の専門家さん発言）を単に組み合わせただけだよ（＾＾

時枝の元記事では、>>55に引用したように
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
(略)
素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)

と、>>24（確率の専門家さん発言）
rio2016.2ch.net/test/read.cgi/math/1466279209/538
538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13]
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな
>>6
>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
の認識が少しまずい．
任意有限部分族が独立とは
P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど
これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい）
これがきっと時枝氏のいう無限族が直接独立ということだろう．
ということは(2)から(1)が導かれてしまったので，
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
(引用終り)

(1)と(2)は、下記
　　rio2016.2ch.net/test/read.cgi/math/1466279209/
　　いったい無限を扱うには，
　　(1)無限を直接扱う，
　　(2)有限の極限として間接に扱う，
　　二つの方針が可能である.
(引用終り)
690 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 09:20:05.23 ID:lieZDLIC.net]: >>633
> あれ糞論理？ >>372は、時枝自身が書いている記事の最後の>>55と>>24（確率の専門家さん発言）を単に組み合わせただけだよ（＾＾

誰が何をどう組み合わせたかは関係なく、糞は糞だ
691 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 09:21:40.72 ID:lieZDLIC.net]: 糞論理再掲

>>372
> 理由：
> 可算無限個の独立な確率変数 X1,X2,・・・Xi,・・・Xn　n→∞
> X1,X2,・・・Xi,・・・Xn　n→∞が、時枝問題の可算無限個の箱に相当するとして良いだろう
>
> サイコロを振って、箱に数を入れる
> 数列　X1,X2,・・・Xi,・・・Xn　n→∞で、
> 任意の箱には、確率1/6で、各１～６の数が入る
> 箱の数を的中できる確率は1/6。これは、ほぼ定義通りだ
>
> ここに、時枝解法で99/100で的中できる箱をXiとしても、一般性は失わないだろう
> が、定義から、箱の数を的中できる確率は1/6だ。これは矛盾だろう。だから、反例が存在すると
692 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:30:28.21 ID:tKnzoBS7.net]: >>631
>相対性理論とか数理論理は彼の自家薬籠中だから、そこを突いても
>あんたに勝ち目はない笑

どうも。スレ主です。
いやー、お見それしました

が、相対性理論とか数理論理は私の自家薬籠中でもあるんだ（＾＾
相対性理論とか数理論理に興味を持って、本を読んだのは、高校時代かな・・

相対性理論は、もちろん大学の物理の講義の範囲ではあるけれど、一般学生よりは勉強したね～
数理論理も嫌いじゃない
（過去スレ読んで貰えれば、物理と数理論理の話題が何度も繰り返し出ていることが分かるだろうさ）

もっとも、数理論理の専門家敵わないかも知れないが
相対性理論は、数学科修士より、明らかに俺が上だろうよ（＾＾

なお、>>624と>>628は、的確に彼の議論の誤りを指摘しているよ
693 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 09:32:42.25 ID:lieZDLIC.net]: >>636
> 数理論理は私の自家薬籠中でもあるんだ（＾＾

どのクチが言ってんだよｗｗｗ
694 名前：哀れな素人 [2017/05/27(土) 09:36:47.90 ID:6PSSm3/1.net]: 定義少年に対しては、ただもう無限級数とは何かについて
自分で考えよ、と言うしかない（笑
この少年が書いているようなことを人前で質問したら
笑われるだけだ（笑

ペンタコ男も救いがたい○○だ（笑
1/2＋1/4＋1/8＋……は１にならない、
ということを理解させるために、
線上に点を打つ比喩を出しているのである（笑

０から１まで等速直線運動をせよ、と言っているのではない（笑
そんなことをしたら１を通り過ぎてしまうことは誰にも明らかだ（笑
言い方を変えれば、まず1/2の距離を動き、次は1/4の距離を動き、
次は1/8の距離を動き、……というように動いていったとき、
１の地点に到達できるでせうか、と質問しているのである（笑
動くスピードや、それに要する時間などまったく関係ない（笑

また別の言い方をすれば、長さ1/2、1/4、1/8、……の線分を
並べていって（足していって）長さ１の線分ができるでせうか、
と質問しているのである（笑
695 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:39:19.41 ID:tKnzoBS7.net]: >>634-635
どうも。スレ主です。
レスありがとう

（文系）High level people は、スレ28 rio2016.2ch.net/test/read.cgi/math/1483314290/
で、時枝解法成立の数理を完成願います

>>482 rio2016.2ch.net/test/read.cgi/math/1483314290/51
51 名前：１３２人目の素数さん[sage] 投稿日：2017/01/10(火) 23:12:11.90 ID:q3tPENQ6
「私はパラドクスを説明するのには普通の測度論的確率論で十分できて新たな確率論は必要ないと思っています。」

だったね。「～思っています」で、数学の理論になるなら、こんな楽なことはない
そうはいかないだろう

どうぞ、「～思っています」の後を続けて下さいね・・（＾＾
696 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:40:15.38 ID:tKnzoBS7.net]: >>637
どうも。スレ主です。
レスありがとう

確かに、下手の横好きかな～（＾＾
697 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 09:44:56.38 ID:ifndNsSR.net]: >>636
>が、相対性理論とか数理論理は私の自家薬籠中でもあるんだ（＾＾
>相対性理論とか数理論理に興味を持って、本を読んだのは、高校時代かな・・

でも、あなたが何か数学理論を身に付けてる感じがしないんだよな
まぁ、主観といえばそうだが。
数学を理解するというのは、頭の中に数学理論の構造物が出来てるか
出来てないかくらいの違いはあって、あなたからはそういう「知性」
が感じられない、悪いけど。
698 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:48:03.28 ID:tKnzoBS7.net]: >>640

dic.nic ＮＧワード改行
ovideo.jp/a/%E4%B8%8B%E6%89%8B%E3%81%AE%E6%A8%AA%E5%A5%BD%E3%81%8D
下手の横好きとは (ヘタノヨコズキとは) [単語記事] - ニコニコ大百科初版作成日: 11/03/27 16:28 ◆ 最終更新日: 11/04/01 00:41
(抜粋)
下手の横好きとは、あることに対して下手ではあるが、やたらとそのことを好むという意味の諺である。

用例
将棋は下手の横好きでやっているものですから、決して上手くなんかありませんよ。
下手の横好きでやってることはいずれかは上手くなるでしょう。
699 名前：哀れな素人 [2017/05/27(土) 09:58:24.55 ID:6PSSm3/1.net]: スレ主が相対性理論に興味を持っているなら
↓これを読めばいい（笑

「無限小数は数ではない/相対性理論はペテンである」

しかしたぶんスレ主は読まないだろう。
なぜならスレ主はレッテルで人を見る男だからだ（笑
著者が京大国文卒だから読まないのだ（笑
スレ主に限らない。世間の人の大半はレッテルで人を見ている。
700 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 09:59:09.71 ID:tKnzoBS7.net]: >>641
どうも。スレ主です。
レスありがとう

>でも、あなたが何か数学理論を身に付けてる感じがしないんだよな

その批判は当たっている >>6の通り「スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないように
701 名前：お願いします」 ところで、>>630 だが、"「通常は非ユークリッドといえば双曲幾何のことを指す」というなら、その典拠を示して貰いたい。ないと思うよ" に決着を付けておきたいんだが・・ あるなら典拠を示して貰いたい。典拠なしで、One Stone 養護したなら、そう言って貰いたい。もちろん、どこかでそれらしいのを見て、記憶で書いたというならそれでも結構だ とにかく、私の記憶では、「通常は非ユークリッドといえば双曲幾何のことを指す」としているテキストは無かったし、 「通常は非ユークリッドといえば双曲幾何のことを指す」とするべき数学的な根拠は無いだろう・・ どれだけの文献を読んでいるかは、ご想像にお任せするがね（＾＾ []: [ここ壊れてます]
702 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:03:12.23 ID:lieZDLIC.net]: >>644
俺は非ユークリッド幾何といえば真っ先に双曲幾何を思い浮かべるけど？それがどうかした？

> 「通常は非ユークリッドといえば双曲幾何のことを指す」とするべき数学的な根拠は無いだろう・・

そんな数学的根拠なんてあるわけないじゃん。何言ってんの？
703 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:07:02.04 ID:lieZDLIC.net]: それともスレ主がほしい数学的根拠ってこういうもの？

ttp://mathsoc.jp/publication/tushin/1202/izumiya.pdf
//
ポアンカレ円板（双曲平面）は、単に非ユークリッド幾何のモデルと言うだけではなく、他の、代表的な幾何学である
ユークリッド幾何学や球面幾何学より、豊富な幾何学的内容を持っていると言えます。
//
704 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:11:02.38 ID:ifndNsSR.net]: >>644
19世紀頃に「非ユークリッド幾何」と呼ばれていた幾何の
現代呼称が「双曲幾何」だよ。
705 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:11:17.84 ID:lieZDLIC.net]: >>629や>>635にも書いたが、スレ主は自分の書いた>>372の糞論理にさっさと決着をつけたほうがいい。

非ユークリッドといったら通常何を指すのか？
双曲幾何を指すというならそうすべき理由と典拠を示せ(>>641)
なんてお茶濁しな話題はホントどうでもいい。
706 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 10:15:51.20 ID:tKnzoBS7.net]: >>643
哀れな素人さん、どうも。スレ主です。
実は、昨日東京丸の内丸善に行ってきた
市川秀志 (著)「カントールの連続体仮説」が並べてあってね。ぱらっと見てきた（＾＾
あれ、複数冊ならべていたから、結構まともな本の扱いやったね。それがまた、数学関係の真ん中辺りの目立つところなんよ～（＾＾

https://www.amazon.co.jp/dp/4434232347/ref=sr_1_1?s=books&ie=UTF8&qid=1495847193&sr=1-1
カントールの連続体仮説 Cantor's Continuum Hypothesis 単行本 ? 2017/5/15 市川秀志 (著)
単行本: 412ページ出版社: パレード (2017/5/15)

内容紹介
この物語は完全なるフィクションです。
ミーたんとコウちんは、今から100 年以上前のパリに迷い込みます。そして、偶然にもヒルベルトと出会い、第2回国際数学者会議に出席することになりました。
さあ、この2人の登場により、会場は大混乱に陥ってしまいます。

1作目「カントールの対角線論法」では、主人公であるミーたんとコウちんが中心となって「実無限は無限ではない」と「対角線論法は背理法ではない」ということを証明しました。そして、2000 年以上にわたって謎とされてきた嘘つきパラドックスの論理構造を解明しました。

2作目の「カントールの区間縮小法」においては、さらに彼らは「公理的集合論は矛盾している」と「非ユークリッド幾何学は矛盾している」という証明にも挑戦しました。

これらを踏まえて、ミーたんとコウちんは歴史的な難問と言われていた連続体仮説 ─ もう、すでにほぼ解決済みとされている連続体仮説 ─ に、これからどのように立ち�
707 名前：�ｩって行くのでしょうか? ゲーデルやコーエンらの連続体仮説に対する鋭い思考と、幼い子どもたちの連続体仮説に対する単純な思考の違いを、存分にお楽しみください。 内容（「BOOK」データベースより） 無限小数は実数ではない。連続体仮説は命題ではない。 []: [ここ壊れてます]
708 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:18:28.86 ID:lieZDLIC.net]: > あれ、複数冊ならべていたから、結構まともな本の扱いやったね。それがまた、数学関係の真ん中辺りの目立つところなんよ～（＾＾

それは衝撃だな。
言論の自由について考えさせられるわ。
カルトを規制するのと同様に何らかの規制が必要じゃないか？という気もしてくるが、難しいな。
709 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 10:44:11.23 ID:tKnzoBS7.net]: >>646
どうも。スレ主です。
レスありがとう

そういう、建設的な議論は歓迎だ（双曲幾何については、下記などご参照）
”豊富な幾何学的内容を持っている”ということは、なんどか読んだ。記憶では、最初は、数学セミナーのサーストンの怪物定理の記事のときだったように思う
サーストンの研究や、グロモフの研究が下記双曲幾何学入門にある。二人ともフィールズ賞受賞者だ。その後もいろいろ研究されているんだろう

ところで、”他の、代表的な幾何学であるユークリッド幾何学や球面幾何学より、豊富な幾何学的内容を持っていると言えます。”だから
「通常は非ユークリッドといえば双曲幾何のことを指す」とまで言い切ると、それはフツウの数学者から見れば、おいおいだろうね
（寡聞にして、そう言い切っているテキストをしらない）

ir.c.chuo-u.ac.jp/repository/
中央大学学術リポジトリ
ir.c.chuo-u.ac.jp/repository/search/item/md/-/p/2249/
ir.c.chuo-u.ac.jp/repository/search/binary/p/2249/s/2215/
双曲幾何学入門 - 中央大学公開日：2013.05.17 相馬輝彦 SOMA Teruhiko 発行日2011年03月掲載誌名・書名：中央大学数学教室講究録, No5
(抜粋)

https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%AA%E3%82%A2%E3%83%A0%E3%83%BB%E3%82%B5%E3%83%BC%E3%82%B9%E3%83%88%E3%83%B3
ウィリアム・サーストン
(抜粋)
サーストンのモンスター定理（ハーケン多様体には幾何構造が入る）

などにより、3次元多様体論、双曲幾何学、トポロジー、幾何学的群論、複素力学系における絶大な貢献をした超直観型の数学者。
710 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 10:50:31.16 ID:tKnzoBS7.net]: >>650
>カルトを規制するのと同様に何らかの規制が必要じゃないか？という気もしてくるが、難しいな。

どうも。スレ主です。同意です。規制は、難しいだろうね。表現の自由との関連で
711 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:50:46.62 ID:lieZDLIC.net]: >>651
> 「通常は非ユークリッドといえば双曲幾何のことを指す」とまで言い切ると、それはフツウの数学者から見れば、おいおいだろうね
> （寡聞にして、そう言い切っているテキストをしらない）

だからさ、そんなところにメクジラ立てても意味ないじゃん。
スレ主の"通常"が違うなら、俺の"通常"は双曲幾何じゃないですけどね、でいいじゃん。
俺や他の数名も双曲幾何を思い浮かべるんだから、"通常"といえば俺らの間で会話は成り立つよ。
スレ主は会話に入れないかもしれないけど、通常とは何ですか？って聞けばいいじゃん。
そしたら双曲幾何を話してるんだな、って分かるよ。それでいいじゃん。何が問題？
712 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 10:57:17.03 ID:lieZDLIC.net]: >>652
> どうも。スレ主です。同意です。規制は、難しいだろうね。表現の自由との関連で

規制が何もなく数学書棚にデデンと置かれてしまうと、中身を読むまでは
権威あるなんとか数学協会認定あるいは名の知れた数学研究者というレッテル、
または口コミや評判といったものが判断材料になってしまうな。

しかし数学の門を叩く以前の、論理力も批判力も不足している純朴な少年が
この本を手に取って真に受けてしまったらどうか？と考えるとかなりや
713 名前：るせない気持ちになるな。 数学をきちんと理解している書店員の良心で数学棚ではなく哲学棚に置くとか、 あるいはうっかり国文学の書棚に置くとか、そういう配慮をしてほしいもんだな。 []: [ここ壊れてます]
714 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 11:00:44.23 ID:ifndNsSR.net]: 19世紀頃、ガウス、ボヤイ、ロバチェフスキーにより研究されていた
ユークリッドの公理系の中で「平行線公理のみ」を否定する幾何学は
双曲幾何だよ。球面幾何だと直線が無限に伸ばせない。
球面幾何はずっと昔からあったが、ユークリッド幾何とは対等という
扱いはされていなかった。後に非ユークリッド幾何を説明する際に
身近にあって理解しやすいから、一つのモデルとして「非ユークリッド」
として語られることはあるが、歴史的には全然そうではない。
715 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 11:04:03.54 ID:tKnzoBS7.net]: >>651 訂正

>サーストンの研究や、グロモフの研究が下記双曲幾何学入門にある。二人ともフィールズ賞受賞者だ。

グロモフは、フィールズ賞受賞者ではないか・・。だが、同様に、高く評価されているようだ
https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%8F%E3%82%A4%E3%83%AB%E3%83%BB%E3%82%B0%E3%83%AD%E3%83%A2%E3%83%95
ミハイル・グロモフ
716 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 11:16:50.06 ID:tKnzoBS7.net]: >>653
>だからさ、そんなところにメクジラ立てても意味ないじゃん。

もちろん、些末なことさ。だが、言葉の端々に、教養が出る
例えば、>>403”自惚れに満ちたidiotをとっつかまえて丸焼きにして食うのが趣味なんだ全然鍛えてないから肉が柔らかくて美味いんだよｗ”って
で、「数学的内容について、ぼろを出したましたね」と

>スレ主は会話に入れないかもしれないけど、通常とは何ですか？って聞けばいいじゃん。
>そしたら双曲幾何を話してるんだな、って分かるよ。それでいいじゃん。何が問題？

One Stone様（ID:1maZ/hoI）いま、表示名:Une Pierre
下記URL 見てみな。大人の会話になってないよ～。そもそも会話の数学的レベルが低いし・・

お前が会話してやれよ
きっと、”自惚れに満ちたidiotをとっつかまえて丸焼きにして食うのが趣味なんだ全然鍛えてないから肉が柔らかくて美味いんだよｗ”って言われるぜ（＾＾

https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl
表示名:Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets
717 名前：哀れな素人 [2017/05/27(土) 11:24:48.42 ID:6PSSm3/1.net]: 読書に倦んで、ここを覗いたが、
今日は定義少年とペンタコ男の反論がないな（笑
>>638を読んで、何か分ったのだろうか（笑

連続体仮説なんて何のことやら知らないが、
カントールが唱えた説だからインチキに決まっているのである（笑
といってもスレ主やここの連中のレベルでは理解できないだろう（笑

はっきりいうが、スレ主を含めてここの連中はみんな○○である（笑
718 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 11:39:08.77 ID:tKnzoBS7.net]: >>655
どうも。スレ主です。
レスありがとう

あなたの書いていることは、ほぼ正確だ

だが、ここで問題としていることは、例えば高校生とか大学１年生に、教えるとして
（>>630）
非ユークリッド幾何学は、ユークリッド幾何学の平行線公準が成り立たないとして成立する幾何学の総称。
非ユークリッドな幾何学の公理系を満たすモデルは様々に構成されるが、計量をもつ幾何学モデルの曲率を一つの目安としたときの両極端の場合として、至る所で負の曲率をもつ双曲幾何学と至る所で正の曲率を持つ楕円幾何学（殊に球面幾何学）が知られている。
但し、双曲幾何は、他の幾何学より、豊富な幾何学的内容を持っているので、現代数学で盛んに研究されている

と、こう教えるのは可だ

が、「通常は非ユークリッドといえば双曲幾何のことを指す」とまで言い切ると、それはおいおいじゃないのかね？
そもそも、双曲幾何の専門的な論文に、わざわざ「これは非ユークリッド」なんて宣言しないだろ？

まとめると、”非ユークリッドの中で、双曲幾何が現代数学で盛んに研究されている”と付加的に教えることは、なんら否定しない

One Stone様（ID:1maZ/hoI）、>>343で、ちょっと教養を自慢したかったんだろう（＾＾
それはすぐ分かったが、揚げ足とりしてやったんだ（重箱の隅は承知でね）（＾＾
719 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 11:41:02.69 ID:tKnzoBS7.net]: One Stone様（ID:1maZ/hoI）みたいなやつは、徹底的に揚げ足とりをしてやるよと・・（＾＾
720 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 11:45:21.65 ID:tKnzoBS7.net]: >>654
どうも。スレ主です。

>数学をきちんと理解している書店員の良心で数学棚ではなく哲学棚に置くとか、

そうだね。市川秀志氏の本は、哲学だわ（＾＾
そもそも、実無限とか可能無限なんて、数学用語にあらず。哲学用語ですよ（＾＾
721 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 11:51:07.43 ID:lieZDLIC.net]: >>657
のリンク先の何が問題？

市川氏の
> マイケルソン・モーレーの実験は、絶対時間や絶対空間を否定した実験ではありません

は間違いで、Une Pierre氏の

> 否。いかなる測定でも「ニュートン力学的には媒体は動いてない」となるのは矛盾
> つまりニュートン力学は現実と矛盾しているということになる。

が正しいじゃん。
地球は動いてるんだから、ニュートン力学でいう"絶対座標系"に対して止まっていると思われる媒体を
"絶対座標系"に対して動いている地球から観測したときに「媒体が動いていない」という結果が得られるのは矛盾じゃん。
その矛盾はす�
722 名前：ﾈわちニュートン力学の矛盾でしょ。 []: [ここ壊れてます]
723 名前：１３２人目の素数さん [2017/05/27(土) 12:02:50.91 ID:KkCDAO7a.net]: One Stone 氏への誹謗中傷に執着するアホ主の見苦しさといったら
いや、見苦しいと言ったら可哀想だ、病気だからな
薬飲んで早く治せよ、お大事に
724 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 12:04:51.96 ID:tKnzoBS7.net]: >>658
哀れな素人さん、どうも。スレ主です。

重箱の隅で悪いが、下記ね
普通、理系のセンスとしては、（無料）献本するんだよね。読んで欲しい相手には。例えば、ＤＲ論文を製本したら、関係者に自署名を入れ（普通表紙の次あたり）て配るね。
もちろん、市販本でも、親しい人などには、署名入りの（無料）献本だよ
それが、理系のセンスとしては、礼儀ってもんだと思うよ

https://textream.yahoo.co.jp/personal/history/comment?user=Un6HD5t8vTM2tp94jEl2&sort=1
表示名:hir*****　Yahoo! ID/ニックネーム:hiroppe394
投稿コメント一覧 (154コメント)
(抜粋)
市川秀志　徹底研究
No.56118
だから毎日ここに貼っています。…
2017/05/11 09:43
>>No. 56117
だから毎日ここに貼っています。

「無限小数は数ではない/相対性理論はペテンである」
https://www.amazon.co.jp/%E7%84%A1%E9%99%90%E5%B0%8F%E6%95%B0%E3%81%AF%E6%95%B0%E3%81%A7%E3%81%AF%E3%81%AA%E3%81%84-%E7%9B%B8%E5%AF%BE%E6%80%A7%E7%90%86%E8%AB%96%E3%81%AF%E3%83%9A%E3%83%86%E3%83%B3%E3%81%A7%E3%81%82%E3%82%8B-%E5%AE%89%E9%81%94-%E5%BC%98%E5%BF%97/dp/4864764387/ref=sr_1_1?s=books&ie=UTF8&qid=1476080127&sr=1-1

アマゾンのみの販売で限定１００部です。

私は著者です。
(引用終り)

追伸
>はっきりいうが、スレ主を含めてここの連中はみんな○○である（笑

違うね。スレ主は、皆さんの言う通り、馬鹿であほですから、「○○で△△である」が正しい（＾＾
まあ、「スレ主は○○である」でも十分嬉しい
725 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 12:07:05.41 ID:tKnzoBS7.net]: >>663
どうも。スレ主です。
One Stone 氏晒し上げに協力レスありがとう（＾＾
726 名前：１３２人目の素数さん [2017/05/27(土) 12:16:24.79 ID:KkCDAO7a.net]: >>630
＞だが、「通常は非ユークリッドといえば双曲幾何のことを指す」というなら、その典拠を示して貰いたい。ないと思うよ
ならお前一人が「典拠ねー」と思ってればいい話、そんなところに難癖付ける意味がわからない。
お前がすべきは>>376への反論であって、人の粗探しではない。
727 名前：１３２人目の素数さん [2017/05/27(土) 12:26:17.13 ID:KkCDAO7a.net]: >>636
> 数理論理は私の自家薬籠中でもあるんだ（＾＾

お前は大学一年一学期の数列の勉強からだｗ
728 名前：１３２人目の素数さん [2017/05/27(土) 12:34:00.36 ID:KkCDAO7a.net]: >>638
＞この少年が書いているようなことを人前で質問したら
＞笑われるだけだ（笑
笑われてもいいから>>557に答えて下さい
答えずに逃げるなら笑われるのはあなたということになりますよ
729 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 12:44:13.50 ID:HNEpWV5q.net]: >>620
>なにか間違ってますか？

「ある桁から後ろが全部同じになる２つの無限小数の差をとれば
　ある桁から後ろが全部０になりますから有限小数ではないですか？」
に対して
>そういう条件をつければ当然そうですよ。
という返答をされていますが、記事中の無限列の同値類の条件は上記の通りです

違いますか？
730 名前：哀れな素人 [2017/05/27(土) 12:56:29.45 ID:6PSSm3/1.net]: >>668
>1/2＋1/4＋1/8＋……の極限値＝1/2＋1/4＋1/8＋……　と定義しています。
そんな定義はない（笑
無限小数とは有限小数の極限値ではないぞ（笑

1/2＋1/4＋1/8＋……＝ｘ
無限小数とは何かが君は分っていないから、
＝ｘとなるようなｘがあると勘違いしているのである（笑
無限小数にはそんなｘはないのである。ただし
1/2＋1/4＋1/8＋……→ｘ
となるｘは存在する。この場合ｘ＝１である。
このｘのことを極限値というのである。
無限小数には極限値は存在するが、
＝ｘとなるようなｘは存在しないのである。

定義少年よ、こんなことは常識だぞ（笑
731 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 12:59:26.59 ID:HNEpWV5q.net]: >>623
>ある同値類1つに限れば代表元を選ぶことは
>上の操作に還元できる、というのはその通りだと思う。

どの同値類についても、操作としては同じだと思いますよ
下地の無限列の違いを除けば

>だけどそもそも
732 名前：同値類1つに限られた世界なら >数当てにとってその操作自体が不要。 「同値類を１つに限る」という意図はありません 要は有限列を「終端以降が”透明”の無限列」と思うわけです 透明だからその下に無限列があってもいいわけです つまり「箱入り無数目」の手法は 「”有限部分の覆い”の終端が予測できれば その先は透明だから下が丸見え」 という理屈に置き換えられるということです >もし末尾が000...だと分かっているなら、"代表元"を選ぶ操作すら不要 「無限列を選ぶ」を「有限列に選ぶ」に置き換える意図ではありませんよ 記事の同値類で代表元を選んで答えと比較する、というのは 「”有限部分の覆い”の範囲を知る」ということに対応する といってるわけです []: [ここ壊れてます]
733 名前：１３２人目の素数さん [2017/05/27(土) 13:00:34.80 ID:KkCDAO7a.net]: 素人君へ
もういちど整理します
X＝1/2＋1/4＋1/8＋……
Y＝lim[n→∞]Σ[k=1,n]1/2^k
標準数学ではX:=Yと定義しています。
標準数学上もあなたの数学上もY=1です。
あなたはXは存在しないと言ってます。（>>553）
つまり標準数学上のXとあなたの数学上のXは異なるものであるということになります。

質問１　あなたの数学上のXの定義を述べて下さい。
質問２　存在しないXを生み出す定義にどんな数学的価値があるのか答えて下さい。

以上、くれぐれも持論の講釈でごまかすことだけは勘弁して下さいね
734 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:04:52.05 ID:HNEpWV5q.net]: >>630
横レスですが

＞「通常は非ユークリッドといえば双曲幾何のことを指す」
＞というなら、その典拠を示して貰いたい。

おそらく、ルジャンドルの定理に基づく発言でしょう

第一定理
平行線の公理がないと、三角形の内角の和は１８０度に等しいかまたは１８０度より小さくなる。

第二定理
内角の和が１８０度になる三角形が一つでもあればどの三角形の内角の和も１８０度になる。
（言い換えると、「内角の和が１８０度より小さい三角形が一つでもあればどの三角形の内角の和も１８０度より小さくなる」）

mathsoc.jp/publication/tushin/1202/izumiya.pdf
735 名前：哀れな素人 [2017/05/27(土) 13:06:57.83 ID:6PSSm3/1.net]: >>672
X＝1/2＋1/4＋1/8＋……
Y＝lim[n→∞]Σ[k=1,n]1/2^k
標準数学ではX:=Yと定義しています。

↑だからこの定義自体が間違いだと言っているのである（笑
無限小数とは有限小数の極限値ではない（笑

ちなみに数学ガールの著者も
定義少年とまったく同じ間違いを犯している。
無限小数は有限小数の極限値だと思っているらしい（笑

昼はここまで。
736 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 13:09:56.24 ID:tKnzoBS7.net]: >>662
どうも。スレ主です。
レスありがとう

リンクは、>>624 >>628だな

> 否。いかなる測定でも「ニュートン力学的には媒体は動いてない」となるのは矛盾

ここ意味不明。現在のニュートン力学は、媒体は不要で無関係。何を書いているのか物理的に意味がとれない
(>>624より） https://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%A5%E3%83%BC%E3%83%88%E3%83%B3%E5%8A%9B%E5%AD%A6 ニュートン力学
ニュートン力学は、「巨視的なスケールでかつ光速よりも十分遅い速さの運動を扱う際の、無矛盾・完結的な近似理論」
つまり、ニュートン力学は、なんらの媒体も、不要無関係で、理論体系としては、”無矛盾・完結的”。
ニュートン力学の問題は、ニュートン力学で扱えない物理現象が存在し、それが主に相対性理論の部分と量子力学の部分だと

> つまりニュートン力学は現実と矛盾しているということになる。

”ニュートン力学は現実と矛盾している”とは言わない。上記のように、物理学としては「近似理論」として扱われるし、そう言われる
物理学では、決して”ニュートン力学は現実と矛盾している”とは言わない

追伸
キーワードは、ガリレイ変換とローレンツ変換だ。まあ、下記ＰＤＦやwikipediaなど

thphys.sci.ibaraki.ac.jp/yamada/
山田　満　のホームページ茨城大学
thphys.sci.ibaraki.ac.jp/yamada/challenge-relativity.htm
物理チャレンジ2007勉強会資料
thphys.sci.ibaraki.ac.jp/yamada/lorentz-transformation.pdf
ローレンツ変換　（5月12日）

https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AA%E3%83%AC%E3%82%A4%E5%A4%89%E6%8F%9B
ガリレイ変換
(抜粋)
ガリレイの相対性原理
一般に相対性原理というとア
737 名前：インシュタインのものが有名であるが、相対性原理は他にもある。それはガリレイ変換と関係のあるガリレオの相対性原理である。 相対性原理とはどのような慣性系においても同じ物理法則が成り立つという主張である。 ガリレイの相対性原理はガリレイ変換によって変換するあらゆる慣性系において物理法則が不変であるという主張である。 []: [ここ壊れてます]
738 名前：１３２人目の素数さん [2017/05/27(土) 13:15:15.38 ID:KkCDAO7a.net]: >>674
＞↑だからこの定義自体が間違いだと言っているのである（笑
どっちの意味ですか？
・標準数学ではそのように定義していない
・標準数学ではそのように定義しているが、そうすべきでないと考えている
・上記以外
739 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:27:50.85 ID:cIdcynL8.net]: >>669
> >そういう条件をつければ当然そうですよ。
> という返答をされていますが、記事中の無限列の同値類の条件は上記の通りです
> 違いますか？

>>620は同値関係の理解度に疑義を唱えているわけではないので、
質問を質問で返される意味がよく分からなかった。

が、微妙に議論がすれ違う理由が今わかった。
あなたはある時は2^N全体で議論し、
またある時は末尾000...に限定した1つの同値類に限定し、
また有限小数と言ったとき0が無限に続く無限小数との境が曖昧に感じられたりする。
よく確認してみると何も間違っていないんだが、これらがあなたの意見の誤解を招いた原因かと思う。
よく読めアホと言われればスイマセンと言うしかないけど。

俺が言いたいのは2^N全体で考えるのと000...に限定するのとでは問題設定も必要とする道具立ても大分ちがいますよね、ってこと。
ここはまだ意見が一致してないかもね
740 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:48:58.45 ID:qA1xASO9J]: >>674

「無限小数は存在しない」と断定している哀れな素人本人が、
「……」を使用して無限に続く数列を表記しているわけだが、
存在しない無限を……で表現しているために、言説として意味をなさない。

よって、哀れな素人の言いたいことは、何も言えていない。
741 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:42:00.16 ID:cIdcynL8.net]: >>671
> 「同値類を１つに限る」という意図はありません

と言ってますけど、000...に限定したあなたの問題は意図しようとしまいとそうなってますよね？

問題となる数列を上に限定した時点で、1つの同値類に限った世界で話を進めることになる。
それが000...であると分かっている時点で代表元など要らない。

> >もし末尾が000...だと分かっているなら、"代表元"を選ぶ操作すら不要
>
> 「無限列を選ぶ」を「有限列に選ぶ」に置き換える意図ではありませんよ

上の意見に対して下の回答が来るのがよく分からない。。
742 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 13:45:11.29 ID:tKnzoBS7.net]: >>673
どうも。スレ主です。

そのＰＤＦ面白いね（＾＾
えー、泉屋　周一先生ユニークやね（＾＾
双曲平面のアマチュア的発想による考察か
mathsoc.jp/publication/tushin/1202/izumiya.pdf
非ユークリッド平面上のユークリッド的世界双曲平面のアマチュア的発想による考察泉屋　周一数学通信２００７
(抜粋)
本文は、２００７年３月３１日に埼玉県教育会館で開催された日本数学会市民講演会での講演内容に手を加えたものです。

mathsoc.jp/publication/tushin/index12-2.html
「数学通信」第１２巻第２号目次２００７年度

https://researchers.general.hokudai.ac.jp/profile/ja.NhI6vN41qjXe2I4jhBwKRA==.html
泉屋　周一イズミヤ　シユウイチ北大 2017/05/20

所属部署名
理学研究院　数学部門　数学分野
電子科学研究所　附属社会創造数学研究センター
職名特任教授　
(抜粋)
北海道札幌市出身。小学校時代に滝川市に暮しましたが、それ以外は、大学院博士１年まで、札幌在住。その後、最初の職場の奈良市に６年半住んで、また札幌に戻り、現在も札幌に暮らしています。
子供の頃は、昆虫採集とか天体観望に明け暮れてましたが、「世の中となるべく関係ない
743 名前：事をやりたい」という理由から、数学科に進学しました。しかし、もともと生物とか天文とかに興味が有ったので、結局はルネ・トムやアーノルドが創始した「特異点論の応用」というどちらかと言うと、数学の中でも「世の中と関係の深い」分野を研究しています。 アインシュタインの相対性理論以降では、天球を単位球面と考える代わりに、光錐の方向成分全体（光錐の切り口の単位球面）と考えるのが自然な発想に思えます。この理解の下でローレンツ空間内の部分多様体論に特異点論を応用することを考えています。 2016年に入って、思いもよらず、「量子化学」「スピントロニクス」等の量子力学への特異点論の応用と関わるようになりました。３０年位前に、一寸だけ考えた事が有効のようです。これで、「相対論」「量子力学」両方と関わるようになったので、次はいよいよ「量子重力理論」かな？（これは夢です！！） []: [ここ壊れてます]
744 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:45:14.09 ID:HNEpWV5q.net]: >>677
＞有限小数と言ったとき0が無限に続く無限小数との境が曖昧に感じられたりする

今思うと、私が0-1列に限ったのは不適切でした
値として0が入ってる場合と、何も値が入ってない場合が区別しがたくなりますから

ということで「有限小数」というところは「有限列」だと思っていただけますか

＞ある時は2^N全体で議論し、
＞またある時は末尾000...に限定した
＞1つの同値類に限定し、

末尾000…への限定、というわけではないので
あなたが000…といってるところは、
私の考えでは値が入ってないつもりだったので

>>671で「有限部分の覆い」という言い方をしました
要するに相違箇所は「覆い」がかかってるというつもりなのです
「２つの無限列の相違箇所を取り出す」というところは
「１つの有限列を取り出す」という形で置き換えられる筈
そうすれば残りの無限列の箇所が何であっても同じこと
というのが主旨なのです
745 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:47:25.35 ID:HNEpWV5q.net]: >>679

>>681で述べましたのでお読みください
746 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 13:51:22.64 ID:HNEpWV5q.net]: >>680
＞そのＰＤＦ面白いね（＾＾

その前に「ルジャンドルの定理」は理解されましたか？
747 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 14:14:12.26 ID:tKnzoBS7.net]: >>683
どうも。スレ主です。
レスありがとう

>その前に「ルジャンドルの定理」は理解されましたか？

いや、まだ理解していない
が、双曲幾何は別のもう一つの非ユークリッド幾何のいわゆるリーマン幾何について、一切触れられていない
これは、不思議だ
この点、どう解釈されますか？
748 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 14:18:21.08 ID:tKnzoBS7.net]: >>684 訂正

が、双曲幾何は別のもう一つの非ユークリッド幾何のいわゆるリーマン幾何について、一切触れられていない
　↓
が、双曲幾何とは別のもう一つの非ユークリッド幾何のいわゆるリーマン幾何について、一切触れられていない
749 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:23:05.19 ID:cIdcynL8.net]: >>614に戻る。
> ＞ただこれではあまりにも問題を限定しすぎていて
> ＞不思議さが完全に失われているような。
>
> 根本は「記事中の無限列の同値類から代表元を選ぶ」操作を
> 「有限列から無作為に一つ元を選ぶ」操作に置き換えただけです

私が1番言いたかったことをまとめます。

あなたの問題>>534において、代表元を選ぶ操作を有限列を選ぶ操作に置き換えたことに文句を唱えているのではないです。

>>534で出題される100の数列は、実質的に1つの同値類の元に限定されている。
この影響は大きく、記事の問題を質的に変えてしまっているように見える、ということです。
750 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:29:45.58 ID:HNEpWV5q.net]: >>684
「リーマン幾何」といってるのが球面幾何のことなら双曲幾何とは別のものです
751 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:31:06.31 ID:cIdcynL8.net]: >>686
いや、違うな。
遅ればせながら理解した（笑）
つまり>>534の100個は代表元ってわけね。
失礼しました。しかし言い訳するようだが、
>>534を読んでパッとそこまで読み取るのは難しいよ（笑）
752 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:32:48.46 ID:cIdcynL8.net]: >>688は失礼。少し勇み足でした。
忘れてください。
753 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:39:52.10 ID:HNEpWV5q.net]: >>686
>　（>>534の問題は）記事の問題を質的に変えてしまっているように見える

まず、>>534の問題は箱の中身を予測していないので、
その点では�
754 名前：u箱入り無数目」の問題とは異なります しかし確率評価において「箱入り無数目」と 全く同様の構造を有しており、その点では 質的には全然変わっていないと思っています 要は「予測できる」かどうか直接考えるのではなく 「予測との相違がある範囲の外である」かどうかを問う 形に置き換えたわけです []: [ここ壊れてます]
755 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:40:40.11 ID:cIdcynL8.net]: こう捉えればいいかな？

もともと100個の2^Nの元があったとしよう。
個々の元について個々が属する同値類の代表元と違う箇所は有限である。
この有限部分を並べたものが問題の100個の有限列である。
ある1つの元について、その桁が最長である確率は1/100である。

言いたかったことはこういうことかな？と思ったんだけど。
書き出してみると記事の内容と何ら違わないが。。
言いたいことが違うなら教えてください。
756 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:47:29.79 ID:HNEpWV5q.net]: >>691
>個々の元について個々が属する同値類の代表元と違う箇所は有限である。
>この有限部分を並べたものが問題の100個の有限列である。
>ある1つの元について、その桁が最長である確率は1/100である。

ええ　そうです

つまり、同値類を選ぶ操作で、もとの元と相違が発生する確率も1/100である
ということです

＞書き出してみると記事の内容と何ら違わないが。。

構造的には何も違わないでしょうね

「そもそも同値類の構成の仕方からいって自明だろう」
といわれればこういうしかありません

てへぺろ(・ω<)
757 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:51:11.38 ID:cIdcynL8.net]: > つまり、同値類を選ぶ操作で、もとの元と相違が発生する確率も1/100である
> ということです

同値類を選ぶ、とは？
758 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:53:22.92 ID:HNEpWV5q.net]: 有限列の選択についていえばいろいろ悩ましいこともある

例えばどの桁についても「値なしの確率」は全体としては０と思われる
（有限列のなかである桁より長いものは無限にあるが、短いものは有限個だから）
しかし一方で、有限列を何個選択しても、その中での最長桁より
先の桁の値は「なし」ということになる
つまり、桁がどんどん大きくなれば、値なしの確率が０になることを確認するのが難しくなる
矛盾ではないが、直観とは相違する現象だろう
759 名前：１３２人目の素数さん [2017/05/27(土) 14:54:48.25 ID:HNEpWV5q.net]: >>693
＞同値類を選ぶ、とは？
「同値類から代表元を選ぶ」の誤りです
760 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:56:51.58 ID:cIdcynL8.net]: >>695
だとは思いましたが、それでも分からない。

もとの2^Nの元aが同じ類の代表元bと相違する確率は1/100ではないですよね？
761 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 14:57:26.83 ID:tKnzoBS7.net]: このスレは、もうすぐ512KBオーバーなので新スレ立てた
現代数学の系譜11 ガロア理論を読む33
rio2016.2ch.net/test/read.cgi/math/1495860664/
762 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:57:51.19 ID:cIdcynL8.net]: >>696
ああわかった。D桁目で、っていう話ですね。
763 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 14:59:08.90 ID:cIdcynL8.net]: >>697
めんどくさいなあ。
君が無駄なコピペをやめてくれればサイズ制限なんか気にしなくてすむのに。
764 名前：１３２人目の素数さん mailto:sage [2017/05/27(土) 15:00:57.93 ID:HNEpWV5q.net]: >>696
＞もとの2^Nの元aが同じ類の代表元bと相違する確率は1/100ではないですよね？

もとの元aが、同じ類の代表元bと、残り99個の元の相違範囲の上限Lの桁で
相違する確率が、（記事で想定する”公平性”に基づくなら）1/100だということです

そしてそのことはそもそも有限列をとるという形で模擬できる
というのが>>534の提案です
765 名前：１３２人目の素数さん [2017/05/27(土) 15:02:26.93 ID:HNEpWV5q.net]: >>698
その通り　D桁目で　です
766 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 15:02:33.88 ID:tKnzoBS7.net]: >>687
>「リーマン幾何」といってるのが球面幾何のことなら双曲幾何とは別のものです

どうも。スレ主です。
レスありがとう
勿論、双曲幾何とは別のもの
「リーマン幾何」は、下記でいう狭義のリーマン幾何で、楕円幾何のこと
まあ、後は新スレで。このスレの余白は狭い・・（＾＾

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E5%B9%BE%E4%BD%95%E5%AD%A6
リーマン幾何学（リーマンきかがく、英: Riemannian geometry）とは、リーマン計量や擬リーマン計量と呼ばれる距離の概念を一般化した構造を持つ図形を研究する微分幾何学の分野である。このような図形はリーマン多様体、擬リーマン多様体とよばれる。ドイツの数学者ベルンハルト・リーマンに因んでこの名前がついている。
楕円・放物・双曲の各幾何学は、リーマン幾何学では、曲率が
767 名前：それぞれ正、0、負の一定値をとる空間（それぞれ球面、ユークリッド空間、双曲空間）上の幾何学と考えられる。なお、楕円幾何学のことをリーマン幾何と呼ぶことがあるが、本稿で述べるリーマン幾何学はそれとは異なるものである。 アルベルト・アインシュタインは、重力、即ち、一様ではなく湾曲した時空を記述するのに擬リーマン多様体の枠組みが有効であることを見いだし、リーマン幾何学を数学的核心とした一般相対性理論を構築した。 []: [ここ壊れてます]
768 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef