在讨论多元函数“极限”、“连续”之前,先把多元函数定义了……
何为多元?
“一元函数”:
“多元函数”:
仍然是从一个元素到一个元素的映射(不接受反驳)。这个元素不再是一个数字,我们称它为“向量”。
“多元空间” 下的 “数”
线性空间
定义
则我们定义这样的有序数组
定义两个向量之间的加法为
定义数乘为
于是我们有
内积与欧氏空间
(欧氏空间,“欧”指欧拉欧几里得。Euclid)
定义两个向量的内积为
则 线性空间 + 内积 = 欧氏空间
内积有若干性质
- (正定性)
- (对称性)
- (线性)
然而内积还有一个性质……
(Cauchy Schwarz不等式)
范数
这里,我们定义
它表达了一个向量的大小(,是后面讨论多元函数性质的一个常用概念)。对于范数,显然有:
- (正定性)
- (数乘性)
- (三角不等式)
参照线性代数,我们可以继续定义两向量的夹角和距离……
新 集 合
区间 -> 球
在
定义以
顺便,定义以
集合的有界性
令
或者,令
或者,令
(三条等价)
(人话:这一堆点在同一个开球里面)
集合的有界性
(不是有界就是无界)
点列
定义
点列是从数列搬过来的概念。(略)
同样,我们可以照搬点列收敛:
这个收敛叫按范数收敛,其等价于按分量收敛,也就是一个向量的各分量收敛。