バフスカ＝ラックス＝ミルグラムの定理
数学においてバフスカ=ラックス=ミルグラムの定理(バフスカ=ラックス=ミルグラムのていり、英: Babuška–Lax–Milgram theorem)は、与えられた境界値問題の弱解の存在と一意性を示すために双線型形式が「可逆」であるための条件を与える、有名なラックス=ミルグラムの定理の一般化である。数学者のイヴォ・バフスカ(英語版)、ピーター・ラックスおよびアーサー・ミルグラム(英語版)の名にちなむ。