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
ちょっと自信ありません。
No.2
- 回答日時:
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=空のときは、どうなるでしょう?
自信はないですよ。
この回答へのお礼
お礼日時:2003/11/29 00:37
>空が混じってる場合、例えば、A≠B=C=D=空のときは、どうなるでしょう?
確かにそうですね。
今度先生に聞いてみることにします。
回答ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 自然数の集合をNとする。直積集合N×N={(a,b)|a,b∈N}において関係Rを、 (a,b)R( 2 2022/07/28 02:00
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 【 数I 部分集合を求める 】 問題 U={1,2,3,4,5,6,7,8,9}を全体集合とすると 1 2022/07/18 11:51
- 統計学 統計学の問題です よろしくお願いします 回帰直線 次のデータから集計表を作成し,以下の問いに答えよ。 1 2023/01/31 18:55
- 統計学 統計学の問題です よろしくお願いします 回帰直線 次のデータから集計表を作成し,以下の問いに答えよ。 2 2023/01/31 23:36
- 数学 【 数A 集合 】 問題 A={1,3,5,7,9,11,13,15},B={5,10,15} につ 1 2022/07/18 11:06
- 弁護士・行政書士・司法書士・社会保険労務士 行政書士試験の民法についての質問になります。 保証債務(連帯保証)について、分からない事があります。 1 2023/08/25 00:23
- 数学 代数学 環 1 2022/10/11 00:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数字の上のバー
-
1から100までの自然数で、3,4,5...
-
R\\{0} って、0を除く実数って...
-
無限集合に離散距離を入れた空...
-
1桁の自然数全体を全体集合Uと...
-
保育園・幼稚園で集合写真を購...
-
0以上1未満の数の集合Mの表し方
-
高1数学
-
有理数÷有理数は絶対有理数なん...
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
皆様、聞いたいことがあるんで...
-
空集合について〇か×か返答をお...
-
測度論;完備化、測度零集合に...
-
数学の質問です。
-
ACCESSのSQL
-
⊆この記号の意味は?
-
{1/n;n=1,2,…}はRで何故,閉集合...
-
直積集合の証明問題
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
集積点が、まったく分かりませ...
-
要素と、部分集合の違いを教え...
-
数学で、数字の上にある横線の意味
-
数学でのセミコロンについて
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
数字は存在するのか
-
R\\{0} って、0を除く実数って...
-
ACCESSのSQL
-
高1数学
-
(1)PまたはQを通る道順 (2)図中...
-
1から100までの自然数で、3,4,5...
-
6以下の自然数全体の集合の要素...
-
空集合のべき集合
-
∈ と ⊂ のはっきりとした違い
-
Rの半開区間(0,1]と開区間(0,1)...
-
何故線型空間はあっても、非線...
-
集合
-
高校1年の数学Aです。 この、ピ...
おすすめ情報