Вы находитесь на странице: 1из 277

КЛАССИЧЕСКИЙ УЧЕБНИК МГУ

ЯГЕБРА И ГЕОМЕТРИЯ

В ВОПРОСАХ И ЗАДАЧАХ

URSS

Основы алгебры и аналитической геометрии

Оглавление

П редисловие

 

6

С писок обозначений

 

8

Глава 1.

П ростейш ие понятия логики

9

1. Основные понятия и факты

9

2. Контрольные вопросы и задания

13

3. Примеры решения задач

 

14

4. Задачи для самостоятельного решения

16

Глава 2.

М

н ож ества и отображ ени я

19

1. Основные понятия и факты

19

2. Контрольные вопросы и задания

28

3. Примеры решения задач

 

29

4. Задачи для самостоятельного решения

33

Глава 3.

К ом п лексн ы е

ч и сла

35

1. Основные понятия и факты

35

2. Контрольные вопросы и задания

41

3. Примеры решения задач

 

41

4. Задачи для самостоятельного решения

48

Глава 4.

М ногочлены

 

50

1. Основные понятия и факты

50

2. Контрольные вопросы и задания

56

3. Примеры решения задач

 

57

4. Задачи для самостоятельного решения

63

Глава 5.

М

атри ц ы

64

1. Основные понятия и факты

64

2. Контрольные вопросы и задания

72

3. Примеры решения задач

 

73

4. Задачи для самостоятельного решения

76

Глава 6.

О п ределители

 

79

1. Основные понятия и факты

79

2. Контрольные вопросы и задания

89

3. Примеры решения задач

 

89

4. Задачи для самостоятельного решения

96

3

4

Оглавление

Г лава 7.

А л го р и тм Гаусса—Ж о р д а н а

99

1. Основные понятия и факты

99

2. Контрольные вопросы и задания

103

3. Примеры решения задач

104

4. Задачи для самостоятельного решения

113

Глава 8.

С истем ы линейны х уравнений

115

1. Основные понятия и факты

115

2. Контрольные вопросы и задания

121

3. Примеры решения задач

121

4. Задачи для самостоятельного решения

127

Глава 9.

В екторн ая алгеб ра

130

1. Основные понятия и факты

130

2. Контрольные вопросы и задания

142

3. Примеры решения задач

143

4. Задачи для самостоятельного решения

152

Глава 10.

П рям ы е на плоскости

155

1. Основные понятия и факты

155

2. Контрольные вопросы и задания

158

3. Примеры решения задач

159

4. Задачи для самостоятельного решения

163

Глава 11.

П рям ы е и плоскости в пространстве

165

1. Основные понятия и факты

165

2. Контрольные вопросы и задания

169

3. Примеры решения задач

169

4. Задачи для самостоятельного решения

180

Глава 12.

Э ллипс, гипербола, п арабола

183

1. Основные понятия и факты

183

2. Контрольные вопросы и задания

191

3. Примеры решения задач

191

4. Задачи для самостоятельного решения

196

Глава 13.

П реобразования базисов и координат

200

1. Основные понятия и факты

200

2. Контрольные вопросы и задания

207

3. Примеры решения задач

208

4. Задачи для самостоятельного решения

213

Глава 14.

К вадри ки : канонизация и инвари ан ты

215

1. Основные понятия и факты

215

2. Контрольные вопросы и задания

220

3. Примеры решения задач

220

Оглавление

5

Глава 15.

П оверхности второго п оряд ка

240

1. Основные понятия и факты

240

2. Контрольные вопросы и задания

245

3. Примеры решения задач

246

4. Задачи для самостоятельного решения

253

О тветы , указания и реш ения

255

Л

и тер ату р а

273

П редм етны й указатель

274

Предисловие

Учебное пособие, предлагаемое вниманию читателей, написано на ос­ нове многолетнего опыта чтения лекций и ведения семинарских занятий по дисциплинам «Аналитическая геометрия» и «Линейная алгебра» на первом курсе физического факультета МГУ им. М. В. Ломоносова. Две первые главы не имеют прямого отношения к курсам линей­ ной алгебры и аналитической геометрии, входящим в учебный план студентов-физиков. Однако содержащийся в них материал совершенно необходим для расширения научного кругозора и формирования пра­ вильного математического мировоззрения. В главе 1 обсуждаются про­ стейшие понятия логики —высказывания и предикаты, из которых стро­ ятся все математические конструкции, и логические операции над ни­ ми; рассматриваются основные разновидности теорем: необходимые и достаточные условия (преподаватель должен добиться от студента чёт­ кого понимания этих понятий!). Глава 2 по существу представляет со­ бой глоссарий основных общематематических понятий: множество, соот­ ветствие, отношение, отображение. Соответствующие термины использу­ ются во всех разделах математики и её приложениях, однако большин­ ство учебников пренебрегает их аккуратным изложением. Автор убеж­ дён, что свободное владение понятиями и фактами, содержащимися в первых двух главах пособия, является непременным условием успешно­ го освоения дальнейших дисциплин физико-математического цикла. С третьей главы начинается систематическое изложение материа­ ла, входящего в стандартный курс алгебры и геометрии для физиков, в условиях жёсткого цейтнота, вызванного уменьшением количества ауди­ торных часов в связи с переходом высшей школы на компетентностную модель образования, в которой практика и самостоятельная работа объ­ явлены доминантой учебного процесса. Назначение данного пособия — облегчить самостоятельную работу студентов, научить их правильно её планировать, а также обеспечить преподавателей, ведущих семинарские занятия, достаточной по количеству и разнообразию подборкой задач. В главах 3 и 4 изучаются комплексные числа и многочлены; эти те­ мы, некогда входившие в школьный курс (общий или факультативный), ныне не известны даже многим выпускникам физико-математических спецшкол. Нет нужды долго говорить о многочисленных приложениях обеих этих тем.

6

Предисловие

7

