应用泛函分析—线性赋范空间

距离有三个性质：非负性、三角不等式、对称性
范数有三个性质：非负性、三角不等式、齐次性
范数为空间中元素到起点的距离

线性空间赋予范数，便是线性赋范空间，而范数是一种距离，因此线性赋范空间必然是距离空间。

线性赋范空间的实例：
$l_n^2$的范数： ∣ ∣ x ∣ ∣ 2 = { ∑ i = 1 n ∣ ξ i ∣ 2 } 1 / 2 ||x||_2 = \{\sum_{i=1}^n |\xi_i|^2 \}^{1/2} ∣∣x∣∣2​={∑i=1n​∣ξi​∣2}1/2（欧式范数）
$l_n^p$的范数： ∣ ∣ x ∣ ∣ p = { ∑ i = 1 n ∣ ξ i ∣ p } 1 / p ||x||_p = \{\sum_{i=1}^n |\xi_i|^p \}^{1/p} ∣∣x∣∣p​={∑i=1n​∣ξi​∣p}1/p
$l_n^{\infty }$的范数：$||x|{|}_{\infty }={\max }_{1\le i\le n}|{\xi }_i|$
满足${\sum }_{i=1}^{\infty }|{\xi }_i{|}^p<\infty$的无穷数列全体构成的赋范线性空间$l_{\infty }^p$的范数： ∣ ∣ x ∣ ∣ = { ∑ i = 1 ∞ ∣ ξ i ∣ p } 1 / p ||x|| = \{\sum_{i=1}^\infty |\xi_i|^p \}^{1/p} ∣∣x∣∣={∑i=1∞​∣ξi​∣p}1/p
有界无穷数列全体构成的赋范线性空间$l_{\infty }^{\infty }$的范数：$||x||=su{p}_i|{\xi }_i|$
$C[a,b]$的范数：$||x(t)||={\max }_{a\le t\le b}|x(t)|$
${\tilde{L}}^p[a,b]$的范数： ∣ ∣ x ( t ) ∣ ∣ p = { ∫ a b ∣ x ( t ) ∣ p d t } 1 / p ||x(t)||_p = \{\int_a^b|x(t)|^p dt\}^{1/p} ∣∣x(t)∣∣p​={∫ab​∣x(t)∣pdt}1/p
$C^k[a,b]$的范数：$||x(t)||={\sum }_{i=0}^k{\max }_{a\le t\le b}|x^{(i)}(t)|$
$C^k(G)$的范数：$||x(t)||={\sum }_{i=0}^k{\max }_{a\le t\le b}|D^{\alpha }u(t)|$
$L^{\infty }[a,b]$的范数：$||x||=su{p}_{a\le t\le b}|x(t)|$
有界变差函数空间$V[a,b]$的范数：$||x||=|x(a)|+V_a^b(x)$
$V_0[a,b]$的范数：$||x||=V_a^b(x)$

线性赋范空间的乘积还是线性赋范空间

如果$\alpha ||x|{|}_{(1)}\le ||x|{|}_{(2)}\le \beta ||x|{|}_{(1)},\alpha >0,\beta >0$，则线性空间的两种范数等价

等价范数具有自反性、对称性、传递性

在任一有限维线性赋范空间中，任何范数都等价

两个线性空间等价—同构
两个线性赋范空间等价—等距同构

两个同构的线性空间$X,\tilde{X}$
$x\in X,\tilde{x}\in \tilde{X},\tilde{x}=\varphi (x)$
如果满足等距（保范）：$||\varphi (x)|{|}_{\tilde{X}}=||x|{|}_X$
则称两个线性空间等距同构

[1] 【数学知识】范数与距离 - 烁辰的文章 - 知乎
https://zhuanlan.zhihu.com/p/363707147
[2] 什么是范数？ - 糊涂的小蚂蚁的文章 - 知乎
https://zhuanlan.zhihu.com/p/67120415

http://sparkandshine.net/algebraic-structure-primer-group-ring-field-vector-space/
http://sparkandshine.net/mit-mathematical-formalism/#5

---

CSDN不给力，之前说好给个小奖品，我还很期待，没想到疫情没邮过来，就不管了。
我加了微信问，只是告我东西在CSDN，我问还邮吗？不理我。
我问网页客服，客服说尽快给消息。
还是我又连问两次，微信才终于回复了（微信号CSDNblog，这是客服吗？）态度明显听起来就不对，现在给我邮上了。
小小的奖品，其实我也不稀罕，就受不了这种态度，想想就气，甚至都想把博客都搬出去。
下午想了想，其实不算啥。