calculus

극한

극한은 입력이 어떤 목표에 임의로 가까워질 때 함수가 다가가는 값을 나타낸다(반드시 그 값에 도달하지는 않는다). 극한은 도함수와 적분 모두의 토대이다.

비공식적으로 limxaf(x)=L\lim_{x \to a} f(x) = L 은 다음을 뜻한다. xx 가 (어느 쪽에서든) aa 에 임의로 가까워질 때 f(x)f(x)LL 에 임의로 가까워진다. 함수가 aa 에서 정의될 필요는 없으며, 정의되어 있더라도 함숫값 f(a)f(a)LL 과 같을 필요는 없다.

형식적인 ε\varepsilon-δ\delta 정의는 다음을 요구한다. 모든 ε>0\varepsilon > 0 에 대해 어떤 δ>0\delta > 0 가 존재하여 xa<δ|x - a| < \delta 이면 f(x)L<ε|f(x) - L| < \varepsilon 이다.

극한은 "다가가지만 같지는 않음"이라는 개념을 엄밀하게 만든다 — 이는 도함수(h0h \to 0)와 적분(망 너비 0\to 0 인 리만 합)의 배후 원동력이다. 많은 물리·경제 모델은 암묵적으로 극한 추론에 의존한다.