הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/5"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(הגדרת המרחב הנפרש (span))
(הגדרת המרחב הנפרש (span))
שורה 4: שורה 4:
 
יהי V מ"ו מעל שדה <math>\mathbb{F}</math> ויהיו <math>v_1,...,v_n\in V</math> וקטורים במרחב. '''צירוף לינארי''' של <math>v_1,...,v_n</math> הינו '''וקטור במרחב''' <math>v\in V</math> כך שקיימים סקלרים בשדה <math>a_1,...,a_n\in\mathbb{F}</math> המקיימים <math>v=a_1v_1+...+a_nv_n</math>.
 
יהי V מ"ו מעל שדה <math>\mathbb{F}</math> ויהיו <math>v_1,...,v_n\in V</math> וקטורים במרחב. '''צירוף לינארי''' של <math>v_1,...,v_n</math> הינו '''וקטור במרחב''' <math>v\in V</math> כך שקיימים סקלרים בשדה <math>a_1,...,a_n\in\mathbb{F}</math> המקיימים <math>v=a_1v_1+...+a_nv_n</math>.
 
==הגדרת המרחב הנפרש (span)==
 
==הגדרת המרחב הנפרש (span)==
בתנאי ההגדרה לעיל; '''המרחב הנפרש''' על ידי הוקטורים <math>v_1,...,v_n</math> מוגדר להיות '''קבוצת (אוסף) כל הצירופים הלינאריים''' של הוקטורים הללו. כלומר, <math>span\{v_1,...,v_n\}=\{v\in V|\exists a_1,...,a_n\in\mathbb{F}:a_1v_1+...+anv_n=v\}</math>
+
בתנאי ההגדרה לעיל; '''המרחב הנפרש''' על ידי הוקטורים <math>v_1,...,v_n</math> מוגדר להיות '''קבוצת (אוסף) כל הצירופים הלינאריים''' של הוקטורים הללו. כלומר, <math>span\{v_1,...,v_n\}=\{v\in V|\exists a_1,...,a_n\in\mathbb{F}:a_1v_1+...+anv_n=v\}</math>.
 +
 
 +
שימו לב: span של קבוצה אינסופית הוא אוסף הצירופים הלינאריים של כל קבוצה סופית של וקטורים שנבחר מבין המרחב כולו.

גרסה מ־11:16, 29 ביולי 2011

צירופים לינאריים, תלות לינארית ומרחבים נפרשים (span)

הגדרת צירוף לינארי

יהי V מ"ו מעל שדה \mathbb{F} ויהיו v_1,...,v_n\in V וקטורים במרחב. צירוף לינארי של v_1,...,v_n הינו וקטור במרחב v\in V כך שקיימים סקלרים בשדה a_1,...,a_n\in\mathbb{F} המקיימים v=a_1v_1+...+a_nv_n.

הגדרת המרחב הנפרש (span)

בתנאי ההגדרה לעיל; המרחב הנפרש על ידי הוקטורים v_1,...,v_n מוגדר להיות קבוצת (אוסף) כל הצירופים הלינאריים של הוקטורים הללו. כלומר, span\{v_1,...,v_n\}=\{v\in V|\exists a_1,...,a_n\in\mathbb{F}:a_1v_1+...+anv_n=v\}.

שימו לב: span של קבוצה אינסופית הוא אוסף הצירופים הלינאריים של כל קבוצה סופית של וקטורים שנבחר מבין המרחב כולו.