高等代数理论基础61：欧几里得空间

欧几里得空间

定义：设V是实数域R上一线性空间,在V上定义一个二元实函数,称为内积,记作 $(\alpha,\beta)$ ,具有以下性质：

1. $(\alpha,\beta)=(\beta,\alpha)$

2. $(k\alpha,\beta)=k(\alpha,\beta)$

3. $(\alpha+\beta,\gamma)=(\alpha,\gamma)+(\beta,\gamma)$

4. $(\alpha,\alpha)\ge 0\Leftrightarrow \alpha=0时(\alpha,\alpha)=0$

其中 $\alpha,\beta,\gamma$ 是V中任意向量,k为任意实数,这样的线性空间V称为欧几里得空间

注：

1.欧几里得空间可以是有限维的,也可以是无限维的

2.几何空间中向量的全体构成一个欧几里得空间

例：

1.线性空间 $R^n$ 中,对向量 $\alpha=(a_1,a_2,\cdots,a_n),\beta=(b_1,b_2,\cdots,b_n)$ ,定义内积 $(\alpha,\beta)=a_1b_1+a_2b_2+\cdots+a_nb_n$

$R^n$ 构成一个欧几里得空间

2.在闭区间 $[a,b]$ 上的所有实连续函数所成的空间 $C(a,b)$ 中,对函数 $f(x),g(x)$ 定义内积 $(f,g)=\int_a^bf(x)g(x)dx$

$C(a,b)$ 构成欧几里得空间

性质

1.内积是对称的

2. $(\alpha,k\beta)=(k\beta,\alpha)=k(\beta,\alpha)=k(\alpha,\beta)$

3. $(\alpha,\beta+\gamma)=(\beta+\gamma,\alpha)=(\beta,\alpha)+(\gamma,\alpha)$

$=(\alpha,\beta)+(\alpha,\gamma)$

向量长度

定义：非负实数 $\sqrt{(\alpha,\alpha)}$ 称为向量 $\alpha$ 的长度,记作 $|\alpha|$

性质： $|k\alpha|=|k||\alpha|$ ,其中 $k\in R,\alpha\in V$

$|k\alpha|=\sqrt{(k\alpha,k\alpha)}=\sqrt{k^2(\alpha,\alpha)}=|k||\alpha|$

单位向量

长度为1的向量称为单位向量

若 $\alpha\neq 0$ ,用向量 $\alpha$ 的长度除向量 $\alpha$ ,得 ${1\over |\alpha|}\alpha$ ,为一个与 $\alpha$ 成比例的单位向量,称为把 $\alpha$ 单位化

向量夹角

柯西-布涅柯夫斯基不等式

$\forall \alpha,\beta$ , $|(\alpha,\beta)\le |\alpha||\beta|$

证明：

$当\beta=0时,显然成立$

$\beta\neq 0时,令t\in R$

$作向量\gamma=\alpha+t\beta$

$\forall t\in R,(\gamma,\gamma)=(\alpha+t\beta,\alpha+t\beta)\ge 0$

$即(\alpha,\alpha)+2(\alpha,\beta)t+(\beta,\beta)t^2\ge 0$

$取t=-{(\alpha,\beta)\over (\beta,\beta)}$

$则(\alpha,\alpha)-{(\alpha,\beta)^2\over (\beta,\beta)}\ge 0$

$即(\alpha,\beta)^2\le (\alpha,\alpha)(\beta,\beta)$

$|(\alpha,\beta)\le |\alpha||\beta|$

$当\alpha,\beta线性相关时,等号显然成立$

$反之,若等号成立$

$显然\beta=0或\alpha-{(\alpha,\beta)\over(\beta,\beta)}\beta=0$

$即\alpha,\beta线性相关\qquad\mathcal{Q.E.D}$

例：

1.对 $R^n$

$|a_1b_1+a_2b_2+\cdots+a_nb_n|\le \sqrt{a_1^2+a_2^2+\cdots+a_n^2}\sqrt{b_1^2+b_2^2+\cdots+b_n^2}$

2.对 $C(a,b)$

$|\int_a^bf(x)g(x)dx|\le (\int_a^bf^2(x)dx)^{1\over 2}(\int_a^bg^2(x)dx)^{1\over 2}$

三角形不等式

$|\alpha+\beta|\le |\alpha|+|\beta|$

$|\alpha+\beta|^2=(\alpha+\beta,\alpha+\beta)$

$=(\alpha,\alpha)+2(\alpha,\beta)+(\beta,\beta)$

$\le |\alpha|^2+2|\alpha||\beta|+|\beta|^2$

