متناقضة باناخ–تارسكي

1. مقدمة

تُعدّ مفارقة باناخ–تارسكي مبرهنةً في الهندسة النظرية للمجموعات تؤكد أنه، بافتراض مسلَّمة الاختيار، يمكن تقسيم كرة صلبة في الفضاء الإقليدي ثلاثي الأبعاد إلى عدد منته من المجموعات الجزئية المنفصلة، ثم إعادة تجميعها، باستخدام الحركات الصلبة وحدها، لتشكّل كرتين متطابقتين كلٌّ منهما مع الكرة الأصلية. والنتيجة صارمة رياضيًا ومقبولة على نطاق واسع بوصفها مبرهنةً في نظرية المجموعات القياسية (ZFC)، غير أن نتيجتها تبدو متعارضة مع الأفكار المألوفة عن الحجم والمادة وحفظ الكتلة.

تتخذ المفارقة في صورتها الأشهر ادعاءً بوجود تجزئة للكرة إلى عدد منته صغير من القطع «غير المنتظمة» للغاية، بحيث:

• يمكن تحريك القطع دون تشوّه (عن طريق الدوران والانسحاب فقط)،
• ويمكن إعادة تجميعها في كرتين منفصلتين مساويتين للكرة الأصلية تمامًا في الحجم.

لا يدخل في ذلك أي تمدد أو تكرار أو خلق لنقاط جديدة؛ فجميع العمليات تقابلات للمجموعة الأساسية من النقاط.

ولأنها تعتمد على مجموعات غير قابلة للقياس بالنسبة إلى الحجم المعياري (قياس لبيغ)، تُقدَّم المفارقة غالبًا بوصفها مثالًا محوريًا على كيف يمكن للمجموعات اللامتناهية ومسلَّمة الاختيار أن تفضي إلى ظواهر تختلف اختلافًا حادًا عن الحدس الفيزيائي والهندسي. وتؤدي دورًا مهمًا في النقاشات حول المسلّمات التي ينبغي اعتمادها في نظرية المجموعات، وحول طبيعة الوجود الرياضي، وحول العلاقة بين الفضاء الرياضي والفضاء الفيزيائي.

ومن ثم فإن مفارقة باناخ–تارسكي هي في آنٍ واحد مبرهنةٌ دقيقة في الرياضيات الحديثة ومثالٌ محكٌّ في فلسفة الرياضيات وفلسفة الفيزياء، تُستخدم لاستكشاف الأفكار المتعلقة باللانهاية والقياس ووضع الأجسام المجردة.

2. النشأة والنسبة

تُسمّى متناقضة باناخ–تارسكي باسم عالِمَي الرياضيات البولنديين ستيفان باناخ (1892–1945) وألفرِد تارسكي (1901–1983). وقد جاء بحثهما المشترك

Sur la décomposition des ensembles de points en parties respectivement congruentes» — س. باناخ وأ. تارسكي، Fundamenta Mathematicae 6 (1924): 244–277

يتضمّن أول برهان منشور على التفكيك المتناقض لكرة صلبة في ℝ³.

السابقون والمؤثرات

أقامت النتيجة على أعمال سابقة، ولا سيما اكتشاف فيلكس هاوسدورف عام 1914 تفكيكًا متناقضًا للكرة ثنائية الأبعاد S²، وهو ما يُعرف اليوم بمتناقضة هاوسدورف. وكان هاوسدورف قد أظهر أن الكرة الوحدة S² (بعد حذف مجموعة جزئية صغيرة منها) يمكن تفكيكها إلى أجزاء تولّد، بالدوران، مجموعةً جزئيةً فعليةً متطابقةً مع المجموعة الأصلية، وهو ما أشار بالفعل إلى توتر عميق بين التماثل الهندسي والقياس.

عمّم باناخ وتارسكي أفكار هاوسدورف وطوّروها، مستخدمَين أساليب أكثر منهجية من نظرية الزمر ونظرية المجموعات. وقد استندا أيضًا إلى تطورات تأسيسية قدّمها جورج كانتور (المجموعات اللامتناهية والعدديّات الأصلية) وهنري لبيغ (القياس والتكامل)، فضلًا عن المناقشات الأولى حول مسلّمة الاختيار.

النسبة والتسمية

مع أن الظاهرة كثيرًا ما تُسمّى «متناقضة»، فإن باناخ وتارسكي صاغا البرهنة عليها بوصفها مبرهنة، مشيرَين إلى «التفكيك» لا إلى المتناقضة. وقد ظهرت التسمية الحديثة «متناقضة باناخ–تارسكي» حين أكّد مؤلفون ومعلّقون لاحقون التعارض بين نتيجة المبرهنة والحدس المألوف القائم على حفظ الحجوم.

يُنسب الإسهام عمومًا إلى الطرفين معًا:

بينما تُعدّ ورقة باناخ وتارسكي المنشورة عام 1924 المصدر المرجعي، فإن العروض اللاحقة، ولا سيما عروض جون فون نيومان وستانيسلاف أولام وآخرين من المدرسة البولندية، وسّعت الوعي بالنتيجة وساعدت على تثبيت اسمها وصيغتها المعيارية.

3. السياق التاريخي في نظرية المجموعات والقياس

ظهرت متناقضة باناخ–تارسكي خلال فترة تكوينية لنظرية المجموعات ونظرية القياس، حين كان الرياضيون يرسخون أفكار كانتور حول المجموعات اللامتناهية ونظرية لوبيغ في القياس، مع مواجهتهم في الوقت نفسه لمتناقضات منطقية ومتعلقة بنظرية المجموعات.

تطورات في نظرية المجموعات

منذ أواخر القرن التاسع عشر، قدم جورج كانتور الأعداد فوق المنتهية وفكرة أن المجموعات اللامتناهية يمكن أن تختلف في حجمها. وبحلول أوائل القرن العشرين، دفعت متناقضات مثل متناقضة راسل إلى محاولات لجعل نظرية المجموعات موضوعة على أسس بديهية. طوّر زيرميلو (1908) ثم فرانكل وسكولم لاحقًا ما أصبح يُعرف بنظرية المجموعات لزيرميلو–فرانكل (ZF)، مع الاعتراف سريعًا بمسلمة الاختيار (AC) بوصفها مبدأً مركزيًا لكنه مثير للجدل.

