ما الفرق بين العدد الترتيبي والعدد الأصلي؟

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

لماذا يختلف واحد زائد أوميغا عن أوميغا زائد واحد؟

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

الحساب الترتيبي والعددي

يمدّد الحساب الترتيبي والعددي مفاهيم العد والترتيب إلى اللانهاية، موفرًا مقياسين متكاملين للحجم والموضع المتجاوزين للحدود (transfinite).

اعثر على موضوع باستخدام PaperMindقريبًاFind papers & topics

Tools & resources

تنزيل الشرائح

Learn & explore

فيديوقريبًا

Definition

العدد الترتيبي هو مجموعة متعدية (transitive set) مرتبة جيدًا حسب الانتماء، تمثل نوع ترتيب (order type)؛ والعدد الأصلي هو عدد ترتيبي لا يتطابق (in bijection) مع أي عدد ترتيبي أصغر منه، ويمثل حجمًا. تحدد عملياتهما الحسابية عمليات الجمع والضرب والأس التي تمتد من العمليات المحدودة إلى المتجاوزة للحدود.

Scope

يغطي هذا الموضوع الأعداد الترتيبية (ordinal numbers) كمجموعات قانونية جيدة الترتيب (canonical well-ordered sets) وعملياتها الحسابية غير التبادلية، والأعداد الأصلية (cardinal numbers) كمقاييس للحجم وعملياتها الحسابية بموجب مسلمة الاختيار (axiom of choice)، وتسلسل الألف (aleph) والبيث (beth)، والمرافقة (cofinality)، ونتائج مثل مبرهنة كانتور (Cantor's theorem) ومبرهنة كونيغ (Koenig's theorem).

Core questions

كيف تقوم الأعداد الترتيبية بترميز كل ترتيب جيد (well-ordering) حتى التشاكل (isomorphism)؟
لماذا تكون العمليات الحسابية الترتيبية غير تبادلية بينما العمليات الحسابية الأصلية ليست كذلك؟
كيف يتم جمع وضرب ورفع الأعداد الأصلية اللانهائية إلى أس؟
ما هي القيود التي تفرضها المرافقة ومبرهنة كونيغ على الأس الكاردينالي؟

Key theories

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

Clinical relevance

يُعد الحساب المتجاوز للحدود أساسًا لمقارنة المجموعات اللانهائية في جميع فروع الرياضيات، ويبرر الحجج بالاستقراء المتجاوز للحدود (transfinite induction) في الجبر والتحليل، ويؤطر مسائل الاستقلال المركزية مثل قيمة المتصل (continuum).

History

قدم كانتور كلاً من الأعداد الترتيبية والأصلية في ثمانينيات وتسعينيات القرن التاسع عشر، وأثبت أن الأعداد الحقيقية غير قابلة للعد وأن مجموعات القوة (power sets) تزيد من الكاردينالية (cardinality) بشكل صارم. قدم تعريف فون نيومان للأعداد الترتيبية كمجموعات متعدية مرتبة جيدًا حسب الانتماء الصياغة الحديثة، وأرسى هاوسدورف وكونيغ نتائج رئيسية حول الأس الكاردينالي والمرافقة.

Key figures

Georg Cantor
John von Neumann
Felix Hausdorff
Julius Koenig

Seminal works

jech2003
enderton1977
kunen2011

Frequently asked questions

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