探検


非ハウスドルフ空間からハウスドルフ空間への連続な全単射

1132人目の素数さん
垢版 |
2026/06/08(月) 03:50:56.17ID:0rnZ1JQQ
の例ってありますか?
2026/06/08(月) 05:04:37.40ID:LLFQQgye
>>1
単発質問禁止
3132人目の素数さん
垢版 |
2026/06/08(月) 09:20:28.62ID:Bx9FIkxe
>>2
自治厨きっしょw
4132人目の素数さん
垢版 |
2026/06/08(月) 09:33:40.15ID:su4Ps1Yb
局所コンパクトなら無い
分離できない2点のコンパクト近傍をとってそこに制限すると同相写像だから矛盾
5132人目の素数さん
垢版 |
2026/06/08(月) 09:40:30.74ID:i+n2o74v
>>4
主語や目的語を省かずに話してくれないか
2026/06/08(月) 09:43:45.35ID:1hOFIyeE
SVO
SVOO
SVOC
2026/06/08(月) 09:51:58.69ID:LLFQQgye
の例ってありますか?
の例ってありますか?
の例ってありますか?
8132人目の素数さん
垢版 |
2026/06/08(月) 13:54:17.39ID:Oex9cGS3
ハウスドルフでもねえ、局所コンパクトでもねえ
おらこんな空間嫌だ
2026/06/08(月) 14:06:08.63ID:wjQgO8qn
理三幾何
2026/06/08(月) 15:18:13.04ID:LLFQQgye
ザリガニ位相
11132人目の素数さん
垢版 |
2026/06/08(月) 16:04:19.00ID:aXl7B4cj
ハウスドルフ位相より細かい位相を入れたらハウスドルフ位相空間になる
12132人目の素数さん
垢版 |
2026/06/08(月) 17:26:13.47ID:+HZ9iuN9
ハウスドルフ空間への連続単射があるならハウスドルフ
13132人目の素数さん
垢版 |
2026/06/08(月) 18:01:23.70ID:U0Nnj12t
>>12
これ
学部2年レベル
>>4←コンパクトだとか無駄な条件付けて解いた気になってる馬鹿
2026/06/08(月) 18:09:05.75ID:wjQgO8qn
声に出して言いたいパラコンパクト
15132人目の素数さん
垢版 |
2026/06/08(月) 18:17:22.48ID:uACOTE+n
>>13
精神状態大丈夫?
16132人目の素数さん
垢版 |
2026/06/08(月) 18:23:21.47ID:wjQgO8qn
気持ちは少し分かる。
難しく解かれると、自分の数学力に自信が無くなるから私は困る。
17132人目の素数さん
垢版 |
2026/06/08(月) 23:05:56.39ID:AjClkVJC
解けてない
18132人目の素数さん
垢版 |
2026/06/23(火) 02:12:49.47ID:yId5AtRG
>>12
ハウスドルフ空間への連続単射があるならハウスドルフ

【定理】
f:(X,O_X)-->(Y,O_Y)を連続な単射とするとき、
(Y,O_Y)がハウスドルフ空間ならば、(X,O_X)もハウスドルフである。
19132人目の素数さん
垢版 |
2026/06/23(火) 02:26:33.64ID:yId5AtRG
【証明】
X内の任意の異なる2点x_1 ≠ x_2 をとる。
fは単射なので、f(x_1) ≠ f(x_2)である。
(Y,O_Y)はハウスドルフ空間なので、f(x_1),f(x_2)を分離する
開集合U_1, U_2 in O_Yが取れる: U_1 ∩ U_2=Φ。

これを引き戻すと、
f^{-1}(U_1 ∩ U_2)= f^{-1}(U_1) ∩ f^{-1}(U_2)=Φ、
fは連続なので f^{-1}(U_1), f^{-1}(U_2)は x_1, x_2
を含むXの開集合である。
よって、x_1,x_2を分離する開集合が存在するので、(X,O_X)
もハウスドルフ空間となる。◾
レスを投稿する


ニューススポーツなんでも実況