טופולוגיה מושרית (נקראת גם הטפולוגיה היחסית) היא טופולוגיה על תת-קבוצה של מרחב טופולוגי המתקבלת מהטופולוגיה של מרחב האם.

יהי X מרחב טופולוגי עם טופולוגיה (אוסף קבוצות פתוחות) O. יהי $\backslash \; Y\; \backslash subset\; X$ תת-קבוצה של X. נגדיר על Y טופולוגיה מושרית באמצעות כך שנגדיר איזה קבוצות הן פתוחות ב Y.

• קבוצה $\backslash \; W\; \backslash subset\; Y$ פתוחה ב Y אם קיימת קבוצה V פתוחה ב X כך ש $\backslash \; W\; =\; Y\; \backslash cap\; V$.
• קבוצה $\backslash \; M\; \backslash subset\; Y$ סגורה ב Y אם קיימת קבוצה F סגורה ב X כך ש $\backslash \; M\; =\; F\; \backslash cap\; V$.
• בפרט, הקבוצה Y היא גם פתוחה וגם סגורה ב Y.

טופולוגיה

Subspace topology | Teilraumtopologie | Topologia del sottoinsieme | Deelruimtetopologie | Podprzestrzeń (topologia)