- ベストアンサー
A∪（BーC）＝（ A∪B）ー （A∪C）ならば A=φの示し方
- みんなの回答 （8）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
こんにちは。見ていらっしゃいますか？ 対偶は下に書いていらっしゃる式で正解です。 さて、ではその対偶を書き下してみると、 Aに要素が存在すれば、集合A∪（BーC）と（ A∪B）ー（A∪C）が同じでない。という意味になります。 以下、証明の流れです。 Aに要素aが含まれるとすると、aはAに含まれるのでA∪（BーC）にも含まれる。 ところが、aは（A∪B）ー（A∪C）には含まれない。ということで、 集合A∪（BーC）と（ A∪B）ー（A∪C）は同じでない。 これを記号を使ってまとめてみてください。
その他の回答 (7)
- kumipapa
- ベストアンサー率55% (246/440)
＃７です。 両辺をＡの積をとるのが不自然に思えた・・・そう思うのが自然かも知れません。 自分で回答しておいてそう言うのも変なんですけどね。力不足？そういうことではないでしょう。 この問題の場合は、「両辺Ａの積をとる」というような解法（というほどのものではないけど）を経験したことがたまたまあって、式を見たら両辺Ａで積を取ればＡ＝φになるのが一目瞭然だったのでそうしてみようと思っただけ。もし一目瞭然でそれが見えなかったら、私もその方向では解かない。両辺Ａと積を取ってもＡ＝φが示せるという必然性は無く、Ａ＝Ａになるだけかもしれないし、Ａ＝Ａ∩Ｂが示せるだけかもしれない（Ａ＝ＡもＡ＝Ａ∩ＢもＡ＝φで成立しますね。しかし、「だからＡ＝φ」とはならない。）。その辺は、方程式を解くのとは違いますね。そういう必然性が無い方向に解法を求めるのが不自然と感じるのは、普通だと思いますよ。 一方、対偶なり背理法なりでｘ∈Ａとして・・・と解くのは、必ず解に辿り着くであろう考え方だと思いますから、パッと見て明らかでなければ、ちゃんと解くのが方向としては正解だと思いますよ。
お礼
再び大変貴重なアドバイス、ありがとうございます。 >この問題の場合は、「両辺Ａの積をとる」というような解法（というほどのものではないけど）を経験したことがたまたまあって、式を見たら両辺Ａで積を取ればＡ＝φになるのが一目瞭然だった 私にはこれが実力ではないかという気がします。 私の場合最後まで解き切るのが無理でも 「Ａ＝φ」を示すのがこの問題の方針なので、 『「A＝～」という形に持ち込めないか』という問題の基本姿勢までは 自力で気付くことができればなぁ、という気持ちです。 数学が得意な人は慣れやセンスで解法が浮かぶみたいですが、 凡人にはその解法に必然性が感じられないとマスターするのは難しいですよね。 この度は2度もご投稿どうもありがとうございました。
- kumipapa
- ベストアンサー率55% (246/440)
集合代数でやっつけるならば・・・ 例えば・・・ Ａ∪(Ｂ－Ｃ）＝(Ａ∪Ｂ)－(Ａ∪Ｃ) が成立しているならば、両辺とＡとの積も等しい（Ｘ＝Ｙ ならば Ａ∩Ｘ＝Ａ∩Ｙ が成立する）から、 Ａ∩( Ａ∪(Ｂ－Ｃ) )＝Ａ∩( (Ａ∪Ｂ)－(Ａ∪Ｃ) ) 両辺をそれぞれ展開すると、（右辺の展開に Ｘ∩(Ｙ－Ｚ)＝(Ｘ∩Ｙ)－Ｚ を利用） 左辺 ＝ Ａ 右辺 ＝ Ａ∩(Ａ∪Ｂ)－(Ａ∪Ｃ) ＝ Ａ－(Ａ∪Ｃ) ＝ φ （空集合） 故に Ａ＝φ としても良いのではないでしょうか。 質問者さんのお礼欄に書かれた ＞ x∈Aならばx∈A∪(B－C） ＞ またx∈（Ａ∪C）なので、xは（A∪B－（A∪C）の元ではない。 ＞ したがってA＝φということですね。 も背理法で勿論ＯＫでしょう。左辺＝右辺が成立しているとき、x∈Aが存在したと仮定すると、ｘは左辺の元だが右辺の元ではないので矛盾。よってx∈Aは存在せずＡ＝φ 対偶も同様に、Ａ≠φ のときx∈Aが存在し、ｘは左辺の元だが右辺の元ではないので左辺≠右辺。よって、左辺＝右辺ならばＡ＝φ ですね。
お礼
御礼が遅れてしまってすみません。 ご回答どうもありがとうございます。 これはまさに私の参考書に載っていたのと同じ解法です。 A＝Ａ∩( Ａ∪(Ｂ－Ｃ) )＝Ａ∩( (Ａ∪Ｂ)－(Ａ∪Ｃ) ) この式、すなわち「両辺とＡとの積をとること」が不自然に感じていたのですが、kumipapaさんがサラッとこの解法で解いているのをみて 参考書の解法が不自然に感じるのは私の力不足なのだと思いました。 なんとか私もこの解法を使えるように努力します。 >も背理法で勿論ＯＫでしょう。 ANo.4のpomnyanさんのお礼の所で、対偶の後、背理法を使うとか訳分かんないこと書いていました。 「対偶の背理法とは裏のことか・・・？」とか頓珍漢なこと考えてました。 ANo.4のお礼の解法は対偶そのものですね。 この度も背理法と聞いて、 「P→Q」を背理法で証明とは「￢P→￢Q」の矛盾を導くのかななどと思ってしまいました。 「P→Q」の否定は「P∧￢Q」だから「P→Q」を背理法で示すとは「P∧￢Q」の矛盾を導くことですよね？ あれ？「P→￢Q」の矛盾を導いてもいいのかな？ ちょっと区別が付かなくなってきたのでもう少し考えてみます。 この度はどうもありがとうございました。
- jmh
- ベストアンサー率23% (71/304)
> またx∈（A∪C）なので、xは（ A∪B）ー（A∪C）の元ではない。 > したがってA＝φということですね。 > 「したがってＡ∪(Ｂ－Ｃ)≠(Ａ∪Ｂ)－(Ａ∪Ｃ)」じゃなくって？ 今、証明中なのは「Ａ≠φ⇒Ａ∪(Ｂ－Ｃ)≠(Ａ∪Ｂ)－(Ａ∪Ｃ)」です。 > その解答の解き方と全然違う… > その解答の解き方では、どうなっていますか？
補足
ちょっと調子を崩してしまい、ご返答が遅れてすみません。 私の問題集に載っていた模範解答はまさにANo.7のkumipapaさんの回答です。 A＝Ａ∩( Ａ∪(Ｂ－Ｃ) )＝Ａ∩( (Ａ∪Ｂ)－(Ａ∪Ｃ) ) 私にはこの式をいきなり思い付くのは大変かと思ったのですが、ANo.7のkumipapaさんの回答を見るととても分かりやすいです。
- pomnyan
- ベストアンサー率42% (3/7)
下の回答をした者です。名前が、ずいぶん昔に登録したものだったので、これを機会に変更したのです。びっくりさせてすみません。 納得していただいてよかったです。お疲れ様でした。
お礼
おお～！退会されてなくて良かったです。 この度は本当にどうもありがとうございました。 これは問題集の問題なので、解答があるのですが、 （その解答が分かりづらかったので、投稿したのですが・・・） その解答の解き方と全然違うのでびっくりです。 なんかいろいろな解き方がありそうなので、週末まで放置しましてから 締め切りをします。 どうもありがとうございました。
- jmh
- ベストアンサー率23% (71/304)
> 言われてみまして、対偶も考えてみましたが、 > 私には解けそうもありません。 > じゃなくて、「対偶を補足してください」ってこと（何か書かないと削除対象になっちゃうの）。
補足
対偶とは 「A≠φならばA∪（BーC）≠（ A∪B）ー（A∪C） 」 ということですか？ この問題で対偶を取ると解きやすくなるのでしょうか？
- tagaron
- ベストアンサー率0% (0/1)
こんにちは。整数の問題等ですか？ A∩Cが存在しなければ証明も容易いですがそこはどうでしょう？
補足
いえ、集合位相の集合分野の問題です。
- jmh
- ベストアンサー率23% (71/304)
対偶は？
補足
言われてみまして、対偶も考えてみましたが、私には解けそうもありません。 対偶による解法でももちろん構いませんので、よろしくお願いします。
関連するQ&A
- Ａ∩（Ｂ－Ｃ）＝（Ａ∩Ｂ）ー（Ａ∩Ｃ）の証明法
お世話になります。 よろしくお願いします。 集合について勉強中なのですが、 Ａ∩（Ｂ－Ｃ）＝（Ａ∩Ｂ）ー（Ａ∩Ｃ） の証明できずに困っています。 ベン図を使わずに左辺から右辺を証明する方法を教えてください。 ｘ∈｛Ａ∩（Ｂ－Ｃ）｝と置く証明法です。 ちなみに右辺から左辺は何となくできました。 後もう一点あるのですが、 Ａ∩（Ｂ－Ｃ）と（Ａ∩Ｂ）ーＣは同じでしょうか？ 分かる方、よろしくお願いします。
- ベストアンサー
- 数学・算数
- A,B,C⊂R^n,A≠φ,C:閉集合かつ凸集合とする時,A+B⊂A+C⇒B⊂C
[問]A,B,C⊂R^n,A≠φ,C:閉集合かつ凸集合とする時、 A+B⊂A+C⇒B⊂C を示せ。 [証] 先ず C:閉集合かつ凸集合 から ∀x∈C,0<∀ε∈R,近傍Uε(x)⊂R^n＼C 且つ ∀x,y∈C,λx+(1-λ)y∈C(λ∈[0,1]) 且つ ∀a+b∈A+Bならばa+b∈A+C がいえますよね。 そこで ∀b∈Bに対してb∈Cをどうやって示せるのでしょうか?
- ベストアンサー
- 数学・算数
- abc=a+b+c (1≦a≦b≦c) を満たす整数a,b,c
タイトルの通り、 1≦a≦b≦c かつ abc=a+b+c を満たす整数a,b,cの組を求めよ。 という問題なのですが… (a,b,c)=(1,2,3) しかありませんよね？ それはわかるのですが、この答えはぱっと見で思いついただけで、実際に文字を使ってそれが正しいことが証明できません。 どのようにやるのでしょうか。 お願いします。
- ベストアンサー
- 数学・算数
- A+B⊂A+CだがBはCの部分集合とはならない例は?
A,B,C⊂R:実数体において A+B:={x+y;x∈A,y∈B}と書く事にします。 A+B⊂A+C であるが BはCの部分集合にならないような集合A,B,Cの例を見つけていますがなかなか見つけれません。 どのようなものが挙げられますでしょうか?
- ベストアンサー
- 数学・算数
- AまたはBが空集合⇔A×B=Φ ？？？
実数において、 aまたはbが0 ⇔ ab=0 aかつbが0 ⇔ a^2+b^2=0 だと思います。同様のことを集合において考えたいのですが、 AまたはBが空集合 ⇔ AとBの直積 A×B=Φ でよいのでしょうか？また、 AかつBが空集合 ⇔ AとBの和集合 A∪B=Φ だと思いますが、実数の場合と比べて異なっているので、なんかすっきりしません。 統一的に解釈できないでしょうか?
- ベストアンサー
- 数学・算数
- A∪C=B∪Cのとき、A=B?
Can you conclude that A=B if A, B, and C are sets such that (もしA, B, Cが下記のような集合であった場合、A=Bと結論付けられるか?) a)A∪C=B∪C? b)A∩C=B∩C? という問題なんですがヒントが欲しいです。 まず、何をすればよいのでしょうか? A=B=Xと仮定して、X∪C=X∪C、よし両辺とも等しい、終了(^_^)/~ …なんてことはないですね?(笑) Unionの定義を使って (X∈A∨X∈C)≡(X∈B∨X∈C)としたとしてもその次はどうすればいいのか…。 最初の一歩を教えて下されば、あとは自分でサラサラサラ～と解いてみせますので どうかその一歩を教えて下さい。
- ベストアンサー
- 数学・算数
- A∪B∪C(否定)が空集合
A∪B∪C（否定）が空集合であるとは実際にどういう状態なのでしょうか？ この式の上に否定マークがあるのですが、書けませんでした。 下記の解説サイトには、A、B、Cの集合が書かれています。 http://www.ap-siken.com/kakomon/27_aki/q2.html
- 締切済み
- 情報処理技術者
- A+B=C ただし AはBより大きい ←の英訳
タイトルのとおりですが A+B=C ただし AはBより大きい ↑の英訳が A plus B equals C, however, A is greater than B これでいいでしょうか？ 論文でこのような文章を書きたいのですが、『ただし』の部分がこれで正しいのか不安になりまして・・・ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 「Xを異なる3点a,b,cの集合とする。このとき、X上の位相は幾通りあ
「Xを異なる3点a,b,cの集合とする。このとき、X上の位相は幾通りあるか。すべてを列挙せよ。」 という問題ですが、ネットにて下記、２通りの回答が載っていました。 どちらが正しいのでしょうか？ 位相は教科書だけでなく、参考書も読んだのですが、ほとんど理解できません。 解２が正解なら、何故、(4) {φ,{a}, {a,b}, X}、・・・ （6通り）となるのでしょう？ だけでなく、(1)から全て理解していませんが。 お手数ですが、ご回答お願いします。 解１ 0,(a),(b),(c),(ab),(bc),(ca),(abc)の8通りです。 0は空集合 解２ (1) {φ, X} （1通り） (2) {φ,{a}, X}、・・・ （3通り） (3) {φ,{a,b}, X}、・・・ （3通り） (4) {φ,{a}, {a,b}, X}、・・・ （6通り） (5) {φ,{a}, {b,c}, X}、・・・ （3通り） (6) {φ,{a}, {a,b}, {c,a}, X}、・・・ （3通り） (7) {φ,{a}, {b}, {a,b}, X}、・・・ （3通り） (8) {φ,{a}, {b}, {a,b}, {b,c}, X}、・・・ （6通り） (9) {φ,{a}, {b}, {c}, {a,b}, {a,c}, {b,c}, X} （1通り） 以上29通り。
- ベストアンサー
- 数学・算数
- a(b2-c2)+b(c2-a2)+c(a2-b2
a(b2-c2)+b(c2-a2)+c(a2-b2)の答えについて、教えてください。 式は a(b2-c2)+b(c2-a2)+c(a2-b2) = ab2-ac2+bc2-ba2+ca2-cb2 = (-b+c)a2+(b2-c2)a+(bc2-cb2) = (-b+c)a2+(b+c)(b-c)a+bc(-b+c) = -{(b-c)a2-(b+c)(b-c)a-bc(b-c)} = -(b-c){a2-(b+c)a-bc} = -(b-c)(a-b)(a-c) = (a-b)(b-c)(c-a) 質問1 式は合ってますか？ 質問2 答えは(a-b)(b-c)(c-a)で合ってますか？ 質問3 -(b-c)(a-b)(a-c)で マイナスは (a-c) にかけて、 (c-a) にし (a-b)(b-c)(c-a) にするとみたのですが、 どうして、マイナスを (a-c) にかけるにかが、解りません。 計算をすべて解いて、それにマイナスをかけなくてもいいんですか？
- 締切済み
- 数学・算数
お礼
ご回答どうもありがとうございます。 対偶で「否定文」ならば「否定文」という流れになり、 これはお手上げだろう、と思っていたのですが、 この後背理法を使うのですか。 思い付かなかったです。 x∈Aならばx∈A∪（BーC） またx∈（A∪C）なので、xは（ A∪B）ー（A∪C）の元ではない。 したがってA＝φということですね。 noname#43297さんはもう退会されてしまわれたのですか？ ご覧になっておられると良いのですが・・・。 どうもありがとうございました。 jmhさんもありがとうございました。