فورسینگ و استقلال

فورسینگ روشی برای گسترش یک مدل از نظریه مجموعه‌ها با افزودن یک شیء عمومی (generic object) با دقت انتخاب شده است و روش اصلی برای اثبات استقلال گزاره‌ها از اصول موضوعه استاندارد محسوب می‌شود.

Definition

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

Scope

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

Core questions

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

Key theories

گسترش‌های عمومی و قضیه فورسینگ

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

جهان ساخت‌پذیر و سازگاری فرضیه پیوستار

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

استقلال فرضیه پیوستار

کوهن از فورسینگ برای افزودن بسیاری از اعداد حقیقی به یک مدل استفاده کرد تا فرضیه پیوستار نقض شود، که این امر به همراه نتیجه گودل نشان می‌دهد که این فرضیه از ZFC مستقل است.

Clinical relevance

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

History

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

Key figures

• Paul Cohen
• Kurt Goedel
• Dana Scott
• Robert Solovay

Seminal works

• kunen2011
• cohen1963
• godel1940

Frequently asked questions

فیلتر عمومی به صورت شهودی چیست؟

این یک شیء ایده‌آل است که برای برآورده کردن هر نیازی که در مدل پایه قابل تعریف است، انتخاب می‌شود، به طوری که به اندازه کافی عمومی باشد تا توسط هیچ تعریف واحدی در آنجا گرفتار نشود. افزودن آن یک گسترش کنترل‌شده از جهان مجموعه‌ها را تولید می‌کند.

آیا فورسینگ حقیقت اصول موضوعه نظریه مجموعه‌ها را تغییر می‌دهد؟

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