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

関数の左極限を単調増大列の収束へ言い換える定理の証明
定理の文字体裁改善。

有界集合上の重積分の線形性/単調性/三角不等式/第一平均値定理

有界集合上の重積分の性質:線形性/単調性/三角不等式/第一平均値定理。大枠のみリフォーム。

「《実数の集合》の集積点」の定義

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

集合の基本概念－定義と記号:部分集合の言い換え

集合の基本概念－定義と記号。
　「A⊃B」「B⊂A」　から

• 「A⊃B」「B⊂A」は、「A^c⊂B^c」「A∪B^c＝ Ω」「A^c∩B ＝ φ」「B－A =  φ」と互いに言い換え可。 
• 「AB」「BA」は、「A^cB^c」「A∪B^c≠Ω」「A^c∩B ≠ φ」「B－A ≠ φ」と互いに言い換え可。　
•  「AB」「BA」は、「A^cB^c」「A^c∪B≠Ω」「A∩B^c ≠ φ」「A－B ≠ φ」と互いに言い換え可。　 

へのリンク

1変数関数の「n階導関数」「第n次導関数」「高階導関数」定義

1変数関数の「n階導関数」「第n次導関数」「高階導関数」定義。
文字体裁の整備完了。

直交系/正規直交系/直交基底/正規直交基底の定義

直交系の定義、正規直交系の定義、直交基底の定義、正規直交基底の定義などを書き込んだユークリッド空間Rnの基底の諸定義のノート。大枠のみリフォーム。

「ＡはBの部分集合ではない」の言い換え

「AB」「BA」は、「A^cB^c」「A^c∪B≠Ω」「A∩B^c ≠ φ」「A－B ≠ φ」と互いに言い換え可を新規作成、アップロード。

1変数関数の極大点・極大値

1変数関数の極大点・極大値 。　文字体裁整備完了。

標準内積(「自然な内積」),ユークリッドノルム,n次元ユークリッド空間

• 自然な内積(標準内積)の定義
• ユークリッドノルムの定義
• ユークリッドノルムから定められる距離の定義
• 実n次元数ベクトル空間からユークリッド空間　　

などを収納するn次元ユークリッド空間のノート。
大枠のみリフォーム。

関数の右連続性と数列

1変数連続関数についてのノート。
右連続の、数列の収束への言い換え。文字体裁を整える。