לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/5
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
=== קריטריונים שקולים לבסיס === בהגדרה של תלות לינארית ראינו שאפשר לראות תלות לינארית בתור היכולת לזרוק וקטורים מבלי להשפיע על המרחב הנפרש. הטענה הנ"ל באופן פורמאלי היא הטענה הבאה: טענה: יהיה <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math>. תהא <math>S=\{v_{1},\dots v_{n}\}</math> קבוצה ונניח כי קיים <math>i</math> כך ש <math>v_i</math> תלוי באחרים. אזי <math>span(S)=span(S\setminus \{v_i\})</math> כמובן שלפעולה זו יש סוף - מתישהו לא ניתן לזרוק אף וקטור מבלי לגרוע מהמרחב הנפרש. הקבוצה שנשארנו איתה תהיה בסיס. זוהי בניה "מלמעלה ללמטה". כלומר מתחילים עם <math>V</math> ו"זורקים" וקטורים כמה שניתן. בניה נוספת היא בניה "מלמטה ללמעלה". מתחילים עם הקבוצה הריקה ''ומוסיפים'' וקטורים כך שהקבוצה המתקבלת היא בת"ל. כמובן שגם לפעולה זאת יש סוף (אחרי מספר צעדים השווה למימד של המרחב) - מתי שלא ניתן להוסיף אף וקטור מבלי לגרוע מ"בת"ליות" הקבוצה, הגענו לבסיס. בניה זאת מתבססת על הטענה הבאה: טענה: יהיה <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> ותהא <math>S=\{v_{1},\dots v_{n}\}</math> קבוצה בת"ל. אם קיים <math>v\in V\setminus span(S)</math> אז <math>S^{'}=\{v_{1},\dots v_{n},v\}</math> בת"ל גם כן. הוכחה: נניח <math>\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots\alpha_{n}v_{n}+\alpha v=0</math> <math>\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots\alpha_{n}v_{n}=-\alpha v\Leftarrow</math> <math>\alpha=0\Leftarrow</math> כי אחרת נקבל ש <math>v\in span(S)</math> ע"י חילוק ב <math>-\alpha</math> <math>\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots\alpha_{n}v_{n}=0\Leftarrow</math> <math>\alpha_{i}=0\Leftarrow</math> כי <math>S</math> בת"ל. לסיכום: '''משפט:''' יהיה <math>B\subset V</math> אזי התנאים הבאים שקולים: # <math>B</math> בסיס. # <math>B</math> קבוצה בת"ל מקסימאלית # <math>B</math> קבוצה פורשת את <math>V</math>- מינימאלית. '''מסקנה חשובה''' ממפרק זה היא # כל קבוצה <math>B</math> בת"ל ניתן '''להשלים''' לבסיס # לכל קבוצה פורשת <math>S</math> קיימת '''תת קבוצה''' שהיא בסיס (חידה מטופשת: אם ניקח את המימד של צירוף לינארי נקבל מנה טעימה. מהי?)
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)