![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
No.2ベストアンサー
- 回答日時:
S が局所ユークリッド空間 とは、非負整数 n が存在して、
S の任意の点がR^nに同相な近傍をもつことをいうのだから
S
=(R-{0})∪{A,B}
=[(R-{0})∪{A}]∪[(R-{0})∪{B}]
S の任意の点p∈Sに対して
p∈(R-{0})∪{A}は Rと同相な近傍
または
p∈(R-{0})∪{B}は Rと同相な近傍
が
成り立つから
S は局所ユークリッド空間である
S上の任意の異なる2点a,bに対して,
U∩V=φであるようなaの開近傍Uおよびbの開近傍Vが必ず存在するとき
Sはハウスドルフ空間というのだから
{A}の任意の近傍Uに対して
U⊃{A}∪(-s,0)∪(0,s)
0<sとなるsがある
{B}の任意の近傍Vに対して
V⊃{B}∪(-t,0)∪(0,t)
0<tとなるtがある
x=min(s,t)/2
とすると
0<x<sだからx∈U
0<x<tだからx∈V
だから
x∈U∩V
だから
U∩V≠φ
だから
Sはハウスドルフ空間ではない
No.1
- 回答日時:
S=(R\{0})∪{A,B}
の位相が定義されていないので証明できません
Rの位相を実数空間の位相として
R\{0}=R-{0}の位相を
実数空間の部分空間の相対位相を定義しても
A,Bを付加した時の位相
A,Bの近傍
をどのように
定義するのかは不定です
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 相対性理論を時空変換で縛るのが間違ってますよね? 4 2023/03/14 17:43
- 哲学 多重統括主観形相の育成(形式学) 1 2023/07/05 12:50
- 数学 位相空間 X において, 点列 {xn} が x∞ に収束しているとき, 集合 {xn; n ∈ N 1 2023/01/17 18:53
- 数学 位相 2 2023/05/02 18:22
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 平面の決定条件 ①『1直線上にない異なる3点』…点が空間に3つにあってもその3つの点を通らなければ平 5 2023/02/22 22:25
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- Excel(エクセル) エクセルの関数を教えてください。② 9 2023/05/25 15:28
- 物理学 テキトーな世界でも相対性理論は成立しますか。 3 2023/02/21 19:57
- 哲学 シミュレーション空間 1 2023/07/31 20:55
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
位相でないものの例
-
位相交差角周波数 と ゲイン...
-
離散フーリエ変換の周期とサン...
-
区間縮小法
-
位相の個数について(位相の基...
-
2つの位相が一致することの証明
-
同値なノルムについて教えてく...
-
lim[n→∞](1-1/n)^n=1/e について
-
2進数のバイアス表現について
-
dx/dy や∂x/∂y の読み方について
-
分極の大きさPの求め方
-
数学の極限の問題です! (1)l...
-
次の無限数列の問題の解説を教...
-
高2の数学の対数関数です。 真...
-
シグマの範囲が2nまでの関数で...
-
【数学】 lim x→a ↑これってど...
-
高校数学
-
年代と年台・・・どちらが正し...
-
三角関数の範囲について、 0≦x≦...
-
ブラックの関係式
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
閉区間[-1,1]がコンパクトであ...
-
第2可算公理が成立すると第1可...
-
位相交差角周波数 と ゲイン...
-
平均値の定理の極限のやつで x→...
-
逆フーリエ変換における位相の...
-
フーリエ変換について質問です ...
-
離散位相、密着位相はなぜそう...
-
位相でないものの例
-
Zp が Qpの開集合であること...
-
位相ずれのないフィルター
-
2つの位相が一致することの証明
-
コンパクトについての証明
-
広義一様収束の定義がいまいち...
-
基本近傍系
-
区間縮小法
-
何が箱位相と直積位相でのR^ωの...
-
リンデレーフの被覆定理
-
紐の端が2つである理由
-
|2^N|=ℵ1の証明
-
「Xを異なる3点a,b,cの集合とす...
おすすめ情報
このとき、c、d>0に対して、Aを含む開区間をI_[A](−c,d)=(−c,0)∪{A}∪(0,d)によって定める。
同様に B を含む開区間をI_[B](−c,d)=(−c,0)∪{B}∪(0, d)と定める。
部分集合族BをB={R\{0}に含まれる開区間 }∪{I_[A](−c, d) | c,d >0}∪{I_[B](−c, d) | c,d>0}によって定め、これを開基とする位相をO_[S]とする。