23/06/27 05:20:11.27 XmCW/HKV.net
>>794
間違いをいくら繰り返しても真にはならない
繰り返す
読んで理解してね
>>776
簡単のため2^oで考える
oが自然数の場合、最後の箱が存在するから
同値類は、最後の箱の中身が0の場合と1の場合の2つ
しかし、例えば無限列 0,0,0,… と同値な列の集合は
「ω番目の項だけが0の無限列全体」ではなく
「ある自然数ｎから先の項が全て0の無限列全体」
であるから、実質的に有限2進列全体である
そして、2＾ωにおける同値類の個数は
2個ではなく2＾ω個である
852:１３２人目の素数さん
23/06/28 20:22:13.36 3BvOXwao.net
Oが基数（始順序数）、つまりある濃度をもつ順序数中で最小のもの、とする
このとき、あるo∈Oから先の項が全て一致するｓ＾Oの２つの要素を同値とすると
同値な２つの要素は、そのほとんどすべての項で一致することになる
けっして最後の１項だけ一致するなんてことはない
そもそも最後の項が存在しないし、
どの項oから一致するとしても
そこから先の順序数全体は元のOと同じ濃度となるからである
（端的にいうとｓ＾Oには真ん中の項なんてなく
全ての項は始まりのほうに集まっている）
853:１３２人目の素数さん
23/06/30 08:27:13.51 4ZuJXCDa.net
ｽﾚﾘﾝｸ(math板:988番)-989
> 無限が分からなきゃ箱入り無数目は分からないよ
> 「箱がたくさん，可算無限個ある.」だしな
> 無限＝大きい有限としか認知しない中卒に数学は無理
> 数学は算数ではない
全面同意
854:１３２人目の素数さん
23/06/30 08:46:18.82 4ZuJXCDa.net
ｽﾚﾘﾝｸ(math板:991番)-992
> おサルさんか
誰彼なく他人をおサルさん呼ばわりするおサルさん
> ・物理の指導原理で、「極限を考えろ」というのがある
> ・これを時枝記事に見るに、
> 有限で100ｍ個の箱の数列がある （ｍ∈Ｎ）
> 任意の有限m ∀m∈N で、時枝さんの手法は失敗ですｗ
> 極限を考えて m→∞ でも当然失敗する
おサルさんの極限とは、つまるところ
「任意の有限∀m∈Nで成り立つなら無限∞でも成り立つ」
という推論規則らしいが、もちろんそんな自分勝手な規則は成立しない
0以外の任意のn∈Nについて、ｎより小さい最大のｍ∈Nが存在する
おサルさんの「極限」を適用するなら
「Nの中に、最大のｍ∈Nが存在する」
といえることになる
しかし、それはペアノの公理に反する
いかなるn∈Nについても、それより大きなｍ∈Nが存在するから
したがって、おサルの「極限」は背理法により完全否定される
> ・じゃあ、なんでR^Nで成功するのか？
上記で示した通り、おサルの「極限」が間違ってるから
物理の指導原理？物理は数学に反するトンデモ学問か？
> そのメカニズムについては、あいまいにゴマカス時枝さん
おサルの「極限」は、何のあいまいさもなく背理法で否定される
おサルが背理法を理解できないだけ
高校１年の数学で習う背理法も知らんおサルは・・・中卒
> サギでしょ？！ ｗ
背理法は詐欺でもなんでもない
大学数学どころか高校数学すら理解できない
おサルが国立O大学卒だといいはるほうが詐欺
855:１３２人目の素数さん
23/06/30 09:00:04.08 4ZuJXCDa.net
ｽﾚﾘﾝｸ(math板:995番)
>>>じゃあ、なんでR^Nで成功するのか？
>>最後の箱が無いから
>>やはり無限が分かってないね
>・それだけじゃ、説明（証明）不足でしょ？
必要十分ですがね
>・つまり、任意の有限m ∀m∈N および その極限 m→∞ で、 時枝さんの手法は失敗です
任意の有限m ∀m∈Nで、R^nに関する箱入り無数目の戦略は失敗します
なぜなら、最後の箱が存在するから
決定番号が最後の箱の位置ならその先の尻尾が存在せず失敗します
一方、極限 m→∞ で、R^Nに関する箱入り無数目の戦略は成功します
なぜなら、最後の箱が存在しないから
いかなる決定番号でも、その先の尻尾が存在し、成功する
全く十分な証明
> 一方、あなたは”最後の箱が無いから” 時枝さんの手法は成功して
> 確率99/100である箱を開けずに箱に入れた実数を的中できるという
ええ、箱入り無数目の理屈を理解してる人は皆そう言います
否定するのは理屈がわからんおサルさんだけでしょう？
１はおサルさん？
> ”最後の箱が無いから”の一言で済むなら数学って楽だよね
箱入り無数目の成功に関する限り、まったく楽です
> しかし、それで納得する人は、少ないと思うよ
おサルさんは背理法も分からないから理解できないだけで
高校１年の背理法が分かるヒトは
ペアノの公理と矛盾する
「任意の有限で成立すれば、無限でも成立する」
とかいう「おサル極限」の推論なんて即座に否定し
箱入り無数目が成立することを理解します
856:１３２人目の素数さん
23/06/30 09:05:49.33 4ZuJXCDa.net
ｽﾚﾘﾝｸ(math板:998番)-999
>（無限列は）有限列の極限じゃないから無意味
そうですね、無限列では「おサルの極限」つまり
「任意の有限∀m∈Nで成り立つなら無限∞でも成り立つ」
という推論規則が成り立たない
背理法が分かれば即座にわかる
わからんのは、高校1年で習う背理法も知らんおサル
>箱入り無数目記事読めば？
>厳密で完全な証明が書かれてるから
おサルはこういいそう
「「極限を考えろ」という”物理の指導原理”こそ正しい
ペアノの公理はマチガッテル！」
ああ、こわいこわい
857:１３２人目の素数さん
23/06/30 09:17:59.85 4ZuJXCDa.net
>>802
>そもそも有限列の極限って何？きちんと定義を書いてみて
おサルは論理を理解できないから
定義を論理式で書き表せ�
858:ﾈいし 論理式を推論規則によって正しく推論できない 当然大学数学の教科書は 微分積分学でも線形代数でも 読めない 高校１年の背理法も理解できないのだから 数学的帰納法も理解できてないだろう おサルはまず論理から勉強したほうがいい 代数系とか位相とか理解するのはその後 言葉が分からないのに 言葉で言い表された内容が分かるわけない
859:１３２人目の素数さん
23/06/30 10:50:10.84 4ZuJXCDa.net
真・おサルが理解できないこと
「可算無限列１００列に対して
それぞれが属する尻尾の同値類の代表元をとると
元の列と代表元が異なる項の箇所はたかだか有限個で
ほとんどすべての可算無限個の項で一致する」
仮にωでなくΩ（最初の非可算順序数）個の箱を用意した場合
「非可算列１００列に対して
それぞれが属する尻尾の同値類の代表元をとると
元の列と代表元が異なる項の箇所はたかだか可算個で
ほとんどすべての非可算個の項で一致する」
860:１３２人目の素数さん
23/06/30 10:56:13.31 4ZuJXCDa.net
>>804
ほとんどすべての箱で一致するのだから
その中から不一致の箱を選ぶほうが至難
非可算列の場合、
可算本の列を用意できるので
外れる確率は１／ｎではなく限りなく０に近づけられる
ａｌｅｐｈ2列なら
ａｌｅｐｈ1本用意できるので
外れる確率は０にできる
861:１３２人目の素数さん
23/07/01 11:55:18.49 uNBgRQTB.net
ｽﾚﾘﾝｸ(math板:13番)
> R^m ⊂ R^N ⊂ R^N* となる
> これ、よくある数学の挟み撃ちの手筋です
> R^m：時枝手法不成立（有限）
> R^N*：時枝手法不成立（Nの一点コンパクト化）
> だったら、R^Nの時枝手法も不成立じゃね？
１は馬鹿だ馬鹿だと思ってたか
ここまで底抜けの馬鹿だとは思わなかった
上記に比べれば正方行列の群なんて
かわいいボケに見えるから不思議
862:１３２人目の素数さん
23/07/01 11:56:58.21 uNBgRQTB.net
>>806
ｽﾚﾘﾝｸ(math板:33番)
A⊂B⊂C
として、
・Aには最大元が存在する
・Cにも最大元が存在する
から
・Bにも最大元が存在する
とかいえるわけないし
反例
A＝[0,1/2]
B＝[0,1)
C＝[0,1]
Aの最大元は1/2
Cの最大元は1
じゃ、Bの最大元は？
そんなもんあったら実数論が根底からひっくり返るわ！
863:１３２人目の素数さん
23/07/01 12:24:19.17 7xC/1QFF.net
> R^m ⊂ R^N ⊂ R^N* となる
> これ、よくある数学の挟み撃ちの手筋です
> R^m：時枝手法不成立（有限）
> R^N*：時枝手法不成立（Nの一点コンパクト化）
> だったら、R^Nの時枝手法も不成立じゃね？
これ、よくあるなんも考えてないバカの妄想です
864:１３２人目の素数さん
23/07/01 13:16:45.56 uNBgRQTB.net
>>808
全く同意
１は馬鹿だ馬鹿だとおもってたが
ここまで酷い馬鹿だと思わなかった
こいつが大学卒だなんてありえん
どうみても論理がわかってないエテ公じゃないか
あんたもそうおもうだろ？
865:１３２人目の素数さん
23/07/01 16:09:28.04 uNBgRQTB.net
無限集合の初歩もわからん中卒ドシロウトの１が
「有限列では失敗する だから無限列でも失敗する」
とウソを何年も喚き散らすのは不快の極み
866:１３２人目の素数さん
23/07/02 06:17:24.45 cNGWG32s.net
おサルの１の誤り
・有限列S^nには最後の項が存在するから
無限列S^ωにも最後の項が存在する
→実際には、S^ωには最後の項は存在しない
・無限列S＾ωには最後の箱が存在するから
無限列S＾ωの尻尾の同値類において
そのほとんど全ての要素は
同値類の代表元と
最後の項１つしか一致しない
→実際には、S^ωには最後の項は存在しないので
無限列S＾ωの尻尾の同値類において
その全ての要素は同値類の代表元と
有限個の項を除いたほとんど全ての項で一致する
867:１３２人目の素数さん
23/07/02 06:19:12.28 cNGWG32s.net
>>811
無限集合の初歩も分からんおサルの１が
「MSのIUTは正しいんです！」
「世界に冠たる我がニッポン
数学というオリンピックで
ニッポンは世界に圧勝！！！」
と吠えまくってもこういわれるだけ
「なんだ、この●違いニホンザル」
868:１３２人目の素数さん
23/07/05 05:56:52.02 mZfoVPvZ.net
おサルの１の誤り
・有限列S^nには最後の項が存在するから
無限列S^ωにも最後の項が存在する
→実際には、S^ωには最後の項は存在しない
・無限列S＾ωには最後の箱が存在するから
無限列S＾ωの尻尾の同値類において
そのほとんど全ての要素は
同値類の代表元と
最後の項１つしか一致しない
→実際には、S^ωには最後の項は存在しないので
無限列S＾ωの尻尾の同値類において
その全ての要素は同値類の代表元と
有限個の項を除いたほとんど全ての項で一致する
869:１３２人目の素数さん
23/07/05 20:09:14.61 mZfoVPvZ.net
おサルの１の誤り
・有限列S^nには最後の項が存在するから
無限列S^ωにも最後の項が存在する
→実際には、S^ωには最後の項は存在しない
・無限列S＾ωには最後の箱が存在するから
無限列S＾ωの尻尾の同値類において
そのほとんど全ての要素は
同値類の代表元と
最後の項１つしか一致しない
→実際には、S^ωには最後の項は存在しないので
無限列S＾ωの尻尾の同値類において
その全ての要素は同値類の代表元と
有限個の項を除いたほとんど全ての項で一致する
870:１３２人目の素数さん
23/07/06 11:53:24.46 N4DeqJzF.net
サルが尻尾をはさまれて逃げるに逃げ出せんかのように数学の表面的なことに拘り続けてコピペマシーンとして作動し続ける様はザマァねぇわ
871:１３２人目の素数さん
23/07/06 15:21:22.85 iuhhucTm.net
結局時枝証明のギャップを一つも提示出来ませんでしたね
負けを認めましょう
872:１３２人目の素数さん
23/07/06 19:16:41.30 56nrZv/4.net
>>815 おサルの１は、無限集合が分かってないからな 哀れ
873:１３２人目の素数さん
23/07/07 06:55:58.32 a/OaINZz.net
おサルの１の誤り
・有限列S^nには最後の項が存在するから
無限列S^ωにも最後の項が存在する
→実際には、S^ωには最後の項は存在しない
・無限列S＾ωには最後の箱が存在するから
無限列S＾ωの尻尾の同値類において
そのほとんど全ての要素は
同値類の代表元と
最後の項１つしか一致しない
→実際には、S^ωには最後の項は存在しないので
無限列S＾ωの尻尾の同値類において
その全ての要素は同値類の代表元と
有限個の項を除いたほとんど全ての項で一致する
874:１３２人目の素数さん
23/07/09 16:22:55.25 DzaaOvi9.net
上げますね
なんかよそでわけわかんない人が
「Prussは、「箱入り無数目」が間違ってる、といっている」
と書いてますけどまったくの嘘なので
日本語が読めない人は英語も読めないですね
875:１３２人目の素数さん
23/07/10 23:04:54.76 /sLLSTMb.net
間違いだというなら時枝証明のギャップをずばり指摘すればよいのである
無関係な非正則分布やら有限列やら持ち出したところで何の指摘にもならない
こんな当たり前のことも理解できないって頭が悪いにも程があるやろ
なぜこの頭の悪さで数学板にやってくるのか？
876:１３２人目の素数さん
23/07/11 08:38:41.07 RUY/xjoS.net
>>820
5ちゃんが便所の落書きだということも理解できないって頭が悪いにも程があるやろ
なぜこの頭の悪さで数学板にやってくるのか？
877:１３２人目の素数さん
23/07/11 09:28:13.91 BwoSiBfH.net
頭が悪いから５ちゃんにくる
878:１３２人目の素数さん
23/07/11 10:24:40.87 sq5T08sS.net
>821
時枝証明のギャップをずばり指摘できないくせに間違いだ間違いだ喚いてる輩が５ちゃんを便所の落書き化しているだけの話
879:１３２人目の素数さん
23/07/11 13:31:48.83 RUY/xjoS.net
>>823
>>時枝証明
何の証明？
ネットにある？
880:１３２人目の素数さん
23/07/11 13:34:44.10 sq5T08sS.net
１．時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にnを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
881:１３２人目の素数さん
23/07/11 13:35:27.31 sq5T08sS.net
２．つづき
私たちのやろうとすることは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 は決められる.
更に，何らかの事情
882:により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などは下付添え字
883:１３２人目の素数さん
23/07/11 13:35:45.76 sq5T08sS.net
３．つづき
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列S^1,S^2，・・・，S^lOOを成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， S^1～S^(k-l),S^(k+l)～S100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・.いま
D >= d(S^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s~k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・：ここで^kは上付き添え字、(D+l)などは下付添え字
884:１３２人目の素数さん
23/07/11 17:26:11.65 dcwqvSCv.net
長すぎる
885:１３２人目の素数さん
23/07/12 17:52:55.42 OiqgCq3U.net
スレ主、以下のスレに出没中(ID:GUggp0iI)
「ABC予想」の証明理論、欠陥見つけたら1.4億円
URLﾘﾝｸ(rio2016.2ch.sc)
886:１３２人目の素数さん
23/07/12 17:54:21.17 OiqgCq3U.net
スレ主曰く、
「SS文書はIUT論文を書き換えているが、
書き換えたものが矛盾していても、元論文の矛盾は示せない」
だってさ
887:１３２人目の素数さん
23/07/12 17:56:41.13 OiqgCq3U.net
全く同じように、時枝記事を書き換えたものが矛盾していても、
時枝記事そのものの矛盾は示せない
非正則分布やら有限列やらを持ち出して
時枝記事を書き換えるのがスレ主の定石だったが、
その行為を自分で否定しているのがスレ主である
888:１３２人目の素数さん
23/07/12 17:59:43.23 OiqgCq3U.net
時枝記事の「書き換え」はスレ主の大好物だったのに、
IUT論文の「書き換え」はスレ主にとっては容認できないらしい
立場が一貫していない
889:１３２人目の素数さん
23/07/12 18:02:26.07 OiqgCq3U.net
時枝記事をあの手この手で「書き換え」したがるのは、
元の時枝記事そのもののギャップをずばり指摘できないからである
自分でそんな「書き換え」を頻繁に行っておきながら、SS文書に関しては
「IUT論文の書き換えだからアウト。文句があるなら直接的に矛盾を指摘しろ」
という立場を取っている
バカじゃないの
890:１３２人目の素数さん
23/07/12 18:08:29.72 1fNx7Ah4.net
そもそも「箱入り無数目」の成功確率を
「箱の中身を当てる確率」と誤解してる時点で
日本語の文章が読めてない文盲
891:１３２人目の素数さん
23/07/13 23:30:46.30 ZeeR4dAb.net
スレ主です
Jane Style トラブルでアクセスできずでした（＾＾
さて
>>821 >>824 のID:RUY/xjoS氏と
>>828 のID:dcwqvSCv氏
とは
両方とも
例の謎のプロ数学者さんだな
多分ね
彼は、時枝の箱入り無数目に対して、肯定的発言は一切ない
もっとも、否定的発言も殆どないがね
まあ、非対称なんだよね、多分
うかつにヘンな発言して
うらまれて Y氏事件の二の舞は愚策だ
時枝は、ボチボチやります（＾＾
いまJane Style なしで、ブラウザをクロームから、マイクロソフトのエッジに変えたら
書けるようになったから
慌てないように！ ｗｗｗ
892:１３２人目の素数さん
23/07/14 05:54:16.14 2YsCGN8w.net
>>835
OTはなんか１を愛してるみたいだから
１に不利な発言（箱入り無数目の肯定）はしないらしい
もっとも数学として間違った発言（箱入り無数目の否定）は
決してしないがね そんなことしたら面目失墜
ところでGoogle Chromeからでも書ける筈 やってみ？
ま、アホの１を喜ばせても意味がないが
893:１３２人目の素数さん
23/07/14 06:00:08.90 2YsCGN8w.net
>>835
>時枝は、ボチボチやります（＾＾
中卒ニホンザルの１には無理だからやめとけ
決定番号が必ず自然数になることも分からん人間失格のサルには死ぬまで理解できんよ
894:１３２人目の素数さん
23/07/14 06:03:57.27 2YsCGN8w.net
１．決定番号は必ず自然数になる
→サル１は、ほとんどすべての数列で決定番号∞、とお馬鹿発言
２．いかなる決定番号でもその先の尻尾が存在し、箱入り無数目戦略成功
→サル１は、決定番号∞なら、その先の尻尾がないから、箱入り無数目戦略失敗、と発●
要するに、サル１は
「いかなる有限列でも最後の箱が存在するなら
（おサル１の）数学的帰納法により、
無限列でも最後の箱が存在する
一点コンパクト化は自動的に実現！」
と嘘馬鹿発言を絶叫し発●
895:１３２人目の素数さん
23/07/14 06:09:37.59 2YsCGN8w.net
箱の中身が確率変数となるとき、証明できないのは
「どの列を選んでも同じ確率で外れる」
これはそもそも非可測だからそうなるのであって、決して
「どの列を選んでも外れる確率１」
ということではない（もしそうなったら矛盾する）
896:１３２人目の素数さん
23/07/14 06:11:31.96 2YsCGN8w.net
ということで、サル１はいいたいことがあるなら
昼間大してない仕事サボって書き込みやがれ
夜になったら一つ残らず焼き尽くしてやるから
897:１３２人目の素数さん
23/07/14 08:04:50.36 IKnEuek7.net
>>840
>昼間大してない仕事サボって書き込みやがれ
>夜になったら一つ残らず焼き尽くしてやるから
ああ、やはりな
ひきこもから、仕事についたか
それは、良いことだな
ところで、>>836
> OTはなんか１を愛してるみたいだから
> １に不利な発言（箱入り無数目の肯定）はしないらしい
>もっとも数学として間違った発言（箱入り無数目の否定）は
>決してしないがね
OT氏かどうか知らないが
あんたが煽って、「図書」で時枝氏の記事を読んだら（読もうとしたら？ｗ）
体調がわるくなったみたいなコメントを書かせたろう？
細かいことは忘れたが、あんたなら覚えているだろう？ｗｗ
もう一度、その文章をじっくり読み返してみなよ
”数学として間違った発言（箱入り無数目の肯定）”と
私は解釈しましたけどねｗ
これ以上は書けない
万一、彼が時枝氏から逆恨みされたら、Y氏事件の二の舞
時枝氏から「間違った記事を書いてごめんなさい」と謝ってくるのが本当だが
世の中そんな甘いものではない
突然復讐文書をバラ撒かれる危険を冒すこともない
それが賢明な打ち方だろう
898:１３２人目の素数さん
23/07/14 08:09:22.14 IKnEuek7.net
>>836
>ところでGoogle Chromeからでも書ける筈 やってみ？
それは、もともとGoogle Chromeだったんだが
例のJane Styleの山下氏の主張を、無理矢理（URLが通らないのを、ちょっと改変して）投稿したんだ
そしたら、その直後から、「あなたはもう書き込めません」と出るようになったんだｗｗ
そのうち、なんとかしますよ（＾＾
899:１３２人目の素数さん
23/07/14 10:08:02.60 hevzppx5.net
>>841
サルが時枝証明のギャップを指摘できず発狂してるｗ
900:１３２人目の素数さん
23/07/14 10:20:17.80 wSS0aXr7.net
時枝証明？
901:１３２人目の素数さん
23/07/14 16:29:16.86 2v7SFEOx.net
今まで散々、時枝記事の「書き換え」をやってきたスレ主が、
IUT論文の書き換えは容認できないらしい
立場が一貫していない
902:１３２人目の素数さん
23/07/14 16:30:50.71 2v7SFEOx.net
非正則分布だの有限列だの、時枝記事をあの手この手で「書き換え」したがるのは、
時枝記事そのもののギャップをずばり指摘できないからである
自分でそんな「書き換え」を頻繁に行っておきながら、SS文書に関しては
「IUT論文の書き換えだから無効。文句があるなら直接的に矛盾を指摘しろ」
という立場を取っている
バカじゃないの
903:１３２人目の素数さん
23/07/14 18:04:39.43 iSiI/8dQ.net
>>843-844
どうもです
スレ主です
”時枝証明？”というツッコミが入りました
疑問符つき証明＝”時枝証明？”かな
904:１３２人目の素数さん
23/07/14 18:26:02.83 hevzppx5.net
>>847
あの耄碌爺さんなら読んでも理解できずに逃げた
ツッコミ？何妄想してんだこのサルは
905:１３２人目の素数さん
23/07/14 18:38:12.15 iSiI/8dQ.net
>>844-845
ありがとね
下記で、指導碁やっているので、見に行くわｗｗ
ｽﾚﾘﾝｸ(math板:314番)-316
906:１３２人目の素数さん
23/07/14 21:44:59.40 2v7SFEOx.net
>>849
スレ主はやたらと
「高名な数学者が雑魚を相手にして適当にあしらっている。指導碁である」
という構図に持ち込みたがっているが、それならSS文書だって
「一般的な数学者の間ではSS文書で決着がついていて、もやはIUTは相手にされてない」
という構図なんだよな。
でも、スレ主はそれは認めたくないと。・・・スレ主、ここでも立場が一貫してない。
907:１３２人目の素数さん
23/07/14 23:00:41.85 hevzppx5.net
本当に高名な数学者なのかね
箱入り無数目から逃げるくらいだから怪しいもんだね
908:１３２人目の素数さん
23/07/14 23:12:28.49 L0Rnb5l6.net
>>851
そうそう
909:１３２人目の素数さん
23/07/15 09:03:30.87 CXkqKxb9.net
>>851
まあ、モンティ・ホール問題を誤解したエルデシュみたいなもんだな
専門バカは往々にして自分の研究以外は、初等的なことでも初歩的誤解をする
岡潔なんか世間的常識は皆無で実に時代錯誤的なトンチンカン発言ばかりしてた
それを時代錯誤的な男尊女卑的排外的国家馬鹿が礼賛する
910:１３２人目の素数さん
23/07/15 09:11:10.40 Ec14JBnA.net
>>853
>>実に時代錯誤的なトンチンカン発言
週刊朝日の最終号でもその一つが紹介されていた
まだ需要は尽きないようだ
911:１３２人目の素数さん
23/07/15 10:09:53.06 CXkqKxb9.net
>>854
いつの世でも自分だけがカワイイ、ジコチュウザルっているもんな
でもそんなヤツは他人から鼻つまみものとして避けられてる
912:１３２人目の素数さん
23/07/27 04:08:13.76 8V+6lW/C.net
ax=0⇔a=0∨x=0
913:１３２人目の素数さん
23/07/27 04:08:55.04 8V+6lW/C.net
空でない部分集合W
914:１３２人目の素数さん
23/07/27 04:13:35.62 8V+6lW/C.net
線型部分空間
915:１３２人目の素数さん
23/07/27 04:14:04.88 8V+6lW/C.net
部分線型空間
916:１３２人目の素数さん
23/07/27 04:15:55.24 8V+6lW/C.net
<S>線型結合
917:１３２人目の素数さん
23/07/27 04:16:54.06 8V+6lW/C.net
線型独立
918:１３２人目の素数さん
23/07/27 04:17:08.19 8V+6lW/C.net
線型従属
919:１３２人目の素数さん
23/07/27 04:18:17.13 8V+6lW/C.net
線型関係
線型結合=0
920:１３２人目の素数さん
23/07/27 04:19:03.08 8V+6lW/C.net
SをVの基底
921:１３２人目の素数さん
23/07/27 04:20:34.35 8V+6lW/C.net
dimV=n
次元
922:１３２人目の素数さん
23/08/03 05:39:15.44 mhAgfO2R.net
有限次元Vector空間
923:１３２人目の素数さん
23/08/03 05:41:43.74 mhAgfO2R.net
φ: 𝕍→ℝ
VectorからScalarへ
924:１３２人目の素数さん
23/08/03 05:42:36.94 mhAgfO2R.net
線型性
925:１３２人目の素数さん
23/08/03 05:43:20.16 mhAgfO2R.net
和とScalar倍
926:１３２人目の素数さん
23/08/03 05:44:25.46 mhAgfO2R.net
線型汎関数
927:１３２人目の素数さん
23/08/03 05:45:19.08 mhAgfO2R.net
Vector変数の実数値関数
928:１３２人目の素数さん
23/08/03 05:46:44.51 mhAgfO2R.net
線型汎関数の線型性
929:１３２人目の素数さん
23/08/03 05:48:48.54 mhAgfO2R.net
(φ+ψ)(x)=φ(x)+ψ(x)
(αφ)(x)=αφ(x)
でそれぞれ定義する
930:１３２人目の素数さん
23/08/03 05:58:52.68 mhAgfO2R.net
和に関する線型性
931:１３２人目の素数さん
23/08/03 06:06:32.46 mhAgfO2R.net
和
(φ+ψ)(x+y)=φ(x+y)+φ(x+y)
x+yに対する写像の和=和の写像
=φ(x)+φ(y)+ψ(x)+ψ(y)
Vectorの和の写像=Vectorの写像の和
=(φ+ψ)(x)+(φ+ψ)(y)
写像の和の定義
=(φ+ψ)(x+y)
線型写像の定義
932:１３２人目の素数さん
23/08/03 06:10:20.62 mhAgfO2R.net
(φ+ψ)(αx)
=φ(αx)+φ(αx)
写像の和の定義
=αφ(x)+αψ(x)
Scalar倍の写像の定義
=α(φ(x)+ψ(x))
=α(φ+ψ)(x)
写像の和の定義
933:１３２人目の素数さん
23/08/03 06:13:44.04 mhAgfO2R.net
Scalar倍の線型性
934:１３２人目の素数さん
23/08/03 06:32:13.18 noyatqOI.net
和について
α(φ)(x+y)
α(φ(x)+φ(y))
φの線型性
=αφ(x)+αφ(y)
=(αφ)(x)+(αφ)(y)
Scalar倍
(αφ)(βx)=αφ(βx)
φの定義
=αβφ(x)
φの線型性
=β(αφ(x))=β(αφ)x
写像のScalar倍の定義
935:１３２人目の素数さん
23/08/12 08:52:32.81 fmL7VjG2.net
１ 敗北
ま、裁判で死刑宣告の後 処刑か
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%97%E3%83%AC%E3%82%B9%E3%83%A9%E3%83%95%E5%85%AC)
936:１３２人目の素数さん
23/08/12 09:25:47.29 fmL7VjG2.net
１の「辞世の句」はまだか？
937:１３２人目の素数さん
23/08/12 09:51:48.52 fmL7VjG2.net
鳴かぬなら
938:１３２人目の素数さん
23/08/12 09:52:04.83 fmL7VjG2.net
殺してしまえ
939:１３２人目の素数さん
23/08/12 09:52:16.84 fmL7VjG2.net
ホトトギス
940:１３２人目の素数さん
23/08/12 09:52:41.26 fmL7VjG2.net
やたら短気な織田信長
941:１３２人目の素数さん
23/08/12 09:53:08.43 fmL7VjG2.net
そのせいで明智光秀に恨まれてブッ●される
942:１３２人目の素数さん
23/08/12 10:04:56.53 fmL7VjG2.net
鳴かぬなら
943:１３２人目の素数さん
23/08/12 10:05:08.69 fmL7VjG2.net
鳴かせてみせよう
944:１３２人目の素数さん
23/08/12 10:05:24.31 fmL7VjG2.net
ホトトギス
945:１３２人目の素数さん
23/08/12 10:06:01.79 fmL7VjG2.net
やたらやりたがる豊臣秀吉
946:１３２人目の素数さん
23/08/12 10:06:49.74 fmL7VjG2.net
そのせいで腎虚でおっ●ぬ 秀頼が誰の子かわかったもんじゃない
947:１３２人目の素数さん
23/08/12 11:39:34.77 //VgqduW.net
スレ主です
別スレで議論していましたが
論争が終結しましたので
簡単にまとめを貼ります
(引用開始)
純粋・応用数学・数学隣接分野（含むガロア理論）15
ｽﾚﾘﾝｸ(math板:169番)
169１３２人目の素数さん
2023/08/12(土) 08:18:43.68ID://VgqduW
>>158-159
>きみの敗北宣言
はい、ありがとうございます
スレ主です
謎のプロ数学者氏の「(相手の)敗北宣言」判定が出ました
よって、ここに”時枝「箱入り無数目」”論争の終結宣言をします
あとは、スレタイ 箱入り無数目を語る部屋7 へ移ります
ｽﾚﾘﾝｸ(math板)
スレタイ 箱入り無数目を語る部屋7 に
簡単なまとめを書いていきます
皆様
ご苦労さまでした
(引用終り)
948:１３２人目の素数さん
23/08/12 11:42:23.22 //VgqduW.net
<追加>
(引用開始)
純粋・応用数学・数学隣接分野（含むガロア理論）15
ｽﾚﾘﾝｸ(math板:151番)
151１３２人目の素数さん
2023/08/11(金) 22:50:58.84ID:TUfRZ5up
>>147-150
スレ主です
言いたいことは、それだけかな？ｗ
では、こちらから
マジックでは「種も仕掛けもありません」
は常套句です
(参考)
URLﾘﾝｸ(youtu.be)
貫通マジック種明かし
日本一のマジシャン ポンチ 2023/03/15
@user-nd3fd3jq2e
4 か月前
マジックって凄いですね。
目から鱗です
(引用終り)
さて、衆目の一致するところ
時枝「箱入り無数目」の種と仕掛けは、決定番号です
要するに、99列の箱を開けて、99個の決定番号を得て
その最大値dmaxを得る
残りの1列のしっぽで、dmax+1以降の箱を開けて
しっぽの情報から、残りの1列の同値類の代表を得る
この代表による決定番号をdとして
d ＜ dmax であれば、代表のdmax番目の箱の中の数と
残りの1列のdmax番目の箱の中の数とが一致して、めでたく的中ですがｗ
しかし、これがトリックで
決定番号の集合Dは、自然数Nと同様、非正則事前分布�
949:ﾈのです 平均値が発散しているので 確率的には「dmax ＜ d」となります （要するに、開けてしまった列の決定番号dmax ＜ 未開封の列の決定番号d となります） （更に付言すれば、未開封の列の決定番号dの期待値が、非正則事前分布では発散しているので、「dmax ＜ d」ってことです） これは、平均値が発散していることによるパラドックスです （詳しくは>>110をご参照下さい） (参考)>>32より https://rio2016.5ch.net/test/read.cgi/math/1674744315/221 https://ai-trend.jp/basic-study/bayes/improper_prior/ 2020/04/14 AVILEN Inc. 非正則事前分布とは？ 完全なる無情報事前分布 ライター：古澤嘉啓 （全体Ωが発散しているので）確率の和が1ではありません （注：ここでの非正則事前分布は、一様分布の範囲を→∞に拡大したものです） (引用終り)
950:１３２人目の素数さん
23/08/12 15:56:11.97 fmL7VjG2.net
>>891 内容ゼロ
>>892
>決定番号の集合Dは、自然数Nと同様、非正則事前分布なのです
>これは、平均値が発散していることによるパラドックスです
はい、問題取り違え
（完）
951:１３２人目の素数さん
23/08/12 15:58:09.29 fmL7VjG2.net
ID://VgqduWこと自称スレ主は「箱入り無数目」を以下の「似て非なる問題」と取り違えた
・出題者は無限個の箱に自然数で番号づけして一列に並べる
・そして箱の中に実数を入れる もちろん任意に そして箱を閉じる
・回答者は、「１」と書かれた最初の箱だけ閉じて「２」以降の箱を全部開け、
その情報から「１」の箱の中身を当てる
さて回答者が勝てる戦略は存在するでしょうか？
952:１３２人目の素数さん
23/08/12 16:00:34.55 fmL7VjG2.net
>>894の偽「箱入り無数目」には勝てる戦略はなさそう
箱が決められているので、代表元をどうとるかしか考えようがないが
ランダムに選んだ場合、どう選んでも「１」の箱の中身と一致する代表元を選ぶ確率は０
しかし、これは真「箱入り無数目」とは全く異なる！
953:１３２人目の素数さん
23/08/12 16:00:56.03 fmL7VjG2.net
鳴かぬなら
954:１３２人目の素数さん
23/08/12 16:01:09.02 fmL7VjG2.net
鳴くまで待とう
955:１３２人目の素数さん
23/08/12 16:01:19.23 fmL7VjG2.net
ホトトギス
956:１３２人目の素数さん
23/08/12 16:01:42.27 fmL7VjG2.net
やたら長生きな徳川家康
957:１３２人目の素数さん
23/08/12 16:02:57.20 fmL7VjG2.net
そのせいで信長・秀吉はもちろん、三成も淀殿も死んでった
ま、後の二人は半分は家康が死に追いやったようなもんだがもう半分は自分から死にに行ったも同然
958:１３２人目の素数さん
23/08/12 22:37:39.73 Mm3ulIKD.net
>>895
>>箱が決められているので、代表元をどうとるかしか考えようがないが
>>ランダムに選んだ場合、どう選んでも「１」の箱の中身と一致する代表元を選>>ぶ確率は０
>>しかし、これは真「箱入り無数目」とは全く異なる！
強弁に過ぎない
959:１３２人目の素数さん
23/08/13 05:46:44.84 Qbmep8Ce.net
>>901 ああ、やっぱり問題をとりちがえてたんだね 粗忽だね
960:１３２人目の素数さん
23/08/13 06:25:07.02 gabGMOBa.net
>>902
それこそが強弁
961:１３２人目の素数さん
23/08/13 08:16:01.60 Qbmep8Ce.net
>>903 それこそが強弁
962:１３２人目の素数さん
23/08/13 08:20:24.60 fp+zEDme.net
ID:gabGMOBaは箱入り無数目記事を読まないのになんで箱入り無数目スレに出没するんだろ？
頭おかしいのかな？
963:１３２人目の素数さん
23/08/13 08:54:08.85 gabGMOBa.net
>>905
不正が横行するのを見過ごせないから
964:１３２人目の素数さん
23/08/13 09:08:09.54 fp+zEDme.net
>>906
記事も読まない輩がどうして不正と判断つけらえるの？
965:１３２人目の素数さん
23/08/13 09:08:49.75 fp+zEDme.net
>>906
やはりあんた頭おかしいね
966:１３２人目の素数さん
23/08/13 09:22:58.10 Qbmep8Ce.net
>>906 読み間違いを「正しい」と思い込んでるID:gabGMOBaこそ不正なわけだが
967:１３２人目の素数さん
23/08/13 09:25:48.00 Qbmep8Ce.net
「箱入り無数目」戦争は、いいがかりをつけた人らが問題を取り違えていた
とわかったので、このスレはここで終わ�
968:�
969:１３２人目の素数さん
23/08/13 11:26:43.70 qMpmItNG.net
>>910
問題はこれ↓
取り違えようがないように思うが
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
これのどこを読んだら「一般には箱の中の数はすべて違う」という前提が
含まれていると思えるのだろうか
970:１３２人目の素数さん
23/08/13 12:59:59.05 fp+zEDme.net
>>911
箱の中身は任意の実数
以上だ 失せろ
971:１３２人目の素数さん
23/08/13 13:42:14.94 Qbmep8Ce.net
>>911
>問題はこれ↓
>取り違えようがないように思うが
でもあなたはこれを無視して、>>894のように、勝手に箱を１つ決めつけた
「どの箱を閉じたまま残すかはあなたが決めうる.」
あなたが取り違えた あなた一匹の負けだ エテ公
972:１３２人目の素数さん
23/08/14 00:32:56.54 3uOM3Iey.net
複素数と実数は同じ
973:１３２人目の素数さん
23/08/14 00:34:00.80 3uOM3Iey.net
i²=-1
974:１３２人目の素数さん
23/08/14 00:34:42.33 3uOM3Iey.net
α+iβ
975:１３２人目の素数さん
23/08/14 00:35:34.04 3uOM3Iey.net
実部虚部
976:１３２人目の素数さん
23/08/14 00:36:36.87 3uOM3Iey.net
実数純虚数
977:１３２人目の素数さん
23/08/14 00:36:45.39 3uOM3Iey.net
実数純虚数
978:１３２人目の素数さん
23/08/14 00:38:11.86 3uOM3Iey.net
0は実数、0は純虚数
979:１３２人目の素数さん
23/08/14 00:43:58.14 3uOM3Iey.net
四則演算に関して閉じている
980:１３２人目の素数さん
23/08/14 00:44:17.52 3uOM3Iey.net
0で割ることを除く
981:１３２人目の素数さん
23/08/14 00:44:30.56 3uOM3Iey.net
逆数
982:１３２人目の素数さん
23/08/14 00:46:53.00 3uOM3Iey.net
1
i
-1
-i
983:１３２人目の素数さん
23/08/14 01:01:54.26 3uOM3Iey.net
初等関数
984:１３２人目の素数さん
23/08/14 01:02:07.82 3uOM3Iey.net
特殊関数
985:１３２人目の素数さん
23/08/14 01:02:24.08 3uOM3Iey.net
冪関数
986:１３２人目の素数さん
23/08/14 01:02:41.08 3uOM3Iey.net
Bessel関数
987:１３２人目の素数さん
23/08/14 01:03:55.44 3uOM3Iey.net
y=f(x)
988:１３２人目の素数さん
23/08/14 01:04:23.23 3uOM3Iey.net
f: x→y
989:１３２人目の素数さん
23/08/14 01:06:47.21 3uOM3Iey.net
独立変数
990:１３２人目の素数さん
23/08/14 01:07:24.16 3uOM3Iey.net
従属変数
991:１３２人目の素数さん
23/08/14 01:08:03.76 3uOM3Iey.net
定義域
992:１３２人目の素数さん
23/08/14 01:08:31.29 3uOM3Iey.net
値域
993:１３２人目の素数さん
23/08/14 01:10:48.57 3uOM3Iey.net
実関数
994:１３２人目の素数さん
23/08/14 01:11:10.02 3uOM3Iey.net
Graph
995:１３２人目の素数さん
23/08/14 01:15:57.50 3uOM3Iey.net
w=f(z)
996:１３２人目の素数さん
23/08/14 01:24:02.36 3uOM3Iey.net
複素変数関数
997:１３２人目の素数さん
23/08/14 01:24:16.03 3uOM3Iey.net
複素痒数
998:１３２人目の素数さん
23/08/14 01:29:38.82 3uOM3Iey.net
e^iθ 実数θから複素数への関数
999:１３２人目の素数さん
23/08/14 01:43:39.67 3uOM3Iey.net
複素数、点、、Vector
1000:１３２人目の素数さん
23/08/14 02:13:51.78 3uOM3Iey.net
連続性
1001:１３２人目の素数さん
23/08/14 02:14:35.69 3uOM3Iey.net
z→cの時, f(z)→f(c)
1002:１３２人目の素数さん
23/08/14 02:22:12.92 3uOM3Iey.net
∀ε>0、∃δ>0、
|z-c|<δ⇒、|f(z)-f(c)|<ε
1003:１３２人目の素数さん
23/08/14 02:29:25.01 3uOM3Iey.net
δ近傍
1004:１３２人目の素数さん
23/08/14 02:30:08.70 3uOM3Iey.net
代入して成り立つこと
1005:１３２人目の素数さん
23/08/14 02:30:12.44 3uOM3Iey.net
代入して成り立つこと
1006:１３２人目の素数さん
23/08/14 02:35:31.68 3uOM3Iey.net
拡大K/F
1007:１３２人目の素数さん
23/08/14 02:35:43.59 3uOM3Iey.net
拡大体K
1008:１３２人目の素数さん
23/08/14 02:36:06.62 3uOM3Iey.net
部分体F
1009:１３２人目の素数さん
23/08/14 02:37:56.79 3uOM3Iey.net
Kは係数体Fの上の線型空間
1010:１３２人目の素数さん
23/08/14 02:38:52.61 3uOM3Iey.net
有限次拡大
1011:１３２人目の素数さん
23/08/14 02:40:08.16 3uOM3Iey.net
拡大次数
1012:１３２人目の素数さん
23/08/14 02:40:26.76 3uOM3Iey.net
[K: F]
1013:１３２人目の素数さん
23/08/14 02:41:18.92 3uOM3Iey.net
F上の代数方程式
1014:１３２人目の素数さん
23/08/14 02:41:31.40 3uOM3Iey.net
根
1015:１３２人目の素数さん
23/08/14 02:42:30.47 3uOM3Iey.net
代数的
1016:１３２人目の素数さん
23/08/14 02:42:43.11 3uOM3Iey.net
超越的
1017:１３２人目の素数さん
23/08/14 02:43:21.66 3uOM3Iey.net
代数拡大
1018:１３２人目の素数さん
23/08/14 02:43:48.85 3uOM3Iey.net
超越拡大
1019:１３２人目の素数さん
23/08/14 02:46:46.47 3uOM3Iey.net
拡大K/Fの中間体
1020:１３２人目の素数さん
23/08/14 02:47:03.66 3uOM3Iey.net
K→L→F
1021:１３２人目の素数さん
23/08/14 02:48:22.92 3uOM3Iey.net
添加F(S)
1022:１３２人目の素数さん
23/08/14 02:50:32.10 3uOM3Iey.net
体はF(S)
環はF[S]
1023:１３２人目の素数さん
23/08/14 02:51:12.19 3uOM3Iey.net
単純拡大
1024:１３２人目の素数さん
23/08/14 02:51:24.50 3uOM3Iey.net
単拡大
1025:１３２人目の素数さん
23/08/14 02:52:03.67 3uOM3Iey.net
１つだけ添加した体
1026:１３２人目の素数さん
23/08/14 02:53:06.75 3uOM3Iey.net
F(α)/F
1027:１３２人目の素数さん
23/08/14 02:55:03.23 3uOM3Iey.net
単純代数拡大→有限次拡大→代数拡大
1028:１３２人目の素数さん
23/08/14 02:56:00.01 3uOM3Iey.net
素体素数
1029:１３２人目の素数さん
23/08/14 02:58:15.49 3uOM3Iey.net
必ず
P≅ℚまたはP≅ℤₚ
1030:１３２人目の素数さん
23/08/14 02:58:51.18 3uOM3Iey.net
必ず
P≅ℚまたはP≅ℤₚ
任意の数体の標数は0
1031:１３２人目の素数さん
23/08/14 02:59:35.46 3uOM3Iey.net
chK=0、chK=p
1032:１３２人目の素数さん
23/08/14 03:10:23.23 3uOM3Iey.net
KとK'はFの拡大体
1033:１３２人目の素数さん
23/08/14 03:11:55.45 3uOM3Iey.net
φ: K→K'
Fの元を不変に保つ
1034:１３２人目の素数さん
23/08/14 03:13:39.08 3uOM3Iey.net
単射準同型g: α→α^g
α∈K
1035:１３２人目の素数さん
23/08/14 03:14:13.92 3uOM3Iey.net
F単射準同型
1036:１３２人目の素数さん
23/08/14 03:15:48.67 3uOM3Iey.net
K'の上への単射準同型ならば
F同型写像
1037:１３２人目の素数さん
23/08/14 03:16:21.34 3uOM3Iey.net
K=K'ならばF自己同型写像
1038:１３２人目の素数さん
23/08/14 03:18:13.26 3uOM3Iey.net
準同型写像→同型写像→自己同型写像
1039:１３２人目の素数さん
23/08/14 03:18:39.19 3uOM3Iey.net
単射+全射→全単射
1040:１３２人目の素数さん
23/08/14 03:19:21.64 3uOM3Iey.net
α→αg
1041:１３２人目の素数さん
23/08/14 03:20:17.85 3uOM3Iey.net
拡大K/Fにおいて
1042:１３２人目の素数さん
23/08/14 03:21:34.81 3uOM3Iey.net
KのF自己同型全体G(K/F)
1043:１３２人目の素数さん
23/08/14 03:23:50.29 3uOM3Iey.net
Kの自己同型群A(K)G(K/F)はA(K)の部分群
1044:１３２人目の素数さん
23/08/14 03:24:51.79 3uOM3Iey.net
拡大K/FのGalois群
1045:１３２人目の素数さん
23/08/14 03:26:21.08 3uOM3Iey.net
KのF自己同型全体
1046:１３２人目の素数さん
23/08/14 03:28:04.77 3uOM3Iey.net
L￮K/LのGalois群
1047:１３２人目の素数さん
23/08/14 03:29:25.41 3uOM3Iey.net
H￮Hの？不変体
1048:１３２人目の素数さん
23/08/14 03:31:01.33 3uOM3Iey.net
Lは任意の中間体
1049:１３２人目の素数さん
23/08/14 03:32:11.27 3uOM3Iey.net
￮K/FのGalois対応
1050:１３２人目の素数さん
23/08/14 03:33:30.59 3uOM3Iey.net
F￮=G
1051:１３２人目の素数さん
23/08/14 03:34:02.00 3uOM3Iey.net
K￮={e}
1052:１３２人目の素数さん
23/08/14 03:34:55.38 3uOM3Iey.net
有限次Galois拡大
1053:１３２人目の素数さん
23/08/14 03:35:45.53 3uOM3Iey.net
G￮=Fの時,
1054:１３２人目の素数さん
23/08/14 03:36:09.49 3uOM3Iey.net
F=F￮￮
1055:１３２人目の素数さん
23/08/14 03:37:24.75 3uOM3Iey.net
F￮￮=Fの時, Galois拡大
1056:１３２人目の素数さん
23/08/14 03:38:11.86 3uOM3Iey.net
|G|=[K: F]
1057:１３２人目の素数さん
23/08/14 03:38:42.84 3uOM3Iey.net
Galois理論の、基本定理,
1058:１３２人目の素数さん
23/08/14 03:40:08.04 3uOM3Iey.net
Lは中間体
1059:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 199日 3時間 54分 53秒
1060:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています