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

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

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

أخذت هذه الفرضية على محمل الجد بداية من العام 1900 حينما عرضها ديفيد هيلبرت كأول مسالة ضمن 24 مسالة في المؤتمر الدولي لعلماء الرياضيات. حينما قال: إننا بحاجة إلى تأكيد أو نفي هذه الفرضية.
وأول محاولة والتي اقتربت كثيرا من البرهنة عليها ولكنها لم تكتمل كانت عن طريق كيرت غودل عام 1938. والذي برهن أنه من المستحيل تفنيد هذه الفرضية باستخدام البديهيات التقليدية لنظرية المجموعات.
وفي عام 1963 اثبت بول كوهين  إنها لا يمكن البرهنة عليها. ومثلما قام الرياضيون بإضافة مجموعات جديدة من البديهيات الحسابية فلابد لهم أيضا من إضافة فرضية الاتصالية إلى قائمة البديهيات الرياضية.

برهان خطأ الحدسية

في عام 2001 تمكن العالم الأميركي ويليام وودن من إثبات خطأ الحدسية بتقديم حدسية متوافقة مع مجموعات زيرملو.

توضيحات وشرح الحدسية

إن مفهوم اللانهاية هو مفهوم مختلف من مجموعة لأخرى، فمثلا عند الحديث عن مجموعة الأعداد الطبيعية N ومجموعة الأعداد الزوجية 2N والتي هي مجموعة جزئية منها، نجد أن لكل عنصر n من مجموعة الأعداد الطبيعية يقابله عنصر 2n من مجموعة الأعداد الزوجية، وهذا يعني أن قدرة مجموعة 2N تساوي قدرة N ، بالرغم من أن 2N جزئية من N.
وحيث أن مجموعة الاعداد الحقيقية هي مجموعة لها حجم كبير للغاية، فهذه الحقيقة تثير التساؤل التالي: هل هنالك مجموعات أخرى والتي بدورها أكبر من مجموعة الأعداد الطبيعية ولكنها أصغر من مجموعة الأعداد الحقيقية؟ هذا التساؤل هو جوهر فرضية الاتصالية والإجابة عليه كانت (لا يوجد) أي انه لا يوجد مجموعات وسطية الحجم بينهما.

المراجع

Cohen, P. J. "The Independence of the Continuum Hypothesis." Proc. Nat. Acad. Sci. U. S. A. 50, 1143-1148, 1963.
Cohen, P. J. "The Independence of the Continuum Hypothesis. II." Proc. Nat. Acad. Sci. U. S. A. 51, 105-110, 1964.
Cohen, P. J. Set Theory and the Continuum Hypothesis. New York: W. A. Benjamin, 1966.
Conway, J. H. and Guy, R. K. The Book of Numbers. New York: Springer-Verlag, p. 282, 1996.
Ferreirós, J. "The Notion of Cardinality and the Continuum Hypothesis." Ch. 6 in Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Basel, Switzerland: Birkhäuser, pp. 171-214, 1999.
Gödel, K. The Consistency of the Continuum-Hypothesis. Princeton, NJ: Princeton University Press, 1940.
Greenberg, M. J. Euclidean and Non-Euclidean Geometries: Development and History, 3rd ed. San Francisco, CA: W. H. Freeman, 1994.
Hoffman, P. The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. New York: Hyperion, pp. 225-226, 1998.
Jech, T. J. Set Theory, 2nd ed. Berlin: Springer-Verlag, 1997.
McGough, N. "The Continuum Hypothesis." http://www.ii.com/math/ch/.
Woodin, H "The Continuum Hypothesis. Part I." Not. Amer. Math. Soc. 48, 567-576, 2001a.
Woodin, H "The Continuum Hypothesis. Part II." Not. Amer. Math. Soc. 48, 681-690, 2001b.
Woodin, H "Correction to: The Continuum Hypothesis. Part II." Not. Amer. Math. Soc. 49, 46, 2002.