הישר הממשי

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

[עריכה] הישר כמרחב וקטורי

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

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

[עריכה] טופולוגיה בישר הממשי

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

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