back to index

Linear Algebra Lecture 29: Orthogonality


link |
00:00.000
整理&字幕由Amara.org社區提供
link |
00:30.000
整理&字幕由Amara.org社區提供
link |
01:00.000
整理&字幕由Amara.org社區提供
link |
01:30.000
整理&字幕由Amara.org社區提供
link |
02:00.000
我們先要定義一些名詞,那其實7.1是比較無聊的啦,它做的事情就是各種名詞的定義,那這些東西呢,你也許在以前高中的時候就已經聽過了。
link |
02:11.000
第一個定義的東西呢,叫做none。none是什麼意思呢?none的意思其實就是一個vector v的長度,就是它的none。
link |
02:23.000
那在我們課文裡面呢,我們用兩個括號,用兩個板子呢,把一個vector v括起來,代表它的none。
link |
02:34.000
那如果沒有跟你說明的話,兩個板子加上一個vector,它等於這個vector裡面每一個element的平方和,等於這個vector裡面每一個element的平方和。
link |
02:48.000
那接下來有了none以後呢,接下來要定義的就是長度,不是長度,none定義的是長度,接下來要定義的是距離。
link |
03:00.000
那兩個vector之間的距離是什麼意思呢?有一個vector u,有一個vector v,它們之間的距離是什麼意思呢?
link |
03:08.000
它們之間的距離就是把這兩個vector進行相減,然後呢,計算它們的none就結束了。
link |
03:17.000
那我們幾下就舉一個例子啦,假設你有一個vector v,那v的none是什麼呢?
link |
03:22.000
v的none就是把它的裡面每一個element的平方和再開根號,所以你就把1平方加2平方加3平方再開根號,就變成根號4。
link |
03:36.000
那有另外一個vector u,它是2-30,那這個vector u它跟vector v之間的距離有多少呢?你就先把v跟u相減,變成-153。
link |
03:49.000
然後呢,再把相減的結果取它的none,就得到v跟u之間的距離,就是這麼簡單。
link |
03:57.000
這邊講的是none跟distance,那接下來呢,要講另外一個東西呢,叫做osagno。
link |
04:06.000
那osagno這個字眼要怎麼念呢?很多人其實不知道它是怎麼發音的,所以我就找了一下YouTube上教你發音的影片啦。
link |
04:16.000
我們來看看它是怎麼發音的。
link |
04:37.000
聽起來有點怪怪的,不知道對不對,所以我又查了另外一個。
link |
04:56.000
念起來就像osagno,就是台灣國語,你殺了一個東西。
link |
05:13.000
好,那什麼是osagno呢?在講osagno之前呢,你要講一個東西叫做dark product,那什麼是dark product呢?
link |
05:26.000
這個dark product呢,你在高中的時候學過了啦,就假設你有一個vector u,有一個vector v,u跟v之間的dark product,就是把u跟v的每一個element相乘。
link |
05:36.000
就是說,u跟v的dark product,就是u1乘v1加上u2乘v2,一直加到un乘vn,就結束了。
link |
05:47.000
好,那什麼是osagno呢?今天如果兩個vector u跟v,它們的inner product是0,那它們就是osagno。
link |
05:58.000
那這可能會讓你聯想到說,這不就是垂直嗎?這不就是垂直嗎?沒錯,其實osagno就是二維跟三維空間中的垂直,只是在高維空間中垂直這件事,因為在高維空間中你就很難想像說什麼叫做垂直、什麼叫做角度。
link |
06:19.760
所以在高維空間中的垂直就叫做osagno。我知道說大家在國中高中的時候都有學到說,在二維三維空間裡面,兩個向量垂直,那它們的dark product就等於0。
link |
06:32.360
那在高維空間中其實也是一樣,在高維空間中,兩個向量,它們如果dark product等於0,那我們說它們是osagno。
link |
06:41.720
那zero vector對任何的vector都是osagno,因為這很直覺嘛,因為zero vector乘上任何的vector都等於0,所以zero vector對任何的vector都是osagno。
link |
06:53.400
主持人說的好,那助教已經來了,我們就請助教來講一下作業室。
link |
07:20.920
主持人說的好,那助教已經來了,我們就請助教來講一下作業室。
link |
07:50.920
主持人說的好,那助教已經來了,我們就請助教來講一下作業室。
link |
08:13.160
主持人說的好,那助教已經來了,我們就請助教來講一下作業室。
link |
08:42.840
主持人說的好,那助教已經來了,我們就請助教來講一下作業室。
link |
08:57.080
主持人說的好,那助教已經來了,我們就請助教來講一下作業室。
link |
09:20.440
Osagno在二維或三維空間中是垂直,在高維空間中的垂直,我們就叫osagno。
link |
09:38.600
Osagno在二維空間中是垂直,在高維空間中的垂直,我們就叫osagno。
link |
09:52.840
Osagno在二維空間中是垂直,在高維空間中的垂直,我們就叫osagno。
link |
10:13.480
Osagno在二維空間中是垂直,在高維空間中的垂直,我們就叫osagno。
link |
10:26.200
Osagno在二維空間中是垂直,在高維空間中的垂直,我們就叫osagno。
link |
10:40.120
U和U的大破大 等於0,if and only ifU等於0。
link |
10:49.460
U和U的大破大 等於0,if and only ifU等於0。
link |
10:49.480
U和U的大破大 等於0,if and only ifU等於0。
link |
10:54.580
U和U的大破大 等於0,if and only ifU等於0。
link |
10:54.600
U和U的大破大 等於0,if and only ifU等於0。
link |
10:58.080
U和U的大破大 等於0,if and only ifU等於0。
link |
11:03.880
U和V的大破大 等於V和U的大破大,
link |
11:07.280
那 u 跟 v 加 w 的大割打 等於 u 跟 v 的大割打加上 u 跟 w 的大割打
link |
11:18.280
那 v 加上 w 跟 u 的大割打 等於 v 跟 u 的大割打加上 w 跟 u 的大割打
link |
11:26.280
然後呢 把 u 乘上 c 倍 再跟 v 做大割打
link |
11:31.580
等於 u 跟 v 做大割打乘上 c 倍 等於 u 跟 c 乘上 v 這個 vector 做大割打
link |
11:41.280
好 那假設你把一個 vector u 把它乘上一個 scalar c 把它變成 c 倍
link |
11:49.780
然後去計算它的 non
link |
11:52.880
那這件事情等於你把 u 的 non 乘上 c 的絕對值
link |
12:07.680
然後呢 今天如果你把某一個 vector u 乘上 a 做一個 transform
link |
12:15.180
得到一個新的 vector a 乘上 u 是一個新的 vector
link |
12:19.780
而把這個 vector 跟 v 做大割打以後 會變成什麼東西呢?
link |
12:26.480
今天兩個 vector 的大割打 你可以寫成把前面那個 vector 做 transpose
link |
12:36.180
再對後面那個 vector 相乘
link |
12:39.080
所以 a 乘上 u 跟 v 做大割打 等於 a 乘上 u 的 transpose 乘上 v
link |
12:46.780
然後我們知道說 兩個 matrix 相乘取 transpose
link |
12:52.680
你可以把 transpose 乘進去 然後交換順序
link |
12:57.480
你可以把 transpose 乘進去 然後交換順序
link |
13:01.280
a 乘上 u 的 transpose 可以寫成 u 的 transpose 乘上 a 的 transpose 再乘上 v
link |
13:09.680
那 u 的 transpose 乘上括號裡面 a 的 transpose 乘上 v 這個東西呢
link |
13:15.180
你可以再把它轉回大割打的樣子
link |
13:18.780
所以你可以把 u 的 transpose 乘上括號裡面 a 的 transpose v 這個東西
link |
13:24.980
轉回大割打的樣子 也就是 u 跟 a 的 transpose v 的大割打
link |
13:31.380
那就是這樣子 這個都很直覺 就不需要證明
link |
13:37.380
那這邊呢 就是舉一個例子
link |
13:40.580
那你可以用我們剛才所學到的種種的大割打的特性
link |
13:48.580
把上面這個式子寫成下面這個樣子
link |
13:54.780
把 2u 加 3v 的 norm 的平方 寫成 4 倍的 u 的 norm 的平方
link |
14:00.780
加上 12 倍的 u 跟 v 的大割打 加上 9 倍的 v 的 norm 的平方
link |
14:06.380
那這個東西怎麼進行拆解呢?
link |
14:11.580
我寫黑板可能比較快一點
link |
14:14.580
這邊呢 是 2u 加 3v 的 norm 的平方
link |
14:19.980
那以後你看到 norm 的平方就可以把它拆成大割打
link |
14:25.580
所以 2u 加 3v 的 norm 的平方就是 2u 加 3v 跟 2u 加 3v 的這兩個 vector 的大割打
link |
14:37.580
然後大割打是可以展開的
link |
14:41.980
也就是說你可以把它變成 2u 跟 2u 加 3v 的廣大割打
link |
14:51.580
加上 3v 還有 2u 加 3v 的大割打
link |
14:58.380
然後你可以再把它層開
link |
15:00.780
把 2u 跟 2u 層在一起
link |
15:03.780
變成 2u 跟 2u 的大割打
link |
15:07.980
加上 2u 跟 3v 的大割打
link |
15:12.180
再加上 3v 跟 2u 的大割打
link |
15:15.580
加上 3v 跟 3v 的大割打
link |
15:20.580
然後你再把大割打弄回去
link |
15:24.780
大割打可以再變回 norm 對不對
link |
15:27.180
大割打可以再變回 norm
link |
15:29.180
所以 2u 跟 2u 的大割打是什麼呢
link |
15:32.580
就是 2u 的 norm 的平方
link |
15:37.380
然後呢 3v 跟 3v 的大割打是什麼呢
link |
15:40.180
就是 3v 的 norm 的平方
link |
15:43.780
那剩下這個東西是什麼呢
link |
15:45.380
剩下這個東西呢
link |
15:46.780
就是這個東西呢
link |
15:50.580
就是 12 倍的 v 跟 u 的大割打
link |
15:54.380
那其實呢就是這個樣子
link |
15:57.380
好那這個東西你如果想的話
link |
15:59.180
你就可以把它再變成說
link |
16:01.180
這個 2u 的 norm 的平方
link |
16:05.780
就是這個 4 倍的 u 的 norm 的平方
link |
16:09.980
這個東西呢就是 9 倍的 v 的 norm 的平方
link |
16:14.980
那就是這樣
link |
16:18.580
好那接下來呢要講一個定理啦
link |
16:22.580
這個叫做 Keplerian Theorem
link |
16:26.180
有聽過這個定理的同學舉手一下
link |
16:29.780
沒有聽過這個定理的同學舉手一下
link |
16:32.380
然後手放下
link |
16:33.180
其實你是聽過的
link |
16:34.380
你只是不知道它的英文而已
link |
16:35.980
這個是畢氏定理啊
link |
16:37.580
這是他國小就學過的東西
link |
16:39.980
這就是畢氏定理
link |
16:41.580
你只是不知道它的英文是什麼而已
link |
16:47.980
有人問說為什麼這個翻成畢氏定理是嗎
link |
16:50.580
這音聽起來好像不太像是
link |
16:53.380
這個就是畢達哥拉斯的意思
link |
16:57.580
但是好像音又發起來不太像
link |
16:59.380
我一直不知道為什麼
link |
17:00.180
也許是用別的語
link |
17:03.380
這個好像應該是念 Paphagorean 吧
link |
17:06.780
但是也許在別的語言念起來
link |
17:09.180
比較像畢達哥拉斯
link |
17:10.580
也許英文念起來不像就是了
link |
17:14.380
好那這個
link |
17:18.980
所以這個就是你國小國中學過的東西啊
link |
17:21.980
就如果 U 跟 V 它們是 Ossogonal 的話
link |
17:27.980
那 U 跟 V 的弄平方等於 U 的弄平方加 V 的弄平方
link |
17:33.180
如果把它換成你以前小時候學過東西的話
link |
17:37.180
就是如果 U 跟 V 是垂直的
link |
17:40.780
那兩邊之和的長度會等於另外兩邊的和
link |
17:48.380
就是這樣子
link |
17:49.180
所以就是說今天你有一個 U
link |
17:56.580
然後你有一個 V
link |
17:58.380
然後假設它們是 Ossogonal 的
link |
18:01.380
如果是在二維平面上
link |
18:02.980
你就可以說它是垂直的
link |
18:04.780
但在高維平面上就很難想像那個是什麼
link |
18:07.380
不過 Ossogonal 就是這個垂直的概念
link |
18:10.380
然後呢
link |
18:11.180
你有一個 Vector U 跟 V
link |
18:14.980
U 加上 V
link |
18:19.580
link |
18:20.980
那這個弄是什麼呢
link |
18:22.580
弄就是它的長度
link |
18:28.780
所以我們知道兩邊
link |
18:31.780
一個直角三角形兩邊長度的平方和
link |
18:35.180
會等於第三邊的長度的平方
link |
18:39.580
那這個東西怎麼證明呢
link |
18:42.780
那這個就是就很簡單了
link |
18:44.780
這個 U 加 V 的弄的平方
link |
18:47.780
按照我們剛才在前一頁投影片教過你的這種展開的方式
link |
18:52.380
你可以把 U 加 V 的弄的平方
link |
18:56.180
就轉成 U 的弄的平方
link |
18:59.380
加上兩倍的 U 跟 V 的大發達
link |
19:02.580
再加上 V 的弄的平方
link |
19:04.380
那轉換的方式就跟我們在黑板上寫的一樣
link |
19:07.780
你就把它展開就好
link |
19:08.980
所以 U 加 V 的弄的平方展開以後呢
link |
19:11.780
你就得到 U 的弄的平方加 V 的弄的平方
link |
19:14.980
加上兩倍的 U 跟 V 的大發達
link |
19:18.380
那因為 U 跟 V 是 Ossogonal 的
link |
19:21.580
所以它們的大發達是 0
link |
19:26.380
那所以呢這個 U 加 V 的弄的平方
link |
19:30.980
因為這項等於 0
link |
19:31.980
這樣等於你要把它拿掉
link |
19:33.180
所以等於 U 的弄的平方加 V 的弄的平方
link |
19:37.180
就這樣子
link |
19:38.180
所以這個證明呢是還頗單純的
link |
19:46.180
那這邊有另外一個定理是說
link |
19:50.180
如果一個平行四邊形
link |
19:54.980
它的兩個對角線是 Ossogonal 的話
link |
20:01.580
那這一個平行四邊形呢
link |
20:04.580
它一定是一個菱形
link |
20:07.980
它一定是一個菱形
link |
20:09.980
什麼意思呢
link |
20:12.580
這個所謂的菱形的意思
link |
20:19.580
所謂的菱形的意思就是
link |
20:21.380
它的兩個邊的長度是一樣的
link |
20:27.380
這邊也許我們畫個圖來說明比較容易
link |
20:30.180
就你有一個向量它叫做 V
link |
20:33.980
哎呦
link |
20:36.180
欸等一下
link |
20:37.980
我想想看
link |
20:39.380
link |
20:41.380
喔好沒有問題
link |
20:42.180
好你有一個
link |
20:43.180
假設今天你有一個平行四邊形呢
link |
20:45.780
它的兩邊呢分別就是 U 跟 V
link |
20:48.980
它兩邊呢分別就是 U 跟 V
link |
20:52.380
那今天假設有一個人告訴你說呢
link |
20:55.180
這一個平行四邊形呢
link |
20:57.780
它的兩個對角線是 Ossogonal 的
link |
21:03.180
它的這一個對角線跟這一個對角線
link |
21:08.980
它是 Ossogonal 的
link |
21:11.180
那它就會
link |
21:11.980
當然它就一定是一個菱形
link |
21:13.780
所謂菱形的定義是說呢
link |
21:15.580
U 跟 V 的長度是一樣的
link |
21:23.380
也許我在旁邊呢
link |
21:24.780
還是把弄寫上去
link |
21:28.580
U 跟 V 的長度呢是一樣的
link |
21:34.780
如果今天呢
link |
21:36.180
你的兩個對角線呢
link |
21:37.780
它是 Ossogonal 的
link |
21:38.980
它是垂直的話
link |
21:40.380
那 U 跟 V 的長度是一樣的
link |
21:42.780
好那這怎麼證呢
link |
21:44.180
首先你就要把這兩個對角線呢
link |
21:48.380
它的式子寫出來
link |
21:50.780
把這兩個對角線的式子寫出來
link |
21:53.780
那這兩個對角線的式子長什麼樣子呢
link |
21:56.380
事實上這一邊
link |
21:58.180
這一個邊
link |
21:58.980
這一個對角線
link |
22:01.580
它就是 U 加 V
link |
22:08.380
那這一個對角線
link |
22:11.780
它其實就是 U 減 V
link |
22:16.580
然後你把
link |
22:17.380
然後今天呢
link |
22:18.380
我們說 U 加 V 跟 U 減 V
link |
22:21.980
它是 Ossogonal 的
link |
22:24.380
U 加 V 跟 U 減 V 它是 Ossogonal 的
link |
22:26.780
也就是 U 加 V dot U 減 V 等於 0
link |
22:32.580
然後你把 U 加 V dot U 減 V 展開以後
link |
22:36.380
你會發現它等於
link |
22:37.980
U 的弄平方減 V 的弄平方
link |
22:40.580
因為 V dot U 跟 U dot V 可以消掉
link |
22:45.380
所以剩下 U 的弄平方減 V 的弄平方
link |
22:48.580
那這一下等於 0
link |
22:49.380
代表說 U 的弄等於 V 的弄
link |
22:52.380
U 的長度等於 V 的長度
link |
22:54.580
好就這樣子
link |
22:58.980
好那再來呢就是
link |
23:02.780
大家都學過的這個三角不等式
link |
23:06.780
我們知道說這個兩邊的三角形的兩邊的長度之和
link |
23:12.580
一定大於等於第三邊
link |
23:15.780
那這個呢就是三角不等式
link |
23:18.380
也就是說呢
link |
23:19.580
這個 U 的長度加 V 的長度
link |
23:27.180
一定會大於等於 U 加 V 的長度
link |
23:32.580
好那這個怎麼證呢
link |
23:33.980
這個就是這樣就是
link |
23:35.580
你就證一下說
link |
23:38.180
U 加 V 的弄的平方先把它展開
link |
23:41.980
你先把這個左邊的部分
link |
23:44.180
這個 U 加 V 的弄的平方把它展開
link |
23:46.380
它是 U 的弄的平方加上兩倍的 U dot V
link |
23:49.580
加上 V 的弄的平方
link |
23:52.380
好那這一項啊
link |
23:53.580
因為 U 跟 V 的大發達一定會小於等於
link |
23:58.780
U 跟 V 的大發達加絕對值
link |
24:00.780
因為大發達有正有負
link |
24:03.380
然後如果你加絕對值以後呢
link |
24:05.380
你就會得到它的 upper bound
link |
24:07.380
所以 U 加 V 的大發達取絕對值
link |
24:10.380
會大於等於 U dot V
link |
24:12.980
所以你得到了這一個式子
link |
24:15.580
好那接下來呢就是用這個
link |
24:18.580
柯西不等式啊
link |
24:19.980
用柯西不等式你就知道說
link |
24:22.380
U dot V 的絕對值呢
link |
24:24.780
小於等於這個 U 的弄 dot V 的 U 的
link |
24:31.380
這個應該不是這個
link |
24:34.180
這個應該不能說是大發達
link |
24:36.980
這個就是相乘
link |
24:38.980
因為今天呢
link |
24:39.980
這個 U 是一個 scalar
link |
24:41.580
V C 是一個 scalar
link |
24:43.180
所以這個 U 跟 V 的大發達的絕對值呢
link |
24:46.980
小於等於 U 的 scalar 乘上 V 的 scalar
link |
24:54.180
然後下面這一項呢
link |
24:57.180
這個 U 的弄的平方加上兩倍的
link |
24:59.580
U 的長度乘上 V 的長度加上 V 的弄的平方
link |
25:02.980
可以再把它變成
link |
25:04.580
U 的弄加上 V 的弄取平方
link |
25:07.580
然後呢
link |
25:08.580
你知道說 U 加 V 的弄的平方
link |
25:10.780
小於等於 U 的弄加 V 的弄取平方
link |
25:14.380
所以 U 加 V 的弄就小於等於 U 的弄加 V 的弄
link |
25:19.980
那這邊唯一有需要思考一下的就是
link |
25:24.580
那能不能證一下這個柯西不等式呢
link |
25:28.580
能不能證一下柯西不等式呢
link |
25:30.980
那我們其實可以來試著證一下
link |
25:33.980
柯西不等式
link |
25:34.980
你有問題嗎?
link |
25:36.280
好,大家有問題要問嗎?
link |
25:39.380
好,那我們其實可以試著證一下柯西不等式
link |
25:50.380
找個板插
link |
26:05.380
這個是單純柯西不等式嗎?
link |
26:07.380
對,沒錯
link |
26:10.380
好,那他們有一個很直覺的想法
link |
26:14.380
他們在下面這裡
link |
26:16.380
你可以這麼說
link |
26:17.380
你可以說
link |
26:19.380
我們現在呢
link |
26:21.380
把 U 跟 V 都先弄來這一個
link |
26:25.380
可是弄來這一個的意思是說
link |
26:27.380
把它變成長度是 V 的 Vector
link |
26:31.380
怎麼把它變成長度是 V 的 Vector 呢?
link |
26:34.380
如果你把這個 U 呢
link |
26:36.380
把它除掉它的弄
link |
26:39.380
你把 U 除掉它的長度
link |
26:42.380
它就會變成一個長度是 V 的 Vector
link |
26:45.380
對不對,這個大家應該沒有問題吧
link |
26:48.380
你如果對這個有問題
link |
26:49.380
你就自己帶著把它想開
link |
26:52.380
你就知道了
link |
26:53.380
好,然後呢
link |
26:54.380
我們把 V 呢
link |
26:55.380
也對它的
link |
26:57.380
這邊寫 V
link |
26:59.380
也對它的長度呢
link |
27:01.380
也除掉它的長度
link |
27:03.380
那它也變成一個長度是一個 Vector
link |
27:06.380
那如果我們今天把兩個長度是 V 的 Vector
link |
27:09.380
做 Double Order
link |
27:11.380
它的值呢
link |
27:12.380
一定會小於等於 1 到負 1 間
link |
27:16.380
越小於等於 1 到負 1 間
link |
27:18.380
這件事情是非常的直覺的
link |
27:20.380
假設你有兩個 Vector
link |
27:22.380
一個是 U 的 Normalize 以後的結果
link |
27:27.380
另外一個呢
link |
27:28.380
是 V 的 Normalize 以後的
link |
27:31.380
V 的 Normalize 以後的結果
link |
27:33.380
那它們做 Double Order
link |
27:35.380
一定會介於等於 1 到負 1 間
link |
27:37.380
它們 Double Order 最大的可能呢
link |
27:39.380
就是這兩個 Vector 呢
link |
27:41.380
它們疊在一起的時候
link |
27:43.380
是 1
link |
27:44.380
那當是反向的時候
link |
27:46.380
它是負 1
link |
27:47.380
這個是直覺的想法
link |
27:53.380
那假設這件事情成立
link |
27:55.380
那就沒有問題了
link |
27:56.380
因為假設這件事情成立
link |
27:58.380
那你就可以說
link |
28:00.380
U.V 取絕對值
link |
28:04.380
除上 U 的長度乘以 V 的長度
link |
28:08.380
就把這個東西做一下整理
link |
28:10.380
它一定小於等於 1
link |
28:12.380
就已經證明了克西不等式
link |
28:14.380
就已經證明了這個部分
link |
28:16.380
但是接下來我們要證的其實是
link |
28:18.380
這件事情為什麼是成立的呢
link |
28:22.380
這件事情為什麼成立的呢
link |
28:24.380
當然如果你用
link |
28:28.380
你可以用直覺想就是這樣
link |
28:30.380
但是我們現在
link |
28:33.380
假設你只能夠使用我們剛才上課有講過的
link |
28:36.380
Double Order 的訊息的話
link |
28:38.380
你怎麼證這件事呢
link |
28:40.380
你怎麼證這件事呢
link |
28:45.380
那我們現在呢
link |
28:46.380
假設 U 為了等一下寫起來比較方便
link |
28:51.380
這一項我們就叫它 W
link |
28:54.380
這一項我們就叫它 Z
link |
28:59.380
然後我們現在
link |
29:02.380
假設 W 跟 Z
link |
29:04.380
我們把它做相加
link |
29:07.380
把它做相加
link |
29:10.380
然後呢
link |
29:11.380
接下來把它相加以後呢
link |
29:18.380
再取它的 norm 的平方
link |
29:21.380
把它相加以後
link |
29:23.380
得到一個新的 vector
link |
29:24.380
再取這個新的 vector 的 norm 的平方
link |
29:27.380
那不管這個新的 vector 長怎麼樣
link |
29:31.380
我們知道說 norm 的平方
link |
29:33.380
一定是大於等於 0 的
link |
29:36.380
一定是大於等於 0 的
link |
29:39.380
接下來呢
link |
29:40.380
你可以把這一項展開
link |
29:42.380
這一項展開以後呢
link |
29:43.380
它變成 W 的 norm 的平方
link |
29:46.380
加上兩倍的 W 跟 Z 的大化檔
link |
29:52.380
然後呢
link |
29:53.380
不然我二行比較加個點
link |
29:55.380
然後呢
link |
29:56.380
加上 Z 的 norm 的平方
link |
30:01.380
然後我們知道說
link |
30:02.380
這一項其實等於 1
link |
30:04.380
這一項其實等於 1
link |
30:06.380
然後它們大於等於 0
link |
30:08.380
可是這告訴我們什麼呢
link |
30:10.380
這告訴我們說
link |
30:11.380
我們可以把 1 挪到右邊去
link |
30:13.380
1 挪到右邊去
link |
30:15.380
1 挪到右邊去
link |
30:16.380
所以我們這邊學到什麼呢
link |
30:18.380
我們學到說
link |
30:20.380
W 跟 Z 的大化檔
link |
30:24.380
會大於等於負 1
link |
30:28.380
會大於等於負 1
link |
30:29.380
我們現在學到了這件事
link |
30:32.380
學到這件事
link |
30:34.380
那接下來呢
link |
30:35.380
我們只要把正號改成負號
link |
30:39.380
把正號改成負號
link |
30:41.380
正號呢改成負號
link |
30:44.380
那你就可以又學到
link |
30:46.380
W 跟 Z 的大化檔
link |
30:49.380
它是小於等於 1 的
link |
30:52.380
就結束了這樣
link |
30:55.380
你知道這件事情
link |
30:57.380
你就知道這件事情
link |
30:59.380
你就有了柯西夫等式
link |
31:02.380
然後你就可以證
link |
31:04.380
兩邊之和的長度
link |
31:08.380
小於等於兩邊的長度和