דרגה (אלגברה לינארית)

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

דרגת העמודות שווה תמיד לדרגת השורות של המטריצה, ולכן מקובל לקרוא לערך המשותף שלהן דרגת המטריצה ${\displaystyle A}$ ולסמנו ${\displaystyle {\text{rank}}(A)}$ .

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

דרך פשוטה למצוא דרגה של מטריצה היא לדרג אותה לצורה הקנונית שלה ואז לספור את כל השורות שהן לא שורות אפסים. שיטה זו עובדת כיוון שפעולות שורה לא משפיעות על המרחב הנפרש של השורות (span) ולכן אחרי דירוג נוכל לראות בדיוק כמה שורות בלתי־תלויות לינארית זו בזו, זה יתן את ממד מרחב השורות שזהו כמובן הדרגה של המטריצה.

משפטים הקשורים לדרגה

• במטריצה מסדר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n\times n}  :
  • דרגת המטריצה קטנה מ־${\displaystyle n}$ אם ורק אם הדטרמיננטה שווה לאפס.
  • דרגת המטריצה שווה ל־${\displaystyle n}$ אם ורק אם המטריצה הפיכה.
• הרכבה של מטריצה מסדר ${\displaystyle n\times m}$ ומטריצה הפיכה ריבועית עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n\times n} , לא משנה את דרגת המטריצה.
• למערכת משוואות לינאריות קיים פתרון, אם ורק אם דרגת מטריצת המקדמים שלה שווה לדרגת מטריצת המקדמים המצומצמת שלה.
• יהי ${\displaystyle P}$ מרחב הפתרונות של מערכת משוואות לינאריות הומוגנית ${\displaystyle A}$ ב־${\displaystyle n}$ משתנים, אז ${\displaystyle {\text{rank}}(A)=n-\dim(P)}$ (משפט זה ידוע כ"משפט הדרגה")
• אם ${\displaystyle V,W}$ מרחבים וקטוריים מעל שדה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Bbb F} ו־${\displaystyle T:V\to W}$ העתקה לינארית, מגדירים את הדרגה של ${\displaystyle T}$ להיות הממד של התמונה שלה: ${\displaystyle {\text{rank}}(T)=\dim {\text{Im}}(T)}$ . אם ${\displaystyle V,W}$ הם וקטוריים סוף־ממדיים ו־${\displaystyle A}$ היא המטריצה המייצגת של ${\displaystyle T}$ ביחס לבחירה כלשהי של בסיסים על ${\displaystyle V,W}$ , אז מתקיים ${\displaystyle {\text{rank}}(T)={\text{rank}}(A)}$ ללא תלות בבסיסים שנבחרו. לכן במקרה הסוף־ממדי, דרגה של מטריצה ודרגה של העתקה לינארית הם מושגים שקולים.
• אי־שוויון סילבסטר: אם ${\displaystyle A}$ מטריצה מסדר ${\displaystyle m\times n}$ ו־${\displaystyle B}$ מסדר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n\times k} אז:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \text{rank}(A)+\text{rank}(B)-n\le\text{rank}(AB)}

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

${\displaystyle {\text{rank}}(A+B)\leq {\text{rank}}(A)+{\text{rank}}(B)}$

• לכל מטריצה ריבועית ${\displaystyle A}$ מעל המספרים הממשיים מתקיים:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \text{rank}(A^\text{T}A)=\text{rank}(AA^\text{T})=\text{rank}(A)=\text{rank}(A^\text{T})}