探検


スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7w)

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2026/09/02(水) 15:29:33.73ID:u1CGxOVX
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1786586164/
前スレ スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6w)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目(数学セミナー201511月号の記事)の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学(含むガロア理論)8 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

2.続けて時枝はいう
 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
〜は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.
つまりsd,sd+1,sd+2,・・・を知ればsの類の代表r は決められる.
更に,何らかの事情によりdが知らされていなくても,あるD>=d についてsD+1, sD+2,sD+3,・・・
が知らされたとするならば,それだけの情報で既に r = r(s)は取り出せ, したがってd= d(s)も決まり,
結局sd (実はsd,sd+1,・・・,sD ごっそり)が決められることに注意しよう.
(補足)
sD+1, sD+2,sD+3,・・・:ここでD+1などは下付添え字

つづく
30132人目の素数さん
垢版 |
2026/09/02(水) 16:01:50.96ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/577
2026/08/30
>箱入りが
>>P(h(Y)>h(Z))=1/2
>を仮定している箇所を記事から抜粋してみて

1)”P(h(Y)>h(Z))=1/2”が、>>576 "対称性からn1<n2となる確率は1/2以下"と
 同じ意味だということは、理解できるかい?w (^^
2)そして、都築暢夫 広島大の 視点
 可算無限列としっぽ同値の関係を 形式的冪級数環と多項式環との関係に置き換えて
 かんがえることができることは説明した
 箱入りが、実数環Rで 札付きが 剰余環 Z/6Zな
 あとは >>576 を 百回音読してね(^^
3)あと >>1 時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目(数学セミナー201511月号の記事)の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号の記事)の最後

ここで 記事の最後のページの左下段で
『Rより一般に,勝手な集合Sの元の無限列S^Nを使
った構成も異曲同工.特に,{O,1]^N を使ってシュレー
ディンガーの猫みたいなお話が紡げる.』
とある。
S=[1,2,3,4,5,6] とサイコロの目にすれば 札付きになる■
31132人目の素数さん
垢版 |
2026/09/02(水) 16:02:24.06ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/615
2026/08/30
ID:ezuEMoAaは、弥勒菩薩さまか
数学オチコボレのおサルさん>>35たち をお救い下さい!!(^^

>>606-607
(引用開始)
設定が誤解されやすいのは確かだが
文章を正しく読めば
出題や同値類の代表の選出は確率事象ではなく
回答者が100列から1列を選ぶことだけが
唯一文中で明記された確率事象である
と分かる
故に似非専門家は文章を読まずに前提を取り違えたと分かる
(引用終り)

ここは中高一貫生も来るから
ハッキリと赤ペン書いておく
<反証>
1)まず(私の心に残った数学の本)「私の数学勉強法」西大和学園中学校・高等学校教諭 光永文彦 2016年 https://ten.tokyo-shoseki.co.jp/detail/88944/
 これ 私も読みました
 その中で、ミニモデルを作って考えるというのがあって 大変印象に残っている(^^
2)さて、いま 箱が3つのミニモデルを考えて、ここに札付きと同様に
 サイコロの目を入れるとする
 s1,s2,s3 (si=1〜6)
 しっぽ同値として、s3が一致している同値類を考える
 s3を開ける。s3=1〜6のどれかだ
 しっぽ同値類の2番目をs'2として s'2=s2の確率1/6 (サイコロの確率の理論通り)
 (箱に入れる数を増やして 1〜m (m>6)でも同様だが 詳細は略す)
3)一般化して 列の長さL∈N (L≧3)でも同じで 即ち 最後の箱の一致を得て 同値類が決まり
 最後より一つ手前の箱が 一致する代表と一致する確率は1/6 (理論通り)
4)さて L→∞の極限を考えると 札付き 及び 箱入り無数目の列長さと同じになる
 このとき、列のしっぽ部分は無限の彼方であり 有限決定番号dと しっぽ部分との間には 可算無限個の箱がある
 サイコロの目で
 有限決定番号dが得られる確率は lim n→∞ (1/6)^n =0 ■
 ゆえに、有限決定番号dが得られる確率は0
5)次に、上記2)で 箱に入れる数を 1〜m (m>6)の場合
 1/6→1/m となって 任意自然数 m∈Nでは lim m→∞ (1/m) =0 となる
 これは mが可算無限の場合
 箱入り無数目では r∈R で連続無限 同じく 確率0■

まとめると
1)列長さL有限で かつ 箱に入れる数 m が有限ならば 札付き乃至箱入り無数目のしっぽ同値による数当ては
 確率の理論値と一致する■
2)一致しないのは、 列長さL→∞の場合
 あるいは 箱に入れる数 m が 無限の場合(念押しだが 箱に入れる数は一様な分布を仮定している)
3)なお、札付きは 列長さL→∞の場合なのでアウト
 箱入り無数目は、列長さL→∞ かつ 箱に入れる数が連続無限で 二重にアウト■
以上
32132人目の素数さん
垢版 |
2026/09/02(水) 16:02:55.82ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/623
2026/08/30

1)小話その1
学生1:先生 円周率πに収束する新しい級数を考えました
先生:うん? ちょっと何項か試算すると 円周率πと合わない。
 符合間違いあるんじゃないか?
学生1:先生 ご指摘の通りで 符合間違いありました
チャンチャン
お後が宜しいようで チャンチャンww
要するに
ミニモデル>>615で 少し計算してみると 全く合わない
そこらを、弥勒菩薩さまは 指摘している(^^
なんか誤魔化しがあるんじゃないの?とw

2)
選択公理の役割は、>>4より
https://imgur.com/njEDHkd
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 4 P62 251220.jpg
(抜粋)
ここでのセリフ:
「選択公理ねぇ・・」
「いやな予感がするなあ」
「というか 変なことが起きる気がしますなあ」
「気がしますねぇ」
『と思うのが数学をやっている人の気持ちである』
(そうなん?)
(この後選択公理の説明へ続く)
という具合に
”数学をやっている人の気持ち”として
”変なことが起きる気がしますなあ”を 惹起して
「変なことが起きても 選択公理ならありえる」という
手品のタネを仕込んでいるわけよw

