2015-12-01から1ヶ月間の記事一覧
第二次α版。未完成。
2と3を同じ日に公開してしまいます。
まさか続くとは思ってませんでした。
暇だったんでやってみました。
なんか変な名前の補題です。ヤバイ補題という名前だとでも言うのか
正規性の言い換えです。
正規より強い分離公理の話です。
Math Advent Calender 2015の12/15の記事です。来週忙しそうなのでアドベントカレンダーをフライングします。(フライングできなかった(フライングできた))
構成だけして性質とかは証明しません。
未完成