تطور نظرية القياس

وبالتوازي مع ذلك، وضع هنري ليبيغ (1901–1904) نظرية عامة للقياس والتكامل، فخصص «حجمًا» لفئة واسعة من المجموعات في ℝⁿ مع الحفاظ على الثبات بالانسحاب والجمعية العدودة. وسرعان ما أدرك، من خلال أعمال فيتالي وآخرين، أن افتراض مسلمة الاختيار يؤدي إلى مجموعات غير قابلة للقياس، أي مجموعات جزئية من ℝ لا يمكن إسناد مقياس ليبيغ إليها دون تناقض.

مدرسة بولندا والمتناقضات المبكرة

شهد أوائل القرن العشرين ازدهار المدرسة البولندية للرياضيات، المتمركزة في وارسو ولفوف، حيث تابع باناخ وتارسكي وزملاء آخرون التحليل الدالي ونظرية المجموعات والطوبولوجيا. وفي هذا السياق:

• قدم فيتالي (1905) مجموعة جزئية غير قابلة للقياس من [0,1].
• برهن هاوسدورف (1914) على تفكيك متناقض للكرة S² باستخدام زمرة الدوران.
• أصبحت المناقشات حول مسلمة الاختيار والمجموعات غير القابلة للقياس منتشرة على نطاق واسع.

نظرة عامة زمنية:

ضمن هذا السياق، جمعت مبرهنة باناخ وتارسكي عدة خيوط: قوة مسلمة الاختيار، ووجود مجموعات غير قابلة للقياس شديدة الخصوصية، والسلوك المفاجئ للبنى اللامتناهية تحت أفعال الزمر. وقد عمّقت نتيجتهما الجدل الأساسي، إذ أظهرت أن حتى الأجسام الهندسية الملموسة جدًا، كالكرة في ℝ³، تُظهر تفكيكات غير بديهية إلى حد كبير تحت البديهيات المعيارية.

4. الصياغة الرسمية للمفارقة

تُصاغ مفارقة باناخ–تارسكي في أكثر صورها شيوعًا بوصفها نظرية حول الكرة الوحدة في ℝ³ وفق البنية الإقليدية المعتادة، مع افتراض نظرية المجموعات لزيرميلو–فرانكل مع مسلمة الاختيار (ZFC).

الصياغة الهندسية المعيارية

تتمثل صياغة رسمية نموذجية في ما يلي:

نظرية (باناخ–تارسكي). لنفترض ZFC. لتكن B ⊂ ℝ³ كرةً مصمتة. عندئذٍ توجد تجزئة للكرة (B) إلى عدد منتهٍ من المجموعات الجزئية المتمايزة مثنى مثنى [ B = A_1 \cup A_2 \cup \dots \cup A_n ]، وحركات صلبة (تطابقات) T₁, …, T_n, S₁, …, S_n للفضاء ℝ³ بحيث يكون [ T_1A₁ \cup \dots \cup T_nA_n ] و[ S_1A₁ \cup \dots \cup S_nA_n ] كرتين مصمتتين متمايزتين، كل منهما متطابقة مع (B).

ويمكن القول بعبارة أخرى إن (B) متساوية التركيب مع نسختين متمايزتين من نفسها، باستخدام عدد منتهٍ فقط من القطع والحركات الصلبة.

الصياغة النظرية للزمر

بلغة أكثر تجريدًا، يمكن التعبير عن النظرية بدلالة التجزئات المفارقة تحت أفعال الزمر:

توجد زمرة جزئية حرة F₂ من زمرة الدوران (SO(3)) تفعل على الكرة الوحدة S²، بحيث تكون S² (ناقصًا مجموعة منتهية) مفارِقة بالنسبة إلى هذا الفعل. ويمكن توسيع هذه التجزئة المفارِقة لـS² شعاعيًا لتنتج تجزئة مفارِقة للكرة المصمتة في ℝ³.

هنا، تكون المجموعة (X) مفارِقة تحت الزمرة (G) إذا أمكن تجزئتها إلى عدد منتهٍ من القطع التي يمكن إعادة تجميعها، بواسطة عناصر (G)، لتصبح نسختين متمايزتين من مجموعة جزئية متطابقة مع (X) نفسها.

النطاق والمتغيرات

تشمل السمات الرئيسية للصياغة الرسمية ما يلي:

• استخدام عدد منتهٍ من القطع (في مقابل عدد قابل للعد).
• قصر الأمر على التطابقات (دون تكبير أو تشويه).
• الاعتماد على مسلمة الاختيار لضمان وجود القطع غير القابلة للقياس.

توجد متغيرات لمجموعات أخرى (مثل مجموعات جزئية محدودة معينة من ℝ³) ولأفعال زمر أخرى غير قابلة للتحليل، في حين أن نتائج مماثلة معروفة بأنها لا تتحقق في الأبعاد الأدنى تحت القيود نفسها.

5. الافتراضات الأساسية والبديهيات

تُثبت مفارقة باناخ–تارسكي ضمن نظرية المجموعات البديهية القياسية، وتعتمد على افتراضات بنيوية محددة تتعلق بالفضاء والتماثل.

الإطار النظري للمجموعات

يتمثل الإطار المعتاد في نظرية زيرميلو–فرانكل مع مسلمة الاختيار (ZFC). وتشمل المكونات ذات الصلة ما يلي:

• بديهيات ZF (الامتداد، والفصل، والاستبدال، وغيرها) التي تدعم بناء مجموعات من النقاط في ℝ³.
• بديهية اللانهاية، التي تضمن وجود مجموعات لا متناهية.
• بديهية مجموعة القوى ومبادئ الفهم الأخرى المستخدمة لتكوين مجموعات جزئية معقدة.

الافتراض الإضافي الحاسم هو:

• بديهية الاختيار (AC): لأي عائلة من المجموعات غير الخالية، توجد دالة اختيار تنتقي عنصرًا واحدًا من كل مجموعة.

لا يمكن اشتقاق AC من بقية بديهيات ZF، وله وضع مستقل. وهي تتيح اختيار ممثلين عن فئات تكافؤ لا متناهية العدد، وتقوم عليها عملية بناء المجموعات غير القابلة للقياس.

