非ハウスドルフ空間からハウスドルフ空間への連続な全単射
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
自治厨きっしょw
4132人目の素数さん
2026/06/08(月) 09:33:40.15ID:su4Ps1Yb 局所コンパクトなら無い
分離できない2点のコンパクト近傍をとってそこに制限すると同相写像だから矛盾
分離できない2点のコンパクト近傍をとってそこに制限すると同相写像だから矛盾
5132人目の素数さん
2026/06/08(月) 09:40:30.74ID:i+n2o74v >>4
主語や目的語を省かずに話してくれないか
主語や目的語を省かずに話してくれないか
2026/06/08(月) 09:43:45.35ID:1hOFIyeE
SVO
SVOO
SVOC
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 ハウスドルフ空間への連続単射があるならハウスドルフ
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)もハウスドルフである。
ハウスドルフ空間への連続単射があるならハウスドルフ
【定理】
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)
もハウスドルフ空間となる。◾
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)
もハウスドルフ空間となる。◾
レスを投稿する
ニュース
- 「排外主義が日本全体で跋扈」村井嘉浩宮城県知事−外国ルーツの女子児童へのいじめで ★2 [蚤の市★]
- 【サッカーW杯】 観客285万人に到達 1試合平均は6万5000人 過去最多を大幅更新ペース [阿弥陀ヶ峰★]
- 歌舞伎町の有名ホスト4人 アメリカ入国を拒否され強制送還 「君達の職業では純粋な旅行として認められないから帰れ」と言われる [muffin★]
- 【シコ╰⋃╯シコ】ドラッグストア駐車場で陰部露出し自慰行為した公然わいせつ容疑 55歳男を現行犯逮捕 盛岡市 [nita★]
- 「電話鳴り止まない」AI予約サービス「オートリザーブ」に飲食店困惑 “勝手に”公式マーク表示も 専門家「AIうまく機能していない」 [ぐれ★]
- 【音楽】サカナクション山口一郎、「チケット取れないからファン辞めます」一部Xの声に「悲しい…頑張ろうとしてるから今」 [muffin★]
- 高市総理、経済安保に一般会計とは別枠の特別会計活用へ [256556981]
- 政府「消費税1%を検討」 消費税ゼロを必ず実現させる会😡 👈こいつらの正体! [929852992]
- 【高市悲報】オマーン「悪いけど俺もイランと共同でホルムズ海峡の通航料取るわw」 [616817505]
- 東京都北区の小学校火災、女性教員「電気ストーブで洗濯物を乾かしていた」 [377482965]
- 高市「どこの田舎が国にインフラ整備してもらえるかどうかは私が決める。計画出して!」 [358195575]
- 塩粘の靴ダサくねー?👊😅👊🏡👞