• 締切済み

数学の問題です

a∈ＲとＲの部分集合Ｊに対して、 ∃ｃ＞０ （a-c,a+c)⊂Ｊ が満たされるとき、「Ｊはaの近傍である」と定義する。（ただし、（a-c,a+c)は開空間｛x∈Ｒ｜a-c<x<a+c}を表す。）この定義に基づいて、次の問いを証明せよ。 （１） Ｊ[1],J[2]がいずれもaの近傍であるならば、Ｊ[1]∩Ｊ[2]もaの近傍である。 （２） a,b∈Ｒ,a≠ｂであれば、aの近傍Ｊ[1]およびbの近傍Ｊ[2]であってＪ[1]∩Ｊ[2]＝∅をみたすものが存在する。 どちらかだけでもいいので回答をいただけると嬉しいです！

みんなの回答

  • think2nd
  • ベストアンサー率63% (23/36)
回答No.2

"どちらかだけでもいいので回答を頂けると嬉しいです。" なんて、なんか、あなたに問題に取りつくチャレンジ精神があるのかどうか勘ぐってしまいますよ。 質問なんでしょうか、、お願いなんでしょうか?　ね(ー_ー)!! なんか、言い訳を書いてくれるとうれしいです。 　 あとJ[1]って何ですか、おそらく[1]は添え数の意味だと思います。以下それらをJ1、J2と書きます。 　ただしc1,c2は実数です。(1,2も単なる添え数です。) 　また実数aの近傍をV(a)と書きます。ご理解ください。 使う知識は実数の稠密性と、集合の基礎知識です。(1)のほうで重箱の隅をつつくような書き方をします。 (1)　仮定より∃ｃ1＞０ （a-c1,a+c1)⊂Ｊ1 　　　　　　　∃ｃ2＞０ （a-c2,a+c2)⊂Ｊ2 　が成り立ちます。　ここでmin{c1,c2}=cとおくと 　　　　　　a-ci<=a-c<a<a+c<=a+ci　(i=1,2)…(1)' が成り立つから 　　　　　　　　(a-c,a+c)⊂V(a)　が言えます。 　　さて　x∊Ｊ1∩Ｊ2を満たす任意のxについてxは 　　　　　x∊Ｊ1だから　a-c1<x<a+c1　かつ　x∊Ｊ2　a-c2<x<a+c2 　　　　を満たしている。よって(1)'よりa-c<x<a+c　が言えるから、 　　　　x∊(a-c,a+c)　すなわち　x∊V(a)　がいえるから 　　　　Ｊ1∩Ｊ2⊂V(a)と結論できる。 　(2)たとえばa<bと仮定して実数aとbとの間には隙間があるから稠密性よりa<c<bとなる実数cが存在することつまりc-aとb-cは0にならないことが突破口の最初の一歩かな。 　好奇心とチャレンジ精神があればできると思うよ、。 　Do　your　utmost!

  • stomachman
  • ベストアンサー率57% (1014/1775)
回答No.1

