حجة كانتور القطرية

وصلة=//upload.wikimedia.org/wikipedia/commons/thumb/6/69/Aplicación 2 inyectiva sobreyectiva02.svg/250px-Aplicación 2 inyectiva sobreyectiva02.svg.png|يسار|تصغير|250x250بك| قد يكون للمجموعة الغير منتهية نفس درجة أصالة مجموعة جزئية فعلية منها، كما نرى هنا في تقابل قيم الدالة f(x)=2x من الأعداد الطبيعية إلى الأعداد الزوجية. ومع ذلك، توجد مجموعات لا حصر لها من درجات الأصالة المختلفة، كما وَضَحَت حجة كانتور القُطْرية.
حجة كانتور القُطْرية هي برهان رياضي في نظرية المجموعات نشره جورج كانتور عام 1891 لبرهنة وجود مجموعات غير منتهية لا يمكن مقابلة عناصرها مع عناصر مجموعة الأعداد الطبيعية الغير منتهية. English translation:  تُعرف هذه المجموعات الآن بالمجموعات غير العدودة، وتساعدنا نظرية كانتور للأعداد الأصلية في التعامل مع حجم هذه المجموعات الغير منتهية.

لم تكن الحجة القُطرية هي أول برهان لكانتور على استحالة حصر الأعداد الحقيقية، بل سبقتها مقالة نشرها عام 1874. ولكنه في هذا البرهان أسس لتقنية عامة أُستخدِمَت فيما بعد في مجموعة كبيرة من البراهين، Extract of page 73 بما في ذلك أول مبرهنات عدم الاكتمال لجودل وحل تورينج لمسألة القرار. أحيانا تكون الحجج القطرية مصدرًا للتناقضات مثل مفارقة راسل ومفارقة ريتشارد. 

 مجموعة غير عدودة 
اعتبر كانتور المجموعة T التي ترمز لجميع المتتاليات اللانهائية للأرقام الثنائية (أي أن كل رقم إما صفر أو واحد). ثم يبدأ بـ  على الليمة التالية:

 إذا كانت المتواليات s1 ، s2، ... ،sn، ... هي أي تعداد لعناصر المجموعة T، فيمكن إنشاء متوالية s في T لا تقابل أي مجموعة sn في هذا التعداد.

يبدأ البرهان بتعداد عناصر T، كمثال

{|
|-
| s1 = || (0, || 0, || 0, || 0, || 0, || 0, || 0, || ...)
|-
| s2 = || (1, || 1, || 1, || 1, || 1, || 1, || 1, || ...)
|-
| s3 = || (0, || 1, || 0, || 1, || 0, || 1, || 0, || ...)
|-
| s4 = || (1, || 0, || 1, || 0, || 1, || 0, || 1, || ...)
|-
| s5 = || (1, || 1, || 0, || 1, || 0, || 1, || 1, || ...)
|-
| s6 = || (0, || 0, || 1, || 1, || 0, || 1, || 1, || ...)
|-
| s7 = || (1, || 0, || 0, || 0, || 1, || 0, || 0, || ...)
|-
| ...
|}
بعد ذلك، ننشئ متوالية s بجعل أول رقم مكمل لأول رقم في s1 (بتحويل كل الأصفار لآحاد وبالعكس)، وثاني رقم مكمل لثاني رقم في s2 ، وثالث رقم مكمل لثالث رقم في s3، وبالمثل لأي n، الرقم n مكمل للرقم n في sn. وبتطبيق هذا على المثال أعلاه، نحصل على

{|
|-
| s1 || = || (0, || 0, || 0, || 0, || 0, || 0, || 0, || ...)
|-
| s2 || = || (1, || 1, || 1, || 1, || 1, || 1, || 1, || ...)
|-
| s3 || = || (0, || 1, || 0, || 1, || 0, || 1, || 0, || ...)
|-
| s4 || = || (1, || 0, || 1, || 0, || 1, || 0, || 1, || ...)
|-
| s5 || = || (1, || 1, || 0, || 1, || 0, || 1, || 1, || ...)
|-
| s6 || = || (0, || 0, || 1, || 1, || 0, || 1, || 1, || ...)
|-
| s7 || = || (1, || 0, || 0, || 0, || 1, || 0, || 0, || ...)
|-
| ...
|-
|
|-
| s || = || (1, || 0, || 1, || 1, || 1, || 0, || 1, || ...)
|}

عن طريق هذا الإنشاء، نجد أن s تنتمي لـ T وتختلف عن كل المتواليات sn، لأن الأرقام في الموضع n في كل مجموعة مختلف (كما مُوضح بالأعلى). لذا، يستحيل وجود s في التعداد.

وبناءً على هذه الليمة، يستخدم كانتور بعد ذلك برهان بالتناقض ليصل إلى أن:

 المجموعة T غير عدودة.

بدأ الإثبات بفرض قابلية T للعد. يمكن تعداد عناصرها هكذا s1 ، s2 ، ...، sn ،. . . .

تطبيق الليمة السابقة على هذا التعداد أنتج متوالية s تنتمي لـ T، ولكنها غير موجودة في التعداد السابق. ومع ذلك، لم قمنا بتعداد T، سنحصل على كل عضو في T، بما فيهم المتوالية الجديدة s. هذا التناقض يستلزم خطأ الافتراض السابق. لذا فإن T غير عدودة.Georg Cantor (1891). "Ueber eine elementare Frage der Mannigfaltigkeitslehre". Jahresbericht der Deutschen Mathematiker-Vereinigung. 1: 75–78. English translation: Ewald, William B., ed. (1996). From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2. Oxford University Press. pp. 920–922. ISBN 0-19-850536-1.

 مراجع 

 روابط خارجية 
 برهان كانتور القُطري من موقع MathPages

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