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

21.09.2019

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

Множества по количеству элементов могут быть конечными и бесконечными

Рассмотрим произвольное бесконечное множество вещественных чисел, оно може быть задано любым образом. Такими

Множествами являются, например, множество натуральных чисел, множество правильных дробей, множество вещественных чисел между 0 и 1, множество корней уравнения sin x = ½ и т.п.

Любое из чисел множества мы обозначим через х, Само множество обозначим через Х.

Определения 7.3.

Если для множества Х существует такое число М, что для всех х≤М, то множество Х называется ограниченным сверху (числом М), а само М называется верхней границей Х. Например, множество натуральных дробей ограничено сверху числом 1 (и вообще любым числом, больше или равным 1), натуральный ряд сверху неограничен

Аналогично определяется ограниченное снизу множество и нижняя граница

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

Если множество сверху (снизу) неограниченно, то за его верхнюю (нижнюю) границу принимают «несобственное» число Относительно этих «несобственных» или «бесконечных» чисел мы считаем, что каково бы ни было вещественное число α.

Множество, ограниченное и сверху и снизу, называется (просто) ограниченным .

Если множество ограничено сверху, т.е. имеет конечную верхнюю границу М, то одновременно оно имеет бесконечное множество верхних границ (так как, например, любое число >М, очевидно, также будет верхней границей). Из всех верхних границ наибольший интерес представляет наименьшая (она же точная верхняя граница, верхняя грань, супремум множества Х , supX (от латинского supremum - наибольший))

Аналогично определяется точня нижняя граница (нижняя грань, инфинум множества Х, inf X (от infinum – наименьший))

Определение ‘

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

2’) для любого ε>0 существует такой , что x > β - ε

Для α=inf X определение ‘ сформулируйте сами рис. 7.3(2).

Пусть ; тогда

sup = sup (а, b) = b, inf [а, b] = inf (а, b) = а.

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

В силу самого своего определения верхняя и нижняя грани множества единственны. В самом деле, если в некотором множестве, принадлежащем даже расширенной числовой прямой , существует наименьший (наибольший) элемент, то он единственен, так как из двух разных элементов множества больший из них не может быть наименьшим элементом, а меньший - наибольшим.

Всегда ли ограниченное сверху (снизу) множество имеет точную верхнюю (нижнюю) границу? Действительно, так как верхних (нижних) границ бесконечно много, а среди бесконечного множества чисел не всегда найдется наибольшее (наименьшее, то существование супремума (инфинума) требует специального доказательства.

Теорема 7.3(1)

Всякое ограниченное сверху непустое множество имеет верхнюю грань, а всякое ограниченное снизу непустое – нижнюю.

Доказательство

Пусть непустое числовое множество А ограничено сверху, В - множество всех чисел, ограничивающих сверху множество А. Если то из определения числа, ограничивающего сверху

множество, следует, что a≤b. Следовательно, по свойству непрерывности действительных чисел существует такое число β, что для всех будет выполняться неравенство a≤β≤b. Неравенство , означает, что число β ограничивает сверху множество А, а неравенство - что число β является наименьшим среди всех чисел, ограничивающих сверху множество А. Следовательно, β= sup A.

Аналогично доказывается, что ограниченное снизу числовое множество имеет нижнюю грань.

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

Лемма 1.1. Еслиa, b R , то точкиM 1 (a, b), M 2 (b, a) плоскости симметричны относительно прямойy = x .

Если a = b, то точки M1 , M2 совпадают и лежат на прямой y = x. Будем считать, что a 6= b. Прямая, проходящая через точки M1 , M2 , имеет уравнение y = −x+a+b, а потому перпендикулярна прямой y = x.

Поскольку середина отрезка M1 M2 имеет координатыa + 2 b ,a + 2 b ! , то

она лежит на прямой y = x. Следовательно, точки M1 , M2

Cледствие. Если функцииf: X −→ Y иϕ : Y −→ X взаимно обратные, то их графики симметричны относительно прямойy = x , если они построены в одной системе координат.

Пусть f = {(x, f(x)) | x X},ϕ = {(y, ϕ(y)) | y Y } - графики функций f и ϕ соответственно. Так как

(a, b) f (b = f(a), a X) (a = ϕ(b), b Y) (b, a)ϕ ,

то в силу доказанной леммы графики f иϕ симметричны относительно прямой y = x.

1.6 Свойства числовых множеств

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

Определение 1.26. ПустьX - непустое числовое множество. МножествоX называется ограниченным сверху (снизу), если существует такое числоa , чтоx 6 a (x > a ) для любого элементаx X . При этом числоa называется верхней (нижней) границей множестваX . Множество, ограниченное снизу и сверху называют ограниченным.

С помощью логических символов ограниченность сверху множества X записывают следующим образом:

a R: x 6 a, x X.

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

Определение 1.27. Непустое числовое множествоX называют ограниченным, если существует такое положительное числоM , что

Определение 1.28. Элементa из числового множестваX называют максимальным (минимальным) элементом вX , еслиx 6 a (соответственно,x > a ) для любогоx изX , и пишут:a = max X (соответственно,a = min X ).

В силу аксиомы порядка (3.b) легко показать, что если множество X в R имеет максимальный (минимальный) элемент, то он единственен.

Отметим, что если числовое множество X имеет максимальный (минимальный) элемент a, то оно ограничено сверху (снизу) и число a является верхней (нижней) границей множества X. Однако не всякое ограниченное сверху (снизу) числовое множество имеет максимальный (минимальный) элемент.

Пример 1.5. Покажем, что множество X = }

© dagexpo.ru, 2024
Стоматологический сайт