قضیه ۳۸.۲: هر لیست مولد با طول مساوی بعد، یک پایه است

۱. تصویر کلان و تقارن مفهومی

این قضیه، قرینه و دوگان بی‌نقص قضیه ۳۷.۲ است:

• در قضیه ۳۷.۲: استقلال خطی + طول برابر بعد $\implies$ مولد بودن خودکار (پایه).
• در این قضیه (۳۸.۲): مولد بودن + طول برابر بعد $\implies$ استقلال خطی خودکار (پایه).

اگر بدانید که برای فرش کردن یک اتاق با مساحت مشخص دقیقاً به $n$ تخته فرش نیاز دارید، و $n$ تخته فرش آورده‌اید که کل اتاق را پوشانده‌اند، نیازی نیست چک کنید که آیا فرش‌ها روی هم هم‌پوشانی دارند یا نه؛ از نظر ریاضی غیرممکن است که هم‌پوشانی داشته باشند و هم‌زمان کل اتاق را هم بپوشانند!

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

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

• فرض می‌کنیم $\dim V = n$ و فهرست $(v_1, \dots, v_n)$ فضای $V$ را گسترش می‌دهد.
• طبق قضیه کاهش به پایه ۲۹.۲، هر فهرست مولد را می‌توان با حذف بردارهای زائد به یک پایه کاهش داد.
• اما هر پایه از $V$ باید دقیقاً طول $n$ داشته باشد (قضیه ۳۳.۲).
• پس نمی‌توان حتی یک بردار از این فهرست حذف کرد؛ یعنی کاهش بدیهی است و هیچ برداری زائد نبوده است. در نتیجه فهرست اولیه از همان ابتدا مستقل خطی بوده و پایه است.

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

۵. مقایسه دو آزمون سریع پایه در یک نگاه

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

• قضیه متناظر: آزمون سریع با استقلال خطی
• قضیه شاهکار بعدی: فرمول بعد مجموع (گراسمن)
• فهرست مرجع: MOC فصل ۲