選択公理は∀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ランキング
-
∈と⊂の違いは何ですか?
-
1から100までの自然数で、3,4,5...
-
大学数学、集合と位相について
-
数学でのセミコロンについて
-
集積点が、まったく分かりませ...
-
∈ と ⊂ のはっきりとした違い
-
閉包と集積点と内部
-
6以下の自然数全体の集合の要素...
-
この黄線で、囲んだ部分の縦線...
-
群の位数と濃度
-
_ a aの上に書かれている_(ア...
-
A∩BとAかつBは意味が違うのでし...
-
集合について。
-
数字は存在するのか
-
高1数学
-
modの計算で解が負になることは...
-
数字の上のバー
-
二階述語論理と高階述語論理に...
-
写真の数学の問題で、整数の指...
-
【 数A 集合 】 問題 A={1,3,5,...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報