הצגת המקור של הדף "מתמטיקה תיכונית/וקטורים/קומבינציות ליניאריות ותלות בין וקטורים"

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

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

=קומבינציות לינאריות=
נדגים את הרעיון באמצעות שני וקטורים <math>\rm\vec u</math> ו- <math>\rm\vec v</math> . קומבינציה לינארית של שני הוקטורים לעיל, הוא כל וקטור מהצורה:

<math>t_1{\rm\vec u}+t_2\rm\vec v</math> כאשר <math>t_1</math> ו- <math>t_2</math> מספרים ממשיים כלשהם.

נכליל את הרעיון, קומבינציה לינארית של כל קבוצה מסוימת של וקטורים <math>\rm\vec v_1,\vec v_2,\ldots,\vec v_n</math> הוא וקטור מהצורה:

<math>a_1{\rm\vec v_1}+a_2{\rm\vec v_2}+a_3{\rm\vec v_3}+\cdots+a_n{\rm\vec v_n}</math>

כאשר <math>a_1,a_2,\ldots,a_n</math> מספרים ממשיים כלשהם.

בפרק זה נעסוק רק בקומבינציות לינאריות של מספר סופי של וקטורים וסביר שלא יופיעו קומבינציות לינאריות של יותר מארבעה וקטורים.

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

{{הגדרה|
מספר=1|
שם=תלות לינארית|
תוכן= קבוצה מסוימת של וקטורים <math>\rm\vec v_1,\vec v_2,\ldots,\vec v_n</math> תיקרא "תלויה לינארית", אם קיימים מספרים ממשיים <math>a_1,a_2,\ldots,a_n</math> (שלא כולם 0) כאשר:

<math>a_1{\rm\vec v_1}+a_2{\rm\vec v_2}+a_3{\rm\vec v_3}+\cdots+a_n{\rm\vec v_n}=\vec 0</math>

אם לא, היא תיקרא "בלתי-תלויה לינארית" ונאמר ש"אין תלות בין הוקטורים".
}}
{{הארה|כל וקטור תלוי בוקטור ה- <math>\vec 0</math> . תוכלו למצוא הוכחה לכך?}} 
כאמור, אם הוקטורים תלויים לינארית, ניתן למצוא קומבינציה שלהם ששווה לוקטור ה- <math>\vec 0</math> . אחרי העברת אגפים של אחד הוקטורים וצמצום במספר הממשי המתאים, נגלה שקיבלנו ביטוי של הוקטור כקומבינציה לינארית של כל השאר.

קומביצניות לינאריות של וקטורים ישחקו תפקיד רחב כשנדבר על מישורים וישרים במישור ובמרחב.

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

==הקדמה==
ראינו שיש וקטורים שתלויים בוקטורים אחרים ולכן ניתן להביע אותם כקומבינציה לינארית שלהם. אך, האם יש קבוצה קטנה של וקטורים שבעזרתם ניתן להביע את '''כל''' הוקטורים? ואם כן, כמה וקטורים יש בקבוצה הזו?

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

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

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

===דוגמאות===
*הוקטורים <math>(0,1)</math> ו- <math>(1,0)</math> הם בסיס למישור (בסיס זה נקרא הבסיס הסטנדרטי של המישור).
*הוקטורים <math>(3,4)</math> ו- <math>(2,1)</math> הם גם בסיס למישור.
*הוקטורים <math>(1,-1)</math> ו- <math>(1,-3)</math> הם גם דוגמה לבסיס של המישור.

{{אתגר|נסו להראות שניתן להביע כל וקטור במישור כקומבינציה לינארית של הבסיסים למעלה (עבור כל בסיס בנפרד, כמובן). '''טיפ:''' התחילו עם וקטור כלשהו <math>(x,y)</math> וראו כיצד הוא קומבינציה לינארית של שני הוקטורים.}}

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

===דוגמאות===
*הוקטורים <math>(1,0,0)\ ,\ (0,1,0)\ ,\ (0,0,1)</math> הם בסיס למרחב, בסיס זה גם נקרא הבסיס הסטנדרטי.
*הוקטורים <math>(1,0,-4)\ ,\ (0,2,1)\ ,\ (7,1,0)</math> הם גם דוגמא לבסיס למרחב.

{{אתגר|נסו להראות שהבסיסים האלו הם אכן בסיסים ושאכן ניתן להביע כל וקטור במרחב בעזרתם. '''טיפ:''' קחו וקטור כללי במרחב <math>(x,y,z)</math> ותראו כיצד ניתן להביע אותו כקומבינציה לינארית של כל אחד מהבסיסים למעלה.}}

[[קטגוריה:וקטורים לתיכון]]