6
ства Y ( X содержится в Y или X является частью Y ), если
|
|
x |
X |
x Y |
|
(при этом применяется обозначение X |
Y или Y |
X ). |
|||
Условимся, что |
X для любого множества X . |
||||
Определение 2. Множества X и Y называются равными ( X Y ) , ес- |
|||||
ли одновременно |
|
|
|
|
|
|
|
X |
Y и Y |
X , |
|
т.е. если множества состоят из одних и тех же элементов. |
|||||
Запись X |
Y не исключает, что X совпадает с Y . |
||||
В дальнейшем будут использоваться операции (действия) объедине- |
|||||
ния и пересечения множеств. |
|
|
|
||
Определение |
3. |
Объединением (соединением, |
суммой) двух мно- |
||
жеств X и Y называется новое множество X Y , состоящее их всех элементов обоих множеств (при этом одинаковые элементы учитываются один раз).
С помощью логических символов объединение двух множеств мож-
но записать в виде |
|
|
X Y |
x : x |
X или x Y . |
Определение 4. Пересечением |
(произведением) двух множеств X |
|
и Y называется множество |
X Y , |
состоящее из общих элементов этих |
множеств, т.е. элементов, принадлежащих как X , так и Y .
С помощью логических символов пересечение двух множеств запишется так:
X Y
x : x X и x Y .
В математическом анализе основным рассматриваемым множеством является множество действительных (вещественных) чисел R, которое ещё будем обозначать ( , ). Строгое построение теории вещественных чисел достаточно сложно.
Множество вещественных чисел R есть объединение множества Q рациональных чисел и множества I иррациональных чисел (R= Q I).
Каждое рациональное число есть либо некоторая конечная десятичная дробь (бесконечная дробь с нулём в периоде), либо бесконечная десятичная периодическая дробь.
Каждому иррациональному числу соответствует некоторая бесконечная десятичная непериодическая дробь.
Будет использоваться геометрическое представление (истолкование, изображение) вещественных чисел. Для этого на некоторой прямой линии выбирается точка O в качестве начала отсчёта, положительное направление и масштабный отрезок OE , длина которого принимается за единицу. После этого выбора прямая называется координатной прямой (числовой прямой или числовой осью). Обычно числовую ось располагают горизон-
7
тально, а за положительное направление берут направление слева направо. Координатную прямую будем обозначать Ox .
Между множеством R всех вещественных чисел и множеством всех точек M координатной прямой Ox имеется взаимно-однозначное соответствие:
1)каждому вещественному числу x соответствует определённая (конкретная) точка M прямой;
2)каждой точке M прямой соответствует некоторое вещественное число x .
При этом число x называют координатой точки M и записывают как M (x) . В связи с этим вещественные числа называют точками. Дей-
ствительные числа (точки) заполняют собой сплошь всю числовую прямую.
Отметим, что точке O (началу координат) приписывается число 0 , а точке E – число 1. Различным числам соответствуют различные точки и
наоборот. Абсолютная величина |
x |
координаты |
x точки M есть длина |
|||
отрезка OM (см. рис. 1). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
О(0) |
Е(1) |
M (x) |
x |
|||
Рис. 1 Напомним, что модуль (абсолютная величина) вещественного числа
x определяется следующим образом:
|
|
|
х, если |
х |
0; |
|
|
х |
|
0, если |
х |
0; |
|
|
|
|||||
|
|
|
х, |
если |
х 0. |
|
Читателю должно быть хорошо известно, что любым x , y R од- |
||||||
нозначно сопоставляется число x |
y |
R, |
называемое суммой чисел x и |
|||
y , а также число xy R, |
называемое их произведением. Эти операции |
|||||
(действия) над числами обладают определёнными свойствами. Кроме того, множество R является линейно упорядоченным. Это означает, что для
x, y R выполнено одно и только одно из соотношений x y, x y, x y.
Рассмотрим множества, которые будут часто встречаться в дальнейшем изложении и являются подмножествами R. Это, прежде всего, следующие два множества:
1)N 1,2,3,... – множество натуральных чисел,
2)Z ..., 2, 1,0,1,2,... – множество целых чисел.
8
Эти множества заданы перечислением элементов.
Будут использоваться следующие промежутки конечной длины
b |
a: |
|
|
|
|
|
|
1) |
отрезок (сегмент, |
замкнутый промежуток) a,b , |
т.е. множе- |
||||
|
ство точек x , удовлетворяющих неравенствам a |
x |
b ; |
|
|||
2) |
интервал (открытый промежуток) |
a,b , т.е. |
множество точек |
||||
|
x , удовлетворяющих неравенствам a |
x |
b ; |
|
|
|
|
3) |
полуотрезки a,b , |
a,b , т.е. множества всех точек |
x , |
удовле- |
|||
|
творяющих соответственно неравенствам a |
x |
b, a |
x |
b . |
||
Общее обозначение любого такого промежутка –
a,b
. Каждый промежу-
ток задан указанием характеристического свойства его элементов. Кроме того, применяются промежутки бесконечной длины (полупрямые или чис-
ловые лучи)
a, |
x R : x a , |
a, |
x R : x a , |
|||
, a |
x R : x a , |
, a |
x R : x a . |
|||
Координатная прямая Ox есть R |
, |
. |
||||
Рассмотрим теперь важные понятия, относящиеся к произвольным |
||||||
непустым множествам X числовой прямой ( X |
R). |
|||||
Определение 5. Множество X называется ограниченным сверху, ес- |
||||||
ли существует такое число M , |
что для любого числа x из множества X |
|||||
выполняется неравенство x |
M , или |
|
|
|||
M |
R |
x |
X |
: |
x M . |
|
Число M в этом случае называется верхней границей множества X . |
||||||
Определение 6. Множество |
X называется ограниченным снизу, если |
|||||
существует такое число m, что для любого числа x из множества X вы-
полняется неравенство x |
m, или |
m R |
x X : m x . |
Число m называется нижней границей множества X .
Очевидно, что для ограниченного сверху множества существует бесконечно много верхних границ, а для ограниченного снизу множества – бесконечно много нижних границ.
Определение 7. Множество X , одновременно ограниченное сверху
и снизу, называется ограниченным, т.е. |
|
|||
M , m R x X : |
m x M . |
|||
Это определение равносильно следующему: |
||||
|
|
|
|
|
c R , c 0 |
x X : |
x |
c |
или c x c . |
|
|
|
|
|
Наименьшая из верхних границ ограниченного сверху множества X называется точной верхней границей этого множества и обозначается sup X , а наибольшая из нижних границ ограниченного снизу множества
9
X называется точной нижней границей этого множества и обозначается inf X . Часто точную верхнюю границу называют верхней гранью, а точную нижнюю границу – нижней гранью.
Введём равносильные определения этих понятий.
Определение 8. Число |
M * |
sup X есть точная верхняя граница |
|||
множества X , если выполняются следующие два условия: |
|||||
1) |
x |
X : x |
M * , |
|
|
2) |
|
0 x' |
X : |
M * |
x . |
Условие 1) означает, что M * есть верхняя граница для X (одна из верхних границ), а условие 2) – что M *есть наименьшая из верхних гра-
|
|
~ |
M |
* |
уже не является верхней границей (см. рис. 2). |
||||||
ниц, т.е. никакое М |
|
||||||||||
|
|
|
|
x |
|
|
х |
|
|
|
|
|
|
|
|
х |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
x |
||
|
|
|
|
|
M |
* |
* |
|
М |
* |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
Рис. 2 |
|
|
|
|
|
Определение 9. Число m* |
inf X |
есть точная нижняя граница |
|||||||||
множества X , если выполняются два условия: |
|
|
|||||||||
1) x |
X |
: |
m* |
|
x , |
|
|
|
|
|
|
2) |
0 x' |
X : x' |
|
m* |
. |
|
|
|
|||
Условие 1) этого определения означает, что есть нижняя граница |
|||||||||||
множества |
X |
(одна |
из |
нижних |
|
границ), |
а условие |
2) – что m* есть |
|||
|
|
|
|
|
|
|
|
|
|
~ |
* |
наибольшая из нижних границ, т.е. никакое число m |
m уже не является |
||||||||||
нижней границей (см. рис. 3). |
|
|
|
|
|
|
|||||
|
|
|
|
|
х |
|
|
|
|
x |
|
|
|
m* |
|
m* |
|
|
|
|
x |
||
Рис. 3 Теорема. Любое непустое ограниченное сверху (снизу) множество
имеет точную верхнюю (точную нижнюю) границу.
Условимся далее писать: sup X |
, если множество X не огра- |
|
ничено сверху; inf X |
, если множество X не ограничено снизу. |
|
Проиллюстрируем понятия этой темы примерами.
Примерами множеств, объединённых по какому-то определённому признаку, являются:
1) множество всех студентов данного института;
10
2)множество всех первокурсников этого института;
3)множество многочленов степени n;
4)множество многочленов степени, не превосходящей n;
5)множество всех прямых, проходящих через фиксированную точку. Первые два множества являются конечными, а три последующих –
бесконечными. При этом второе множество является подмножеством первого, а третье – подмножеством четвёртого.
Пусть X – множество корней уравнения x2 |
5x 6 |
0. Очевид- |
|
но, что корнями являются действительные числа x1 |
2 и x2 |
3. Следо- |
|
вательно, X |
2,3 . Множество записано с помощью перечисления его |
||
элементов. Это множество конечно, т.к. состоит из двух элементов. Оно
является ограниченным, при этом inf X 2 , sup X |
3. |
|
|
|
|
|
|
|
|
Примером бесконечного множества является Х |
1, |
1 |
, |
1 |
,..., |
1 |
,... . |
||
|
|
|
|
||||||
2 |
3 |
n |
|||||||
|
|
|
|
|
|||||
В этой записи множество задано перечислением его элементов. Хотя все элементы множества не выписаны, но структура его очевидна.
Это множество можно записать с помощью характеристического свойства следующим образом:
X x R : x |
1 |
, n |
. |
|
n |
||||
|
|
|
Данное множество является ограниченным. Верхними границами являются
любые действительные числа |
x 1, при этом sup X |
1. Нижними гра- |
||
ницами будут все вещественные числа x |
0 , причём inf X 0. |
|||
Примером пустого множества является множество действительных |
||||
корней уравнения x2 |
x 1 |
0. |
|
|
Пусть Х М (х, у) |
Оху : ОМ |
r – |
множество точек |
|
M x, y
на координатной плоскости Oxy , равноудалённых от начала ко-
ординат O на фиксированное расстояние r , а Y |
(х, у) : х2 |
у2 |
r 2 |
|||
– множество пар вещественных чисел |
x, y , удовлетворяющих уравнению |
|||||
х2 |
у 2 |
r 2 . Эти множества равны |
X Y |
и задают на плоскости в |
||
выбранной декартовой прямоугольной системе координат Oxy окруж-
ность радиуса r с центром в начале координат. В приведённых записях X и Y задавались характеристическими свойствами.
Рассмотрим примеры операций над множествами.
Пусть X 1, 2, 3, 4, 5, 6 , Y |
3, 4, 5, 6, 7, 8 . Объединением |
этих множеств будет множество X Y |
1, 2, 3, 4, 5, 6, 7, 8 , а пересе- |