順序数の位相的重み

暇だったんでやってみました。

 位相的重みとは位相空間の開基の最小濃度のことですが、順序数に普通に位相を定義した時の位相的重みを計算してみました。難しくはないです。