昨日の作業の続き

昨日の作業の続きを完了。更新は行わず。
明日は、n次元ユークリッド空間の点列の収束と、各座標の数列の収束との関係の証明。
しかし、これをやると、n次元ユークリッド距離の性質を、計量実ベクトル空間との関連付けをしながら整理する必要がでてくる。
ここをとばして、点列の極限の演算の定理に進むのも、ひとつか。