跳到主要内容

1 Limits and Continuity of Multivariate Functions

1.1 Examples of Multivariate Functions

Multivariate Function

An mm-variable function is a mapping f:DRf : D \to \mathbb{R}, where DD is Rm\mathbb{R}^m or a subset of it, and the function value yy and independent variables x1,x2,,xmx_1, x_2, \dots, x_m satisfy y=f(x1,x2,,xm)y = f(x_1, x_2, \dots, x_m).

Multivariate Mapping

The values of multiple variables y1,,yny_1, \dots, y_n are determined by a set of independent variables x1,,xmx_1, \dots, x_m:

(y1yn)=(f1(x1,,xm)fn(x1,,xm)),i.e.,{y1=f1(x1,,xm),yn=fn(x1,,xm).\begin{equation*} \begin{pmatrix} y_1 \\ \vdots \\ y_n \end{pmatrix} = \begin{pmatrix} f_1(x_1, \dots, x_m) \\ \vdots \\ f_n(x_1, \dots, x_m) \end{pmatrix}, \quad \text{i.e.,} \quad \begin{cases} y_1 = f_1(x_1, \dots, x_m), \\ \vdots \\ y_n = f_n(x_1, \dots, x_m). \end{cases} \end{equation*}

1.2 Distance and Limits of Sequences in Rm\mathbb{R}^m

Definition 1.2.1. A bivariate function d:Rm×RmRd : \mathbb{R}^m \times \mathbb{R}^m \to \mathbb{R} is called a distance (or metric) on Rm\mathbb{R}^m if it satisfies:

  1. For any x,yRm\mathbf{x}, \mathbf{y} \in \mathbb{R}^m, d(x,y)=d(y,x)0d(\mathbf{x}, \mathbf{y}) = d(\mathbf{y}, \mathbf{x}) \ge 0;
  2. For any x,yRm\mathbf{x}, \mathbf{y} \in \mathbb{R}^m, d(x,y)=0d(\mathbf{x}, \mathbf{y}) = 0 if and only if x=y\mathbf{x} = \mathbf{y};
  3. For any x,y,zRm\mathbf{x}, \mathbf{y}, \mathbf{z} \in \mathbb{R}^m, d(x,z)d(x,y)+d(y,z)d(\mathbf{x}, \mathbf{z}) \le d(\mathbf{x}, \mathbf{y}) + d(\mathbf{y}, \mathbf{z}).

For r>0r > 0, denote B(x,r):={yRmd(x,y)<r},B(\mathbf{x}, r) := \{\mathbf{y} \in \mathbb{R}^m \mid d(\mathbf{x}, \mathbf{y}) < r\}, which is called the open ball centered at x\mathbf{x} with radius rr.

A distance dd on Rm\mathbb{R}^m is said to be translation-invariant if for any x,y,zRm\mathbf{x}, \mathbf{y}, \mathbf{z} \in \mathbb{R}^m, d(x+z,y+z)=d(x,y).d(\mathbf{x} + \mathbf{z}, \mathbf{y} + \mathbf{z}) = d(\mathbf{x}, \mathbf{y}).