ality）是索伯列夫空间理论中的一个结果，由法国数学家昂利·庞加莱命名。这个不等式说明了一个函数的行为可以用这个函数的变化率的行为和它的定义域的几何性质来控制。也就是说，已知函数的变化率和定义域的情况下，可以对函数的上界作出估计。庞加莱不等式在现代的变分法理论中有重要应用。一个与之相近的结果是弗里德里希不等式（Friedrichs's inequality）。
叙述.
经典形式.设p是一个大于等于1的实数，n是一个正整数。formula_1 是n维欧几里得空