まあ
弥勒菩薩さまくらいの熟達者でないと
数学科のオチコボレの低レベルでは このダマシにコロリだw (^^;
33132人目の素数さん
垢版 |
2026/09/02(水) 16:03:27.14ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/660-661
2026/08/31
>(ランダムってのは確率空間の話では?定義も無くてランダムとはね)

素人か(^^
下記乱数分かりますか?
乱数も知らずに 箱入り無数目を論じるかね?w

箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
箱入り無数目で当てられるとすれば、乱数の定義に反する
まさに 盾と矛 矛盾なり!

真の乱数列とは? 他の数を見ても 当てることはできない!!
他の数を見て 当てることができるならば・・、それは真乱数ではない!!www

まあ、素人には理解できないだろうね
(この議論は、10年以上前 箱入り無数目の初期に書いている)

余談
このときに、当時広大の松本眞先生の メルセンヌ ツイスト(下記)
を紹介した

(参考)
https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%AB%E3%82%BB%E3%83%B3%E3%83%8C%E3%83%BB%E3%83%84%E3%82%A4%E3%82%B9%E3%82%BF
メルセンヌ・ツイスタ (Mersenne twister、通称MT) は擬似乱数列生成器 (PRNG) の1つである。従来の疑似乱数列生成手法にある多くの欠点を克服し、高品質の疑似乱数列を高速に生成できるものとして、1996年に松本眞と西村拓士によって国際会議で発表された(1998年1月に論文掲載)。考案者らによる実装が修正BSDライセンスで公開されている。

https://ja.wikipedia.org/wiki/%E4%B9%B1%E6%95%B0%E5%88%97
乱数列(らんすうれつ)とはランダムな数列のこと。 数学的に述べれば、今得られている数列
{\displaystyle x_{1},x_{2},\dots ,x_{n}} から次の数列の値
{\displaystyle x_{n+1}} が予測できない数列。乱数列の各要素を乱数(らんすう)という。もう少し具体的には、漸化式や関数で定義できない数列を構成する数を乱数ということもできる。
擬似乱数列と真の乱数列
以上のような、確定的な計算により生成される擬似的な乱数列に対して、(十分に[1])本質的に確率的な自然現象・物理現象を基にして作られる乱数列を「真の乱数」「自然乱数」「物理乱数」などという
34132人目の素数さん
垢版 |
2026/09/02(水) 16:03:52.30ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/682
2026/08/31
>そもそも出題は確率事象でないので

>>4 数字であそぼ 第76話 札付きの定理より
サイコロの確率事象ですよww
https://imgur.com/1E6b4P9 >>4

>「全体R^Nでは各尻尾同値類は可測集合でコルモゴロフの0-1法則により測度0」
>に 内心では賛成しているのだが・・

まず 前振り
昔「大学への数学」という有名 受験数学雑誌で
『牛刀を用いて 鶏をさく』という記事があった
つまり、大学入試の出題が 実は 大学数学教科書の大定理の簡単な例で
それを計算で解こうとすると、ちょっとした計算量になるという話

いまの場合、大定理が ”コルモゴロフの0-1法則”で、
”コルモゴロフの0-1法則”が良く分かっていれば、こいつを箱入り無数目に適用できる
が 少し見方をかえると この牛刀を用いずとも 鶏を 料理できることが分かる

つまり
数字であそぼ 第76話 札付きの定理 >>4で
”サイコロの目の並び{1,2,3,4,5,6}^Nに
有限個の違いを無視する同値関係を入れる
そしてその各同値類について代表元を選んでおく(選択公理により可能)
 ・・・
1列目が一致し始めるのがn1個目とする *)
2列目についてその代表元が一致し始めるのが
n2番目とする”
とある
さて これで
・上記「有限個の違いを無視する同値関係」とは
 ”可算無限長のサイコロの目の並びで 有限個の違いを除いて 一致する可算無限長列”であり
 言い換えると ”可算無限個の項で 一致している同値関係”ということ
・明らかに 一つの項の一致する確率は 1/6で
 可算無限の項で 一致する確率は (1/6)^∞=0 ■
・さらに サイコロの目以外でも コイン1/2などで 確率 p=1/m (m≧2) で (1/m)^∞=0 となる■
以上
35132人目の素数さん
垢版 |
2026/09/02(水) 16:04:17.81ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/787
2026/09/01
>無限個の確率変数? そんなものを考えるのは🐎🦌

下記重川を百回音読してね
”P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という.
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.”

数学者が 公理的確率論を考える理由の一つがこれ
即ち、”確率変数の族(Xt) 確率過程
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.”

連続無限、可算無限の
どちらもあり!w (^^

 >>10より
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
P7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい.
Ω={1,2,・・・,6}^N∋ω={ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで,n回目に出た目を表す.
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)=(1/6)^n
と定めればよい.これが実際にσ-加法的に拡張できることは明らかではないが,Kolmogorovの拡張定理と呼ばれる定理により証明できる.
P47
第4章ランダム・ウォーク
定義1.1 時間 t∈Tをパラメーターとして持つ確率変数の族(Xt)を確率過程という.
Tとして[0,∞),Z+={0,1,2,・・・}などがよく使われる.
[0,∞)のとき連続時間
Z+のとき離散時間という.
以下ではZ+の場合のみを扱う.この場合はtの代わりにnを用いる.
36132人目の素数さん
垢版 |
2026/09/02(水) 16:05:01.87ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/791
2026/09/01
(引用開始)
>3)つまり >>4の札つきより
>”それが属する同値類の代表元と
>1列目が一致し始めるのがn1個目とする
>2列目についてその代表元が一致し始めるのがn2番目とする”
> とあるよね
> この場合において n1個目以降が一致しているから
> それは 箱入り無数目におけるしっぽ同値でもある(2列目についても同様)
> だが、逆は不成立。つまり、箱入り無数目の同値類の中をさらに細分類したものが 札付きの同値になる
なに言ってんだ?この馬鹿。
空間がR^Nと{1,2,3,4,5,6}^Nで異なるが、有限個の項の違いを無視するという同値関係は同じだろ。
(引用終り)

うん そこ私の勘違いだった
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ
(札付では ダイスのcupの絵を使っているが 説明の都合上 箱で統一して説明する https://imgur.com/1E6b4P9)
(なお、箱入り無数目で 入れる数を1〜6に制限できることは明らかだが >>1の後半ページでも https://imgur.com/YAdz2Mz
 「勝手な集合Sの元の無限列S^N」可とあることを注意しておく )

証明
1)箱入り無数目の しっぽ同値→ 札付 有限個の違いを無視する同値
 ほぼ自明だが 可算無限列のしっぽ同値 とは 「ある番号n0から先のしっぽが一致する」>>1
 という定義なので、違いは たかだか1〜n0-1 の有限のみ
2)札付 有限個の違いを無視する同値→ 箱入り無数目の しっぽ同値
 >>4の「1列目のサイコロの目を確認し
 それが属する同値類の代表元と
 1列目が一致し始めるのがn1個目とする」
 との記載の通り、違いは 先頭の たかだか1〜n1-1 の有限 部分であり
 n1以降のしっぽが一致しているので
 箱入り無数目の しっぽ同値の条件を満たす

