一般のベクトル空間から一般のベクトル空間への一次写像の行列表示

一般のベクトル空間から一般のベクトル空間への一次写像の行列表示。外観大枠のみリフォーム。

《単調関数の左極限》と《数列の極限》

定理：単調増加関数の左極限の存在の十分条件－数列の収束の観点から
定理：単調減少関数の左極限の存在の十分条件－数列の収束の観点から
のテキスト外観を修正。

【背理法】のもとで、【二重否定除去則】【矛盾に関する規則】は派生推論規則、【排中律】は定理。

命題論理の自然演繹：推論規則【背理法】のもとで、【二重否定除去則】【矛盾に関する規則】は派生推論規則、【排中律】は定理。を新規作成、アップロード。

n項述語・n変項命題関数の存在量化

n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)。リンク切れ箇所の修正。

右連続単調関数と《数列の極限》

1変数連続関数についてのノート。下記項目のテキスト外観を修正。

• 定理：単調減少関数のf(x)がx＝x0で右連続であることの十分条件－数列の収束の観点から。  
• 定理：単調増加関数f(x)がx＝x0で右連続であることの十分条件－数列の収束の観点から。

～が張る部分ベクトル空間

～が張る部分ベクトル空間。大枠のみリニューアル。

連言・論理積をあらわす論理記号 A∧B

論理記号一覧の連言conjunction・論理積logical productをあらわす論理記号　A∧Bについて、
外観更新、論理式「P∧Q」の意味論へのリンク付加。

部分ベクトル空間の次元

部分ベクトル空間の次元。大枠のみリニューアル。

森毅『現代の古典解析―微積分基礎課程』ちくま学芸文庫、2006年

解析学のビブリオグラフィーに、
 森毅『現代の古典解析―微積分基礎課程』ちくま学芸文庫、2006年。

を追加。

森毅『位相のこころ』ちくま学芸文庫、2006年

解析学のビブリオグラフィーに、
 森毅『位相のこころ』ちくま学芸文庫、2006年。

を追加。