
選択公理は∀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で質問しましょう!
関連するQ&A
- 1 V:有限次元内積空間,∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V)
- 2 {A_n}をA_n∩A_n+1≠φであるような連結なXの部分空間なら∪[n=1..∞]A_nは連結である事を示せ
- 3 K上のテンソル積P_2(×)RとP'_2:={a_0+a_1x+a_2x^2;a_i∈R}とは同型である事を示
- 4 ¬(∀x∃y∀z(p))≡∃x∀y∃z(¬p)について。
- 5 α_1,α_2,…,α_n が非零の時,e^(α_1t),e^(α_2t),…,e^(α_nt)が一次独立を
- 6 にゃんこ先生の自作問題、Σ[a≠b,b≠c,c≠a, a,b,c∈{1,2,3,…,n}]abc
- 7 (1)任意の定数aに対し、e^x>=e^a+(x-a)e^a が成り立
- 8 (背理法で)[問]3≦e∈Nの時,既約剰余類全体の集合Z_{2^e}^
- 9 n次元球面、S^n={(a^1,・・・,a^n+1)∈R^n+1|(a
- 10 R^n∋A_1,A_2,…はΣ[k=1..∞]λ^*(A_k)<∞を満たす.∩[n=1..∞]∪[k=
おすすめ情報
人気Q&Aランキング
-
4
集合のφ
-
5
【代数学】部分群の証明
-
6
数学の集合について質問です。 ...
-
7
数学でのセミコロンについて
-
8
空集合について〇か×か返答をお...
-
9
数学で、数字の上にある横線の意味
-
10
数字の上のバー
-
11
測度ゼロを持つ。の証明がどう...
-
12
半開区間は可算個の開区間の交...
-
13
はじめて位相空間を勉強するの...
-
14
…{{φ}}…は集合ですか?、{{{……}...
-
15
【緊急】キャロル表の書き方
-
16
R\\{0} って、0を除く実数って...
-
17
ある学校で生徒100人に対してa,...
-
18
modの計算で解が負になることは...
-
19
空集合のべき集合
-
20
整数の集合「Z」
おすすめ情報