上記1)2)より
箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的に同じ■
37132人目の素数さん
垢版 |
2026/09/02(水) 16:05:29.06ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/796
2026/09/01
さて、
箱入り無数目では
箱に入れる数を
「勝手な集合Sの元の無限列S^N」可とある

いま>>576に書いたが
S=Z/6Z={0,1,2,3,4,5} (剰余環)を考える

{0,1,2,3,4,5}
 ↓↑
{1,2,3,4,5,6} (サイコロの目)
の対応付けで 札付のサイコロの目を
剰余環 Z/6Z に置き換える

そうすると >>20 の 都築暢夫 広島大で
可算無限列を 環R係数の 形式的冪級数とみて
しっぽ同値の 二つの 形式的冪級数の差から
多項式を作ることができる
つまり しっぽ同値を
形式的冪級数環 ”The ring of formal power series”https://en.wikipedia.org/wiki/Formal_power_series
と多項式環 ”Polynomial ring”https://en.wikipedia.org/wiki/Polynomial_ring
の関係に 落とせる

多項式環は、下記 都築暢夫の通り
”任意の自然数より大きい次元の部分空間を持つから無限次元である”

実数Rを係数とする 箱入り無数目の場合が、まさにこれ。
実数R→ 剰余環 Z/6Z(札付)の場合も ほぼ同様
実n次元R^nの空間が、整数格子の6^n の空間になるが
結局 n→∞ では
しっぽ同値の確率を考えることはできない!■

(参考)>>21より再録
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■
38132人目の素数さん
垢版 |
2026/09/02(水) 16:05:54.67ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/797
2026/09/01
つづき
さて、しっぽ同値を使う 札付 確率1/2の補足

1)札付きの定理 >>4 より https://imgur.com/1E6b4P9
”次にサイコロの目の並び{1,2,3,4,5,6}^Nに
有限個の違いを無視する同値関係を入れる”
”1列目が一致し始めるのがn1個目とする *)”
2)つまり、n1個目以降の無限個のcup内のサイコロの目が一致している状態を言う
 一つの cup内のサイコロの目が一致する確率1/6 だから
 無限個のcup内のサイコロの目が一致する確率は(1/6)^N=0
3)n2についても同様
 つまり n1<n2 だの なんだかんだの議論は 全て 確率0の事象の話であり
 「一致する確率は1/2以上」と言ったところで 所詮 (1/2)x0=0■
4)なお、>>4 「この問題の方法は成り立たない
 n1,n2は確率変数になっていないから」https://imgur.com/wHI3DZv
 は、この事情を一言で表している
 さすが 吉田大学よ(^^

追記
・n1,n2 の対称性は、>>796 都築暢夫 広島大の議論で
 実数R→ 剰余環 Z/6Z(札付)に置き換えると
 どちらも同じ多項式環F[x]の無限次元空間であることから分かる
・だから 札付の 吉田大学の主張は n1,n2 の対称性は認めるが
 その対称性を使った1/2が 上記の通りナンセンスだという主張だね(^^
39132人目の素数さん
垢版 |
2026/09/02(水) 16:06:18.63ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/798
つづき

1)>>790 で ”箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ”
 を、証明した
2)つまり、札付>>4は 箱入り無数目>>1 のミニモデルであって
 箱入り無数目に 包含されている
3)札付の不成立を示した >>797
 ゆえに 箱入り無数目論の反例が示された■
以上

20
https://rio2016.5ch.io/test/read.cgi/math/1786586164/799
つづき
>>798 補足の補足
>3)札付の不成立を示した >>797

まあ、もともと 札付のマンガの中で
きっちり 「1/2」は否定している >>4 より

https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな!
(引用終り)

しかし、所詮マンガだから ごたごたと仔細を書くのはヤボ
マンガのセリフに 短く 数学の本質を損なわずに うまく表現している
さすがは 吉田大学よ (^^
40132人目の素数さん
垢版 |
2026/09/02(水) 16:07:23.06ID:u1CGxOVX
https://rio2016.5ch.io/test/read.cgi/math/1786586164/851
2026/09/02
>査読論文でしか公言できないと言いたいの? 頭だいじょうぶ?

arXive 知らないの?w
たとえ まだarXiveとか 正規の雑誌の論文でなくとも
もし正しいと思えば、数学者はそれ使うよ

だが、箱入り無数目とその類似は >>5-6 で紹介しているが
2013年から 多分欧米で話題になっていたことだが
(Denis質問)中に
”I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
と記されている

つまり いまから13年前にも この箱入り無数目スレと同じような議論がされていて
mathoverflow に Denisが asked Dec 9 '13
Sergiu Hart氏は Choice Games November 4, 2013
など

Sergiu Hart氏は http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
のP1 注に
1Source unknown. I heard it from Benjy Weiss, who heard it from ..., who heard it from ... . For a related problem, see http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
とある

箱入り無数目は
面白い話だから >>1 https://imgur.com/uMqtRwr 時枝 箱入り無数目(数学セミナー201511月号の記事)の最初
にあるように
”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と記す

まとめると 2013年ころには話題になっていて 2015年にも
Peter Winkler氏は、時枝氏に「おまえこんな話を知っているか?」と言ったのだった
つまり、Denis氏にしろ Peter Winkler氏にしろ おもしろ話として 話題にした

もし数学として成り立っているならば
箱入り無数目など そのものか
あるいは それを発展させたものかは ともかく
だれかが、正規の論文として取り上げても良さそうだろ

しかし、そういうことが13年間で全くおこっていなというのが 厳然たる事実!
つまりは、”I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
だね
後者 ” but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
あるいは その類似が ”茶のみ話の結論”で 話は終わったってことだね■
41132人目の素数さん
垢版 |
2026/09/02(水) 16:07:55.06ID:u1CGxOVX
さて
https://rio2016.5ch.io/test/read.cgi/math/1728783469/906 スレ25
より
906現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/11 ID:xGTnxzX9
>>902
>両者ともに時間の・・

ID:S0s/6Kqn は、御大か
朝の巡回ご苦労さまです

”論争は 時間のムダ”と
なるほど

では ご教示に従い
”アナグマの姿焼き”をば・・w ;p)

(参考)
https://xn--pet04dr1n5x9a.com/%E5%B0%86%E6%A3%8B%E7%94%A8%E8%AA%9E/%E7%A9%B4%E7%86%8A%E3%81%AE%E5%A7%BF%E7%84%BC%E3%81%8D.html
将棋講座ドットコム
【将棋用語】穴熊の姿焼き
穴熊側が囲いを残したまま大きく形勢を損ねていること。
穴熊自体は固いため詰みまでの手数はかかるが、逃げ場もないため、攻めが切れてしまうと千日手・持将棋引き分け・宣言などを狙うことがかなり難しい。穴熊の欠点の1つと言える。

