Limit

Table of Contents

1. Essential Concepts

Open ball

The set of points \(B(\mathbf{a},r)\) such that their distance to the given point \(\mathbf{a}\) is strictly less than the given distance \(r\), i.e.,

\[B(\mathbf{a}, r)=\{ \mathbf{x}\in\mathbb{R}^n: \| \mathbf{x}-\mathbf{a} \| \lt r \}\]

Closed Ball

The set of points \(\bar{B}(\mathbf{a}, r)\) such that their distance to the given point \(\mathbf{a}\) is equal to or less than the given distance \(r\), i.e.,

\[\bar{B}(\mathbf{a}, r)=\{ \mathbf{x}\in\mathbb{R}^n: \| \mathbf{x}-\mathbf{a} \| \le r \}\]

Boundary Points
Suppose set \(X\) is a subset of \(\mathbb{R}^n\), and some point \(\mathbf{a}\in X\). If any open ball centered at \(\mathbf{a}\) simultaneously contains points that belongs to \(X\) and points that do not belong to \(X\), then \(\mathbf{a}\) is called a boundary point of \(X\).
Interior Points
Suppose \(X\) is a subset of \(\mathbb{R}^n\) and some point \(\mathbf{a}\in X\). If there exists some \(r\gt 0\) such that \(B(\mathbf{a}, r)\subset X\), then \(\mathbf{a}\) is called an interior point of \(X\).
Open Set
Suppose \(X\subset\mathbb{R}^n\), if any \(x\in X\) is an interior point of \(X\), then \(X\) is an open set.
Closed Set
Suppose \(X\subset\mathbb{R}^n\), if its complement \(\complement_U X\) is an open set, then \(X\) is a closed set.
Limit Points
Suppose \(X\subset\mathbb{R}^n\), if some point \(\mathbf{a}\in\mathbb{R}^n\) satisfies that for all \(\delta\gt 0\), there always exists some point \(\mathbf{x}\in X\cap B(\mathbf{a}, \delta)\) and \(\mathbf{x}\ne\mathbf{a}\), then \(\mathbf{a}\) is a limit point of \(X\), or an accumulation of \(X\).
Isolated Points
If \(\mathbf{x}\in X\) is not a limit point, then it’s an isolated point.

2. Definition of Limit

For vector-valued functions, suppose function \(\mathbf{f}:X\mapsto\mathbb{R}^m\) where \(X\subset\mathbb{R}^n\) and \(\mathbf{a}\) is a limit point of \(X\). We say \(\mathbf{L}\) to be the limit of \(\mathbf{f}\) at \(\mathbf{a}\), if and only if for any \(\epsilon \gt 0\), there exists some \(\delta \gt 0\) such that when \(\mathbf{x}\in X\) and \(0\lt \| \mathbf{x}-\mathbf{a} \| \lt \delta\), we have \(\| \mathbf{f}(\mathbf{a}) - \mathbf{L} \| \lt \epsilon\). We denote

\[\lim_{\mathbf{x}\to \mathbf{a}} \mathbf{f}(\mathbf{x})=\mathbf{L}\]

Proposition. Let \( \mathbf{f}:X\mapsto\mathbb{R}^{m} \) be a function where \( X\subset\mathbb{R}^{n} \). Let \( \mathbf{a} \) be a limit point of \( X \). If the limit of \( \mathbf{f} \) at \( \mathbf{a} \) exists, then this limit is uniquely determined.

Date: 2026-06-01 Mon 00:00