با تولید همه ترکیبهای خطی مجموعهای از بردارها میتوان زیرمجموعههای را به دست آورد که «زیر فضا» (Subspace) نامیده میشوند. ممکن است این پرسش پیش بیاید که چه مجموعهای در صفحه را ایجاد میکند؟ کوچکترین مجموعه بردارهایی که برای این کار میتوان یافت، چیست؟ «اسپن» (Spanning)، «استقلال خطی» (Linear Independence) و «پایه» (Basis) دقیقاً همان چیزهایی هستند که برای پاسخ به این پرسشها و پرسشهای مشابه به آنها نیاز داریم.
مجموعه اسپن کننده بردارها
این بخش را با یک تعریف آغاز میکنیم.
تعریف ۱ (اسپن یک مجموعه از بردارها): مجموعه همه ترکیبهای بردارهای
در به عنوان اسپن این بردارها شناخته شده و به صورت
نوشته میشود.
مثال زیر را در نظر بگیرید.
مثال ۱ (اسپن بردارها): اسپن بردارهای
و در
را توصیف کنید.
حل: میبینیم که هر ترکیب خطی از بردارهای
و یک بردار به فرم در صفحه
نتیجه خواهد داد.
علاوه بر این، هر بردار در صفحه
در حقیقت ترکیبی خطی از بردارهای و
است. زیرا:
بنابراین،
دقیقاً صفحه است. احتمالاً پی بردهاید که یک بردار تکی وجود ندارد که بتواند صفحه
را اسپن کند.
اگر بخواهیم میتوانیم مجموعه بزرگتری را انتخاب کنیم. برای مثال، مجموعه بزرگتر بردارهای
را در نظر بگیرید که در آن، . از آنجا که دو بردار قبلاً کل صفحه را اسپن کردند، دوباره دقیقاً صفحه اسپن شده و چیزی افزوده نمیشود. البته اگر یک بردار جدید مانند را اضافه کنیم، آنگاه یک فضای متفاوت را اسپن میکند. در این حالت، اسپن
چگونه است؟
تمایز بین مجموعههای
و
با استفاده از مفهوم استقلال خطی قابل درک است.
بردارهای
، و را که درباره آنها بحث کردیم، در نظر بگیرید. در مثال بعدی، نشان میدهیم که چگونه در اسپن و
قرار دارد.
مثال ۲ (بردار در یک اسپن): بردارهای
و را در فضای در نظر بگیرید. نشان دهید در
قرار دارد.
حل: برداری که در
قرار دارد، باید یک ترکیب خطی از این بردارها باشد. یعنی اگر ، باید بتوانیم اسکالرهای و
را به گونهای بیابیم که تساوی زیر برقرار باشد:
بنابراین، رابطه زیر را داریم:
رابطه بالا معادل با دستگاه معادلات زیر است:
این دستگاه را به صورت معمول و با تشکیل ماتریس افزوده و کاهش سطری برای به دست آوردن فرم پلکانی کاهش یافته حل میکنیم:
جواب
و
است. این یعنی:
بنابراین، میتوان گفت
در
قرار دارد.
زیر فضا و قضایای آن
ابتدا تعریف زیرمجموعه را بیان میکنیم.
تعریف ۲ (زیرمجموعه): فرض کنید
و مجموعههایی از بردارها در فضای باشند. اگر همه بردارهای در نیز باشند، میگوییم یک زیرمجموعه از
است و آن را به صورت زیر نشان میدهیم:
در ادامه، مفهوم زیر فضا در
را بیان میکنیم. قبل از تعریف دقیق این مفهوم، ابتدا آزمون زیر فضا را معرفی میکنیم.
قضیه ۱ (آزمون زیرفضا): زیرمجموعه
از یک زیر فضا از
است، اگر:
- بردار صفر
، یعنی ، در
- قرار داشته باشد؛
نسبت به جمع بسته باشد، یعنی برای هر ، داشته باشیم:
- .
نسبت به ضرب اسکالر بسته باشد، یعنی برای و ، داشته باشیم:
- .
این آزمون این توانایی را به ما میدهد که یک مجموعه زیرفضای
را تعیین کنیم. لازم به ذکر است که یک زیر فضا از است (زیرفضای صفر)، همانطور که خود
نیز یک زیر فضا از آن است.
یک زیر فضا که زیرفضای صفر
نباشد، «زیرفضای سره» (Proper Subspace) نامیده میشود.
به زبان ساده میتوان گفت که یک زیر فضا مجموعهای از بردارها با این ویژگی است که ترکیبهای خطی آنها در مجموعه باقی میماند. با تعبیر هندسی، در
یک زیر فضا را میتوان با هر مبدئی به عنوان یک نقطه تکی، خط و صفحه نشان داد که شامل مبدأ یا کل فضای است. مثال زیر خطی در فضای
است.
مثال ۳ (زیرفضای
): در ، خط گذرنده از مبدأ و موازی بردار دارای معادله بردای
است، بنابراین:
در نتیجه،
یک زیر فضا از
است. این موضوع را نشان دهید.
حل: با استفاده از آزمون زیر فضا بررسی میکنیم که
یک زیر فضا از
است:
- ابتدا، میدانیم
، زیرا
- .
- فرض کنید
. در نتیجه، طبق تعریف، برای ، داریم: و
- . بنابراین:
از آنجا که
، آنگاه ؛ یعنی
تحت جمع بسته است.
- فرض کنید
و ( یک اسکالر است). بنابراین، برای ، داریم:
- . در نتیجه:
از آنجا که
، داریم: . این یعنی
نسبت به ضرب اسکالر بسته است.
از آنجا که
در همه شرایط آزمون زیر فضا صدق میکند، میتوان نتیجه گرفت که
یک زیر فضا است.
لازم به ذکر است که نکته خاصی درباره
این مثال وجود ندارد. اثبات مشابهی برای هر بردار غیرصفر وجود دارد، بنابراین، هر خط گذرنده از مبدأ یک زیرفضا در
است.
مثال ۴ (زیرفضاهای ناسره یا ناوردا): فرض کنید
یک فضای برداری دلخواه باشد. در نتیجه، یک زیرفضای خودش است. به طور مشابه،
شامل فقط بردار صفر و همچنین یک زیرفضا است.
حل: با استفاده از آزمون زیرفضا، میتوانیم نشان دهیم
و زیرفضاهای
هستند.
از آنجا که
در اصول فضای برداری صدق میکند، در سه گام آزمون زیرفضا نیز صدق میکند. بنابراین،
یک زیرفضا است.
مجموعه
را در نظر بگیرید.
- بردار
به وضوح در
- قرار دارد، بنابراین، شرط اول برقرار است.
- فرض کنید
و در قرار داشته باشند. در نتیجه، و
- و بنابراین:
که نتیجه میدهد مجموع بردارها نیز در
قرار دارد و شرط دوم نیز برقرار است.
- فرض کنید
در
- قرار داشته باشد. آنگاه، داریم:
در نتیجه، ضرب در
قرار دارد و شرط سوم نیز برقرار است. در نهایت، میتوان گفت که یک زیرفضا از
است.
دو زیرفضای بالا «زیرفضاهای ناوردا» (Improper Subspaces) نامیده میشوند. هر زیرفضایی از فضای برداری
که برابر با یا
نباشد، یک زیرفضای سره نامیده میشود.
مثال ۵ (زیرفضای چندجملهایها): فرض کنید
یک فضای برداری از چندجملهایهای درجه دوم یا کمتر باشد. همچنین، فرض کنید همه چندجملهایهای درجه دوم یا کمتر است که یکی از ریشههای آنها است. نشان دهید یک زیرفضای
است.
حل: ابتدا،
را به صورت زیر مینویسیم:
باید نشان دهیم
در سه شرط بالا صدق میکند.
- چندجملهای صفر
به صورت است. واضح است که . بنابراین، در
- وجود دارد.
و را به عنوان چندجملهایهایی در در نظر بگیرید. در نتیجه، و را خواهیم داشت. اکنون را بررسی میکنیم. فرض کنید
- این مجموع را نشان میدهد.
بنابراین، مجموع نیز در
است و شرط دوم برقرار است.
- فرض کنید
یک چندجملهای در بوده و یک اسکالر باشد. بنابراین، خواهد بود. ضرب
- را در نظر بگیرید.
در نتیجه، ضرب اسکالر در
بوده و شرط سوم نیز برقرار است.
در نهایت میتوان گفت که
زیربازه
است.
اکنون میتوانیم تعریف دقیق زیرفضا را بیان کنیم.
تعریف ۳ (زیرفضا): فرض کنید
مجموعهای از بردارهای غیرتهی در باشد. همچنین، فرض کنید و دو عدد اسکالر بوده و و بردارهایی در باشند. آنگاه یک زیر فضا نامیده میشود اگر ترکیب خطی نیز در
باشد.
به بیان عمومیتر، این بدین معنی است که یک زیر فضا شامل اسپن هر مجموعه محدودی از بردارهای زیر فضا است. در
، یک زیر فضا دقیقاً اسپن تعداد محدودی از بردارهای آن است.
قضیه ۲ (زیرفضاها اسپن هستند): فرض کنید
مجموعهای از بردارهای ناتهی در باشد. آنگاه یک زیر فضا از است اگر و تنها اگر بردارهای در
به گونهای وجود داشته باشند که
همچنین، فرض کنید
یک زیرفضای دیگر از باشد و . آنگاه میتوان نتیجه گرفت که یک زیرمجموعه از
است.
از آنجا که
دلخواه است، گزاره بدین معنی است که هر زیرفضای دیگری از که شامل این بردارها باشد، شامل
نیز خواهد بود.
قضیه ۳ (اسپن یک زیرفضا است): فرض کنید
یک فضای برداری با باشد. اگر ، آنگاه یک زیرفضا از
است.
وقتی مجموعههای اسپن کننده را تعیین میکنیم، قضیه زیر مفید خواهد بود.
قضیه ۴ (زیرفضاها فضای برداری هستند): فرض کنید
یک مجموعه بردار در فضای برداری باشد. آنگاه یک زیرفضا است اگر و تنها اگر با استفاده از عملیات مشابهی که روی
تعریف شده است، در اصول فضای برداری صدق کند.
پایه فضای برداری
این بخش را با یک تعریف آغاز میکنیم.
تعریف ۴ (پایه یک زیرفضا): فرض کنید
زیرمجموعهای از باشد. آنگاه یک«پایه» (Basis) برای
نامیده میشود اگر دو شرط زیر برقرار باشند:
- مستقل خطی باشند
تعریف ۵ (پایه استاندارد
): فرض کنید برداری در باشد که یک در اُمین درایه دارد و سایر درایهها صفر هستند (اُمین ستون ماتریس واحد). آنگاه مجموعه یک پایه برای است و پایه استاندارد
نامیده میشود.
قضیه (پایههای
اندازه یکسانی دارند): فرض کنید یک زیرفضا از با دو پایه و باشد. فرض کنید شامل بردار و شامل بردار باشد. آنگاه
.
تعریف ۶ (بعد یک زیرفضا): فرض کنید
یک زیرفضای باشد. «بُعد» (Dimension) را به صورت
مینویسیم و به عنوان تعداد بردارهای یک پایه تعریف میکنیم.
بنابراین، میتوان گفت بعد
برابر با
است.
مثال ۶ (پایه زیرفضا): بردار زیر را در نظر بگیرید:
نشان دهید
یک زیرفضای است. همچنین، یک پایه از را بیابید. اندازه
را به دست آورید.
حل: شرط
معادل
است. بنابراین، میتوان نوشت:
این نشان میدهد که
یک زیرفضا از است، زیرا
که در آن،
همچنین، مجموعه
مستقل خطی است، همانطور که میتوان با استفاده از فرم پلکانی سطری کاهش یافته نوشت:
از آنجا که هر ستون ماتریس پلکانی سطری کاهش یافته یک
دارد، ستونها مستقل خطی هستند.
بنابراین،
مستقل خطی است و را اسپن میکند، بنابراین یک پایه است. در نتیجه،
سه بعد دارد.
قضیه ۵ (وجود پایه): فرض کنید
یک زیرفضای باشد. آنگاه یک پایه با
وجود دارد.
مثال ۷ (زیرمجموعه یک اسپن): فرض کنید
زیرفضای
باشد. یک پایه برای
پیدا کنید که شامل یک زیرمجموعه از بردارهای داده شده باشد.
حل: میتوانیم از فرم پلکانی سطری کاهش یافته استفاده کنیم. ماتریسی را که شمال بردارهای داده شده است، تشکیل میدهیم:
فرم سطری پلکانی کاهش یافته این ماتریس به صورت زیر است:
در نتیجه، پایه زیر را برای
خواهیم داشت:
از آنجا که ستونهای اول، دوم و پنجم یک پایه برای فضای ستونی هستند، روند و نتیجه مشابهی برای ماتریسی با بردارهایی به عنوان ستون وجود دارد.
قضیه ۶ (گسترش یک پایه): فرض کنید
هر زیرفضای غیرصفری از باشد و که نیز زیرفضایی از است. آنگاه هر پایه از را میتوان به یک پایه برای
گسترش داد.
مثال ۸ (گسترش یک پایه): فرض کنید
اسپن در باشد. همچنین فرض کنید
از اسپن بردارهای زیر تشکیل شده باشد:
یک پایه برای
بیابید که پایه را برای
گسترش میدهد.
حل: توجه داشته باشید که بردارهای فوق مستقل خطی نیستند، اما اسپن آنها که با
نشان داده میشود یک زیرفضا است که شامل زیرفضای
است.
با استفاده از فرآیند ذکر شده در مثال قبلی، ماتریس زیر را تشکیل میدهیم:
در ادامه، فرم سطری پلکانی کاهش یافته این ماتریس را مینویسیم:
از ماتریس بالا مشخص است که بعد
برابر با ۳ بوده و یک پایه دارد که پایه
را گسترش میدهد.