قضیه ۳۰.۲: هر فضای بعد متناهی دارای پایه است

۱. تصویر کلان و اهمیت بنیادین

این قضیه «قضیه وجودی» مادر برای تمام جبر خطی بعد متناهی است. اگر نمی‌دانستیم آیا هر فضای بعد متناهی پایه دارد یا خیر، نمی‌توانستیم در بخش‌های بعدی مفهومی به نام «بعد» را تعریف کنیم یا ماتریس هر تبدیل خطی را تشکیل دهیم. زیبایی این قضیه در این است که اثبات آن با اتکا به قضیه قبلی (کاهش لیست مولد به پایه) در دو خط انجام می‌شود!

۲. صورت دقیق ریاضی قضیه

۳. نقشه راه و استراتژی اثبات (Proof Strategy)

• طبق تعریف فضای بعد متناهی (تعریف ۹.۲)، چنین فضایی دارای حداقل یک فهرست مولد متناهی است.
• طبق قضیه قبلی (قضیه ۲۹.۲)، هر فهرست مولد را می‌توان به یک پایه کاهش داد.
• ترکیب این دو حقیقت بلافاصله وجود پایه را نتیجه می‌دهد.

۴. اثبات دقیق گام‌به‌گام (Step-by-Step Proof)

۵. حالت خاص فضای برداری صفر $\{ \mathbf{0} \}$

یکی از سوالات ظریف این است که آیا فضای برداری تک‌عضوی $V = \{ \mathbf{0} \}$ نیز پایه دارد؟

• فضای $\{\mathbf{0}\}$ طبق تعریف بعد متناهی است، زیرا توسط بردار $\mathbf{0}$ اسپن می‌شود.
• اگر الگوریتم کاهش را روی فهرست مولد $(\mathbf{0})$ اجرا کنیم، در مرحله اول چون بردار برابر $\mathbf{0}$ است حذف می‌شود.
• آنچه باقی می‌ماند فهرست تهی () است.
• اسپن فهرست تهی طبق قرارداد برابر $\{\mathbf{0}\}$ است و فهرست تهی مستقل خطی است.
• پس پایه فضای $\{\mathbf{0}\}$ فهرست تهی () است که دارای طول صفر می‌باشد.

۶. مقایسه با فضاهای بعد نامتناهی

در فضاهای بعد متناهی، وجود پایه کاملاً ساختاریافته و الگوریتمی (مبتنی بر حذف متناهی بردار) اثبات شد. اما در فضاهای با بعد نامتناهی (مانند فضای تمام توابع پیوسته $C(\mathbb{R})$ یا فضای تمام دنباله‌ها):

• اثبات وجود پایه (پایه هامل / Hamel Basis) نیازمند اصل انتخاب (Axiom of Choice) و لم زورن (Zorn's Lemma) است.
• این تمایز نشان می‌دهد که چقدر ساختار فضاهای بعد متناهی رام و قابل کنترل است.

۷. پیوندها و گام‌های بعدی

• قضیه پایه‌گذار پیشین: کاهش لیست مولد به پایه
• قضیه توسعه بنیادین بعدی: گسترش هر لیست مستقل به پایه
• فهرست مرجع: MOC فصل ۲