Чтобы сделать изложение геометрических сюжетов, входящих в курс аналитической геометрии и линейной алгебры, возможно более кратким и понятным, а также избежать скучных повторов впоследствии, снача­ ла требуется довольно глубоко разработать необходимый алгебраический аппарат: теорию матриц, определителей и систем линейных уравнений; этим вопросам посвящены главы 5-8. Подробное описание вычислитель­ ных алгоритмов сопровождается большим числом детально разобранных примеров; заинтересованный студент легко разберётся в представленном материале. С главы 9 начинается изложение геометрической части курса в тра­ диционной последовательности: векторная алгебра (глава 9), прямые на плоскости (глава 10), прямые и плоскости в пространстве (глава 11), ли­ нии второго порядка (глава 12), преобразования систем координат (гла­ ва 13), приведение уравнения линии второго порядка к каноническому виду (глава 14), поверхности второго порядка (глава 15). К сожалению, полностью за рамками курса остаются многие вопросы аффинной гео­ метрии, общая теория линий и поверхностей второго порядка и вся про­ ективная геометрия. Количество глав пособия— 15 —примерно соответствует количеству недель в осеннем семестре. Поэтому, по мнению автора, оптимальным было бы планирование работы, при котором в течение одной недели изу­ чается одна глава; такая интенсивность работы представляется разумной и необременительной. Автор полагает, что достаточным условием для возможности даль­ нейшего обучения студента может считаться его способность решить лю­ бую задачу из данного компендиума; необходимым же условием пред­ ставляется умение воспроизвести решение любой задачи, разобранной в тексте. При подборе задач автор использовал известные учебники и задач­ ники по алгебре и аналитической геометрии, однако подавляющее боль­ шинство вычислительных задач являются новыми. Автор считает своим приятным долгом выразить глубокую призна­ тельность за помощь при работе над книгой А. В. Бадьину, С. Л. Ичиро Делир-Магрифу, В. В. Колыбасовой, Н. Ч. Крутицкой, С. А. Овчиннико­ вой, В. Ю. Попову, М. Чино, М. А. Чино, Н. Е. Шапкиной, А. А. Широни- ну, А. А. Шишкину, всем коллегам по кафедре математики физическо­ го факультета МГУ, принимавшим участие в аудиторных испытаниях этого пособия, а в особенности академику РАН Ревазу Валериановичу Гамкрелидзе, оказавшему неоценимое влияние на представления автора о преподавании математики.

Автор

Список обозначений

N

множество натуральных чисел: N = {1, 2 ,

};

No

множество натуральных чисел с нулём: No = {0,1, 2 ,

};

Z

множество целых чисел;

Q

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

R

множество вещественных (действительных) чисел;

 

C

множество комплексных чисел;

K

произвольное числовое поле (см. с. 35), в частности, Q, R или C;

K[x]

множество всех многочленов от переменной x с коэффициентами из числового поля K;

Kn

множество столбцов высоты n с элементами из числового поля K;

Knxm

множество матриц размера n х m (т.е. состоящих из n строк и m столбцов) с элементами из числового поля K;

def

def

D

== знак «равенства по определению»: A == В читается «А . по опре­

.

делению представляет собой В».

8

Г Л А В А

1

Простейшие понятия логики

1. О сновны е понятия и ф ак ты

А. В ы сказы ван ия и операции н ад ними. Высказывание —это повествовательное предложение, представляющее собой утверждение, которому можно поставить в соответствие одно из двух логических зна­ чений: ложь (0) или истина (1). Высказывания будем обозначать пропис­ ными латинскими буквами. Основные логические операции над высказываниями —отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность. Они задают­ ся с помощью таблиц истинности. Отрицание —логическая операция, в результате которой из данного высказывания А получается новое высказывание —А («не-А», «неверно, что А», «А не имеет места»). Таблица истинности для операции отрица­ ния:

А

0

1

1

0

Конъюнкция —логическая операция, заключающаяся в соединении двух высказываний А и В в новое высказывание А Л Б («А и В»), которое истинно только в том случае, когда оба высказывания А и В истинны. Дизъюнкция —логическая операция, заключающаяся в соединении двух высказываний А и В в новое высказывание А V В («А или В»), ко­ торое ложно только в том случае, когда оба высказывания А и В ложны. Импликация —логическая операция, заключающаяся в соединении двух высказываний А и В в новое высказывание А ^ В («если А, то В»), которая ложна лишь в одном случае —когда А истинно, а В ложно. Вы­ сказывание А называется посылкой высказывания А ^ В, высказывание В —его заключением. Импликация с ложной посылкой по определению истинна. Эквивалентность —логическая операция, заключающаяся в соеди­ нении двух высказываний А и В в новое высказывание А В («А тогда и только тогда, когда В», «А эквивалентно В»), которое истинно в том и только том случае, когда высказывания А и В оба истинны или оба ложны.

9

10

Гл. 1. Простейшие понятия логики

Таблица истинности для логических операций:

A

В

A A B

А У

В

A

^ B

A

-<=>■ В

0

0

0

0

1

1

0

1

0

1

1

0

1

0

0

1

0

0

1

1

1

1

1

1

1.1. Теорема.

Свойства логических операций:

(1)

коммутативность:

 

A

V B

=

B

V A,

 

A

Л B

=

B

Л A;

(2)

ассоциативность:

 

(A V B)

V C

=

A

V

(B

V C ),

(A Л B)

Л C

=

A

Л

(B

Л C );

(3)

дистрибутивность:

A V (B

Л

C )

=

(A

V

B)

Л

(A V C ),

A Л (B

V

C ) =

(A

Л

B)

V

(A Л C );

(4)

законы поглощения:

 

A V (A

Л B)

=

A,

A Л

(A

V B)

=

A;

(5)

идемпотентность:

 

A

V A =

A,

A Л A =

A;

(6)

свойства констант:

 
 

A

V

1 =

1,

A

V 0

=

A,

A

Л 1 =

A,

 

A

Л 0 =

0;

(7)

закон исключённого третьего:

 
 

A V -A

=

1,

A Л - A

=

0;

(8)

закон двойного отрицания:

 
 

- - A

 

=

A;

(9)

законы де Моргана:

 

-(A Л B) = —A V —B,

 

—(A V

B)

=

- A

Л

- B;

(10)

закон контрапозиции:

 
 

(A

^

B)

=

( - B

^

-A);

1 .

Основные понятия и факты

11

(11)

соотношения

 

(А ^

1) =

1,

(0 ^

А)

=

1,

(1 ^

А) =

А,

(А ^

0)

=

-А ;

(12)

соотношения

-(А ^

В)

=

(А Л -В ),

(А V В)

=

(—А ^

В).

Предикат —это выражение, содер­

жащее переменные и превращающееся в высказывание при подстановке вместо этих переменных каких-либо объектов.

Б .

П реди каты

и

кванторы .

Квантор —это

логическая

операция,

которая

по

предикату

P(x)

строит высказывание, дающее количественную характеристику области истинности предиката P(x). Наиболее употребительны квантор общно­ сти V и квантор существования 3.

Пусть P(x) —одноместный предикат, X —область

возможных значений переменной x. Обозначим через

(Vx е X )P(x)

следующее высказывание: «для любого x е X высказывание P(x) истин­

но».

высказыванию (1.1) — навешиванием на предикат P квантора общ­ ности по переменной x.

Пусть P(x) —одноместный предикат, X —область

возможных значений переменной x. Обозначим через

(3x е X )P(x)

следующее высказывание: «существует такое x е X , что высказывание P(x) истинно». Символ 3 называется квантором существования, а пере­ ход от предиката P к высказыванию (1.2) — навешиванием на предикат

P квантора существования по переменной x.

1.2. О пределение.

(1.1)

Символ V называется квантором общности, а переход от предиката

P

к

1.3. О пределение.

(1.2)

1.4. Теорема.

Справедливы следующие аналоги законов де Моргана:

-(Vx

е

X )P(x)

==

(3x

е

X

)—P(x),

(1 .3 )

—(3x

е

X )P (x )

==

(Vx

е

X

)—P(x),

