選択公理は∀A,∃S[((φ≠∀E∈2^A∧E_1,E_2∈2^A(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈2^A,∃1x;(x∈E∧x∈S)]?
締切済
- 気になる
- 0
- 件
- 質問日時:
- 回答数:1件
[問]整列定理(任意の集合Aには整列順序が存在する)が成立⇒選択公理
を示したく思ってます。
選択公理は
∀T,∃S[((φ≠∀E∈T∧E_1,E_2∈T(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈T,∃1x;(x∈E∧x∈S)] …(1)
と書けると思います(∃1は一意的存在の意味)。
意味は任意の集合Tに対し,Tの互いに素な任意の元Eに対し,∃1x∈E∩Sなる集合Sが存在する。
と習いました。
解答は
[証]
A上の整列順序を仮定する。2^A\{0}の元xに対し,xはAの部分集合だから最小元がある。これをf(x)とすればfは選択関数である。(終)
となっていたのですがつまり,(1)に沿って解釈すると
T:=2^AとするとS:={minE∈A;E∈{E∈{E_λ∈2^A;E_λは互いに素(λ∈Λ)}}}…(2)
と採ればminE∈Eにもなっていてこれでいいのだと解釈しましたが
選択公理は文章説明すれば任意の集合Tからある集合Sを選び出せれる,つまりS⊂Tとなる集合Sを決めれる。
というのを目にします。
しかし,(1)ではS⊂TではなくS∈Tの関係になっています。
そうしますと,
(1)は∀A,∃S[((φ≠∀E∈2^A∧∀E_1,E_2∈2^A(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈2^A,∃1x;(x∈E∧x∈S)]と書き直せば(2)はS⊂Aになっていて辻褄が合うと思います。
選択公理は∀A,∃S[((φ≠∀E∈2^A∧E_1,E_2∈2^A(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈2^A,∃1x;(x∈E∧x∈S)]と書き直してもいいのでしょうか?
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
質問の選択公理の言い換えですけど、2^Aだと空集合を含んじゃって拙いですよね。
2^A\{φ}にしたら良いですけど、それでも選択公理をT=2^A\{φ}の場合に制限していることになりますね。> 選択公理は文章説明すれば任意の集合Tからある集合Sを選び出せれる,つまりS⊂Tとなる集合Sを決めれる。
そんなことはないと思うけど。普通はS⊂∪Tですね。
あと(1)はあまり一般的ではないと思います。
普通の選択公理だと
∀T[∀E∈T(E≠φ) ⇒ ∃f:T→∪T(∀E∈T(f(E)∈E))] … (2)
すなわちTの要素が互いに素であることは要求せず、得られるのもただの集合でなく選択関数なのです。
ちなみに整列可能定理から選択公理(2)の証明は
∪T := {x: ∃E∈T(x∈E)}
を整列すれば各部分集合の最小元を取るだけです。
なお、選択公理(2)から(1)を導くのも、Tの要素が互いに素を仮定すれば
S=f(T):={f(E):E∈T}
を取るだけで簡単だと思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- Illustrator(イラストレーター) Illustrator アンカーポイント選択について 3 2023/01/30 12:31
- Excel(エクセル) IF 関数で「〇〇 という文字を含む場合」の分岐処理で表示された数字はSUMで数字集計できますか? 3 2022/08/02 16:29
- 法学 *注意:正しい選択肢を選ぶ問題です。 表現の自由と名誉毀損罪に関する次の説明のうち,最も適当なものを 1 2022/11/27 08:54
- 統計学 統計学の質問【帰無仮説】 W大学のP学部において、自宅通学者の比率にについて調べたい。 P学部から1 8 2023/05/25 23:28
- 政治 自民が与党になれば自動的に公明党も与党になる連立って正しいのでしょうか? 7 2023/05/25 08:33
- Excel(エクセル) テキストの背後にあるオブジェクトとは 3 2023/01/03 20:22
- 人事・法務・広報 人事についての質問。 組織や集団があるとどうしても人事の問題がつきまといます。 集団には、共通の利益 3 2022/09/11 10:41
- 教えて!goo もう少しきめ細かい「設定」を希望しますか 5 2023/02/25 10:13
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
部分が全体に等しいのが無限で...
-
R\\{0} って、0を除く実数って...
-
数学で、数字の上にある横線の意味
-
集積点が、まったく分かりませ...
-
空集合のべき集合
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
数字の上のバー
-
選択公理は循環論法的ではない...
-
内包的記法と外延的記法について
-
単射の総数
-
有理数と実数とではどちらが多いか
-
アレフ2以上の集合?
-
数字は存在するのか
-
aとbとの公約数が一致しbとrの...
-
⊆この記号の意味は?
-
Sが高々可算である⇔Sが高々可算...
-
丁度4つの元からなる体って存在...
-
ボレル集合体に含まれないRの部...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
部分が全体に等しいのが無限で...
-
数学で、数字の上にある横線の意味
-
数字の上のバー
-
数字は存在するのか
-
集積点が、まったく分かりませ...
-
数学でのセミコロンについて
-
アレフ2以上の集合?
-
R\\{0} って、0を除く実数って...
-
有理数÷有理数は絶対有理数なん...
-
このマーク?はどういう意味の...
-
Rの半開区間(0,1]と開区間(0,1)...
-
要素と、部分集合の違いを教え...
-
高校1年の数学Aです。 この、ピ...
-
順列組合せについて
-
ACCESSのSQL
-
はじめて位相空間を勉強するの...
-
A∩BとAかつBは意味が違うのでし...
-
数学の集合で閉じているの意味...
-
急用で出れなかった授業のレポ...
おすすめ情報