Sup математика что это

Точные грани числовых множеств

Верхняя и нижняя грани числовых множеств.

Множество X вещественных чисел (X ⊂ \(\mathbb\)) называется ограниченным сверху, если существует вещественное число C такое, что все элементы множества X не превосходят C, то есть
$$
\exists C \ \in \ \mathbb: \ \forall x \ \in \ X \ \rightarrow \ x \ \leq \ C.\label
$$

Всякое вещественное число C, обладающее свойством \eqref, называется верхней гранью числового множества X.

Аналогично, множество X ⊂ \(\mathbb\) называется ограниченным снизу, если
$$
\exists C’\in\mathbb: \ \forall x \ \in \ X \ \rightarrow \ x \ \geq \ C’.\label
$$

Всякое вещественное число С ‘ , удовлетворяющее условию \eqref, называют нижней гранью числового множества X.

Если числовое множество множество ограничено как сверху, так и снизу, его называют ограниченным, то есть <X — ограниченное множество>\(\Leftrightarrow\left\ <\exists C’\in \ \mathbb\ \exists C\in\mathbb: \ \forall x\in X \ \rightarrow \ C’ \ \leq \ x \ \leq \ C\right\>\).

Записать ⌉A с помощью кванторов, если A = <C — верхняя грань множества X ⊂ \(\mathbb\)>.

По условию \(B=\left\<\exists C \ \in \ \mathbb: \ \forall x \ \in \ X \ \rightarrow \ x \ \geqslant \ C\right\>\). Поэтому
$$
\rceil B=\left\<\forall C \ \in \ \mathbb: \ \exists x_C \ \in \ X \ \rightarrow \ x_C Определение 1.

Число M называется точной верхней гранью числового множества X, если выполняются следующие условия:

Число M = sup X, вообще говоря, может как принадлежать, так и не принадлежать множеству X. Например, если X — множество чисел x таких, что 1 ≤ x Замечание 2.

Из определения точной верхней грани множества следует, что если у числового множества X есть точная верхняя грань M, то она единственна.

Число m называется точной нижней гранью числового множества X, если выполняются следующие условия:

Если непустое множество вещественных чисел X ограничено сверху, то существует sup X; если непустое множество X ограничено снизу, то существует inf X.

Докажем существование верхней точной грани. По условию множество X не пусто, то есть содержит хотя бы один элемент. Возможны два случая:

Первый случай. Предположим, что все элементы множества X неотрицательны. По условию множество X ограничено сверху, а значит выполняется условие \eqref. Пусть C=c₀,c₁c₂…c_n…; тогда c₀ — неотрицательное целое число, причем C x’.\label$$

Возьмем произвольное число x ∈ X и пусть x = a₀,<a_n>. Чтобы проверить выполнение условия \eqref, рассмотрим три произвольных случая:

$$x\not\in X_k \ \ \ \ \ при \ k=0,1,2,…,\label$$

$$x\in X_k \ \ \ \ \ при \ k=0,1,2,…,\label$$

$$\exists m: \ x\in X_, \ x\not\in X_\label$$

