[過去ﾛｸﾞ]
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1501561433/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
17: １３２人目の素数さん [sage] 2017/08/01(火) 18:47:15.37 ID:clpGrOhb https://rio2016.2ch.net/test/read.cgi/math/1499815260/657 ＞実数列の順序対(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 Ω≡(R^N×R^N)を用いて確率空間(Ω,F,μ)を構成する 直積測度μ≡μ_r×μ_r'を考える [1] 1番目の項が最大となる確率はいくつか？ d(r1)≧d(r2)となるR^N×R^Nの部分集合全体をH1として H1∈Fならばμ_r×μ_r'(H1)が求める確率である [2] 2番目の項が最大となる確率はいくつか？ [1]と同様に考えると d(r2)≧d(r1)となるR^N×R^Nの部分集合全体をH2として H2∈Fならばμ_r×μ_r'(H2)が求める確率である 私の主張は μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) μ_r×μ_r'(H1)＋μ_r×μ_r'(H2)＝１ の2点に尽きる 君の意見は 「dが非可測だからfも非可測、したがって μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) はいえない」 だろ？ 私の反論は ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない ・上記交換によりH1はH2、H2はH1に移る したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2) http://rio2016.5ch.net/test/read.cgi/math/1501561433/17
18: １３２人目の素数さん [sage] 2017/08/01(火) 18:48:34.48 ID:clpGrOhb https://rio2016.2ch.net/test/read.cgi/math/1499815260/659 f_nがどういう関数かは>>624で示した f_n(r1,･･･,rn)=(f(r1),･･･,f(rn)) http://rio2016.5ch.net/test/read.cgi/math/1501561433/18
19: １３２人目の素数さん [] 2017/08/01(火) 18:50:50.89 ID:clpGrOhb https://rio2016.2ch.net/test/read.cgi/math/1499815260/661 ＞１．”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、 ＞ バリエーション豊富。 ＞ 選択公理を使わないということは、整列可能定理も使えないし、Zorn の補題も使えない ＞ ってことだ。不便と思わないか？ >>1のいう便利が「箱入り無数目」問題の予測をもたらすわけだが？ ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない 解析学を展開するのに、実数全体が整列可能である必要もない ＞２．選択公理を使わないということは、時枝記事の冒頭の ＞”実数列の集合 R^Nのしっぽが一致する同値類による分類” ＞からして、成立しなくなると思うけどね？ どう？ 「箱入り無数目」問題の同値類による分類は、選択公理と無関係 あくまで同値類から代表列を選ぶところでのみ選択公理が使われる >>1は選択公理を全く理解してないな やっぱり大学での数学教育を全く受けてないidiotだな ＞３．選択公理を使わないということは、 ＞前スレ622-624の”同値類”と書いてある部分が、 ＞ほとんど全て無効ってことだろ？ 前スレ622の「箱入り無数目」問題の数列の同値類（Eq1)から代表列を選ぶ点だけが無効 ｎ個の自然数の列の順序同値類（Eq2)から代表順列を選ぶのに選択公理は要らない なぜならEq2の同値類の数は有限個だから 同値類の設定自体は否定されない あくまで同値類の個数によって代表元が取れる場合もあれば取れない場合もあるということ ＞４．前スレ625より”否定できるのはAしかない” ＞ って、A：フルパワー選択公理(前スレ621)なんだけどさー ああ そもそも数列の同値類の代表列から答えをカンニングするのだから カンニングのネタがなければ、答えが分かりようがない 実に単純明快ｗ 「代表列はとれるが、決定番号がわからない」というのは姑息な言い訳 実際、決定番号が最大でない確率の算出には、非可算選択公理どころか 可算選択公理すら使わないのだから、どこにも歯止めがない http://rio2016.5ch.net/test/read.cgi/math/1501561433/19
20: １３２人目の素数さん [] 2017/08/01(火) 18:51:44.98 ID:clpGrOhb https://rio2016.2ch.net/test/read.cgi/math/1499815260/661 ＞普通、おかしいなと思ったら、まず疑うべきは人でしょ？ ＞人はしばしば証明で間違いを犯すからね。 ＞それは数学の歴史を見れば分かること ＞で、選択公理を疑う前に、自分を疑えよ、おい！（＾＾ なぜ>>1が自分を真っ先に疑わないのかな？ >>1の「予測できるわけない」って何の根拠もない只の思い込みでしょ なんの証明もない 当然まっさきに疑われるべき妄想だよな http://rio2016.5ch.net/test/read.cgi/math/1501561433/20
21: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 20:50:05.30 ID:kfW8JtfN >>19 ID:clpGrOhbさん、どうも。スレ主です。 オオボケの上塗りか？（＾＾ >ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない 前から思っているんだが、あんた、現代確率論の内側に入れないね〜。まあ、ルベーグ積分が分かってないんだね おーい、おっちゃんよ、聞こえているか？ 「ルベーグ測度を用いるのに、非可算選択公理は必要ない」だって〜（＾＾ これ、どう思う？ おっちゃんなら、正解すると思うがね（＾＾ >「箱入り無数目」問題の同値類による分類は、選択公理と無関係 >あくまで同値類から代表列を選ぶところでのみ選択公理が使われる へへー、オオボケ！ （＾＾ 分類すべき集合は、R^N(Rの可算無限べき集合)なんだよ、これ？ 分かっているのか？ で、代表列をあんた神聖化してない？ この場合は、代表列は同値類の中のどれでもそこら手近の一つで良いんだろ？ 言い換えれば同値類のどれか、どれでも任意の一つで良いんだよね、今の場合は・・？ 対して、一方のR^N(Rの可算無限べき集合)のしっぽの同値類分類は、可算選択公理で可能だというのかい？ それ証明できないぜ！！（＾＾ （特にあんたの頭じゃな！！ そもそも、同値類の集合を[r]⊂R^Nでしょ？ 記号[r] は、右記より https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E ） （そもそも、[r]って、先に代表rを決めて、rと同値な元をR^Nから集めることで構成できるだろ？ これなら、同値類からrを選ぶ必要ないし・・。勿論、r'∈[r] (つまり r'〜r )なるr'に代表元を替えることも可だよ。 で[r']＝[r]だよ。 ） おまえ、同値類とか代表とか、全く分かってないんだな〜！（＾＾ それに、選択公理の理解もあやしい〜（＾＾ おまえ、数学科卒って言わない方が良いと思うよ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/21
22: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 20:52:53.96 ID:kfW8JtfN >>21 訂正 そもそも、同値類の集合を[r]⊂R^Nでしょ？ ↓ そもそも、同値類の集合を[r]として、[r]⊂R^Nでしょ？ http://rio2016.5ch.net/test/read.cgi/math/1501561433/22
23: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 20:53:55.73 ID:kfW8JtfN そもそも、同値類の集合[r]⊂R^Nでしょ？ でも良かったかもね（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/23
24: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 20:58:37.20 ID:kfW8JtfN >>19 >解析学を展開するのに、実数全体が整列可能である必要もない なんだよ、高校の数IIIの話か？（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/24
25: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 21:21:26.65 ID:kfW8JtfN >>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さんなにかコメントありませんか？ http://rio2016.5ch.net/test/read.cgi/math/1501561433/25
26: １３２人目の素数さん [sage] 2017/08/01(火) 21:32:08.57 ID:I+jKefSz >>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) は言えないの 悪いことは言わないから測度論を勉強してきなさいよ 君は数学科だろ？納得いかなければ指導教授にメールでも投げて聞いてごらんよ http://rio2016.5ch.net/test/read.cgi/math/1501561433/26
27: １３２人目の素数さん [sage] 2017/08/01(火) 21:38:38.88 ID:I+jKefSz >>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)の値を論じるのは無理 なんでここまで分かりやすく教えてやってんのに分からないの？ 引っ込みつかなくてこのままデタラメを貫き通すのか君は http://rio2016.5ch.net/test/read.cgi/math/1501561433/27
28: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 21:39:21.67 ID:kfW8JtfN >>14-15 ￥さん、どうも。スレ主です。 Gerard Berry氏 2014年フランス国立科学研究センター（CNRS）金賞受賞のニュースがありますね（＾＾ 飛行機の操縦等に応用か。なるほど、昔、「フライバイワイヤー」と言われていた技術ですね http://www-overseas-news.jsps.go.jp/%E3%80%90%E3%83%8B%E3%83%A5%E3%83%BC%E3%82%B9%E3%83%BB%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E3%80%91gerard-berry%E6%B0%8F%E3%80%812014%E5%B9%B4%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E5%9B%BD%E7%AB%8B/ 【ニュース・フランス】Gerard Berry氏、2014年フランス国立科学研究センター（CNRS）金賞受賞 日本学術振興会 20141117 2014年9月24日、フランス国立科学研究センター（CNRS）は2014年CNRS金賞を情報学者のGerard Berry氏に授与することを発表した。 氏は、フランス国立情報学自動制御研究所（INRIA）の研究ディレクターや評価委員会長を経て、2012年からはコレージュ・ド・フランスの最高正教授を務め、飛行機の操縦等に応用されているアプリケーションである、Esterelと呼ばれるプログラミング言語の開発に取り組んできた。 CNRS金賞は、フランスの科学界で最も名誉ある賞として知られている。 URL1: http://www.enseignementsup-recherche.gouv.fr/cid82399/l-informaticien-gerard-berry-laureat-de-la-medaille-d-or-du-cnrs.html URL2: http://www2.cnrs.fr/presse/communique/3739.htm URL3: http://www.inria.fr/actualite/actualites-inria/gerard-berry-medaille-d-or-du-cnrs (引用終り) https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%82%A4%E3%83%BB%E3%83%90%E3%82%A4%E3%83%BB%E3%83%AF%E3%82%A4%E3%83%A4 (抜粋) フライ・バイ・ワイヤとは、航空機等の操縦・飛行制御システムの1種。 民間機 エアバスはA320で、旅客機として初めてデジタルFBWを採用した。同時に操縦桿はジョイスティック型となり、操縦席の脇に配置された。以降のA330・A340・A380などでも踏襲されている。 エアバスではボーイングに比べるとコンピュータによるプロテクション機能を優先しており、その点も含めた設計思想の違いはたびたび議論の的となっている（前述のエールフランス296便事故や中華航空140便墜落事故を参照）。 ボーイングは777で初めてデジタルFBWを採用した。 http://rio2016.5ch.net/test/read.cgi/math/1501561433/28
29: １３２人目の素数さん [sage] 2017/08/01(火) 21:39:30.88 ID:I+jKefSz >>26 > H1, H2はμ_r, μ_r'の定義域に含まれてない 訂正⇒μ_r×μ_r'の定義域、だな http://rio2016.5ch.net/test/read.cgi/math/1501561433/29
30: ￥氏 ◆2VB8wsVUoo [sage] 2017/08/01(火) 21:51:44.59 ID:+7fRVElh 和製のTRONは自販機とか鉄道の制御系とか、まあそういう類だから同類ですわ。でもそれは どうやらフランスの肝入りっぽいから、まあ軍事産業とか原子力がその目的なのではないかと。 そういう事情も考えれば、その全てが詳細まで公開されてるとはチョット考えにくいですがね。 もしセキュリティホールがあってテロリストに狙われても困るだろうし。イランの遠心分離機みた いなケースは、フランス人ならば当然に避けるだろうしね。 もしJRの信号システムとかドリンクの制御、或いはオッサンのクレジットカード程度であれば、 壊れてもそんなには困らんでしょうけど。でも国際空港の管制とか、或いは光ファイバーとか 電話のデジタル交換機であれば、まあ困るかも知れませんが。でも日本の某大手携帯電話 はLinuxとか聞いて驚愕した事もありますが。販売店で姉チャンが使ってる端末が何かは知り ませんがね。 ケケケ￥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/30
31: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/01(火) 21:52:44.00 ID:kfW8JtfN >>21 補足 >>ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない 先回りして、逃げ道を塞いでおくよ（＾＾ １．ルベーグ積分のテキストで、１冊でも非可算選択公理を使わないバージョンがあるなら、具体的にそれを示してほしい ２．理論的に、非可算選択公理を使わないで、ルベーグ測度もどきを構築できるとしても、標準のルベーグ積分のテキスト（非可算選択公理を使うバージョン）との優劣（例えば適用範囲の広さなど）が問題となる 抽象的に、「非可算選択公理を使わないで、ルベーグ測度もどきを構築できる」だけじゃ、「標準のルベーグ積分のテキストがなぜ非可算選択公理を使うか」の説明が出来なければ、大学数学の議論として無意味だよ（多分、数III解析の君には理解できないと思うがね） http://rio2016.5ch.net/test/read.cgi/math/1501561433/31
32: １３２人目の素数さん [sage] 2017/08/01(火) 22:10:02.56 ID:I+jKefSz >>16 > 何トンチンカンなことやってんだ？ お前が100!の順列とか言い出すからn＝2のときは2!個の順序を変える関数を作ってるんだろうが お前の土俵できちんと数式化してやってんのにその言い草はねえだろ(笑) そもそもそんなアホ論法は不要なのによ(笑) >>16 > H1∈Fならばμ_r×μ_r'(H1)が求める確率である > H2∈Fならばμ_r×μ_r'(H2)が求める確率である 何度言わせるのかっていう話だが、dが非可測だからH1, H2∈Fは言えない なんかお前、自分で考えた100!論法に自分が騙されてないか？ 非可測な関数の直積を考えたら可測になるとでも思ってんのか？(笑) お前の土俵できちんと書いておく M＝N×Nとおき、お前が設定した確率空間(Ω,F,μ)に加え、可測空間(M, 2^M)を考える 実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をfとする 決定番号d：R^N→Nは(R^N, F'）から(N, 2^N)への可測関数ではないので、 当然その直積f＝d×d：Ω→Mも(Ω,F)から(M,2^M)への可測関数ではない よって「A∈M⇒f^{-1}(A)∈F」は言えない A∈FでなければAの測度μ_r×μ_r'(A)は定まらんのだよ 頼むから可測性を無視しないでくださいや(笑) http://rio2016.5ch.net/test/read.cgi/math/1501561433/32
33: １３２人目の素数さん [sage] 2017/08/01(火) 22:12:03.32 ID:I+jKefSz >>32 > よって「A∈M⇒f^{-1}(A)∈F」は言えない > A∈FでなければAの測度μ_r×μ_r'(A)は定まらんのだよ おっちゃんじゃないが訂正(笑) H=f^{-1}(A)として、H∈FでなければHの測度μ_r×μ_r'(H)は定まらん だな http://rio2016.5ch.net/test/read.cgi/math/1501561433/33
34: １３２人目の素数さん [] 2017/08/01(火) 22:41:27.56 ID:wAmzQrJG TRONは学者OS http://rio2016.5ch.net/test/read.cgi/math/1501561433/34
35: ￥氏 ◆2VB8wsVUoo [sage] 2017/08/02(水) 00:18:09.97 ID:6XC/wDpJ そう言えば日本人が独り立ちして逆らわない様に『アメリカが焼いた』という様な伝説がある そうですな。もしホンマやったらソレは馬鹿板人のネット工作も真っ青な陰湿さですわナ。 ケケケ￥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/35
36: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 05:29:56.18 ID:ZzdgHR/Z >>20 ID:clpGrOhbさん、どうも。スレ主です。 >>> 1の「予測できるわけない」って何の根拠もない只の思い込みでしょ >なんの証明もない 当然まっさきに疑われるべき妄想だよな これ、>>21にも書いたが、”前から思っているんだが、あんた、現代確率論の内側に入れないね〜”と で、おれの証明は、現代確率論の最初の数ページにあるよ！ おれの証明なるものは、 それを、小学生にも分かるようにかみ砕いたものだ が、あんたに、それが理解できるかどうか？ 疑問かな？ ”「箱入り無数目」問題の同値類による分類は、選択公理と無関係 あくまで同値類から代表列を選ぶところでのみ選択公理が使われる”ってバカ頭じゃね〜 証明は、ステップ５の予定だ が、分からなかったら、幼稚園からやり直してくれ〜！（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/36
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 645 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s