つづく
42132人目の素数さん
垢版 |
2026/09/02(水) 16:08:30.61ID:u1CGxOVX
つづき

なお、
おサル=サイコパス*のピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets**) (Yahoo!でのあだ名が、「一石」)
<*)サイコパスの特徴>
(参考)https://keiji-pro.com/magazine/10/ 刑事事件マガジン 更新日:2023.10.13
サイコパス(精神病質者)の10の特徴と診断基準|実はあなたの周りに・・・?
サイコパスとは、「反社会性パーソナリティ障害」という精神病者のこと。
サイコパスの10の特徴 表面上は口達者利己的・自己中心的 平然と嘘をつく
(**)注;https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets :https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 :https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明!(^^)
https://rio2016.5ch.io/test/read.cgi/math/1671460269/923 スレ12 より
”「ガロア理論 昭和で分からず 令和でわかる
 #平成どうしたw」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***)そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするw(^^

注***)鳥無き里のコウモリ:自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜!(^^;

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金(禁)よろしくね!(^^

テンプレは以上です
2026/09/02(水) 16:24:01.06ID:tkX+LlT4
>>6
>選択公理なしで同じことが成り立つから、
>選択公理は、単なる目くらまし

尻尾同値の代表を具体的に指定できる場合は、選択公理が不要
しかし一般の無限列ではそんなことは不可能なので、選択公理が必要

なお、代表の選択関数は一つではないが、
そのなかの1つを決めて、決して変えないのは当然である

具体的でないから一意化できず毎度代わる
とかいうのは数学の論理が分からんド素人
2026/09/02(水) 16:33:16.26ID:X+oHpEzC
100列が出題された時点で定数
当然100列の決定番号も定数

100列から1列選ぶ行為だけが確率事象

だから、100列のうちたかだか1列存在する筈の
単独最大決定番号列を選ばなければ予測は的中する

その確率は1-1/100=99/100

R^Nの確率測度も、決定番号関数の積分も、全く不要

残念でした(笑)
45132人目の素数さん
垢版 |
2026/09/02(水) 17:25:43.95ID:u1CGxOVX
>>42
>おサル=サイコパス*のピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets**) (Yahoo!でのあだ名が、「一石」)

おサルの情報
下記メモ
なつかしいな〜ww
おサルの情報は、哀れな素人氏(当時)から教えてもらった (^^

(参考)
https://itest.5ch.io/rio2016/test/read.cgi/math/1567930973/123
現代数学はインチキだらけ (哀れな素人)

0123 132人目の素数さん 2019/09/19(木) 08:48:10.00
ID:DounDdrn

これはガロアスレにも投稿しているから、
サル石である可能性あり(笑

サル石ではないにしても、ただのアホのチンピラ(笑

0294 132人目の素数さん 2019/09/23(月) 08:27:42.61
サル石の好む語彙

サル、畜生、貴様、ナイーブ、idiot  肉、豚の丸焼き、サタン
アイドル・ロック・ヘビメタ  クロポトキン・アナーキスト・革命
ギャハハハハ!!!  かっけぇぇぇぇぇ!!!
ワロスwwwwwww  っぷ これは酷い (^^;
ちょっと何いってるのかわからないんですけど…
キモチ悪い (をひ) 腐った爺頭
2026/09/02(水) 17:54:03.50ID:pZq3t6O9
🐎🦌野郎(爆笑)
>如何なる無限列も、それぞれの同値類に属する
>各同値類は、それぞれ代表列を持つ
>したがって無限列に対して、それが属する同値類の代表と比較すれば、決定番号が決まる
47132人目の素数さん
垢版 |
2026/09/02(水) 21:56:59.41ID:/kmckTvA
>必要が無くても考えても良いんですよ

狂ってもよい、と開き直る奴がいたよ🤣🤣🤣
2026/09/02(水) 21:59:02.69ID:8SWMIx/4
お受験浸り箱入り息子の阪大

現代抽象数学は無理数女
49132人目の素数さん
垢版 |
2026/09/02(水) 21:59:25.15ID:/kmckTvA
出題の列はあればいい
どう決めるかなんて考える必要がない
考える必要のないことを考えるのは無意味
無意味なことを延々と語るのは・・・●違い

数学板にはそういう●違いが沢山いる
その中には数学の研究者もいるらしい
頭を使いすぎて狂う人は少なくないってことか

アーメン

私は狂いたくないので、数学者になろうなんて思わない
50132人目の素数さん
垢版 |
2026/09/02(水) 22:02:46.35ID:/kmckTvA
箱入り無数目の出題はただの定数なのだから

後半部の非可測がーとか無限個の確率変数の独立性がーとかいうのは
ことごとくミスリーディング

そういう意味では対称性がーとかいうのも同じミスリーディング

確率の問題では、なぜか何が確率事象かを取り違える事故が多発する

このあたり、人間の思考のクセに関係しているが、
いずれにしても数学とは全然別の話
51132人目の素数さん
垢版 |
2026/09/02(水) 22:06:36.06ID:/kmckTvA
見える/見えない、を、定数/確率変数、と誤解するのは、「あるある」な事例である
箱入り無数目も、その人間の思考のクセをついた問題ではある

数学的には小学生並みのトリックなのだが、なぜか難しく考えて「できない」とかいう

そもそもそんな難しい設定ではない、ということが分からないというか
いったん難しく考えてしまうと、実は易しい問題だといくらいわれても
受け入れられない人もいる これは人間の精神の哀れさ、残念さだね
52132人目の素数さん
垢版 |
2026/09/02(水) 22:10:31.14ID:/kmckTvA
数学の研究者諸君にいいたい

数学の研究で成果を上げたいなら、
5chの数学板に書き込むのはもちろん
読むこともやめたほうがいい

馬鹿かつ●違いになるから

もちろん素人は十分馬鹿なので差し支えない(笑)
53132人目の素数さん
垢版 |
2026/09/02(水) 22:12:34.13ID:/kmckTvA
前世紀にnetnewsで活躍していた人を多々見てきたが
数学的にはまったく成果を上げてこなかった

無駄なことに頭を使うと研究ができなくなる典型例である

いまだにXとかでご活躍のようだが・・・研究は諦めた?
54132人目の素数さん
垢版 |
2026/09/02(水) 22:15:42.97ID:HkwM4Gld
テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
> ↓
>・私「零因子行列のことだろ?知っているよ」

>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ?知っているよ」にした
55132人目の素数さん
垢版 |
2026/09/02(水) 22:15:56.38ID:HkwM4Gld
テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?
56132人目の素数さん
垢版 |
2026/09/02(水) 22:16:09.80ID:HkwM4Gld
テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない?と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>1)ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>2)ハウスドルフ性は、良い性質を持つ
>>3)その肝が 分離性で 分離可能の一言 でだいたい片付くよ
57132人目の素数さん
垢版 |
2026/09/02(水) 22:16:27.38ID:HkwM4Gld
テンプレです
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね
58132人目の素数さん
垢版 |
2026/09/02(水) 22:16:40.20ID:HkwM4Gld
テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)=Σ n=0〜∞ 1/n =∞(∵1/nの無限和が発散するのは有名な事実)
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)
59132人目の素数さん
垢版 |
2026/09/02(水) 22:16:53.02ID:HkwM4Gld
テンプレです
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
60132人目の素数さん
垢版 |
2026/09/02(水) 22:17:05.60ID:HkwM4Gld
テンプレです
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ
61132人目の素数さん
垢版 |
2026/09/02(水) 22:17:20.12ID:HkwM4Gld
テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ
62132人目の素数さん
垢版 |
2026/09/02(水) 22:17:35.22ID:HkwM4Gld
テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」?
>あほか
>重川を読め
63132人目の素数さん
垢版 |
2026/09/02(水) 22:17:49.04ID:HkwM4Gld
テンプレです
> まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
> 次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
> そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
> もし、「株価かな?」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
> それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
> そして D番目を推察するのだ
64132人目の素数さん
垢版 |
2026/09/02(水) 22:18:02.83ID:HkwM4Gld
テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンw
>数学ストーリーは、札付き定理の完全否定!■
65132人目の素数さん
垢版 |
2026/09/02(水) 22:18:17.16ID:HkwM4Gld
これはよきテンプレ
>>数学者は”固定”とか 変なこといわない
>>が、一つの議論の中では、関数”f1,f2,・・,fk,・・f100”は決まっている
>>”s = (s1,s2,s3 ,・・・)”
>>も一つの議論の中では 一定の値をとる
>出題列sが定数であることを認めた瞬間にそこから生成される100列の決定番号も定数と認めざるを得ない。
>単独最大決定番号の列はたかだか1列であることも認めざるを得ない。
>ランダムに単独最大決定番号の列を選択する確率は1/100以下も認めざるを得ない。
>その時だけ失敗だから勝率は99/100以上も認めざるを得ない。
66132人目の素数さん
垢版 |
2026/09/02(水) 22:18:32.38ID:HkwM4Gld
よきテンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は?
67132人目の素数さん
垢版 |
2026/09/02(水) 22:18:48.38ID:HkwM4Gld
これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
>s=(x1,x2,…)という数列を箱入り無数目で出題すれば
>いくらでも1に近い確率1-1/nで
>その中の特定の番号(nやsに依存)の数xdが他の数x1,…,^xd,…から推測できるわけですので
>確率変数の独立性とはなんぞやと
>彼の人のようにあるいは京大マンガのように
>誤解・疑問を生むことになる訳です
>言わば「箱入り無数目の応用」により
>安直な(つまり彼の人や京大マンガのような)独立性の誤解をしてはならないとの反省材料がもたらされたわけです
68132人目の素数さん
垢版 |
2026/09/02(水) 22:19:33.91ID:HkwM4Gld
テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい?
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る(細かくは rに収束する列は一つに限らないから 同値類を考える)
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω(=最初の無限順序数)のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない!
69132人目の素数さん
垢版 |
2026/09/02(水) 22:19:46.27ID:HkwM4Gld
テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎww(^^
70132人目の素数さん
垢版 |
2026/09/02(水) 22:19:59.09ID:HkwM4Gld
テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題:
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
71132人目の素数さん
垢版 |
2026/09/02(水) 22:20:12.22ID:HkwM4Gld
テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>1)”Nは無限集合ですから”がダメ
>2)デカルト先生は R^2でデカルト積 (r1,r2) |r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようw
72132人目の素数さん
垢版 |
2026/09/02(水) 22:20:24.67ID:HkwM4Gld
テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
73132人目の素数さん
垢版 |
2026/09/02(水) 22:20:37.38ID:HkwM4Gld
テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど?(^^
74132人目の素数さん
垢版 |
2026/09/02(水) 22:20:50.45ID:HkwM4Gld
テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1)コーシー列とデデキントカットの同値は言えない(別物?)
75132人目の素数さん
垢版 |
2026/09/02(水) 22:21:03.74ID:HkwM4Gld
テンプレです
>おかしいねよ? 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数(それは我々が求めている実数でもある)とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は?
>だれが どうとる?
76132人目の素数さん
垢版 |
2026/09/02(水) 22:21:17.41ID:HkwM4Gld
テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
77132人目の素数さん
垢版 |
2026/09/02(水) 22:21:30.93ID:HkwM4Gld
テンプレです
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>1)全体集合を場合分けする
> ケース1 ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
> ケース2 無限集合の自然数N全体を考える
>2)ケース1では、0〜Mのカードは 離散一様分布を成す(下記)
> 期待値(平均値)や 分散も存在する
> この場合、A,Bの勝つ確率は おのおの1/2
>3)ケース2では、確率は考えられない
> なぜならば、無限集合たる自然数N全体は、非正則分布を成すから(下記)
78132人目の素数さん
垢版 |
2026/09/02(水) 22:21:45.01ID:HkwM4Gld
テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
79132人目の素数さん
垢版 |
2026/09/02(水) 22:21:58.42ID:HkwM4Gld
テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
> 純粋・応用数学・数学隣接分野(含むガロア理論)21 (816)
> ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
> の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね
80132人目の素数さん
垢版 |
2026/09/02(水) 22:22:12.38ID:HkwM4Gld
テンプレです
>>(ランダムってのは確率空間の話では?定義も無くてランダムとはね)
>
>素人か(^^
>下記乱数分かりますか?
>乱数も知らずに 箱入り無数目を論じるかね?w
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり!
>
>真の乱数列とは? 他の数を見ても 当てることはできない!!
>他の数を見て 当てることができるならば・・、それは真乱数ではない!!www
>
>まあ、素人には理解できないだろうね
>(この議論は、10年以上前 箱入り無数目の初期に書いている)
81132人目の素数さん
垢版 |
2026/09/03(木) 09:58:39.75ID:bNiDLZxU
>>43
(引用開始)
>選択公理なしで同じことが成り立つから、
>選択公理は、単なる目くらまし
尻尾同値の代表を具体的に指定できる場合は、選択公理が不要
しかし一般の無限列ではそんなことは不可能なので、選択公理が必要
なお、代表の選択関数は一つではないが、
そのなかの1つを決めて、決して変えないのは当然である
具体的でないから一意化できず毎度代わる
とかいうのは数学の論理が分からんド素人
(引用終り)

ここは 中高一貫生も来る可能性があるから厳しく赤ペンしておく

1)「一般の無限列ではそんなことは不可能」と宣うが、有限列でも同じだ
 例えば、 任意有理数 ∀q∈Q で 3列で
 q1,q2,q3 を考える。しっぽ同値はq3で決まる 例えば q'1,q'2,q'3で
 q3 =q'3なら 同値で、q3 ≠q'3なら 同値ではない
 ゆえに 同値類は可算無限あり 可算選択公理要!
 同様に、 任意実数 ∀r∈R で 3列で
 同値類は連続無限あり フルパワー選択公理要!
