junology https://blog.hatena.ne.jp/junology/ junologyのブログ https://junology.hatenablog.com/ 数学 圏論 位相幾何学 「こひーれんとトポロジー」で悩んでたところを思いついたので、忘れないようにメモ 連続写像の族に対して、にから位相を誘導して、自然な射影のへの制限をとすると、がのequalizer。実際、をで定義すれば、の定義によりこれはwell-definedで（本当はこのはequalizerの情報の中にあるべきなのだけれど、この場合は割とcanonicalなので良いかって思った）、が任意ので成立しており、また、次の普遍性を持つ（一般に、次を満す,をのequalizerという）。 命題 位相空間からの写像の族とに対し、が成立していたとする。 この時、があり、とできる。 （証明） をで定める。 この時、仮定より… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjunology.hatenablog.com%2Fentry%2F20120507%2F1336385426" title="位相空間のequalizer - junologyのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-05-07 19:10:26 rich https://junology.hatenablog.com/entry/20120507/1336385426 1.0 100%