( 1 .4

)

Правило, выражаемое соотношениями (1.3), (1.4), можно сформули­ ровать следующим образом: чтобы получить отрицание высказывания, начинающегося с квантора, нужно квантор заменить на двойствен­ ный (т.е. квантор общности на квантор существования и наоборот) и перенести знак отрицания за квантор. Одноименные кванторы можно переставлять. «Разноименные» кван­ торы можно переставлять только в одну сторону: утверждение

(3x)(Vy)P (x,y)

^

истинно, а утверждение

(Vy)(3x)P (x,y)

^

(Vy)(3x)P (x,y)

(3x)(Vy)P (x,y)

12

Гл. 1. Простейшие понятия логики

ложно. Таким образом, высказывания

не эквивалентны.

(Зж)(Ѵу)Р(ж, у)

и

(Ѵу)(Зж)Р(ж, у)

В. Т еорем ы и доказательства. В математике доказательством называется цепочка логических умозаключений, показывающая, что при некотором наборе аксиом и правил вывода верно некоторое утверждение. Доказанные утверждения называют теоремами; если ни утверждение, ни его отрицание ещё не доказаны, то такое утверждение называют ги­ потезой. Импликативная теорема имеет вид

А ^

В;

высказывание А называют условием (посылкой) теоремы, В —заключе­ нием. Заключение В импликативной теоремы «А ^ В» называется услови­ ем, необходимым для истинности посылки А. Без выполнения В утвер­ ждение А не может быть истинным. Теорема, выражающая необходимое условие, называется свойством.

Посылка А теоремы «А ^

В» называется условием, достаточным

для выполнения заключения В. Если А истинно, то утверждение В за­ ведомо верно. Теорема, выражающая достаточное условие, называется признаком. Теорема вида А В, выражающая эквивалентность двух вы­ сказываний А и В, т.е. являющаяся одновременно необходимым и доста­ точным условием, называется критерием. Важно понимать, что каждый критерий по существу содержит два утверждения А ^ В и В ^ А, каж­ дое из которых доказывается отдельно.

Рассмотрим следующие четыре теоремы, образованные из высказы­ ваний А и В:

А

^

В,

(1.5)

В

^

А,

(1.6)

—А ^

—В,

(1.7)

—В ^

—А.

(1.8)

Теоремы (1.5) и (1.6) (и соответственно, теоремы (1.7) и (1.8)) называются взаимно обратными теоремами. Теоремы (1.5) и (1.7) (и соответственно, теоремы (1.6) и (1.8)) называются взаимно противоположными теоре­ мами. Взаимно обратные теоремы (1.5) и (1.6) почти не зависят друг от друга: истинность одной из них не влечет ни истинности, ни ложности другой, однако эти теоремы не могут быть одновременно ложными. Взаимно противоположные теоремы (1.5) и (1.7) связаны аналогично. В силу закона контрапозиции (см. теорему 1.1(10))

(—В ^

—А)

==

2.

Контрольные вопросы и задания

13

теорема, противоположная к обратной, равносильна исходной. Метод доказательства, основанный на этом факте («доказательство от против­ ного»), может быть использован в случае, когда теорема, противополож­ ная к обратной, доказывается проще, чем исходная теорема.

2. К он трольн ы е вопросы и задан и я

1.

Что такое высказывание? Приведите примеры.

2.

Сформулируйте определение логических операций отрицания, конъ­ юнкции, дизъюнкции, импликации, эквивалентности. Запишите для этих операций таблицы истинности.

3.

Сформулируйте и запишите с помощью символов математической ло­ гики закон исключённого третьего.

4.

Даны высказывания A = «я учусь в университете», B = «я люб­ лю математику». Прочтите следующие символические выражения:

(а) - A;

(б)

A;

(в) A Л B; (г) A Л - B; (д) - A Л B; (е) - A Л - B;

(ж) - (A Л B).

 

5.

Даны высказывания A = «этот треугольник равносторонний», B = «этот треугольник равнобедренный». Прочтите следующие сим­ волические выражения: (а) A V B; (б) A V -A ; (в) - A VB; (г) AV B; (д) - (A V B ).

6.

Сформулируйте и запишите с помощью символов математической ло­ гики закон двойного отрицания.

7.

Сформулируйте и запишите с помощью символов математической ло­ гики законы де Моргана.

8.

Запишите закон контрапозиции.

9.

Что такое предикат? Что такое область истинности предиката? При­ ведите примеры.

10.

Что такое квантор общности? Приведите пример его использования.

11.

Что такое квантор существования? Приведите пример его использо­ вания.

12.

Чему эквивалентно высказывание - (Ѵж G X)Р(ж)?

13.

Чему эквивалентно высказывание - (Зж G X)Р(ж)?

14.

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

15.

Можно ли переставить кванторы в высказывании (Ѵж)(Ѵу)Р(ж, у)?

16.

Можно ли переставить кванторы в высказывании (Зж)(Зу)Р(ж, у)?

17.

Можно ли переставить кванторы в высказывании (Зж)(Ѵу)Р(ж, у)?

18.

Можно ли переставить кванторы в высказывании (Ѵу)(Зж)Р(ж, у)?

19.

Что такое теорема? Что такое гипотеза?

20.

Что такое необходимое условие? Приведите примеры.

21.

Что такое достаточное условие? Приведите примеры.

22.

Что такое противоположная теорема?

23.

Что такое обратная теорема?

24.

Какова связь между противоположной и обратной теоремами?

14

Гл. 1. Простейшие понятия логики

3. П ри м еры реш ен ия задач

П ри м ер 1.1. Дано высказывание:

сать окружность». Запишите его в виде импликации А ^ В. Постройте

высказывания В ^ А, —А ^

«Вокруг прямоугольника можно опи­

—В, —В ^

—А. Какие из них истинны?

Решение. Введём следующие высказывания:

А = «данный четырёхугольник является прямоугольником», В = «вокруг данного четырёхугольника можно описать окружность».

Тогда А ^ В —истинное высказывание. Высказывание В ^ А («если во­ круг четырёхугольника можно описать окружность, то он является пря­ моугольником») ложно (например, окружность можно описать вокруг трапеции). Высказывание —А ^ —В («если четырёхугольник не является пря­ моугольником, то вокруг него нельзя описать окружность») ложно (см. предыдущий пример). Высказывание —В ^ —А («если вокруг четырёхугольника нельзя описать окружность, то он не является прямоугольником») истинно, по­ скольку получено из исходного истинного высказывания А ^ В с помо­ щью контрапозиции.

П р и м ер

А) является ис­

тинным независимо от того, истинно или ложно высказывание А. Решение. Построим таблицу истинности для высказывания А ^ (В ^ А):

1.2. Докажите, что высказывание А ^

^

А

В

В ^

А

А = > ( В = > А )

0

0

1

1

0

1

0

1

1

0

1

1

1

1

1

1

Последний столбец показывает, что высказывание А ^ при любых А и В.

П ри м ер 1.3. Докажите с помощью таблиц истинности закон контрапо-

