Re: [線代] 三角不等式
令 <V,F> 為佈於field F的內積空間 F=Real or Complex
(如果沒學過廣義向量空間 就當作V=R^n, F=R)
則可以證明對於任何x,y€V
(1) ║x+y║^2 + ║x-y║^2 = 2(║x║^2 +║y║^2) -- 平行四邊形法則
(2) │<x,y>│≦║x║║y║
Moreover, "=" holds if and only if x = cy for some c€F -- 柯西不等式
(3) ║x+y║≦║x║+║y║
Moreover, "=" holds if and only if x = cy for some c≧0 -- 三角不等式
其中(1),(2)是獨立證出來的，然後利用(2)去證明(3)
再來看你的問題
: 若F,G在R^n內 試著證明 ||F+G|| <= ||F|| + ||G||
: 且其充要條件為||F+G|| = ||F|| + ||G||
這邊好奇怪 ||F+G|| <= ||F|| + ||G||的充要條件是||F+G|| = ||F|| + ||G|| ??
: 課本是先從R^3證明 ||F+G||^2 + ||F-G||^2 = 2(||F||^2 + ||G||^2)
課本從R^3的平行四邊形定理證出
"||F+G|| <= ||F|| + ||G||的充要條件是||F+G|| = ||F|| + ||G||" ??
: 可是不知道為什麼可以直接說明R^n也可以 課本沒說 QQ
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.255.247.70
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1493965162.A.C73.html
※ 編輯: znmkhxrw (111.255.247.70), 05/05/2017 14:20:01
推
05/05 14:43, , 1F
05/05 14:43, 1F
推
05/05 17:49, , 2F
05/05 17:49, 2F
討論串 (同標題文章)