- ベストアンサー
証明してください!
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
互いに相手の部分集合であることを示す.
関連するQ&A
- 選択公理を使った証明。
以下の証明を詳しく教えてください。 fをAからBの写像とする。 fが全射であるとき、またそのときに限りf○s=I_Bとなるような写像s:B→Aが存在する。 fが全射であると仮定する。 すると、Bのどの元bに大してもその原像f-1(b)は空でない したがって、f-1(b)=A_b(bはBの要素)とおけば、A_bは空でない集合からなる集合族となる。ゆえに選択公理より、Bで定義された写像sですべてのBの要素bに対してs(b)=A_bとなるものが存在する。s(b)⊂ A_b ⊂ Aであるから、このsに対してf○s=I_bが成り立つ。 これは、Aを集合系だと仮定してますよね。 この証明を詳しく解説してくださるとうれしいです。
- ベストアンサー
- 数学・算数
- 証明の問題について 数学に詳しい方
集合AとBは共に空集合ではなく、またすべてのa∈A,b∈Bに対して a<bが成り立つとする。 このとき、supA<infBであることを証明しなさい。 という証明の解答を教えてください。
- ベストアンサー
- 数学・算数
- 集合について証明お願いします。
集合A,Bについて、 (1) f^-1(A∩B)=f^-1(A)∩f^-1(B) (2) f^-1(A∪B)=f^-1(A)∪f^-1(B) の証明の仕方が分かりません。 どなたかご教授お願いします。
- ベストアンサー
- 数学・算数
- 証明の問題とけるかた募集
集合A⊂RとB⊂Rは共に空集合ではなく、またすべてのa∈A,b∈Bに対して a<bが成り立つとする。 このとき、supA<infBであることを証明しなさい。 という証明の解答を詳しく教えてください。
- 締切済み
- 数学・算数
- 以下の証明を考えています。
A集合がコンパクト(Compact)で、Bが閉集合であり、AとBの共通部分が空集合であるとする。点aはA集合、bはB集合に属する。このとき、 d(A, B) = ||a-b|| >0 であることを証明せよという問題です。 まず第一にBが有界である時は、AとBの共通部分が空集合であるから明らかに両者の距離は0ではないとしました。 第二のBが有界でないときの証明でご意見をお伺いしたいのです。 A集合(B集合)のある数列Ak(Bk)が、kが無限に近づくにつれて点a(点b)に近づくとします。すると、A集合が有界であることから、 ||Ak||< or = M for some M>0 が言え、またB集合はA集合との共通部分が無く、有界でもないことから ||Bk||>M が言えるとし、 ||Ak-Bk||=||Bk-Ak||>||Bk||-||Ak||>0 としたんですが、これにはかなり無理があるように思えます。どなたかご教授ください。よろしくお願いします。
- ベストアンサー
- 数学・算数
- σ集合体の証明
集合体の証明の問題です。 問:Fをσ集合体とするとき、以下を示せ。 (1)Fは集合体である (2)A1,A2,…,An,…∈F ⇒ ∪(i=1,∞)Ai∈F (i)∩(i=1,∞)Ai∈F (ii)lim(n→∞)supAn∈F (2)の記述がわかりづらいですが、A1から始まる無限大の和集合がFに含まれる、(i)はA1から始まる無限大の積集合である、という意味です。(ii)はn→∞がlimの下にくれば正しい記述になります。 (1)は、集合体であるための定義、 ・φ∈F ・A∈F⇒Ac(Aの補集合)∈F ・A,B∈F⇒A∪B∈F を示せればよいのでしょうか? そうだとしたら、σ集合体であるということは、 ・φ∈F ・A∈F⇒Ac(Aの補集合)∈F ・A1,A2,…,An,…∈F⇒ ∪(i=1,∞)Ai∈F ということなので、これらを使って証明していけばいいのでしょうか? (2)については証明の予想が立ちません…。 わかる方、解説お願いします!
- ベストアンサー
- 数学・算数