Докажите что множество ограничено

Ограниченные множества

Пусть непустое множество действительных чисел.

У ограниченного сверху множества существует сколь угодно много верхних границ. Действительно, если верхняя граница множества то для любого положительного число также является верхней границей Аналогично, у ограниченного снизу множества существует сколь угодно много нижних границ.

С геометрической точки зрения ограниченность сверху множества означает наличие на числовой прямой такой точки что все точки множества расположены не правее Аналогично, ограниченность снизу множества означает наличие на числовой прямой такой точки что все точки множества расположены не левее, чем

С геометрической точки зрения ограниченность означает, что все точки множества содержатся в некотором отрезке числовой прямой.

Определение. Элемент называется наибольшим элементом множества если для любого справедливо неравенство Элемент называется наименьшим элементом множества если для любого справедливо неравенство

Очевидно, что если во множестве существует наибольший элемент, то это множество ограничено сверху, а если в существует наименьший элемент, то это множество ограничено снизу. Однако не каждое ограниченное сверху (снизу) множество имеет наибольший (наименьший) элемент. Например, множество ограничено сверху (например, числом однако в нем нет наибольшего элемента. Действительно, для любого число x» title=»z=\frac < x+1 > < 2 >> x» /> также принадлежит Аналогично можно показать, что ограничено снизу, но не имеет наименьшего элемента.

Пусть – ограниченное сверху множество. Через обозначим совокупность всех верхних границ множества Множество непусто и, как мы уже видели, неограничено сверху. Очевидно, однако, что ограничено снизу (например, любой элемент множества является нижней границей множества

Поставим следующий вопрос: существует ли во множестве наименьший элемент?

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

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

Первое условие этого определения означает, что является верхней границей множества а второе – что наименьшая из всех верхних границ, т. е. что никакое число не является верхней границей множества

Аналогично формулируется определение нижней грани.

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

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

Первое условие этого определения означает, что m является нижней границей множества а второе – что наибольшая из всех нижних границ, т. е. что никакое число m» title=»+\varepsilon > m» /> не является нижней границей множества

Из определения верхней и нижней граней множества не следует сам факт их существования. Существование точных границ устанавливает следующая теорема.

Теорема (о существовании верхней грани). Каждое непустое ограниченное сверху множество имеет верхнюю грань. Пусть ограниченное сверху множество, а множество всех его верхних границ. Оба множества непустые, и для любых справедливо неравенство По аксиоме полноты множества действительных чисел, существует такое число что для любых справедливо неравенство Левое неравенство означает, что число является верхней границей множества т. е. а правое неравенство показывает, что наименьший элемент во множестве

Аналогично доказывается следующая

Теорема (о существовании нижней грани). Каждое непустое ограниченное снизу множество имеет нижнюю грань.

Понятие верхней (нижней) грани мы определили для ограниченного сверху (снизу) множества. Но не каждое множество ограничено сверху (снизу). Так, само множество действительных чисел неограничено сверху и снизу. В самом деле, для любого найдется такой, что M» title=»x > M» /> (например, Это означает, что никакое число не является верхней границей множества В случае если множество неограничено сверху, иногда пишут Аналогично, если множество неограничено снизу, то пишут Примером неограниченного снизу множества также может быть множество

Задание 1
Пусть 1. Доказать, что множество не имеет ни наименьшего, ни наибольшего элементов.

Действительно, для любого число x» title=»z=\frac < x+\sqrt < 2 >> < 2 >> x» /> также принадлежит следовательно, не имеет наибольшего элемента. Аналогично можно показать, что не имеет наименьшего элемента.

Действительно, всякие вещественные будут элементами множества и 0,» title=»\forall \varepsilon > 0,» /> по аксиоме полноты множества действительных чисел, существует такой что т. е. какое бы вещественное число из мы не взяли, можно выбрать другое число из так, что оно будет находиться ближе к на числовой прямой.

Аналогично доказывается, что

Задание 2
Пусть непустые ограниченные множества неотрицательных действительных чисел, множество всевозможных чисел где Показать, что ограниченное множество, причём

По теореме о существовании верхней грани, из ограниченности и следует существование и Тогда справедливы неравенства: из которых следует, что т. е. является верхней границей множества Кроме того, поскольку и – множества неотрицательных действительных чисел, т. е. является нижней границей множества Отсюда следует, что множество ограничено.

Поскольку и соответственно являются верхними гранями множеств и справедливы неравенства 0\quad \forall x\in X:< M >_< 1 >-\varepsilon 0\quad \forall x\in X:< M >_< 1 >-\varepsilon 0\quad \forall y\in Y:< M >_< 2 >-\varepsilon 0\quad \forall y\in Y:< M >_< 2 >-\varepsilon из которых следует: 0\quad \forall x\in X\quad \forall y\in Y:» title=»\forall < \varepsilon >_< 1 >,< \varepsilon >_ < 2 >> 0\quad \forall x\in X\quad \forall y\in Y:» /> Обозначим: Получим неравенство 0\quad \forall x\in X\quad \forall y\in Y:< M >_< 1 >< M >_< 2 >—< \varepsilon >_ < 3 >0\quad \forall x\in X\quad \forall y\in Y:< M >_< 1 >< M >_< 2 >—< \varepsilon >_ < 3 >. Из него и из неравенства следует, что что и требовалось доказать.

Забегая вперёд, при рассмотрении следующего задания используем материал урока «Определение и элементарные свойства».

Источник

Точечные множества

Множества, элементами которых являются точки, называются точечными множествами. Таким образом, можно говорить о точечных множествах на прямой, на плоскости, в каком-либо пространстве. Ради простоты мы ограничимся рассмотрением точечных множеств на прямой.

Между действительными числами и точками на прямой имеется тесная связь: каждому действительному числу можно отнести точку на прямой и обратно. Поэтому, говоря о точечных множествах, мы будем причислять к ним и множества, состоящие из действительных чисел — множества на числовой прямой. Обратно: для того чтобы задать точечное множество на прямой, мы будем обычно задавать координаты всех точек нашего множества.

Точечные множества (и, в частности, точечные множества на прямой) обладают рядом особых свойств, отличающих их от произвольных множеств и выделяющих теорию точечных множеств в самостоятельную математическую дисциплину. Прежде всего имеет смысл говорить о расстоянии между двумя точками. Далее, между точками на прямой можно установить соотношения порядка (левее, правее); в соответствии с этим говорят, что точечное множество на прямой является упорядоченным множеством. Наконец, как уже отмечалось выше, для прямой справедлив принцип Кантора; это свойство прямой принято характеризовать как полноту прямой.

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

Начнем с рассмотрения различных возможностей расположения множества в целом на прямой.

Ограниченные и неограниченные множества

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

Множества, ограниченные сверху и снизу

Ясно, что данное выше определение ограниченного множества эквивалентно следующему: множество точек на прямой называется ограниченным, если оно ограничено сверху и снизу. Несмотря на то, что эти два определения очень похожи друг на друга, между ними имеется существенное различие: первое основано на том, что между точками на прямой определено расстояние, а второе, что эти точки; образуют упорядоченное множество.

Верхняя и нижняя грань множества

Расположение точечного множества вблизи какой-либо точки на прямой

Укажем несколько примеров, поясняющих все эти понятия.

Пример 1. Пусть множество состоит из точек с координатами

Пример 4. Пусть множество состоит из всех точек с целыми координатами на прямой. Каждая точка является его изолированной точкой; множество не имеет предельных точек.

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

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

Источник

Ограниченные и неограниченные множества.

Ограниченные и неограниченные множества.

Ограниченные и неограниченные множества. Введем много необходимых понятий на будущее и изучим некоторые свойства числовых множеств. Определение 1.Для подмножества действительных чисел X, если существует число b, которое не меньше каждого числа x∈X, то есть если неравенство x b выполняется для любого x∈X, то множество X называется верхней границей, а число b называется границами числа из вершины множества X. Используя логические символы, определение множества указанных диапазонов записывается в форму. X » ограничено более чем 3 b€K V x€. х б; отсюда X » V b€K 3 x€не ограничивается выше. X b, то есть для числа b∈K, если существует число x∈X такое, что x b имеет место, множество X не ограничено выше. Набор, который не является набором с границей сверху, называется набором с границей сверху. Если число b связывает множество X выше, т. е. если неравенства x b и b содержат все x∈X, очевидно, потому что x b также содержит все x∈X, то число b ’также ограничивает множество X сверху. Если множество X содержит число b, которое не меньше всех других чисел из X, т. е. b€X, и неравенство x b выполняется для всех x∈X, то это число b называется максимальным или максимальным числом множеств X. b = max X.

Очевидно, что если множество X имеет максимальное число, то оно уникально, и само множество X в этом случае ограничено сверху этим числом. Людмила Фирмаль

Это определение должным образом соответствует соответствующему определению подмножества нерасширенного множества действительных чисел. Людмила Фирмаль

Образовательный сайт для студентов и школьников

Копирование материалов сайта возможно только с указанием активной ссылки «www.lfirmal.com» в качестве источника.

© Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института

Источник

Объединение двух ограниченных множеств ограничено

Объединение двух множеств
Составить словесный алгоритм решения задачи: определение множества М равного объединению двух.

Объединение двух множеств
С 32 по 63 строчку, проблема в том, что не получается сделать объединение двух множеств. Подскажите.

Объединение двух множеств 3
Заданы два множества (смотрите в операторе DATA) Перевести эти множества в вид массивов. И.

Объединение двух множеств
Помогите! Нужно сделать объединение двух множеств. Вот код, но я не пойму откуда ноль #include.

Неравенство треугольника позволяет оценивать расстояния между точками через известные расстояния. Например, вы хотите оценить расстояние от центра первого шара до точки из второго шара. Для этого вы сначала идёте от центра первого шара до центра второго, а потом от центра второго — до точки. Получается оценка.

У вас будут две оценки: расстояния от центра первого шара до любой точки первого шара и расстояние от центра первого шара до любой точки второго шара. Если получить ещё одну оценку сложением правых частей, то первые две только огрубятся, то есть получится оценка от центра первого шара до любой точки одного из двух шаров. Либо можно не складывать, а брать максимум правых частей.

Попробуйте что-нибудь написать, чтобы было понятно, в чём ваша проблема.

Вот все, что могу написать..

Добавлено через 9 минут
Блин, не получается фото выслать, в общем:
Множество А наз-ся ограниченным в метрическом пространстве Х, если существует открытый шар, целиком содержащий множество А.
Открытым шаром радиуса r с центром в точке а принадл. Х, называется множество таких точек х принадл. Х, что: В₀(а, r) =

Источник

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

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

Множество 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.

Источник