实数系和复数系

实数系和复数系

导引

1.1 例 我们现在证明方程
$$p^2=2$$
不能被任何有理数$p$满足，倘若有那样一个$p$，我们可以把它写成$p=\frac{m}{n}$,其中$m$和$n$都是整数，而且可以选得不都是偶数，代入得
$$m^2=2n^2$$
表明$m^2$是偶数，因此$m$是偶数，这表明$n$也是偶数，矛盾

‌‌‌‌　　现在我们把这种情况考察得再稍微严密一些。令$A$是使$p^2<2$的一切正有理数$p$的集，$B$是使$p^2>2$的一切正有理数$p$的集。我们来证明$A$里没有最大数，$B$里没有最小数
‌‌‌‌　　更准确地说，对于$A$中的每个$p$，能在$A$中找到一个有理数$q$，而$p<q$，并且对于$B$中的每个$p$，能在$B$中找到一个有理数$q$，而$q<p$.
‌‌‌‌　　为了做这件事，给每个有理数$p>0$，配置一个数
$$q=p-\frac{p^2-2}{p+2}=\frac{2p+2}{p+2}$$
于是
$$q^2-2=\frac{2\left(p^2-2\right)}{{\left(p+2\right)}^2}$$
‌‌‌‌　　如果$p$在$A$中，$q^2<2,p<q$
‌‌‌‌　　如果$p$在$B$中，$q^2>2,q<p$
1.3 定义 若$A$是任意集，我们用$x\in A$表示$x$是$A$的一个元（或元素）
‌‌‌‌　　如果$x$不是$A$的元，就写成$x\notin A$
‌‌‌‌　　不包含元素的集成为空集，至少包含一个元素的集，叫做非空集
‌‌‌‌　　如果$A$、$B$都是集，并且如果$A$的每个元素是$B$的元素，就说$A$是$B$的子集，记作$A\subset B$或$B\supset A$

1.4 定义 $\mathbb{Q}$表示所有有理数构成的集

有序集

1.5 定义 设$S$是一个集。$S$上的序是一种关系，记作$<$，他又下面的两个性质
(i) 如果$x\in S$，并且$y\in S$,那么
$$x<y,x=y,y<x$$
(ii) 如果$x,y,z\in S$，又如果$x<y$且$y<z$，那么$x<z$
记号$x\le y$指的是$x<y$或$x=y$

1.6 定义 在集$S$里定义了一种序，便是一个有序集

1.7 定义 设$S$是有序集，而$E\subset S$。如果存在$\beta \in S$，而每个$x\in E$，满足$x\le \beta$，我们就说$E$上有界，并称$\beta$为$E$的一个上界
用类似的方法定义下界

1.8 定义 设$S$是有序集，$E\subset S$，且$E$上有界。设存在一个$\alpha \in S$，它具有以下性质：
(i)$\alpha$是$E$的上界
(ii)如果$\gamma <\alpha$，$\gamma$就不是$E$的上界
便把$\alpha$叫做$E$的最小上界或$E$的上确界，记作
$$\alpha =\sup E$$
类似可以定义下有界集$E$的最大下界或下确界，记作
$$\alpha =\inf E$$
1.10 定义 有序集$S$，如果具有性质：
若$E\subset S$，$E$不空，且$E$上有界时，$\sup E$便在$S$里，就说$S$有最小上界性

1.11 定理 设$S$是具有最小上界性的有序集，$B\subset S$，$B$不为空且$B$下有界。令$L$是$B$的所有下界的集，那么
$$\alpha =\sup L$$
在$S$存在，并且$\alpha =\inf B$
特别地说就是$\inf B$在$S$存在

