キタタクoctの活動記録

きたる時に自信に繋ぐための記録

2017-01-01から1年間の記事一覧

開かつ閉集合は連結成分の和集合である

TeXの練習で作りました。

定数前層は層であるとは限らない (constant presheaf is not a sheaf)

空集合の被覆について を命題で表記すると次のようになる。 このように表記すれば空集合の被覆を考える際に便利である。 上の命題において の場合を考えると次のようになる。 この命題は真である。なぜなら、 を満たすようなや を満たすようなは存在しないの…