מטריצה חיובית

באלגברה ליניארית, מטריצה ממשית סימטרית A היא מטריצה חיובית (positive) אם התבנית הריבועית $q(x)=x^{T}Ax$ היא חיובית, כלומר אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q(x)\geq 0} לכל וקטור (ממשי) הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} . המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} היא חיובית לחלוטין (positive definite; בשימוש גם הביטוי השגוי "מטריצה מוגדרת חיובית") אם התבנית חיובית לחלוטין: $q(x)>0$ לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\neq 0} (זו כמובן תכונה חזקה יותר).

התכונה המקבילה לסימטריות עבור מטריצות מרוכבות, היא תכונת ההרמיטיות. מטריצה הרמיטית מרוכבת היא חיובית אם לכל וקטור (מרוכב) הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^*Ax\geq 0} , וחיובית לחלוטין אם לכל וקטור $x\neq 0$ מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^*Ax>0} . תנאים אלה שקולים לכך שכל הערכים העצמיים של המטריצה יהיו ממשיים וחיוביים (ובהתאמה, חיוביים ממש), ומשום כך מטריצות חיוביות מתנהגות מהרבה בחינות כמו מספרים ממשיים חיוביים. לדוגמה, מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A=(a)} בגודל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1\times 1} היא הרמיטית רק כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} ממשי. המטריצה חיובית אם $a\geq 0$, וחיובית לחלוטין אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a>0} .

תכונות של מטריצות חיוביות וחיוביות לחלוטין

אוסף המטריצות החיוביות סגור לחיבור ולכפל בסקלר חיובי. כך גם אוסף המטריצות החיוביות לחלוטין. בנוסף לזה, מטריצה חיובית היא חיובית לחלוטין אם ורק אם 0 אינו ערך עצמי שלה, כלומר אם ורק אם היא הפיכה. לבסוף, ההפכית של מטריצה חיובית לחלוטין גם היא חיובית לחלוטין. שני האוספים סגורים גם לפעולה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \mapsto PAP^t} .

מאחר שכל הערכים העצמיים של מטריצה חיובית הם חיוביים, מתקבל כי אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\in \mathbb{R}^{n\times n}} מטריצה חיובית אז $\det(A)\geq 0$ ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{tr}(A)\ge 0} . מעבר לכך, אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A,B\in \mathbb{R}^{n\times n}} מטריצות חיוביות מתקיים כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{tr}(AB)\ge 0} .

כאמור, מטריצה הרמיטית M היא חיובית אם לכל $\ z\in \mathbb {C} ^{n}$ מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z^*Mz\geq 0} . על ידי הפרדת הווקטור z לרכיב ממשי ורכיב מדומה אפשר לראות שמספיק לבדוק את תכונת החיוביות לווקטורים ממשיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z\isin \mathbb{R}^n} .

אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ M,N} חיוביות אז גם מכפלת הדמר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ M\circ N} חיובית; זהו "משפט המכפלה של שור".

קריטריון לבדיקה האם מטריצה היא חיובית הוא קריטריון סילווסטר (Sylvester's criterion).

פירוק של מטריצה חיובית

כידוע, לכל מספר מרוכב $\ z\neq 0$, הנורמה המרוכבת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ |z|^2=z\bar{z}} היא מספר ממשי חיובי. ההכללה של עובדה פשוטה זו למטריצות קובעת שלכל מטריצה (מרוכבת) הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ C} , המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A=C^*C} היא חיובית; אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ C} הפיכה, אז $\ A$ חיובית לחלוטין.
בעזרת משפט הלכסון האוניטרי, אפשר להראות שגם ההפך נכון: כל מטריצה חיובית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A} אפשר לפרק בצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A=C^*C} עבור מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ C} מתאימה. יתרה מזו, אם $\ A$ (סימטרית) ממשית, אפשר לדרוש שגם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ C} תהיה ממשית. בדרך דומה אפשר להוכיח גם ש(כמו במספרים ממשיים חיוביים) אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A} חיובית, אז לכל n טבעי קיימת מטריצה חיובית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ B} כך ש- $\ A=B^{n}$.

הקשר למרחבי מכפלה פנימית

במרחב מכפלה פנימית, טרנספורמציה הרמיטית T היא חיובית אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (Tx,x)\geq 0} לכל וקטור x, וחיובית לחלוטין אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (Tx,x)>0} לכל וקטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x\neq 0} . הגדרה זו מתיישבת עם ההגדרה עבור מטריצות, אם בוחרים כמרחב המכפלה הפנימית את $\ \mathbb {C} ^{n}$ (או הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{R}^n} ), עם המכפלה הפנימית הסטנדרטית, ורואים את המטריצה A כטרנספורמציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x\mapsto Ax} של כפל ב- A.

