بديهية الاختيار

التاريخ

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

كيف يعمل

لتكن لدينا مجموعة من المجموعات غير الفارغة (كيس فيه أكياس). تضمن بديهية الاختيار وجود مجموعة جديدة – «خليط منتقى» نضع فيه تمامًا شيئًا واحدًا من كل كيس. يستطيع الرياضيون القول باطمئنان: «لنأخذ دالة اختيار...» والاستمرار في البناء دون عناء وضع قواعد محددة.

التاريخ

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

كيف يعمل

لتكن لدينا مجموعة من المجموعات غير الفارغة (كيس فيه أكياس). تضمن بديهية الاختيار وجود مجموعة جديدة – «خليط منتقى» نضع فيه تمامًا شيئًا واحدًا من كل كيس. يستطيع الرياضيون القول باطمئنان: «لنأخذ دالة اختيار...» والاستمرار في البناء دون عناء وضع قواعد محددة.

التاريخ

صيغت لأول مرة بوضوح من قبل إرنست تسيرميلو عام 1904 لإثبات أن أي مجموعة يمكن ترتيبها كليًا. اعترض على هذه العبارة فورًا إميل بوريل وهنري لوبيغ ومحللون بارزون آخرون. في عام 1938، برهن كورت غودل أن AC لا تتعارض مع ZF، وفي عام 1963، أثبت بول كوهين أن نفي AC متوافق أيضًا مع ZF. وهكذا، فإن بديهية الاختيار مستقلة. اليوم، تستخدم الأغلبية الساحقة من الرياضيين AC، رغم وجود مقاربات بديلة (البنائية، فئة التوبوسات) حيث تُجنب.

كيف يعمل

وظيفيًا، تتيح AC القيام بإنشاءات غير بناءة. عند إثبات النظريات، يُقال غالبًا: «لنختر لكل i عنصرًا x_i من المجموعة A_i» دون تحديد قاعدة الاختيار. هذا سليم إذا قبلنا بديهية الاختيار. بدونها، تكون مثل هذه الاستدلالات غير جائزة. مثال نموذجي: إثبات وجود قاعدة هامل في فضاء متجهي كيفي – نختار متجهات مستقلة خطيًا بالتتابع، وفي الخطوات اللانهائية نحتاج AC. تقنيًا، لا تحدد البديهية كيفية البحث عن الاختيار، بل تفترض وجوده فحسب.

مسائل مفتوحة وحقائق طريفة

الاستقلال عن ZF: AC غير قابلة للإثبات وغير قابلة للتفنيد داخل ZF.; النتائج المتناقضة (باناخ-تارسكي) تثير أسئلة فلسفية حول طبيعة الوجود الرياضي.; في الرياضيات البنائية، تُرفض AC مما يستدعي إعادة بناء العديد من الفروع.

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