зиции. Решение. Заполним таблицы истинности для высказываний А ^ В и —В ^ —А (во второй из этих таблиц введены вспомогательные столбцы для отрицаний —А и —В):

А) истинно

^

А

В

А => в

А

В

-іА

-.в

-' В —і А

0

0

1

0

0

1

1

1

0

1

1

0

1

1

0

1

1

0

0

1

0

0

1

0

1

1

1

1

1

0

0

1

3.

Примеры решения задач

15

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

А

В

в

-.в

-' В

=ф -

А

0

0

1

1

1

1

0

1

1

1

0

1

1

0

0

0

1

0

1

1

1

0

0

1

Сравнивая истинностные значения высказываний А ^ В и —В ^ —А, видим, что они совпадают при любых истинностных значениях высказы­ ваний А и В.

П ри м ер 1.4. Докажите с помощью таблиц истинности закон поглоще­ ния А V (А Л В) = А. Решение. Доказательство сводится к заполнению таблицы истинности

А

В

А Л В

А ѵ (АЛВ)

0

0

0

0

0

1

0

0

1

0

0

1

1

1

1

1

(здесь использованы таблицы истинности для операций конъюнкции и дизъюнкции). Сравнивая истинностные значения высказываний А и А V (А Л В), видим, что они совпадают при любых истинностных значе­ ниях высказываний А и В.

П ри м ер 1.5. Рассмотрим следующую теорему: «Если функция f диф­ ференцируема в точке ж0, то она непрерывна в этой точке». Выполните следующие задания:

(а) переформулируйте эту теорему, используя термин «необходимо»; (б) переформулируйте эту теорему, используя термин «достаточно»; (в) сформулируйте контрапозицию приведённой теоремы в терминах то

»; (г) сформулируйте контрапозицию приведённой теоремы, используя термин «необходимо»; (д) сформулируйте контрапозицию приведённой теоремы, используя термин «достаточно».

«если

Решение. Рассмотрим высказывания

А = «функция f дифференцируема в точке ж0», В = «функция f непрерывна в точке жо».

Исходная теорема имеет вид А ^ В. Напомним, что в импликации А ^ В высказывание А называется достаточным для В, а В —необ­ ходимым для А.

16

Гл. 1. Простейшие понятия логики

(а) С использованием термина «необходимо» данная теорема фор­ мулируется так: «для того, чтобы функция f была дифференцируема

в жо, необходимо, чтобы она была непрерывна в этой точке». Это усло­

вие не является достаточным: существуют непрерывные, но не диффе­ ренцируемые функции. Однако дифференцируемости не может быть без непрерывности. (б) Переформулируем теорему, используя термина «достаточно»:

«для того, чтобы функция f была непрерывна в жо, достаточно, что­ бы она была дифференцируема в этой точке». Это условие не является необходимым: существуют не дифференцируемые функции, являющиеся непрерывными. (в) Контрапозицией импликации A ^ B является импликация - B ^ - A. Таким образом, для нашей теоремы получаем: «если функция

f не является непрерывной в точке жо, то она в этой точке не дифферен­

цируема». (г) Формулировка с помощью термина «необходимо»: «для того, что­ бы функция f не была непрерывной в жо, необходимо, чтобы она не была дифференцируемой в ж0».

(д) Формулировка с помощью термина «достаточно»: «для того, что­ бы функция f не была дифференцируемой в ж0, достаточно, чтобы она не была непрерывной в жо».

4. Задачи д л я сам остоятельного реш ения

1.1. Укажите, какие из следующих выражений являются высказывани­

ями, и определите их истинностные значения:

(а)

азот —газ;

(д)

ж >

0;

(б) я учусь в университете;

(е)

(ж + у)2;

(в) снег белый; (г) белый снег;

(ж) (ж + у)2 =

(ж + у)2 =

(з)

ж2 + у2; ж2 + 2жу + у2.

1.2. Является ли высказыванием следующее предложение:

ложение ложно.»?

«Это пред­

1.3. Расчлените следующие сложные высказывания на простые и запи­

шите с помощью логической символики:

(а) сегодняшний день солнечный и тёплый; (б) сегодняшний день солнечный, но не тёплый; (в) данный четырёхугольник —квадрат или ромб; (г) Петя и Вася решили задачу;

(д)

автором этой книги является Иванов или Петров;

(е) это ни необходимо, ни желательно.

1.4. Пусть A и B —два данных высказывания. С помощью операций -

и Л постройте из A и B такое сложное высказывание C , что

(а) C истинно тогда и только тогда, когда A и B оба истинны;

(б) C истинно тогда и только тогда, когда A истинно, а B ложно;

(в)

C истинно тогда и только тогда, когда A и B оба ложны;

4.

Задачи для самостоятельного решения

17

(г) C ложно тогда и только тогда, когда A и B оба истинны.

1.5. Из простых высказываний A, B, C постройте составное высказыва­

ние, которое было бы истинно тогда и только тогда, когда истинна только

одна (безразлично какая) из компонент.

1.6.

Какие из следующих импликаций истинны:

(а)

если

2 • 2 =

4, то

2 <

3;

(б)

если

2 • 2 =

4, то

2 >

3;

(в)

если

2 • 2 =

5, то

2 <

3;

(г)

если

2 • 2 =

5,

то

2 >

3;

(д)

если сегодня понедельник, то завтра вторник;

(е) если сегодня понедельник, то завтра суббота.

1.7.

1.7.

и

^

Пусть A и B —два данных высказывания. С помощью операций - постройте из A и B такое сложное высказывание C , что

операций - постройте из A и B такое сложное высказывание C , что

(а) C ложно тогда и только тогда, когда A и B оба истинны; (б) C ложно тогда и только тогда, когда A истинно, а B ложно; (в) C ложно тогда и только тогда, когда A ложно, а B истинно; (г) C истинно тогда и только тогда, когда A ложно, а B истинно.

1.8. Запишите с помощью логической символики следующие высказы­

вания и установите их истинностные значения:

(а) для того чтобы треугольник был равносторонним, необходимо, что­ бы его углы были равны; (б) для того чтобы треугольник был равносторонним, достаточно, что­ бы его углы были равны; (в) для того чтобы число делилось на три, необходимо, чтобы оно де­ лилось на шесть; (г) для того чтобы число делилось на три, достаточно, чтобы оно дели­ лось на шесть.

1.9. Запишите с помощью логической символики следующие высказы­

вания и определите их истинностные значения:

(а) для того чтобы произведение чисел обращалось в нуль, необходимо

и достаточно, чтобы один из сомножителей был равен нулю;

(б) сумма чисел делится на 3 тогда и только тогда, когда все слагаемые

делятся на 3; (в) если четырехугольник является квадратом, то все углы его прямые,

и обратно.

Исправьте ложные высказывания так, чтобы получились истинные вы­ сказывания.

«если ряд сходится, то его общий член стремится

к нулю»

для решения задачи). Выполните следующие задания:

