![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
別の方の質問 http://oshiete1.goo.ne.jp/qa4877672.html
を見ていて気になった点についてです。
「集合族の空集合と全集合」とは何でしょうか?
通常、「空集合」や「全集合」は、何らかの集合の
ベキ集合族に対して定義される概念かと思います。
一般の集合族に対する「全集合」とは、どのように
定義されるのでしょう?
「集合族Φの全集合」と言ったら、Φ自身のことでしょうか、
それとも、Φの最大元のことでしょうか?
ご存知の方、解説よろしくお願いします。
先の http://oshiete1.goo.ne.jp/qa4877672.html の例で言えば、
ΨとΩの集合族としての直積は、質問氏の書いている
Ψ×Ω = { (A,B) ; A∈Ψ, B∈Ω } ですが、これは、
ベキ集合族ではないし、σ集合族でもありません。
Y と Z の空間としての直積に付随するσ集合族 という意味で
言っているのだとすれば、「直積」は、このΨ×Ωではなく、
Ψ×Ωの任意個の元の和集合全体が成す集合族 になるハズです。
その際、「全集合」が Y×Z であることは違いありませんが…
また、A×0 = 0×B = 0 と考えるなら、この式の「×」を
0 と B の集合としての直積と解釈したことになります。
Ψ×Ω = { A×B ; A∈Ψ, B∈Ω } と表記するのならば、
右辺内の A×B は、A と B の対 (A,B) という意図で
標準的でない書き方をしてしまったものと解釈すべきで、
A と B の集合としての直積ではありえません。
その場合、0×B は、Ψ×Ωの元で Y成分が 0、Z成分が B の
ものであって、空集合ではありません。
No.1ベストアンサー
- 回答日時:
そうかなあ?
> 先の http://oshiete1.goo.ne.jp/qa4877672.html の例で言えば、
> ΨとΩの集合族としての直積は、質問氏の書いている
> Ψ×Ω = { (A,B) ; A∈Ψ, B∈Ω } ですが、これは、
> ベキ集合族ではないし、σ集合族でもありません。
はてさて、かの質問氏はそんなこと書いてましたっけか。引用すると
>> σ集合体Ψ、Ωを使って、(*)のように直積をとった集合族の空集合と
>> 全集合は何になるんでしょうか?ちなみに、Ψは集合Y、Ωは集合Zを
>> もとに作られているとします。
>> {A×B; A∈Ψ, B∈Ω} (*)
とあります。すなわち、
Ψは集合Yの部分集合を要素とするσ集合体(完全加法族)である。
Ωは集合Zの部分集合を要素とするσ集合体である。
また、A×Bはフツーに読めばYの部分集合AとZの部分集合Bの直積集合
A×B = {<a,b> | a∈A ∧ b∈B}
のことでしょう。空集合をφと書くことにすると、ついでながら
A×φ = {<a,b> | a∈A ∧ b∈φ} = φ
φ×B = {<a,b> | a∈φ ∧ b∈B} = φ
です。で、(*)の集合をXと書くことにすれば、
X = {A×B | A∈Ψ ∧ B∈Ω}
と、ここまで、特段変なところはないように思われます。
さて、「Xの全集合(全体集合)」だの「Xの空集合」という言い方、実は聞いたことがないんですけれども、ここで考えているもののうちで一番大きそうなのがXなのだから、おそらくXが「Xの全集合」なのでしょう。そしてまた、Xが集合である以上は
φ⊂X
なのだから、φが「Xの空集合」なんだろうなあと思います。(で、ここまでの話は、集合Xがどうやって出来ているかは全然関係ない。)
ところで、上記のX自身もまたσ集合体になっているんじゃありませんかね?だとすると
X = Y×Z
となりそうですから、結局「Xの全集合はY×Zで、Xの空集合はφ」ということになるんじゃありません?
そうですね!
原文をよく読むと、確かに
「Ψ、Ωを使って、直積をとった集合族」とはありますが、
「ΨとΩの直積をとった集合族」とは書いてありません。
(*) の表記のほうを優先すれば、前回 A No.1 のようになる
と思われます。空気の読み方が足りなかったようです。
そこで再度、今回の私の質問です。
「集合族の空集合と全集合」とは何でしょうか?
それは、一般の集合族に対して定義されるものでしょうか?
「集合族γの全集合」と言ったら、γ自身のことでしょうか、
それとも、γの最大元のことでしょうか?
ご回答の、
> おそらくXが「Xの全集合」なのでしょう。
の箇所は、「集合族γの全集合」はγ自身のこと~式、
(*) の「全集合」を Y×Z と結論しているところは、
「集合族γの全集合」はγの最大元~式の考えなので、戸惑います。
私的には、「全集合」というのは、集合計算において
否定を安全に定義するために存在が要請される最大元のこと
だと捉えているので、ブール代数でないものの「全集合」を定義
することには、大きな違和感があります。
> 上記のX自身もまたσ集合体になっているんじゃありませんかね?
とのことですが、(*) は、σ集合族にはなりません。
何より、加法閉でない。R^2 内の2個の矩形からなる集合を考えてみると
判るかと思います。
ご回答ありがとうございました。
No.2
- 回答日時:
そうでした。
って、いやこれはANo.1のコメントについてです。
> (*) は、σ集合族にはなりません。
仰るとおりです。余計なことを書いて間違えました。(*^^*)
Xはσ集合族にはなりませんし、
X = Y×Z
でもない。かくてstomachmanのANo.1は修正が必要で、修正の結果残るのは「どんな集合Xであれ、「Xの全集合」とはXのこと、「Xの空集合」とはφのこと」というアホみたいな話だけです。
> ブール代数でないものの「全集合」を定義することには、大きな違和感があります。
「「全集合」は、集合Xのべき集合2^Xを関係⊂で束と見たときに、その極大元を指す用語として意味を持つ」と考えることもできる。ですがこれを「束2^Xの極大元はXだ」とは言えても「2^Xの全集合はXだ」と言ったらおかしくて、やっぱり「Xの全集合はXだ」としかならない。となると「全集合」なる用語の出番は、ご指摘の通り「補集合」とセットになっているに違いない。
で、「補集合」は、stomachman的にはですね、単なる表記上の略記・便法だと捉えています。すなわち、「補集合」ってのは、差集合をいちいち書くのがめんどくさいから「イツモノヤツからAを除いたもの」という風に略記しただけの、ま、文化的言い回しみたいなもんだと思っている。
その際に「イツモノヤツ」を指すのに「全集合」なる表現を使う。もう少し正確に言えば、「以下で補集合を使う時には、その全集合はXであるものとする」という略記のための断り書きでだけ、「全集合」なる用語が意味を持つと思う。ここで「その」が指すのは(Xではなく、また補集合として表された集合でもなく)補集合という形の略記、その表記そのものである。だから「Xの全集合」なる表現は出てこない。
そんなわけで、「Xの全集合」ってのにはかなり違和感があります。単にXと言えば足りるのになんで「全集合」と付ける?
さらに、「Xの空集合」ってのは、違和感どころじゃなく、もう誤りだと言っても良いぐらいだと思う。なぜなら、いちいち「Xの」と断らなければ空集合の一意性が言えないんじゃ、それは集合論ではない。外延の公理が泣きます。
> 一般の集合族に対して定義されるものでしょうか?
(圏論じゃないのだから)どんな集合族Xだってそれ自体が集合であることには違いない。なので、その部分集合として必ず空集合が存在する(φ⊂X)し、XとXの部分集合A(A⊂X)との差集合(X\A)を考えたくなったら「補集合」や「全集合」という用語を使っても悪い訳ではないと思いますけど。
結局、今回の要点は、
> どんな集合Xであれ、「Xの全集合」とはXのこと、「Xの空集合」とはφのこと
なのでしょうね。単に「~の空集合」「~の全集合」という言い方が不用意だった
というダケの話で… とんだ揚げ足取りをしてしまったようです。反省しました。
末尾三行については、全くその通りなのですが、
Xの部分集合とその演算を考えている時点で、Xそのものではなく
Xのベキ集合族を代数系として考察していることになるのだから、やはり
> ブール代数でないものの「全集合」を定義することには~
という話になってしまうかと。(反省が足りないでしょうか?)
ご回答ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 集合素人の質問 3 2022/08/21 18:41
- 数学 開集合・閉集合について 4 2022/11/04 13:53
- 数学 代数学 環 1 2022/10/11 00:04
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
- 数学 自然数の集合をNとする。直積集合N×N={(a,b)|a,b∈N}において関係Rを、 (a,b)R( 2 2022/07/28 02:00
- 数学 集積点 孤立点 『Aに属する元で、Aの集積点でない点を孤立点という』 と習いましたが、孤立点は必ずA 4 2022/06/20 08:47
- 数学 逆像法について 高校生です -1≦x≦2のとき、y=2x-3の値域を求めよ。 この問題を、xについて 4 2022/05/01 23:11
- 数学 位相 2 2023/05/02 18:22
- 数学 【 数I 部分集合を求める 】 問題 U={1,2,3,4,5,6,7,8,9}を全体集合とすると 1 2022/07/18 11:51
- 数学 収束と集積点の関係 2 2022/06/23 12:03
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
要素と、部分集合の違いを教え...
-
数学でのセミコロンについて
-
集積点が、まったく分かりませ...
-
数学で、数字の上にある横線の意味
-
偶数≠奇数の判定はどうやるのか?
-
数字は存在するのか
-
高1数学
-
6以下の自然数全体の集合の要素...
-
1から100までの自然数で、3,4,5...
-
R\\{0} って、0を除く実数って...
-
数字の上のバー
-
∈ と ⊂ のはっきりとした違い
-
空集合のべき集合
-
次の説明は「急速に減少✨️しな...
-
有理数÷有理数は絶対有理数なん...
-
部分が全体に等しいのが無限で...
-
数学の集合で閉じているの意味...
-
高校1年の数学Aです。 この、ピ...
-
言語の無限性に関してお考えを...
おすすめ情報