קבוצה פורשת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ניסוח
עריכה, עריכה
שורה 3:
קבוצת כל הצירופים הליניאריים של איברי קבוצת וקטורים נתונה <math>\ A</math> מסומנת ב<math>\ Sp(A)</math>. (קיצור של המילה Span, פרישה [[אנגלית|באנגלית]]). ניתן להראות שקבוצה זו תמיד מקיימת את אקסיומות המרחב הווקטורי ולכן ניתן לדבר על "המרחב הנפרש על ידי הקבוצה <math>\ A</math>". בהתאם לכך, <math>\ S</math> פורשת את <math>\ V</math> אם ורק אם <math>\ V=Sp(S)</math>.
 
קבוצה פורשת מינימלית, או קבוצה פורשת בלתי תלויה, היאמהווה [[בסיס (אלגברה)|בסיס]] למרחב הווקטורי. אם משמיטים מקבוצה כזו וקטור אחד (או יותר), היא כבר לא פורשת. אם קבוצה זו אינה מינימלית אז קיים בקבוצה וקטור שניתן להצגה כצירוף ליניארי של האחרים ולכן היא [[תלות ליניארית|תלויה ליניארית]].
 
== דוגמאות ==