
A Banach space is a complete normed vector space that allows infinite-dimensional averaging operations.فضاء باناخ هو فضاء متجهي معياري كامل (على حقل الأعداد الحقيقية أو المركبة). الكمال يعني أن كل متتالية كوشي (متتالية تقترب عناصرها من بعضها بلا حدود) تتقارب إلى نهاية داخل الفضاء نفسه. أمثلة: فضاءات الدوال القابلة للتجميع L^p وفضاء الدوال المستمرة C[a,b]. تُدرس على هذه الفضاءات المؤثرات الخطية وأطيافها، مما يجد تطبيقات في مجالات عديدة.
طور ستيفان باناخ فكرة فضاء باناخ في أطروحة الدكتوراه (1920) وفي منشورات لاحقة. أعطى بناءً مسلماتيًا. الأفكار الأولى تعود لفرشيه وريس وهيلبرت. رسخ الموضوع كتاب باناخ الكلاسيكي «نظرية العمليات الخطية» (1932). التطور اللاحق ارتبط بشودر ودانفورد وشوارتز وغروتنديك وغيرهم.
توفر فضاءات باناخ إطارًا صارمًا لدراسة تقارب المتتاليات والمتسلسلات من الدوال، حتى في الحالة اللانهائية البعد. تظهر المؤثرات الخطية، خصوصًا المدمجة والتكاملية، طبيعيًا في المسائل العكسية للفيزياء الرياضية. يعتمد مبدأ التطبيقات المتقلصة (طريقة التقريبات المتتابعة) على الكمال ويضمن وحدانية الحل لكثير من المعادلات غير الخطية. فضاءات هيلبرت هي حالة خاصة حيث ينشأ المعيار من جداء عددي؛ لكن حتى بدون الجداء العددي تتمتع فضاءات باناخ بهندسة غنية (التحدب الصارم، النعومة المنتظمة). الفضاءات المرافقة، الانعكاسية، والطوبولوجيات المختلفة (القوية، الضعيفة، *-ضعيفة) هي أدوات لتحليل تقارب متتاليات المؤثرات.
حل المعادلات التفاضلية، ميكانيكا الكم، مسائل التحسين، معالجة الإشارات.
تنص مبرهنة هان–باناخ على أن أي دالي خطي معرف على فضاء جزئي يمكن تمديده إلى الفضاء كله دون زيادة معياره. هذا يشبه القدرة على تمديد قياس الأطوال من قطعة صغيرة إلى الشكل كله دون أخطاء.


