度规函数是数学凸分析的一个重要函数。设
E
{\displaystyle E}
为
R
{\displaystyle \mathbb {R} }
或
C
{\displaystyle \mathbb {C} }
上的向量空间,有需要时可以假设为拓扑向量空间。设
C
{\displaystyle C}
为在
E
{\displaystyle E}
内的凸集,且包含原点。那么
C
{\displaystyle C}
的度规函数
p
{\displaystyle p}
是从
E
{\displaystyle E}
到
R
∪
{
+
∞
}
{\displaystyle \mathbb {R} \cup \{+\infty \}}
的函数,定义为
1