R上の外点定義

「距離空間(R,d)」についてのノートのメンテ完了。
外点定義を一部更新。

基本変形のみで行列を標準形へ

基本変形だけであらゆる行列を標準形に至らせる手順StepN-2。大枠のみリニューアル。

二階堂副包(ふくかね) 『現代経済学の数学的方法―位相数学による分析入門』岩波書店

解析学のビブリオグラフィー。
二階堂副包(ふくかね) 『現代経済学の数学的方法―位相数学による分析入門』岩波書店のデータを更新。

集積点と内点・外点・境界点・触点・閉包との関係

「《Rの部分集合》の集積点」の定義－タイプ1から、
Rにおける位相概念間の関係

• Rにおける点集合の内点・外点・境界点と集積点の関係
• Rにおける点集合の触点・閉包と集積点・孤立点の関係

他のタイプの集積点定義
へのリンクを設置。

関数の左極限を単調増大列の収束へ言い換える定理の証明

関数の左極限を単調増大列の収束へ言い換える定理の証明。
大枠のリフォーム。

基本変形のみで行列を標準形へ

基本変形だけであらゆる行列を標準形に至らせる手順Step(N-1)-2。大枠のみリニューアル。

西村和雄『経済数学早わかり』日本評論社

解析学のビブリオグラフィー。
西村和雄『経済数学早わかり』日本評論社のデータを更新。

集積点と内点・外点・境界点・触点・閉包との関係

「《Rの部分集合》の集積点」の定義－タイプ０から、
Rにおける位相概念間の関係

• Rにおける点集合の内点・外点・境界点と集積点の関係
• Rにおける点集合の触点・閉包と集積点・孤立点の関係

へのリンクを設置。

関数の左極限と数列の収束の関連性についての定理の証明

関数の左極限と数列の収束の関連性についての定理の証明。
大枠のリフォーム。

基本変形のみで行列を標準形へ

基本変形だけであらゆる行列を標準形に至らせる手順Step2-2。大枠のみリニューアル。

スピヴァック『多変数の解析学』Michael Spivak,Calculus on Manifolds

解析学のビブリオグラフィー。
スピヴァック『多変数の解析学』東京図書 (Michael Spivak,Calculus on Manifolds:A ModernApproach to ClassicalTheorems of advancedCalculus)のデータを更新。

∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 )

論理目次に、

• 四項述語の多重量化: ∀x₁∈S₁ ∃x₂∈S₂ ∀x₃∈S₃  P ( x₁, x₂, x₃, x₄ )　

へのリンクを追加。

関数の右極限を単調減少列の収束へ言い換え

関数の右極限を単調減少列の収束へ言い換える定理の証明。
大枠のリフォーム。

基本行列と基本変形の性質

基本行列elementary matrixと基本変形の性質。大枠のみリニューアル。

Ｗ.ルディン（Ｗalter Rudin)『現代解析学』共立出版

解析学のビブリオグラフィー。
Ｗ.ルディン（Ｗalter Rudin)『現代解析学』共立出版のデータを更新。

触点adherent point、閉包closure、集積点など

「距離空間(R,d)」についてのノート。
触点adherent point、閉包closure、集積点などについて加筆およびリンク設置。

関数の右極限と数列の収束の関連性についての証明

関数の右極限と数列の収束の関連性についての証明　。
大枠のリフォーム。

基本行列の性質

基本行列elementary matrixの性質。大枠のみリニューアル。

志賀浩二『解析入門30講』朝倉

解析学のビブリオグラフィー。
志賀浩二『解析入門30講』朝倉書店のデータを更新。

細井勉『はじめて学ぶイプシロン・デルタ』日本評論社

解析学のビブリオグラフィー。
細井勉『はじめて学ぶイプシロン・デルタ』日本評論社、2010年 のデータを更新。

行列の積の結合則

行列の積の結合則。大枠のみリニューアル。