完全正則空間とか:未完成

3と1/2番線

ストーンチェックコンパクト化とかを紹介しようとして、何やらゼロ集合とかも紹介しようと思ったらいろいろ付けすぎて、気合が持たずに未完成です。
なぜか位相空間の重みとリンデレフ数の関係を書いているので、見てください。