スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (294ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
291: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)07:27 ID:odPafkyJ(1/4) AAS
転載
2chｽﾚ:math
<純粋・応用数学・数学隣接分野（含むガロア理論）21>
2025/09/22(月)
>実数列の集合 R^Nを考える.
>s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 →>sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
さて
実数列の集合 R^Nを Formal power series(＝形式的冪級数)と見る視点は
下記の en.wikipedia でも採用されている
記号を下記に倣い 実Rを環とみて R[[x]]を形式的冪級数環、R[x]を多項式環とする
時枝さんの同値類は 商 R[[x]]/R[x] に他ならない
形式的冪級数 F1(x)∈R[[x]] 多項式f(x)∈R[x] において
F1(x)と F(x)=F1(x)+f(x)とは、同じ同値類に属することは 明らか
つまり F1(x)を同値類の代表とすると 同値類は 代表F1(x)+多項式f(x)という構造を取る
：
この場合 f(x)の次数がn(つまりn次の係数an≠0 で an+1以降すべて0)
時枝のしっぽ同値の決定番号d(ある番号dから先のしっぽが一致する)は、この場合d＝n+1となる
いま、下記 都築暢夫 多項式環F[x]（今の場合R[x]）は、線形空間として（可算）無限次元だったことを思い出そう
無限次元線形空間から、作為をもって 有限次元の多項式を要素として 多項式を 選択することは可能だが
しかし、ランダムに 無限次元線形空間から 任意の要素を選べばどうなるか？
省18
292: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)07:29 ID:odPafkyJ(2/4) AAS
つづき
2chｽﾚ:math
<純粋・応用数学・数学隣接分野（含むガロア理論）21>
つづき
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環
https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I (第2回)都築暢夫
Ｐ3
例3.2.多項式環F[x].
線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。
証明 略す（原文ご参照）
省17
293: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)07:33 ID:odPafkyJ(3/4) AAS
転載
2chｽﾚ:math
<純粋・応用数学・数学隣接分野（含むガロア理論）21>
補足
（引用開始）
https://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I (第2回)都築暢夫
Ｐ3
例3.2.多項式環F[x].
線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である。
証明 略す（原文ご参照）
(引用終り)
ここに Ｐ2
『3. 基底一次独立(93 ページ)、基底(98ページ)と次元(100-101 ページ) の定義は教科書を見よ』
などと出てくるが
これ
親玉のサイトが見つかった
http://www.math.sci.hiroshima-u.ac.jp/algebra/member/tsuzuki-j.html
広島大学理学部数学科 代数数理講座
都築暢夫
2006年度
代数学1:講義ノート
第1回(4/14), 第2回(4/21), 第3回(4/28), 第4回(5/12), 第5回(5/19), 第6回(6/2), 第7回(6/9), 第8回(6/16), 第9回(7/7),
省11
294: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/23(火)07:52 ID:odPafkyJ(4/4) AAS
転載
2chｽﾚ:math
<純粋・応用数学・数学隣接分野（含むガロア理論）21>
補足
(引用開始)
2chｽﾚ:math
数学セミナー201511月号「箱入り無数目」
2chｽﾚ:math 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)
コルモゴロフの測度論による 確率計算では
もし 区間[0,1]の実数rを 一つの箱に入れて
それを 箱を閉じたまま 当てるときの確率は 0
もし 区間[0,1]の実数rを ｎ個の箱に入れて
それを 箱を閉じたまま 当てるときの確率は 0
（一つだけ閉じた箱を残し 他を開けて n-1個の箱の数を見ても iid(独立同分布)なら 確率は 0）
ｎ+1個の箱でも同じ
数学的帰納法により、任意nについて 未開の箱の的中確率0
nを無限個に拡張した問題を考えたら？
一つだけ閉じた箱を残して 他を開けると
確率99/100 になる？ デタラメ無数目 ですよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s