فضاء باناخ
فضاء باناخ هو فضاء متجهي معياري كامل (على حقل الأعداد الحقيقية أو المركبة). الكمال يعني أن كل متتالية كوشي (متتالية تقترب عناصرها من بعضها بلا حدود) تتقارب إلى نهاية داخل الفضاء نفسه. أمثلة: فضاءات الدوال القابلة للتجميع L^p وفضاء الدوال المستمرة C[a,b]. تُدرس على هذه الفضاءات المؤثرات الخطية وأطيافها، مما يجد تطبيقات في مجالات عديدة.
التاريخ
سمي نسبة لستيفان باناخ، الرياضي البولندي الذي قدم هذا المفهوم في أطروحة الدكتوراه عام 1920. أرست أعماله أسس التحليل الدالي.
كيف يعمل
المعيار يتيح قياس المسافات بين العناصر. الكمال يعني أن التقريبات لا تخرج خارج الفضاء: بتحسين تقريب دالة معقدة بدوال بسيطة بلا حدود، نحصل في النهاية على دالة من نفس المجموعة. هذا يضمن أن للكمية المقتربة «محطة نهائية» فعلًا.
💡 تنص مبرهنة هان–باناخ على أن أي دالي خطي معرف على فضاء جزئي يمكن تمديده إلى الفضاء كله دون زيادة معياره. هذا يشبه القدرة على تمديد قياس الأطوال من قطعة صغيرة إلى الشكل كله دون أخطاء.