制作状況(未リリース分)：最大値･最小値定理

２変数関数の最大値･最小値定理の証明を完成。
次は、一様連続性など。

NewRelease!:コンパクト集合・被覆定理

R1上の被覆定理を修正。
最大値最小値定理の修正に備えて。

制作状況(未リリース分)：２変数関数とその属性

2変数関数にまつわる基本的な属性をまとめたページが完成。
次回は、2変数関数の最大値最小値定理。

制作状況(未リリース分)：極限

ベクトル値関数の極限、距離空間から距離空間への関数の極限に進出。

new release! R2/Rn上の距離空間

R2上の距離空間、Rn上の距離空間をアップグレードして公開。

制作状況（未リリース分）：連結・弧状連結

Ｒ２における連結・弧状連結などの定義を記し、中間値定理にもどる。

2変数関数の連続性の定義をアップグレード

2変数関数の連続性の定義をアップグレード。
明日も続き。

2変数関数についてのコーシーの収束条件の証明

2変数関数についてのコーシーの収束条件の証明。完了したことにする。
実数列のコーシー列とコーシー判定条件を、若干修正。

次回は、連続性に移行するか、n変数関数の収束条件を作成するか、いずれか。

コーシーの判定条件：点列から関数へもどる

R2上の点列の収束のコーシーの判定条件から、2変数関数の収束のコーシーの判定条件の証明へ戻る。
ここで、2変数関数の収束のコーシーの判定条件の証明に必要なのは、数列の収束のコーシーの判定条件であって、点列の収束のコーシーの判定条件ではないことに気づく。

R2上のコーシー列、コーシー収束条件

R2上のコーシー列定義と、R2上の点列のコーシー収束条件を記述完了。