הישר הממשי המורחב

במתמטיקה, הישר הממשי המורחב הוא המרחב הטופולוגי $\mathbb {R} \cup \left\{-\infty ,\infty \right\}$ (כאשר $-\infty ,\infty$ הם איברים פורמליים) המסומן על ידי $\left[-\infty ,\infty \right]$ או ${\overline {\mathbb {R} }}$, עם הטופולוגיה הנוצרת על ידי הבסיס לקבוצות הפתוחות $\left\{\left(a,b\right)\mid a,b\in \mathbb {R} \right\}\cup \left\{\left(a,\infty \right]\mid a\in \mathbb {R} \right\}\cup \left\{\left[-\infty ,a\right)\mid a\in \mathbb {R} \right\}$.

אחת המוטיבציות להגדרת מרחב זה, היא האפשרות להכליל באופן פורמלי את מושג הגבול האינסופי. כך למשל ניתן להתבונן בפונקציה $f(x)=1/x^{2}$ כפונקציה מהצורה $f:\mathbb {R} \to {\overline {\mathbb {R} }}$, ואז הסימון המקובל $\lim _{x\to 0}f(x)=\infty$ מקבל משמעות טופולוגית מוגדרת. מוטיבציה ברוח דומה היא בתורת המידה, שם נהוג להשתמש באינטגרל לבג כאופרטור מהצורה $L^{1}(X,{\mathcal {F}},\mu )\to {\overline {\mathbb {R} }}$, ובכך לכלול בתחום ההגדרה של אופרטור האינטגרל גם פונקציות שהאינטגרל שלהן אינסופי.

ניתן להראות כי הישר הממשי המוכלל הוא קומפקטי. יתרה מזאת, הוא הומאומורפי לכל קטע ממשי סגור לא טריוויאלי. למשל $\phi :\left[-{\frac {\pi }{2}},{\frac {\pi }{2}}\right]\to {\overline {\mathbb {R} }}$ המוגדרת על ידי $\phi (t)=\left\{{\begin{matrix}\arctan(t),&{\mbox{if }}t\in \left(-{\frac {\pi }{2}},{\frac {\pi }{2}}\right)\\-\infty ,&{\mbox{if }}t=-{\frac {\pi }{2}}\\\infty ,&{\mbox{if }}t={\frac {\pi }{2}}\end{matrix}}\right.$ היא הומאומורפיזם.

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

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