区間縮小法（読み）くかんしゅくしょうほう（英語表記）method of diminishing interval

ブリタニカ国際大百科事典 小項目事典

区間縮小法
くかんしゅくしょうほう
method of diminishing interval

閉区間の縮小列 I₀⊃I₁⊃… があり，I_n の幅 d(I_n) が0に近づくなら，すべての区間に共通な点 p が得られる。この原理を利用して，何かの性質をもった点 p の存在を証明する方法をいう。微分積分学の基礎となる連続関数に関する定理を証明したりするのによく用いられる。2次元なら，長方形について同じようなことができる。これは，原理的には，実数の完備性を利用していることであって，完備空間については類似の論法が使える。

出典　ブリタニカ国際大百科事典 小項目事典