الاكتمال المقياسي والإغلاق من أساس
مُقدَّم| English | المعنى |
|---|---|
| complete metric space/kəmˈpliːt ˈmetrɪk speɪs/ | فضاء مقياسي مكتمل |
| neighbourhood basis/ˈneɪbəhʊd ˈbeɪsɪs/ | قاعدة الجوار |
قرار قبل الإجابة
- تغيير معادلة المسافة يمكن أن يجعل المتسلسلة Cauchy حتى عندما تنمو قيمها العادية بلا حدود. ومع ذلك، يجب أن تظل النهاية ذات الصلة نقطة في الفضاء المتري.
- هدفك: تحقق من metric pullback باستخدام خصائص الدالة المُعرِّفة له.
اقرأ العلاقة
- بالنسبة لدالة حقنية h:X→R، فإن d(x,y)=|h(x)−h(y)| هي metric: التماثل ومتراجحة المثلث تأتي من R، والحقن يضمن أن d(x,y)=0 فقط عندما x=y. الدالة h هي isometry onto its image h(X). إذا لم تكن h حقنة، فقد يكون هذا البناء pseudometric فقط. المسافات المحدودة لا تثبت أن الفضاء مكتمل، ويمكن لمجموعة معتادة من النقاط أن تظهر سلوكاً Cauchy مختلفاً تماماً تحت metrics مختلفة.
- حسم الإكمال من خلال صورة الـ isometry.
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.
استخدم القاعدة المحددة
- metric pullback مكتمل تماماً عندما يكون الصورة h(X) مكتملاً في المسافة الحقيقية العادية. المجموعة المغلقة في R مكتملة. بالنسبة لـ h(x)=arctan x على R، الصورة هي (−π/2,π/2)، وهي تفتقر إلى طرفيها. المتسلسلة n هي Cauchy في metric pullback لأن arctan n→π/2، لكن لا يوجد x حقيقي يحقق arctan x=π/2، لذا فإن metric غير مكتمل. بالنسبة لـ h(x)=x³، الصورة هي كل R و metric pullback مكتمل. التكافؤ الطوبولوجي وحده لا يحفظ الإكمال.
- حدد الغلق باستخدام كل neighbourhood أساسي بدلاً من الحدس الإقليدي.
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.
تحقق من الشروط
- في topology له basis، يقع x في closure of A عندما يلتقي كل basic open neighbourhood لـ x مع A. هذا اختبار انتماء، وليس عملية endpoint إقليدية تلقائياً. يجب أن يغطي basis الفضاء، وبالنسبة لنقطة في مجموعتين من basis يجب أن تكون هناك مجموعة أساسية أصغر تحتوي عليها داخل تقاطعهما. يمكن لنقطة أن تقع في closure of singleton حتى لو لم تكن النقطة الخاصة بالـ singleton؛ هذا possibility يعتمد على الـ topology.
- حدد الغلق باستخدام كل neighbourhood أساسي بدلاً من الحدس الإقليدي.
تحت المسافة 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,…}، خذ sets أساسية U_k={n in X: n divides k}، من أجل k≥2. تغطي X لأن x∈U_x؛ التقاطعات هي U_gcd(k,l) عندما يكون gcd على الأقل 2، أو فارغة. تقع النقطة x في closure of {n} بالضبط عندما يكون كل k يقبل القسمة على x يقبل القسمة أيضاً على n: ما يكافئ أن n يقسم x. بشكل مباشر أكثر، أصغر neighbourhood أساسي U_x يحتوي على n بالضبط عندما يقسم n x، وكل neighbourhood آخر يحتوي على x يشمل هذه القواسم. thus closure of {8} يتكون من مضاعفات موجبة من 8، وليس قواسم 8.
- حدد الغلق باستخدام كل neighbourhood أساسي بدلاً من الحدس الإقليدي.
يجب أن ينتمي حد Cauchy إلى نفس الفضاء. الإكمال خاصية metric، وليس مجرد طوبولوجية. بالنسبة للغلق، اختبر كل neighbourhood للنقطة المرشحة، بدلاً من كل neighbourhood لقيمة الـ singleton.
أي إجابة تتناسب مع هذه الحالة؟
التحقق من المقياس المسترد باستخدام خصائص الخريطة المُعرِّفة له ⟦number⟧
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.
احتفظ بالتميّزات
- complete metric space — فضاء متري يكون فيه كل متسلسلة Cauchy تتقارب إلى نقطة من ذلك الفضاء.
- أساس الجوار — جوار أساسية كافية لاختبار الخصائص الطوبولوجية المحلية.
- تحقق من مقياس السحب باستخدام خصائص الدالة المُعرِّفة له.
- حسم الإكمال من خلال صورة الـ isometry.
- حدد الغلق باستخدام كل neighbourhood أساسي بدلاً من الحدس الإقليدي.
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.