تبدیلها به عنوان بردارها
اکنون به استخراج برخی خواص ابتدایی و روابط میان تبدیلات خطی روی یک فضای برداری میپردازیم. به طور خاصتر، چندین روش برای ساختن تبدیلات جدید از تبدیلات قدیمی را نشان خواهیم داد؛ عموماً به ارائه تعریف تبدیلات جدید بسنده کرده و اثبات خطی بودن را حذف خواهیم کرد.
اگر و تبدیلات خطی باشند، جمع آنها را، ، با معادله (برای هر ) تعریف میکنیم. مشاهده میکنیم که جابجایی و شرکتپذیری جمع در بلافاصله نتیجه میدهد که جمع تبدیلات خطی جابجایی و شرکتپذیر است. بسیار بیشتر از این نیز صادق است. اگر جمع هر تبدیل خطی و تبدیل خطی (که در بخش قبل تعریف شد) را در نظر بگیریم، میبینیم که . اگر، برای هر ، تبدیل تعریف شده با را با نشان دهیم، میبینیم که ، و اینکه تبدیل ، که بدین گونه تعریف شده، تنها تبدیل خطی با این خاصیت است که . خلاصه اینکه: خواص یک فضای برداری، که در اصول موضوعه (A) در بخش: فضاهای برداری توصیف شدهاند، مجدداً در مجموعه تمام تبدیلات خطی روی فضا ظاهر میشوند؛ مجموعه تمام تبدیلات خطی نسبت به عمل جمع یک گروه آبلی است.
با همان رویه ادامه میدهیم. اکنون دیگر کسی تعجب نخواهد کرد اگر اصول موضوعه (B) و (C) فضاهای برداری نیز توسط مجموعه تمام تبدیلات خطی ارضا شوند. آنها ارضا میشوند. برای هر ، و هر اسکالر ، حاصلضرب را با معادله تعریف میکنیم. اصول موضوعه (B) و (C) بلافاصله تأیید میشوند؛ ما به شرح زیر خلاصه میکنیم.
قضیه ۱. مجموعه تمام تبدیلات خطی روی یک فضای برداری، خود یک فضای برداری است.
ما معمولاً این قضیه را نادیده خواهیم گرفت؛ دلیل آن این است که میتوانیم چیزهای بسیار بیشتری درباره تبدیلات خطی بگوییم، و صرفِ این واقعیت که آنها یک فضای برداری تشکیل میدهند تنها به ندرت مورد استفاده قرار میگیرد. «چیزهای بسیار بیشتری» که میتوانیم بگوییم این است که یک تعریف کم و بیش مناسب از ضرب برای تبدیلات خطی وجود دارد، که در بخش بعدی به بحث درباره آن میپردازیم.
تمرینها
تمرین ۱. ثابت کنید هر یک از تناظرهای توصیف شده در زیر یک تبدیل خطی است.
- مجموعه اعداد مختلط است که به عنوان یک فضای برداری حقیقی در نظر گرفته شده است؛ مزدوج مختلط است.
- برابر با است؛ اگر یک چندجملهای باشد، آنگاه .
- حاصلضرب تانسوری -تایی یک فضای برداری با خودش است؛ چنان است که که در آن یک جایگشت از است.
- مجموعه تمام فرمهای -خطی روی یک فضای برداری است؛ که در آن یک جایگشت از است.
- مجموعه تمام فرمهای -خطی روی یک فضای برداری است؛ اگر در باشد، آنگاه ، که در آن جمع روی تمام جایگشتهای در گسترش مییابد.
- مانند (e) با این تفاوت که .
تمرین ۲. ثابت کنید اگر یک فضای برداری متناهیبعد باشد، آنگاه فضای تمام تبدیلات خطی روی متناهیبعد است، و بعد آن را بیابید.
تمرین ۳. مفهوم «تبدیل خطی»، همانطور که در متن تعریف شده است، برای برخی مقاصد بیش از حد خاص است. طبق یک تعریف کلیتر، یک تبدیل خطی از یک فضای برداری به یک فضای برداری روی همان میدان، تناظری مانند است که به هر بردار در یک بردار در نسبت میدهد به طوری که ثابت کنید هر یک از تناظرهای توصیف شده در زیر یک تبدیل خطی در این مفهوم تعمیمیافته است.
- میدان اسکالرهای است؛ یک تابعک خطی روی است.
- جمع مستقیم با یک فضای دیگر است؛ هر جفت در را به مختصه اول آن مینگارد.
- خارجقسمت به پیمانه یک زیرفضا است؛ هر بردار در را به همدستهای که تعیین میکند مینگارد.
- فرض کنید یک تابعک دوخطی روی یک جمع مستقیم باشد. فرض کنید دوگان باشد، و را به عنوان تناظری تعریف کنید که به هر در تابعک خطی روی را نسبت میدهد که از با قرار دادن آرگومان اول آن برابر با به دست میآید.
تمرین ۴.
- فرض کنید و فضاهای برداری روی یک میدان باشند. اگر و تبدیلات خطی از به باشند، اگر و اسکالر باشند، و اگر برای هر در ، آنگاه یک تبدیل خطی از به است.
- اگر طبق تعریف بنویسیم ، آنگاه مجموعه تمام تبدیلات خطی از به با توجه به این تعریف از اعمال خطی، به یک فضای برداری تبدیل میشود.
- ثابت کنید اگر و متناهیبعد باشند، آنگاه فضای تمام تبدیلات خطی از به نیز متناهیبعد است، و بعد آن را بیابید.
تمرین ۵. فرض کنید یک زیرفضای -بعدی از یک فضای برداری -بعدی باشد. ثابت کنید مجموعه آن دسته از تبدیلات خطی روی که به ازای آنها هرگاه در باشد، یک زیرفضا از مجموعه تمام تبدیلات خطی روی است، و بعد آن زیرفضا را بیابید.