מרחב וקטורי, האופרטור ספאן, צירופים לינאריים, סכום מרחבים וסכום ישר


מרחב וקטורי

עריכה

הגדרה: מרחב וקטורי

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

תכונות החיבור:

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


תכונות הכפל בסקלר:


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


טענה: יהי   מרחב וקטורי מעל שדה  , אז מתקיימות התכונות הבאות:

  • אם   מקיים   אז בהכרח  .
  • לכל   מתקיים  

לכל   מתקיים  .

  •   אם ורק אם   או  .
  • לכל   מתקיים  .


תכונות אלו נובעות ישירות מתכונות המרחב הלינארי, ולכן נשמיט את הוכחתן.

תת-מרחב וקטור

עריכה

הגדרה: תת-מרחב וקטורי

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


טענה: בוחן לתת מרחב

יהי   מרחב וקטורי מעל שדה  , ותהי קבוצה  , אזי   היא תת-מרחב וקטורי, אם ורק אם מתקיימים שני התנאים הבאים:

  1. מתקיים  
  1. לכל  , ולכל  , מתקיים גם  .

צירוף לינארי

עריכה

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

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

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

עריכה

הגדרה: האופרטור  

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

הערה: נסמן   כקיצור של האופרטור  .



משפט: יהי   מרחב וקטורי מעל שדה  , ותהי קבוצה לא ריקה  , אזי   היא תת-מרחב וקטורי

הוכחה: נצטרך להוכיח שהיא מקיימת את תנאי הבוחן לתת מרחב.

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

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


 


תכונות של האופרטור ספאן

עריכה

משפט: תכונות של האופרטור ספאן

יהי   מרחב וקטורי מעל שדה  , ותהיו  , אזי מתקיימות הטענות הבאות:

  • אם  , אזי גם  
  • אם  , אזי גם  
  • השוויון   מתקיים אם ורק אם   וגם  
  •  
  •  


הוכחה:

  • הקבוצה   היא כל הצירופים הלינאריים מתוך הקבוצה  , כיוון ש , כל איבר ב  שייך גם ל , ולכן אם ניצור צירוף לינארי כללי

  ב , הוא בהכרח שייך גם ל  כצירוף לינארי של איברי  .

  • כמו מקודם, כיוון ש , כל איבר ב  הוא גם איבר ב , ולכן אם ניצור צירוף לינארי כללי

  ב , הוא בהכרח יהיה שייך ל  כצירוף לינארי של איברי  .

  • נוכיח את הצד הראשון, אם מתקיים השוויון  , אזי מתקיים  , וגם  ,

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

כעת, נניח שמתקיים  , אזי מתקיים לפי המשפט השני שהוכחנו, גם  , ואם נניח שמתקיים  , אזי גם מתקיים

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

  • נניח שקיים וקטור  , כלומר הוא איחוד של צירוף לינארי אחד של איברי  , וצירוף לינארי אחד של איברי  , מהצורה

 , אבל הוא כמובן שייך לקבוצה   כיוון ש   ו , ולכן  



  • נניח שקיים וקטור  , כלומר הוא צירוף לינארי של וקטור ששייך גם ל  וגם ל , כלומר הוא שייך גם ל  וגם ל , ולכן הוא שייך

ל  כנדרש.



 


סכום תתי מרחבים

עריכה

הגדרה: סכום תתי מרחבים

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



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

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

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

הראינו שמתקיים   וגם  , ולכן  .

 


סכום ישר של תתי-מרחבים

עריכה

הגדרה: סכום ישר של תתי-מרחבים

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

  1.  
  2. לכל וקטור   קיימת הצגה יחידה כסכום של וקטור ב  ווקטור ב .



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

  1.  
  2.  

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