بنية الفضاء والتحويلات

تفترض النظرية ما يلي:

• الفضاء الإقليدي ثلاثي الأبعاد ℝ³ بمقياسه المعتاد.
• زمرة الحركات الصلبة (المتساويات القياس) في ℝ³: تركيبات من الدورانات والانسحابات.
• على وجه الخصوص، زمرة الدوران (SO(3))، والتي يُفترض داخلها وجود زمرة جزئية حرة مولّدة بعنصرين (وهي حقيقة كلاسيكية في نظرية الزمر).

تُرمّز هذه الافتراضات إلى تماثلات هندسية بديهية: فالمسافات والأشكال تُحفظ بالمتساويات القياس.

خلفية نظرية القياس

على الرغم من أن البرهان لا يتطلب البناء الصريح لقياس لوبيغ، فإنه يفترض ما يلي:

• الإطار المفاهيمي للقياس بوصفه ثابتًا تحت الانسحاب والدوران على المجموعات «الحسنة».
• القبول بأن ليست كل المجموعات الجزئية من ℝ³ يلزم أن يكون لها قياس لوبيغ معرّف تعريفًا جيدًا متى اعتُمدت AC.

تُفترض في المناقشات ضمنًا افتراضات تتعلق بالجمعية المعدودة مقابل الجمعية المنتهية، لكنها ليست بديهيات في ZF أو ZFC ذاتهما. وتُظهر المفارقة أنه لا يوجد مقياس مجمعي منتهيًا وثابتًا تحت المتساويات القياس ومعرّفًا على كل المجموعات الجزئية من ℝ³ يمكن أن يمتد ليشمل قياس لوبيغ مع بقائه متسقًا مع مفارقة باناخ–تارسكي.

تُنشئ هذه البديهيات والافتراضات البنيوية معًا بيئةً يمكن فيها لمجموعات كبيرة جدًا من النقاط، خاضعةً لزمر تماثل غنية ولاختيارٍ قائم على AC، أن تُظهر تحليلات متناقضة (مفارقية).

6. البنية المنطقية واستراتيجية البرهان

يتبع برهان متفارقة بانَخ–تارسكي بنيةً متسلسلة من الأفكار بدلًا من البناء الصريح للأجزاء. وهو غير بنائي إلى حدٍّ كبير، إذ يعتمد على أفعال الزمر وعلى مسلّمة الاختيار.

البنية العامة

يمكن تلخيص الاستراتيجية المنطقية على النحو الآتي:

1. تحديد زمرة غير قابلة للتوسيط من التماثلات تؤثر في الكرة، وتحديدًا زمرة جزئية حرّة F₂ من زمرة الدوران (SO(3)).
2. استخدام هذا الفعل لإثبات أن كرة الوحدة S² (مع حذف مجموعة منتهية من النقاط) تقبل تفكيكًا متفارقًا، أي يمكن تقسيمها إلى عدد منتهٍ من الأجزاء التي يمكن تحريكها بعناصر من F₂ لتكوين نسختين منفصلتين من نفسها.
3. الاستعانة بمسلّمة الاختيار لاختيار نقطة ممثِّلة من كل مدار لفعل F₂، فتتولد بذلك مجموعات جزئية غير قابلة للقياس تُستخدم في التفكيك المتفارق.
4. توسيع التفكيك المتفارق من السطح الكروي إلى الكرة المصمتة، وذلك بملء قطع المستقيم الشعاعية الممتدة من المركز إلى كل نقطة على S².
5. تفسير التقسيم الناتج للكرة بوصفه يُنتج كرتين منفصلتين كلٌّ منهما متطابقة مع الكرة الأصلية، وذلك بوساطة تطابقات مناسبة.

استخدام التكافؤ بالتفكيك

من المفاهيم المتكررة مفهوم التكافؤ بالتفكيك: فمجموعتان تكونان متكافئتين بالتفكيك تحت زمرة (G) إذا أمكن تقسيم كل منهما إلى عدد منتهٍ من الأجزاء تتناظر تحت عناصر (G). ويُظهر البرهان ما يلي:

• الكرة متكافئة بالتفكيك مع مجموعتها الجزئية الفعلية (نسختان منفصلتان من نفسها)،
• وذلك باستخدام تطابقات من زمرة جزئية من زمرة التماثل فحسب.

الجوانب غير البنائية

البرهان استنباطي، لكنّ:

• لا يحدد صيغًا صريحة للأجزاء.
• يعتمد على دوال اختيار لانتقاء عناصر من عدد لا نهائي من المدارات، وهو أمر تضمنه مسلّمة الاختيار لكنه لا يمكن تعريفه بعبارات بسيطة.

توضح هذه الاستراتيجية كيف أن وجود تلك الأجزاء المتفارقة يلزم منطقيًا عن المسلّمات والحقائق المتعلقة بنظرية الزمر، وإن كان لا يمكن وصفها وصفًا صريحًا أو تخيّلها بالمصطلحات الهندسية المألوفة.

7. التفكيك المتناقض وأفعال الزمر

يقوم جوهر متناقضة بناخ–تارسكي على مفهوم التفكيك المتناقض، الذي تمت صياغته بدلالة أفعال الزمر على المجموعات.

أفعال الزمر والتكافؤ بالتفكيك

يُسمّى فعل الزمرة (G) على المجموعة (X) قاعدةً تُسند إلى كل g ∈ G تقابلاً من (X)، يُكتب g · x، وتحقق شروط توافق طبيعية. فالتطابقات في ℝ³، على سبيل المثال، تفعل في مجموعة نقاط ℝ³.

تكون مجموعتان جزئيتان A, B ⊆ X متكافئتين بالتفكيك تحت (G) إذا وُجدت تجزئات

A = A₁ ∪ … ∪ A_n, B = B₁ ∪ … ∪ B_n

وعناصر g₁, …, g_n ∈ G بحيث g_i(A_i) = B_i لكل i.

التفكيك المتناقض

تُسمّى المجموعة (X) متناقضة (بالنسبة إلى (G)) إذا أمكن تجزئتها إلى عدد منته من الأجزاء يمكن إعادة تجميعها بعناصر من الزمرة في نسختين مُنفصلتين من مجموعة جزئية مطابقة لـ (X). وبصورة أكثر تحديدًا، توجد مجموعات جزئية A₁, …, A_m, B₁, …, B_n ⊆ X وعناصر g₁, …, g_m, h₁, …, h_n ∈ G بحيث:

