מרחב מנה

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

בטופולוגיה, מרחב מנה הוא מרחב טופולוגי שנוצר על ידי "צמצום" של מרחב טופולוגי על ידי פונקציה, יחס שקילות או פעולת חבורה. הטופולוגיה של מרחב המנה עבור פונקציה, יחס שקילות או חבורה פועלת נתונים, נקראת טופולוגיית המנה.

הגדרות

הגדרה על ידי פונקציה

בהינתן מרחב טופולוגי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \left(X,\tau_X \right)} וקבוצה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Y} (שעליה אין בהכרח טופולוגיה), עם פונקציה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ f: X \rightarrow Y} שהיא על, נגדיר טופולוגיה על הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Y} על ידי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \ \tau_Y= \left\{ U \sub Y : f^{-1} (U) \in \tau_X \right\}} . טופולוגיה זו נקראת טופולוגיית המנה, ופונקציה כזו נקראת פונקציית מנה. בדרך זו אנו מכריחים את הפונקציה להיות רציפה, על ידי בניית טופולוגיה מתאימה על המרחב השני: טופולוגיית המנה על Y היא הטופולוגיה העשירה ביותר שבעבורה f רציפה. כלומר, אם הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X,Y} שניהם מרחבים טופולוגיים ו- רציפה, אז הטופולוגיה הנתונה של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Y} עשויה להיות דלה יותר מטופולוגיית המנה.

כאשר הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X} מרחב קומפקטי ו-הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Y} מרחב האוסדורף, ו- פונקציה רציפה ועל, אז הטופולוגיה של Y היא טופולוגיית המנה עבור .

הגדרה על ידי יחס שקילות

דרך נוספת להגדרת טופולוגיית המנה היא על ידי יחס שקילות. אם X מרחב טופולוגי שמוגדר עליו יחס שקילות הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} , מרחב המנה הוא קבוצת מחלקות השקילות ביחס הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle R} , אותה נסמן הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X/R} , כאשר הטופולוגיה עליה מתקבלת כמו בהגדרה לעיל על ידי פונקציה, עבור פונקציית ההטלה למחלקות השקילות. כלומר, הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \tau_{X/R} = \left\{U \subset X/R \mid p^{-1}\left(U\right) \in \tau_X\right\}} , כאשר הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle p: X \to X/R} היא הפונקציה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle p\left(x\right) = \left[x\right] = \left\{y \in X \mid xRy\right\}} .

דוגמאות

שגיאה ביצירת תמונה ממוזערת:
עיגול במישור הופך לספירה (במרחב התלת-ממדי) על ידי כיווץ השפה שלו (המעגל) לנקודה אחת.
  • הספירה הדו-ממדית הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle S^2 \subset \mathbb{R}^3} ניתנת להצגה כמרחב מנה של הכדור היחידה במישור הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle D^1} , על ידי יחס השקילות המזהה את כל שפתו של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle D^1} עם נקודה יחידה (למשל הקוטב הצפוני). בנייה זו מדגימה כיצד פעולת מנה אינה משמרת תכונות גאומטריות; בעוד שהעיגול ניתן לשיכון במישור, לאחר פעולת המנה מתקבלת ספירה דו-ממדית אותה כבר ניתן לשכן רק במרחב התלת-ממדי.
  • המרחב הפרויקטיבי הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \mathbb{FP}^n} הוא מרחב מנה של הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \mathbb{F}^n} המתקבל על ידי יחס השקילות הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \vec x \sim \lambda \vec x} לכל הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \vec x \in \mathbb{F}^n} ולכל סקלר הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \lambda \neq 0} .

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

  • מרחב מנה, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
Logo hamichlol.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0