微分積分文献

解析学のビブリオグラフィー。
青本和彦『岩波講座現代数学への入門：微分と積分1』岩波書店のデータを更新。

微分積分bibliography

解析学のビブリオグラフィー。
加藤十吉『微分積分学原論』培風館のデータを更新。

集積点定義タイプ0⇔集積点定義タイプ2

「《Rの部分集合》の集積点」の定義－タイプ0とタイプ2が同値であることの証明ページを新規作成・アップロード。

写像:Fischer参照

写像についてのノートに、
 Springer社UndergraduateTextsin Mathematicsに入っているFischer,Intermediate Real Analysis
への参照を追加。

基本行列

基本行列。大枠のみリニューアル。

単調増加関数の右極限の存在の十分条件

単調増加関数の右極限の存在の十分条件。
大枠リフォーム。

論理目次：n項述語全称量化・存在量化を追加

論理目次に、

• n項述語全称量化　∀x_i P(x₁,…,x_n) 
• n項述語存在量化∃x_i P(x₁,…,x_n)
• n項述語全称量化　∀x_i∈X P(x₁,…,x_n) 
• n項述語存在量化∃x_i∈X P(x₁,…,x_n)

へのリンクを追加。

触点・接触点adherent point, 閉包の点closure point

Rにおける集合の触点・接触点・閉包の点　adherent point , closure point, point of closureの定義を新規作成・アップロード。

行列の標準形への変形可能性：基本行列との積のみによって

行列の標準形への変形可能性：基本行列との積のみによる。大枠のみリニューアル。

単調減少関数の右極限の存在の十分条件

単調減少関数の右極限の存在の十分条件。
大枠リフォーム。

コーシーの判定条件：1変数関数の極限

1変数関数の極限に関するコーシーの判定条件・コーシーの判定法の証明。
大枠だけリフォーム。

R上の集積点定義

「《Rの部分集合》の集積点」の定義－タイプ2を新規作成・アップロード。

松坂和夫『集合位相入門』

論理と集合のビブリオグラフィー。
松坂和夫『集合位相入門』 の著者データ更新。

1変数関数の極限の定義：数列の極限を用いた言い換え

1変数関数の収束・極限値定義～数列の収束・極限値を用いた言い換え。
大枠のリフォーム。

行列の標準形：基本変形のみで、どんな行列も標準形に。

「どんな行列も基本変形のみで標準形に変形可能」の証明。大枠のみリニューアル。

コーシーの判定法：1変数関数の右極限

1変数関数の左極限に関するコーシーの判定条件・コーシーの判定法の証明。
大枠だけリフォーム。

微積分テキスト一覧

解析学のビブリオグラフィー。
小林昭七『続・微分積分読本:多変数』裳華房のデータを更新。

テイラーの定理

1変数関数のテイラーの定理：証明の外観リニューアル。

行列の階数rank・標準形

体上の行列の標準形と階数rank 。大枠のみリニューアル。

コーシー判定条件：1変数関数の右極限

1変数関数の右極限に関するコーシーの判定条件・コーシーの判定法の証明。
大枠だけリフォーム。

3項述語2重量化∀x∈X ∃y∈Y P(x,y,z)

三項述語の二重量化「∀x∈X ∃y∈Y P(x,y,z)」を新規作成、アップロード。

テイラーの定理：1変数関数

1変数関数のテイラーの定理の外観リニューアル。

テイラー展開の証明

1変数関数のマクローリン展開の証明。外観リニューアル。