הישר הממשי

הישר הממשי הוא תיאור גאומטרי של קבוצת כל המספרים הממשיים ${\displaystyle \mathbb {R} }$. המונח הישר הממשי מתייחס לקבוצת המספרים הממשיים יחד עם המבנה הגאומטרי והטופולגי שלה.

הישר כמרחב וקטורי

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

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

עוצמה

עוצמתו של הישר הממשי מכונה "עוצמת הרצף". הוכחת האלכסון של קנטור מראה שעוצמה זו אינה בת מנייה.

טופולוגיה בישר הממשי

כאשר מתייחסים לישר הממשי כמרחב טופולוגי, הטופולוגיה עליו מוגדרת כטופולוגיה המושרית מהמטריקה הטבעית של הערך המוחלט ${\displaystyle d(x,y)=|x-y|}$, או באופן שקול, כטופולוגיית הסדר המושרית מיחס הסדר הקווי הרגיל שמוגדר עליו. יחד עם זאת ניתן להגדיר על המספרים הממשיים טופולוגיות נוספות כדוגמת: הישר של סורגנפריי, טופולוגיה דיסקרטית ועוד.

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

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

• הישר הממשי, באתר MathWorld (באנגלית)