MathPortal

سوال: آیا امکان دارد فضایی باشد که نسبت به هر نوع معادله ای بسته باشد؟ جواب : ایده‌ای که گفتی خیلی نزدیک به یک سؤال عمیق در ریاضیات است، اما جواب کوتاهش این است: نه، «فضایی که نسبت به هر نوع معادله‌ای بسته باشد» به معنای کلی و مطلق وجود ندارد.و دلیلش خیلی بنیادی است. 1) اول یک اصلاح مهم: «بسته بودن» یعنی چه؟ در اعداد مختلط Complex Analysis ما می‌گوییم: برای هر چندجمله‌ای غیرثابت، ریشه داریم این یعنی ℂ نسبت به معادلات جبری بسته است (قضیه بنیادی جبر) اما این فقط یک نوع خاص از معادله است، نه همهٔ معادلات ممکن. 2) چرا «بسته بودن نسبت به همه معادلات» غیرممکن است؟ چون همیشه می‌توان معادله‌ای ساخت که از سیستم عددی تو فراتر برود یا حتی تناقض ایجاد کند. مثال ساده: فرض کن هر مجموعه‌ای از اعداد را کامل فرض کنیم. همیشه می‌توان این معادله را ساخت: x€S(ایکس عضوی از اس نیست) که در آن S «کل فضای عددی تو» است. این نوع ساختارها باعث می‌شوند هیچ مجموعه‌ای نتواند برای همه چیز بسته باشد. 3) مشکل عمیق‌تر: خودارجاعی و «گسترش بی‌نهایت» در منطق ریاضی نشان داده می‌شود که: هر سیستم عددی قوی می‌تواند معادلاتی داشته باشد که آن سیستم را ناکافی کند این به نتایجی شبیه ایده‌های زیر مربوط است: قضایای ناتمامیت Gödel's Incompleteness Theorems نتیجه‌ی شهودی: هیچ سیستم ریاضی واحدی نمی‌تواند هم «کامل» باشد و هم «بسته برای همه چیز». 4) چرا ℂ هنوز مهم است؟ اعداد مختلط: برای همه چندجمله‌ای‌ها کامل‌اند ساختار بسیار پایدار دارند پایهٔ تحلیل مختلط و فیزیک هستند اما حتی آن‌ها هم نمی‌توانند: معادلات نمایی، لگاریتمی، یا دیفرانسیلی را «همیشه داخل خودشان حل کنند» 5) جمع‌بندی خیلی ساده یک فضای «بسته برای همه معادلات» وجود ندارد ❌ فقط می‌توان فضاهایی داشت که نسبت به یک نوع خاص از معادله بسته‌اند ✔ هر چه فضا را بزرگ‌تر کنی، معادلات جدیدی پیدا می‌شوند که از آن خارج می‌زنند 💎کانال پورتال ریاضیات 🆔 @MathPortal