2)具体的の対語を考えるには、
 定数と不定元を考えればいいだろう
 ax+by=c ここに a,b,c が定数で x,yが不定元だ
 具体例 x=2,y=3 とか 決めることはできる
 不定元 x,yと 具体例x=2,y=3 とは 両立する
3)”そのなかの1つを決めて、決して変えないのは当然である”は その通りだが
 しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ
 例えば、Aさん「決めた!」
 Bさん「どう決めた?」「答えられないのか? じゃd1,d2,・・d100 でいいよね? 文句あるか!」
 といわれて Aさん ギャフンwww (^^
82132人目の素数さん
垢版 |
2026/09/03(木) 10:09:43.52ID:zQWXBpDz
>有限列でも同じだ
有限列は忘れろ馬鹿

>具体的の対語を考えるには、定数と不定元を考えればいいだろう
なに言ってんだ?この馬鹿

>しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ
箱入りではどう決めたかはどうでもよい。論理がワカラン馬鹿。
且つおまえが言う「同じ」は数学のすの字もワカラン馬鹿の妄想に過ぎない。
何重にも間違える馬鹿。
83132人目の素数さん
垢版 |
2026/09/03(木) 10:18:34.34ID:zQWXBpDz
そもそも不定元を分かってない。
環R上の多項式環R[X]の不定元XとはR上超越的な元のこと。変数と勘違いするな。

>ここは 中高一貫生も来る可能性があるから厳しく赤ペンしておく
大学1年で落ちこぼれたおまえは赤ペンされる側
84132人目の素数さん
垢版 |
2026/09/03(木) 10:19:52.51ID:bNiDLZxU
>>52-53
w大内部進学の数学科オチコボレが、数学研究を語る か?
笑える

>数学の研究で成果を上げたいなら、
>5chの数学板に書き込むのはもちろん
>読むこともやめたほうがいい
>馬鹿かつ●違いになるから

殆ど正しいが
1)数学研究の成果とは なにか?
 そもそもが、いま大学の数学科教員か数学研究機関の職員としての立場があるでしょ
 数学研究の成果を上げるのが 仕事なら当てはまるが
 数学研究の成果を上げるのが 仕事でないならば、各人の勝手よ