证明：
‌‌‌‌　　因$B$下有界，$L$不空。$L$刚好由这样一些$y\in S$组成，他们对于每个$x\in B$，满足不等式$y\le x$，可见每个$x\in B$是$L$的上界，于是$L$上有界。根据最小上界性，$L$在$S$中有上确界，记作$\alpha$
‌‌‌‌　　如果$\gamma <\alpha$，那么$\gamma$不是$L$的上界，因此$\gamma \notin B$(如果$\gamma \in B$，$\gamma$是$L$的上界，矛盾)。由此$\forall x\in B,\alpha \le x$（如果$x<\alpha$,那么$x\notin B$，矛盾），所以$\alpha \in L$
‌‌‌‌　　如果$\alpha <\beta$，由于$\alpha$是$L$的上界，必然$\beta \notin L$，因此$\beta$不是$B$的下界
‌‌‌‌　　因此$\alpha$是$B$的下界，并且比$\alpha$大的数不是$B$的下界，因此$\alpha =\inf B$

域

1.12 定义 域是一个集$F$，他有两种运算，叫做加法和乘法，这些运算满足所谓“域的公理”(A),(M)和(D)

(A)加法公里
(A1)如果$x\in F,y\in F$，则$x+y\in F$
(A2)加法是可交换的：对于所有$x,y\in F$,
$$x+y=y+x$$
(A3)加法是可结合的：对于所有$x,y,z\in F$,
$$\left(x+y\right)+z=x+\left(y+z\right)$$
(A4)$F$含有元素$0$，对于每个$x\in F$，有
$$0+x=x$$
(A5)对应于每个$x\in F$,有一元素$-x\in F$,合于
$$x+\left(-x\right)=0$$
（封闭、交换、结合、有幺、有逆）
(M)乘法公理
(M1)如果$x\in F,y\in F$，则$xy\in F$
(M2)乘法是可交换的：对于所有$x,y\in F$,
$$xy=yx$$
(M3)乘法是可结合的：对于所有$x,y,z\in F$,
$$\left(xy\right)z=x\left(yz\right)$$
(M4)$F$含有元素$1\ne 0$，对于每个$x\in F$，有
$$1x=x$$
(M5)对应于每个$x\in F$，且$x\ne 0$，存在元素$\frac{1}{x}\in F$,合于
$$x\cdot \frac{1}{x}=1$$
（封闭、交换、结合、有幺、有逆）
(D)分配律
$$x\left(y+z\right)=xy+yz$$
对于所有$x,y,z\in F$

1.14 命题 加法公理包含着以下几个述语：
(a)如果$x+y=x+z$，就有$y=z$
(b)如果$x+y=x$，就有$y=0$
©如果$x+y=0$，就有$y=-x$
(d)$-\left(-x\right)=x$
证明：
(a)消去律
$$y=y+0=\left(-x+x\right)+y=-x+\left(x+y\right)=-x+\left(x+z\right)=\left(-x+x\right)+z=0+z=z$$
(b)$z=0$代入(a)
©$z=-x$代入(a)
(d)$-x+x=0$,代入©

1.15 命题 乘法公理包含着以下几个述语：
(a)如果$x\ne 0$，且$xy=xz$，就有$y=z$
(b)如果$x\ne 0$，且$xy=x$，就有$y=1$
©如果$x\ne 0$，且$xy=1$，就有$y=\frac{1}{x}$
(d)如果$x\ne 0$，就有$\frac{1}{\frac{1}{x}}=x$
证明：
(a)
$$y=1y=\left(\frac{1}{x}x\right)y=\frac{1}{x}\left(xy\right)=\frac{1}{x}\left(xz\right)=\left(\frac{1}{x}x\right)z=1z=z$$
(b)$z=1$代入(a)
©$z=\frac{1}{x}$代入(a)
(d)$\frac{1}{x}x=1$,代入©

1.16 命题 对于任何$x,y,z\in F$，域公理包含着的述语
(a)$0x=0$
(b)如果$x\ne 0$，且$y\ne 0$,那么$xy\ne 0$
©$\left(-x\right)y=-\left(xy\right)=x\left(-y\right)$
(d)$\left(-x\right)\left(-y\right)=xy$
证明：
(a)$0x+0x=\left(0+0\right)x=0x$,因此$0x=0$
(b)若$xy=0$
$$1=\frac{1}{y}\frac{1}{x}xy=\frac{1}{y}\frac{1}{x}0=0$$
矛盾
©
$$\left(-x\right)y+xy=\left(-x+x\right)y=0y=0$$
因此$\left(-x\right)y=-\left(xy\right)$,后半同理
(d)
$$\left(-x\right)\left(-y\right)=-\left[x\left(-y\right)\right]=-\left[-\left(xy\right)\right]=xy$$

