اعداد اصلی بزرگ

اعداد اصلی بزرگ، اصول موضوعه قوی بی‌نهایت هستند که وجود اعداد اصلی را چنان بزرگ می‌دانند که وجود آن‌ها را نمی‌توان در ZFC اثبات کرد، و آن‌ها یک سلسله مراتب تقریباً خطی را تشکیل می‌دهند که قدرت نظریه‌های ریاضی را کالیبره می‌کند.

Definition

یک اصل موضوعه عدد اصلی بزرگ، وجود یک عدد اصلی با خاصیت بستار یا بازتاب قوی را تأیید می‌کند که معمولاً از طریق یک تعبیه مقدماتی از جهان قابل بیان است؛ چنین اعداد اصلی از آنچه ZFC می‌تواند وجود آن را اثبات کند فراتر می‌روند و بنابراین قدرت سازگاری نظریه را افزایش می‌دهند.

Scope

این موضوع مفاهیم اصلی اعداد اصلی بزرگ مانند اعداد اصلی دست‌نیافتنی، ماهلو، ضعیفاً فشرده، اندازه‌پذیر و فوق‌فشرده، توصیف آن‌ها از طریق بازتاب و تعبیه‌های مقدماتی، سلسله مراتب قدرت سازگاری که ایجاد می‌کنند، و ارتباط آن‌ها با قطعیت و نظریه مدل درونی را پوشش می‌دهد.

Core questions

• چه ویژگی‌های بستار و بازتابی، اعداد اصلی بزرگ اصلی را تعریف می‌کنند؟
• چگونه تعبیه‌های مقدماتی، اعداد اصلی اندازه‌پذیر و قوی‌تر را مشخص می‌کنند؟
• چرا اعداد اصلی بزرگ یک سلسله مراتب تقریباً خطی از قدرت سازگاری را تشکیل می‌دهند؟
• اعداد اصلی بزرگ چگونه با قطعیت و ساختار اعداد حقیقی تعامل دارند؟

Key theories

اعداد اصلی دست‌نیافتنی و ماهلو

یک عدد اصلی دست‌نیافتنی منظم و یک حد قوی است، بنابراین نمی‌توان با عملیات معمول مجموعه به آن دست یافت و یک مدل طبیعی از ZFC را ارائه می‌دهد؛ اعداد اصلی ماهلو دست‌نیافتنی بودن را بازتاب می‌دهند و سلسله مراتب را آغاز می‌کنند.

اعداد اصلی اندازه‌پذیر و تعبیه‌های مقدماتی

یک عدد اصلی اندازه‌پذیر دارای یک اولترافیلتر غیربدیهی شمارش‌پذیر کامل است، به طور معادل، نقطه بحرانی یک تعبیه مقدماتی از جهان به یک مدل درونی است که با اصل موضوعه ساخت‌پذیری در تضاد است.

سلسله مراتب قدرت سازگاری

اصول موضوعه اعداد اصلی بزرگ بر اساس سازگاری نسبی مرتب می‌شوند، به طوری که سازگاری یکی، سازگاری همه موارد ضعیف‌تر را ایجاب می‌کند و معیاری را فراهم می‌کند که قدرت نظریه‌های دلخواه با آن اندازه‌گیری می‌شود.

Clinical relevance

اعداد اصلی بزرگ مقیاس متعارف قدرت سازگاری در ریاضیات را فراهم می‌کنند: بسیاری از گزاره‌ها با وجود برخی اعداد اصلی هم‌سازگار هستند، و اعداد اصلی بزرگ قوی، ویژگی‌های نظم خط حقیقی مانند قطعیت تصویری و اندازه‌پذیری لبگ مجموعه‌های تعریف‌پذیر را ایجاب می‌کنند.

History

اعداد اصلی دست‌نیافتنی از مطالعه مدل‌های نظریه مجموعه‌ها توسط زرملو و سیرپینسکی-تارسکی پدید آمدند، و کار اولام در سال ۱۹۳۰ بر روی اندازه منجر به اعداد اصلی اندازه‌پذیر شد. اسکات در سال ۱۹۶۱ نشان داد که یک عدد اصلی اندازه‌پذیر اصل موضوعه ساخت‌پذیری را رد می‌کند، و کارهای بعدی سولوی، مارتین، وودین و دیگران سلسله مراتب مدرن و ارتباط آن با قطعیت را بنا نهادند.

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

چرا ZFC نمی‌تواند اثبات کند که اعداد اصلی بزرگ وجود دارند؟

یک عدد اصلی دست‌نیافتنی یک مدل مجموعه‌ای از ZFC را به دست می‌دهد، بنابراین طبق قضیه دوم ناتمامیت گودل، ZFC نمی‌تواند اثبات کند که چنین عدد اصلی وجود دارد بدون اینکه سازگاری خود را اثبات کند، که نمی‌تواند انجام دهد. همین استدلال، به طریق اولی، برای اعداد اصلی بزرگ قوی‌تر نیز صدق می‌کند.

چرا اصول موضوعه‌ای را مطالعه کنیم که نمی‌توان سازگاری آن‌ها را اثبات کرد؟

اعداد اصلی بزرگ یک مقیاس منسجم و خوش‌ترتیب برای مقایسه قدرت نظریه‌های ریاضی فراهم می‌کنند، و آن‌ها سؤالات مستقل دیگر را در مورد مجموعه‌های تعریف‌پذیر اعداد حقیقی حل می‌کنند، و آن‌ها را به یک ابزار سازماندهی مرکزی تبدیل می‌کنند، حتی اگر سازگاری آن‌ها باید فرض شود.