微分積分学（初等の解析学）やるときに大事っぽい式

ポストモダン解析学を読んでいたら、イプシロンデルタ論法の性質で単独でまとめられてもいんじゃねって思ったのがいくつかできたので書きます。多分、微分積分の教科書の行間埋めに役立つんじゃないかと。「かつ」は楔（くさび）の記号 $\wedge$ で表わしてます。あと、PとかQとかは、括弧のなかの文字の関係について述べる*1命題をさします。

2つのイプシロンデルタの式を結びつける

$\left(\left(\exists N; \forall n \ge N; P(n)\right) \wedge \left(\exists M; \forall m \ge M; Q(m)\right)\right) \Rightarrow \exists L; \forall l \ge L ; \left(P(l) \wedge Q(l)\right)$
lをnとmとのうち、大きいほうをとれば満たされる。2つ以上のイプシロンデルタの命題を結びつけてひとつにしたいときに使う。たとえば、実数列 $\{a_n\}$ が $\lim_{n\rightarrow \infty} a_n = a$ と収束するとき、
$\lim_{n\rightarrow \infty} \frac{a_1 + a_2 + \cdots + a_n}{n}=a$ を示せ、みたいなときにつかえるはず。

「小さい」のイメージ

fは常に0以上として、 $P(\epsilon) \Leftrightarrow \exists N; \forall n\ge N; f(n) \le \epsilon$ とすると、 $0\le a\le b \wedge P(a) \Rightarrow P(b)$ がなりたつ。

よく教科書とかにしれっと書いてある、「εは十分小さいので、 $\epsilon < 1$ としてよい」みたいなやつの根拠になる。そこで示せたなら、このことによりそれより大きいところは自動的に証明されたことになる。

イプシロンを加工してよい

$\left(\forall \epsilon; P\left(\epsilon\right)\right) \Rightarrow \left(\forall \epsilon; P\left(f(\epsilon)\right)\right)$
例えばなりゆきで $2\epsilon$ とかで最後の評価をしてしまったときとかに使える。さっきのと組合せて。

訂正

$\left(\lim_{n\rightarrow\infty}b_n=0 \wedge \exists N; \forall n\ge N |a_n-a| \le b_n\right)\Rightarrow \forall \epsilon \exists N \forall n\ge N |a_n-a|\le \epsilon$
特に、
$\left(k\ge 0 \wedge \forall \epsilon \exists N; \forall n\ge N |a_n-a| \le k\epsilon\right)\Rightarrow \forall \epsilon \exists N \forall n\ge N |a_n-a|\le \epsilon$

要するにいくらでも縮むもので差を抑えられれば、εで直接に抑えなくてもいいという話。なりゆきで $2\epsilon$ で抑えちゃったときとかの合法化に使える。あと、εで抑えるところでは $<$ か $\le$ かを気にしなくてよい、ということも保証する。

全称と存在の交換

$\left(\exists a; \forall b; P(a,b)\right) \Rightarrow \forall b; \exists a; P(a,b)$
一様連続性から普通の連続性まで情報を落して使うときに。

*1:使わない文字があってもよいが、他の変数には依存しない