1.17 定义 有序域一个域$F$，又是合于下列两条件的有序集
(i)当$x,y,z\in F$且$y<z$时，$x+y<x+z$
(ii)如果$x,y\in F,x>0$且$y>0$,那么$xy>0$
如果$x>0$，就说$x$是正的；如果$x<0$，就说$x$是负的。
例如$\mathbb{Q}$是有序域

1.18 命题 在每个有序域中，下面几条述语都正确
(a)如果$x>0$，那么$-x<0$；反过来也对
(b)如果$x>0$而$y<z$，那么$xy<xz$
©如果$x<0$而$y<z$，那么$xy>xz$
(d)如果$x\ne 0$，那么$x^2>0$。特别有$1>0$
(e)如果$0<x<y$，那么$0<\frac{1}{y}<\frac{1}{x}$
证明：
(a)如果$x>0$,那么$0=-x+x>-x+0=-x$
如果$x<0$，那么$0=-x+x<-x+0=-x$
(b)因为$z>y$，就有$z-y>y-y=0$,因此$x\left(z-y\right)>0$，所以
$$xz=x\left(z-y\right)+xy>0+xy=xy$$
©
$$-\left[x\left(z-y\right)\right]=\left(-x\right)\left(z-y\right)>0$$
因此$x\left(z-y\right)<0$，而得$xz<xy$
(d)
如果$x>0$,则$x^2>0$
如果$x<0$,则$-x>0$。因此${\left(-x\right)}^2>0$
而$x^2={\left(-x\right)}^2$
因为$1=1^2$.因此$1>0$
(e)如果$y>0$，而$v\le 0$，那么$yv\le 0$
$y\frac{1}{y}=1>0$，因此$\frac{1}{y}>0$
类似$\frac{1}{x}>0$
如果$x<y$,两边同乘$\frac{1}{x}\frac{1}{y}$，就得到$\frac{1}{y}<\frac{1}{x}$

实数域

1.19 定理 具有最小上界性得有序域$R$存在
此外，$\mathbb{R}$包容着$\mathbb{Q}$作为子域
‌‌‌‌　　第二句话表示$\mathbb{Q}\subset \mathbb{R}$而把$\mathbb{R}$中的加法与乘法运算用于$\mathbb{Q}$的元时，与有理数的普通运算一致；正有理数是$\mathbb{R}$中的正元素
‌‌‌‌　　$\mathbb{R}$的元叫做实数
1.20 定理
(a)如果$x\in \mathbb{R},y\in \mathbb{R}$且$x>0$，那么，必定存在正整数$n$，使得
$$nx>y$$
(b)如果$x\in \mathbb{R},y\in \mathbb{R}$且$x<y$，那么一定存在$p\in \mathbb{Q}$合于
$$x<p<y$$
(a)被称作阿基米德性;(b)可以用$\mathbb{Q}$在$\mathbb{R}$中稠密的说法来陈述，意思就是说：任何两实数之间总有有理数

证明：
(a)
设$A$是所有$nx$组成的集，这里$n$遍历正整数。如果(a)不成立，那么$y$将是$A$的上界
由最小上界性，$\mathbb{R}$里就有$A$的最小上界，令$\alpha =\sup A$
因为$x>0$,于是$\alpha -x<\alpha$并且$\alpha -x$不是$A$的上界，因此，对于某个正整数$m$，$\alpha -x<mx$
但是这样的话$\alpha <\left(m+1\right)x\in A$，矛盾
(b)当$x>0$时

