请求解释Rudin中坐标函数在R^k上的连续性示例

嘿，我来帮你把这个问题拆解得明明白白！首先咱们再明确一下坐标函数的定义：对于$k$维欧几里得空间$\mathbb{R}^k$里的任意一点$\mathbf{x}=(x_1, x_2, ..., x_k)$，第$i$个坐标函数$\pi_i$的作用就是把这个点映射成它的第$i$个分量，也就是$\pi_i(\mathbf{x}) = x_i$——你已经理解这部分了，很好。

接下来核心问题：为什么这个函数在$\mathbb{R}^k$上处处连续？咱们用连续性的ε-δ定义来推导，这是最严谨的方式：

一个函数$f: \mathbb{R}^k \to \mathbb{R}$在点$\mathbf{x}0=(x{01}, x_{02}, ..., x_{0k})$处连续，当且仅当：对于任意给定的$\varepsilon > 0$，总能找到一个$\delta > 0$，使得只要$\mathbf{x}$满足$|\mathbf{x} - \mathbf{x}0| < \delta$（这里$|\cdot|$是$\mathbb{R}^k$中的欧几里得范数，也就是两点间的距离：$|\mathbf{x} - \mathbf{x}0| = \sqrt{(x_1-x{01})^2 + (x_2-x{02})^2 + ... + (x_k-x_{0k})^2}$），就有$|f(\mathbf{x}) - f(\mathbf{x}_0)| < \varepsilon$。

那咱们把坐标函数$\pi_i$代入这个定义里看看：

• $|\pi_i(\mathbf{x}) - \pi_i(\mathbf{x}0)| = |x_i - x{0i}|$，这就是两个点第$i$个分量的差的绝对值。
• 这里有个关键的不等式：对于任意的$\mathbf{x}, \mathbf{x}0 \in \mathbb{R}^k$，$|x_i - x{0i}| \leq |\mathbf{x} - \mathbf{x}_0|$。为什么？因为平方根里的每一项都是非负的，单独拿出来一项的平方根肯定小于等于整个平方根的结果——比如二维空间里，$|x - x_0| \leq \sqrt{(x-x_0)^2 + (y-y_0)^2}$，直观上就是说点$(x,y)$到$(x_0,y_0)$的水平距离不会超过两点间的直线距离。

现在，给定任意$\varepsilon > 0$，我们直接取$\delta = \varepsilon$就行：
当$|\mathbf{x} - \mathbf{x}0| < \delta = \varepsilon$时，根据上面的不等式，$|x_i - x{0i}| \leq |\mathbf{x} - \mathbf{x}_0| < \varepsilon$，完美满足连续性的定义！

而且这个推导对$\mathbb{R}^{k$里的**任意点$\mathbf{x}_0$**都成立，所以坐标函数$\pi_i$在整个$\mathbb{R}}k$上都是连续的。

举个二维的直观例子：$\pi_1$就是把平面上的点$(x,y)$映射到$x$坐标。如果你要求$x$和$x_0$的差小于0.5（也就是$\varepsilon=0.5$），那只要让点$(x,y)$落在以$(x_0,y_0)$为中心、半径0.5的圆里，这个点的$x$坐标肯定和$x_0$的差小于0.5——圆里的点不可能在水平方向上离$x_0$超过0.5，不然它到$(x_0,y_0)$的直线距离就会超过0.5了。

内容的提问来源于stack exchange，提问作者Abdu Magdy