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