由$x<y$，得$y-x>0$；于是,存在正整数$n$，使得
$$n\left(y-x\right)>1$$
存在正整数$m_1,m_2$,使得$m_1=m_1\cdot 1>nx,m_2=m_2\cdot 1>-nx$，于是
$$-m_2<nx<m_1$$
因此有正整数$m\left(-m_2\le m\le m_1\right)$使得
$$m-1\le nx<m$$
将这些不等式联系起来得到
$$nx<m\le 1+nx<ny$$
因为$n>0$,从而
$$x<\frac{m}{n}<y$$
当$x\le 0$时，存在$a\in {\mathbb{N}}_{+}$，使得$x+a>0$
因此存在$p\in \mathbb{Q}$，使得$x+a<p<y+a$
进而$x<p-a<y$

1.21 定理 对于每个实数$r>0$和整数$n>0$，有且仅有一个正实数$y$，使得$y^n=x$
$y$写作$\sqrt[n]{x}$或$x^{1/n}$

证明：$0<y_1<y_2$，因此$y_1^n<y_2^n$，因此至多存在一个$y$
令 E = { t ∈ R + + : t n < x } E=\left\{ t\in \mathbb{R}_{++}:t^n<x \right\} E={t∈R++​:tn<x}
‌‌‌‌　　如果$t=\frac{x}{1+x}$,那么$0\le t<1$,因此$t^n\le t<x$.因此$t\in E$，$E$非空
‌‌‌‌　　如果$t>1+x$，那么$t^n>t>1+x$，于是$t\notin E$，$1+x$是$E$得上界
‌‌‌‌　　由最小上界性，存在
$$y=\sup E$$
利用$b^n-a^n=\left(b-a\right)\left(b^{n-1}+b^{n-2}a+\cdots +a^{n-1}\right)$,当$0<a<b$时，有
$$b^n-a^n<\left(b-a\right)n{b}^{n-1}$$
‌‌‌‌　　若$y^n<x$，选择$0<h<1$，并且
$$h<\frac{x-y^n}{n{\left(y+1\right)}^{n-1}}$$
令$a=y,b=y+h$，得到
$${\left(y+h\right)}^n-y^n<hn{\left(y+h\right)}^{n-1}<hn{\left(y+1\right)}^{n-1}<x-y^n$$
因此${\left(y+h\right)}^n<x$,进而$y+h\in E$。但是$y+h>y$，矛盾

如果$y^n>x$，令
$$k=\frac{y^n-x}{n{y}^{n-1}}$$
于是$0<k<y$.如果$t\ge y-k$，有
$$y^n-t^n\le y^n-{\left(y-k\right)}^n<kn{y}^{n-1}=y^n-x$$
因此$t^n>x$，$t\notin E$，因此$y-k$是$E$的上界
但是$y-k<y$，矛盾
‌‌‌‌　　因此$y^n=x$
推论：如果$a,b$是正实数，而$n$是正整数，那么
$${\left(ab\right)}^{\frac{1}{n}}=a^{\frac{1}{n}}{b}^{\frac{1}{n}}$$
证明：令$\alpha =a^{\frac{1}{n}},\beta =b^{\frac{1}{n}}$,于是
$$ab={\alpha }^n{\beta }^n={\left(\alpha \beta \right)}^n$$
于是${\left(ab\right)}^{\frac{1}{n}}=\alpha \beta =a^{\frac{1}{n}}{b}^{\frac{1}{n}}$

1.22 十进小数
设$x>0$是实数，令$n_0$是合于$n_0\le x$的最大整数（注意，$n_0$的存在性，依赖于$\mathbb{R}$的阿基米德性）在取定$n_0,n_1,\cdots ,n_{k-1}$之后，令$n_k$是合于
$$n_0+\frac{n_1}{10}+\cdots +\frac{n_k}{10^k}\le x$$
的最大整数。令$E$是由数
$$n_0+\frac{n_1}{10}+\cdots +\frac{n_k}{10^k}$$
组成的集。于是$x=\sup E$。$x$的十进小数展开式是
$$n_0.n_1{n}_2{n}_3\cdots$$
‌‌‌‌　　反之，对于任何无穷十进小数来说$n_0+\frac{n_1}{10}+\cdots +\frac{n_k}{10^k}$中诸数组成的集上有界，并且$n_0.n_1{n}_2{n}_3\cdots$是$\sup E$的十进小数展开式
‌‌‌‌　　因为我们将永远不用小数，所以不做详细讨论

