رياضيات

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

The axiom of choice is a mathematical principle asserting that from any collection of non-empty sets, one can select an element from each set.
7 مقالات ذات صلة

الوصف

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

التاريخ

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

كيف يعمل

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

في التطبيق

أساس العديد من النظريات في الرياضيات: فبدونها لا يمكن إثبات أن أي فضاء متجهي يمتلك قاعدة، أو أن جداء تيخونوف للفضاءات المتراصة متراص. تُستخدم في التحليل والطوبولوجيا والمنطق.

حقيقة طريفة

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

مقالات ذات صلة · 9

صدى في غرفة فارغة: كيف ابتكر عملاء ذكاء اصطناعي بلا ذاكرة لغة مشتركة
السلوك الجماعي لعملاء الذكاء الاصطناعي ظهر لأول مرة ليس في المختبر، بل في بيئة حقيقية — على موقع ويكي اكتُشف بالصدفة، حيث كتب العملاء تلميحات لاجتياز الاختبار. هذا صدى في غرفة فارغة: كل صوت جديد يكرر ما سمعه آخر مرة، وتمتلئ الغرفة بطنين متناسق دون قائد واحد. عاش العملاء في المتوسط حوالي ساعة ولم يتذكروا شيئًا بعد انتهاء الاختبار.
الوهم الجذبي للمثلث الاحتمالي: المركز الذي يدفع بعيداً
انظر إلى مثلث متساوي الأضلاع — إنه المثلث الاحتمالي (Simplex) لثلاثة أصول. كل نقطة داخله تمثل محفظة: حصص غير سالبة مجموعها واحد. مركز المثلث، المركز الهندسي، يقابل توزيعاً متساوياً لرأس المال (1/3, 1/3, 1/3). يبدو أنك، باقترابك من هذه النقطة، تقلل المخاطرة وتتجنب الحدود الخطرة. لكن في ظروف معينة، الطريق إلى المركز يمر عبر هُوَّات غير مرئية.
غربال اللامتناهي: كيف تتشابك فضاءات Q مع الكاردينالات القابلة للقياس
في الرياضيات، هناك غربال لا ينخل الغبار، بل اللامتناهي نفسه. يُدعى فضاء Q: أي مجموعة هنا تتحول إلى مجموعة Gδ — تقاطع معدود لمجموعات مفتوحة، وكأنها غُرْبِلت عبر شبكة لا تُرى دقتها.
نادي التحالفات المختارة: وصفة الاستقرار عند فون نيومان
يدخل السوق ثمانمائة مشارك — شركات وعاملون. يحمل كلٌّ منهم قائمة تفضيلات صارمة في ذهنه. المهمة: الانقسام إلى أزواج بحيث لا يرغب أحد في إعادة اللعبة. في الرياضيات، يُطلق على هذا اسم لعبة تعاونية مع حظر تكرار الاقترانات، وتعود جذورها إلى أعمال جون فون نيومان وأوسكار مورغنسترن.
كيف يساعدك تحيز التأكيد على التفكير بشكل أسرع
اعتدنا أن نعتقد أن ملاحظة تأكيدات تخميناتنا فقط هي خطأ. لكن حسابات حديثة مستوحاة من سلوك الموجات تقلب هذه النظرة. اتضح أن عادة البحث عن المألوف هي أفضل وسيلة لتقليل الضجيج المعلوماتي (يسميه العلماء الإنتروبيا). وقد أوضح جون فون نيومان أن الاحتمالات قد تتصرف لا كنسب مئوية، بل كموجات متداخلة.
الانتقاء اللاحق الكمومي كبديل للطاقة المظلمة: لماذا يتسارع توسع الكون
منذ نهاية القرن العشرين، يعرف العلم أن توسع الكون يتسارع: فالمجرات تتباعد عن بعضها البعض بسرعة متزايدة. على هذا الاكتشاف، حصل كل من آدم ريس وسول بيرلموتر وبرايان شميت على جائزة نوبل.
الوصفة الكمومية للاختيار الحر
تستدير الأميبا نحو اليسار. لطالما اعتُبر ذلك نتيجة لسلسلة صارمة من الأسباب، مثل أحجار الدومينو. لكن في أساس المادة ثمة فسحة للحرية. يُظهر نموذج «اختيار الوكيل عبر التدفق الكمومي»: لكل قرار ليس تاريخًا كموميًا واحدًا، بل عدة تواريخ. الأمر أشبه بمطبخ: عشرات الطهاة يعدون حساءً واحدًا — يتحرك كلٌ منهم بطريقته، لكن الطبق يخرج متطابقًا. هنا، تندمج سحابة من الحالات الكمومية في فعل واحد.
مفارقة السجين: الدراجة القديمة للاحتمالية الكلاسيكية
شريكان في التحقيق: يخونان أم يلتزمان الصمت؟ إذا كان كل منهما لا يعلم ما سيفعله الآخر، فإن اختيارهما يكسر قاعدة الاحتمالات الكلاسيكية. هذا يشبه ركوب دراجة قديمة فوق المطبات — المقعد الصلب يطيح بك. قاعدة الكتاب المدرسي، النموذج الكلاسيكي، تتعطل. وجد مؤلفو دراسة جديدة حلاً بسيطاً: يحتاج راكب الدراجة إلى مقعد ناعم.
رسالة غير قابلة للاستنساخ: كيف يخلق الحظر الأساسي في الطبيعة حماية مطلقة
في العالم الكمي يوجد حظر أساسي: من المستحيل إنشاء نسخة طبق الأصل من حالة كمية غير معروفة. هذا المبدأ، المعروف باسم نظرية منع الاستنساخ (no-cloning theorem)، تم إثباته بدقة من قبل ويليام ووترز و فويتشخ زوريك في عام 1982. لاحقًا، حول تشارلز بينيت هذا الحظر النظري إلى أداة عملية لحماية المعلومات.