逆関数の微分公式の証明

逆関数の微分公式の証明。外観のリフォーム完了。

一次写像(線形写像)と線形独立(一次独立）

一次写像(線形写像)と線形独立(一次独立）。タイトル部分のみ体裁調整。

砂田利一 『行列と行列式』、Hoffman,Kunze,"Linear Algebra"

線型代数のビブリオグラフィー。
砂田利一 『現代数学への入門：行列と行列式』岩波書店

Kenneth Hoffman, Ray Alden Kunze , Linear Algebra

に書誌データリンク追加。

《実数の集合》の集積点：定義タイプ2⇔数列を用いた集積点の定義

《実数の集合》の集積点：定義タイプ2⇔数列を用いた集積点の定義。
ビギナー向け「集積点」定義　と 厳密な「集積点」定義のアイデア ・実数－《実数の集合》間の位置関係一覧新規作成にともなうナビゲーション変更。

合成関数の微分公式 chain rule

合成関数の微分公式　chain rule　の証明。外観のリフォーム完了。

自然な内積の性質

・零ベクトルとの内積
・スカラー倍したベクトルのそれ自身との内積　　
・ベクトルと行列との積とベクトルとの内積　　
・シュヴァルツの不等式
・三角不等式
をノートした実n次元数ベクトル空間における自然な内積の性質。
大枠のみリフォーム。

志賀浩二 『大人のための数学3:無限への飛翔−集合論の誕生』紀伊國屋書店(2008年)

論理と集合論のビブリオグラフィーの志賀浩二 『大人のための数学3:無限への飛翔−集合論の誕生』紀伊國屋書店(2008年)に書誌データリンク追加。

一項述語の存在量化

一項述語・1変項命題関数を存在量化した存在命題を、下記事項に関して更新。

• 　　「∀ 《変項を先頭にした条件式》  1項述語」「∃ 《変項を先頭にした条件式》  1項述語」の相互リンク
• 　∃x∈Xを、他ページにあわせて、∃x∈Sに

ベキ集合 De La Fuente, Mathematical Methods and Models for Economists

「ベキ集合」の定義の文献リストにDe La Fuente, Mathematical Methods and Models for Economists（Cambridge UP,2000）を追加

一般のベクトル空間における同型写像

一般のベクトル空間における同型写像。タイトル部分のみ体裁調整。