18/02/21 16:19:22.96 +gp5lvHt.net
あと、>>286 の焼き直しになるが、定理Fについて補足する。
定理F を「 Gδ集合 」で書き直すと、次のようになる。
定理F1：
A ⊂ R は、R－A がGδ集合とする。もし R－A が第一類集合ならば、(a,b)⊂A を満たす開区間 (a,b) が存在する。
実は、さらに強く、次の定理も証明できる。
定理F2：
A ⊂ R は、R－A がGδ集合とする。もし R－A が第一類集合ならば、R－A は nowhere dense である。
ここまで来ると、「 R－A 」を1文字にした方がキレイなので、そうすると次のようになる。
定理F3：
A ⊂ R は、A がGδ集合とする。もし A が第一類集合ならば、A は nowhere dense である。
これに関しては、"Gδ set of first category" で検索すると、
1件だけだが上記の 定理F3 を使っていると思しき pdf が見つかる。
URLﾘﾝｸ(fm.math.uni.lodz.pl)
＞ Observe that ∩[m＝1～∞] ∪[n≧m] A_n as Gδ set of first category is
＞ easily seen to be nowhere dense.
このことからも、定理F, F1,F2,F3 は全て正しいと分かる。
間違っているのはスレ主ただ1人だけ。キチガイ。ゴミクズ。問題外。