数ベクトルの線形結合・一次結合

一般の数ベクトルの線形結合・一次結合定義をメンテ。

数ベクトル空間の基底定義

一般の数ベクトル空間の基底定義をメンテ。

二項述語二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読み。
冒頭に要旨。一部加筆修正。

数ベクトルの線形独立/線形従属定義

一般の数ベクトルの線形独立/線形従属定義をメンテ。

一般の数ベクトル空間定義をメンテ。

二つの2変数関数と一つの2変数関数との合成関数の微分 。
 二つの1変数関数と一つの2変数関数との合成関数の微分 。
メンテ。

5項述語4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4

5項述語・5変項命題関数の4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。

線型部分空間

線形部分空間・部分ベクトル空間の定義。メンテ完了。

基底の定義

ベクトル空間一般における基底の定義。メンテ完了。

ベクトル空間一般次元

ベクトル空間一般の次元。メンテ完了。

凸関数

凸関数。メンテ完了。

論理と集合の目次

論理と集合の目次を更新。
二項述語の二重量化。

一次独立・一次従属

一般のベクトル空間における線型独立・線型従属。メンテ完了。

ベクトル空間一般における線形結合

ベクトル空間一般における線型結合・一次結合の定義のメンテ完了。

ベクトル空間一般の定義

ベクトル空間一般の定義。メンテ完了。

計量実ベクトル空間一般における直交補空間

計量実ベクトル空間一般における直交補空間の性質をメンテ完了。

ロルの定理・平均値定理

ロルの定理・平均値定理の文献・関連項目コラム化。ロルの定理・平均値定理のメンテ完了。

「数列の定義」「数列の収束・極限値の定義」等

「数列の定義」「数列の収束・極限値の定義」等についてのノートを更新。
「数列の収束・極限値の定義」についてのノートを、の独立化にともなって、
要点のみを残し、詳しい説明を削除。

収束数列の定義

「収束数列の定義」についてのノートを、
「数列の定義」「数列の収束・極限値の定義」等についてのノートから独立させて、
大幅に加筆。