Метрическая полнота и замыкание через базис
Введено| English | Значение |
|---|---|
| complete metric space/kəmˈpliːt ˈmetrɪk speɪs/ | полное метрическое пространство |
| neighbourhood basis/ˈneɪbəhʊd ˈbeɪsɪs/ | база окрестности |
Решение перед ответом
- Изменение формулы расстояния может сделать последовательность Коши даже тогда, когда её обычные значения неограниченно возрастают. Соответствующий предел все равно должен быть точкой метрического пространства.
- Ваша цель: Проверить метрику обратного образа с использованием свойств определяющей её отображения.
Прочитайте соотношение
- Для инъективного отображения h:X→R, d(x,y)=|h(x)−h(y)| является метрикой: симметрия и неравенство треугольника следуют из R, а инъективность обеспечивает d(x,y)=0 только когда x=y. Отображение h является изометрией на свой образ h(X). Если h не инъективно, эта конструкция может быть лишь псевдометрикой. Ограниченные расстояния не доказывают полноту пространства, и знакомый набор точек может демонстрировать совершенно иное поведение Коши при разных метриках.
- Решите вопрос о полноте через образ изометрии.
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 является последовательностью Коши в обратимой метрике, поскольку 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), когда НОК не менее 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.
Сохраняйте различия
- complete metric space — Метрическое пространство, в котором каждая последовательность Коши сходится к точке этого пространства.
- базис окрестности — Базисные окрестности, достаточные для проверки локальных топологических свойств.
- Проверьте метрику обратного отображения, используя свойства определяющей её функции.
- Решите вопрос о полноте через образ изометрии.
- Определите замыкание, используя каждое базовое окружение, а не евклидовскую интуицию.
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.