• 締切済み
  • すぐに回答を!

直積集合の証明問題

A×B、C×Dは直積集合をして、 (A×BがC×Dの部分集合) ⇔ (AはCの部分集合、かつBはDの部分集合) という証明問題を解きたいのですが、あまりに当たり前なことなので、 逆に何から手をつけて解いていけばいいのか全く分かりません。 どなたか、証明の仕方がわかる方がいましたら、証明の方針だけでも教えて欲しいです。 よろしくお願いします。

共感・応援の気持ちを伝えよう!

みんなの回答

  • 回答No.2
  • jmh
  • ベストアンサー率23% (71/304)

A,B,C,Dは空ではないとします。 E⊆Fとは「x∈E⇒x∈F」のことでした。 E×F={(x,y)|x∈Eかつy∈F}なので、 「(x,y)∈E×F⇔(x∈Eかつy∈F)」です。 証明: (=>)A×B⊆C×Dを仮定する。  x∈Aとすると…   Bは空でないので適当なb∈Bをとれば、   直積の定義により(x,b)∈A×B。   仮定によって(x,b)∈C×D。   直積の定義によってx∈Cを得る。  同様にx∈Bとするとx∈Dを得る。  故にA⊆CかつB⊆D。 (<=)A⊆CかつB⊆Dと仮定する。  (x,y)∈A×Bとすると…   直積の定義によってx∈Aかつy∈B。   仮定は、x∈Aからx∈Cをy∈Bからy∈Dを導く。   直積の定義によって(x,y)∈C×D。 空が混じってる場合、例えば、A≠B=C=D=空のときは、どうなるでしょう? 自信はないですよ。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

>空が混じってる場合、例えば、A≠B=C=D=空のときは、どうなるでしょう? 確かにそうですね。 今度先生に聞いてみることにします。 回答ありがとうございました。

  • 回答No.1

secret-gooさん、こんにちは。 >A×B、C×Dは直積集合をして、 (A×BがC×Dの部分集合) ⇔ (AはCの部分集合、かつBはDの部分集合) 自信ないんですけど、まず直積集合の定義から。 A×B={(a,b)|∀a∈A,∀b∈B} 今、集合Aの要素が a1,a2,a3,・・・anとし 集合Bの要素が b1,b2,b3,・・・bmとする。 A×B={(a1,b1)(a1,b2)・・・(a1,bm),(a2,b1)・・・(a2,bm)    ・・・・(an,b1)・・・(an,bm)} までのnm個である。 A×B⊆C×Dであるから、 C×Dの要素は、 {(a1,b1)(a1,b2)・・・(a1,bm),(a2,b1)・・・(a2,bm)    ・・・・(an,b1)・・・(an,bm)} を全て含んでいる。 C×D={(a1,b1)(a1,b2)・・・(a1,bm),(a2,b1)・・・(a2,bm)    ・・・・(an,b1)・・・(an,bm) (c1,d1)・・・(c1,dl)・・・・(ci,d1)・・・(ci,dl)} のようにおける。 このとき、定義より a1,a2,・・・an,c1,c2,・・・ci∈C b1,b2,・・・bm,d1,d2,・・・dl∈D であるから、 A⊆C,B⊆Dが成立。 逆に、A⊆C,B⊆Dであるならば、 ∀a∈A⊆Cより、a∈C ∀b∈B⊆Dより、b∈D なので、その直積をとったものについても {(a,b)|∀a∈A,∀b∈B}について a∈C,b∈Dがいえているから {(a,b)|∀a∈A,∀b∈B}⊆C×D ゆえにA×B⊆C×D ちょっと自信ありません。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

なるほど、集合の要素を書いていけば確かに証明できますね。ありがとうございます。参考にさせてもらいます。

関連するQ&A

  • 直積集合について質問です

    直積集合について質問です。 直積集合を定義することによってどのような利点が生まれるのですか? また集合Aと集合Bの直積集合において、集合Aの部分集合fを要素と考えて集合Bの要素と部分集合fを組にすることは可能ですか?

  • 「直積集合の全集合」とは?

    別の方の質問 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 の ものであって、空集合ではありません。

  • 直積の証明問題です。大学の数学のわかる方お願いします

    直積の証明問題です。大学の数学です。 Xの部分集合{A;λ∈∧} {B:μ∈M}について (∩{A:λ∈∧}×(∩{B:μ∈M})=∩{A×B:<λ、μ>∈∧×M} を証明せよ という問題が解けずこまっています。よろしくお願いします 要素が含まれることを書けばいいと思うのですが、どう書けばいいのか わかりません。

  • 集合の問題です。

    直積集合の問題です。 次の命題を証明したいのですが…教えてください!! 命題:AをXの部分集合、BをYの部分集合とすれば、等式 (X×Y)-(A×B)=((X-A)×Y)∪(X×(Y-B)) が成り立つ。 この証明をしてください。お願いします!!

  • 直積集合の元は必ず集合となる?

    度々すいません。また数学基礎論での質問です。 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))は集合と言ってもいいのでしょうか?

  • 数学 集合と直積の問題について

    数学にて集合についての問題です。 次が成り立つことを示せ。 (1) A×(B U C) = (A × B)U(A × C) (2) (A n C) × C = (A × C) n (B × C) A,B,Cは任意の集合 証明をすれと言われても何をどうすればいいのかさっぱりです。 できれば説明をつけてお願いします。

  • 集合論の直積

    集合論の直積でつまずいています.和集合などはベン図に描いて理解しやすいのですが,直積に関してはイメージも沸かず,困っています. 以下は,○か×かどちらになるかの理由を考えていますが,解らない状態です.どなたか集合論にお強い方,お知恵を拝借させてください. 1.(Π_[i∈N]Ai)^c=Π_[i∈N](Ai)^c 2.A*(∪_[i∈N]Bi)=∪_[i∈N](A*Bi) 3.A^c*B^c*C^c⊂(A*B*C)^c 4.任意のi∈NについてAi⊂Biであれば,Π_[i∈N]Ai⊂Π_[i∈N]Bi 5.Π_[i∈N]Ai=φ⇒∀i∈N,Ai=φ

  • 集合の問題です。

    集合の問題です。 集合A、B、C、Dについて次の等式を証明せよ。 (A∩B)×(C∩D)=(A×B)∩(C×D) 回答お願いします!!

  • 部分集合、積集合の証明の問題です。

    集合Xの部分集合A,Bと集合Yの部分集合Cについて、次の等式が成り立つことを証明せよ。 (A-B)×C=A×C-B×C どうかお願いします。

  • 直積集合の空集合と全集合

    σ集合体Ψ、Ωを使って、(*)のように直積をとった集合族の空集合と 全集合は何になるんでしょうか?ちなみに、Ψは集合Y、Ωは集合Zを もとに作られているとします。 {A×B; A∈Ψ, B∈Ω} (*) 空集合を0で表記すると、(*)の空集合は0×0、全集合はY×Zと思った のですが、正しいでしょうか。また、0×BやA×0はどう扱うのでしょうか。 Y×BとA×Zは全集合ではないというのはなんとなくわかるのですが…。 よろしくお願いします。