読者です 読者をやめる 読者になる 読者になる

zenaの日記

麻雀と最近放置している不等式と、極希に更新しているスペクトル以外には、ここを見る価値は基本的にありません。また、管理者は気まぐれにしか更新しませんので悪しからず。

  • Lindelof = compact for T_1-spaces iff the axiom of countable choice for subsets of the reals fails.
  • Lindelof T_2-spaces are T_3 spaces iff the axiom of countable choice for subsets of the reals fails.

数学科の集合と位相の講義ってきっとこういう事ならうんだろうなぁ。
裏山。


話は変わるけど、cptとopenのにも一応黄色付けたんだけど、先ずどれが重要なのか分からないから
それっぽいのに付けてみたので意見募集中。

cpt: compact, countably compact, Lindelof, locally compact, paracompact (σ-compact, realcompact, developable spaceをどうするか・・・)

open: open, preopen, semiopen, α-open, generalized open (δ-open, regular open, θ-openをどうするか・・・)