- ベストアンサー
集合について
任意の集合A1, A2, …, An, B1,B2, …, Bnに対して、 Ai⊂Bi (i=1,2, …,n)ならば、その直積集合で、 A1×A2×…×An⊂B1×B2×…×Bnが成り立つ は正しいですか？
- admjgptw123
- お礼率53% (29/54)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- 部分空間に関する問題について・・・。
以下の問題についての証明なのですが，これでいいかどうか添削して下さい。 問題)Ｖ＝Ｒ＾ｎ(ｎ≧２)とし，第ｎ座標が0であるようなＶの元全体の集合をＷとする。ＷはＶの部分空間である。(Ｒは太文字と思ってください。) 証明)まず零ベクトル０は０=(0,0,…,0)であるから,０∈Ｗである。 またＷの元ａi，ｂiは第ｉ座標(１≦ｉ≦ｎ)が0であって ａi=(a1,a2,…,ai,…,an)，ｂi=(b1,b2,…,bi,…,bn)と表わされ, ａi＋ｂi=(a1+b1,a2＋b2,…,ai＋bi,…,an＋bn) ｃａi=(ca1,ca2,…,cai,…,can)(ｃは任意の実数) ここで,ai=bi=0であるから ai+bi=0，cai=0 したがって，ａi＋ｂi，ｃａiはともにａi＋ｂi，ｃａi∈Ｗである。 ゆえに，Ｗは部分空間である。
- ベストアンサー
- 数学・算数
- 大小関係はありますか
ai,bi(1,2,…,n),nは自然数で、ai>biのとき (b1+b2+…+bn)/(a1+a2+…+an)と(b1/a1+b2/a2+…+bn/an)/nとの大小がありますか。あるいは、何らかの条件を付けると大小が決まりますか。 教えて頂ければと思います。
- 締切済み
- 数学・算数
- 凸集合での命題を証明したいのですが…
実数体Rに於いて,A,B⊂R^n を凸集合とする時、 (1) もし、AとBが閉集合ならA+B:={x+y;x∈A,y∈B}は閉集合とは限らない。 (2) もし、AがコンパクトでBが閉集合ならA+Bは閉集合。 という命題を証明したいのですが滞ってます。 凸集合の定義は 「集合Ｓについて任意の２つのベクトル x,y∈Ｓ と正の実数ｓ (0≦s≦1) について， sx＋(1-s)y∈Ｓ が成立するとき，Ｓは凸集合であるという」 閉集合の定義は 「{Π[1..n][ai,bi];ai,bi∈R(i=1,2,…,n)}の元を閉集合という」 コンパクトの定義は 「集合YをX(⊂R^n)の開被覆とする時、Yの有限個の開集合でXを覆える。」 (1)の反例はどのようなものが挙げれるでしょうか? そして、(2)はどのようにして示せますでしょうか?
- ベストアンサー
- 数学・算数
- 不等式
シュワルツの不等式を学校で扱ったとき、次の不等式が n = 1, 2, 3 のときには成り立つことに偶然気付きました。 n = 2 のときはシュワルツの不等式です。 ―――――――――――――――――――――――――― n を自然数とし、 ai, bi ≧ 0 (1 ≦ i ≦ n) のとき、 (a1^n + a2^n + ... + an^n)(b1^n + b2^n + ... + bn^n) ≧ (a1 * b1 + a2 * b2 + ... + an * bn)^n が成立する。 ―――――――――――――――――――――――――― そこで、この不等式が成立するか、成立するなら、 どのように証明できるかを教えてください。 名前が付いていれば、教えてくれると嬉しいです。
- ベストアンサー
- 数学・算数
- 「直積集合の全集合」とは？
別の方の質問 http://oshiete1.goo.ne.jp/qa4877672.html を見ていて気になった点についてです。 「集合族の空集合と全集合」とは何でしょうか？ 通常、「空集合」や「全集合」は、何らかの集合の ベキ集合族に対して定義される概念かと思います。 一般の集合族に対する「全集合」とは、どのように 定義されるのでしょう？ 「集合族Φの全集合」と言ったら、Φ自身のことでしょうか、 それとも、Φの最大元のことでしょうか？ ご存知の方、解説よろしくお願いします。 先の http://oshiete1.goo.ne.jp/qa4877672.html の例で言えば、 ΨとΩの集合族としての直積は、質問氏の書いている Ψ×Ω ＝ { (A,B) ; A∈Ψ, B∈Ω } ですが、これは、 ベキ集合族ではないし、σ集合族でもありません。 Ｙ と Ｚ の空間としての直積に付随するσ集合族 という意味で 言っているのだとすれば、「直積」は、このΨ×Ωではなく、 Ψ×Ωの任意個の元の和集合全体が成す集合族 になるハズです。 その際、「全集合」が Ｙ×Ｚ であることは違いありませんが… また、A×0 = 0×B = 0 と考えるなら、この式の「×」を 0 と B の集合としての直積と解釈したことになります。 Ψ×Ω ＝ { A×B ; A∈Ψ, B∈Ω } と表記するのならば、 右辺内の A×B は、A と B の対 (A,B) という意図で 標準的でない書き方をしてしまったものと解釈すべきで、 A と B の集合としての直積ではありえません。 その場合、0×B は、Ψ×Ωの元で Ｙ成分が 0、Ｚ成分が B の ものであって、空集合ではありません。
- ベストアンサー
- 数学・算数
- 集合と位相の教科書
以下のような問題を解けるようになりたいです。できるだけやさしい教科書、参考書、問題集を教えてください。問題集は解説が詳しいものがいいです。 1.集合X,Yと、Xの部分集合A,Yの部分集合Bについて次の等式を証明せよ X×YーA×B=[(X-A)×Y]∪[X×(Y-B)] 2.デデキンドの切断を用いて ２および√５を切断をもちいて表せ ２＜√５を切断をもちいて証明せよ 3.sorgenfrey直線Sのなかの２つの部分集合A,Bについてnot(A∩B)≠notA∩notBとなるようなA,Bの例をあげ、その理由を説明せよ ４.命題p_nを-nより小さい、命題q_nをｎより大きいとさだめ、Rの部分集合An={x∈R：(p_n∨q_n)(x)が真｝とおくとき、 ∪{An:n∈N} ∩{An:n∈N} をもとめよ ５．{a_n}^∞_(n=1)をQのなかのコーシー列とする。bn=a_n+1/2n(n=1,2,...)とおくとき {bn}^∞_(n=1)はQのなかのコーシー列であることを証明せよ {a_n}^∞_(n=1)～{bn}^∞_(n=1)（同値）であることを証明せよ
- ベストアンサー
- 数学・算数
- 位相（コーシー列、入門レベル）
レポート課題なのですが、以下の問題の証明の仕方を教えてください。 問、Q（有理数全体の集合）の2つのコーシー列｛an},{bn}について、 （１）{an+bn}はQの中のコーシー列であることを証明せよ。 （２）{an－bn}はQの中のコーシー列であることを証明せよ。 （１）は、｛an｝→a、｛bn｝→bを仮定して、任意の実数εに対して、 自然数NaとNbで、 ｎ＞Naを満たす任意のｎは、｜an－a|＜ε/2 ｎ＞Nｂを満たす任意のｎは、｜bn－b|＜ε/2 が存在する。 そこで、 N＝max(Na、Nb) とすれば、 ｎ＞Nを満たす任意のｎは｜an－a|＜ε/2と｜bn－b|＜ε/2を 満たす。 2式を足すと、 |（an－a）+(bn－b)｜≦｜an-a｜+|bn-b|<ε/2+ε/2=ε となる。 分かりにくいのですが、こんな感じでいいのでしょうか。 また、「Qの中の」という部分が証明できていない気がします。 （２）は、2式を引いても、不等式の右辺は変わらないと思うのですが、 （１）と同様に考えればいいのでしょうか。 何かアドバイス等あれば、教えてください。おねがいします。
- ベストアンサー
- 数学・算数
お礼
解決しました