מטריצה חיובית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 84.109.83.93 (שיחה) לעריכה האחרונה של 138.99.211.210
Matanyabot (שיחה | תרומות)
מ בוט החלפות: \1הפך
שורה 16:
 
כידוע, לכל מספר מרוכב <math>\ z\neq 0</math>, הנורמה המרוכבת <math>\ |z|^2=z\bar{z}</math> היא מספר ממשי חיובי. ההכללה של עובדה פשוטה זו למטריצות קובעת שלכל מטריצה (מרוכבת) <math>\ C</math>, המטריצה <math>\ A=C^*C</math> היא חיובית; אם <math>\ C</math> הפיכה, אז <math>\ A</math> חיובית לחלוטין. <br>
בעזרת [[משפט הלכסון האוניטרי]], אפשר להראות שגם ההיפךההפך נכון: כל מטריצה חיובית <math>\ A</math> אפשר לפרק בצורה <math>\ A=C^*C</math> עבור מטריצה <math>\ C</math> מתאימה. יתרה מזו, אם <math>\ A</math> (סימטרית) ממשית, אפשר לדרוש שגם <math>\ C</math> תהיה ממשית. בדרך דומה אפשר להוכיח גם ש(כמו במספרים ממשיים חיוביים) אם <math>\ A</math> חיובית, אז לכל n טבעי קיימת מטריצה חיובית <math>\ B</math> כך ש- <math>\ A=B^n</math>.
 
==הקשר למרחבי מכפלה פנימית==
שורה 22:
ב[[מרחב מכפלה פנימית]], טרנספורמציה הרמיטית T היא חיובית אם <math>(Tx,x)\geq 0</math> לכל וקטור x, וחיובית לחלוטין אם <math>\ (Tx,x)>0</math> לכל וקטור <math>\ x\neq 0</math>. הגדרה זו מתיישבת עם ההגדרה עבור מטריצות, אם בוחרים כמרחב המכפלה הפנימית את <math>\ \mathbb{C}^n</math> (או <math>\ \mathbb{R}^n</math>), עם [[מכפלה פנימית|המכפלה הפנימית]] הסטנדרטית, ורואים את המטריצה A כטרנספורמציה <math>\ x\mapsto Ax</math> של כפל ב- A.
 
במרחב <math>\ V=\mathbb{C}^n</math>, התבנית <math>\ \langle x,y\rangle=x^*My</math> היא הרמיטית אם ורק אם המטריצה הרמיטית, והיא [[מכפלה פנימית]] אם ורק אם M מטריצה חיובית לחלוטין. גם ההיפךההפך נכון: כל מכפלה פנימית במרחב V ניתנת להצגה כזו על ידי מטריצה חיובית לחלוטין.
 
==שימושים באנליזה==