2)もう 時代は動いている
 下記をご参照
 大学の数学科教員で 教授を目指す人は別として
 下記”脳神経外科医のシャンム・ジン(Shanmu Jin)”の類似レベルなら これ参考になるだろ

>前世紀にnetnewsで活躍していた人を多々見てきたが
>数学的にはまったく成果を上げてこなかった

そもそも 「数学的に成果を上げた」と認められること自身が稀有だよ
その 「netnewsで活躍していた人」が netnewsをやめたら 「数学的に成果を上げた」になれるか?
その証明は無い!w(^^

(参考) 抜粋
https://rio2016.5ch.io/test/read.cgi/math/1776769125/296
「まともな数学」ねぇw
ふっ(遠くを見る目)

君は、私の投稿 >>285 "Crouzeix's conjecture"
https://en.wikipedia.org/wiki/Crouzeix%27s_conjecture
Crouzeix's conjecture
Claimed proof
On July 27, 2026, neurosurgeon Shanmu Jin posted a preprint claiming a proof of Crouzeix's conjecture.[9] Jin reported that the proof was obtained with the assistance of OpenAI's GPT-5.6 Sol model during an approximately sixteen-hour autonomous reasoning session in ChatGPT Work, ・・

が、意味するところを読み取れてないw
(google訳)
2026年7月27日、脳神経外科医のシャンム・ジン(Shanmu Jin)は、クルゼイ(Crouzeix)の予想の証明を主張するプレプリントを公開した[9]。ジンは、その証明が「ChatGPT Work」上での約16時間にわたる自律的推論セッションにおいて、OpenAIの「GPT-5.6 Sol」モデルの支援を受けて得られたものであると報告した……
(引用終り)

”脳神経外科医のシャンム・ジン(Shanmu Jin)”に ご注目
くどいが 数学者にあらず
”その証明が「ChatGPT Work」上での約16時間にわたる自律的推論セッションにおいて、OpenAIの「GPT-5.6 Sol」モデルの支援を受けて得られたものであると報告した”

君にすすめる
”脳神経外科医のシャンム・ジン(Shanmu Jin)”
”その証明が「ChatGPT Work」上での約16時間にわたる自律的推論セッションにおいて、OpenAIの「GPT-5.6 Sol」モデルの支援を受けて得られたものであると報告した”
という記事 私の投稿 >>285
を 百回音読するように

2026年7月27日の日付をもって
「まともな数学」の意味が、革命的に変化した!! ってことだね (^^;
85132人目の素数さん
垢版 |
2026/09/03(木) 10:26:56.41ID:zQWXBpDz
変数はある特定の集合の元を表す代わりの記号
不定元はある特定の集合の元そのもの
混同するな馬鹿
86132人目の素数さん
垢版 |
2026/09/03(木) 10:32:53.29ID:zQWXBpDz
「不定だから変数だー」と語感から来る印象で連想ゲームしたんだろう
連想ゲームに頼ると数学は間違う おまえはすべて連想ゲームだから間違いだらけ 常に赤ペンされる
87132人目の素数さん
垢版 |
2026/09/03(木) 10:36:42.48ID:bNiDLZxU
>>83
>そもそも不定元を分かってない。
>環R上の多項式環R[X]の不定元XとはR上超越的な元のこと。変数と勘違いするな。

ふっ
オチコボレがwww

https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%AE%9A%E5%85%83
不定元
不定元(ふていげん、英: indeterminate)とは、多項式や形式的冪級数に現れる記号であり、しばしば変数と呼ばれる。正式には、不定元は変数ではなく、多項式環や形式的冪級数環の定数である。しかしながら、多項式や形式的級数とそれらの定義する関数との間の強い関係のために、多くの著者は不定元を変数の特別な種類と考える。

不定元と変数の違いが表れる例として、二元体 F2 上で X を不定元とする多項式 f(X) = X2 + X ∈ F2[X] を考える。この多項式はもちろん 0 ではない。ところが、X を変数と考えた多項式関数 f(X) は 0 である[注 1]。

仏語
https://fr.wikipedia.org/wiki/Ind%C3%A9termin%C3%A9e
Indéterminée
(google訳)
数学において、不定元とは、形式多項式、有理関数、形式冪級数などの対象を形式化するために用いられる概念である。一般に大文字のXで表される。不定元を用いることで、解析学における同等の構造よりも単純な代数構造を定義することができる場合がある。

独語
https://de.wikipedia.org/wiki/Unbestimmte
Unbestimmte
Der Begriff Unbestimmte (engl. indeterminate) wird in der Mathematik und dort insbesondere in der abstrakten Algebra für eine freie Erzeugende eines Polynomrings oder eines formalen Potenzreihenrings verwendet.
(google訳) (訳がこなれていない。英訳にすればましだが 面倒なので各自 たのむ)
不定という用語は、数学、特に抽象代数学において、多項式環または形式的冪級数環の自由生成元を表すのに使用されます。これは、大文字で表記されるのが望ましいです。例:
X,Y または T. 必要な(ユニタリー)ベースリングに関係なく
Rそれらが位置する多項式または冪級数の係数は、自由 モノイドを生成する。
M( 1を持つ半群)は常に乗法的に書かれ、ほとんどの場合可換的に使用されます。
88132人目の素数さん
垢版 |
2026/09/03(木) 10:38:55.72ID:zQWXBpDz
どんな分野でも基本ができてない奴は何やらせてもダメ
数学の基本ができてないサルは数学を語るなかれ
89132人目の素数さん
垢版 |
2026/09/03(木) 10:40:27.18ID:zQWXBpDz
オチコボレはコピペしかできないおまえ
おまえのコピペに
>不定元は変数ではなく
って書かれてるの読めない? 読めもしないのになぜコピペした? 馬鹿?
2026/09/03(木) 10:47:15.35ID:uTUVVM/S
成立派
・基礎論婆
・🐎🦌野郎
・なりすまし野郎
・質問乞食爺
・アナーキストの嘘つき野郎
・Kingの友達の変態爺
2026/09/03(木) 10:48:56.03ID:uTUVVM/S
前スレで成立派がはどうして発狂したの?
2026/09/03(木) 10:50:17.77ID:uTUVVM/S
尻尾同値類が分かっていなかったから(ハゲ藁)
93132人目の素数さん
垢版 |
2026/09/03(木) 10:52:16.04ID:zQWXBpDz
>不定という用語は、数学、特に抽象代数学において、多項式環または形式的冪級数環の自由生成元を表すのに使用されます。
Rの元をR係数多項式に代入しても新たな元はできない、Rは加法・乗法について閉じてるから。
R上超越的な元XをR係数多項式に代入することでR[X]の元が生成される、つまりXは自由生成元。
コピペしかできないサルはちんぷんかんぷん。
94132人目の素数さん
垢版 |
2026/09/03(木) 10:54:46.02ID:zQWXBpDz
コピペザルはいいかげん自分が何も分かってないことを自覚しろ
馬鹿のくせに頭良いフリすんな
95132人目の素数さん
垢版 |
2026/09/03(木) 10:58:57.47ID:zQWXBpDz
コピペザル、己の正当性を示さんとコピペしたまでは良かったが、見事に返り討ちにされて死に絶えましたとさ めでたしめでたし
2026/09/03(木) 10:59:09.34ID:X1KnHQp/
>>81
>「一般の無限列ではそんな(具体的に尻尾同値類の代表を指定する)ことは不可能」と宣うが、
>有限列でも同じだ

実は有限列なら尻尾同値類の代表を具体的に指定できる
故に選択公理不要だけど、知らなかった?🤣

>例えば、 任意有理数 ∀q∈Q で 3列で q1,q2,q3 を考える。
>しっぽ同値はq3で決まる。
>例えば q'1,q'2,q'3で
>q3 =q'3なら 同値で、
>q3 ≠q'3なら 同値ではない
>ゆえに 同値類は可算無限あり 可算選択公理要!

任意のq3∈Qについて、
(0,0,q3)が尻尾同値類の代表と
具体的に指定できる
故に可算選択公理不要だけど、知らなかった?🤣

>同様に、 任意実数 ∀r∈R で 3列で
>同値類は連続無限あり フルパワー選択公理要!

任意のr3∈Rについて、
(0,0,r3)が尻尾同値類の代表と
具体的に指定できる
故に連続選択公理不要だけど、知らなかった?🤣

選択公理について何も分かってないんだね
高卒素人君 🤣🤣🤣

>”(選択関数の中の)1つを決めて、決して変えないのは当然である”は その通りだが
>しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ

その思考が🐎🦌
どう決めたか述べる必要はない

選択公理を設定した意味が分かってないね
高卒素人君 🤣🤣🤣
2026/09/03(木) 11:07:21.90ID:c9LiYeNL
>>84
AIも使えない大阪○○大学卒工学部卒の素人の君には
数学で成果を出すなんて永遠にないから無駄

同値類が無限個だったら
必ず選択公理が必要とか
🐎🦌か

🤣🤣🤣🤣🤣🤣🤣
98132人目の素数さん
垢版 |
2026/09/03(木) 11:09:10.61ID:zQWXBpDz
>どう決めたか述べる必要はない
という箱入りのロジックを10年以上経て未だに分からない地頭の悪さでは数学は無理だから諦めた方が良い
2026/09/03(木) 11:09:12.40ID:c9LiYeNL
>>87
>ふっ、オチコボレが

それはお前だろ

🤣🤣🤣🤣🤣🤣🤣
2026/09/03(木) 11:38:46.59ID:e/xTo6CL
>>92
「同じ決定番号の同値類」

なにいってんだ この🐎🦌

🤣🤣🤣🤣🤣🤣🤣
101132人目の素数さん
垢版 |
2026/09/03(木) 11:47:46.06ID:zQWXBpDz
弥勒は論外
2026/09/03(木) 12:56:35.62ID:uTUVVM/S
瀬田爺に反論しかできない🐎🦌野郎
2026/09/03(木) 13:37:02.13ID:uTUVVM/S
何か質問ある?
何か質問ある?
何か質問ある?
2026/09/03(木) 13:43:02.32ID:uTUVVM/S
条件付き確率
R^Nから一つの同値類を選ぶ確率:1/ℵ1
一つの同値類の中で100通り中99通り(インチキ):99/100
全体で1/ℵ1X99/100

これをペテンで99/100にする(爆笑)
2026/09/03(木) 13:46:12.48ID:uTUVVM/S
100通り中99通りの場合の数があるとき確率99/100となるのは
一つの同値類の中で同じ決定番号の集合の中で選んだときのみ

時枝のペテン(苦笑)
106132人目の素数さん
垢版 |
2026/09/03(木) 13:53:47.06ID:zQWXBpDz
まーたレス乞食の弥勒が暴れとる
2026/09/03(木) 14:09:22.04ID:uTUVVM/S
あっ、間違えた
時枝のペテンは100通り中99通りの正解が選べるから確率99/100
www
108132人目の素数さん
垢版 |
2026/09/03(木) 14:27:30.85ID:zQWXBpDz
ペテンじゃなく証明された定理な
違うと言うなら証明のギャップ示しなよ、池沼の弥勒くん
2026/09/03(木) 17:15:16.40ID:HeLoPj1R
>>104
>R^Nから一つの同値類を選ぶ
なぜそんな無駄なことするんだい 君
2026/09/03(木) 17:17:07.11ID:HeLoPj1R
>>104
>一つの同値類の中で100通り中99通り
なぜ、そんな嘘を読み取るんだい 君
2026/09/03(木) 18:11:55.86ID:uTUVVM/S
>>110
爺さんはなぜ正しいと信じてるんだい?
2026/09/03(木) 18:24:45.83ID:uTUVVM/S
君はこのトリックを見破れるか
2026/09/03(木) 18:48:49.35ID:FglWkktB
>>96
>任意のq3∈Qについて、
>(0,0,q3)が尻尾同値類の代表と
>具体的に指定できる
>故に可算不要だけど、知らなかった?🤣

なるほど・・・
それは理屈だ!

ところで
q3をQから順に
q'3,q''3,q'''3,q''''3,・・と 過不足なく Qの全てを尽くすこと
すなわち
Qの全ての要素を整列させること
それには、選択公理と等価な整列可能定理が必要に見えるなw(^^

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理と等価な命題
整列可能定理
任意の集合は整列可能である。

https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
2026/09/03(木) 19:01:44.35ID:FglWkktB
>>104
>条件付き確率
>R^Nから一つの同値類を選ぶ確率:1/ℵ1
>一つの同値類の中で100通り中99通り(インチキ):99/100
>全体で1/ℵ1X99/100
>これをペテンで99/100にする(爆笑)

弥勒菩薩さまの攻撃は強力です

一つの同値類の中は、>>18-19 都築暢夫 多項式環F[x] で
(多項式環F[x]が 可算無限次元線形空間であることは 都築暢夫が示す通り)
多項式多項式 f(x)∈F[x]が d-1次未満の空間はd次元空間であり
可算無限次元線形空間内で締める体積(超体積)は0だ

上記 弥勒菩薩さまの通り 1/ℵ1■
弥勒菩薩さまの攻撃は強力です!(^^
115132人目の素数さん
垢版 |
2026/09/03(木) 19:19:47.62ID:zQWXBpDz
>>113
>Qの全ての要素を整列させること
>それには、選択公理と等価な整列可能定理が必要に見えるなw(^^
はい、大間違いです。
Qは可算だから定義により全単射 f:N→Q が存在。
Q上の全順序<を ∀p∈Q.∀q∈Q:(p<q ⇔ f^(-1)(p)<f^(-1)(q)) で定義すれば<は整列順序。実際任意の部分集合 P⊂Q は<に関する最小元 f(min(f^(-1)(P)))∈P を持つ。
君、数学のすの字も分かってないね。
116132人目の素数さん
垢版 |
2026/09/03(木) 19:24:52.29ID:zQWXBpDz
>>114
>R^Nから一つの同値類を選ぶ確率
を箱入りの証明は使ってない。使ってないものがギャップになるはずが無い。
君、証明とは何か根本から分かってないね。だから数学のすの字も分かってないと言われる。
117132人目の素数さん
垢版 |
2026/09/03(木) 19:26:08.04ID:zQWXBpDz
>任意の部分集合 P⊂Q は
任意の非空部分集合 P⊂Q は
118132人目の素数さん
垢版 |
2026/09/03(木) 19:29:03.45ID:zQWXBpDz
数学のすの字も分かってないサル
そもそも池沼の弥勒
おまえはら数学板に書き込むな 板が汚れるだけだ
119132人目の素数さん
垢版 |
2026/09/03(木) 19:35:19.52ID:zQWXBpDz
>>111
間違いだと思うなら証明のギャップを示せ
ボールは不成立派にあることを忘れるな
2026/09/03(木) 19:46:48.54ID:KTpb2ePX
私は中元すず香のすの字も分かりませんw
2026/09/03(木) 19:48:06.37ID:KTpb2ePX
バンドと言えばKUWATA BAND
122132人目の素数さん
垢版 |
2026/09/03(木) 20:16:32.42ID:VEHT/6wd
音楽の趣味はひとそれぞれだが、オンティーを有難がって聴いてるひと
を見ると、もしかして音感ないのかな?と思ってしまう。
2026/09/03(木) 20:24:08.74ID:KTpb2ePX
オンティーを調べても出て来ない…。
124132人目の素数さん
垢版 |
2026/09/03(木) 20:27:34.13ID:VEHT/6wd
AIにB'zが好きだと言ったら、「それは稲葉氏の音程が極めて正確だから
あなたの好みに合うのだろう」と言っていた。
https://www.youtube.com/watch?v=td8WGpkJt50&list=RDtd8WGpkJt50&start_radio=1
2026/09/03(木) 20:30:42.52ID:KTpb2ePX
恐ろしい子・・・!
2026/09/03(木) 20:31:46.63ID:KTpb2ePX
砂が主食の人も居るらしい。
2026/09/03(木) 20:32:14.35ID:KTpb2ePX
土か…。
128132人目の素数さん
垢版 |
2026/09/03(木) 20:34:23.58ID:VEHT/6wd
ボカロはいいね。人間のようなオンティーさがないのがいい。
https://www.youtube.com/watch?v=8oBV3jPTW4s&list=RD8oBV3jPTW4s&start_radio=1
2026/09/03(木) 20:43:49.54ID:KTpb2ePX
結局、「オンティー」が何なのかが分からないが、ボカロとは真逆そうな真夜中の「ダンディー」でも推しておくとする。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況