• X = ⋃_i=1^m A_i = ⋃_j=1ⁿ B_j،
• الاتحادات منفصلة،
• ⋃_i=1^m g_i(A_i) و⋃_j=1ⁿ h_j(B_j) مجموعتان جزئيتان منفصلتان، كل منهما متكافئة بالتفكيك مع (X).

التطبيق على الكرة والكرة المصمتة

في متناقضة بناخ–تارسكي:

• (X) هي جوهريًا الكرة ذات البعدين S² (ناقصًا عددًا منتهيًا من النقاط).
• (G) هي زمرة جزئية حرة من (SO(3)) مولّدة بعنصرين، تفعل بالدورانات.

يتيح وجود مثل هذه الزمرة الجزئية الحرة بناء (باستخدام مسلّمة الاختيار) مدارات ومجموعات ممثِّلة يمكن تجزئتها إلى أجزاء تُعاد ترتيبها بعناصر من (G) في نسختين من (X).

يُمدّ هذا التفكيك المتناقض على الكرة بعد ذلك إلى الكرة المصمتة بإلحاق قطاعات نصف قطرية بكل نقطة من الكرة. وتقابل أفعال الزمر الحركات الصلبة (الدورانات، ثم الانسحابات)، ولذلك لا يتضمن التفكيك الناتج إلا تطابقات في ℝ³.

العلاقة بعدم القابلية للتوسيط

في التطورات اللاحقة، عُرفت هذه التفكيكات المتناقضة بوصفها سمةً مميزة للزمر غير القابلة للتوسيط. وبالنسبة إلى المجموعات التي تفعل فيها هذه الزمر، كثيرًا ما يكون التفكيك المتناقض ممكنًا، بينما يُستبعد ذلك في الزمر القابلة للتوسيط. وفي متناقضة بناخ–تارسكي، السمة الحاسمة هي أن زمرة الدورانات في ثلاثة أبعاد تحتوي على زمرة جزئية حرة، ومن ثم غير قابلة للتوسيط.

8. دور مسلمة الاختيار والمجموعات غير القابلة للقياس

تعتمد متناقضة باناخ–تارسكي اعتمادًا جوهريًا على مسلمة الاختيار (AC) وعلى وجود مجموعات غير قابلة للقياس في ℝ³.

استخدام مسلمة الاختيار

في البرهان، تُستدعى مسلمة الاختيار من أجل:

• اختيار ممثل واحد من كل مدار لفعل زمرة جزئية حرة من (SO(3)) على الكرة.
• بناء مجموعات لا يمكن تحديد عناصرها بأي قاعدة وصفية بسيطة، لكن وجودها مضمون بدالة اختيار شاملة.

من دون مسلمة الاختيار، قد لا تكون ممثلات المدارات هذه قابلة للبناء. والمعروف في الواقع أنه في بعض نماذج نظرية المجموعات التي تفشل فيها مسلمة الاختيار أو تُقيَّد، لا يمكن إثبات تفكيكات من نوع متناقضة باناخ–تارسكي.

نشوء المجموعات غير القابلة للقياس

المجموعات الناتجة عن مسلمة الاختيار:

• تكون في العادة غير قابلة للقياس بالنسبة إلى قياس لوبيغ.
• لا تقبل حجمًا معرَّفًا جيدًا متوافقًا مع عدم التغير بالانسحاب والدوران مع الجمعية العدّية.

وهذا يجعل متناقضة باناخ–تارسكي متسقة مع أسبق البناءات، مثل مجموعات فيتالي: إذ تتيح مسلمة الاختيار الانتقاء من فئات تكافؤ غير عدّية (مثلًا بالنسبة إلى الانسحابات النسبية على [0,1]) بطريقة تتعارض مع الخواص القياسية المعتادة.

في متناقضة باناخ–تارسكي:

• إذا افترضنا وجود «حجم» قابل للجمع المنتهي وغير متغير بالتماثلات المتساوية القياس، معرَّف على جميع المجموعات الجزئية من ℝ³ ويتفق مع قياس لوبيغ على المجموعات القابلة للقياس، فإن التفكيك المتناقض يقود إلى تناقض: إذ سيتعين أن يساوي «حجم» الكرة ضعفَ نفسه.
• يتمثل الحل داخل الرياضيات في قبول أنه لا يمكن أن يوجد مثل هذا القياس على جميع المجموعات، وأن القطع الناتجة في التفكيك تقع خارج مجال قياس لوبيغ.

نتائج الاعتماد والاستقلال

تُظهر البحوث في نظرية المجموعات ما يلي:

وعليه، فإن مسلمة الاختيار ليست مجرد أداة تقنية مريحة في البرهان؛ بل هي متشابكة بعمق مع وجود مجموعات مرضية غير قابلة للقياس، وهي التي تجعل التفكيك المتناقض ممكنًا.

9. الحدس المتعلق بالحجم والقياس والحفظ

تتحدى متناقضة باناخ–تارسكي مباشرةً الحدوس المألوفة المتعلقة بالحجم والقياس والحفظ.

الحدوس الكلاسيكية

في الهندسة الإقليدية والخبرة اليومية، تُعدّ المبادئ التالية مسلَّمةً في العادة:

• الثبات تحت الحركات الصلبة: إن تحريك جسم صلب دون تمديده أو ضغطه لا يغيّر حجمه.
• الجمعية المنتهية: إذا كان جسمان منفصلين، فإن حجم اتحادهما يساوي مجموع حجميهما.
• استدلال شبيه بالحفظ: لا يمكن إنتاج جسم صلب أكبر بمجرد تقطيع جسم أصغر وإعادة ترتيبه، دون إضافة مادة أو توسيعه.

تُصاغ هذه الحدوس رياضياً في نظرية القياس عبر قياس لوبيغ، وهو قياس ثابت تحت الانسحاب والدوران، وجمعي عدّياً على مجموعة كبيرة من المجموعات (المجموعات القابلة للقياس).

التعارض مع المتناقضة

في تفكيك باناخ–تارسكي:

