[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
17(5): 2017/08/01(火)18:47 ID:clpGrOhb(1/4) AAS
2chｽﾚ:math
＞実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をf_1、
＞実数列の順序対(r1, r2)を自然数の順序対(d(r2), d(r1))へ移す関数をf_2
＞とおく
何トンチンカンなことやってんだ？
単純に
実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数f
だけ考えればいい
dは時枝記事における決定番号
d：R^N→N
省21
18: 2017/08/01(火)18:48 ID:clpGrOhb(2/4) AAS
2chｽﾚ:math
f_nがどういう関数かは>>624で示した
f_n(r1,･･･,rn)=(f(r1),･･･,f(rn))
19(2): 2017/08/01(火)18:50 ID:clpGrOhb(3/4) AAS
2chｽﾚ:math
＞１．”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、
＞ バリエーション豊富。
＞ 選択公理を使わないということは、整列可能定理も使えないし、Zorn の補題も使えない
＞ ってことだ。不便と思わないか？
>>1のいう便利が「箱入り無数目」問題の予測をもたらすわけだが？
ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない
解析学を展開するのに、実数全体が整列可能である必要もない
＞２．選択公理を使わないということは、時枝記事の冒頭の
＞”実数列の集合 R^Nのしっぽが一致する同値類による分類”
省20
20(1): 2017/08/01(火)18:51 ID:clpGrOhb(4/4) AAS
2chｽﾚ:math
＞普通、おかしいなと思ったら、まず疑うべきは人でしょ？
＞人はしばしば証明で間違いを犯すからね。
＞それは数学の歴史を見れば分かること
＞で、選択公理を疑う前に、自分を疑えよ、おい！（＾＾
なぜ>>1が自分を真っ先に疑わないのかな？
>>1の「予測できるわけない」って何の根拠もない只の思い込みでしょ
なんの証明もない 当然まっさきに疑われるべき妄想だよな
21(7): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:50 ID:kfW8JtfN(1/7) AAS
>>19
ID:clpGrOhbさん、どうも。スレ主です。
オオボケの上塗りか？（＾＾
>ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない
前から思っているんだが、あんた、現代確率論の内側に入れないね〜。まあ、ルベーグ積分が分かってないんだね
おーい、おっちゃんよ、聞こえているか？ 「ルベーグ測度を用いるのに、非可算選択公理は必要ない」だって〜（＾＾
これ、どう思う？
おっちゃんなら、正解すると思うがね（＾＾
>「箱入り無数目」問題の同値類による分類は、選択公理と無関係
>あくまで同値類から代表列を選ぶところでのみ選択公理が使われる
省8
22(2): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:52 ID:kfW8JtfN(2/7) AAS
>>21 訂正
そもそも、同値類の集合を[r]⊂R^Nでしょ？
↓
そもそも、同値類の集合を[r]として、[r]⊂R^Nでしょ？
23: 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:53 ID:kfW8JtfN(3/7) AAS
そもそも、同値類の集合[r]⊂R^Nでしょ？
でも良かったかもね（＾＾
24(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:58 ID:kfW8JtfN(4/7) AAS
>>19
>解析学を展開するのに、実数全体が整列可能である必要もない
なんだよ、高校の数IIIの話か？（＾＾
25: 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)21:21 ID:kfW8JtfN(5/7) AAS
>>16
￥さん、どうも。スレ主です。
読みました。興味深いですね（＾＾
”Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。命令型プログラミングのスタイルで、並列性とプリエンプションを単純に表せる。従って、制御系の設計に非常に適している。
開発は、Gerard Berry に率いられたパリ国立高等鉱業学校と INRIA のチームにより、1980年代初めに開始された。現在のコンパイラは、Esterel のソースコードからC言語のコードかレジスタ転送レベルのハードウェア記述（VHDLかVerilog）を生成する。
開発は今も継続している。商用版には統合開発環境 Esterel Studio がある。その開発会社 Esterel Technologies は IEEE での標準化を開始している。現在、Esterel v7 Reference Manual Version v7 30 ? initial IEEE standardization proposal が一般に公開されている。”
ですか。おもしろい（＾＾
ここらになると、◆QZaw55cn4cさんの出番かな？ ◆QZaw55cn4cさんなにかコメントありませんか？
26(1): 2017/08/01(火)21:32 ID:I+jKefSz(1/5) AAS
>>17
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
あのね無定義君、H1, H2はμ_r, μ_r'の定義域に含まれてないの
定義域に含まれていなければ
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
は言えないの
悪いことは言わないから測度論を勉強してきなさいよ
省1
27: 2017/08/01(火)21:38 ID:I+jKefSz(2/5) AAS
>>17
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
f_1, f_2が非可測だとH1, H2∈Fが言えないので
μ_r×μ_r'(H1)とμ_r×μ_r'(H2)の値を論じるのは無理
なんでここまで分かりやすく教えてやってんのに分からないの？
引っ込みつかなくてこのままデタラメを貫き通すのか君は
28: 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)21:39 ID:kfW8JtfN(6/7) AAS
>>14-15
￥さん、どうも。スレ主です。
Gerard Berry氏 2014年フランス国立科学研究センター（CNRS）金賞受賞のニュースがありますね（＾＾
飛行機の操縦等に応用か。なるほど、昔、「フライバイワイヤー」と言われていた技術ですね
外部ﾘﾝｸ:www-overseas-news.jsps.go.jp
【ニュース・フランス】Gerard Berry氏、2014年フランス国立科学研究センター（CNRS）金賞受賞 日本学術振興会 20141117
2014年9月24日、フランス国立科学研究センター（CNRS）は2014年CNRS金賞を情報学者のGerard Berry氏に授与することを発表した。
氏は、フランス国立情報学自動制御研究所（INRIA）の研究ディレクターや評価委員会長を経て、2012年からはコレージュ・ド・フランスの最高正教授を務め、飛行機の操縦等に応用されているアプリケーションである、Esterelと呼ばれるプログラミング言語の開発に取り組んできた。
CNRS金賞は、フランスの科学界で最も名誉ある賞として知られている。
URL1: 外部ﾘﾝｸ[html]:www.enseignementsup-recherche.gouv.fr
省10
29: 2017/08/01(火)21:39 ID:I+jKefSz(3/5) AAS
>>26
> H1, H2はμ_r, μ_r'の定義域に含まれてない
訂正⇒μ_r×μ_r'の定義域、だな
30(1): ￥氏 ◆2VB8wsVUoo 2017/08/01(火)21:51 ID:+7fRVElh(6/6) AAS
和製のTRONは自販機とか鉄道の制御系とか、まあそういう類だから同類ですわ。でもそれは
どうやらフランスの肝入りっぽいから、まあ軍事産業とか原子力がその目的なのではないかと。
そういう事情も考えれば、その全てが詳細まで公開されてるとはチョット考えにくいですがね。
もしセキュリティホールがあってテロリストに狙われても困るだろうし。イランの遠心分離機みた
いなケースは、フランス人ならば当然に避けるだろうしね。
もしJRの信号システムとかドリンクの制御、或いはオッサンのクレジットカード程度であれば、
壊れてもそんなには困らんでしょうけど。でも国際空港の管制とか、或いは光ファイバーとか
電話のデジタル交換機であれば、まあ困るかも知れませんが。でも日本の某大手携帯電話
はLinuxとか聞いて驚愕した事もありますが。販売店で姉チャンが使ってる端末が何かは知り
ませんがね。
省1
31(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)21:52 ID:kfW8JtfN(7/7) AAS
>>21 補足
>>ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない
先回りして、逃げ道を塞いでおくよ（＾＾
１．ルベーグ積分のテキストで、１冊でも非可算選択公理を使わないバージョンがあるなら、具体的にそれを示してほしい
２．理論的に、非可算選択公理を使わないで、ルベーグ測度もどきを構築できるとしても、標準のルベーグ積分のテキスト（非可算選択公理を使うバージョン）との優劣（例えば適用範囲の広さなど）が問題となる
抽象的に、「非可算選択公理を使わないで、ルベーグ測度もどきを構築できる」だけじゃ、「標準のルベーグ積分のテキストがなぜ非可算選択公理を使うか」の説明が出来なければ、大学数学の議論として無意味だよ（多分、数III解析の君には理解できないと思うがね）
32(2): 2017/08/01(火)22:10 ID:I+jKefSz(4/5) AAS
>>16
> 何トンチンカンなことやってんだ？
お前が100!の順列とか言い出すからn＝2のときは2!個の順序を変える関数を作ってるんだろうが
お前の土俵できちんと数式化してやってんのにその言い草はねえだろ(笑)
そもそもそんなアホ論法は不要なのによ(笑)
>>16
> H1∈Fならばμ_r×μ_r'(H1)が求める確率である
> H2∈Fならばμ_r×μ_r'(H2)が求める確率である
何度言わせるのかっていう話だが、dが非可測だからH1, H2∈Fは言えない
なんかお前、自分で考えた100!論法に自分が騙されてないか？
省9
33: 2017/08/01(火)22:12 ID:I+jKefSz(5/5) AAS
>>32
> よって「A∈M⇒f^{-1}(A)∈F」は言えない
> A∈FでなければAの測度μ_r×μ_r'(A)は定まらんのだよ
おっちゃんじゃないが訂正(笑)
H=f^{-1}(A)として、H∈FでなければHの測度μ_r×μ_r'(H)は定まらん
だな
34: 2017/08/01(火)22:41 ID:wAmzQrJG(1) AAS
TRONは学者OS
35(1): ￥氏 ◆2VB8wsVUoo 2017/08/02(水)00:18 ID:6XC/wDpJ(1/20) AAS
そう言えば日本人が独り立ちして逆らわない様に『アメリカが焼いた』という様な伝説がある
そうですな。もしホンマやったらソレは馬鹿板人のネット工作も真っ青な陰湿さですわナ。
ケケケ￥
36: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)05:29 ID:ZzdgHR/Z(1/35) AAS
>>20
ID:clpGrOhbさん、どうも。スレ主です。
>>> 1の「予測できるわけない」って何の根拠もない只の思い込みでしょ
>なんの証明もない 当然まっさきに疑われるべき妄想だよな
これ、>>21にも書いたが、”前から思っているんだが、あんた、現代確率論の内側に入れないね〜”と
で、おれの証明は、現代確率論の最初の数ページにあるよ！
おれの証明なるものは、
それを、小学生にも分かるようにかみ砕いたものだ
が、あんたに、それが理解できるかどうか？ 疑問かな？
”「箱入り無数目」問題の同値類による分類は、選択公理と無関係 あくまで同値類から代表列を選ぶところでのみ選択公理が使われる”ってバカ頭じゃね〜
省2
上下前次1-新書関写板覧索設栞歴
あと 645 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s