בסיס (אלגברה)

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

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

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

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

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

 משפטים מרכזיים 

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

משפט. התכונות הבאות שקולות עבור קבוצה A של וקטורים:
 הקבוצה בלתי-תלויה מקסימלית.
 הקבוצה פורשת מינימלית.
 הקבוצה פורשת ובלתי תלויה.

משפט. נניח שלמרחב V יש בסיס בגודל n. אז התכונות הבאות שקולות עבור קבוצה A: 
 A בלתי תלויה מקסימלית.
 A פורשת מינימלית.
 A בסיס.
 A בלתי תלויה וגודלה .
 A בלתי תלויה וגודלה .
 A פורשת וגודלה .
 A פורשת וגודלה .

כאשר n סופי אומרים של-V יש ממד n, ולפי המשפט n יחיד.

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

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

 בסיס סטנדרטי 

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

 דוגמאות מספריות 

 במרחב  הבסיס הסטנדרטי הוא { (1,0), (0,1) } .
 במרחב  הקבוצה { (1,1), (1, 1-) } היא בסיס. 
 במרחב  הקבוצה { (2,3) ,(1,1), (1, 1-) } איננה בסיס, זאת מאחר שכל וקטור בה תלוי ליניארית בשניים האחרים. למעשה, כל קבוצה של 3 וקטורים ב  תהיה תלויה ליניארית, וזו בעצם משמעותה של הטענה כי  הוא מרחב מממד 2.
 בכל מרחב וקטורי, כל קבוצה המכילה את וקטור האפס אינה יכולה להיות בסיס, כי וקטור האפס תמיד ניתן לייצוג כצירוף ליניארי (כשכל המקדמים הם 0) של כל קבוצה של וקטורים.
 במרחב הילברט  קבוצת הפונקציות  מהווה מערכת אורתונורמלית שלמה, שכן . להרחבה, ראו: טור פורייה.

 ראו גם 
 קואורדינטות (אלגברה)
 בסיס אורתונורמלי
 טור פורייה
 פעולת בסיס

קישורים חיצוניים



קטגוריה:אלגברה
קטגוריה:אלגברה ליניארית