• تُقسَّم كرة واحدة (B) إلى عدد منتهٍ من القطع A₁, …, A_n.
• تُنقل هذه القطع بتطابقات إلى أن تشكّل كرتين كل منهما متطابقة مع (B).

إذا حاول المرء تطبيق الحدوس المعيارية، فقد يستدل قائلاً:

• لكل قطعة حجمٌ ما.
• تحافظ الحركات الصلبة على تلك الأحجام.
• يجب أن يساوي حجم كل من الكرتين المعاد تجميعهما حجم (B).
• ومن ثمّ يبدو أن الحجم الكلي قد تضاعف، وهو ما يخالف الجمعية المنتهية والحفظ.

تنشأ المتناقضة لأن هذا الاستدلال يفترض ضمنياً أن جميع المجموعات المعنية لها أحجام محددة تحقق الجمعية المنتهية. غير أن القطع في إنشاء باناخ–تارسكي غير قابلة للقياس؛ إذ لا يسند إليها قياس لوبيغ حجماً على الإطلاق.

التوترات التأويلية

تفسّر جماعات مختلفة هذا التوتر بطرق مختلفة:

• يعدّه بعضهم دليلاً على أنه ليست كل مجموعة جزئية من ℝ³ يمكن أو ينبغي أن يكون لها حجم، وأن القياس جزئي بطبيعته.
• ويرى آخرون أنه يشير إلى أن حدوسنا الساذجة المتعلقة بالحفظ تعتمد على افتراضات ضمنية بالقابلية للقياس تفشل في حالة مجموعات مرضية للغاية بعينها.
• وفي الفيزياء، حيث تتكون الأجسام من ذرات أو حقول ولا تكون إلا مناطق معينة ذات معنى فيزيائي، يُنظر إلى المتناقضة في الغالب على أنها تبرز الفجوة بين الاستمرارات الرياضية والمادة الفيزيائية، لا بوصفها تهديداً حقيقياً لقوانين الحفظ الفيزيائية.

وهكذا تُعدّ متناقضة باناخ–تارسكي مثالاً محورياً لدراسة كيفية ارتباط المفاهيم الصورية للقياس بالتصورات اليومية والفيزيائية للحجم والحفظ، وكيف تتباعد عنها أحياناً.

10. الاعتراضات والانتقادات المعيارية

أثارت مفارقة باناخ–تارسكي طائفة واسعة من الاعتراضات والانتقادات من علماء الرياضيات والفلاسفة والفيزيائيين. وتستهدف هذه الانتقادات عادةً افتراضاتها، أو صلتها بالعالم المادي، أو دلالاتها على مفاهيم مثل الحجم.

الاعتراض من الاستحالة الفيزيائية

يلاحظ كثير من المعلقين أن المبرهنة تبدو وكأنها تسمح بمضاعفة المادة:

• يمكن من حيث المبدأ إعادة ترتيب كرة صلبة واحدة لتصبح كرتين بالحجم نفسه.
• يبدو أن هذا ينتهك حفظ الكتلة/الطاقة والقيود الفيزيائية الأساسية.

يرى المنتقدون أن أي نتيجة تفضي إلى «خلق» الحجم بمجرد إعادة الترتيب مشكوك فيها بطبيعتها بوصفها وصفًا لعمليات فيزيائية حقيقية.

الاعتماد على مسلمة الاختيار

يركز نقد شائع آخر على مسلمة الاختيار:

• تتطلب مفارقة باناخ–تارسكي مسلمة الاختيار بصورة جوهرية.
• يرى بعضهم أن الطبيعة غير البنائية لمسلمة الاختيار تسمح بكائنات مرضية (مثل المجموعات غير القابلة للقياس) تقوّض المفاهيم البديهية للحجم والمساحة.

ومن هذا المنظور، تُعد المفارقة أحيانًا بمثابة برهان خُلف على الاستخدام غير المقيد لمسلمة الاختيار في تطبيقها على المتصلات. وقد شدد مؤلفون مثل ج. ل. بيل وغيره على أن الرياضيات اليومية نادرًا ما تحتاج إلى القوة الكاملة لمسلمة الاختيار، مما يوحي بأن النتائج المثيرة للجدل لهذه المسلمة (ومنها مفارقة باناخ–تارسكي) قد تشير إلى حدود استخدامها المشروع.

القطع غير القابلة للقياس وغير الفيزيائية

يؤكد نقد ذو صلة أن القطع في التفكيك المفارق غير قابلة للقياس وتفتقر إلى أي قابلية للتحقق الفيزيائي:

• لا يمكن وصفها بصيغ صريحة أو بناؤها بإجراءات منتهية.
• لا تتوافق مع أي تقسيم ممكن للمادة، سواء كان عيانيًا أو مجهريًا.

من هذا المنظور، تُرى المبرهنة متسقة رياضيًا لكنها غير ذات صلة فيزيائيًا، وتُعزى طبيعتها «المفارقة» إلى الخلط بين مجموعات النقاط الرياضية والأجسام الفيزيائية.

التماسك الحدسي للحجم

يتساءل بعض الفلاسفة، متبعين خطوط الفكر التي مثّلها هيرمان فايل ومؤلفون لاحقون، عما إذا كان إطار يقبل مجموعات لا يملك حجمًا متماسكًا مرضيًا من الناحية التصورية:

• إذا عُدّ مفهوم «الحجم» الذي يُخفق في الجمعية المنتهية للمجموعات الجزئية المنفصلة غير متماسك، فإن وجود مثل هذه المجموعات يلقي الشك على الأنطولوجيا النظرية للمجموعات الكامنة وراءه.
• تُؤخذ المفارقة عندئذٍ لتبيين أن التصورات الكلاسيكية للمتصل بوصفه مجموعة نقاط قد تكون معيبة أو ناقصة.

ملخص الانتقادات الرئيسية

أفضت هذه الاعتراضات إلى تحفيز تفسيرات بديلة ومقاربات أساسية متنوعة، تُناقش في الأقسام اللاحقة.

11. الحلول المقترحة واستراتيجيات التأويل

تستجيب لمشكلات التوتر التي أثارتها متناقضة باناخ–تارسكي، طرح الرياضيون والفلاسفة عدة استراتيجيات تأويلية وحلولًا مقترحة. ولا تنازع هذه الاستراتيجيات عادةً في الصحة المنطقية للنظرية داخل ZFC، بل تهدف إلى توضيح معناها ونتائجها.

