همریختیهای طبیعی
اکنون تنها یک شک ممکن دیگر وجود دارد که خواننده ممکن است (یا به هر حال، باید) داشته باشد. بسیاری از نتایج پیشین ما پیامد روابط بازتابی مانند بودند؛ آیا اینها پس از انقلاب تبدیل کروشه به پرانتز همچنان معتبر باقی میمانند؟ دقیقتر آن است که سؤال را به شکل زیر بپرسیم. هر آنچه درباره یک فضای یکانی میگوییم باید درباره فضای یکانی نیز صادق باشد؛ به ویژه، این فضا همچنین در یک رابطه یکریختی مزدوج طبیعی با فضای دوگان خود قرار دارد. اگر اکنون به ازای هر بردار در یک بردار در را متناظر کنیم، به طوری که ابتدا یکریختی مزدوج طبیعی از به را اعمال کنیم و سپس همین مسیر را از به طی کنیم، آنگاه این نگاشت رقیبی برای عنوان نگاشت طبیعی از به است، عنوانی که پیشتر در فصل اول به یک تناظر به ظاهر متفاوت اعطا شده بود. رابطه بین این دو تناظر طبیعی چیست؟ اظهارات ما درباره انطباق، به جز اصلاحات جزئی، نظریههای پرانتز و کروشه، واقعاً با این واقعیت توجیه میشوند، که اکنون آن را اثبات خواهیم کرد، مبنی بر اینکه این دو نگاشت یکسان هستند. (نباید تعجبآور باشد، زیرا ، که پس از دو بار اعمال، مزدوجگیری دردسرساز ناپدید میشود.) اثبات کوتاهتر از مقدمه آن است.
فرض کنید هر عنصری از باشد؛ متناظر با آن، تابعک خطی در قرار دارد که با تعریف میشود، و به نوبه خود، متناظر با ، تابعک خطی در قرار دارد که با تعریف میشود. هر دوی این تناظرات توسط نگاشتی که در این فصل معرفی شد داده میشوند. پیشتر (به بخش: بازتابی مراجعه کنید) عنصر متناظر در برای در با برای تمام ها در تعریف شده بود؛ ما باید نشان دهیم که ، همانطور که در اینجا تعریف کردیم، در این اتحاد صدق میکند. فرض کنید هر تابعک خطی روی باشد (یعنی هر عنصری از )؛ داریم (تساوی وسط از تعریف ضرب داخلی در ناشی میشود.) این تمام مسائل ما را حل میکند.
تمرینها
تمرین ۱. اگر و زیرفضاهایی از یک فضای ضرب داخلی متناهیبعد باشند، آنگاه و
تمرین ۲. اگر
تمرین ۳. اگر برداری در یک فضای ضرب داخلی باشد، اگر یک تبدیل خطی روی آن فضا باشد، و اگر به ازای هر بردار باشد، آنگاه یک تابعک خطی است؛ برداری مانند بیابید به طوری که به ازای هر .
تمرین ۴.
- اگر یک تبدیل خطی روی یک فضای ضرب داخلی متناهیبعد باشد، آنگاه ؛ یک شرط لازم و کافی برای اینکه این است که . (راهنمایی: به ماتریسها نگاه کنید.) این ویژگی اثرها اغلب میتواند برای به دست آوردن حقایق جبری دستنیافتنی در غیر این صورت، درباره حاصلضرب تبدیلها و الحاقیهایشان استفاده شود.
- با استفاده از استدلال اثر، و همچنین به طور مستقیم، اثبات کنید که اگر تبدیلهای خطی روی یک فضای ضرب داخلی متناهیبعد باشند و اگر ، آنگاه .
- اگر ، آنگاه .
- اگر با جابهجا شود و اگر با جابهجا شود، آنگاه با B جابهجا میشود. (راهنمایی: اگر و ، آنگاه
تمرین ۵.
- فرض کنید یک فضای یکانی است، و مجموعه تمام زوجهای مرتب را با و در تشکیل دهید (یعنی مجموع مستقیم با خودش). اثبات کنید که معادله یک ضرب داخلی در مجموع مستقیم تعریف میکند.
- اگر با تعریف شود، آنگاه .
- نمودار یک تبدیل خطی روی مجموعه تمام آن عناصر از است که برای آنها . اثبات کنید که نمودار هر تبدیل خطی روی یک زیرفضا از است.
- اگر یک تبدیل خطی روی با نمودار باشد، آنگاه نمودار متمم متعامد (در ) تصویر تحت (به (ب) مراجعه کنید) از نمودار است.
تمرین ۶.
- اگر به ازای هر تبدیل خطی روی یک فضای ضرب داخلی متناهیبعد باشد، آنگاه یک نرم است (روی فضای تمام تبدیلهای خطی).
- آیا نرم توسط یک ضرب داخلی القا میشود؟
تمرین ۷.
- دو تبدیل خطی و روی یک فضای ضرب داخلی همنهشت نامیده میشوند اگر یک تبدیل خطی معکوسپذیر وجود داشته باشد به طوری که . (این مفهوم اغلب برای "فرمهای درجه دوم" مرتبط با تبدیلهای خطی تعریف میشود و نه برای خود تبدیلهای خطی؛ این تا حد زیادی سلیقهای است. توجه کنید که اگر و ، آنگاه ایجاب میکند که .) اثبات کنید که همنهشتی یک رابطه همارزی است.
- اگر و همنهشت باشند، آنگاه و نیز همنهشت هستند.
- آیا تبدیل خطی وجود دارد به طوری که با یک اسکالر همنهشت باشد، اما ؟
- آیا تبدیلهای خطی و وجود دارند به طوری که و همنهشت باشند، اما و همنهشت نباشند؟
- اگر دو تبدیل معکوسپذیر همنهشت باشند، آنگاه معکوسهای آنها نیز همنهشت هستند.