(смысл терминов, входящих в эту формулировку, несуществен

1.10. Дана теорема:

(а) переформулируйте эту теорему, используя термин «необходимо»; (б) переформулируйте эту теорему, используя термин «достаточно»;

(в)

сформулируйте контрапозицию приведённой теоремы то

«если

в терминах

»;

18

Гл. 1. Простейшие понятия логики

(г)

сформулируйте

контрапозицию

приведённой

теоремы,

используя

термин «необходимо»;

 

(д)

сформулируйте

контрапозицию

приведённой

теоремы,

используя

термин «достаточно».

1.11. Приведите примеры таких высказываний А и В, чтобы

(а) прямая и обратная импликация их были истинны; (б) прямая импликация была истинной, а обратная ложной; (в) прямая импликация была ложной, а обратная истинной.

1.12. Докажите с помощью таблиц истинности закон двойного отрица­

ния и закон исключённого третьего.

1.13. Докажите с помощью таблиц истинности законы де Моргана

—(А Л В) = —А V —В,

—(А V В) = —А Л —В.

1.14. Докажите с помощью таблиц истинности соотношения

—(А ^

В) = (А Л —В),

(А V В) =

(—А ^

В).

Г Л А В А

2

Множества и отображения

1. О сновны е понятия и ф ак ты

А.

М нож ества.

В теории множеств имеется два неопределяемых

понятия —множество и элемент, и одно отношение между этими по­

нятиями —отношение принадлежности, выражаемое словами «элемент принадлежит множеству» или «множество содержит элемент». Множе­

эле­

, лежит множеству А, пишем a е А (А Э а), а если не принадлежит —то

а

Запись А = {a, b, c, d} означает, что множество А состоит из эле­ ментов a, b, c, d, а запись А = {а | P (а)} —что множество А состоит из всех элементов, обладающих свойством P (а) (характеристическим свой­

ством ); например, [-2, 2] = {ж | ж2 ^ 4}. Ясно, что характеристическое свойство элементов множества представляет собой некоторый предикат. Пустое множество 0 не содержит элементов. Множества А и В называются равными (запись А = В), если они состоят из одних и тех же элементов. Множество В называется подмножеством множества А (запись

В С

является также элемен­

том А:

ства обычно обозначают прописными буквами А, В,

менты — строчными буквами a, b,

Если элемент а принад­

,

X , Y ,

,

ж, у,

і/ А

(А Э а).

А или

А

D В), если каждый элемент В

с

А) ==

(Ѵж е

В

^

ж е

А).

Отношение между множествами, выражаемое словами «В является под­ множеством А», называется отношением включения. Множество всех подмножеств данного множества А обозначается P (А) или 2A. По определению, 0 С А для любого множества А. Множества А и 0 называются несобственными подмножествами множества А. Если же

В С А и существует такой элемент а е А, что а е В, то множество

В называется собственным подмножеством множества А; этот факт

обозначается В С А.

Б . О перации н ад м нож ествам и. Пересечением А П В множеств А и В называется множество, состоящее из всех элементов, которые од­ новременно принадлежат как множеству А, так и множеству В:

А п В

==

{ж | ж е А

19

л ж е

В}.

20

Гл. 2. Множества и отображения

20 Гл. 2. Множества и отображения (а) пересечение множеств (б)

(а) пересечение множеств

(б) объединение множеств

(б) объединение множеств Рис. (в) разность множеств 2.1.

Рис.

(в) разность множеств

2.1. Диаграммы

Эйлера,

(г)

множеств

симметрическая

иллюстрирующие

разность

основные

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

Пустое множество является подмножеством самого себя, но при этом

само с собой не пересекается: 0

Объединением А U В множеств А и В называется множество, состо­ ящее из всех элементов, которые принадлежат либо множеству А, либо множеству В, либо обоим этим множествам:

С

0 ,

0

п 0

=

0.

А и В

==

{x

| x

е

А v x

е

В}.

Разностью А \ В множеств А и В называется множество, состоящее из всех элементов, принадлежащих множеству А, но не принадлежащих множеству В:

А \

В ==

| x

е

А Л x

е

В}.

Оимметрической разностью А ДВ множеств А и В называется мно­ жество

А Д В ==

(А U В) \

(А п В).

Дополнением множества А называется множество А', состоящее из всех элементов, не принадлежащих А. Часто бывает удобно считать все множества, участвующие в некотором рассуждении, подмножества­ ми некоторого множества U, называемого универсальным множеством (универсумом ); в этом случае дополнение А' представляет собой раз­ ность U \ А. Дополнение множества А обозначают также А, СА. Для наглядного изображения множеств и отношений между ними используются диаграммы Эйлера—Венна (см. рис. 2.1). Будем говорить, что два множества А и В находятся в общем поло­ жении, если существуют такие элементы a, 6, с, что а е А, а е В, b е В, &еА, с е А, с е В. Два множества в общем положении изображены на рис. 2.2, где символ a, например, обозначает список всех элементов, содержащихся в множестве А, но не содержащихся в множестве В и т. д.

1.

Основные понятия и факты

21

a

I

c I b
c
I
b

Рис. 2.2. Множества в общем положении

Аналогично вводится понятие трёх множеств в общем положении (см. рис. 2.2). Пусть {Aa | a G A} —некоторая система множеств. Пересечение и объединение этих множеств определяются и обозначаются следующим образом:

|^|

A a

=

{x

| Va

G A

:

x

G Aa },

aea

|^J

Aa =

{x

|

3 a

G A

:

x

G Aa }.

а£Я

 

n

n

Используются также обозначения

П

Ak,

u

Ak и им подобные.

k=m

k=m

2.1. Теорема.

Свойства операций над множествами:

(1)

коммутативность:

 
 

A П B

=

B

П A,

A

U B

=

B U A;

 

(2)

ассоциативность:

 
 

П

(A B)

П

C

=

A

П

(B

П C ),

 

(A U B)

U C

=

A

U

(B

U C );

(3)

взаимная дистрибутивность:

 
 

(A U C )

П B)

U C

=

(A

П

(B

U C ),

 

(A П C )

U B)

П C

=

