1変数関数の微分公式(その2)

1変数関数の微分公式(その2)。メンテ完了。

1変数関数の微分公式

1変数関数の微分公式（その1）。メンテ完了。

R1上の距離空間

「距離空間(R,d)」についてのノートのメンテ完了。

実数の集合のmax/min・上界/下界・sup/inf

実数の集合のmax/min・上界/下界・sup/infについてのノートを更新。

 

上に有界な「実数の集合」、「実数の集合」の上界についてのノート, 下に有界な「実数の集合」、「実数の集合」の下界についてのノート,  有界な「実数の集合」についてのノート の独立に伴い、これらの項目を簡素化して、リンク。

二項述語・命題関数の具体例3 " x loves y "

二項述語・命題関数の具体例3 "x loves y"。メンテ了。

二変項述語・2変数命題関数の普遍量化の集合表現

二変項述語・2変数命題関数の普遍量化の集合表現 のメンテ了。

論理法則

転換法に、下記文献追加。

• 永倉･宮岡『解析演習ハンドブック[1変数関数編]』　

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

「数列の定義」「数列の収束・極限値の定義」等についてのノートを更新。

単調数列のノート、有界数列のノートの独立化にともなって、

ビギナー向けの説明のみを残し、詳しい説明を削除。

二項述語・2変数命題関数の例

二項述語・2変数命題関数についてのノート。メンテ了。

一変項述語・1変数命題関数の普遍量化の集合表現

一変項述語・1変数命題関数の普遍量化の集合表現 のメンテ了。

命題関数の普遍量化 ∀x P(x)の集合表現
命題関数の否定と量化
全否定「∀x∈Ω ￢P(x)」 「￢ (∃x∈Ω P(x) )」の集合表現　
部分否定の集合表現　
述語・命題関数の普遍量化 ∀x (P(x)⇒Q(x))の集合表現　　
述語・命題関数の普遍量化 ∀x (P(x)⇔Q(x))の集合表現

論理記号

論理記号一覧のメンテ完了。

1変数関数

単調関数,有界関数についてのノートの独立化にともない、

1変数関数の属性と諸類型を更新。

一項述語・1変数命題関数の具体例

一項述語・1変数命題関数の具体例。メンテ了。

論理演算で組み合わせた二項述語・2変数命題関数から集合へ

論理演算で組み合わせた二項述語・2変数命題関数から集合へのノートのメンテ。

数列の極限の性質

数列の極限の性質。文献に Lang, Undergraduate Analysis 追加。

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)

二項述語・2変項命題関数の二重量化∀x∈S ∃y∈T P(x,y)の定義・意味・読みを加筆修正アップロード。

一項述語・1変数命題関数

一項述語・1変数命題関数。メンテ了。

論理から集合へ：論理演算で組み合わせた述語・命題関数

下記項目のノート。メンテ完了。
命題関数　　￢P(x)の真理集合　　
命題関数P(x)∧Q(x)の真理集合　
命 題関数P(x)∨Q(x)の真理集合　
命題関数P(x)⇒Q(x)の真理集合
命題関数P(x)⇔Q(x)の真理集合

命題関数　　￢P(x)の集合表現　
命題関数P(x)∧Q(x)の集合表現　
命題関数P(x)∨Q(x)の集合表現

集合関数の例としてのリーマン積分についてのノート

集合関数の例としてのリーマン積分についてのノート。メンテナンス了。

二項述語の存在量化

二項述語の存在量化（変更が動く範囲を明示）を加筆修正してアップロード。

集合関数の例としての「区間塊の面積」についてのノート

集合関数の例としての「区間塊の面積」についてのノート。メンテ了。

集合間の関係を表す命題

集合間の包含関係⊂を表す命題/集合間の一致＝を表す命題/普遍集合との一致を表す命題/空集合との一致を表す命題/互いに素を表す命題。メンテ完了。