[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
449: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/05(日)16:08 ID:1Ii8pHae(1/6) AAS
みなさん、ご苦労さん（＾＾
450(3): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/05(日)16:09 ID:1Ii8pHae(2/6) AAS
>>149 関連
＜数学板及び全国の数学徒に告ぐ＞
１．数学セミナー2015年11月号の記事『箱入り無数目』（時枝正氏著）の解法の適否が問題になっている。（>>16-17）
２．Sergiu Hart氏のPDF 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il などから、 Hat Problems が元になっているようだ（>>158>>303）
３．が、この解法自身を、数学の論文として取り上げた例は、まだ見つかっていない
４．また、寡聞にして、この解法を時枝正氏やSergiu Hart氏の通り、正しいと認めるプロ数学者の発言も見つかっていない
５．従って、2017.11月現在では、プロ数学界では、この解法は未承認と判断される
６．もし、上記４について、プロ数学者の発言ないし投稿があれば、情報提供をお願いしたい。よろしくね（＾＾
追伸
素人衆は、上記をよく噛みしめるように（＾＾
証明に自信があるなら、自ら投稿するようお薦めするよ
（もし、現役学生なら、DR論文ネタになるかもね〜（＾＾ ）
452(4): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/05(日)16:11 ID:1Ii8pHae(3/6) AAS
>>328 戻る
ピエロちゃん、おれは逃がさんよ！（＾＾
あんたのウソは、
”Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている”（>>149より）だった
数学的ロジックとしては、Sergiu Hart氏のそのものずばりの、論文誌に掲載されている論文又は著書が提示されない限り、ピエロが、ウソつきの汚名を晴らすには、足りないぜ（＾＾
但し、代用として、『箱入り無数目』又はSergiu Hart氏のPDFで扱われている可算無限個の箱の数列の数当てそのものを扱った論文などが提示できれば、罪は軽くなる。
もっと、文献検索を頑張れ！！（＾＾
453(1): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/05(日)16:16 ID:1Ii8pHae(4/6) AAS
>>417-418
さて、本題
”co-tail”については、過去スレ（例えば>>12-13など）で散々書いてきたんだが
改めて書くか・・（＾＾
（無駄な議論を避けるために、くどいが関連事項も書くよ（＾＾ ）
１．数学の「無限集合に対する有限部分」という表現、ないし類似表現、これにちょっと目を慣らして頂きたいので下記の例を挙げる
１）”無限集合S に対し、補集合が有限であるようなS の部分集合すべての集まりは S 上のフレシェフィルターと呼ばれる。”（フィルター (数学) 外部ﾘﾝｸ:ja.wikipedia.org）
２）”Let 〜 be the equivalence relation on functions from R to R defined by f 〜 g iff for all but finitely many y, f(y) = g(y). ”（SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008 外部ﾘﾝｸ:xorshammer.com）
２．上記表現を踏まえて、
１）時枝記事の数列の同値類について、”可算無限数列のしっぽによる同値類〜と代表との関係は、形式的冪級数環を、ある一つの形式的冪級数を代表として、そのしっぽ(指数の高い項の一致で)の同値類〜を考えることに同じ。”ということを書いた（>>372）
２）上記の「無限集合に対する有限部分」という表現に倣えば、「可算無限長数列に対する先頭の有限部分を除いて、数列のしっぽが一致する同値類」ってことだ
３）補題４：これから、導かれることは、任意の同値類の元について「時枝記事の数列のしっぽが一致する部分は、常に可算無限長」だということ。（∵無限−有限＝無限）
（但し、もともとの数列が有限長であった場合、その同値類は、”多項式環”そのものに相当することになる。この場合、”しっぽ”の部分が、空と考えても良いし、０が入っていると考えてもよいだろう。）
つづく
455(6): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/05(日)16:16 ID:1Ii8pHae(5/6) AAS
>>453 つづき
３．上記を踏まえて、co-tailの定義
１）>>376にならって、ある超越数trから作られる形式的冪級数を、A[[X]]tr としよう。
２）A[[X]]trを代表元として作られる同値類を、U_trとしよう。
３）U_trの任意の元を、A'[[X]]trとして（注 ∀A'[[X]]tr ∈U_tr）、A'[[X]]tr＝A[[X]]tr−ΔP(X) （>>376の通り。ΔP(X) は、有限次多項式。なお、上記２項２）ご参照。）
４）補題４より、A'[[X]]trについて、「時枝記事の数列のしっぽが一致する部分は、常に可算無限長」だということを強調しておく。
５）co-tail_trの定義：数列 co-tail_tr：＝∩(〜∞) A'[[X]]tr。
ここに、”∩(〜∞)”は、A'[[X]]trから作られる可算無限長数列において、同値類U_trの全ての元にわたって、共通部分（積集合）を求めたもの。
６）上記co-tail_tr は、ある超越数trから作られる数列についてのものだが、より一般の時枝記事の数列のco-tailの定義についても、容易に一般化できる。
（∵形式的冪級数及び多項式環ともその係数は、一般の実数で可だから）
７）そして、co-tail が尚、「可算無限長」だということも、証明できるだろう（＾＾
以上
457(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/05(日)16:20 ID:1Ii8pHae(6/6) AAS
>>454
ピエロちゃん、ご苦労（＾＾
ご託は良いから
次の言い訳文献を探すように！（>>452）（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.037s