(A

U

(B

П C );

(4)

законы поглощения:

 
 

(A П B) U B

=

B,

(A U B) П B

=

B;

(5)

законы дополнительности:

 
 

A П A' =

0,

A U A'

=

U;

(6)

(7 )

A \

B

=

A П B '

0

0

' =

U; U' =

;

;

22

Гл. 2. Множества и отображения

(8)

(2.1)

Декартовым (прямым) произведением А х В множеств А и В назы­ вается множество, состоящее из всех упорядоченных пар (a, b), где а е А, b е В:

законы де Моргана:

(А П В )'

=

А' U В ',

(А U В )'

=

А' П В '.

А

х

В

=

{(а, b)

| а

е

А,

b е

В}.

, Ап —это множе­

ство всех упорядоченных последовательностей, образованных элемента­

Декартово произведение нескольких множеств Аі,

ми множеств Аі,

,

Ап:

 

n

Аі

х

• • • х

Ап =

X

А* =

 

i=1

{ ( а

,

an)

| аі

е

А і

, an

е

Ап}.

Декартова (прямая) степень множества А определяется соотноше­ ниями

А і

=

А,

Ап+і =

А х Ап,

n

е

N.

В.

С оответствия и отнош ения.

Соответствием R, заданным на

упорядоченной паре множеств А и В, называется любое подмножество R декартова произведения этих множеств А х В. Если (a, b) е R, то говорят, что элементы а е А и b е В находятся в рассматриваемом

соответствии R. Вместо записи (a, b)

запись: a R b. Для соответствия R С А х В введём следующие термины:

е R обычно используют инфиксную 1

(i)

область

отправления соответствия

R — множество А;

(ii)

область прибытия соответствия R —множество В;

(iii)

область определения Dom R соответствия R —множество всех пер­ вых элементов пар из R:

 

D om R ==

{a

| 3b : (a, b) е

R};

(iv)

область значений Im R соответствия R —множество всех вторых элементов пар из R:

Im R ==

{b | 3a

: (a, b) е

R}.

В случае конечных множеств А и В соответствие R С А х В удобно иллюстрировать с помощью графика: элементы множеств А и В изобра­ жаются точками плоскости; точки a А и b В соединяются стрелкой, если a R b (см. рис. 2.3). Выделяются следующие важные типы соответствий. Соответствие R С А х В называется

(i) всюду определённым, если область определения совпадает с обла­ стью отправления: Dom R = А; на графике из каждой точки обла­ сти отправления исходит хотя бы одна стрелка (см. рис. 2.3(а));

1Т.е. запись, при котором знак соответствия R ставится меж ду символами эле­ ментов а и b.

1.

Основные понятия и факты

23

1. Основные понятия и факты 23 Рис. 2.3. Типы соответствий (ii)
1. Основные понятия и факты 23 Рис. 2.3. Типы соответствий (ii)
1. Основные понятия и факты 23 Рис. 2.3. Типы соответствий (ii)
1. Основные понятия и факты 23 Рис. 2.3. Типы соответствий (ii)
1. Основные понятия и факты 23 Рис. 2.3. Типы соответствий (ii)

Рис. 2.3. Типы соответствий

(ii)

сюръективным, если область значений совпадает с областью при­

бытия: Im R =

В; на графике в каждую точку области прибытия

приходит хотя бы одна стрелка (см. рис. 2.3(б));

 

(iii)

функциональным, если в нём нет пар с одинаковыми первыми и различными вторыми компонентами, т.е.

V(ai,bi), (a 2 , 6 2 ) е или, по контрапозиции,

R

: bi

=

62

= ^

ai

=

a 2

V(ai, bi), (a 2 , 6 2 ) е

R

: ai

a2

bi

b2;

на графике из каждой точки области отправления исходит не более

одной стрелки, т.е. запрещены ситуации вида • ^

(см. рис. 2.3(в));

(iv)

инъективным, если в нём нет пар с различными первыми и одина­ ковыми вторыми компонентами, т.е.

V(ai,bi), (a2 ,b 2 ) е

R

: ai =

a 2

= ^

bi

=

b2

или, по контрапозиции,

V(ai, bi), (a2 , b2 ) е

R

: bi

=

b2

= ^

ai

=

a 2 ;

на графике в каждую точку области прибытия приходит не более

24

Гл. 2. Множества и отображения

(v) взаимно однозначным соответствием, или биективным соответ­

ствием, или биекцией между множествами A и B если оно всюду определено, функционально, сюръективно и инъективно. Неформально биекция (взаимно однозначное соответствие) между множествами A и B может быть описана следующим образом: каждо­ м у элементу множества A (определённость всюду) поставлен в соответ­ ствие один элемент множества B (функциональность), причём разным элементам множества A соответствуют разные элементы множества B (инъективность) и каждый элемент множества B соответствует хотя бы одному элементу множества A (сюръективность). Соответствия R С A х A называют отношениями на множестве A. Примерами отношений на множестве вещественных чисел могут служить отношения =, >,

Г. О то б р аж ен и я. Понятие отображения играет в математике цен­ тральную роль. Термины «отображение», «функция», «функционал», «оператор», «преобразование» являются синонимами; их употребление определяется лишь традицией, сложившейся в разных разделах матема­ тики. Пусть f —соответствие, определённое на множествах A и Y , т.е. под­ множество декартова произведения A х Y , обладающее свойством функ­ циональности: в нём нет пар с одинаковыми первыми и разными вторыми компонентами, т.е.

V(ai,yi), (а2 2 ) G f

:

уі

=

y2

= ^

ai

=

a 2 .

Пусть X —область определения соответствия f , т.е. множество

X

=

D o m f ==

{x G A

| 3 у : (x, у)

G f }.

Тогда упорядоченная тройка (f, X, Y) называется отображением, опре­ делённым на множестве X и принимающим значения в множестве Y } Приведённое определение согласуется с представлением о функции, введённом в школьном курсе, как о правиле, посредством которого каж­ дому элементу одного множества ставится в соответствие единственный элемент другого множества. С понятием отображения (функции) связаны следующие термины и обозначения:

(1) если (x,y) G f , то говорят, что у —значение отображения f менте x (в точке x), или у — образ элемента x при отображении f ,

на эле­

и используют записи у = f (x), f : x ^ у и x —^ у; говорят также, что отображение f переводит (преобразует, превращает; функция f отображает) элемент x в элемент у;2

^Предлоги «на» и «в» в этом определении употребляются не произвольно, а иг­ рают самостоятельную роль, имеют терминологическое значение.

элементе х; отображени­

ем является именно f , а не f (х). Выражение «функция y = f (х)» некорректно: оно задаёт функцию, но не является ею. Однако во многих разделах математики ча­ сто обозначают через f (х) как саму функцию, так и выражение, её задающее. Такое

соглашение является в большинстве случаев удобным и вполне оправданным.

2Символ f (х ) обозначает

значение

отображения

на

1.

Основные понятия и факты

25

(2)

образ множества C С А при отображении f —это множество

f (C ) =

{ f (с)

|

с

е

C } =

{у е

Y

| Зс е

C : (с,у)

е

f };

(3) X — область определения отображения f ; говорят, что отображение

f определено на X ;

А — область отправления1 отображения f ; говорят, что отображение

f определено в А;

(4)

(5) Y — область прибытия отображения f ; говорят, что отображение f принимает значения в множестве Y;

(6)

принимает значения н а множе­

f (7) записи f : X A Y , X — AY означают, что f —отображение с обла­ стью определения X и областью прибытия Y; (8) отображение f : X A X часто называют (особенно в геометрии) пре­ образованием множества X; (9) прообраз элемента у е Y —это множество

f (x)} С Y — область значений отображе­

I m f

=

е

Y

| 3 x : у

=

ния f; говорят, что отображение f стве Im f;

(10)

X

символ f - 1 (у) не следует ассоциировать с обратным отображением (см. ниже), которое может и не существовать; прообраз подмножества В С Y —это множество

