שונות משותפת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־08:46, 1 בפברואר 2018

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

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

הגדרה

נסמן ב- $\ \mu _{X}=\operatorname {E} (X),\mu _{Y}=\operatorname {E} (Y)$ את התוחלות של המשתנים המקריים $\ X$ ו- $\ Y$ . השונות המשותפת של השניים מוגדרת להיות

\ \operatorname {cov} (X,Y)=\operatorname {E} (XY)-\mu _{X}\mu _{Y}=\operatorname {E} ((X-\mu _{X})(Y-\mu _{Y}))

.

מאי שוויון קושי-שוורץ נובע שתמיד $\ |\operatorname {cov} (X,Y)|^{2}\leq V(X)V(Y)$ , כאשר $\ V(X)$ היא השונות של המשתנה המקרי X (וכן ל- Y). בפרט, השונות המשותפת קיימת (וסופית) כל אימת שלמשתנים X ו- Y יש שונות (סופית). מאותה סיבה, הערך המוחלט של מקדם המתאם $\ \rho (X,Y)={\frac {\operatorname {cov} (X,Y)}{\sqrt {V(X)V(Y)}}}$ אינו עולה על 1.

תכונות

למשתנים ששונותם המשותפת אפס, קוראים משתנים בלתי מתואמים. כל שני משתנים בלתי תלויים הם בלתי מתואמים, אבל ההפך אינו נכון.

השונות המשותפת היא תבנית ביליניארית, כלומר, $\ \operatorname {cov} (aX+bY,Z)=a\cdot \operatorname {cov} (X,Z)+b\cdot \operatorname {cov} (Y,Z)$ , וכן ברכיב הימני. זוהי תבנית סימטרית, שהיא חיובית לחלוטין על מרחב המשתנים המקריים (כאשר מזהים משתנים שההפרש ביניהם קבוע בהסתברות 1), מכיוון שלמשתנה שאינו קבוע בהסתברות 1, יש שונות חיובית. מכאן שהשונות המשותפת מגדירה מכפלה פנימית על מרחב המשתנים המקריים עד-כדי הזיהוי הנזכר לעיל.

מטריצת השונויות

אם X הוא וקטור של משתנים מקריים, מסמנים ב- $\ \operatorname {cov} (X)$ את מטריצת השונויות המשותפות, שהרכיב ה-(i,j) שלה הוא השונות המשותפת $\ \operatorname {cov} (X_{i},X_{j})$ . טרסנפורמציה ליניארית של המשתנים מביאה לחפיפה של מטריצת השונויות: אם A מטריצה קבועה, אז $\ \operatorname {cov} (AX)=A\operatorname {cov} (X)A^{T}$ .

ראו גם

@@ שורה 16: / שורה 16: @@
 למשתנים ששונותם המשותפת אפס, קוראים '''משתנים בלתי מתואמים'''. כל שני משתנים בלתי תלויים הם בלתי מתואמים, אבל ההפך אינו נכון.
-השונות המשותפת היא [[תבנית בילינארית]], כלומר, <math>\ \operatorname{cov}(aX+bY,Z) = a\cdot \operatorname{cov}(X,Z)+b\cdot \operatorname{cov}(Y,Z)</math>, וכן ברכיב הימני. זוהי תבנית סימטרית, שהיא [[תבנית חיובית לחלוטין|חיובית לחלוטין]] על מרחב המשתנים המקריים (כאשר מזהים משתנים שההפרש ביניהם קבוע [[כמעט תמיד|בהסתברות 1]]), מכיוון שלמשתנה שאינו קבוע בהסתברות 1, יש שונות חיובית. מכאן שהשונות המשותפת מגדירה [[מכפלה פנימית]] על מרחב המשתנים המקריים עד-כדי הזיהוי הנזכר לעיל.
+השונות המשותפת היא [[תבנית ביליניארית]], כלומר, <math>\ \operatorname{cov}(aX+bY,Z) = a\cdot \operatorname{cov}(X,Z)+b\cdot \operatorname{cov}(Y,Z)</math>, וכן ברכיב הימני. זוהי תבנית סימטרית, שהיא [[תבנית חיובית לחלוטין|חיובית לחלוטין]] על מרחב המשתנים המקריים (כאשר מזהים משתנים שההפרש ביניהם קבוע [[כמעט תמיד|בהסתברות 1]]), מכיוון שלמשתנה שאינו קבוע בהסתברות 1, יש שונות חיובית. מכאן שהשונות המשותפת מגדירה [[מכפלה פנימית]] על מרחב המשתנים המקריים עד-כדי הזיהוי הנזכר לעיל.
 == מטריצת השונויות ==
-אם X הוא וקטור של משתנים מקריים, מסמנים ב- <math>\ \operatorname{cov}(X)</math> את [[מטריצת השונויות המשותפות]], שהרכיב ה-(i,j) שלה הוא השונות המשותפת <math>\ \operatorname{cov}(X_i,X_j)</math>. טרסנפורמציה לינארית של המשתנים מביאה ל[[חפיפת מטריצות|חפיפה]] של מטריצת השונויות: אם A מטריצה קבועה, אז <math>\ \operatorname{cov}(AX) = A\operatorname{cov}(X)A^T</math>.
+אם X הוא וקטור של משתנים מקריים, מסמנים ב- <math>\ \operatorname{cov}(X)</math> את [[מטריצת השונויות המשותפות]], שהרכיב ה-(i,j) שלה הוא השונות המשותפת <math>\ \operatorname{cov}(X_i,X_j)</math>. טרסנפורמציה ליניארית של המשתנים מביאה ל[[חפיפת מטריצות|חפיפה]] של מטריצת השונויות: אם A מטריצה קבועה, אז <math>\ \operatorname{cov}(AX) = A\operatorname{cov}(X)A^T</math>.
 == ראו גם ==