מרחב אוקלידי

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

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

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

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

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

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

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

כאשר כל  הוא מספר ממשי.

הפעולות ב- מוגדרות כך:

ל- יש בסיס סטנדרטי הכולל את וקטורי היחידה:

וכל וקטור ב- יכול להיכתב כך:

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

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

 

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

 

פונקציית האורך הזאת מקיימת את הדרישות של נורמה והיא נקראת הנורמה האוקלידית על .

הזווית בין x ו-y תחושב כך:
 
כאשר cos−1 הוא הפונקציה ההפוכה של פונקציית הקוסינוס. הזווית מוגדרת היטב מכיוון שהארגומנט של ה- cos−1 קטן או שווה לאחד לפי אי-שוויון קושי-שוורץ.

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

 

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

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

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

 

 

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

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

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