今日書いた記事「0次元多様体の向きの定義が納得できない」への補足です。同じ記事への追記・修正でもいいのですが、追記としては若干長め、大きな修正は原則しない方針なので別記事にします。まず、先の記事では、 主に心理的な理由で、境界を許すコンパク…

話を簡単にするために、多様体はコンパクトなものだけを考えます。0次元多様体は、（コンパクト性の仮定のもとで）有限個の点です。0次元多様体にも向き〈orientation〉を考えることができて、向き付き0次元多様体〈oriented 0-dimensional manifold〉とは符…