משפט האן-בנך
ויקיפדיה האנציקלופדיה encyclopedia
משפט האן-בנך הוא משפט מרכזי באנליזה פונקציונלית העוסק בהרחבה של פונקציונל מתת-מרחב של מרחב בנך, אל המרחב כולו. המשפט נוסח והוכח על ידי סטפן בנך והאנס האן, כל אחד לחוד ובאופן בלתי תלוי, בשנות ה-20 של המאה ה-20.