广义实数系

1.23 定义 广义实数系由实数域$\mathbb{R}$及两个符号$+\infty$与$-\infty$组成。我们保留$\mathbb{R}$中原来的顺序，并对任何$x\in \mathbb{R}$规定
$$-\infty <x<+\infty$$
显然,$+\infty$是广义实数系的每个子集的上界，且每个不空子集由最小上界

复数域

1.24 定义 一复数是个有序的实数对（简称序对）$\left(a,b\right)$。“有序的”的意思是，如果$a\ne b$，那么$\left(a,b\right)$和$\left(b,a\right)$就认为是不同的

1.25 定理 加法与乘法的这两个定义，把所有复数的集变成一个域，其中$\left(0,0\right)$与$\left(1,0\right)$起着域中$0$与$1$的作用
证明：
$x=\left(a,b\right),y=\left(c,d\right),z=\left(e,f\right)$
(A1)显然
(A2)$x+y=\left(a+c,b+d\right)=\left(c+a,d+b\right)=y+x$
(A3)
$$\begin{array}{rl}\left(x+y\right)+z& =\left(a+c,b+d\right)+\left(e,f\right)\\ & =\left(a+c+e,b+d+f\right)\\ & =\left(a,b\right)+\left(c+e,d+f\right)\\ & =x+\left(y+z\right)\end{array}$$
(A4)$x+0=\left(a+0,0+0\right)=\left(a,0\right)=x$
(A5)命$-x=\left(-a,-b\right)$，则$x+\left(-x\right)=\left(0,0)\right)=0$

(M1)显然
(M2)$xy=\left(ac-bd,ad+bc\right)=\left(ca-db,da+cb\right)=yx$
(M3)
$$\begin{array}{rl}\left(xy\right)z& =\left(ac-bd,ad+bc\right)\left(e,f\right)\\ & =\left(ace-bde-adf-bcf,acf-bdf+ade+bce\right)\\ & =\left(a,b\right)\left(ce-df,cf+de\right)\\ & =x\left(yz\right)\end{array}$$
(M4)$1\cdot x=\left(1,0\right)\left(a,b\right)=\left(a,b\right)=x$
(M5)如果$x\ne 0$,即$\left(a,b\right)\ne \left(0,0\right)$,因此$a^2+b^2>0$,定义
$$\frac{1}{x}=\left(\frac{a}{a^2+b^2},-\frac{b}{a^2+b^2}\right)$$
于是
$$x\cdot \frac{1}{x}=\left(a,b\right)\left(\frac{a}{a^2+b^2},-\frac{b}{a^2+b^2}\right)=\left(1,0\right)=1$$

(D)
$$\begin{array}{rl}x\left(y+z\right)& =\left(a,b\right)\left(c+e,d+f\right)\\ & =\left(ac+ae-bd-bf,ad+af+bc+be\right)\\ & =\left(ac-bd,ad+bc\right)+\left(ae-bf,af+be\right)\\ & =xy+xz\end{array}$$

1.26 定理 对于任何实数$a,b$有
$$\left(a,0\right)+\left(b,0\right)=\left(a+b,0\right),\left(a,0\right)\left(b,0\right)=\left(ab,0\right)$$
1.27 定义
$$i=\left(0,1\right)$$
1.28 定理
$$i^2=-1$$
1.29 定理 如果$a,b$都是实数，那么$\left(a,b\right)=a+bi$
证明：
$$\begin{array}{rl}a+bi& =\left(a,0\right)+\left(b,0\right)\left(0,1\right)\\ & =\left(a,0\right)+(0,b)\\ & =\left(a,b\right)\end{array}$$

