[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む32 [無断転載禁止]©2ch.net (700ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
681(2): 2017/05/27(土)13:51 ID:HNEpWV5q(10/17) AAS
>>678
＞そのＰＤＦ面白いね（＾＾
その前に「ルジャンドルの定理」は理解されましたか？
682(2): 現代数学の系譜11 ガロア理論を読む 2017/05/27(土)14:14 ID:tKnzoBS7(26/29) AAS
>>681
どうも。スレ主です。
レスありがとう
>その前に「ルジャンドルの定理」は理解されましたか？
いや、まだ理解していない
が、双曲幾何は別のもう一つの非ユークリッド幾何のいわゆるリーマン幾何について、一切触れられていない
これは、不思議だ
この点、どう解釈されますか？
683: 現代数学の系譜11 ガロア理論を読む 2017/05/27(土)14:18 ID:tKnzoBS7(27/29) AAS
>>682 訂正
が、双曲幾何は別のもう一つの非ユークリッド幾何のいわゆるリーマン幾何について、一切触れられていない
↓
が、双曲幾何とは別のもう一つの非ユークリッド幾何のいわゆるリーマン幾何について、一切触れられていない
684(2): 2017/05/27(土)14:23 ID:cIdcynL8(5/12) AAS
>>613に戻る。
> ＞ただこれではあまりにも問題を限定しすぎていて
> ＞不思議さが完全に失われているような。
>
> 根本は「記事中の無限列の同値類から代表元を選ぶ」操作を
> 「有限列から無作為に一つ元を選ぶ」操作に置き換えただけです
私が1番言いたかったことをまとめます。
あなたの問題>>534において、代表元を選ぶ操作を有限列を選ぶ操作に置き換えたことに文句を唱えているのではないです。
>>534で出題される100の数列は、実質的に1つの同値類の元に限定されている。
この影響は大きく、記事の問題を質的に変えてしまっているように見える、ということです。
685(1): 2017/05/27(土)14:29 ID:HNEpWV5q(11/17) AAS
>>682
「リーマン幾何」といってるのが球面幾何のことなら双曲幾何とは別のものです
686(1): 2017/05/27(土)14:31 ID:cIdcynL8(6/12) AAS
>>684
いや、違うな。
遅ればせながら理解した（笑）
つまり>>534の100個は代表元ってわけね。
失礼しました。しかし言い訳するようだが、
>>534を読んでパッとそこまで読み取るのは難しいよ（笑）
687: 2017/05/27(土)14:32 ID:cIdcynL8(7/12) AAS
>>686は失礼。少し勇み足でした。
忘れてください。
688: 2017/05/27(土)14:39 ID:HNEpWV5q(12/17) AAS
>>684
> （>>534の問題は）記事の問題を質的に変えてしまっているように見える
まず、>>534の問題は箱の中身を予測していないので、
その点では「箱入り無数目」の問題とは異なります
しかし確率評価において「箱入り無数目」と
全く同様の構造を有しており、その点では
質的には全然変わっていないと思っています
要は「予測できる」かどうか直接考えるのではなく
「予測との相違がある範囲の外である」かどうかを問う
形に置き換えたわけです
689(1): 2017/05/27(土)14:40 ID:cIdcynL8(8/12) AAS
こう捉えればいいかな？
もともと100個の2^Nの元があったとしよう。
個々の元について個々が属する同値類の代表元と違う箇所は有限である。
この有限部分を並べたものが問題の100個の有限列である。
ある1つの元について、その桁が最長である確率は1/100である。
言いたかったことはこういうことかな？と思ったんだけど。
書き出してみると記事の内容と何ら違わないが。。
言いたいことが違うなら教えてください。
690: 2017/05/27(土)14:47 ID:HNEpWV5q(13/17) AAS
>>689
>個々の元について個々が属する同値類の代表元と違う箇所は有限である。
>この有限部分を並べたものが問題の100個の有限列である。
>ある1つの元について、その桁が最長である確率は1/100である。
ええ そうです
つまり、同値類を選ぶ操作で、もとの元と相違が発生する確率も1/100である
ということです
＞書き出してみると記事の内容と何ら違わないが。。
構造的には何も違わないでしょうね
省3
691(1): 2017/05/27(土)14:51 ID:cIdcynL8(9/12) AAS
> つまり、同値類を選ぶ操作で、もとの元と相違が発生する確率も1/100である
> ということです
同値類を選ぶ、とは？
692: 2017/05/27(土)14:53 ID:HNEpWV5q(14/17) AAS
有限列の選択についていえばいろいろ悩ましいこともある
例えばどの桁についても「値なしの確率」は全体としては０と思われる
（有限列のなかである桁より長いものは無限にあるが、短いものは有限個だから）
しかし一方で、有限列を何個選択しても、その中での最長桁より
先の桁の値は「なし」ということになる
つまり、桁がどんどん大きくなれば、値なしの確率が０になることを確認するのが難しくなる
矛盾ではないが、直観とは相違する現象だろう
693(1): 2017/05/27(土)14:54 ID:HNEpWV5q(15/17) AAS
>>691
＞同値類を選ぶ、とは？
「同値類から代表元を選ぶ」の誤りです
694(2): 2017/05/27(土)14:56 ID:cIdcynL8(10/12) AAS
>>693
だとは思いましたが、それでも分からない。
もとの2^Nの元aが同じ類の代表元bと相違する確率は1/100ではないですよね？
695(1): 現代数学の系譜11 ガロア理論を読む 2017/05/27(土)14:57 ID:tKnzoBS7(28/29) AAS
このスレは、もうすぐ512KBオーバーなので新スレ立てた
現代数学の系譜11 ガロア理論を読む33
2chｽﾚ:math
696(1): 2017/05/27(土)14:57 ID:cIdcynL8(11/12) AAS
>>694
ああわかった。D桁目で、っていう話ですね。
697: 2017/05/27(土)14:59 ID:cIdcynL8(12/12) AAS
>>695
めんどくさいなあ。
君が無駄なコピペをやめてくれればサイズ制限なんか気にしなくてすむのに。
698: 2017/05/27(土)15:00 ID:HNEpWV5q(16/17) AAS
>>694
＞もとの2^Nの元aが同じ類の代表元bと相違する確率は1/100ではないですよね？
もとの元aが、同じ類の代表元bと、残り99個の元の相違範囲の上限Lの桁で
相違する確率が、（記事で想定する”公平性”に基づくなら）1/100だということです
そしてそのことはそもそも有限列をとるという形で模擬できる
というのが>>534の提案です
699: 2017/05/27(土)15:02 ID:HNEpWV5q(17/17) AAS
>>696
その通り D桁目で です
700: 現代数学の系譜11 ガロア理論を読む 2017/05/27(土)15:02 ID:tKnzoBS7(29/29) AAS
>>685
>「リーマン幾何」といってるのが球面幾何のことなら双曲幾何とは別のものです
どうも。スレ主です。
レスありがとう
勿論、双曲幾何とは別のもの
「リーマン幾何」は、下記でいう狭義のリーマン幾何で、楕円幾何のこと
まあ、後は新スレで。このスレの余白は狭い・・（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
リーマン幾何学（リーマンきかがく、英: Riemannian geometry）とは、リーマン計量や擬リーマン計量と呼ばれる距離の概念を一般化した構造を持つ図形を研究する微分幾何学の分野である。このような図形はリーマン多様体、擬リーマン多様体とよばれる。ドイツの数学者ベルンハルト・リーマンに因んでこの名前がついている。
楕円・放物・双曲の各幾何学は、リーマン幾何学では、曲率がそれぞれ正、0、負の一定値をとる空間（それぞれ球面、ユークリッド空間、双曲空間）上の幾何学と考えられる。なお、楕円幾何学のことをリーマン幾何と呼ぶことがあるが、本稿で述べるリーマン幾何学はそれとは異なるものである。
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.493s*