הישר הממשי
הישר הממשי הוא תיאור גאומטרי של קבוצת כל המספרים הממשיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R} } . המונח הישר הממשי מתייחס לקבוצת המספרים הממשיים יחד עם המבנה הגאומטרי והטופולגי שלה.
הישר כמרחב וקטורי
ניתן להתייחס לישר הממשי כמרחב וקטורי מממד 1 מעל שדה המספרים הממשיים, בעל מכפלה פנימית (כפל מספרים ממשיים רגיל) וכך נקבל כי הישר הוא מרחב אוקלידי מממד 1. עם זאת, מקרה זה אינו בעל עניין, ובדרך כלל נתחיל להתעניין במכפלות קרטזיות של הישר הממשי עם עצמו לקבלת מרחבים אוקלידיים מממדים גבוהים יותר, אולם הישר הממשי הוא אכן מרחב וקטורי והיה המקום הראשון בו הוחל בחקירת מבנים אלו.
שדה המספרים הממשיים הוא גם מרחב וקטורי מעל שדה המספרים הרציונליים, מממד אינסופי.
עוצמה
עוצמתו של הישר הממשי מכונה "עוצמת הרצף". הוכחת האלכסון של קנטור מראה שעוצמה זו אינה בת מנייה.
טופולוגיה בישר הממשי
כאשר מתייחסים לישר הממשי כמרחב טופולוגי, הטופולוגיה עליו מוגדרת כטופולוגיה המושרית מהמטריקה הטבעית של הערך המוחלט הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(x,y) = |x-y|} , או באופן שקול, כטופולוגיית הסדר המושרית מיחס הסדר הקווי הרגיל שמוגדר עליו. יחד עם זאת ניתן להגדיר על המספרים הממשיים טופולוגיות נוספות כדוגמת: הישר של סורגנפריי, טופולוגיה דיסקרטית ועוד.
הישר הממשי מהווה דוגמה יסודית לתכונות טופולוגיות רבות. לדוגמה הישר הממשי הוא קומפקטי מקומית אבל לא קומפקטי, הוא מרחב מטרי שלם, קשיר, פרקומפקטי שמקיים את האקסיומה השנייה של המנייה. בנוסף, הוא בעל מבנה של יריעה חלקה ואף אנליטית באופן טריוויאלי, וכל מבנה אחר של יריעה חלקה שמוגדר עליו, שהומאומורפי למבנה הטופולוגי הרגיל, דיפאומורפי למבנה הדיפרנציאלי הטריוויאלי.
| מערכות מספרים | ||
|---|---|---|
| מספרים | המספרים הטבעיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{N}} (מערכת פאנו) • חוג המספרים השלמים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}} (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Q}} (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{C}} (המישור המרוכב, מספר מרוכב, מספר מדומה) | |
| הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Z}[i]} • חוג השלמים האלגבריים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \overline{\mathbb{Z}}} • חוג השלמים של אייזנשטיין | |
| הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \overline{\mathbb{Q}}} (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Q}_p} (מספר p-אדי) • שדה ציקלוטומי | |
| מעבר למרוכבים | אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ {\mathbb{H}}} ) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ {\mathbb{O}}} ) • אלגברות קיילי-דיקסון | |
![{\displaystyle \ \mathbb {Z} [\omega ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ae41c402b97eb389d066a11dc6fa4ae058fd250)
הישר הממשי30517562Q29654355