设 f(x)f(x)f(x) 在 x0x_0x0 的去心邻域 U∘(x0,δ)U^\circ(x_0,\delta)U∘(x0,δ) 有定义:
limx→x0f(x)=A ⟺ ∀ε>0, ∃δ>0, 0<∣x−x0∣<δ⇒∣f(x)−A∣<ε\lim\limits_{x\to x_0}f(x)=A \iff \forall \varepsilon>0,\ \exists \delta>0,\ 0<|x-x_0|<\delta \Rightarrow |f(x)-A|<\varepsilon x→x0limf(x)=A⟺∀ε>0, ∃δ>0, 0<∣x−x0∣<δ⇒∣f(x)−A∣<ε
设 f(x)f(x)f(x) 在 ∣x∣>M|x|>M∣x∣>M 时有定义:
limx→∞f(x)=A ⟺ ∀ε>0, ∃X>0, ∣x∣>X⇒∣f(x)−A∣<ε\lim\limits_{x\to\infty}f(x)=A \iff \forall \varepsilon>0,\ \exists X>0,\ |x|>X \Rightarrow |f(x)-A|<\varepsilon x→∞limf(x)=A⟺∀ε>0, ∃X>0, ∣x∣>X⇒∣f(x)−A∣<ε