度規函式

度規函式是指考慮兩產品的標準函式，該函式圖形是描述帶有生產前沿fr(P)的機會集合P。對於P內的任憊點x1，如果能衡量其效率損失如何的低是有用的。即這一點離前沿多遠。這么做的一種簡單方法，首先是要求出點。它正好是x1的比例變化，對某個,有。這樣，置J(x1 | P) = λ2，就定義了測定任意這樣的點相對於P的函式Jx1 | P。為便它是有效的度量，它顯然應該具有這樣一種特性:若且唯若就有J(x | P) = 1。

基本介紹

• 中文名：度規函式
• 類型：經濟學術語

類型

度規函式有二個類型：第1種，簡稱為度規函式，是對閔可夫斯基距離函式，而有時也叫作閔可夫斯基泛函的直接推廣。這種函式在數學中是常用的，但在經濟學中至今仍很少用，至少沒有明顯地用過。它們最適合位於原點附近的有界集合，諸如P以上部分以及麥肯齊的交易集合X_i。

第二種度規函式在數學中鮮為人知，但在經濟學中卻常常用到。它主要是對於不包括原點的無界集合而言的，諸如B^{t}以上部分和生產理論中的類似集合。經濟學家們給予這些函式許多命名，其中有“距離“函式、“變換”函式和“折縮”函式。

分析定義

度規函式是數學凸分析的一個重要函式。設E為或上的矢量空間，有需要時可以假設為拓撲矢量空間。設C為在E內的凸集，且包含原點。那么C的度規函式p是從E到的函式，定義為,

如果C為空集，定義。

從定義立刻得到以下結果，可以進一步說明度規函式：

若C是在E中的開集，那么；

若C是在E中的閉集，那么。

同樣地可立刻看出這條件當0是C的內點時成立。易證逆命題在有限維時成立：簡潔做法是看到p既是有限值和處處定義的凸函式，因而p連續，故此包含在C內且是0的鄰域。

當0是在C的內部時，可以想像這樣一幅圖畫：函式取值1的點正好是凸集C的拓撲邊界，其他正數值的水平面是其位似形。如果有不在任一個水平面上的點，函式在該點取值為0。

最後再補充一點。在實矢量空間時，C相對0點對稱，其度規函式避開值，這度規函式便是半範數；在復矢量空間也有同樣結論，只需把對稱的定義，修改為與任何模為1的複數相乘都不變。

原點外不取0值的條件

從定義看出度規函式在原點外一點x₀取0值，若且唯若從原點過x₀的射線包含在凸集內。

因此立刻可知在賦范矢量空間內，有界凸集的度規函式不在原點外取0值。

逆命題對有限維空間內的閉凸集成立，用半徑為1的球面的緊緻性證明。