A 回答 (5件)
- 最新から表示
- 回答順に表示
No.5
- 回答日時:
No.1です。
“有限集合”の定義の「数える」や「有限個」は、日常で使うような常識的な意味として使っています。だから、(2)も一応、言っといた方がよいかなぁと思ったんです。
matsui888さんが書いたように
Xは“有限集合”⇔∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射
と定義すれば、(2)は不要です。
No.4
- 回答日時:
「A⊃∀B:真部分集合 に対しても Map(A,B)∋f:全単射 は存在しない」
は
「∀B⊆A(B≠A → ¬∃f∈Map(A,B) fは単射)」
「∀B⊆A(∃f∈Map(A,B) fは単射 → B=A)」
と同じです。
A≠空 とする。
a_0,…,a_n,… を次のように定義する。
a_0=Aの元
a_{n+1}=A\{a_0,…,a_n} の元(A\{a_0,…,a_n}≠空 のとき)
a_{n+1}=a_0 (A\{a_0,…,a_n}=空 のとき)
f∈Map(A,A)を次のように定義する。
f(a_k)=a_{k+1}
f(x)=x (∀k(x≠a_k) のとき)
B={f(x)|x∈A} とする。
Aが有限でも無限でも,f∈Map(A,B) は(全)単射である。
Aが有限 ⇔ B=A
注:Aが有限のとき,fの定義が,あるnについて f(a_n)=a_{n+1}=a_0 で終わる。
No.2
- 回答日時:
No.1です。
(1)で、Xが有限集合「A⊃∀B:真部分集合 に対しても Map(A,B)∋f:全単射 は存在しない」⇒Xは“有限集合”「集合Xの元の個数を数えてその数が有限個」 を導き、
(2)で、Xが“有限集合”「集合Xの元の個数を数えてその数が有限個」⇒∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射 を導いたので
(1)、(2)より
Xが有限集合「A⊃∀B:真部分集合 に対しても Map(A,B)∋f:全単射 は存在しない」⇒∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射
が導けたと思うのですが。
ご回答有難うございます。
やっと意味が分かりました。
所で、「集合Xの元の個数を数えてその数が有限個の場合」の部分('数える'と'有限個'の定義)はどのように定義されているのでしょうか?
つまり、“有限集合”の定義を記号と数式で表すとどのように書けるのでしょうか?
恐らく、
Xは“有限集合”⇔∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射
が“有限集合”の定義だと推測します。
すると(2)は不要なのではないかと疑問に思ったのですが…
No.1
- 回答日時:
ちょっと紛らわしくなるので、次のように約束しておきます。
「集合Xの元の個数を数えてその数が有限個の場合、Xは“有限集合”と呼ぶことにする。そうでない場合、Xは“無限集合”と呼ぶことにする。空集合は元の個数が0個として“有限集合”として約束します。」
これから、無限集合、有限集合、“有限集合”、“無限集合”という言葉を区別して用います。
方針としては
(1)Xが有限集合⇒Xは“有限集合” をまず示し、
(2)Xが“有限集合”⇒⇒∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射 を示します。
(1)背理法で示す。仮にXが有限集合であるにも関わらず、Xが“有限集合”でない。すなわちXが“無限集合”であると仮定する。
Xが空集合でないのでXの元が存在する。これをa1と記すことにする。次に、X\{a1}が“無限集合”であることに注意します。(なぜなら、X\{a1}が“有限集合”だとすると、Xも“有限集合”となってしまうから)
次にX\{a1}の元をa2と記すことにする。すると、X\{a1,a2}も“無限集合”。
以下、この操作を繰り返すと任意の自然数nに対し、X\{a1,a2,…an}が“無限集合”であることがわかります。(正確には帰納法で示す。)
一般にX\{a1,a2,…an}の元をan+1と書いてやれば、
{a1,a2,…an,…}⊂Xがわかります。(ここでa1,a2,…の元の指定に対し選択公理が使われています。)
写像fを次のように定義します。
f:X→X\{a1} , X∋x≠aiならf(x)=x , X∋x=aiなら、f(ai)=ai+1 (i=1,2,…)
すると、fは全単射であることがわかります。(証明は、はしょります。)
よって、XとXの真部分集合X\{a1}の間に全単射があるので、Xは無限集合となります。これは、Xが有限集合であることに矛盾。よって、Xは“有限集合”。
(2)Xが“有限集合”とする。元の個数が有限個なので、Xの元をa1,a2,…と記していき、
X={a1,a2,…,an}とする。(元の個数が有限個なのでこのように書ける。)
写像gをg(ai)=iと定義すれば明らかに全単射となる。
したがって、∃n∈N such that Map(X,{1,2,…n})∋∃f:全単射は成立。
ご回答有難うございます。
> ちょっと紛らわしくなるので、次のように約束しておきます。
「Aが有限集合⇔ A⊃∀B:真部分集合 に対しても Map(A,B)∋f:全単射 は存在しない」
という定義から導き出す事は出来ないのでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 実数の区間-1<x<1から実数全部の集合への全単射の例を教えてください。 3 2022/07/28 01:57
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 代数学 環 1 2022/10/11 00:04
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 実数の収束と上限 4 2023/01/20 22:46
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報