ルベーグ積分の証明でよく出てくるアレ

伊藤清三先生の「ルベーグ積分入門」を読んでいると以下のような論法が証明なしに出てくる。初出は定理4.2。ちょっと複雑なことを言っていて、初見だと確実に面食らう。しかもこの定理、今後出てこない。

証明は簡単で、もし、$A>B$ ならば $B<B+ϵ<A$ なる$ϵ$を取ることができる。当然コレは矛盾しているので $A\le B$となる。

注意しなければいけないのは、$ϵ$は$A,B$に無関係に決められる（動かせる）必要がある。$ϵ$に対して$A,B$を定めるとか、その逆はダメである。

Terence Tao先生の「An Introduction to Measure Theory」の第2部にある「Give yourself an epsilon of room」にもテクニックとして紹介されている。「ルベーグ積分入門」を読む前にこの章を一通り読んだほうがいいんじゃないかな？