التمييز بين الفضاء الرياضي والفضاء الفيزيائي

تؤكد إحدى الاستراتيجيات البارزة تمييزًا حادًا بين:

• الفضاء الرياضي، ويُنمذج بوصفه متصلًا من النقاط (ℝ³) تحكمه نظرية ZFC والمسلمة الاختيارية AC.
• الفضاء الفيزيائي، وقد يكون منفصلًا أو مكمّمًا أو غامضًا، أو مقيّدًا بقوانين فيزيائية.

وفق هذا الرأي:

• تصف متناقضة باناخ–تارسكي تشكيلات ممكنة لمجموعات نقطية مجردة، لا لأجسام صلبة فيزيائية.
• تنطبق قوانين الحفظ على الأجسام الفيزيائية القابلة للقياس، لا على مجموعات تعسفية من النقاط، ولذلك لا تنشأ مفارقة فيزيائية حقيقية.

تقييد المسلمات أو تعديلها

يتمثل نهج آخر في تقييد المسلمات الأساسية أو إعادة صياغتها:

• يقترح بعضهم العمل ضمن ZF دون مسلمة الاختيار الكاملة، أو باستخدام صيغ أضعف من الاختيار تكفي لمعظم التحليل لكنها لا تفضي إلى متناقضة باناخ–تارسكي.
• ويتبنى آخرون مسلمات إضافية، مثل «جميع مجموعات الأعداد الحقيقية قابلة للقياس بمفهوم لوبيغ»، ومن المعروف أنها تمنع تفكيكات من نوع متناقضة باناخ–تارسكي.

يرى المؤيدون أن مثل هذه الأطر تتوافق بصورة أفضل مع الحدس القائم على نظرية القياس والحدس الفيزيائي المتعلق بالحجم.

القبول برياضيات غير بديهية لكنها متسقة

يرى كثير من منظّري المجموعات أن متناقضة باناخ–تارسكي تبيّن أن:

• مقياس لوبيغ جزئي بطبيعته، إذ يُعرَّف فقط على جبر سيغما من المجموعات «المنتظمة».
• المجموعات غير القابلة للقياس، رغم مخالفتها للحدس، كائنات رياضية مشروعة.

هنا يكون الحل في تقييد تطبيق الحدوس المتعلقة بالحجم: فالحجم مفهوم معرَّف بدقة للمجموعات القابلة للقياس فقط، والأجزاء المتناقضة تقع ببساطة خارج هذا المجال.

التفسير البنيوي عبر القابلية للتوسط

من خلال نظرية الزمر القابلة للتوسط وغير القابلة للتوسط، تُفسَّر متناقضة باناخ–تارسكي بوصفها ظاهرة بنيوية:

• تُنتج الزمر غير القابلة للتوسط (مثل الزمر الحرة الواقعة داخل (SO(3))) تفكيكات متناقضة بشكل طبيعي.
• أما الزمر القابلة للتوسط فلا تُنتجها، وهذا يفسر عدم ظهور مفارقات مماثلة في أفعال ℤ أو ℝ بالانسحابات وحدها.

يعيد هذا التفسير تأطير متناقضة باناخ–تارسكي بوصفها حالة من نمط بنيوي أوسع، لا بوصفها غرابة معزولة.

مراجعة الحدوس المتعلقة بالحجم والمتصلات

يدعو بعض الفلاسفة إلى مراجعة الافتراضات الساذجة:

• ليست لكل مجموعة جزئية من ℝ³ حجم معرَّف بوضوح.
• قد تمتلك المتصلات النقطية خصائص تختلف عن التخيل الهندسي أو الفيزيائي.

وفق هذا الرأي، تزول «المفارقة» بمجرد أن نحدد بعناية المواضع التي تنطبق فيها الحدوس المتعلقة بالحجم، ونقرّ بحدود مفاهيمنا السابقة على النظرية.

تتعايش هذه الاستراتيجيات التأويلية وكثيرًا ما تُدمج معًا، وتقدم طرائق مختلفة لوضع متناقضة باناخ–تارسكي ضمن الرياضيات وتطبيقاتها.

12. الروابط مع القابلية للتحليل والنظرية الهندسية للزمر

أسهمت التطورات اللاحقة في نظرية الزمر الهندسية في وضع متناقضة باناخ–تارسكي ضمن إطار أوسع يشمل القابلية للتحليل والتفكيكات المتناقضة.

الزمر القابلة للتحليل مقابل الزمر غير القابلة للتحليل

تكون الزمرة (G) قابلة للتحليل إذا وُجد على جميع المجموعات الجزئية لـ (G) مقياس احتمالي جمعي محدود وثابت تحت الانسحاب. وبشكل غير رسمي، تلتقط القابلية للتحليل فكرة أن «المتوسطات» على الزمرة يمكن إدراكها بطريقة تتوافق مع تناظراتها.

النقاط الأساسية:

• الأمثلة الكلاسيكية للزمر القابلة للتحليل: الزمر المنتهية، و‏ℤ، و‏ℝⁿ، وبوجه أعم، الزمر القابلة للحل.
• الزمر غير القابلة للتحليل، مثل الزمر الحرة ذات مولدين أو أكثر، تفتقر إلى مثل هذه المقاييس الجمعية المحدودة الثابتة.

التفكيكات المتناقضة وعدم القابلية للتحليل

نظرية أساسية (غالبًا ما تُنسب إلى عمل جون فون نيومان وتطورات لاحقة) تُقيم رابطًا وثيقًا:

• تكون الزمرة (G) غير قابلة للتحليل إذا وفقط إذا قبلت تفكيكًا متناقضًا بمعنى تارسكي: تقريبًا، يمكن تقسيم (G) إلى أجزاء تُعاد تجميعها في نسختين منفصلتين من (G) عبر انسحابات يسارية.

تحاكي هذه المفارقة الزمرية متناقضة باناخ–تارسكي المجموعية، بل يمكن النظر إلى الأخيرة بوصفها مثالًا على هذا السلوك تحت فعل زمري على ℝ³.

دور زمرة الدوران SO(3)

في متناقضة باناخ–تارسكي:

