「《実数の集合》の閉包」の定義

「《実数の集合》の閉包」の定義を更新。

計量実ベクトル空間における内積の定義

計量実ベクトル空間における内積の定義。
文字体裁リフォーム。

推論規則【二重否定除去律】のもとで【排中律】は定理

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

《関数の収束》と《数列の収束》の関連性

《関数の収束》と《数列の収束》の関連性(普通の極限の場合)についての定理の証明 。
親ページから項目を移管。

《実数の集合》の導集合

「距離空間(R,d)」についてのノートから、《実数の集合》の導集合についてのノートを独立。

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

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

1変数関数の単射(1対1)

1変数関数の単射(1対1)。コラム型崩れ修正。

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

《関数の右極限》と《数列の収束》の関連性についての証明 。
《関数の右極限》の《数列の収束》への言い換え から項目を移管。Q⇒Pの証明の一部のタグ削除。

《実数の集合》の境界

「距離空間(R,d)」についてのノートから、《実数の集合》の境界についてのノートを独立。

空集合の定義・性質

集合の基本概念－空集合の定義からへ空集合の性質へ具体例を移管。

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

《関数の右極限》を《単調減少列の収束》へ言い換える定理の証明 。
《関数の右極限》の《 単調減少列の収束》への言い換え から項目を移管。

1変数関数の制限・延長

1変数関数の属性と諸類型のノートから、1変数関数の制限・延長についてのノートを独立。

《実数の集合》の外部

「距離空間(R,d)」についてのノートから、《実数の集合》の外部についてのノートを独立。

外延的記法/内包的記法、∈、シングルトン/有限/無限集合

集合の基本概念－定義と記号。外延的記法/内包的記法、元として属す∈/、1元集合(シングルトン)/有限集合/無限集合のデザインを一新。

単調増加関数の右極限の存在の十分条件

単調増加関数の右極限の存在の十分条件 。
「単調減少関数の右極限の存在の十分条件」の定理のページから項目を移管。

単関数・階段関数

1変数関数の属性と諸類型のノートから、1変数関数の単関数・階段関数についてのノートを独立。

単調減少関数の右極限の存在の十分条件

単調減少関数の右極限の存在の十分条件の証明 。
「単調減少関数の右極限の存在の十分条件」の定理のページから項目を移管。

《実数の集合》の内部・開核

「距離空間(R,d)」についてのノートから、《実数の集合》の内部・開核についてのノートを独立。