「量化」の版間の差分
削除された内容 追加された内容
Luckas-bot (会話 | 投稿記録) m r2.7.1) (ロボットによる 追加: ms:Pengkuantitian |
|||
47行目:
* A: '''R''' 上の ''f'' の各点連続
::<math> \underbrace{\forall x \in \mathbb{R}, \ \forall \
波括弧上の全称量化子を入れ替えても、同じである。
* A': '''R''' 上の ''f'' の各点連続:
::<math> \forall \epsilon >0, \ \underbrace{\forall x \in \mathbb{R}, \exists \delta > 0}, \ \forall h \in \mathbb{R}, \quad |h| < \delta \implies |f(x) - f(x+h)| < \
これは、A' で波括弧上にある存在量化子と全称量化子を入れ替えた次のものとは異なる。
* B: '''R''' 上の ''f'' の一様連続:
::<math> \forall \epsilon >0, \underbrace{\exists \delta > 0, \forall x \in \mathbb{R}}, \forall h \in \mathbb{R}, \quad |h| < \delta\implies |f(x) - f(x+h)| < \
== 量化の範囲 ==
| |||