Из \eqref следует, что \(a_0 удовлетворяет произвольный элемент \(\widetilde x\in X_m\), так как

Из неравенства \eqref следует, что sup X есть нижняя грань множества Y. Точная нижняя грань множества Y, то есть число inf Y, есть наибольшая из всех нижних граней множества Y. Значит, sup X ≤ inf Y.

Источник

множество к примеру

задан 1 Ноя ’15 16:27

1 ответ

Мы видим, что у этого множества есть min (наименьшее значение). Оно равно нулю. Если такая точка есть, что она же будет и inf (точной нижней гранью).

Теперь посмотрим на другую сторону. Мы видим, что наибольшее значение ни в какой точке не достигается, потому что за каждым числом имеется следующее, и оно больше предыдущего. Значит, max (наибольшее значение) у множества отсутствует. Но оно ограничено сверху: все рассматриваемые числа чего-то не превосходят. Например, верно то, что все они не больше 100. В таком случае число 100 разрешается называть верхней гранью множества. Ясно, что и многие другие числа обладают этим свойством: например, 50, или 2, или 3/2. Всё это верхние грани. Мы хотим выбрать из них «лучшую», то есть наиболее точную. Ясно, что это будет число 1. Все наши числа не превосходят 1, то есть это верхняя грань. При этом она самая маленькая из возможных: уменьшить её уже нельзя. Дело в том, что наши числа подходят к ней всё ближе и ближе. И если мы уменьшим 1 до, скажем, 0,999, то верхней грани уже не получится, так как число 1-1/n выйдет за указанные пределы, оказавшись правее 0,999 при n > 1000.

Точная верхняя грань (строгое определение см. в учебнике, а также условия, при которых она у множества существует), обозначается как sup. В рассмотренном примере max A отсутствует, но sup A = 1.

Если требуются ещё какие-то пояснения, их можно будет добавить.

Источник

1. Теория пределов

1.1 Супремум и инфимум

Определение 1. Множество < x >, элементами которого являются числа, называется числовым множеством.

Определение 2. Множество вещественных чисел < x > называется ограниченным сверху (снизу), если существует число M ( m ) такое, что x £ M ( x ³ m ).

Число M называется верхней гранью числового множества < x >. Аналогично, число m называется нижней гранью числового множества < x >.

Верхних (нижних) граней бесконечно много, так как любое число, большее M (меньшее m ), есть также верхняя (нижняя) грань.

Определение 3. Наименьшая из верхних граней называется точной верхней гранью или супремумом числового множества < x > (обозначение sup < x >).

Наибольшая из нижних граней называется точной нижней гранью или инфимумом числового множества < x > (обозначение inf < x >).

Более точно, эти понятия выражаются следующими свойствами:

1. .

2. .

1. .

2. .

Теорема о существовании супремума и инфимума числового множества.

Если числовое множество < x > не пусто и ограничено сверху, то у него существует sup < x >.

Если числовое множество < x > не пусто и ограничено снизу, то у него существует inf < x >.

1.2 Последовательности

Определение 1. Числовой последовательностью (в дальнейшем просто последовательностью) называется упорядоченное счетное множество чисел

Обратите внимание на два момента.

1. В последовательности бесконечно много чисел. Если чисел конечное число – это не последовательность!

2. Все числа упорядочены, то есть расположены в определенном порядке.

В дальнейшем для последовательности часто будем использовать сокращенное обозначение < x_n >.

Над последовательностями можно производить определенные операции. Рассмотрим некоторые из них.

1. Умножение последовательности на число.

Последовательность c × < x_n > – это последовательность с элементами < c × x_n >, то есть

2. Сложение и вычитание последовательностей.

или, более подробно,

3. Умножение последовательностей.

4. Деление последовательностей.

Естественно, предполагается, что в этом случае все y_n ¹ 0.

Последовательность < x_n > называется ограниченной сверху, если .

Последовательность < x_n > называется ограниченной снизу, если .

Последовательность < x_n > называется ограниченной, если она одновременно ограничена и сверху и снизу.

1.3 Предел последовательности.

Основное определение. Число a называется пределом последовательности < x_n > при n стремящимся к бесконечности, если

.

Для этого факта используют следующие обозначения:

или .

Говорят, что , если .

Говорят, что , если .

Последовательность < x_n > называется бесконечно большой, если (то есть, если ).

1.4 Бесконечно малые последовательности.

Оределение. Последовательность < x_n > называется бесконечно малой, если , то есть если .

Бесконечно малые последовательности имеют следующие свойства.

1. Сумма и разность бесконечно малых последовательностей есть также бесконечно малая последовательность.

2. Бесконечно малая последовательность ограничена.

3. Произведение бесконечно малой последовательности на ограниченную последовательность есть бесконечно малая последовательность.

1.5 Сходящиеся последовательности.

Определение. Если существует конечный предел , то последовательность < x_n > называется сходящейся.

Сходящиеся последовательности имеют следующие свойства.

1. Сходящаяся последовательность ограничена.

2. .

3. .

4. .

5. Если , то .

1.6 Предельный переход в неравенствах.

1. ;

2. ,

то существует .

1.7 Предел монотонной последовательности.

Последовательность < x_n > называется монотонно возрастающей, если для любого n x_{n +1} ³ x_n .

Последовательность < x_n > называется строго монотонно возрастающей, если для любого n x_{n +1} > x_n .

Последовательность < x_n > называется монотонно убывающей, если для любого n x_{n +1} £ x_n .

Последовательность < x_n > называется строго монотонно убывающей, если для любого n x_{n +1} x_n .

Теорема о существовании предела монотонной последовательности.

1. Если последовательность < x_n > монотонно возрастает (убывает) и ограничена сверху (снизу), то у нее существует конечный предел, равный sup < x_n > ( inf < x_n > ).

На основании этой теоремы доказывается, что существует так называемый замечательный предел

1.8 Подпоследовательности

и рассмотрим последовательность . Она называется подпоследовательностью последовательности < x_n >.

Если < x_n > – бесконечно большая последовательность, то любая ее подпоследовательность есть также бесконечно большая.

Лемма Больцано- Вейерштрасса.

1. Из любой ограниченной последовательности можно извлечь такую подпоследовательность, которая сходится к конечному пределу.

2. Из любой неограниченной последовательности можно извлечь бесконечно большую подпоследовательность.

На основании этой леммы доказывается один из основных результатов теории пределов –

Признак сходимости Больцано-Коши.

Для того, чтобы у последовательности < x_n > существовал конечный предел, необходимо и достаточно, чтобы

.

Последовательность, удовлетворяющая этому свойству, называется фундаментальной последовательностью, или последовательностью, сходящейся в себе.

1.9 Предел функции

Основное определение. Число b называется предельным значением (пределом) функции f ( x ) при x стремящимся к a (обозначение или ), если

.

Число b называется предельным значением (пределом) функции f ( x ) при x стремящимся к + ¥ (обозначение ), если

.

Говорят, что функция f ( x ) стремится к + ¥ при x стремящимся к a (обозначение ), если

.

( ).

Обозначение ( ).

Если ,то существует . Верно и обратное утверждение.

Теорема, устанавливающая связь понятий предела функции и предела последовательности.

Для того, чтобы существовал необходимо и достаточно, чтобы для любой последовательности < x_n >, у которой существовал

Свойства предельных значений.

Предельные значения имеют такие же свойства, что и предел последовательности:

,

,

,

, если .

1.10 Предел монотонной функции

Функция f ( x ) называется

строго монотонно возрастающей, если из x ₁> x ₂ следует f ( x ₁)> f ( x ₂).

Функция f ( x ) называется

строго монотонно возрастающей, если из x ₁> x ₂ следует f ( x ₁) f ( x ₂).

Если f ( x ) ­ при x a и ограничена сверху то существует конечный .

Если f ( x ) ­ при x a но сверху не ограничена, то .

Аналогичные формулировки имеют место и для монотонно убывающей функции.

1.11 Признак Больцано-Коши существования предела функции.

Теорема. Для того, чтобы при x стремящимся к a существовал конечный , необходимо и достаточно, чтобы

.

Эта теорема является одной из важнейших теорем теории пределов.

1.12 Сравнение бесконечно малых и бесконечно больших величин

1. Если существует и , ¸ то говорят, что a ( x ) и b ( x ) – бесконечно малые одного порядка.

Обозначение: a = O ( b ) или b = O ( a ).

2. Если (или, что то же самое, ), то говорят, что a ( x ) есть бесконечно малая более высокого порядка, чем b ( x ).

Обозначение a = o ( b ).

3. Если не существует, то говорят, что a ( x ) и b ( x ) несравнимы.

.

Слагаемое называется главной частью a ( x ).

1. Если существует и , ¸ то говорят, что A ( x ) и B ( x ) – бесконечно большие одного порядка.

2. Если (или, что то же самое, ), то говорят, что A ( x ) есть бесконечно большая более высокого порядка, чем B ( x ).

3. Если не существует, то говорят, что A ( x ) и B ( x ) несравнимы.

.

Источник