קבוצה פורשת

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

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

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

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

דוגמאות[עריכת קוד מקור | עריכה]

  • הקבוצה פורשת את קבוצת המספרים הממשיים, מפני שכל מספר ממשי הוא צירוף ליניארי שלה (כי לכל מספר ממשי קיים כך ש- ). בדומה, כל קבוצה של מספרים ממשיים (למשל , או ) פורשת את קבוצת כל המספרים הממשיים ׁ(אבל לאו דווקא פורשת מינימלית), למעט הקבוצה הריקה ויחידון האפס ().
  • הקבוצה פורשת את המרחב , כי לכל , קיים כך ש- .

בהתאם לדוגמאות שלעיל נוכל לסמן:

  • .

אינטואיציה

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

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

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

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

לקריאה נוספת[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]