$=(|\alpha|+|\beta|)^2$

故 $|\alpha+\beta|\le |\alpha|+|\beta|$

向量夹角

定义：非零向量 $\alpha,\beta$ 的夹角 $<\alpha,\beta>=arccos{(\alpha,\beta)\over|\alpha||\beta|}$ , $0\le <\alpha,\beta>\le \pi$

正交

定义：若向量 $\alpha,\beta$ 的内积为零,即 $(\alpha,\beta)=0$ ,则称 $\alpha,\beta$ 正交,或互相垂直,记作 $\alpha\perp\beta$

注：

1.两个非零向量正交的充要条件为它们的夹角为 ${\pi\over 2}$

2.只有零向量才与自己正交

勾股定理

当 $\alpha,\beta$ 正交时, $|\alpha+\beta|^2=|\alpha|^2+|\beta|^2$

$|\alpha+\beta|^2=(\alpha+\beta,\alpha+\beta)=(\alpha,\alpha)+(\beta,\beta)=|\alpha|^2+|\beta|^2$

推广：

度量矩阵

设 $V$ 是一个n维欧几里得空间,在V中取一组基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ , $\forall \alpha,\beta\in V$

$\alpha=x_1\varepsilon_1+x_2\varepsilon_2+\cdots+x_n\varepsilon_n$

$\beta=y_1\varepsilon_1+x_2\varepsilon_2+\cdots+y_n\varepsilon_n$

$(\alpha,\beta)=(x_1\varepsilon_1+x_2\varepsilon_2+\cdots+x_n\varepsilon_n,y_1\varepsilon_1+y_2\varepsilon_2+\cdots+y_n\varepsilon_n)$

$=\sum\limits_{i=1}^n\sum\limits_{j=1}^n(\varepsilon_i,\varepsilon_j)x_iy_j$

令 $a_{ij}=(\varepsilon_i,\varepsilon_j)(i,j=1,2,\cdots,n)$

显然, $a_{ij}=a_{ji}$

故 $(\alpha,\beta)=\sum\limits_{i=1}^n\sum\limits_{j=1}^na_{ij}x_iy_j$

且 $(\alpha,\beta)=X'AY$

其中 $X=\begin{pmatrix}x_1\\x_2\\\vdots\\x_n\end{pmatrix}$ , $Y=\begin{pmatrix}y_1\\y_2\\\vdots\\y_n\end{pmatrix}$ 分别为 $\alpha,\beta$ 的坐标

矩阵 $A=(a_{ij})_{nn}$ 称为基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 的度量矩阵

注：

1.度量矩阵完全确定内积

2.不同基的度量矩阵是合同的

设 $\eta_1,\eta_2,\cdots,\eta_n$ 是空间V的另外一组基,由 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 到 $\eta_1,\eta_2,\cdots,\eta_n$ 的过渡矩阵为C,即

$(\eta_1,\eta_2,\cdots,\eta_n)=(\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n)C$

则 $\eta_1,\eta_2,\cdots,\eta_n$ 的度量矩阵 $B=(b_{ij})=(\eta_i,\eta_j)=C'AC$

3.度量矩阵是正定的

对 $\alpha\neq 0$ ,即 $X\neq\begin{pmatrix}0\\0\\\vdots\\0\end{pmatrix}$

$(\alpha,\alpha)=X'AX\gt 0$

反之,给定一个n级正定矩阵A及n维实线性空间V的一组基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ ,可规定 $V$ 上内积,使它成为欧几里得空间,且基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 的度量矩阵为A

注：欧几里得空间的子空间在所定义的内积之下也是一个欧几里得空间

欧几里得空间简称欧氏空间

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 205,132评论 6赞 478
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 87,802评论 2赞 381
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 151,566评论 0赞 338
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 54,858评论 1赞 277
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 63,867评论 5赞 368
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 48,695评论 1赞 282
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 38,064评论 3赞 399
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 36,705评论 0赞 258
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 42,915评论 1赞 300
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 35,677评论 2赞 323
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 37,796评论 1赞 333
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 33,432评论 4赞 322
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 39,041评论 3赞 307
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 29,992评论 0赞 19
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 31,223评论 1赞 260
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 45,185评论 2赞 352
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 42,535评论 2赞 343

高等代数理论基础61：欧几里得空间

欧几里得空间

欧几里得空间

性质

向量长度

单位向量

向量夹角

柯西-布涅柯夫斯基不等式

三角形不等式

向量夹角

正交

勾股定理

度量矩阵

推荐阅读更多精彩内容