(1) n(A∪B)=n(A)+n(B)-n(A∩B)
(2) n(A\B)=n(A)-n(A∩B)
まじで助けてくれ
探検
文系の俺に集合の証明を教えてくれ [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
(1) n(A∪B)=n(A)+n(B)-n(A∩B)
(2) n(A\B)=n(A)-n(A∩B)
まじで助けてくれ
少なければ、便図を書いて考えるのが簡単。
以下の話を、自分で便図を書きながら聞いて欲しい。
n( ) を数式的に処理するには、
共通部分がない集合については加法的、つまり
集合XとYが重ならない ⇒ n(X∪Y)=n(X)+n(Y)
であることを使う。特に、便図上
内部が分割されてないような領域で表される
集合どうしの要素数は、単純に足し算できる。
それを使って、
n(A∪B)=n(A\B)+n(B\A)+n(A∩B) …[1],
n(A)=n(A\B)+n(A∩B) …[2],
n(B)=n(B\A)+n(A∩B) …[3] と書ける。
A\B は、A∩(not B) を表す記号。
A\B と B\A が便図上のどこになるか、
是非、塗り絵をして確認を。
[2]を変形して、(2)になる。
n(A\B)=n(A)-n(A∩B).
[3]も同じように
n(B\A)=n(B)-n(A∩B).
このふたつを[1]へ代入して
n(A\B)とn(B\A)を消せば、(1)になる。
n(A∪B)=n(A\B)+n(B\A)+n(A∩B)
=[n(A)-n(A∩B)]+[n(B)-n(A∩B)]+n(A∩B)
=n(A)+n(B)-n(A∩B).
http://joyplot.com/documents/wp-content/uploads/2017/01/ben-1.png
a と書かれた領域が A\B,
b と書かれた領域が B\A,
c と書かれた領域が A∩B.
この３つを組み合わせて、
a+c の領域が A,
b+c の領域が B,
a+b+c の領域が A∪B.
重なり合わない領域どうしの n( ) は
n(X∪Y)=n(X)+n(Y) の意味で足せる
ことを思い出しつつ、
>>3 の計算を追ってみよう。
基数って言葉使ってる時点で大学の集合論での証明が必要って気づけよ
そんな高校生みたいな塗り絵の説明されなくたって誰だって分かるわ
そんなこと求めてなくて、>>3,>>4程度でいいと思ってるんじゃないかな。
本当に公理的にやろうとすると、無駄に形式的かつ機械的な議論ばかりが続き、
しかもそこでやろうとしていることは>>3,>>4と全く同じっていう状況になって
疲労感だけが残る。
厳密にやるとしても具体的に全単射を構成するだけだぞ
どんな全単射を構成すればよいかは図で見た通りでしかない
厳密性を追求するなら、それだけでは全くダメだよ。
>>1にはしれっと「有限数の要素を持つ集合」と書いてあるが、
まず有限集合とは何かという定義が必要。
もちろん、ある非負整数nが存在して、[0,n)からAへの全単射が存在するときに
「有限集合」と呼ぶわけだ(別の流儀もあるが、ここでは使わない)。
そして、このnのことを、>>1ではn(A)と書いているわけだ。
しかし、このときのnすなわちn(A)がAごとに「一意的に決まること」をまず証明しなければならない。
これが自明に見えて意外と面倒くさい。これを示すには、n＜mのときに[0,n)から[0,m)への全単射が
存在しないことを言えばいいのだが、まさにそれが面倒くさい。直観的には、[0,n)よりも[0,m)の方が
要素の個数が多いのだから、全単射が存在しないのは明らかに見えるが、今まさに「個数」に相当する概念の
一意性を証明しようとしているのだから、「個数」の直観に基づいたあやふやな議論は排除しなければならない。
そんなこと言ったって、[0,m)側はいくつかの要素が明らかに余るだろうと思うだろうが、要素が余るという性質を
いかにして n＜m という不等式から導くかがポイントになるのであり、やはり全く自明ではないのだ。
で、これが証明できたとして、まだ面倒くさいのが残っていて、それは次の定理だ。
定理：Aが有限集合でB⊂Aならば、Bも有限集合である。
これは、「有限集合」の定義の仕方によって証明の面倒くささが変わる。
今回の定義の仕方だと、面倒くさい部類になる。ここまで証明できて初めて
>>1のスタートラインに立てて、そのあとは>>3,>>4と大差ない議論になる。
それはどこまでを既知とするかの話でしかない
まさか全ての質問の回答でZFの無限公理まで遡りたいわけではなかろう
＞それはどこまでを既知とするかの話でしかない
＞まさか全ての質問の回答でZFの無限公理まで遡りたいわけではなかろう
俺の>>6もまさしくそういう意味のレスなんだけどな。
① 公的年金と生活保護を段階的に廃止して、満18歳以上の日本人に、
ベーシックインカムの導入は必須です。月額約60000円位ならば、廃止すれば
財源的には可能です。ベーシックインカム、でぜひググってみてください。
② 人工子宮は、既に完成しています。独身でも自分の赤ちゃんが欲しい方々へ。
人工子宮、でぜひググってみてください。日本のために、お願い致します。☆☆
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 家庭訪問中、教員がコンビニでトイレ休憩→「けしからん」と学校にクレーム電話 [少考さん★]
- 政府、コロナワクチン啓発に「YouTuber起用動画9本・3200万円支出」認める「接種の重要性など、正しい情報を知っていただくために」 ★3 [Hitzeschleier★]
- 『平和堂』公式X、いなり寿司誤認逮捕事件「いなりずしを渡した知人もダメ」投稿2件に「いいね」 「誤った操作」と陳謝 ★2 [Hitzeschleier★]
- 日本でもSIMハイジャック発生…政治家が携帯電話番号を乗っ取られる事態に (立民・風間ゆたか都議) [少考さん★]
- 性的関係にまで踏み込むのか…政府による「身辺調査」 経済安保法案 プライバシー不安が民間企業に広がる [蚤の市★]
- 【テレ朝】斎藤ちはるアナ、ラグビー日本代表主将・姫野和樹と真剣交際 元乃木坂の“朝の顔”結婚も視野に [鉄チーズ烏★]
- いちいちバカの相手したくないんだが
- 【悲報】山本太郎「アナタが弱男なのは政治のせい！」→ケンモメン号泣へ
- ディズニーのホテルに住みたい
- 温泉は24時間でもいいよな
- 『KINGDOM HEARTS』ディズニー製作でアニメ化決定！主人公はソラ(日本人)、監督はあの野村克也氏 [517459952]
- 川にウナギいたんだけど