Ограниченные множества
Определение ограниченного множества
Определение 1. Множество \( A \subset \mathbb{R} \) называется ограниченным сверху, если существует число \( M \in \mathbb{R} \) такое, что:
\( \forall a \in A: a \leq M \)
Число \( M \) называется верхней границей множества \( A \).
Определение 2. Множество \( A \subset \mathbb{R} \) называется ограниченным снизу, если существует число \( m \in \mathbb{R} \) такое, что:
\( \forall a \in A: a \geq m \)
Число \( m \) называется нижней границей множества \( A \).
Определение 3. Множество называется ограниченным, если оно ограничено и сверху, и снизу.
Формальная запись:
Множество \( A \) ограничено \( \Leftrightarrow \exists M > 0: \forall a \in A: |a| \leq M \)
Примеры ограниченных множеств:
- \( A = [0, 1] \) — ограничено
- \( B = (-5, 10) \) — ограничено
- \( C = \{\frac{1}{n} \mid n \in \mathbb{N}\} \) — ограничено
- \( D = \{\sin x \mid x \in \mathbb{R}\} \) — ограничено
Примеры неограниченных множеств:
- \( \mathbb{N} \) — неограничено сверху
- \( \mathbb{Z} \) — неограничено
- \( \{n^2 \mid n \in \mathbb{N}\} \) — неограничено сверху
- \( (-\infty, 0) \) — неограничено снизу
Примеры ограниченных и неограниченных множеств на числовой прямой
Точные грани множеств
Определение 4. Точной верхней гранью (супремумом) множества \( A \) называется наименьшая из всех верхних границ:
\( \sup A = \min \{ M \in \mathbb{R} \mid \forall a \in A: a \leq M \} \)
Определение 5. Точной нижней гранью (инфимумом) множества \( A \) называется наибольшая из всех нижних границ:
\( \inf A = \max \{ m \in \mathbb{R} \mid \forall a \in A: a \geq m \} \)
Важное замечание:
Супремум и инфимум могут как принадлежать, так и не принадлежать множеству. Если супремум принадлежит множеству, он называется максимумом. Если инфимум принадлежит множеству, он называется минимумом.
Супремум и инфимум множества
Примеры:
- \( A = [0, 1] \): \( \sup A = 1 \), \( \inf A = 0 \)
- \( B = (0, 1) \): \( \sup B = 1 \), \( \inf B = 0 \)
- \( C = \{\frac{1}{n} \mid n \in \mathbb{N}\} \): \( \sup C = 1 \), \( \inf C = 0 \)
- \( D = \{x \in \mathbb{Q} \mid x^2 < 2\} \): \( \sup D = \sqrt{2} \), \( \inf D = -\sqrt{2} \)
Теоремы об ограниченных множествах
Теорема 1. О существовании точных граней
Всякое непустое ограниченное сверху множество действительных чисел имеет точную верхнюю грань.
Всякое непустое ограниченное снизу множество действительных чисел имеет точную нижнюю грань.
Доказательство:
Эта теорема является одной из эквивалентных формулировок полноты множества действительных чисел. Доказывается с помощью принципа вложенных отрезков или конструкции Дедекинда.
Теорема 2. Критерий ограниченности
Множество \( A \subset \mathbb{R} \) ограничено тогда и только тогда, когда:
\( \exists M > 0: \forall a \in A: |a| \leq M \)
Доказательство:
\( \Rightarrow \) Если A ограничено, то существуют m и M такие, что \( m \leq a \leq M \) для всех a ∈ A. Тогда \( |a| \leq \max\{|m|, |M|\} \).
\( \Leftarrow \) Если \( |a| \leq M \), то \( -M \leq a \leq M \), значит A ограничено и сверху, и снизу.
Теорема 3. Об ограниченности подмножеств
Если \( A \subset B \) и B ограничено, то A также ограничено.
Доказательство:
Так как B ограничено, то \( \exists M: \forall b \in B: |b| \leq M \). Но \( A \subset B \), поэтому \( \forall a \in A: |a| \leq M \).
Свойства точных граней
Свойство 1. Характеризация супремума
Число S = sup A тогда и только тогда, когда:
- \( \forall a \in A: a \leq S \)
- \( \forall \varepsilon > 0 \exists a \in A: a > S - \varepsilon \)
Свойство 2. Характеризация инфимума
Число s = inf A тогда и только тогда, когда:
- \( \forall a \in A: a \geq s \)
- \( \forall \varepsilon > 0 \exists a \in A: a < s + \varepsilon \)
Свойство 3. Монотонность
Если \( A \subset B \), то:
- \( \sup A \leq \sup B \)
- \( \inf A \geq \inf B \)
Свойство 4. Для объединения и пересечения
Для любых ограниченных множеств A и B:
- \( \sup(A \cup B) = \max\{\sup A, \sup B\} \)
- \( \inf(A \cup B) = \min\{\inf A, \inf B\} \)
Теорема Вейерштрасса
Теорема 4. (Вейерштрасса)
Всякая непрерывная на отрезке функция ограничена и достигает своих точных граней.
То есть, если \( f: [a, b] \to \mathbb{R} \) непрерывна, то:
- \( \exists M: \forall x \in [a, b]: |f(x)| \leq M \)
- \( \exists x_1, x_2 \in [a, b]: f(x_1) = \inf f([a, b]), f(x_2) = \sup f([a, b]) \)
Доказательство:
Доказывается в несколько этапов:
- Доказательство ограниченности функции с помощью метода Больцано-Вейерштрасса
- Доказательство достижения точных граней с помощью теоремы о промежуточном значении
- Использование свойства полноты действительных чисел
Применение в анализе
1. Исследование функций
- Нахождение области значений
- Исследование на ограниченность
- Поиск экстремумов
2. Теория интегрирования
- Определение интеграла Римана
- Верхние и нижние суммы Дарбу
- Критерии интегрируемости
3. Численные методы
- Метод дихотомии
- Метод золотого сечения
- Поиск корней уравнений
4. Оптимизация
- Выпуклая оптимизация
- Линейное программирование
- Теория игр
Историческая справка
Понятие ограниченности и точных граней было строго формализовано в работах Бернарда Больцано и Карла Вейерштрасса в XIX веке. Теорема Вейерштрасса является фундаментальной в математическом анализе и лежит в основе многих разделов современной математики.
Аксиома полноты действительных чисел, гарантирующая существование точных граней, была сформулирована в работах Рихарда Дедекинда.