とても簡単な問題で、どこが分からんのか想像もできんのですが、ま、 任意の実数dについて、 ● d ＞ 0 ならば (a-d,a+d)はaの近傍である。 ● ( (a-c,a+c)⊂Ｊ かつ c ≧ d ＞ 0 ) ならば (a-d,a+d)⊂Ｊである。 をまず証明なさいませ。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 位相の問題です

    （R^n,d)を距離空間としＡとＢをR^2の部分集合とする。ＡとＢに対して、 集合Ａ+Ｂを　 Ａ+Ｂ＝｛a+b|a∈Ａ，b∈Ｂ｝で定義し、 Ａの点aとＢに対して、集合a+Bを　 a+Ｂ＝｛a+b|a∈Ａ，b∈Ｂ｝ で定義する。 このとき次の問いに答えよ。 ただしR^nの２点x=（x1,x2,…,xn) y=（y1,y2,…,yn)に対して d(x,y)={Σ(xi-yi)^2}^1/2　とする。 （１）Rの点xに対して,ｘの近傍をN(x,ε)で表すときN(x+y,ε)=x+N(y,ε）を証明せよ。 （２）ＢがR^nの開集合であるとき集合A+BもR^nの開集合であることを証明せよ。 （３）ＡがR^nの閉集合、B={b1,b2,…,bn}であるとき、集合Ａ+ＢがR^nの閉集合であることを 　　　証明せよ という以上の問題なのですが、（１）はイメージできるのですが証明がうまくいきません。 （２）（３）はさっぱりです。 どなたか教えていただけないでしょうか。 よろしくお願いします。

  • 位相数学の証明問題です。

    （１）R空間の部分集合で連結かつコンパクトなものは有界な閉区間に限ることを示してください。 （３）[a,b]上で定義された実数値連続関数f(x)に対して、正の実数δで次の※性質をもつものが存在することを示してください。 ※|x-y|<δを満たすすべてのx,y∈[a,b]に対して、|f(x)-f(y)|<0.1 の証明を、どなたか分かる方、よろしくお願いします

  • （再び）位相の質問です。

    次の問題がわかりません。 なにか分かりやすいアドバイスをお願いします。 問. A= {x∈R :a≦x<b} =[a,b) (a<b), B= {y∈R :c≦y<d} =[c,d) (c<d) 　とするとき、次の問に答えよ。（証明つきで） 　（1）A×BはR^2の開集合であるか。 　（2）A×BはS×Sの開集合であるか。 （1）の証明は、「A×Bに属する点で、εをどんなに小さくとっても、 その近傍の点がA×Bの部分集合にならないものがあるから、 開集合ではない。」でいいのでしょうか。 （2）は、まずAとBがSの開集合であることを示すために、 AとBがSorgenfrey直線の元であることを言いたいのですが、 どう証明していいのかわかりません。

  • 数学の問題なんですが、お願いします

    数学の問題なんですが、お願いします 2. B = {x |x ∈ N, x は素数，x < 21} がD = {x ∈ N, x は奇数} の部分 集合でないことを示しなさい。 3. 集合E,F,G に対して，F = G でなくとも，E ∩ F = E ∩ G が成立す る例をあげなさい。 4. 空集合は，任意の部分集合の部分集合であることを示しなさい。 5. A ⊂ B,B ⊂ C ⇒ A ⊂ C を証明しなさい。 6. A ∪ A = A およびA ∩ A = A を証明しなさい。 7. Ω を全体集合としたとき，以下を証明しなさい。 (a) A ∪ ? = A (b) A ∪ Ω = Ω (c) A ∩ Ω = A (d) A ∩ ? = ? (e) (Ac)c = A 8. 以下を証明しなさい。 (a) A ∩ B ⊂ A (b) A ⊂ A ∪ B 1

  • 幾何学の問題です！！

    幾何学の問題です。証明の仕方がよく分かりません。詳しく教えて下さい！ A={x∈Ｒ：a≦ｘ＜ｂ｝＝［a,b) (a<b),B={y∈R:c≦ｙ＜ｄ｝＝［ｃ、ｄ） （ｃ＜ｄ） のとき、次の問に答えよ（証明をつけること） （１）Ａ×ＢはＲ＾２の開集合であるか。 （２）Ａ×ＢはＳ×Ｓの開集合であるか。 （ＳはＳorgenfrey直線） よろしくお願いします。

  • 数学の命題の問題です。

    数学の命題の問題です。 次の命題を論理式で書き、真偽を調べよ。さらに、その証明を与えよ。 ここでは、Xは空でない普遍集合とし、P(A)はAのべき集合をあらわす。 「Xの部分集合Aに対してP(A∪B)=P(A)∪P(B)となるXの部分集合Bが存在する」 回答よろしくお願いします。

  • C1級の連続を示す問題です。よろしくお願いします。

    GをR^nの開集合で、写像f:G→R^nはGでC1級とする。Gの点a=(a1,...an)でf ’(a)が正則ならば、aの開近傍Uとb=f(a)の開近傍Wが存在する。 このとき、a=0,f(0)=0,fはC1級、ｆ’(0)=mとして考える。但し、m はR^n上の恒等変換である。 問題 B={xはR^nの要素:||x||≦L}。但し、BはGに含む。x=(x1,x2,.....xn)で、Lは正の定数。 このとき、L>0を十分小さく取ると、任意のBの要素xに対して、 ||ｆ’(x)-m||≦1/2 となることを示せ。 という問です。 c1級より、微分可能で、１次導関数が連続から、どのように式を変形し、証明をして行けばよいのでしょうか？ 教えて下さい。お願いします。

  • 生成する開基の証明問題で示す事は?

    [補題] Xを位相空間とせよ。CをXの任意の開集合Uで∀x∈Uに対し,∃c∈C;x∈c⊂UとなるようなXの開集合の族とする。この時,CはXの開基となる。 [定義] Bが{(a,b);a,b∈R,a<x<b}ならばBによって生成される位相をstandard topologyという。 [定義] Bが{[a,b);a,b∈R,a<x<b}ならばBによって生成される位相をlower limit topologyという。 [定義] 位相空間Xのある開集合の族Bが次の条件を満たす時,BはXの開基という。 任意の開集合が与えられた時,∀x∈G,∃b∈B;x∈b⊂G. [定義] BをXの開基とする。T={U∈2^X;∀x∈U,∃b∈B;x∈b⊂U}の時,TはBから生成される位相である。 [問] 上記の補題を使って (1) 可算族B_Q={(a,b);a,b∈Q,a<b}はR上のstandard topologyを生成する開基である事を証明せよ。 (2) 族L={[a,b);a,b∈Q,a<b}はR上のlower limit topologyを生成する開基である事を証明せよ。 が解けずに困っています。 (1)の証明は,可算族B_QがR上のstandard topologyを生成する開基である事を示せばいいのだからstandard topologyの定義から {U∈2^R;∀x∈U,∃b∈B_Q;x∈b⊂U}={U∈2^R;∀x∈U,∃b∈B;x∈b⊂U} (但しB={(a,b);a,b∈R,a<x<b})となる事を示せばいいのでしょうか? (2)の証明も {U∈2^R;∀x∈U,∃b∈L;x∈b⊂U}={U∈2^R;∀x∈U,∃b∈B;x∈b⊂U} (但しB={[a,b);a,b∈R,a<x<b})となる事を示せばいいのでしょうか? こんがらがってきました。とりあえず何を示せばいいのかお教え下さい。すいません。お願いします。m(_ _)m

  • 代数系に関する問題

    非負整数全体の集合Nのべき集合をP(N)と表し、集合の共通部分を求める演算を∩と表す。次の２つの性質が成立するので、代数系( P(N), ∩ )はモノイドである。 性質１：　演算∩が結合律を満たす。つまり、 　　　　　∀A,B,C ∈ P(N) ( (1) )。 性質２：　演算∩に関する(2)が存在する。つまり、 　　　　　∃A ∈ P(N) ∀B ∈ P(N) ( A∩B=B ∧ B∩A=B )。 問１　上の文章の空欄(1)に入る式と空欄(2)に入る語句を答えよ。 問２　性質２を証明せよ。 問３　空欄(2)の元が唯一であることを、上記のモノイドの定義に基づいて証明せよ。 問４　P(N)上の演算∩に関する逆元の定義を述べよ。 問５　P(N)の要素のうち、演算∩に関する逆元が存在するものを全て求めよ。求めた要素に逆元が存在する理由と、それ以外の要素に逆元が存在しない理由も述べること。 という問題があります。 問１は(1):(A∩B)∩C = A∩(B∩C) 　　　　(2):単位元 となるのは分かるのですが、問２以降が全然分かりません。 どなたかこの問題が解ける方いらっしゃらないでしょうか？

  • 内部と閉包の問題！

    問題 ユークリッド空間Ｒ^2の次の部分集合の内部と平方を求めてください。（証明付きで） （１） Ａ＝［0,1)×［0,1) （２） Ｂ＝｛(x,y)∈Ｒ^2|xは有理数でyは無理数｝ Ａの内部は(0,1)×(0,1)、閉包は［0,1］×［0,1］。 Ｂの内部は空集合、閉包はＲ^2になる予想はつくのですが、証明ができません↓ 教えてください(>_<)

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する