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