رفتن به متن
باغ ریاضی
تمرین ۳ بخش ۲.۱ یکتایی جواب معادله خطی برداری
تنظیمات مطالعه
تنظیمات مطالعه

تمرین ۳ بخش ۲.۱ یکتایی جواب معادله خطی برداری

یادداشت شما ذخیره شد

می‌خواهید این تغییرات برای مدیر وب‌سایت هم ارسال شوند؟ نسخهٔ رسمی تنها پس از تأیید تغییر می‌کند.

تمرین ۳ بخش ۲.۱: یکتایی جواب معادله جبری برداری

صورت دقیق مسئله (کتاب آکسلر، صفحه ۲۸)

فرض کنید v,w∈Vv, w \in V. توضیح دهید چرا یک بردار x∈Vx \in V منحصر‌به‌فرد وجود دارد به طوری که:

v+3x=wv + 3x = w

۱. تحلیل اولیه و باز کردن خواسته مسئله


۲. ایده و استراتژی حل (Problem-Solving Strategy)

در مسائل جبر دبیرستانی، برای حل معادله a+3x=ba + 3x = b، ابتدا aa را به سمت دیگر می‌بریم (3x=b−a3x = b - a) و سپس طرفین را بر ۳ تقسیم می‌کنیم (x=b−a3x = \frac{b-a}{3}). در فضای برداری، مفهوم «بردن به سمت دیگر» یا «تقسیم کردن» به عنوان اعمال اولیه وجود ندارد. ما باید هر گام را با استفاده از اصول موضوعه بنیادی بازسازی کنیم:

  • «بردن به آن طرف» معادل است با: افزودن بردار وارون جمعی −v-v به دو طرف معادله.
  • «تقسیم بر ۳» معادل است با: ضرب اسکالر وارون ضربی 13=3−1\frac{1}{3} = 3^{-1} در دو طرف بردار.

سپس با ارائه صریح کاندیدای x=13(w−v)x = \frac{1}{3}(w - v) صحت معادله را می‌آزماییم (وجود)، و با فرض وجود دو جواب x1,x2x_1, x_2 برابری آن‌ها را نشان می‌دهیم (یکتایی).


۳. حل تشریحی گام‌به‌گام (Step-by-Step Solution)

اثبات کامل دو بخشی (وجود و یکتایی)

بخش اول: اثبات وجود جواب (Existence)

کاندیدای جواب را به صورت زیر تعریف می‌کنیم:

x=13(w+(−v))x = \frac{1}{3}\big(w + (-v)\big)

گام ۱ (بررسی عضویت در VV):

  • طبق فرض، v∈Vv \in V است، پس وارون جمعی آن −v∈V-v \in V است.
  • چون w∈Vw \in V و −v∈V-v \in V هستند، طبق بسته بودن VV تحت عمل جمع، بردار w+(−v)∈Vw + (-v) \in V است.
  • عدد 13∈F\frac{1}{3} \in \mathbb{F} است. طبق بسته بودن VV تحت ضرب اسکالر، حاصل‌ضرب اسکالر 13(w+(−v))\frac{1}{3}(w + (-v)) نیز عضوی از VV است. پس قطعا x∈Vx \in V.

گام ۲ (قرار دادن در معادله و بررسی درستی تساوی): حال سمت چپ معادله v+3xv + 3x را با قرار دادن این xx محاسبه می‌کنیم:

v+3x=v+3(13(w+(−v)))v + 3x = v + 3\left(\frac{1}{3}\big(w + (-v)\big)\right)
  • طبق اصل موضوعه شرکت‌پذیری ضرب اسکالر ((ab)u=a(bu)(ab)u = a(bu)): 3(13(w+(−v)))=(3⋅13)(w+(−v))=1(w+(−v))3\left(\frac{1}{3}\big(w + (-v)\big)\right) = \left(3 \cdot \frac{1}{3}\right)\big(w + (-v)\big) = 1\big(w + (-v)\big)
  • طبق اصل موضوعه همانی ضرب اسکالر (1u=u1u = u): 1(w+(−v))=w+(−v)1\big(w + (-v)\big) = w + (-v)
  • بنابراین سمت چپ عبارت است از: v+(w+(−v))v + \big(w + (-v)\big)
  • طبق جابه‌جایی و شرکت‌پذیری جمع: v+((−v)+w)=(v+(−v))+wv + \big((-v) + w\big) = \big(v + (-v)\big) + w
  • طبق تعریف وارون جمعی (v+(−v)=0v + (-v) = 0): (v+(−v))+w=0+w\big(v + (-v)\big) + w = 0 + w
  • طبق تعریف همانی جمعی (0+w=w0 + w = w): 0+w=w0 + w = w

پس v+3x=wv + 3x = w برقرار است. این یعنی بردار x=13(w−v)x = \frac{1}{3}(w - v) واقعاً یک جواب برای معادله است.


بخش دوم: اثبات یکتایی جواب (Uniqueness)

فرض کنید دو بردار x1,x2∈Vx_1, x_2 \in V در معادله صدق کنند؛ یعنی داشته باشیم:

v+3x1=wوv+3x2=wv + 3x_1 = w \quad \text{و} \quad v + 3x_2 = w

چون هر دو با ww برابرند:

v+3x1=v+3x2v + 3x_1 = v + 3x_2

