פונקציה רציפה (טופולוגיה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג)
Bustan1498 (שיחה | תרומות)
סידור
שורה 9:
== הגדרה ==
יהיו <math>X,Y</math> מרחבים טופולוגיים, ו-<math>f: \colon X \rightarrowto Y</math> פונקציה. אומרים ש-<math>f</math> '''רציפה''' בנקודה <math>x_0\in X</math>, אם לכל [[קבוצה פתוחה]] <math>f(x_0)\in U\subseteq Y</math> קיימת קבוצה פתוחה <math>x_0 \in V \subseteq X</math>, כך ש- <math>f(V) \subseteq U</math>.
 
הפונקציה '''רציפה''' סתם, או '''רציפה בכל המרחב''', אם היא רציפה בכל נקודה <math>x_0 \in X</math>. ניסוח שקול וקצר יותר:
: <math>f: \colon X \rightarrowto Y</math> היא '''פונקציה רציפה''' אם לכל [[קבוצה פתוחה]] <math>U\subseteq Y</math>, הקבוצה <math>f^{-1}(U) = \{x \in X : f(x)\in U\}\subseteq X</math> פתוחה.
 
בפרט, אם <math>X,Y</math> הם מרחבים מטריים עם מטריקות <math>d,\rho</math> בהתאמה, פונקציה <math>f : X \rightarrow Y</math> היא רציפה אם לכל כדור סביב <math>x</math> קיים כדור סביב <math>f(x)</math> כך ש-<math>f</math> מעתיקה את הכדור הראשון אל תוך השני. במלים אחרות, אם לכל <math>x</math> ולכל <math>\varepsilon>0</math> קיים <math>\delta>0</math> כך שאם <math>d(x,y)<\delta</math> אז <math>\rho(f(x),f(y))<\varepsilon</math>.
שורה 34:
פונקציה הפיכה (כלומר, שהיא חד-חד-ערכית וגם על), שגם היא וגם ההפכית לה שתיהן רציפות, נקראת [[הומיאומורפיזם]] בין המרחבים הטופולוגיים.
 
[[פונקציית היטל|פונקציות ההטלה]] הן דוגמה לפונקציות פתוחות: אם <math>X = \prod_i X_i</math> הוא [[מרחב מכפלה]] ו-<math>p_i :\colon X \to X_i</math> היא [[פונקציית היטל]], אז <math>p_i</math> היא פונקציה פתוחה.
 
== ראו גם ==