极化恒等式 此條目需要擴充。 (2013年8月16日)请協助改善这篇條目,更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 此條目可参照英語維基百科相應條目来扩充。若您熟悉来源语言和主题,请协助参考外语维基百科扩充条目。请勿直接提交机械翻译,也不要翻译不可靠、低品质内容。依版权协议,译文需在编辑摘要注明来源,或于讨论页顶部标记{{Translated page}}标签。 极化恒等式(英语:Polarization identity)是一个用范数来计算两个向量的内积的公式。 公式[编辑] 设 x , y {\displaystyle x,y} 是复Hilbert空间中的向量,则内积可表示为: ⟨ x , y ⟩ = 1 4 ( ‖ x + y ‖ 2 − ‖ x − y ‖ 2 + i ‖ x + i y ‖ 2 − i ‖ x − i y ‖ 2 ) {\displaystyle \left\langle x,y\right\rangle ={\frac {1}{4}}\left({{\left\|x+y\right\|}^{2}}-{{\left\|x-y\right\|}^{2}}+i{{\left\|x+iy\right\|}^{2}}-i{{\left\|x-iy\right\|}^{2}}\right)} 。 若 x , y {\displaystyle x,y} 是实Hilbert空间中的向量,则内积可表示为: ⟨ x , y ⟩ = 1 4 ( ‖ x + y ‖ 2 − ‖ x − y ‖ 2 ) {\displaystyle \left\langle x,y\right\rangle ={\frac {1}{4}}\left({{\left\|x+y\right\|}^{2}}-{{\left\|x-y\right\|}^{2}}\right)} 。 推导[编辑] 设有两个实Hilbert空间中的向量 x , y {\displaystyle x,y} ,有 ( x + y ) 2 = x 2 + y 2 + 2 x ⋅ y {\displaystyle (x+y)^{2}=x^{2}+y^{2}+2x\cdot y} ( x − y ) 2 = x 2 + y 2 − 2 x ⋅ y {\displaystyle (x-y)^{2}=x^{2}+y^{2}-2x\cdot y} 两式相减,得 4 x ⋅ y = ( x + y ) 2 − ( x − y ) 2 {\displaystyle 4x\cdot y=(x+y)^{2}-(x-y)^{2}} 所以 x ⋅ y = 1 4 [ ( x + y ) 2 − ( x − y ) 2 ] {\displaystyle x\cdot y={\frac {1}{4}}[(x+y)^{2}-(x-y)^{2}]} 即 ⟨ x , y ⟩ = 1 4 ( ‖ x + y ‖ 2 − ‖ x − y ‖ 2 ) {\displaystyle \left\langle x,y\right\rangle ={\frac {1}{4}}\left({{\left\|x+y\right\|}^{2}}-{{\left\|x-y\right\|}^{2}}\right)} 参见[编辑] 平行四邊形恆等式 参考文献[编辑] 程其襄,张奠宙等.实变函数与泛函分析基础(第二版)[M].北京:高等教育出版社,2003.7,241