- 締切済み
集合論の直積
take008の回答
- take008
- ベストアンサー率46% (58/126)
直積のイメージを沸かせましょう。 Ａ，Ｂが実数Ｒの集合，それも区間だとします。 Ａ＝{x|a<x<c}，Ｂ＝{y|b<y<d} すると， Ａ×Ｂ={(x,y)|a<x<c, b<y<d} は長方形です。 ご質問の問題は，多数の直積や和集合についてですが， まず２つの集合，それも実数の区間，の場合を考えてみましょう。 それで○か×かわかったら，一般の場合を考えればいいでしょう。
関連するQ&A
- 直積集合の作り方について
こんにちは。 物理学を学んでいる学生ですが数学を独学で勉強中で直積集合の構成について質問があります。 目的は直積集合で座標軸xを構成することとします。 このとき、 ある添数集合N（自然数）を定義し、その元をλとします。（λ＝1,2,3,・・・） この時、Nによって添数づけられた集合族 （A）λ∈Ｎ を定義しておいて、 この集合族Aを(-λ, λ)としておく。 全ての添数λ(∈N)についての集合族Ａの和集合で直積集合を構成することにする。 このとき、Ａの和集合で構成される直積集合は(-∞,∞)の集合となりますか？ この考え方で座標軸ｘ軸を構成できると思いました。 この考え方は正しいですか？ また、間違っているならどこが間違っているか教えてください。 お願いします
- ベストアンサー
- 数学・算数
- 「直積集合の全集合」とは？
別の方の質問 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 の ものであって、空集合ではありません。
- ベストアンサー
- 数学・算数
- 集合論 直積集合の定義式
直積集合の定義を，冪（ベキ)集合を用いているものがあります． 直積集合自体の意味は，たとえば，X×Ｙで，デカルト平面を想像すればわかります． その定義式は， 集合X，Ｙについて ｛ （x,y)∈ B(B(U{x,y})):x∈X,y∈Ｙ ｝ ただし，B（・）は，冪集合を表す記号． また，U｛・｝は，和集合を作る記号で，A U B U C U・・と同じです． 冪集合でまた冪集合を作るような記号らへんのところも特に分かりづらいです．
- ベストアンサー
- 数学・算数
- 直積集合の元は必ず集合となる?
度々すいません。また数学基礎論での質問です。 a,bを集合として<a,b>:={{a},{a,b}}と定義し、順序対と呼ぶ。 そして、 A×B:={<a,b>;(a∈A)∧(b∈B)}と定義し、A×Bを直積集合と呼ぶ。 と記載されているのですが、 これだとAやBは集合系(集合が元であるような集合)でa,bは集合ですよね。 (A×Bの元<a,b>は2^(2^(A∪B))の元?) でも 通常、数学基礎論以外の教科書(微分積分や線形代数)ではA×Bの元は集合でない場合で定義されてますよね。 A×B:={<a,b>;(a∈A)∧(b∈B)}が直積集合の定義で微分積分や線形代数での直積集合の定義も含んでいるのなら、 元は集合にも成りうるのでしょうか? 具体的には a,bを集合として<a,b>:={{a},{a,b}}と定義し、A×B:={<a,b>;(a∈A)∧(b∈B)}と定義するのなら実数体の直積集合R×Rの元(例えば(√2,1/2))は集合と言ってもいいのでしょうか?
- ベストアンサー
- 数学・算数
- 直積集合について質問です
直積集合について質問です。 直積集合を定義することによってどのような利点が生まれるのですか？ また集合Aと集合Bの直積集合において、集合Aの部分集合fを要素と考えて集合Bの要素と部分集合fを組にすることは可能ですか？
- ベストアンサー
- 数学・算数
- 数学 集合と直積の問題について
数学にて集合についての問題です。 次が成り立つことを示せ。 (1) A×(B U C) = (A × B)U(A × C) (2) (A n C) × C = (A × C) n (B × C) A,B,Cは任意の集合 証明をすれと言われても何をどうすればいいのかさっぱりです。 できれば説明をつけてお願いします。
- ベストアンサー
- 数学・算数
- 確率論
（Ω,P) を確率空間とする (1) 分割 Ω＝∪[i=1,n] Bi, Bi∩Bj=空集合 (i≠j）があるとする。 このとき、任意の部分集合A⊂Ωに対して P(A)＝Σ[i=1,n] P(A|Bi)P(Bi) が成立することを証明せよ。 （2) C,D ⊂Ω がP(C)＞０、P(D)＞０を満たすと仮定する。 このとき任意のA⊂Ω において Pc（A|D)=P(A|C∩D) が成立することを証明せよ。 という問題で、(1)は感覚的には合っているというのが分かりますが、 数学的な証明が分かりません。 P(A|B)＝P(A∩B)/P(B) という式を利用したらよいのでしょうか？ (2)に関しては全く分からず、何故、P(C)、P(D)を ＞０ と仮定する 必要があるのでしょうか。 Pが確率であるなら必ず＞０になるのではないのでしょうか？？
- ベストアンサー
- 数学・算数
- 直積集合の空集合と全集合
σ集合体Ψ、Ωを使って、(*)のように直積をとった集合族の空集合と 全集合は何になるんでしょうか？ちなみに、Ψは集合Y、Ωは集合Zを もとに作られているとします。 {A×B; A∈Ψ, B∈Ω} (*) 空集合を0で表記すると、(*)の空集合は0×0、全集合はY×Zと思った のですが、正しいでしょうか。また、0×BやA×0はどう扱うのでしょうか。 Y×BとA×Zは全集合ではないというのはなんとなくわかるのですが…。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました．集合の数を少なくした場合で考えて，一般化への理解につなげていく．とてもためになりました．