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