הצגת המקור של הדף "קבוצה פורשת"

'''קבוצה פורשֹת''' (או '''קבוצת יוצרים''') היא [[קבוצה (מתמטיקה)|קבוצת]] [[וקטור (אלגברה)|וקטורים]] שבאמצעותם ניתן להציג כ[[צירוף ליניארי]] את כל ואך ורק וקטורים ב[[מרחב וקטורי|מרחב]] הנפרש.

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

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

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

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

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

ניתן להרחיב את מושג הפריסה למערכת מרובת ממדים. אם יש לנו רחפן, נצטרך כפתור שליטה נוסף כדי להביא את הרחפן לככל נקודה במרחב, משום שרחפן נע בשלושה ממדים ולכן הוא צריך 3 וקטורים שונים כדי לפרוס את המרחב. בהכללה, לכל מרחב n ממדי דרושים n וקטורים בלתי תלויים ליניארית כדי לפרוס אותו. וקטורים אלה נקראים ה[[בסיס (אלגברה)|בסיס]] של המרחב.

== דוגמאות ==
* הקבוצה <math>\{1\}</math> פורשת את קבוצת ה[[מספר ממשי|מספרים הממשיים]], מפני שכל מספר ממשי הוא צירוף ליניארי שלה (כי לכל מספר ממשי <math>x</math> קיים <math>\lambda \in \R</math> כך שמתקיים <math>x = \lambda \cdot 1</math>). בדומה, כל קבוצה של מספרים ממשיים – למעט [[הקבוצה הריקה]] ו[[יחידון]] האפס (<math>\{0\}</math>) – פורשת את קבוצת כל המספרים הממשיים ׁ(אבל לאו דווקא פורשת מינימלית). למשל: <math>\{8\}</math>, המספרים הטבעיים <math>\N</math> או <math>\{5,3.6\}</math> הן כולן קבוצות אשר פורשות את המספרים הממשיים.
* הקבוצה <math>\{(3,0)\}</math> פורשת את המרחב <math>A = \{(x,0): x\in \R\}</math>, כי לכל <math>v\in A</math>, קיים <math>\lambda \in \R</math> כך שמתקיים <math>v = \lambda \cdot (3,0)</math>.
בהתאם לדוגמאות שלעיל נוכל לסמן:
*<math>\R = \operatorname{Sp}( \{ 1\}) = \operatorname{Sp}(\{ 8\})=\operatorname{Sp}(\N)</math>
* <math>A=\operatorname{Sp}(\{(3,0)\})</math> .

== לקריאה נוספת ==
* {{cite web |url=https://www.math.ucdavis.edu/~anne/linear_algebra/mat67_course_notes.pdf |title=Linear Algebra - As an Introduction to Abstract Mathematics|last1=Lankham |first1=Isaiah |last2=Nachtergaele |first2=Bruno |author2-link=Bruno Nachtergaele|last3=Schilling |first3=Anne|author3-link=Anne Schilling |publisher=University of California, Davis |date= 13 February 2010 |accessdate=27 September 2011 }}
* Brian P. Rynne & Martin A. Youngson (2008). ''Linear Functional Analysis'', page 4, Springer {{isbn|978-1848000049}}.

== קישורים חיצוניים ==
* [https://www.khanacademy.org/math/linear-algebra/vectors_and_spaces/linear_combinations/v/linear-combinations-and-span Linear Combinations and Span: Understanding linear combinations and spans of vectors], khanacademy.org.
* {{Cite web |title=Linear combinations, span, and basis vectors |work=Essence of linear algebra |date=August 6, 2016 |via=[[YouTube]] |url=https://www.youtube.com/watch?v=k7RM-ot2NWY&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab&index=3 }}
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים}}

{{אלגברה ליניארית}}

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

[[pl:Podprzestrzeń liniowa#Powłoka liniowa]]
[[ru:Векторное пространство#Линейная оболочка]]