קבוצה פורשת

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

באלגברה לינארית, יאמר על קבוצת וקטורים $\ S$ שהיא קבוצה פורשת של מרחב וקטורי $\ V$ , אם לכל וקטור במרחב קיימת הצגה כצירוף לינארי של וקטורים השייכים ל- $\ S$ . בניסוח מעט יותר פורמלי: קבוצה $\ S$ במרחב וקטורי $\ V$ פורשת את $\ V$ אם ורק אם כל וקטור $\ v\isin V$ ניתן להצגה כצירוף לינארי של איברי $\ S$ .

קבוצת כל הצירופים הלינאריים של איברי קבוצת וקטורים נתונה $\ A$ מסומנת ב $\ Sp(A)$ . (קיצור של המילה Span, פרישה באנגלית). ניתן להראות שקבוצה זו תמיד מקיימת את אקסיומות המרחב הווקטורי ולכן ניתן לדבר על "המרחב הנפרש על ידי הקבוצה $\ A$ ". בהתאם לכך, $\ S$ פורשת את $\ V$ אם ורק אם $\ V=Sp(S)$ .

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

נושאים באלגברה לינארית

מקור: http://he.wikipedia.org../../../%D7%A7/%D7%91/%D7%95/%D7%A7%D7%91%D7%95%D7%A6%D7%94_%D7%A4%D7%95%D7%A8%D7%A9%D7%AA.html

קטגוריה: אלגברה

קבוצה פורשת

מתוך ויקיפדיה, האנציקלופדיה החופשית

Views

ניווט

קהילה

חיפוש

שפות אחרות