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