1.30 定义 如果$a,b$是实数，而$z=a+bi$，就把复数$\bar{z}=a-bi$叫做$z$的共轭数。数$a,b$分别叫做$z$的实部和虚部
有时写作
$$a=\mathrm{Re}\left(z\right),b=\mathrm{Im}\left(z\right)$$
1.31 定理 如果$z$及$w$是复数，那么
(a)$\overline{z+w}=\bar{z}+\bar{w}$
(b)$\overline{zw}=\bar{z}\cdot \bar{w}$
©$z+\bar{z}=2\mathrm{Re}\left(z\right),z-\bar{z}=2i\mathrm{Im}\left(z\right)$
(d)$z\bar{z}$是实数且是正数($z=0$除外)

1.32 定义 如果$z$是一复数，它的绝对值$\left|z\right|$是$z\bar{z}$的非负平方根；即$\left|z\right|={\left(z\bar{z}\right)}^{\frac{1}{2}}$

1.33 定理 设$z$和$w$是复数，那么
(a) $\left|z\right|>0$除非$z=0$,$\left|0\right|=0$
(b)$\left|\bar{z}\right|=\left|z\right|$
©$\left|zw\right|=\left|z\right|\left|w\right|$
(d)$\left|\mathrm{Re}\left(z\right)\right|\le \left|z\right|$
(e)$\left|z+w\right|\le \left|z\right|+\left|w\right|$
证明：
(a),(b)显然
设$z=a+bi,w=c+di$,其中$a,b,c,d$均为实数
©
$$\begin{array}{rl}{\left|zw\right|}^2& ={\left(ac-bd\right)}^2{\left(ad+bc\right)}^2\\ & =\left(a^2+b^2\right)\left(c^2+d^2\right)\\ & ={\left|z\right|}^2{\left|w\right|}^2\\ & ={\left(\left|z\right|\left|w\right|\right)}^2\end{array}$$
进而得证
(d)
$$\left|\mathrm{Re}\left(z\right)\right|=\left|a\right|=\sqrt{a^2}\le \sqrt{a^2+b^2}$$
(e)注意$\bar{z}w$是$z\bar{w}$的共轭数
$$\begin{array}{rl}{\left|z+w\right|}^2& =\left(z+w\right)\left(\bar{z}+\bar{w}\right)\\ & =z\bar{z}+z\bar{w}+\bar{z}w+w\bar{w}\\ & ={\left|z\right|}^2+2\mathrm{Re}\left(z\bar{w}\right)+{\left|w\right|}^2\\ & \le {\left|z\right|}^2+2\left|z\bar{w}\right|+{\left|w\right|}^2\\ & \le {\left|z\right|}^2+2\left|z\right|\left|w\right|+{\left|w\right|}^2\\ & ={\left(\left|z\right|+\left|w\right|\right)}^2\end{array}$$
两边开平方得证

1.34 记号 如果$x_1,\cdots ,x_n$都是复数，把他们的和写成
$$x_1+x_2+\cdots +x_n=\sum _{j=1}^n{x}_j$$

1.35 定理 如果$a_1,a_2,\cdots ,a_n$及$b_1,b_2,\cdots ,b_n$都是复数，那么
$${\left|\sum _{j=1}^n{a}_j{\bar{b}}_j\right|}^2\le \sum _{j=1}^n{\left|a_j\right|}^2\sum _{j=1}^n\left|b_j^2\right|$$
证明：设$A={\sum }_{j=1}^n{\left|a_j\right|}^2,B={\sum }_{j=1}^n\left|b_j^2\right|,C={\sum }_{j=1}^n{a}_j{\bar{b}}_j$
如果$B=0$,显然成立
如果$B>0$
$$\begin{array}{rl}\sum _{j=1}^n{\left|B{a}_j-C{b}_j\right|}^2& =\sum _{j=1}^n\left(B{a}_j-C{b}_j\right)\left(B{\bar{a}}_j-\overline{C{b}_j}\right)\\ & =B^2\sum _{j=1}^n{\left|a_j\right|}^2-B\bar{C}\sum _{j=1}^n{a}_j{\bar{b}}_j-BC\sum _{j=1}^n{\bar{a}}_j{b}_j+{\left|C\right|}^2\sum _{j=1}^n{\left|b_j\right|}^2\\ & =B^{2}A-B{\left|C\right|}^2\\ & =B\left(BA-{\left|C\right|}^2\right)\\ & \ge 0\end{array}$$
由$B>0$，结论成立

