<<
>>

Компактные метрические пространства

ОПРЕДЕЛЕНИЕ 14. Метрическое пространство Х называется компактным, если из всякой последовательности в Х можно извлечь сходящуюся подпоследовательность. Компактное подпространство метрического пространства будем называть также компактным множеством.

ПРЕДЛОЖЕНИЕ 8. Компактное пространство является ограниченным.

ПРЕДЛОЖЕНИЕ 9. Компактное подпространство Y метрического пространства Х является замкнутым.

ТЕОРЕМА 3. Для того чтобы подпространство Y пространства было компактным, необходимо и достаточно, чтобы оно было замкнутым и ограниченным.

В других пространствах это утверждение неверно. Так, в дискретном пространстве компактные множества только одноточечные, хотя все подпространства замкнутые и ограниченные. В пространстве т множество векторов, описанное в примере п. 3.3, также замкнутое и ограниченное, но не компактное.

ТЕОРЕМА 4 (Кантор). Любая вложенная последовательность компактных подмножеств в метрическом пространстве имеет непустое пересечение.

ТЕОРЕМА 5. Образ компактного метрического пространства X при непрерывном отображении является компактным.

Важный частный случай. Если f:X®R – непрерывное отображение компактного пространства в множество вещественных чисел, то образ f(X) компактен. Но любое компактное подмножество прямой является замкнутым и ограниченным (теорема Больцано-Вейерштрасса). Следовательно, вещественная непрерывная функция, определенная на компактном метрическом пространстве, имеет наибольшее и наименьшее значения – обобщение теоремы Вейерштрасса из математического анализа.

ЗАМЕЧАНИЯ. 1. Прообраз компактного множества при непрерывном отображении может не быть компактным. Например, функция sin(x) отображает некомпактное пространство (-¥,¥) на компактное [-1,1].

2. В теореме компактность нельзя заменить полнотой. Например, функция отображает полное пространство [1, ¥) на неполное (0, 1].

Поясним связь между понятиями замкнутости, полноты и компактности.

1. Замкнутость является свойством внешним, т.е. предполагается наличие объемлющего метрического пространства. Любое метрическое пространство является собственным замкнутым подмножеством. Компактность и полнота являются внутренними свойствами метрических пространств.

2. Из компактности следует полнота, обратное неверно. Пример - пространство R.

3. В то же время, полное подпространство является замкнутым.

<< | >>
Источник: Шпаргалка по курсу Функциональный анализ. 2017

Еще по теме Компактные метрические пространства:

  1. 6. Требования к клавиатуре персонального компьютера.
  2. 10.13. Время и Вселенная
- Аналитическая геометрия - Высшая математика - Вычислительная математика - Вычислительные методы линейной алгебры - Дискретная математика - Дифференциальное и интегральное исчисление - Дифференциальные уравнения - Исследование операций - История математики - Комбинаторика - Комплексное исчисление - Линейная алгебра - Линейная алгебра и аналитическая геометрия - Линейное программирование - Математическая логика - Математическая статистика - Математическая физика - Математический анализ - Метод конечных элементов - Методы оптимизации - Обработка результатов измерений - Общая алгебра - Операционное исчисление - Основы математики - Планирование эксперимента - Пределы - Ряды - Теория вероятностей - Теория графов - Теория игр - Теория конечных автоматов - Теория массового обслуживания - Теория принятия решений - Теория случайных процессов - Теория чисел - Философия математики - Функциональный анализ - Элементарная математика -