f - i (y) =

{x е

| f(x)

=

у};

f

- 1 (В)

==

{x е

X

| f (x)

е

В} =

у

f - 1 (у).

 

уев

Очевидно, если у е

лентно, f -1 ({у}) = 0.

Множество всех отображений

Отображение f : X a Y называется

Y

\

Im f , то f - 1 (у) не существует или, эквива­

f

: X

a

Y часто обозначается Y X .

(1) сюръективным (сюръекцией, отображением «на»2), если I m f = Y ;

(2)

инъективным (инъекцией), если из неравенства x i = x 2

следует

f (xi ) = f (x2) или, по контрапозиции, из f (xi ) = f (x2)

следует

xi = x2; (3) биективным (взаимно однозначным, биекцией), если оно одновре­ менно сюръективно и инъективно.

Два отображения f и g называются равными, если их соответствую­

щие области совпадают: X ^ Y , X A- Y , причём f (x) = g(x) для любого

x

е

X.

Композицией (суперпозицией) отображений f : X

A

Y

и

g : Y

A

Z

называется отображение g о f : X a

Z , определённое правилом

Vx е

X

:

(g о f )(x)

== g ( f (x))

1Понятие области отправления используется редко. 2Отображения, не являющиеся сюръективными, называют отображениями

«в».

26

Гл. 2. Множества и отображения

(правее пишется то отображение, которое применяется первым). То же самое наглядно изображается при помощи диаграммы

X

------- ^

------^ Z

при помощи диаграммы X ------- ^ ------^ Z Про эту диаграмму говорят, что

Про эту диаграмму говорят, что она коммутативна, т.е. результат пере­ хода от X к Z не зависит от того, сделаем мы это непосредственно при помощи g о f или воспользуемся промежуточным этапом Y .

Композиция отображений ассоциативна, т.е. для отоб­

ражений f : X —• Y , g : у Z , h : Z —• W имеет место соотношение

2.2. Теорема.

(h о g) о f

=

h о (g о f ),

что позволяет не ставить скобки и писать h о g о f .

Тождественным отображением на множестве X ражение

idx : X

——^X,

x I——x.

называется отоб­

Пусть f : X — Y и g : Y — X —отображения. Если

=

то отображение g называется левым обратным для f , а f — правым об­ ратным для g. Если

и

то отображение g называется двусторонним обратным (или просто об­

ратным ) к отображению

g о f

id x ,

g

о f

= idx

f

о g =

id y ,

(2.2)

f и обозначается f - і . Таким образом,

f (x)

=

у

f - і (у) =

x.

Отображения f и f - і называют взаимно обратными. Обратное отображение обозначается тем же символом f - і , что и опе­ рация взятия прообраза; следует избегать смешения этих понятий: про­ образ элемента (или множества) существует даже в том случае, когда отображение не имеет обратного.

Если для отображения существует (двустороннее) об­

ратное, то оно единственно.

Отображение f : X — Y имеет обратное тогда и толь­

2.3. Теорема.

2.4. Теорема.

ко тогда, когда оно биективно.

2.5. П редлож ение.

1.

Если отображение f : X биективно, причём

— Y

биективно,

то

f - і : Y

— X

также

 

(f ~і)~і = f.

 

(2.3)

1.

Основные понятия и факты

27

2.

Если

f

: X

^

Y ,

^

Z — биективные

отображения, то их ком­

позиция h о f

: X

h : Y ^

Z также биективна, причём

 
 

(h

о f )-1

=

f -1

о h- 1 .

(2.4)

 

Д . О тнош ение эквивалентности. Отношением R на множестве

X

называется подмножество R в X 2 = X х X ; если элемент (x, у) из X 2

принадлежит R, то говорят, что элементы x и у множества X находят­ ся в отношении R и обозначают этот факт x * у, где * —специальный символ, выбранный в качестве знака рассматриваемого отношения. При­ мерами отношений могут служить следующие отношения на множестве вещественных чисел: =, >, ^ и т. п.

(i)

Отношение * на множестве X называется рефлексивным, если для любого x G X имеем x * x;

(ii)

симметричным, если для любых x, у G X из x * у следует у * x;

(iii)

транзитивным, если для любых x, у, z G X из x * у и у * z следует

x * z. Отношение, обладающее свойствами рефлексивности, симметрично­ сти и транзитивности, называется отношением эквивалентности. Пусть на множестве X задано отношение эквивалентности —. Клас­ сом эквивалентности [x] элемента x называется множество всех элемен­ тов, эквивалентных элементу x:

[x]== {у G X

| у -

x}.

2.6. Теорема. Любое отношение эквивалентности порождает раз­

биение множества A на непересекающиеся классы эквивалентности

своих элементов:

X

=

U H . a£A

Множество

{[a]

элементами которого являются классы эквивалентности [x] относительно

—, называется фактор-множеством множества X

Е. К онечн ы е и бесконечны е м нож ества. Два множества A и B называются равномощными, если между ними можно установить взаим­

но однозначное соответствие. Множество называется бесконечным, если оно равномощно некоторо­ му своему собственному подмножеству. В противном случае множество называется конечным. Каждое конечное множество A равномощно некоторому множеству

натуральных чисел вида {1, 2 ,

n}; в этом случае n называется числом

элементов множества A. Бесконечное множество называется счётным, если оно равномощно множеству натуральных чисел N; в противном случае бесконечное мно­

жество называется несчётным.

X

/ —==

| a

G A},

по отношению —.

,

28

Гл. 2. Множества и отображения

2.7. Теорема. Множества Z целых чисел и Q рациональных чисел счётны. Множество R вещественных чисел несчётно.

2. К он трольн ы е вопросы и задан и я

1.

Составьте список элементов множества, заданного характеристиче­ ским свойством:

(а) A = {x | x € Z, |x| < 3}; (б) B = {x | x € N, |x| < 3}.

 

2.

Пусть A, B — заданные точки плоскости (пространства). Опишите сле­ дующие множества точек плоскости (пространства):

(а) A =

{M

| AM

=

3};

(б)

B

=

{M

|

AM =

B M }.

 

3.

Какая разница между записями A € B и A С B?

4.

Равны ли множества {1, 2, 3} и {1, {2, 3}}?

 

5.

Верно ли, что {1, 2} Е {1, 2, {1, 3}}? Верно ли, что {1, 2} С {1, 2, {1, 3}}?

6.

Верно ли, что {1, 3} Е {1, 2, {1, 3}}? Верно ли, что {1, 3} С {1, 2, {1, 3}}?

7.

Является ли множество {0} пустым?

 

8.

Приведите пример таких A и B, что: (а) высказывание A € B истинно,

A С B ложно; (б) A € B ложно, A С B истинно; (в) оба высказывания

A €

B

и A С B истинны.

 

9.

Приведите

пример

таких

A,

B,

C ,

что

A

Е B,

B

е

C , A

С

C .

10.

Приведите

пример

таких

A,

B,

C ,

что

