Лекция 3.1. Функция.

3.1.1. Множества и операции над ними.

Определение 1. Под множеством понимается совокупность объектов,
которые объединены по какому-либо признаку. Так, можно говорить о множестве
студентов в группе, о множестве букв алфавита, о множестве корней квадратного
уравнения, о множестве натуральных чисел и т.д. Под элементами множества
понимают объекты, из которых состоит это множество. Множества обозначают
заглавными буквами латинского алфавита A, B,..., X , Y ,..., а их элементы –
малыми буквами a, b,...,x, y,...

Элемент x , принадлежащий множеству X , записывается следующим

образом: x  X . В противном случае для указания, что элемент x не принадлежит
множеству X , используется запись x  X .

Определение 2. Множество называется пустым, если оно не содержит ни

одного элемента. Такое множество обозначается символом  .

Элементы множества записывают в фигурных скобках, внутри которых они

перечислены (если это возможно), либо указано общее свойство, которым
обладают все элементы данного множества. Так, запись A  1, 4, 9 означает, что
множество A состоит из трех чисел 1, 4 и 9; запись A  x : 0  x  1 означает, что
множество A состоит из всех действительных (если не оговорено иное) чисел,
удовлетворяющих неравенству 0  x  1.

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

конечным. В противном случае множество называется бесконечным.

Определение 4. Множество A называется подмножеством множества B ,

если каждый элемент множества A является элементом множества B.
Символически это обозначают так: A  B («множество A включено во множество
B »).

1
 Определение 5. Множества A и B равны, если они состоят из одинаковых
элементов. Обозначается A  B .

Над множествами возможны следующие основные операции.

Определение 6. Объединением (или суммой) множеств A и B называется

множество всех элементов, принадлежащих хотя бы одному из множеств A или
B . Обозначается A  B .

Пример 1. Если A  1, 2, 3 и B  2, 3, 4, то A  B  1, 2, 3, 4.

Определение 7. Пересечением (или произведением) множеств A и B

называется множество всех элементов, принадлежащих каждому из множеств A
и B . Обозначается A  B .

Пример 2. Если A  1, 2, 3 и B  2, 3, 4, то A  B   2, 3.

Определение 8. Разностью множеств A и B называется множество всех

элементов, принадлежащих множеству A и не принадлежащих множеству B .
Обозначается A \ B .

Пример 3. Если A  1, 2, 3 и B  2, 3, 4, то A \ B  1 , а B \ A  4.

Множества и операции над ними можно изображать с помощью так

называемых кругов Эйлера:

Рис. 1. Операции над множествами.

2
 Числовые множества.
Определение 9. Множества, элементами которых являются числа,
называются числовыми.

Примерами числовых множеств являются:

N  1, 2, 3, 4, 5,... – множество натуральных чисел;

Z  0,  1,  2,  3,  4,  5,... – множество целых чисел;

m 
Q   : m  Z , n  N  – множество рациональных чисел;
n 

I – множество иррациональных чисел;

R – множество действительных чисел;

C – множество комплексных чисел.

Между данными числовыми множествами существует соотношение (см.

также рис. 2):

N Z Q RC.

Множество R действительных чисел состоит из рациональных и

иррациональных чисел, т.е. R  Q  I . Любое рациональное число может быть

1 
выражено либо конечной десятичной дробью   0,5  , либо бесконечной
2 
1 
периодической дробью   0,333... .
3 

Определение 10. Действительные числа, которые не являются

рациональными, называются иррациональными. Иррациональное число

выражается бесконечной непериодической дробью. Так, 2  1,414236... и

  3,141592654... – иррациональные числа.

3
 Рис. 2. Числовые множества.

Все действительные числа геометрически можно изобразить точками так

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

Рис. 3. Числовая прямая с отмеченным полуинтервалом [1; 2) .

Между множеством действительных чисел R и множеством всех точек
числовой прямой существует взаимно-однозначное соответствие, т.е. каждому
действительному числу соответствует единственная точка на числовой прямой и,
наоборот, каждой точке на числовой прямой соответствует единственное
действительное число.

4
 Числовые промежутки.
Различают следующие подмножества множества действительных чисел,
определяющие тот или иной числовой промежуток:

1. Если a  x  b , то говорят, что x принадлежит отрезку или сегменту a; b

(пишут x  a; b).

2. Если a  x  b , то x принадлежит интервалу (a; b) ( x  (a; b) ).

3. Если a  x  b , то x  (a; b] , если a  x  b , то x  [a; b) , и говорят, что x

принадлежит полуинтервалу.

4. Если x  a , то x  (a;  ) , если x  b , то x  (; b) , и говорят, что x

принадлежит бесконечному интервалу.

5. Если x  a , то x [a;  ) , если x  b , то x  (; b] , и говорят, что x

принадлежит бесконечному полуинтервалу.

6. Если x  R , то x  (;  ) и говорят, что x принадлежит множеству

действительных чисел или принадлежит всей числовой прямой.

Здесь числа a и b называются соответственно левым и правым концами

указанных промежутков. Символы   и   не являются числами, это
символическое обозначение процесса неограниченного удаления точек числовой
прямой от начала 0 влево и вправо.

Определение 11. Абсолютной величиной (или модулем) действительного

числа x называется само число x , если x неотрицательно, и противоположное
число  x , если x отрицательно:

 x, если x  0,
x 
 x, если x  0.

Очевидно, что x  0 . Запись a  b геометрически означает расстояние

между точками a и b на числовой прямой.

5
 Окрестность точки.
Определение 12. Окрестностью точки x0  R называется любой интервал
(a; b) , содержащий точку x0 .

Определение 13.  -окрестностью точки x0  R называется интервал

( x0   ; x0   ) . При этом число x0 называют центром, а число  называют
радиусом  -окрестности.

Рис. 4.  -окрестность точки x0 .

Если x  ( x0   ; x0   ) , то выполняется неравенство x0    x  x0   , или,

что то же самое, x  x0   . Последнее неравенство в свою очередь означает, что

точка x попадает в  -окрестность точки x0 .