ゴルディングの不等式
数学においてゴルディングの不等式(ゴルディングのふとうしき、英: Gårding's inequality)は、ある実線型楕円型偏微分作用素によって導出される双線型形式に対する下界を与える一結果である。ラース・ゴルディング(英語版)の名にちなむ。