משפט האן-בנך – הבדלי גרסאות

'''משפט האן-בנך''' הוא משפט מרכזי ב[[אנליזה פונקציונלית]] העוסק בהרחבה של [[פונקציונל]] <math>\ f_0</math> מתת-מרחב של [[מרחב בנך]], אל המרחב כולו. המשפט נוסח והוכח ע"י [[סטפן בנך]] ו[[הנס האן]], כל אחד לחוד באופן בלתי תלוי, בשנות ה -20 של [[המאה ה-20]].