2変数関数の極限の、点列・数列の極限への言い換えの証明

2変数関数の極限の、点列・数列の極限への言い換えの証明。

2変数関数の極限を、点列・数列の極限へ言い換える側のみ完了。

明日は、点列・数列の極限を、2変数関数の極限に言い換える側を証明。

論理法則の追加

2変数関数の極限の、点列・数列の極限への言い換えの証明を開始。
すぐに、必要な論理法則が二つあることに気づき、
この機会に、論理記号・論理法則のページに、内容を追加。
アップロードは今日も見送り。

2変数関数の極限と点列・数列の極限

2変数関数の極限の、点列・数列の極限への言い換えを整備。
その証明記述の道筋までつけておく。
明日は、この証明の予定。
アップロードは今日も見送り。

２変数関数の発散

２変数関数の発散の定義等の記述完了。
明日は、2変数関数の極限の、点列・数列の極限への言い換えをやるか、
n変数関数の発散の定義等を記述するか。
もちろん、アップロードはまだ。

２変数関数の発散・累次極限

２変数関数の発散・累次極限の定義等を再整理。
次回は、これらにベクトル表現を与えたのち、2変数関数の極限と数列の極限の関係を再整理する。

多変数関数の極限

n変数関数の極限、2変数関数の極限の定義が完成。
次は、累次極限。
※今日も、アップロードなし。

2変数関数の極限

2変数関数の極限の説明をアップグレード。 除外δ近傍の定義の修正と連携しつつ。

n変数関数の定義

n変数関数の定義を記す。ついでに、2変数関数の定義も付加。
アップロードは今日もおこなわない。
明日は、n変数関数の極限定義を整理。

Metric Space on Rn

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

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

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