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

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