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