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で質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数学で、数字の上にある横線の意味
-
集合の問題でこのような回答で...
-
R\\{0} って、0を除く実数って...
-
何故線型空間はあっても、非線...
-
数研出版 メジアン 集合の問題
-
A∩BとAかつBは意味が違うのでし...
-
有限な区間ですか有界な区間ですか
-
線形代数
-
(1)PまたはQを通る道順 (2)図中...
-
空集合のべき集合
-
この中括弧の意味は・・・
-
集合演算について
-
数学のノーベル賞
-
数学の集合が得意な方に質問で...
-
1から100までの自然数で、3,4,5...
-
500以下の自然数を全体集合とし...
-
置換群(Symmetric Group)と対称...
-
空集合について〇か×か返答をお...
-
数学の集合の単元について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報