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