A G B,

B

Е C , A Е C .

11.

Для каждой пары множеств из приведённого списка укажите, явля­ ется ли одно из них подмножеством другого: A = {1}, B = {1, 2},

C

=

{1, 2, 3},

D

=

{{1}, 2, 3}, E

=

{{1, 2}, 3}.

 

12.

Найдите пересечение, объединение, разность и симметрическую раз­ ность множеств A и B, если (а) A = {1, 2, 3, 4, 5}, B = {2, 4, 6, 8,10};

(б) A = (-4 ; 2], B = [-2;4).

 

13.

Множество A состоит из чётных натуральных чисел, множество B — из натуральных чисел, делящихся на 3, множество C — из натураль­ ных чисел, делящихся на 12. Изобразите множества с помощью диа­ граммы Эйлера.

14.

Дано множество A = {1, 2, 3}. Перечислите все элементы множества

A

х

A.

15.

Даны множества A = {1, 2, 3}, B = {a, b}. Перечислите все элементы

множеств A х B и B х A. Верно ли, что A х B = B х A?

 

16.

Что такое соответствие? Приведите примеры.

 

17.

Сформулируйте определения области отправления, области прибы­ тия, области определения и области значений соответствия.

18.

Сформулируйте определения инъективного, сюръективного, всюду определённого, функционального соответствия. Проиллюстрируйте эти понятия графически.

19.

Сформулируйте определение биективного (взаимно однозначного) со­ ответствия. Приведите примеры.

20.

Сформулируйте определение отображения, его области отправления, области прибытия, области определения и области значений.

3.

Примеры решения задач

29

22. Сформулируйте определения левого обратного, правого обратного, об­ ратного отображения. Приведите примеры.

23. Сформулируйте необходимое и достаточное условие существования обратного отображения.

24. Что такое отношение на множестве? Приведите примеры.

25. Что такое рефлексивное отношение? Приведите примеры рефлексив­ ных и нерефлексивных отношений.

26. Что такое симметричное отношение? Приведите примеры симметрич­ ных и несимметричных отношений.

27. Что такое транзитивное отношение? Приведите примеры транзитив­ ных и нетранзитивных отношений.

28. Рассмотрим отношение A ( ( B на множестве людей, заданное сле­

дующим образом: A ( ( B в том и только том случае, если A и

B —

супруги или были супругами в прошлом. Является ли это отношение рефлексивным? симметричным? транзитивным?

29. Что такое отношение эквивалентности?

30. Что такое класс эквивалентности элемента?

31. Сформулируйте теорему о разбиении множества на классы эквива­ лентных элементов.

32. Что такое фактор-множество?

33. На множестве всех многоугольников зададим отношение ^ следую­ щим образом: A ^ B в том и только том случае, когда многоугольни­ ки A и B имеют одинаковое число сторон. Является ли это отношение отношением эквивалентности? Если является, опишите классы экви­ валентности и фактор-множество.

34. Что такое равномощные множества?

35. Что такое счётное множество?

36. Что такое несчётное множество?

3.

П ри м еры реш ен ия задач

П р и м ер 2.1. Пусть Ak —множество всех точек плоскости, лежащих

внутри круга радиуса 2к с центром в фиксированной точке O, n то

Найдите

G Z.

то

П

Ak и

U

Ak.

к= —то

к= —то

 
 

то

Решение. Множество

р|

Ak содержит единственную точку —общий

к=—то центр O рассматриваемых кругов, поскольку для каждой точки A = O

найдётся круг, не содержащий её (а именно, любой круг радиуса < AO). то

Ak совпадает со всей плоскостью, поскольку для

к=—то каждой точки B плоскости найдётся круг, содержащий эту точку (а

именно, любой круг радиуса > BO).

П ри м ер 2.2. Докажите равенство

Множество

U

A A B

=

(A \

B) U (B \

A).

30

Гл. 2. Множества и отображения

A

B

Рис. 2.4. К примеру 2.2

A

A B Рис. 2.4. К примеру 2.2 A C B Рис. 2.5. К примеру 2.3 Решение.

C

B

Рис. 2.5. К примеру 2.3

Решение. Рассмотрим два множества A и B в общем положении (см. рис. 2.4); A = {1, 2}, B = {2, 3}, где символы 1, 2, 3 означают соответ­

ствующие

в A, но не лежащих в B и т. п.). По определению

списки элементов (например 1 —список элементов, лежащих

Далее.

А А В

что совпадает с AAB.

=

( 4 и _ В

=

{ 1 , 2 , 3 }

) \

Q4n_B) =

= { 2 }

{1,3}.

( A \ B ) U ( B \ A )

=

{ 1 }

= { 3 }

= {1,3},

П ри м ер 2.3. Докажите равенство

(A U B) П C

=

(A П C ) U (B П C ).

Решение. Рассмотрим три множества A, B, C в общем положении (см. рис. 2.5):

 

A

=

{a, b, d, e},

B

=

{b, c, e, f

},

C

=

{d, e, f, g}.

Имеем:

 

A

U B

=

{a, b, c, d, e, f },

(A

U B) П C

=

{d, e, f },

A П C

=

{d, e},

B П C

=

{e, f },

(A П C ) U (B П C ) =

{d, e, f },

что и требовалось доказать.

П р и м ер

странными языками они владеют. Выяснилось, что один человек владеет английским, немецким и французским, двое —английским и немецким, трое —английским и французским, четверо —немецким и французским,

пятеро —только английским, шестеро —только немецким, семеро —толь­ ко французским и восемь человек не владеют ни одним из этих языков. Сколько студентов приняло участие в опросе?

задан вопрос о том, какими ино­

2.4.

Группе студентов был

3.

Примеры решения задач

31

А

3. Примеры решения задач 31 А Рис. 2.6. К примеру 2.4 Рис. 2.7. К примеру

Рис. 2.6. К примеру 2.4

Рис. 2.7. К примеру 2.5

B

Решение. Изобразив с помощью диаграммы Эйлера данные задачи (см. рис. 2.6), с помощью прямого подсчёта убеждаемся, что в опросе приняло участие 36 человек.

П р и м ер 2.5. Изобразите на диаграмме Эйлера множество A U (B \ C ).

Решение

П р и м ер 2.6. Отображения f : R a R, делены одним и тем же правилом x A или различны?

Решение. Все эти отображения различны:

g : R A R^o, h : R>o A R>o опре­ x2. Совпадают эти отображения

изображено на рис. 2.7.

(а) f не является ни сюръективным (Im f = R^o), ни инъективным (чис­ ла x и —x имеют один и тот же образ); (б) g сюръективно, но не является инъективным;

(в)

h биективно.

П р и м ер 2.7. Приведите пример некоммутирующих отображений, т.е. таких, что g о f = f о g. Решение. Числовые функций f : x A x2 и g : x A sin x не коммутируют:

f : x A x2 и g : x A sin x не коммутируют: / :

/ :

R ^0 —>R ,

x

I—у л/ж,

g :

R

—>R ^ o ,