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

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

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

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

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

הערות שוליים[עריכת קוד מקור | עריכה]

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