No.4ベストアンサー
- 回答日時:
こんにちは。
見ていらっしゃいますか?対偶は下に書いていらっしゃる式で正解です。
さて、ではその対偶を書き下してみると、
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)は同じでない。
これを記号を使ってまとめてみてください。
ご回答どうもありがとうございます。
対偶で「否定文」ならば「否定文」という流れになり、
これはお手上げだろう、と思っていたのですが、
この後背理法を使うのですか。
思い付かなかったです。
x∈Aならばx∈A∪(BーC)
またx∈(A∪C)なので、xは( A∪B)ー(A∪C)の元ではない。
したがってA=φということですね。
noname#43297さんはもう退会されてしまわれたのですか?
ご覧になっておられると良いのですが・・・。
どうもありがとうございました。
jmhさんもありがとうございました。
No.8
- 回答日時:
#7です。
両辺をAの積をとるのが不自然に思えた・・・そう思うのが自然かも知れません。
自分で回答しておいてそう言うのも変なんですけどね。力不足?そういうことではないでしょう。
この問題の場合は、「両辺Aの積をとる」というような解法(というほどのものではないけど)を経験したことがたまたまあって、式を見たら両辺Aで積を取ればA=φになるのが一目瞭然だったのでそうしてみようと思っただけ。もし一目瞭然でそれが見えなかったら、私もその方向では解かない。両辺Aと積を取ってもA=φが示せるという必然性は無く、A=Aになるだけかもしれないし、A=A∩Bが示せるだけかもしれない(A=AもA=A∩BもA=φで成立しますね。しかし、「だからA=φ」とはならない。)。その辺は、方程式を解くのとは違いますね。そういう必然性が無い方向に解法を求めるのが不自然と感じるのは、普通だと思いますよ。
一方、対偶なり背理法なりでx∈Aとして・・・と解くのは、必ず解に辿り着くであろう考え方だと思いますから、パッと見て明らかでなければ、ちゃんと解くのが方向としては正解だと思いますよ。
再び大変貴重なアドバイス、ありがとうございます。
>この問題の場合は、「両辺Aの積をとる」というような解法(というほどのものではないけど)を経験したことがたまたまあって、式を見たら両辺Aで積を取ればA=φになるのが一目瞭然だった
私にはこれが実力ではないかという気がします。
私の場合最後まで解き切るのが無理でも
「A=φ」を示すのがこの問題の方針なので、
『「A=~」という形に持ち込めないか』という問題の基本姿勢までは
自力で気付くことができればなぁ、という気持ちです。
数学が得意な人は慣れやセンスで解法が浮かぶみたいですが、
凡人にはその解法に必然性が感じられないとマスターするのは難しいですよね。
この度は2度もご投稿どうもありがとうございました。
No.7
- 回答日時:
集合代数でやっつけるならば・・・
例えば・・・
A∪(B-C)=(A∪B)-(A∪C) が成立しているならば、両辺とAとの積も等しい(X=Y ならば A∩X=A∩Y が成立する)から、
A∩( A∪(B-C) )=A∩( (A∪B)-(A∪C) )
両辺をそれぞれ展開すると、(右辺の展開に X∩(Y-Z)=(X∩Y)-Z を利用)
左辺 = A
右辺 = A∩(A∪B)-(A∪C) = A-(A∪C) = φ (空集合)
故に A=φ
としても良いのではないでしょうか。
質問者さんのお礼欄に書かれた
> x∈Aならばx∈A∪(B-C)
> またx∈(A∪C)なので、xは(A∪B-(A∪C)の元ではない。
> したがってA=φということですね。
も背理法で勿論OKでしょう。左辺=右辺が成立しているとき、x∈Aが存在したと仮定すると、xは左辺の元だが右辺の元ではないので矛盾。よってx∈Aは存在せずA=φ
対偶も同様に、A≠φ のときx∈Aが存在し、xは左辺の元だが右辺の元ではないので左辺≠右辺。よって、左辺=右辺ならばA=φ
ですね。
御礼が遅れてしまってすみません。
ご回答どうもありがとうございます。
これはまさに私の参考書に載っていたのと同じ解法です。
A=A∩( A∪(B-C) )=A∩( (A∪B)-(A∪C) )
この式、すなわち「両辺とAとの積をとること」が不自然に感じていたのですが、kumipapaさんがサラッとこの解法で解いているのをみて
参考書の解法が不自然に感じるのは私の力不足なのだと思いました。
なんとか私もこの解法を使えるように努力します。
>も背理法で勿論OKでしょう。
ANo.4のpomnyanさんのお礼の所で、対偶の後、背理法を使うとか訳分かんないこと書いていました。
「対偶の背理法とは裏のことか・・・?」とか頓珍漢なこと考えてました。
ANo.4のお礼の解法は対偶そのものですね。
この度も背理法と聞いて、
「P→Q」を背理法で証明とは「¬P→¬Q」の矛盾を導くのかななどと思ってしまいました。
「P→Q」の否定は「P∧¬Q」だから「P→Q」を背理法で示すとは「P∧¬Q」の矛盾を導くことですよね?
あれ?「P→¬Q」の矛盾を導いてもいいのかな?
ちょっと区別が付かなくなってきたのでもう少し考えてみます。
この度はどうもありがとうございました。
No.6
- 回答日時:
> またx∈(A∪C)なので、xは( A∪B)ー(A∪C)の元ではない。
> したがってA=φということですね。
>
「したがってA∪(B-C)≠(A∪B)-(A∪C)」じゃなくって?
今、証明中なのは「A≠φ⇒A∪(B-C)≠(A∪B)-(A∪C)」です。
> その解答の解き方と全然違う…
>
その解答の解き方では、どうなっていますか?
この回答への補足
ちょっと調子を崩してしまい、ご返答が遅れてすみません。
私の問題集に載っていた模範解答はまさにANo.7のkumipapaさんの回答です。
A=A∩( A∪(B-C) )=A∩( (A∪B)-(A∪C) )
私にはこの式をいきなり思い付くのは大変かと思ったのですが、ANo.7のkumipapaさんの回答を見るととても分かりやすいです。
No.5
- 回答日時:
下の回答をした者です。
名前が、ずいぶん昔に登録したものだったので、これを機会に変更したのです。びっくりさせてすみません。納得していただいてよかったです。お疲れ様でした。
おお~!退会されてなくて良かったです。
この度は本当にどうもありがとうございました。
これは問題集の問題なので、解答があるのですが、
(その解答が分かりづらかったので、投稿したのですが・・・)
その解答の解き方と全然違うのでびっくりです。
なんかいろいろな解き方がありそうなので、週末まで放置しましてから
締め切りをします。
どうもありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 実数全体の集合Rの可算部分集合は可測であることを示せ。 示せる方いましたらよろしくお願いします。実解 1 2023/04/27 19:48
- アジア 航空便でスーツケースが壊れた(香港航空・保険加入済) 4 2023/02/26 22:20
- Excel(エクセル) 特定の文字の合計値(空白を無視+可変に対応)を求める関数について 1 2022/08/18 10:51
- Excel(エクセル) エクセルの関数を教えてください。② 9 2023/05/25 15:28
- Excel(エクセル) 表計算ソフトcalcにおいて、1時間10分を1.1と表記する方法とそれらを集計する方法は? 4 2022/04/06 16:54
- その他(ブラウザ) パソコンの検索歴をスマホに表示させない方法 3 2022/12/03 13:51
- 数学 位相空間 X において, 点列 {xn} が x∞ に収束しているとき, 集合 {xn; n ∈ N 1 2023/01/17 18:53
- Excel(エクセル) こんなことできますか?例えば、sheetに貼り付けた図形のタイトルを、セルA1の文字で表示する。 5 2022/04/22 15:25
- その他(IT・Webサービス) ●動画編集ソフトについて教えてください Adobe Premiereにお詳しい方、ご教示くださいまし 1 2023/04/06 10:07
- Google 翻訳 ネット上の数枚にわたるPDFの和訳 2 2022/11/05 21:25
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
1/∞=0は、なぜ?
-
SQL文のwhere条件文で使う <> ...
-
数学で、項を指すとき、例えば2...
-
次の式を因数分解せよ。 x³-3x ...
-
exp(1/z)の原点のまわりでロー...
-
等式記号に似た三本線
-
トイレットペーパーの巻き数は?
-
説明変数と被説明変数とは何で...
-
(2)なのですがなぜx=aと置くこ...
-
xy-x-y+1 【因数分解】
-
高2数学です α二乗+β二乗=α...
-
質問です。 a+b+c=0のとき、...
-
x/(x+1) = 1 - 1/(x+1)
-
二重根号についてです。 なぜ下...
-
乗法公式の問題についてです。 ...
-
Xの二乗-X+1=0 という2次方程式...
-
高2恒等式
-
化学反応式について教えて下さ...
-
同類項整理の際の符号について質問
-
数2 この問題で、この3つの辺...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
SQL文のwhere条件文で使う <> ...
-
1/∞=0は、なぜ?
-
京都大学理系 過去問 整数問題
-
Xの二乗-X+1=0 という2次方程式...
-
数学で、項を指すとき、例えば2...
-
数学の等式の証明の最後を省略...
-
数学 剰余の定理
-
化学反応式について教えて下さ...
-
VBAでセルの右下をいちばん下ま...
-
等式記号に似た三本線
-
どうしてa>0, b>0のとき、a=b⇔a...
-
「別々のセルの3つの日付が同じ...
-
nは偶数で、nに45をかけるとあ...
-
x/(x+1) = 1 - 1/(x+1)
-
高2数学です α二乗+β二乗=α...
-
数学における 等価と同値って同...
-
二重根号についてです。 なぜ下...
-
1/7=1/m+1/nを満たすmとnの求め方
-
数学の質問です。(2)の導けとは...
-
定数分離すべきかどうか。
おすすめ情報