[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
151(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)16:58 ID:+HgMDnV2(7/11) AAS
>>137-140
>＞選択関数を好きに構成できると？
> 「構成」はできない
> ただ、考えられる選択関数は無数にある
ありがとうございます。
１）そもそも、公理とは 条件さえ許せば 無制限に適用できる
存在定理（公理）とは、ある条件の数学対象が存在することを主張する
その数学対象は、存在定理の場合には、具体的な構成が与えられていない
が、具体的な構成が与えられる場合を含んでよい（そうしなければ、構成の有無で 場合分けが必要なるｗ）
有限集合と、無限集合の区別も同様で、選択公理は無限集合限定という制約はない（勝手に無限集合限定の制約があると思い込む人あり）
省3
163(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)18:03 ID:+HgMDnV2(10/11) AAS
>>156-158
選択公理および選択関数について
トンチンカンな発言をしている人がいた
だから、当たり前のことを、強調しただけですよ （＾＾
>だから命題ごとに個別に規定要（理論ごと規定する場合は「以下、断り無き場合〇〇公理を前提とする」などと表記）
大体は、ほぼ ZFCベース
だから、特に断りがない場合は、ZFCベースがデフォ（デフォルト）ですよ
たまに、「この証明には、選択公理が必要」とか、後出しで 注意を書く場合あり （＾＾
167(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)18:21 ID:+HgMDnV2(11/11) AAS
>>100-101
>治らないコピペ癖 ID:oyw47Vnz
>ほっとけ ID:pX4W9Cg1
ID:pX4W9Cg1は、御大ね
ID:oyw47Vnzは、おサル>>7-10 かな？
１）院試合格までは、数学の実力は主に試験で測られる
限られた場所で、カンニング無しで、限られた時間内で どれだけ解けるか
２）しかし、院試合格の後の 数学の実力は なんでもあり
カンニングありで、誰に相談しても 聞いても良い
時間制約は、あっても年単位
省14
182(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/05(水)07:51 ID:Md2R2j9H(3/5) AAS
>>180
>>任意のベクトルを無限個のベクトルの線形結合で表すことである．ヒルベルト空間では，これを実現する正規直交基底を取ることがいつでもでき，有限次元空間とよく似た話が無限次元でも展開できる．フーリエ級数はその具体例として大変重要なものである．
>これ、選択公理を使うだろうと思って調べていた
>下記 山上滋先生 名大 関数解析入門 『命題4.5.ヒルベルト空間の正規直交基底は必ず存在する。（全然一意的ではないが。）
>Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ』
>ですね （＾＾
＜補足＞
1）Zorn補題は、選択公理と同値
2）Zorn補題（選択公理）で、通常のベクトル空間(基底の有限和)から
基底の無限個のベクトルの線形結合を使う ヒルベルト空間まで
省12
192(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/05(水)11:10 ID:hl9U/ln8(2/5) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]
>>185-188
>あきらめたらそこで試合終了ですよ
ふっふ、ほっほ
こっちは、＜公開処刑 続く＞
(あほ二人の”アナグマの姿焼き")のつもり
しかし、低レベルのバトルでは、観客も面白くないだろうから
いまは おサル>>7-10の、選択公理（選択関数）の誤解・無理解を
省18
197(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/05(水)11:54 ID:hl9U/ln8(3/5) AAS
>>192 補足
>n → 可算無限 にできそうな気がする （すぐには 成否の判断ができないが）
例えば
√2(=2^1/2), 2^(1/3), 2^(1/4),・・ 2^(1/m),・・ 2^(1/n),・・・
で、任意 2^(1/m) - 2^(1/n) （m≠n）が 有理数でなければ良い
あるいは
√2(=2^1/2), 2^(1/2)^2, 2^(1/2)^3,・・ 2^(1/2)^m,・・ 2^(1/2)^n,・・・
で、任意 2^(1/2)^m - 2^(1/2)^n （m≠n）が 有理数でなければ良い
mとnの２重数学的帰納法で証明できるかも・・、しらんけど
202(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/05(水)13:33 ID:hl9U/ln8(4/5) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]
>>199
(引用開始)
>n → 可算無限 にできそうな気がする （すぐには 成否の判断ができないが）
>mとnの２重数学的帰納法で証明できるかも・・、しらんけど
できません。
数学的帰納法の結論は「任意の自然数に関する命題P(n)が真」です。
高校数学からやり直した方が良いのでは？
省23
205(3): 02/05(水)13:52 ID:wxM+XkyV(6/8) AAS
>>202
好きな順番で整列できるなら、実数全体の集合上の整列順序をあなたの好きなように作って示して下さい。
できるできる詐欺でないなら。
206(3): 02/05(水)17:17 ID:iZ38Xgef(1) AAS
>>200
>>201
＞> n → 可算無限 にできそうな気がする
＞
＞君、乙？
>>1だよ
＞任意の実数が、2のn乗根の有理数倍の有限和で表せる
任意の有理整数nに対して2のn乗根の有理数倍の有限和は実代数的数で
実数の超越数はこの形の有限和で表せないから、その命題が偽であることはすぐ分かる
選択公理を仮定すれば、両方共に0ではない有理数 a≠0、b≠0 の
省8
208(3): 02/05(水)19:37 ID:elkEtgQ/(1) AAS
>>206
乙は統合失調症
１は学習障害
214(3): 02/06(木)06:34 ID:YqLfsVRy(1/31) AAS
>>208
私は統合失調症ではないと何回いわせれば分かるのだ
任意に a＞-1 なる実数を取ると得られるオイラーの定数γに関する極限
γ＝lim_{n→+∞}(1＋…＋1/n−log(n＋a))
について、γに収束する実数列 {a_n} の第n項 a_n を
a_n＝1＋…＋1/n−log(n＋a)
としたとき、aの取り方によって実数列 {a_n} は
γに収束する単調減少列かγに収束する単調増加列
のどちらか一方かつその一方に限りなる
こういう病的な現象が得られる元のγの定義式の極限
省10
258(4): 02/06(木)09:54 ID:jBYaMD3j(4/14) AAS
γ(0,2):=lim_{n→+∞}(1/2+1/4+…+1/(2n)-log(2n)/2)
γ(1,2):=lim_{n→+∞}(1＋1/3+…+1/(2n+1)-log(2n+1)/2)
とおくと、γ(0,2)とγ(1,2)のうち、少なくとも一つは無理数（超越数）である。
なぜか？
γ(0,2)-γ(1,2)=log(2) が無理数（超越数）だから
γ(0,2)とγ(1,2)の両方が有理数（代数的数）であることはありえない。
ちなみに、γ(0,2)+γ(1,2)=γである。
282(3): 02/06(木)16:05 ID:jBYaMD3j(9/14) AAS
従って、逆離散フーリエ変換から
γ(0,3)=1/3(γ-log(1-ω)-log(1-ω^2))
γ(1,3)=1/3(γ-ω^2log(1-ω)-ωlog(1-ω^2))
γ(2,3)=1/3(γ-ωlog(1-ω)-ω^2log(1-ω^2))
が得られる。ベーカーの定理の系1より
外部ﾘﾝｸ:ja.wikipedia.org
-log(1-ω)-log(1-ω^2), -ω^2log(1-ω)-ωlog(1-ω^2), -ωlog(1-ω)-ω^2log(1-ω^2)
はいずれも超越数であることが分かるので
γ(0,3), γ(1,3),γ(2,3)の中で、代数的数は高々1個しかない
（少なくとも2個は超越数である）ことが言える。
283(3): 02/06(木)16:06 ID:jBYaMD3j(10/14) AAS
以上の議論において、真に強力なのはベーカーの定理である。
その証明には精密な数論的議論を要する。
未解決問題であるγについての知見を得ることは
そのさらに向こう側にある事象であると言える。
291(3): 02/06(木)17:31 ID:YqLfsVRy(28/31) AAS
>>290
私は代数ではなくどちらかというと解析の方に興味がある
概して、解析でする議論は解析数論の議論より遥かに複雑で、
解析の議論をすることは解析数論の議論をするときに役立つ
298(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)18:10 ID:kjKecCBk(3/3) AAS
>>277
>>205の回答まだですか？
うん？ >>205
(引用開始)
好きな順番で整列できるなら、実数全体の集合上の整列順序をあなたの好きなように作って示して下さい。
できるできる詐欺でないなら。
(引用終り)
これか？
１）いま、簡単に実数Rのプラス側のみを考える
半開区間を、[0,1), [1,2), [2,3), ・・、[n,n+1),[n+1,n+2),・・・
省22
305(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)20:29 ID:6JYRwlF9(1/2) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]
>>302-303
(引用開始)
>各区間の実数の整列は、整列可能定理で整列させる
え？？？ 整列定理使うの？ じゃ好きな順番で整列できないじゃん あなたは馬鹿なんですか？
>各区間の・・・その先頭部分は、各人が好きにしてよい
じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ
ちなみに区間は無限個あるので先頭も無限個だけど好きにできるのね？ もしそうなら区間を考える意味とは？ Rから直接好きな順に選べばいいじゃん
省15
322(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/07(金)07:47 ID:G94wYDfA(1) AAS
>>313-320
>そういうことを問題にする理由がわからない
ID:QK9K1Eig は、御大か
朝の巡回ご苦労さまです
思いますに
彼は、小学校で遠山先生の数学入門 （多分上下とも。下記 試し読みあり）
を読んで、微積まで分ったと、舞い上がって
で、おそらく東大を目指したと思うのですが
私大のＷ大数学科へ入った
そこで、遠山先生の数学入門と全く違う
省20
337(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/07(金)15:47 ID:2sO/8ukw(2/6) AAS
>>335-336
話は逆だろ？
あほサル>>7-10のヤクザ因縁だろ？ｗ ；ｐ）
例えばテンプレ>>10がその典型で
列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・で
Thomas Jechの 証明 >>47のように
順序数の付番をして 順序数との対と考えて
({},0)＜({{}},1)＜({{{}}},2)＜({{{{}}}},3)＜・・・
この順序は、順序数でつけられた順序
0 ＜ 1 ＜ 2 ＜ 3 ＜ ・・・
省12
347(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/07(金)17:34 ID:2sO/8ukw(5/6) AAS
>>339 補足
>選択公理の選択関数は、”少なくとも１つ(以上)”で なんら問題なし
>選択関数が、100あろうが、1000あろうが・・、可算無限あろうが、非可算無限あろうが、問題なし！ ｗ ；ｐ）
そして、もう一つ大事なことが 下記
”数学での抽象化と具体化の行き来”
”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問”
抽象的な選択関数を使って
具体的な対象を構成する
数学科１〜２年でオチコボレさんで、そういうことが出来ない人がいる
そういうことが出来ないから、オチコボレなのか？
省32
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.073s