• 締切済み

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

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

みんなの回答

  • kabaokaba
  • ベストアンサー率51% (724/1416)
回答No.1

>の証明を、どなたか分かる方、よろしくお願いします 何を前提条件として使ってよい全く不明なので, 誰も答えられないでしょう. こういう入門レベルの問題は 講義の流儀で解答がいくらでも変化するものです. 極端な話,何を使ってもいいなら ↓みたいなひっどいこともできるのです. (1)Rでは連結と弧状連結が同値なので, 区間であることは自明. ハイネ・ボレルの定理よりコンパクトならば 有界閉集合なので有界閉集合. (3)コンパクト集合上の連続関数は 一様連続だから(1)を用いることで成り立つ. なお,両方とも入門的な 微積分の本を何冊か探せば出てるでしょう. それを講義の流儀に合わせましょう.

関連するQ&A

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

    位相数学の証明問題です。 以下の証明を,どなたか分かる方,お願いします。 R^2の3つの部分集合A = { (x,y) | (x,y) ≠(0,0) },B = { (x,y) | x^2 + y^2 > 1 },C = { (x,y) | |x| >1 or |y| > 1 } は,いずれも同相(※)であることを示せ。 ※2つの位相空間X,Yが同相であるとは,2つの連続写像 f :X → Y および g :Y → X で g o f = 1x , f o g = 1y となるものが存在することをいう。

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

    以下の証明を,どなたか分かる方,お願いします. (1)R^2の3つの部分集合A = { (x,y) | (x,y) ≠(0,0) },B = { (x,y) | x^2 + y^2 > 1 },C = { (x,y) | |x| >1 or |y| > 1 } は,いずれも同相(※)であることを示せ. (2)R^2とR^2 - { (0,0) }(原点を除いた平面)は同相(※)でないことを示せ. ※2つの位相空間X,Yが同相であるとは,2つの連続写像 f :X → Y および g :Y → X で g o f = 1x , f o g = 1y となるものが存在することをいう.

  • 数学の問題です。

    数学の問題です。 問題 実数の集合Rの部分集合MでMが下に有界でないとき、連結なものは次の9種であることを示せ. (1)R (2)(-∞,b] (3)(-∞,b) (4)[a,∞) (5)[a,b] (6)[a,b) (7)(a,∞) (8)(a,b] (9)(a,b) 補題として 「M=A∪B、x∈A、y∈B、x<yのとき M⊂R,∀x,∀y∈M⇒[x,y]⊂Mが成り立つならMは連結である」 を使ってよい です。誰かわかる方、教えてください。 できれば詳細な回答をいただけるとありがたいです。

  • 位相空間の問題なんですが…

    (X,d)距離空間とし、X=A∪Bにおいて 連続写像 f:(A,d)→(Y,ρ)      g:(B,d)→(Y,ρ)であり 写像 h:(X,d)→(Y,ρ)       f(x) if x∈A h(x)={             と定義する。       g(x) if x∈B       このときA、B共に(X,d)の開集合(閉集合)ならば、hは連続であることを証明せよ。 という問題です。わかる方、証明のアイデアだけでも結構です。宜しくお願いします。

  • 数学:縦線形集合の問題です

    集合の問題です。 縦線形集合 D={(x,y)∈R²|∅₁(x)≦y≦∅₂(x), a≦x≦b} ここで∅₁,∅₂は有界閉区間[a,b]で連続で∅₁(x)≦y≦∅₂(x)(a≦x≦b)であると仮定されている。 この時集合DはR²の有界閉集合となる事を示せ。 という問題が解けずに困っています。 解答例や解答のヒントが分かる方がいましたら教えて頂きたいです。

  • 位相数学について再び質問です

    http://oshiete1.goo.ne.jp/qa2686308.htmlで質問したものです。 また自分なりに考えた解答を添削&教えてください。 問1-1)(X、Ox)(Y,Oy)を位相空間とする     X × Yの直積位相とは何か? これがさっぱりわかりません。 問1-2)XとYがハウスドルフ空間ならば、X × Yもハウスドルフ空間であることを示せ。 これもさっぱりです。たぶん問1-1を使うと思います。 問2)(X、d)を距離空間とする    距離dの定めるXの位相Odの定義とはなにか? これもわかりません、どういう意味でしょうか?位相Odが距離空間の定義を満たすということでしょうか? 問3)Xがコンパクトで、A⊂Xが閉集合ならAもコンパクトであることをしめせ。 Xがコンパクトだから、Xの任意の開被覆が必ずXの有限被覆を部分集合として含んでいる。ここまではいいと思います。たぶんAがコンパクトでないと仮定して矛盾を示すと思います。これ以上がどうしてもわからないです。    

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

    直積集合では、2つの射影写像px:X×Y→Xおよびpy:X×Y→Yがpx(x,y)=x、py(x,y)=yで定義できる。 X、Yが位相空間(X、Ox)、(Y、Oy)であるとき、上に述べた直積位相は、px、pyの双方を連続写像とするようなX×Y上の位相のうち、もっとも弱い位相である ことを証明してください。 よろしくお願いします。

  • ある区間での関数の連続性を示すためには?

    閉区間[0,1]上で定義された実数値関数fは、次の二つを満たす (1)任意の実数a,b、ただし0≦a≦b≦1に対し、集合{f(y)|a≦y≦b}は、区間{f(a),f(b)}または{f(b),f(a)}を含む。 (2)任意の実数cに対し、区間[0,1]に含まれるf(x)=cとなるような実数x全体の集合は閉集合(空集合もありうる)となる このとき、fが区間[0,1]で連続であることを示したいのですが まず、連続性を証明する方法をよく知りません。 ε-δ論法が連続性を示す方法の一つだということを聞きましたが、大学一回生のときの授業で習っていないのであまりよくわかっていません。これは、ε-δ論法を使って証明するのでしょうか? 他には、教科書を見直したところ、中間値の定理の逆(当然成り立ちませんが)に似ているので、そのあたりを使うのかとも思ったのですが。。。 ヒントになりそうなホームページや、アドバイスを頂けたら幸いです

  • 位相数学の問題です

    問1。 x∈R^2,r>0に対しR^2の部分集合Ur(x),Ir(x)を Ur(x)={y∈R^2:d2(x,y)<r} Ir(x)={y∈R^2:d∞(x,y)<r} とする。 ここでd2はEuclid距離,d∞はノルムⅠⅠ・ⅠⅠ∞により定義される距離(のn=2の場合)とする。 このときy∈Ir(x)に対しUp(y)⊂Ir(x)となるp>0を具体的に求めろ。 問2 (X,D)を位相空間。△:X→X×X、△(x)=(x,x)を対角線写像とする。このとき、△は位相空間Xから積空間X×Xへの連続写像であることを示せ。 問3 X、Yを位相空間とする。写像f:X→Yに対し、F:X→X×Y、F(x)=(x,f(x))とする。fが連続ならばFはXからの直積空間X×Yへの連続であることを示せ。 問4 X×Yを位相空間(X,Dx)と(Y,Dy)の直積空間とする。Xの任意の点xに対してX×Yの部分空間{x}×Y(={(x,y)∈X×Y:y∈Y})はYと同相であることを示せ。 問5 (X,Dx)、(Y,Dy)を位相空間、(Z,Dz) (Z=X×Y)を直積位相空間、px:Z→X、py:Z→Yを射影とする。次の主張が正しければ証明し、誤りであれば反例をあげろ。 (i)射影pxは開写像である (ii)射影pxは閉写像である

  • lim[x→∞]f(x)の位相での定義は?

    よろしくお願い致します。 『0<∀ε∈R,0<∃δ∈R;0<|x-a|<δ⇒|f(a)-f(x)|<ε』 は 『2つの位相空間(X, T)、(Y, S) と map f;X→Y と L:={b∈Y;∀ε∈nbhd(b),∃δ∈nbhd(a) such that f(δ)⊂ε}(a ∈X)に於いて、 L≠φ の時、f(x)はLに収束するといい limf(x):=L x→a と表記する。そして、L=φの時、f(x)は発散すると言う』 という具合に一般で定義できると思います。 『0<∀ε∈R,0<∃δ∈R;δ<x⇒ε<f(x)』や 『0<∀ε∈R,0<∃δ∈R;δ<x⇒-ε>f(x)』 に就いては、 『Bは位相空間(X*,T*)の部分集合Aの開被覆である』 の定義は 『T* の部分集合Bに於いて、A⊂∪[b∈B]b』 『位相空間(X*,T*)の部分集合Aはコンパクトである』 の定義は 『X* の部分集合Aの任意の開被覆B(⊂T*)に対し、∃{b1,b2,…,bn} ⊂B (n∈N) such that A⊂∪[i=1 to n]bi』 『位相空間(X*,T*)はコンパクト空間をなす』 の定義は 『位相空間(X*,T*)の部分集合X* はコンパクトである』 『位相空間(X,T)が位相空間(X*,T*)の中で稠密である』 の定義は 『X⊂X* 且つ φ≠∀A∈T* に対して,A∩X≠φ』 『位相空間(X*,T*)は位相空間(X,T)のコンパクト化である』 の定義は 『X* はコンパクト空間 且つ XはX* の中で稠密である』 従って、『x→∞』の定義は『xをa∈X* に近づける』を意味す るので εとδを使うと、 2つの位相空間 (X,T)、(Y,S) と map f: X → Y があり、位 相空間(X*,T*)は(X,T)のコンパクト化である時、 L:={b∈Y;∀ε∈nbhd(b,(Y,S)),∃δ∈nbhd(a,(X,T)) such that f(δ)⊂ε}(a∈X*)に於いて、 L≠φ の時、f(x)はLに収束するといい lim f(x):=L x→a と表記し、 L=φの時、f(x)は発散すると言う。 例:実数体RではX*はR∪{+∞,-∞}に相当し、a∈{+∞,-∞} と定義してみたのですが、 どんな位相空間(X,T)やコンパクト化(X*,T*)では良いという訳ではなく、 夫々に何らかの条件を付け加えねばならないような気がします。 どのような条件を付ければ 『0<∀ε∈R,0<∃δ∈R;δ<x⇒ε<f(x)』や 『0<∀ε∈R,0<∃δ∈R;δ<x⇒-ε>f(x)』 の一般での定義が完成しますでしょうか?