- 締切済み
有限集合を無限に直積した集合の濃度は？
有限集合Ａがあったとして、Ａ×Ａ×Ａ×・・・と加算無限回直積させたら濃度はどうなりますか？ 直感では加算無限個になると思うのですが、証明する方法が思いつかないので教えてください もし言葉や記号に間違いがあったら教えてください、補足します
- 数学・算数
- 回答数3
- ありがとう数3
- みんなの回答 （3）
- 専門家の回答
みんなの回答
Aが可算無限集合だったとして、Aの有限個nの直積の濃度α0^n（アレフ0のn乗）は、確かに可算無限になります。ここにα0（アレフ0）は、可算無限の濃度を表すとします。 たぶんここから、個数nの有限集合Aの可算無限個の直積の濃度n^α0も可算無限だと直感的に感じたのだと思いますが、無限集合論は直感に反する世界だと思った方が安全です(^^;)。 無限集合論の一般的定理として、集合Aの濃度（個数）をβとすれば、 β＜2^β (1) が成り立ちます（βが有限の場合も含めて）。2^βは、Aに含まれる全ての部分集合の数だからです。これも直感に反するのですが、2を任意有限のnに取り換えても同様に、 β＜2^β＝n^β (2) となります。 例えばn＝10，β＝α0とすると、A^α0は、0～9の数字を動く可算無限個の窓を持つ、スロットルマシーンが表示する数値と同じだけの数があります。その窓の一番左の窓の隣に「0.」と印刷されてれば、そのスロットルマシーンが表示する数値のパターン全部は、0～1にある実数全てと同じだよね？、という発想です。 実数の集合Rの濃度をc（連続無限）とすれば、集合としての実数区間[0，1]の濃度を|[0，1]|として、 |[0，1]|＝c (3) がやはり無限集合論から導かれます。(1)，(2)，(3)をあわせれば、有限集合Aの濃度を|A|＝n（n≠1）として、 α0＜|A^α0|＝n^α0＝2^α0＝c が連続無限濃度の集合論における「定義」になります。
- nakaken88
- ベストアンサー率57% (12/21)
Aの元が1個しかなければ、直積も元は1個ですよね。 2個以上あれば、例えば10個のときを考えると、直積の元と0から1までの実数は1対1に対応するので、回答No1さんの言うとおり、濃度は実数の濃度と同じになります。
お礼
Ａの元が1個の場合を忘れていました 回答ありがとうございます
- akinomyoga
- ベストアンサー率85% (100/117)
有限集合の元の数を |A| とすると、A×A×… の元は、[0,1) の実数の |A| 進法表示 0 . a1 a2 … aN … と1対1に対応付けられるので A×A×… の濃度は実数 [0,1) と同じ א だと思うのですが…。 > もし言葉や記号に間違いがあったら ただの変換間違いとは思いますが「加算無限」ではなくて「可算無限」です。
お礼
仰るとおり可算の間違いです 回答も含めありがとうございます
関連するQ&A
- 集合は有限集合と無限集合だけですか？
有限集合の元の数を考えるとき、 「いかなる有限集合よりも元の数が多い有限集合は存在しない」------（A） ことがわかります。一番大きな基数の有限集合が存在しないと言い換えても良いですね。 ところがここに無限集合の概念を導入すると 「いかなる基数の有限集合よりも大きい集合として無限集合がある」---（A’） ここで「大きい」とは二つの集合の元を対応させて行くと、「大きい」方の元が余ることを言います。 ここでは、“超有限集合”＝無限集合という関係が成り立ちます。 さて、公理的集合論の公理により、無限集合Rから常にPower(R)が作れるので、 「いかなる無限集合よりも濃度の数が多い無限集合は存在しない」------（B） が成立しました。 一番大きな濃度の無限集合が存在しないと言い換えても良いですね。 ここで、有限、無限に続く第三の概念として、“超無限集合”＝寿限無集合（仮名）という概念を導入します。 すると、（A）に対して（A’）が成り立ったように、（B）に対して（B’）が成り立ちます。 「いかなる濃度の無限集合よりも大きい集合として寿限無集合がある」---（B’） 質問１：このような寿限無集合はZFC公理系で無矛盾に定義できますか？ 質問２：集合の種類は有限と無限の二種類でしたが、第三の概念を導入すると、無限集合では成り立たないが寿限無集合の世界だけで成り立つ定理も発見できると思うのですが、このような概念の拡張をした数学者はいましたか？ 質問３：有限と無限以外に第三の概念を導入することが無意味であると立証できますか？
- ベストアンサー
- 数学・算数
- 2つの可算無限集合においてその直積は可算無限集合である
2つの可算無限集合においてその直積は可算無限集合であるということ｛ｆ（i,j）=1/2(i+j-1)(i+j-2)+j｝を数列、または格子を使って証明するにはどうしたらよいか教えてください。
- 締切済み
- 数学・算数
- 「直積集合の全集合」とは？
別の方の質問 http://oshiete1.goo.ne.jp/qa4877672.html を見ていて気になった点についてです。 「集合族の空集合と全集合」とは何でしょうか？ 通常、「空集合」や「全集合」は、何らかの集合の ベキ集合族に対して定義される概念かと思います。 一般の集合族に対する「全集合」とは、どのように 定義されるのでしょう？ 「集合族Φの全集合」と言ったら、Φ自身のことでしょうか、 それとも、Φの最大元のことでしょうか？ ご存知の方、解説よろしくお願いします。 先の http://oshiete1.goo.ne.jp/qa4877672.html の例で言えば、 ΨとΩの集合族としての直積は、質問氏の書いている Ψ×Ω ＝ { (A,B) ; A∈Ψ, B∈Ω } ですが、これは、 ベキ集合族ではないし、σ集合族でもありません。 Ｙ と Ｚ の空間としての直積に付随するσ集合族 という意味で 言っているのだとすれば、「直積」は、このΨ×Ωではなく、 Ψ×Ωの任意個の元の和集合全体が成す集合族 になるハズです。 その際、「全集合」が Ｙ×Ｚ であることは違いありませんが… また、A×0 = 0×B = 0 と考えるなら、この式の「×」を 0 と B の集合としての直積と解釈したことになります。 Ψ×Ω ＝ { A×B ; A∈Ψ, B∈Ω } と表記するのならば、 右辺内の A×B は、A と B の対 (A,B) という意図で 標準的でない書き方をしてしまったものと解釈すべきで、 A と B の集合としての直積ではありえません。 その場合、0×B は、Ψ×Ωの元で Ｙ成分が 0、Ｚ成分が B の ものであって、空集合ではありません。
- ベストアンサー
- 数学・算数
- 無限集合の連続体濃度のよりも大きな濃度？
http://ufcpp.net/study/set/cardinality.html#carginality 上記のサイトを眺めておりましたところ、下記の記述に出会いました。 ＝＝＝引用＝＝＝ 余談になりますが、 この記号 א は、 ヘブライ文字の1文字目で、ギリシャ文字のα、ローマンアルファベットの a の元になった文字です。 無限基数の中で小さいものから順に、 א0 , א1 , א2 , ・・・ と表します。 昔は、 無限基数を小さいものから順に、 ヘブライ文字の第 n 文字目で表していました （aleph, beth, gimel, daleth, ・・・）が、 読めないし、写植の上でもなかなか表示できないので、 アレフの右下に添字を付ける今の表記法になりました。 ＝＝＝引用終わり＝＝＝ 恥ずかしながら、無限集合の濃度の事を聞いて以来、無限集合の濃度は下限が א0で上限がא1なのかと勝手に思っておりました。 ところが、上述のように、 א0 , א1 , א2 , ・・・ ということでありますと、俄然 א2の濃度を持つ無限集合に興味が湧いてまいりました。 連続体濃度よりも濃度が大きい無限集合とはどのような集合でしょうか？ 数学の素人なものですから、直観的に理解できそうな実例を一個・二個、お示し頂けるとありがたいです。
- ベストアンサー
- 数学・算数
- 有理数集合の濃度は非可算？！
有理数集合の濃度は非可算？！ 有理数集合Qの濃度は可算ですが、以下のように考えたところQ（の部分集合）が非可算無限集合になってしまいました。 どこが誤りかご教授願います。 正の有理数は素数のベキを用いて 2^α×3^β×…（α,β,…∈Z） で一意的に表される。 素数の個数は可算無限個なので Q+とZの可算無限個の直積が一対一対応する。 このときZも可算無限集合なので、可算無限集合の可算無限直積で非可算無限集合になる。 よってQ+は非可算無限集合である。
- ベストアンサー
- 数学・算数
- 有限集合の定義って? {1,2,…}は有限集合?
無限の公理は ∃A;[(φ∈A)∧((￢(x∈A))∨(x∪{x}∈A))] というものなので 集合Aが無限集合の定義は「(φ∈A)∧(￢(x∈A)∨(x∪{x}∈A)」ですよね。 すると、有限集合の定義は無限集合ではないもの 即ち Aが有限集合であるとは「￢[(φ∈A)∧(￢(x∈A)∨(x∪{x}∈A)]」 と言う風に書けると思います。 ￢[(φ∈A)∧(￢(x∈A)∨(x∪{x}∈A)]は ￢(φ∈A) ∨ ￢(￢(x∈A)∨(x∪{x}∈A))と書け、 ￢(φ∈A) ∨ ((x∈A)∧￢(x∪{x}∈A)) したがって、 (Aはφを含まない) ∨ (x∈A)∧(Aはx∪{x}を含まない) となってしまい、自然数全体の集合から0を差し引いたN＼{0}という集合 {φ∪{φ},(φ∪{φ})∪{φ∪{φ}},…}は有限集合となってしまいますよね。 (∵この集合はφを含んでいないので) でもこれを有限集合とは到底思えませんよね。 一体何処から間違っているのでしょうか?
- ベストアンサー
- 数学・算数
- 「有限集合の部分集合は有限集合」の証明
有限集合Xの部分集合Aは有限集合であることの証明がわかりません。 X;集合とします X⊇A とします。 とあるテキストによると,Aが有限集合であるとは, ＿＿∀F∈P(P(X))[F;A上帰納的 ⇒ A∈F] との事です。 ここで,Xの冪集合の冪集合P(P(X))∋FがA上帰納的であるとは, ＿＿φ∈F∧∀C∈F∀x∈A[C∪{x}∈F] であると事,とされています。 この定義に従って, ＿X;有限集合 ⇒ A;有限集合 を証明したいのですが,証明がさっぱり分かりません。 是非とも証明を御教え下さい。宜しくお願い致します。
- ベストアンサー
- 数学・算数
- 集合の対等や濃度の問題が分かりません。
二問あります。 １． 任意の集合A、Bに対し、|A-B|=|B-A|ならば、|A|=|B|であることを示せ。 ２． 有限集合A、Bに対して、|A|=m |B|=n のとき、AからBへの写像全体の集合の濃度を求めよ。 この二問です。 問１に関しては直感的なイメージも出来、ベン図からも成立しそうなのですが、証明の書き方がわかりません。 問２に関しては問題文が先ず理解できないです。「写像全体の集合の濃度」の意味が良く分かりません。自分でなんとなくのイメージで出した答えは m+n-mn ですが、合っている気がしません。 解説お願いいたします。
- 締切済み
- 数学・算数
- 集合論 直積集合の定義式
直積集合の定義を，冪（ベキ)集合を用いているものがあります． 直積集合自体の意味は，たとえば，X×Ｙで，デカルト平面を想像すればわかります． その定義式は， 集合X，Ｙについて ｛ （x,y)∈ B(B(U{x,y})):x∈X,y∈Ｙ ｝ ただし，B（・）は，冪集合を表す記号． また，U｛・｝は，和集合を作る記号で，A U B U C U・・と同じです． 冪集合でまた冪集合を作るような記号らへんのところも特に分かりづらいです．
- ベストアンサー
- 数学・算数
お礼
2^Ａがべき集合だとは聞いたことがあるのですが、指数のように扱えるのは目からうろこでした 無限には常識が通じないこととともに肝に銘じておきます 回答ありがとうございました