اکنون گام‌به‌گام به سمت تساوی x1=x2x_1 = x_2 پیش می‌رویم:

  1. بردار −v-v را به سمت چپ هر دو عبارت اضافه می‌کنیم: −v+(v+3x1)=−v+(v+3x2)-v + (v + 3x_1) = -v + (v + 3x_2)
  2. با استفاده از خاصیت شرکت‌پذیری جمع: (−v+v)+3x1=(−v+v)+3x2(-v + v) + 3x_1 = (-v + v) + 3x_2
  3. با استفاده از تعریف وارون جمعی (و جابه‌جایی که −v+v=0-v + v = 0): 0+3x1=0+3x20 + 3x_1 = 0 + 3x_2
  4. با استفاده از تعریف همانی جمعی: 3x1=3x23x_1 = 3x_2
  5. اکنون اسکالر 13∈F\frac{1}{3} \in \mathbb{F} را در طرفین ضرب می‌کنیم: 13(3x1)=13(3x2)\frac{1}{3}(3x_1) = \frac{1}{3}(3x_2)
  6. با اعمال شرکت‌پذیری ضرب اسکالر: (13⋅3)x1=(13⋅3)x2  ⟹  1x1=1x2\left(\frac{1}{3} \cdot 3\right)x_1 = \left(\frac{1}{3} \cdot 3\right)x_2 \implies 1x_1 = 1x_2
  7. با اعمال همانی ضرب اسکالر: x1=x2x_1 = x_2

بنابراین هر دو جوابی که برای معادله پیدا شوند، الزاماً یکی هستند. پس جواب معادله کاملاً منحصر‌به‌فرد است. ■\blacksquare


۴. دام‌های رایج در حل این تیپ مسئله

نکات باریک‌تر از مو

  1. اثبات وجود بدون اثبات یکتایی (یا برعکس): بسیاری فقط معادله را حل کرده و x=13(w−v)x = \frac{1}{3}(w-v) را به دست می‌آورند و کار را تمام می‌دانند. حل معادله تنها نشان می‌دهد «اگر جوابی باشد چه شکلی است»؛ اما برای عبارت «یکتایی»، باید صریحاً نشان دهید دو جواب مفروض برابرند، و برای «وجود» باید نشان دهید این مقدار ادعا شده در معادله صدق می‌کند و متعلق به VV است.
  2. حذف عجولانه vv از دو طرف بدون توجیه با وارون جمعی: ساده کردن vv از طرفین در ریاضیات عالی مجاز نیست مگر آنکه قاعده حذف (cancellation property) از طریق افزودن −v-v و شرکت‌پذیری جمع توجیه شود.

۵. پیوندها

پیوندهای این یادداشت ۵

یادداشت‌هایی که از این صفحه به آن‌ها پیوند داده شده است.

  • تعریف ۲۰.۱ فضای برداری
    پیش‌نمایش

    تعریف ۲۰.۱: فضای برداری (Vector Space)

    چکیده مفهومی به زبان ساده

    یک «فضای برداری» زمینی حاصل‌خیز برای محاسبات جبری است؛ مجموعه‌ای از اشیاء (به نام بردار) همراه با دو عمل جمع و ضرب اسکالر، که قوانین حساب و کتاب دبیرستانی (مانند جابه‌جایی، شرکت‌پذیری، پخش‌شدن ضرب روی جمع، وجود بردار صفر و عضو قرینه) دقیقاً و موبه‌مو در آن برقرار است.


  • نماد ۲۸.۱ علامت منفی و تفریق بردارها
    پیش‌نمایش

    نماد ۲۸.۱: علامت منفی و تفریق بردارها (Notation −v-v and w−vw - v)

    چکیده مفهومی به زبان ساده

    اکنون که اثبات کردیم هر بردار یک وارون جمعی منحصربه‌فرد دارد، می‌توانیم با خیال راحت به آن «منفی vv» بگوییم و با علامت −v-v نشانش دهیم. همچنین «تفریق بردارها» (w−vw - v) عملیات جدید و مستقلی نیست؛ بلکه صرفاً میان‌بُری است برای جمع کردن بردار ww با قرینه‌ی بردار vv.


  • قضیه ۲۷.۱ یکتایی وارون جمعی
    پیش‌نمایش

    قضیه ۲۷.۱: یکتایی وارون جمعی (Unique Additive Inverse)

    پیام کلیدی قضیه در یک جمله

    برای هر بردار vv در یک فضای برداری، فقط و فقط یک بردار قرینه (وارون جمعی) وجود دارد که حاصل جمعش با vv برابر با بردار صفر شود.


  • تمرین ۲ بخش ۲.۱ صفر بودن حاصل ضرب اسکالر
    پیش‌نمایش

    تمرین ۲ بخش ۲.۱: صفر بودن حاصل‌ضرب اسکالر در بردار

    صورت دقیق مسئله (کتاب آکسلر، صفحه ۲۸)

    فرض کنید a∈Fa \in \mathbb{F}، v∈Vv \in V و داشته باشیم:

    av=0av = 0

    ثابت کنید که حتماً a=0a = 0 یا v=0v = 0.


  • تمرین ۴ بخش ۲.۱ تهی نبودن فضای برداری
    پیش‌نمایش

    تمرین ۴ بخش ۲.۱: چرا مجموعه تهی فضای برداری نیست؟

    صورت دقیق مسئله (کتاب آکسلر، صفحه ۲۸)

    مجموعهٔ تهی (∅\emptyset) یک فضای برداری نیست. مجموعهٔ تهی تنها یکی از الزامات ذکر شده در تعریف فضای برداری (تعریف ۲۰.۱) را برآورده نمی‌کند. کدام یک؟


ارجاعات به این یادداشت ۳

یادداشت‌هایی که به این صفحه پیوند داده‌اند.

حالت ارائه