مثال ۱۴.۲: فضای $\mathcal{P}(\mathbb{F})$ با بعد نامتناهی است

۱. متن مثال و استدلال کتاب آکسلر

۲. کالبدشکافی دقیق برهان

بیایید استدلال آکسلر را گام‌به‌گام تحلیل کنیم:

1. فرض خلف ضمنی: فرض کنیم $\mathcal{P}(\mathbb{F})$ بعد-متناهی باشد. پس باید لیستی متناهی مانند $p_1, \dots, p_k$ وجود داشته باشد که کل $\mathcal{P}(\mathbb{F})$ را گسترش دهد.
2. استخراج کران بالا: چون تعداد عناصر لیست متناهی است، مجموعه درجات $\{\deg p_1, \dots, \deg p_k\}$ یک مجموعه متناهی از اعداد صحیح است و قطعاً یک ماکزیمم متناهی دارد که آن را $m$ می‌نامیم.
3. خاصیت درجه در جمع و ضرب: درجه جمع دو چندجمله‌ای حداکثر برابر ماکزیمم درجات آنهاست: $$\deg(a p_i + b p_j) \le \max(\deg p_i, \deg p_j) \le m$$ بنابراین هر ترکیب خطی $a_1 p_1 + \dots + a_k p_k$ دارای درجه حداکثر $m$ است.
4. شلیک نهایی و تناقض: چندجمله‌ای $q(z) = z^{m+1}$ یک چندجمله‌ای کاملاً خوش‌تعریف و عضوی از $\mathcal{P}(\mathbb{F})$ است، ولی درجه آن $m+1 > m$ است. پس $q(z)$ نمی‌تواند در گستره لیست باشد. این یعنی $\operatorname{span}(p_1, \dots, p_k) \neq \mathcal{P}(\mathbb{F})$. چون این استدلال برای هر لیست متناهی دلخواهی برقرار است، پس هیچ لیست متناهی مولدی برای $\mathcal{P}(\mathbb{F})$ وجود ندارد.

۳. نکات امتحانی و مقایسه‌های کلیدی

۴. ارتباطات و پیوندهای اتمیک

• تعریف بعد نامتناهی: تعریف ۱۳.۲: فضای برداری با بعد نامتناهی
• فضای مرجع چندجمله‌ای‌ها: تعریف ۱۰.۲: فضای چندجمله‌ای‌ها P(F)
• ورود به مفهوم استقلال خطی: تعریف ۱۵.۲: استقلال خطی