🎛️ شاهد المضاعفة: كرة واحدة ← 5 قطع ← كرتان
لا يمكن تمثيل المبرهنة حقيقةً بشكل بصري (القطع غير قابلة للقياس). هذا التخطيط يساعد على استيعاب الفكرة.
المرحلة 0 / 3 : الكرة الواحدية (الحجم 1)
كرة ممتلئة من الفضاء ℝ³. الحجم = 4π/3. سنقطعها إلى 5 قطع غير قابلة للقياس.
😱 النص الذي يتحدى المنطق السليم
مبرهنة باناخ-تارسكي (1924)
لتكن B كرة من الفضاء ℝ³. يمكن تجزيء B إلى عدد منتهٍ من المجموعات الجزئية
المنفصلة (5 تكفي)، ثم إجراء دورانات وانسحابات على هذه القطع، والحصول على
كرتين متطابقتين مع B.
اقرأ هذا النص مرة ثانية. كرة، مقطعة إلى خمس قطع، مُعاد تجميعها في كرتين. ليست نصفين. ليست كرتين أصغر. نسختان مثاليتان من الكرة الأصلية. كل واحدة بنفس حجم الأصل.
هذا يخالف المنطق السليم. هذا يخالف مبدأ انحفاظ المادة. هذا يخالف المنطق الفيزيائي السليم. ومع ذلك، فهي مبرهنة رياضياتية مُثبتة بشكل تام، ومقبولة منذ 100 سنة.
🎯 لماذا ليست فيزيائية (ولماذا تبقى صحيحة)
أول توضيح أساسي: باناخ-تارسكي مبرهنة رياضياتية، وليست فيزيائية. لا يمكنك تطبيقها على برتقالة حقيقية للحصول على برتقالتين. لماذا؟
- البرتقالة مكونة من عدد منتهٍ من الذرات (≈ 10²⁵). لا يمكنك تقطيعها إلى مجموعات جزئية دقيقة بشكل اعتباطي.
- الكرة الرياضياتية B مكونة من عدد لا نهائي غير قابل للعد من النقط (ذات قدر متصل).
- القطع الخمس للتفكيك غير قابلة للقياس بمفهوم لوبيغ: من المستحيل إسناد حجم لها بالمفهوم الكلاسيكي.
انحفاظ الحجم (البديهي) لا ينطبق إلا على المجموعات القابلة للقياس. تستغل باناخ-تارسكي مجموعات غير قابلة للقياس لتحقيق ما يبدو مستحيلاً.
🔑 المفتاح: مسلمة الاختيار
يستعمل البرهان مسلمة من نظرية المجموعات: مسلمة الاختيار. نصها: لكل تجميعة (حتى لو كانت لا نهائية) من المجموعات غير الفارغة، يمكن اختيار عنصر من كل مجموعة.
تبدو هذه المسلمة بريئة، تكاد تكون بديهية. لكنها تتيح بناء أشياء يستحيل وصفها بشكل صريح، مثل قطع باناخ-تارسكي.
🧩 كيف يشتغل ذلك، بدون تفاصيل تقنية؟
الفكرة الأساسية، بشكل مبسّط جداً:
- ننطلق من زمرة دورانات (دورانات الفضاء تشكل زمرة). نختار دورانين محددين Rx و Ry حول محورين مختلفين.
- الزمرة المولَّدة بـ Rx و Ry (جميع التركيبات الممكنة) هي زمرة « حرة » من الرتبة 2: لها بنية شجرة لا نهائية.
- هذه الشجرة تتقطع إلى 4 أشجار جزئية (حسب الحرف الأول من كل كلمة ثنائية)، وكل شجرة جزئية متشاكلة مع الكل عبر دوران بسيط.
- نطبق هذا التفكيك على نقط الفلكة عبر مسلمة الاختيار، مما يعطي 4 قطع من الفلكة تُعاد ترتيبها في فلكتين كاملتين.
- نمدد ذلك إلى الكرة بإدارة كل شعاع.
يشغل هذا البرهان عدة صفحات من الرياضيات التقنية جداً. لكن الفكرة المركزية — مضاعفة شجرة لا نهائية — بسيطة بشكل مدهش.
🌳 الحدس عبر الأشجار اللانهائية
تخيل شجرة ثنائية لا نهائية: لكل عقدة طفلان، ولكل منهما طفلان، وهكذا. الآن، قطّع الشجرة إلى نصفين باتباع الفرع الأول: النصف الأيسر والنصف الأيمن.
كل نصف متشاكل مع الشجرة الأصلية. هذا هو سحر اللانهايات: النصف بنفس كبر الكل. أثبت باناخ وتارسكي أنه يمكن نقل هذه الخاصية إلى نقط كرة باستعمال دورانات مختارة جيداً.
🎯 النتيجة الفلسفية
تكشف باناخ-تارسكي عن صدع جوهري بين الحدس الفيزيائي والمنطق الرياضياتي. ما هو صحيح رياضياتياً ليس دائماً صحيحاً فيزيائياً، والعكس صحيح.
في فلسفة العلوم، يسمى ذلك الأطروحة الصورية لهيلبرت: الرياضيات لعبة رموز، منفصلة عن العالم الحقيقي. وباناخ-تارسكي هي الدليل الأكثر إزعاجاً على ذلك.
📐 لماذا لا يشتغل ذلك في البعد 1 أو 2؟
تفصيل مثير: باناخ-تارسكي صحيحة في البعد 3 وما فوق، لكن ليس في البعد 1 أو 2.
- البعد 1 (قطعة من مستقيم): يستحيل مضاعفة قطعة عبر التقطيع والدوران/الانسحاب. برهن ذلك هاوسدورف.
- البعد 2 (قرص): مستحيل أيضاً. كل مجموعة جزئية قابلة للقياس من المستوى لها قياس محفوظ بالدوران/الانسحاب.
- البعد 3 وما فوق (كرة): ذلك ممكن. بنية زمرة SO(3) للدورانات « غنية بما يكفي » للسماح بالسحر.
🌍 باناخ وتارسكي: عبقريان من مدرسة لفوف
كان ستيفان باناخ (1892-1945) وألفريد تارسكي (1901-1983) جزءاً من مدرسة لفوف الرياضياتية (اليوم لفيف، في أوكرانيا)، أحد أكثر مراكز رياضيات القرن العشرين تألقاً.
أسس باناخ التحليل الدالي الحديث (فضاءات باناخ، مبرهنة هان-باناخ). وأحدث تارسكي ثورة في المنطق الرياضياتي (نظرية النماذج، الدلالة الصورية). أنتج تعاونهما سنة 1924 هذه المتناقضة الخالدة.
🎓 الرابط مع برنامجك
باناخ-تارسكي ليست في برنامج البكالوريا علوم رياضية (يحتاج فهم البرهان إلى ماستر في الرياضيات). لكن المبرهنة تربط مفاهيم بدأت في اكتشافها:
- المجموعات، التجزيئات (الأولى بكالوريا علوم رياضية): تتحدث باناخ-تارسكي عن تجزيئات كرة إلى مجموعات جزئية منفصلة.
- قدرية اللانهاية (ما بعد البكالوريا): تحتوي الكرة على « نفس عدد » النقط التي تحتويها كرتان مجتمعتان. أظهر كانتور ذلك سابقاً بالنسبة للمجموعات القابلة للعد.
- هندسة الفضاء (برنامج الثانية بكالوريا علوم رياضية): دورانات وانسحابات في البعد 3، الرابط مع زمرة SO(3).
- مسلمة الاختيار (فلسفة الرياضيات): موضوع للتأمل في أسس الرياضيات.
🌌 المبرهنة من أجل الثقافة الرياضياتية
باناخ-تارسكي هي النتيجة الرياضياتية الأكثر إزعاجاً والأكثر تداولاً في القرن العشرين. إنها من المبرهنات النادرة التي تنجح في صدم الهواة والمحترفين في آن واحد.
وردت المبرهنة في مسلسلات تلفزيونية (The Big Bang Theory، Numb3rs)، وفي روايات (غريغ إيغان، Diaspora)، وفي محاضرات TED. إنها ترمز إلى الجانب الأكثر مخالفة للحدس والأكثر نقاءً في الرياضيات.