- ベストアンサー
（X,ρ）を距離空間とするとき
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
＞どのようにして示せばよいのでしょうか？ 自明． BはそもそもXの部分集合だから 部分集合を何個合併したって部分集合． 逆に，Xの任意の点に対して， B(x,r)をとればいいのだから (2)も明らか． もっと集合論の基礎的事項の証明を 自分の言葉で証明できるよう 練習するほうがいいでしょう たとえば， A∪(B∩C) = (A∩B)∪(A∩C)とか de Morganの法則とか すぐ証明できますか
関連するQ&A
- 距離空間でどのように開集合族をとれば位相空間になる?
よろしくお願い致します。 距離空間Xはその距離によって定められる開集合族をGとすればXは位相空間になると本に書いてあったのですが いまいち文意が分かりません。 距離d:X^2→Rに於いて、具体的にどのようにGを定めればいいのでしょうか?
- ベストアンサー
- 数学・算数
- 位相空間論について質問です．
位相空間論について質問です． A⊂R^nのとき，x∈R^nが集合Aの集積点であることの定義ですが， （i）xを含む任意の開集合Uに関して，（U＼｛x｝）∩A≠Φ （ii）（A＼｛x｝）∩B（x，ε）≠Φ の2通りを見かけました．B（x，ε）はxのε近傍です． 学校の講義では（i）を習ったのですが，個人的には（ii）の方がわかりやすくて使い易いです． （i）の方がいまいちイメージが掴めません． （i）と（ii）は同じことだと思うのですが，（i）についてわかり易い解説をお願いできますか？ 任意の開集合というものが入ってくるとわかりづらいです． よろしくお願いします．
- ベストアンサー
- 数学・算数
- 局所凸位相線形空間の微分について
Vを完備な局所凸位相線形空間（基本近傍系として凸近傍が取れる位相線形空間）とする。a, bは実数。 X：[a, b]→Vを連続関数とし、lim h→0 (X(λ+h) - X(λ)) /h = X’(λ) が存在するものとする。 このとき、 X’(λ) = 0 ∀λ∈[a, b] ならば、Xは[a, b]上定数であることを示せ。 微分積分では当たり前の話で、ロル定理と平均値の定理を使って証明しましたが、局所凸位相線形空間となると、どう証明すればよいのかがわかりません。 微分積分と同じように考えていくと、ロル定理が、コンパクト上の関数は最大値と最小値が存在することを利用して証明しますが、局所凸空間では、最大とか最小とかがそもそもない気がして詰まってしまいました。 局所凸位相線形空間を専門に使っている方ならば、当たり前のことだと思いますので、証明の概略でもよいので教えてくれませんか。
- ベストアンサー
- 数学・算数
- 位相空間
位相初心者です。次の問題がよく分かりません。 問．実数直線R1の位相をTとする。 BをTに各無理数についてそれだけを元とするRの部分集合を すべてつけ加えたRの部分集合族 B＝T ∪ {{x}:x∈P} とする。このBにおいて生成されたR上の位相T_Mに対して、 位相空間(R，T_M)をMで表す。 このMについて、次を求めよ。（証明付きで。) (1) i(Q)、i(P) (iは内部を表す。) (2) Qの閉包、Pの閉包 (1)は、Qは有理数全体の集合だから、Qに含まれるMの開集合全体の 和集合は、Φ となる。 (2)も同様に、Qを含むMの閉集合全体の共通集合はQである。 こんな感じでいいのでしょうか。もっと適当な証明があれば、 教えてください。
- ベストアンサー
- 数学・算数
- これはハイネ-ボレルの定理の矛盾?
こんにちは。 『(ハイネ-ボレルの定理)コンパクト位相空間Xの任意の閉集合Aはコンパクトである』 というのを本で見かけました。 『実数空間Rの閉区間[a,b]はコンパクトである(ハイネ-ボレルの定理)』というのも見かけましたので「なるほど、Rはコンパクト位相空間だから[a,b]はコンパクトになるんだなあ。」 と思っていましたら その後に 『[例] 実数空間Rにおいて、R及び、開区間(a,b)はコンパクトでない事を証明せよ』 とも書いてありました。 Rは位相空間ですがコンパクトでなくても閉区間[a,b]はコンパクトになるのですか? 何かおかしくないですか? ハイネ-ボレルの定理に詳しい方ご解説をお願い致します。
- ベストアンサー
- 数学・算数
- 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)』 の一般での定義が完成しますでしょうか?
- 締切済み
- 数学・算数
- ユークリッド空間と距離空間の違いについて
位相の本を読んでいるのですが ユークリッド空間と距離空間の違いがよくわかりません。 両方とも距離が定義されています。 違いと言えば、対象としている集合が ユークリッド空間R^n 距離空間は、一般の集合 です。 一般の集合に対して、距離というものが定義できるものが 距離空間で、ユークリッド空間はその１つと考えれば よいのでしょうか。 以上です。
- 締切済み
- 数学・算数
- 色々な空間の包含関係を知りたく思ってます。ベン図は
内積空間,線形空間,ノルム空間,正規直交空間,位相空間,T1空間,ハウスドルフ空間,バナッハ空間,ヒルベルト空間,正規空間,正則空間,距離空間 などなど でどの空間がどの空間を含んでいるのか包含関係を知りたく思っています。 色々な空間の包含関係をベン図で図解してあるサイトをお教え下さい。 そのようなサイトが無ければ"⊂"でお教え下さい。
- 締切済み
- 数学・算数
