تمرین ۱۲ بخش ۳.۲: جمع مستقیم زیرفضاهای ۳ و ۵ بعدی در
فرض کنید و زیرفضاهایی از باشند به طوری که:
ثابت کنید:
۱. تحلیل اولیه و باز کردن خواسته مسئله
- دادههای مسئله:
- فضای مادر: با بعد .
- زیرفضاها: و .
- شرط پوشش: .
- حکم مسئله:
- اثبات جمع مستقیم بودن: .
- معیار جمع مستقیم بودن:
- طبق تعریف و قضایای بنیادین جمع مستقیم، چون از قبل میدانیم ، برای اثبات مستقیم بودن جمع تنها کافی است نشان دهیم:
۲. ایده و استراتژی حل (Problem-Solving Strategy)
با استفاده از قضیه بعد مجموع دو زیرفضا (فرمول گراسمن)، بعد اشتراک را مستقیماً محاسبه میکنیم:
تنها زیرفضای با بعد صفر، زیرفضای صفر است، که جمع مستقیم را نتیجه میدهد.
۳. حل تشریحی گامبهگام (Step-by-Step Solution)
گام اول: محاسبه بعد بنا به فرض صریح صورت مسئله:
بنابراین بعد مجموع برابر است با بعد کل فضا:
گام دوم: اعمال فرمول بعد گراسمن طبق قضیه ۳۹.۲ آکسلر:
مقادیر عددی داده شده را جایگذاری میکنیم:
با انتقال جملات نتیجه میشود:
گام سوم: نتیجهگیری اشتراک صفر و جمع مستقیم تنها فضای برداری که بعد آن برابر با صفر است، فضای تکعضوی صفر است:
طبق شرط لازم و کافی برای جمع مستقیم دو زیرفضا: چون و است، مجموع زیرفضاها یک جمع مستقیم است:
حکم اثبات شد.
۴. نکات کلیدی و دامهای تستی
- قضیه ۴۰.۲ آکسلر بیان میکند: اگر باشد، آنگاه است اگر و فقط اگر . در اینجا برقرار است؛ بنابراین جمع مستقیم بلافاصله نتیجه میشود.
۵. پیوندها
- مفاهیم تئوری مرتبط: قضیه ۳۹.۲ بعد مجموع دو زیرفضا (فرمول گراسمن) | قضیه ۴۰.۲ بعد جمع مستقیم زیرفضاها