数学の本 第104巻 (167ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
100(2): 2025/09/04(木) 04:53:15.44 ID:+zYgHoIr(1/3)調 AAS
x, y∈M(X) を相異なる２点とする。Z∈x をとる。任意の W∈y について Z∩W ≠ ∅ とすると { Z∩W ; W∈y } で生成されるフィルターは y を含むから y の極大性より y に一致する。 とくに Z∈y である。とくにこれが任意の Z について成立するなら x⊂y であり、x の極大性より x=y となって矛盾する。よってある Z∈x とある W∈y で Z∩W = ∅ である。Z, W 各々が R への連続関数のゼロの集合だからある f : X → R を Z = f⁻¹(-1)、W = f⁻¹(1) と選べる。Z’ = f⁻¹((-∞,1/2])、W’ = f⁻¹([-1/2,∞)) とする。Z∩W’ = ∅ により W’∉x であり x∈U_W’ であり、同様に y∈U_Z’ である。z∈U_W’ とすると W’∉z である。すべての F∈z に対して F∩W’ ≠ ∅ であるなら z の極大性から W’∈z となり矛盾するからある F∈z に対して F∩W’ = ∅ である。同様に考察すれば z∈U_W’∩U_Z’ ならある F,G ∈z をとって F∩W’ = ∅ 、G∩Z’ = ∅ であるから F∩G∩ (Z’∪W’) = ∅ となるが、z がフィルターだから F∩G ≠ ∅ であり、定義から Z’∪W’ = X であるから矛盾する。
102(2): 2025/09/04(木) 10:55:13.81 ID:+zYgHoIr(2/3)調 AAS
Z = p⁻¹(0)、W = q⁻¹(0) として f(x) = 4arctan( p(x)²/q(x)2 )/π - 1 など
105(1): 2025/09/04(木) 11:59:39.36 ID:+zYgHoIr(3/3)調 AAS
そりゃそうするのが X → M(X) が連続にする一番自然な方法だからでしょ？その定義において U_Z の引き戻しは X＼Z になる。ググっただけだから知らんけど。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.014s