הישר של סורגנפריי


כל מה שרצית לדעת על הישר של סורגנפריי:
בטופולוגיה, הישר של סורגנפריי (באנגלית: Sorgenfrey Line) הוא מרחב טופולוגי שמוגדר על קבוצת הממשיים R {\displaystyle \mathbb {R} } , כך שקבוצה פתוחה במרחב היא איחוד של קטעים חצי-פתוחים בממשיים, מהצורה [ a , b ) {\displaystyle [a,b)} .
המרחב קרוי על שמו של רוברט סורגנפריי.
פורמלית, על הישר הממשי R {\displaystyle \mathbb {R} } , מגדירים את אוסף תת-הקבוצות: T = { ∪ i ∈ I [ a i , b i ) | a i , b i ∈ R , i ∈ I } {\displaystyle T=\{{\underset {i\in I}{\cup }}[{a}_{i},{b}_{i})|{a}_{i},{b}_{i}\in \mathbb {R} ,i\in I\}} .
אוסף זה מהווה טופולוגיה על R {\displaystyle \mathbb {R} } .

נלקח מויקיפדיה

הגדרות נוספות הקשורות להישר של סורגנפריי:
מרחבים טופולוגיים יחידאים