欧氏空间

1.36 定义 对于每个正整数$k$，设${\mathbb{R}}^k$是一切$k$元有序组
$$\mathbf{x}=\left(x_1,x_2,\cdots ,x_k\right)$$
的集，其中$x_1,x_2,\cdots ,x_k$都是实数，成为$\mathbf{x}$的坐标。${\mathbb{R}}^k$中的元素成为点或向量。
如果$\mathbf{y}\in {\mathbb{R}}^k$，则
$$\mathbf{x}+\mathbf{y}=\left(x_1+y_1,x_2+y_2,\cdots ,x_k+y_k\right)$$
$$\alpha \mathbf{x}=\left(\alpha x_1,\alpha x_2,\cdots ,\alpha x_k\right)$$
于是$\mathbf{x}+\mathbf{y},\alpha \mathbf{x}\in {\mathbb{R}}^k$
显然这两种运算满足交换律、结合律、分配律，而使得${\mathbb{R}}^k$成为实数域上的向量空间。${\mathbb{R}}^k$的零元(原点，零向量)是一切坐标都是$0$的点$0$

定义$\mathbf{x}$与$\mathbf{y}$的内积（标量积）为
$$\mathbf{x}\cdot \mathbf{y}=\sum _{i=1}^k{x}_i{y}_i$$
又定义$\mathbf{x}$的范数为
$$\left|\mathbf{x}\right|={\left(\mathbf{x}\cdot \mathbf{x}\right)}^{\frac{1}{2}}={\left(\sum _{i=1}^k{x}_i^2\right)}^{\frac{1}{2}}$$
现在所规定的结构（具有上述的内积和番薯的向量空间${\mathbb{R}}^k$）称为$k$维欧氏空间

1.37 定理 设$\mathbf{x},\mathbf{y},\mathbf{z}\in {\mathbb{R}}^k$,而$a$是实数，那么
(a)$\left|\mathbf{x}\right|\ge 0$
(b)$\left|\mathbf{x}\right|=0$当且仅当$\mathbf{x}=0$
©$\left|\alpha \mathbf{x}\right|=\left|\alpha \right|\left|\mathbf{x}\right|$
(d)$\left|\mathbf{x}\cdot \mathbf{y}\right|\le \left|\mathbf{x}\right|\left|\mathbf{y}\right|$
(e)$\left|\mathbf{x}+\mathbf{y}\right|\le \left|\mathbf{x}\right|+\left|\mathbf{y}\right|$
(f)$\left|\mathbf{x}-\mathbf{z}\right|\le \left|\mathbf{x}-\mathbf{y}\right|+\left|\mathbf{y}-\mathbf{z}\right|$
证明：
(a),(b),©显然成立，(d)由柯西-施瓦兹不等式成立
(e)
$$\begin{array}{rl}{\left|\mathbf{x}+\mathbf{y}\right|}^2& =\left(\mathbf{x}+\mathbf{y}\right)\cdot \left(\mathbf{x}+\mathbf{y}\right)\\ & ={\left|\mathbf{x}\right|}^2+2\mathbf{x}\cdot \mathbf{y}+{\left|\mathbf{y}\right|}^2\\ & \le {\left|\mathbf{x}\right|}^2+2\left|\mathbf{x}\right|\left|\mathbf{y}\right|+{\left|\mathbf{y}\right|}^2\\ & ={\left(\left|\mathbf{x}\right|+\left|\mathbf{y}\right|\right)}^2\end{array}$$
两边开平方得证
(f)$\mathbf{x}=\mathbf{x}-\mathbf{z},\mathbf{y}=\mathbf{y}-\mathbf{z}$代入(e)

[1] W. Rudin, Principles of mathematical analysis. 1953.