מערכת משוואות ליניאריות – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
Aharon100 (שיחה | תרומות)
מ ←‏חקירה: ניסוח
Aharon100 (שיחה | תרומות)
שורה 266: שורה 266:


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


<math>
<math>
שורה 292: שורה 292:
<math>(-a,3a)</math>
<math>(-a,3a)</math>


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


לדוגמה:
לדוגמה:

גרסה מ־15:36, 16 במרץ 2015

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

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

מבנה כללי

מערכת כללית של m משוואות עם n נעלמים יכולה להיכתב בצורה הבאה:

כאשר הם המקדמים של המשתנים ו- הם המקדמים החופשיים במשוואות.

בדרך כלל המקדמים והמשתנים שייכים לשדה (למשל שדה הממשיים, המרוכבים, או הרציונליים), או לחוג כדוגמת חוג השלמים.

הצגה באמצעות וקטורים

ניתן להציג את המערכת בצורה של משוואה וקטורית, כצירוף לינארי של וקטורי עמודה:

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

הצגה באמצעות מטריצות

מערכת משוואות לינאריות ניתנת גם להצגה בעזרת מטריצות. המערכת מוגדרת כשוויון

כאשר:

מספר הווקטורים בבסיס הקבוצה הפורשת מבוטא כעת על ידי הדרגה של המטריצה.

פתרון המערכת

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

קיימות שלוש אפשרויות למספר הפתרונות של המערכת:

  1. למערכת קיימים אינסוף פתרונות (או סופי אבל יותר מאחד במקרה של פתרון מעל שדה סופי)
  2. למערכת פתרון יחיד
  3. למערכת אין פתרון (הקבוצה הריקה)

מערכת הומוגנית

מערכת משוואות נקראת הומוגנית אם כל המקדמים החופשיים שווים לאפס:

מערכת כזאת ניתנת לייצוג באמצעות המשוואה , כאשר A הוא מטריצה, x הוא וקטור עמודה של המשתנים, ו0 מסמל את וקטור האפס.

פתרונות

לכל מערכת הומוגנית יש פתרון הנקרא פתרון טריוויאלי, ובו כל המשתנים שווים ל-0 (כלומר: ). לשאר הפתרונות יש תכונות נוספות:

  • אם ו- הם וקטורים המייצגים פתרונות של המערכת, אז גם וקטור הסכום מייצג פתרון.
  • אם הוא וקטור המייצג פתרונות של המערכת, אזי לכל סקלר גם הווקטור מייצג פתרון.

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

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

משפט: מעל שדה אינסופי, אם למערכת הומוגנית יש פתרון לא טריוויאלי, אז יש לה אינסוף פתרונות. מעל שדה בגודל q, מספר הפתרונות הוא תמיד חזקה של q. למשל כאשר מדובר בשדה סופי Z3 תחת R2 אז מס' הפתרונות יהיה 9=32, כלומר q בחזקת המימד הוא מס' הפתרונות.

פתרון של מערכת לא הומוגנית

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

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

משפט: אם הפתרון יחיד אזי מטריצת המקדמים A היא מטריצה הפיכה משמאל כלומר קיימת מטריצה P מסדר כך ש והפתרון נתון על ידי .

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

דוגמה: המקרה הדו-ממדי (פירוש גאומטרי)

פתרון המשוואות x-y=−1 ו-3x+y=9 הוא הנקודה (2,3)

למערכת שמכילה שני משתנים x ו-y, כל משוואה ניתנת לייצוג על ידי ישר במישור אחד. קבוצת הפתרונות היא החיתוך שלהם, שיכול להיות ישר, נקודה או הקבוצה הריקה.

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

עבור מערכת עם משתנים, כל משוואה מייצג מרחב ממדי, המשוכנים במרחב -ממדי אחד.

מערכת לינארית של שתי משוואות בשני נעלמים אפשר בדרך כלל להביא לצורה הבאה:

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

התנהגות כללית

באופן כללי, התנהגות המערכת נקבעת על פי היחס בין מספר הנעלמים למספר המשוואות:

  1. בדרך כלל, למערכת עם יותר נעלמים מאשר משוואות, יהיו אינסוף פתרונות (או סופי אבל יותר מאחד במקרה של פתרון מעל שדה סופי).
  2. בדרך כלל, למערכת עם אותו מספר נעלמים ומשוואות יהיה פתרון יחיד.
  3. בדרך כלל, למערכת עם יותר משוואות מאשר נעלמים לא יהיו פתרונות.

עבור האפשרות הראשונה, הממד של מספר הפתרונות יהיה בדרך כלל מספר הנעלמים פחות מספר המשוואות.

דרכים לפתרון

פתרון באמצעות הצבה

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

לדוגמה, פתרון המשוואות:

מחלצים את מהמשוואה הראשונה ומקבלים . מציבים במשוואה השנייה והשלישית ומקבלים:

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

הצבת במשוואה השנייה נותנת , והצבת ו- במשוואה השלישית נותנת . לכן הפתרון הוא השלשה .

דירוג מטריצות

ערך מורחב – דירוג מטריצות

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

נוסחת קרמר

ערך מורחב – נוסחת קרמר

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

נוסחת קרמר קובעת שאם היא המשוואה, אזי הרכיב ה- של וקטור הפתרון נתון על ידי

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

לדוגמה, עבור המערכת

בנעלמים x ו y (מודגשים), הפתרון נתון על ידי הנוסחאות ו- .

המשמעות הגרפית של הפתרונות

ישרים יכולים:

1. להיחתך בנקודה אחת.

2. להיות מקבילים.

3. להתלכד.

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

חקירה

כאשר המערכת נתונה בצורה שאין מספרים רק מקדמים,ׁ ניתן לנסח תנאים על המקדמים A, B ו- C מתוך הקשר בינם לבין המקדמים של של המשוואה המפורשת, m ו- n: 1. פתרון יחיד על מנת שלמערכת יהיה פתרון יחיד צריך שיתקיים: אם נכפיל משוואה זו ב-


תתקבל המשוואה : כלומר: אם היחס בין מקדמי המשתנים של x ו- y, שונה – למערכת פתרון יחיד

2. אף פתרון- על מנת שלמערכת לא יהיה פתרון כלל צריכים להתקיים שני תנאים :

וגם

דוגמה לחקירה היא התרגיל הבא:

תחום ההגדרה של התרגיל:



פתרון יחיד:

דרכי פתרון לפי רמות של מערכת משוואות לינאריות עם פרמטרים

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

דרך פתרון:

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

לדוגמה:


נפתור באמצעות השוואת מקדמים:

דרך פתרון שנייה: דרך זו מתאימה לשאלות בהן מתבקשת רק חקירה ללא מתן הפתרון .