השלמת מטריקה וסגירות ממבסיס
הוצג| English | משמעות |
|---|---|
| complete metric space/kəmˈpliːt ˈmetrɪk speɪs/ | מרחב מדדי שלם |
| neighbourhood basis/ˈneɪbəhʊd ˈbeɪsɪs/ | בסיס שכנות |
החלטה לפני תשובה
- שינוי נוסחת המרחק יכול להפוך רצף ל-Cauchy גם כאשר ערכיו הרגילים גדלים ללא גבול. הגבול הרלוונטי חייב להיות עדיין נקודה במרחב המטרי.
- המטרה שלך: לבדוק מרחק מושב (pullback metric) באמצעות תכונות הפונקציה המגדירה אותו.
קראו את הקשר
- לפונקציה חד-חדית h:X→R, המרחק d(x,y)=|h(x)−h(y)| הוא מטריקה: הסימטריות ואי-שוויון המשולש נובעים מ-R, והחד-חדיות מבטיחה ש-d(x,y)=0 רק כאשר x=y. הפונקציה h היא איזומטריה לתמונתה h(X). אם h אינה חד-חדית, ההקמה הזו עשויה להיות רק פסודומטריקה. מרחקים מוגבלים אינם מוכיחים שמרחב שלם, ומ Set ידוע של נקודות יכול להציג התנהגות Cauchy שונה לחלוטין תחת מטריקות שונות.
- לקבוע שלמות דרך התמונה של איזומטריה.
Which statement holds for d(x,y)=|arctan x−arctan y| on R?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The injective map defines a metric. The image is an open bounded interval, and arctan n tends to a missing endpoint.
השתמשו בכלל המגדיר
- המרחק המושב הוא שלם בדיוק כאשר התמונה h(X) שלמה במרחק הממשי הרגיל. תת-סט סגור ב-R הוא שלם. עבור h(x)=arctan x על R, התמונה היא (−π/2,π/2), שאינו כולל את הקצוות שלו. הרצף n הוא Cauchy במרחק המושב מכיוון ש-arctan n→π/2, אך אין ממשי x כך ש-arctan x=π/2, ולכן המטריקה לא שלמה. עבור h(x)=x³, התמונה היא כל R והמרחק המושב הוא שלם. שוויון טופולוגי בלבד אינו שומר על שלמות.
- לקבוע סגירות באמצעות כל שכבה בסיסית ולא לפי אינטואיציה אוקלידית.
For the divisor basis in the lesson, which point belongs to closure of {8}?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Closure consists of multiples of 8. The point 16 has every neighbourhood containing 8; U_4 demonstrates why the divisor 4 does not belong.
בדיקת התנאים
- בטופולוגיה עם בסיס, x נמצא בסגירות של A כאשר כל שכבה פתוחה בסיסית של x חוצה את A. זוהי בדיקת חברות, ולא פעולה אוטומטית של קצה אוקלידי. הבסיס חייב לכסות את המרחב, ועבור נקודה בשתי שכבות בסיס יש להישאר שכבה בסיסית קטנה יותר המכילה אותה בתוך החיתוך שלהן. נקודה יכולה להימצא בסגירות של סט של נקודה אחת גם כאשר היא לא הנקודה עצמה; אפשרות זו תלויה בטופולוגיה.
- לקבוע סגירות באמצעות כל שכבה בסיסית ולא לפי אינטואיציה אוקלידית.
תחת d(x,y)=|arctan x−arctan y|, הסדרה של מספרים שלמים שואפת לקצה תמונה חסר במקום לנקודה ב-R, ולכן היא קוצ'י ללא התכנסות במרחב זה. בבסיס מחלקים, ⟨16 נמצא בסגירת {8}, מכיוון שכל קבול בסיסי המכיל ⟨16 מכיל גם ⟨8. אך ⟨4 לא: U_4={2,4} הוא שכונה של ⟨4 שאינו מכיל ⟨8. זה מפריד במפורש כפולים ממחלקים.
For h(x)=x³, d(1,2)=|h(1)−h(2)| is ____.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
The transformed coordinates are 1 and 8, with difference 7.
יישמו את פורמט המשימה
- על X={2,3,4,…}, ניקח ערכים בסיסיים U_k={n in X: n divides k}, עבור k≥2. הם מכסים את X משום ש-x∈U_x; החיתוכים הם U_gcd(k,l) כאשר ה-gcd הוא לפחות 2, או ריקים. נקודה x נמצאת בסגירות של {n} בדיוק כאשר כל k השונה פי x הוא גם השונה פי n: באופן שקול n מחלק את x. בצורה ישירה יותר, הערכה הבסיסית הקטנה ביותר U_x מכילה n רק כאשר n מחלק את x, וכל ערכה אחרת המכילה x כוללת מחלקים אלו. לכן הסגירות של {8} מורכבת מכפולות חיוביות של 8, ולא מחלקים של 8.
- לקבוע סגירות באמצעות כל שכבה בסיסית ולא לפי אינטואיציה אוקלידית.
גבול קוצ'י חייב שייך לאותו מרחב. השלמות היא תכונה מטריקלית, ולא רק טופולוגית. לעניין סגירה, יש לבדוק כל שכונה של הנקודה המועמדת, ולא כל שכונה של הערך הבודד.
איזו תשובה מתאימה למקרה זה?
בדקו מדדיק מושך באמצעות תכונות המפתח המקרי
Two metrics defining the same topology must either both be complete or both be incomplete.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Ordinary distance and the arctan pullback give the usual topology on R, but only ordinary distance is complete.
שמרו על ההבחנות
- מרחב מטרי שלם — מרחב מטרי בו כל רצף Cauchy מתכנס לנקודה של המרחב.
- בסיס שכבות — שכבות בסיסיות מספיקות לבדיקת תכונות טופולוגיות מקומיות.
- לבדוק מרחק מושב (pullback metric) באמצעות תכונות הפונקציה המגדירה אותו.
- לקבוע שלמות דרך התמונה של איזומטריה.
- לקבוע סגירות באמצעות כל שכבה בסיסית ולא לפי אינטואיציה אוקלידית.
Match each term with its precise meaning in this lesson.
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
Difficulty 3/5 · 200 coins + a small bonus on first completion today
The order follows the stated process; check each stage before the next.