במרחב הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ V=\mathbb{C}^n} , התבנית $\ \langle x,y\rangle =x^{*}My$ היא הרמיטית אם ורק אם המטריצה הרמיטית, והיא מכפלה פנימית אם ורק אם M מטריצה חיובית לחלוטין. גם ההפך נכון: כל מכפלה פנימית במרחב V ניתנת להצגה כזו על ידי מטריצה חיובית לחלוטין.

שימושים באנליזה

תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f{}:{} \mathbb{R}^n\rightarrow \mathbb{R}} פונקציה ממשית של n משתנים, שכל נגזרותיה החלקיות מסדר שני הן רציפות. תנאי זה מבטיח שמטריצת ההסיאן שלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ H(f)} (דהיינו מטריצת הנגזרות השניות) תהיה מטריצה סימטרית (בגודל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n\times n} ). תנאי הכרחי לכך שנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} תהיה נקודת קיצון, הוא שכל הנגזרות החלקיות יתאפסו, כלומר הגרדיאנט הוא אפס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \nabla f(x_0)=0} . במקרה זה, הפיתוח לטור טיילור מראה שמטריצת ההסיאן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,A=H(f)} קשורה קשר הדוק להתנהגות של הפונקציה בסביבות הנקודה: אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,A} חיובית לחלוטין, אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} מינימום מקומי במובן החזק (כלומר: קיימת סביבה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} , שבה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f(x_0)<f(x)} לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x\neq x_0} ). ואם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} מינימום מקומי במובן החלש (כלומר: קיימת סביבה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} , שבה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f(x_0)\leq f(x)} לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,x} ), אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,A} היא מטריצה חיובית. הכיוון ההפוך אינו נכון בשני המקרים.

מינורים

המתמטיקאי הגרמני קרל גוסטב יעקב יעקובי מצא דרך לבדוק את החיוביות של מטריצה בעזרת המינורים הראשיים שלה: מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,A} היא חיובית לחלוטין אם ורק אם כל המינורים הראשיים שלה חיוביים. על ידי הצמדה במטריצת תמורה, נובע מכאן שאם כל המינורים הראשיים חיוביים, אז כל המינורים חיוביים. (לתכונות נוספות, ראו משפט יעקובי על שקילות למטריצה אלכסונית).

הדטרמיננטה של מטריצה חיובית לחלוטין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,A} מקיימת את "אי-שוויון פישר", שגילה E. Fischer ב-1908: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \det(A) \leq \det(A[X])\det(A[X^c])} . כאן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A[X]} הוא המינור המתקבל ממחיקת כל השורות והעמודות שאינן בקבוצת האינדקסים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,X} , ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ X^c} הוא המשלים של הקבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,X} . אי-שוויון זה מכליל אי-שוויון מפורסם אחר, שגילה אדמר ב-1893: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \det(A)\leq A_{11}\dots A_{nn}} .

מושגים קרובים

בדומה לתכונת החיוביות, אומרים שמטריצה הרמיטית היא מטריצה שלילית אם כל הערכים העצמיים שלה שליליים, ושלילית לחלוטין אם הערכים העצמיים שליליים ושונים מאפס. מטריצה (הרמיטית) שיש לה ערכים עצמיים חיוביים ושליליים, אינה מוחלטת (indefinite).

בשל הקרבה בין המונח האנגלי definite לשורש define, יש שקוראים למטריצה חיובית לחלוטין "מוגדרת חיובית", ולמטריצה שאינה מוחלטת, "לא מוגדרת".

בניתוח של מטריצות סטוכסטיות קוראים למטריצה ממשית completely positive אם היא חיובית לחלוטין, ויש לה פירוק בצורה $\ B^{t}B$ שבו כל הרכיבים של B חיוביים.

הכללה

באלגבראות סי-כוכב, בהינתן אלגברת סי-כוכב A, אומרים שאיבר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a\in A} הוא חיובי אם קיים איבר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in A} כך ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a=x^{*}x} . באופן שקול - a הוא חיובי אם ורק אם הספקטרום שלו מורכב רק מאיברים ממשיים אי שליליים.

קישורים חיצוניים

• מטריצה חיובית, באתר MathWorld (באנגלית)   

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

30527971מטריצה חיובית