Теорема об экстремальных значениях
- Функция f непрерывна на интервале [a, b].
- Теорема об ограниченности утверждает, что f ограничена сверху и снизу.
- Существует наименьшая верхняя граница M для f.
- Доказательство теоремы об экстремальных значениях использует дедекиндову полноту действительных чисел.
- Альтернативное доказательство использует ограниченность множества {y ∈ R : y = f(x) для некоторого x ∈ [a,b]}.
- Доказательство с использованием гиперреалов использует нестандартный математический анализ.
- Доказательство из первых принципов основано на непрерывности функции f на интервале [a, b].
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: