قضیه هان–باناخ
قضیه هان-باناخ، یک ابزار مرکزی در آنالیز تابعیست. این قضیه امکان می دهد تا تابعک های خطی کرانداری که بر روی زیر فضایی از یک فضای برداری تعریف شده اند را به کل فضا تعمیم دهیم. همچنین این قضیه نشان می دهد که به میزان "کافی" تابعک های خطی پیوسته بر روی هر فضای برداری نرم دار وجود دارد، به گونه ای که مطالعه ی فضای دوگان "جذاب" می شود. نسخه ی دیگری از قضیه هان-باناخ به قضیه جداسازی هان-باناخ یا قضیه جداسازی ابر صفحه ای معروف است، و کاربرد های متعددی در هندسه محدب دارد.