閔可夫斯基不等式

閔可夫斯基不等式

在數學中,閔可夫斯基不等式(Minkowski inequality)是德國數學家赫爾曼·閔可夫斯基提出的重要不等式,該不等式表明Lp空間是一個賦范向量空間。 

閔可夫斯基的主要工作在數論、代數和數學物理上。在數論上,他對二次型進行了重要的研究。在1881年法國大獎中,Minkowski深入鑽研了高斯(Gauss)、狄利克雷(Dirichlet) 等人的論著。

公式簡介


閔可夫斯基(Hermann Minkowski,1864-1909)出生於俄國的 Alexotas (現在變成立陶宛的 Kaunas)。父親是一個成功的猶太商人,但是當時的俄國政府迫害猶太人,所以當閔可夫斯基八歲時,父親就帶全家搬到普魯士的 Konigsberg (哥尼斯堡)定居,和另一位數學家希爾伯特(Hilbert )的家僅一河之隔。閔可夫斯基有兩個哥哥,他是幺弟。大哥 Max 在俄國時因為種族歧視,不能進學校讀書,後來也一直沒有受正規教育,長大后與他父親一起經商,繼承父業成為一個成功的商人。二哥就是發現胰島素糖尿病關聯的著名醫學家 Oscar Minkowski,人稱“胰島素之父”。閔可夫斯基本人則因數學才能出眾,早有神童之名,後來更是優秀的數學家。他們兄弟三人都十分傑出,在Konigsberg曾經轟動一時。
閔可夫斯基的主要工作在數論、代數和數學物理上。在數論上,他對二次型進行了重要的研究。在1881年法國大獎中,Minkowski深入鑽研了高斯(Gauss)、狄利克雷(Dirichlet) 等人的論著。因為Gauss曾在研究把一個整數分解為三個平方數之和時用了二元二次型的性質,Minkowski由前人的工作中認識到把一個整數分解為五個平方數之和的方法與四元二次型有關。由此,他深入研究了n元二次型,建立了完整的理論體系。這樣一來,原題就很容易從更一般的理論中得出,Minkowski交給法國科學院的論文長達140頁,遠遠超出了原題的範圍。

公式定義


在數學中,閔可夫斯基不等式(Minkowski inequality)表明Lp空間是一個賦范向量空間。設S是一個 度量空間,,那麼,我們有:
如果,等號成立當且僅當,或者
閔可夫斯基不等式是Lp(S)中的三角不等式。它可以用赫爾德不等式來證明。和赫爾德不等式一樣,閔可夫斯基不等式取可數測度可以寫成序列或向量的特殊形式:
對所有實數,這裡n是S的維數;改成複數同樣成立,沒有任何難處。
值得指出的是,如果,,則可以變為。

積分形式證明


我們考慮的p次冪:
(用三角形不等式展開 )
(用 赫爾德不等式)
(利用,因為)
現在我們考慮這個不等式序列的首尾兩項,除以最後那個表達式的後面那個因子,我們得到:
因為,我們最終得出:
這就是我們所要的結論。
對於序列的情況,證明是完全類似的。