• تؤثر زمرة الدوران (SO(3)) في الكرة ذات البعدين S².
• داخل (SO(3)) توجد زمرة جزئية حرة ذات مولدين، وهي غير قابلة للتحليل.

يُمكّن عدم القابلية للتحليل هذا من التفكيك المتناقض للكرة تحت فعل الزمرة، والذي يُوسَّع بعد ذلك ليشمل الكرة المصمتة.

على النقيض من ذلك:

• في بعد واحد، لا تسمح الانسحابات على ℝ (المتماثلة مع الزمرة القابلة للتحليل (ℝ, +)) بتفكيكات متناقضة من نوع باناخ–تارسكي باستخدام الانسحابات وحدها.
• في بعدين، تسري قيود مماثلة على أفعال الزمر القابلة للتحليل، وإن كانت تنشأ دقائق إذا وُسِّعت زمرة التناظر.

السياق الأوسع للنظرية الهندسية للزمر

تدرس نظرية الزمر الهندسية الزمر من خلال أفعالها على الفضاءات المترية والأجسام التوافقية. وضمن هذا المجال:

• يُنظر إلى متناقضة باناخ–تارسكي بوصفها مثالًا نموذجيًا على كيفية إنتاج أفعال الزمر غير القابلة للتحليل لتفكيكات مخالفة للبداهة.
• تُستخدم مفاهيم مثل مجموعات فولنر، والمتباينات الإيزوبيرمترية، ومعدلات النمو لتوصيف القابلية للتحليل وفشلها.

تقدم العلاقة بين متناقضة باناخ–تارسكي والقابلية للتحليل، إذن، تفسيرًا بنيويًا لمتى ولماذا يمكن أن تحدث مثل هذه المتناقضات، إذ تربط الظواهر المجموعية بالخصائص الزمرية، وتوسّع أثر المتناقضة إلى ما وراء الهندسة الإقليدية.

13. الآثار المترتبة على مسلمة الاختيار والأسس

لعبت متناقضة باناخ–تارسكي دورًا محوريًا في المناقشات حول وضع مسلمة الاختيار (AC) واختيار المسلمات لأسس الرياضيات.

AC بوصفها مصدرًا لنتائج غير بديهية

يُستشهد غالبًا بمتناقضة باناخ–تارسكي، إلى جانب مجموعة فيتالي ونتائج أخرى، دليلًا على أن مسلمة الاختيار تفضي إلى نتائج بالغة اللابداهة:

• تتيح مسلمة الاختيار بناء مجموعات غير قابلة للقياس في ℝ وℝ³.
• يمكن لهذه المجموعات أن تسلك سلوكًا يتعارض مع الأفكار الكلاسيكية عن الحجم والحيز.

تفسّر بعض البرامج الأساسية هذا بوصفه سببًا لإعادة النظر في مسلمة الاختيار أو تقييدها، لا سيما في السياقات المتعلقة بالمتصلات أو القياس.

أُطر نظرية المجموعات البديلة

تستجيب مقاربات أساسية مختلفة بطرق متباينة:

• ZF دون AC: في نظرية ZF الخالصة لا يمكن إثبات متناقضة باناخ–تارسكي. غير أن مسلمة الاختيار مستقلة عن ZF، فلا يمكن كذلك إثبات نفيها؛ ووجود تفكيكات من نمط باناخ–تارسكي أو عدم وجودها لا تحسمه ZF وحدها.
• ZF مع الاختيار المعتمد (DC): إن صورة أضعف من الاختيار، هي DC، تكفي لمعظم التحليل لكنها قد لا تكفي لمتناقضة باناخ–تارسكي. وهذا يوحي بأن كثيرًا من فروع الرياضيات لا تحتاج إلى القوة الكاملة لمسلمة الاختيار التي تفضي إلى المتناقضة.
• ZF + «جميع مجموعات الأعداد الحقيقية قابلة للقياس بمعنى لبيغ»: في ظل افتراضات إضافية تتعلق بالعدد الأصلي الكبير توجد نماذج كهذه، وتستبعد تفكيكات من نمط باناخ–تارسكي. ويرى مؤيدوها فيها بديلًا أكثر ملاءمة للقياس من ZFC.

تفسيرات الوجود الرياضي

تُسهم متناقضة باناخ–تارسكي في النقاشات حول ما يُعد كائنًا رياضيًا مشروعًا:

• قد تقبل الرؤى الأفلاطونية أو الواقعية وجود مجموعات غير قابلة للقياس وتفكيكات متناقضة بوصفها جزءًا من البنية الموضوعية للواقع الرياضي الذي تستلزمه ZFC.
• قد ينظر الصوريون إلى هذه النتائج بوصفها نتائج لتبني أنظمة مسلمات معينة، دون الالتزام بوجود مستقل للكائنات.
• غالبًا ما ترفض البرامج البنائية أو التنبؤية مسلمة الاختيار والمبادئ غير البنائية المرتبطة بها، أو تقيّدها، مدفوعةً جزئيًا بتجنب نتائج متناقضة كمتناقضة باناخ–تارسكي.

التأثير في المواقف الأساسية

على الرغم من أن مسلمة الاختيار تظل مستخدمة ومقبولة على نطاق واسع في الرياضيات السائدة، فإن متناقضة باناخ–تارسكي:

• تُعد مثالًا معياريًا في الكتب المدرسية والنقاشات الفلسفية على سبب كون مسلمة الاختيار غير تافهة وأحيانًا مثار جدل.
• تحفّز دراسة الاتساق النسبي والنتائج المترتبة على أنظمة المسلمات المختلفة (مثل ZFC مقابل ZF + DC مقابل مسلمات أقوى عن المجموعات القابلة للقياس).
• تُبرز التوتر بين تعظيم قوة الوجود (بإتاحة مجموعات وبُنى أغنى) والحفاظ على الخواص البديهية (كالقابلية العامة للقياس).

بهذا المعنى، تواصل المتناقضة تشكيل طريقة تقييم المسلمات الأساسية ومقارنتها.

14. الأهمية الفلسفية للرياضيات والفيزياء

كان لمفارقة باناخ–تارسكي تأثير واضح في النقاشات الفلسفية حول طبيعة الأجسام الرياضية، وتأويل نظرية المجموعات، والعلاقة بين الرياضيات والواقع الفيزيائي.

