[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
338(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/24(月) 09:45:54.77 ID:1uJ+FX2v(7/16) AAS
なお、
数学落ちこぼれが、選択公理を、水戸黄門の葵の紋章か、キリスト教の免罪符かわりにしようと、しているみたいなので
選択公理について、一言
バカかと
現代数学では、選択公理はデフォルトで、特別の宣言をしないかぎり、普通に採用される公理だよ
おれは、別に、「選択公理は使わない。ｘｘ公理を使う」などと宣言していないから、デフォルト状態ですよ
バカかと
選択公理と非可測集合の話は、ピエロが来る前、過去スレ21などで、さんざん議論はしたよ
まあ、そのときの議論から、「集合論から見た非可測集合 渕野昌先生」のＰＤＦを貼っておくよ、選択公理 勉強してね
https://www.weblio.jp/content/%E3%83%87%E3%83%95%E3%82%A9%E3%83%AB%E3%83%88
デフォルト 三省堂 大辞林 weblio
?コンピューター-システムで、ユーザーが特に指定しない場合に設定されている標準の動作条件。
?〔主にコンピューターに通じている人が用いる語〕 転じて、基本的な状態（特段の理由がない場合の状態）のこと。デフォ。 「私の朝食は−でパンだ」
https://en.wikipedia.org/wiki/Axiom_of_choice
選択の公理
スレ21 2chｽﾚ:math
http://fuchino.ddo.jp/papers/tohoku-ws06-talk.pdf
集合論から見た非可測集合 渕野昌（中部大学，）2006 年11 月13 日 東北大学大学院理学研究科数学専攻談話会での講演
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
ヴィタリ集合（ヴィタリしゅうごう）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。
ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
目次
1 可測集合
2 構成と証明
3 関連項目
4 参考文献
341(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/24(月) 09:49:26.41 ID:1uJ+FX2v(9/16) AAS
>>339
>上記の「一個」が決定番号の箱を指すなら
>「決定できない」というのは代表元がとれない
>という意味になるから、選択公理の否定だな
つー >>338
ほんとにこいつバカだな（＾＾
選択公理の理解さえあやしい（＾＾；
344: １３２人目の素数さん [] 2018/12/24(月) 09:57:06.63 ID:6oRe+bIf(9/16) AAS
>>338
＞選択公理はデフォルト
そう言い切った瞬間、非可測集合もデフォルト
尻尾の同値類の代表元を取得することもデフォルト
時枝論法の確率計算は、決定番号の分布と無関係に
「１００列の決定番号のうち、他より大きい決定番号を持つ列はたかだか１列」
という性質のみから決定するから、非可測性によって
上記の確率計算を否定することはできない
確率計算を否定するなら、非可測性を排除して、
代表元の取得自体を否定するしかないが
それは選択公理の否定にあたる
バカスレ主はこの単純な理屈がどうしても理解できないらしい
352(1): １３２人目の素数さん [] 2018/12/24(月) 13:21:34.17 ID:zYiwLYWk(4/10) AAS
>>338
＞数学落ちこぼれが、選択公理を、水戸黄門の葵の紋章か、キリスト教の免罪符かわりにしようと、しているみたいなので
そもそも公理とは証明無しで真と認める命題、つまり紋所であり免罪符である。
選択公理を理解していないスレ主には紋所や免罪符の乱発に見えてしまうだけの話。
ピエロ君が理解すればいいだけ。それ以外に何の問題も無い。
372(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/24(月) 23:41:01.94 ID:1uJ+FX2v(13/16) AAS
>>338 補足
「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」とあるけど
選択公理も同様で、等価な命題が多数あってね
「整列可能定理」や「比較可能定理」や「右逆写像の存在」や「ベクトル空間における基底の存在」など
これらを認めることは、選択公理を認めることだ
「整列可能定理」や「比較可能定理」や「右逆写像の存在」や「ベクトル空間における基底の存在」や、これみんな認めているんじゃないのかい？（＾＾
おれは、これらを認めるって言っているだけなんだけど？
認めないと、不便でしょ？
ピエロ、選択公理分ってるかい？（＾＾
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
(抜粋)
選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。
定義
空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。
あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像 f： A → ∪A := ∪ _{A ∈ A} A であって任意の x ∈ A に対し f(x) ∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。
選択公理と等価な命題
以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。
つづく
374: １３２人目の素数さん [] 2018/12/24(月) 23:46:42.58 ID:zYiwLYWk(10/10) AAS
いやいや、いくらコピペしても理解したことにはならないよ
実際スレ主は選択公理を仮定すれば代表系が作れるってこと理解してないじゃん
理解してたら>>338のようなアホレスは書けない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s