Metric Space on Rn

R2上のMetric Space, Rn上のMetric Spaceを整理。
明日は、Rn上のε近傍の諸類型(距離をユークリッド距離にした場合などの具体例)を書き出す。
これが終わったら、n変数関数の極限へ戻る。

点列の極限から関数の極限へ

点列の収束と、そのベクトル演算のページ。文献リンクの不具合を解消。
それから、n変数関数の極限を、ベクトルと関連付けて、定義するページを作成開始。
アップロードはしない。

完了

昨日のつづきが完了。
Rn,R2相互間で、点列の極限定義・極限とベクトル演算のページのリンクも張りなおす。
アップロードは見送り。

点列の極限の演算の定理 つづき

昨日の作業の続き。
その途中で、実n次元数ベクトル空間のページの表示の不具合を修正。
明日は、点列の極限の演算の定理の証明。

点列の極限の演算の定理

Rnにおける点列の極限の演算の定理へ。

その途中、R2における点列のページで、実2次元数ベクトルへのリンクが切れていることに気づき、修正。

R2における点列については、更新実行。

昨日の作業の続き

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