فلسفة الرياضيات

في فلسفة الرياضيات، تثير المفارقة تساؤلات حول:

• الالتزام الأنطولوجي: هل ينبغي قبول وجود مجموعات شديدة اللابنائية تفضي إلى تفكيكات متناقضة للحدس.
• نظرية المعرفة في الرياضيات: كيف يمكننا المطالبة بمعرفة كيانات ونتائج تعتمد على مسلمة الاختيار ولا يمكن تصورها أو بناؤها صراحةً.
• الملاءمة المفهومية لنظرية المجموعات: هل يلتقط التصور المعتاد للمتصل بوصفه مجموعة من النقاط المفهوم المقصود للفضاء والكمية، أم أن تصورات بديلة (مثلاً قائمة على المناطق، أو الأعداد الحقيقية البنائية، أو نظرية الأنماط) قد تكون مفضلة.

تفسّر المواقف الفلسفية المختلفة المفارقة تفسيرات متباينة:

فلسفة الفيزياء

بالنسبة إلى الفيزياء، تبرز مفارقة باناخ–تارسكي الفجوة بين النماذج الرياضية والأنظمة الفيزيائية:

• إذا كان الفضاء الفيزيائي متصلاً ومنمذجاً تماماً بالفضاء ℝ³ مع مسلمة الاختيار، فقد يبدو أن التفكيكات المتناقضة تهدد قوانين الحفظ.
• غير أن كثيراً من الفيزيائيين والفلاسفة يرون أن الفضاء الحقيقي يخضع لقيود (التكمم، وأدنى مقاييس الطول، والبنية الحقلية) تجعل مثل هذه التفكيكات مستحيلة فيزيائياً.

تستكشف النقاشات الفلسفية:

• ما إذا كان ينبغي أخذ التمثيلات الرياضية المثالية (كالمتصلات المؤلفة من نقاط) حرفياً في النظريات الفيزيائية.
• إلى أي مدى تعتمد قوانين الحفظ على افتراضات تتعلق بالقابلية للقياس والجمعية.
• ما إذا كانت مفارقة باناخ–تارسكي تقدم دليلاً غير مباشر على التقطع أو على بنية غير كلاسيكية للزمكان عند المقاييس الأساسية.

الدروس المفهومية

بصورة أعمّ، تُستخدم المفارقة في التدريس وفي الفلسفة لتوضيح:

• السلوك المخالف للبداهة للمجموعات اللانهائية، لا سيما تحت زمر التماثل الغنية.
• الحاجة إلى التمييز بعناية بين الاشتقاقية الصورية والإمكان الفيزيائي.
• أهمية تحديد نطاق انطباق مفاهيم كالحجم والقياس.

وبهذا تعمل مفارقة باناخ–تارسكي بوصفها مثالاً محكّاً في النقاشات حول صلة الرياضيات بالعالم، والخيارات التأويلية المتاحة في البحوث الأساسية، وحدود الحدس الهندسي والفيزيائي.

15. الإرث والأهمية التاريخية

منذ نشرها عام 1924، كان لمفارقة باناخ–تارسكي أثر دائم في الرياضيات والمنطق والفلسفة.

الأثر في البحث الرياضي

المفارقة:

• حفّزت البحث في المجموعات غير القابلة للقياس، والمقاييس الثابتة، وبنية أفعال الزمر.
• أسهمت في ظهور نظرية الزمر الهندسية وفي تطوير مفهوم القابلية للتوسيط (amenability).
• أثّرت في الأعمال اللاحقة في نظرية إرغودية، والاحتمالات، والتحليل الدالي، حيث تمثل المسائل المتعلقة بالمقاييس الثابتة والتفكيكات محورًا أساسيًا.

أسهمت شخصيات مثل جون فون نيومان، وكازيمييش كوراتوفسكي، وستانيسلاف أولام في توسيع النتيجة وتأطيرها، فأدرجوها ضمن نظريات أوسع للقياس وأفعال الزمر.

الدور في المناقشات التأسيسية

تاريخيًا، أصبحت مفارقة باناخ–تارسكي:

• واحدة من الأمثلة المعيارية، إلى جانب فندق هيلبرت ومجموعة فيتالي، على مفارقات اللانهاية والنتائج المدهشة لمسلمة الاختيار.
• أسهمت في النقاشات التي جرت في منتصف القرن العشرين حول مسلمة الاختيار والقياسية وطبيعة المتصل، مؤثرةً في المواقف تجاه بديهيات نظرية المجموعات المختلفة.
• ظهرت بارزة في الأعمال التوضيحية والفلسفية، مثل أعمال هيرمان فايل، وسولومون فيفرمان، وغيرهم من المؤلفين المعاصرين، بوصفها دراسة حالة للتوترات التأسيسية.

التأثير التعليمي والثقافي

إلى جانب البحث، أسهمت المفارقة في:

• دخولها الكتب الدراسية والعروض الشعبية بوصفها مثالًا لافتًا على كيف يمكن لمبرهنات رياضية أن تتحدى الفطرة السليمة مع بقائها سليمة منطقيًا.
• خدمتها أداةً تعليمية لتعريف الطلاب بنظرية القياس ونظرية المجموعات وفلسفة الرياضيات، مع التأكيد على أهمية التعريفات والبديهيات الدقيقة.

المكانة التاريخية

موضوعةً ضمن تاريخ الرياضيات في أوائل القرن العشرين، تعكس مفارقة باناخ–تارسكي:

• إبداع المدرسة البولندية وعمقها وإسهاماتها في التحليل والطوبولوجيا والمنطق.
• تمثل لحظة محورية في ترسيخ الأسس الحديثة لنظرية المجموعات، إذ جاءت بعد صياغة نظرية زيرميلو–فرانكل بوقت قصير، وتزامنت مع نمو التحليل الدالي.

يستمر إرثها بوصفه معيارًا تقنيًا يحدد الحد الفاصل بين البنى القابلة للتوسيط وغير القابلة للتوسيط، وبوصفه معلمًا فلسفيًا تُعاد زيارته باستمرار في النقاشات حول اللانهاية والقياس والبديهيات التي تقوم عليها الممارسة الرياضية.