Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

все для алгема / Алгебра и геометрия, ч1, глава 1-19 (к печати)

.pdf
Скачиваний:
87
Добавлен:
13.05.2015
Размер:
1.83 Mб
Скачать

Министерство образования и науки РФ ФГБОУ ВПО «Удмуртский государственный университет»

Факультет информационных технологий и вычислительной техники

В. В. Головизин

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

Часть I

Учебное пособие

Ижевск

2012

УДК 514.2 ББК 22.151

Г 60

Рекомендованокизданиюучебно-методическимсоветомУдГУ

Рецензенты: к.п.н. Н.А. Баранова

к.ф.-м.н. В.И. Родионов

Головизин В.В.

Основы аналитической геометрии и линейной алгебры. Г60 Ч.1: учебное пособие. Ижевск: Изд-во «Удмуртский

университет», 2012. – 300 с.

ISBN

Первая часть пособия содержит основной теоретический материал по курсу "Аналитическая геометрия": векторная алгебра, прямые и плоскости, кривые и поверхности второго порядка. Несколько глав появящено некоторым понятиям современной алгебры и комплексным числам.

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

УДК 514.2 ББК 22.151

Головизин В.В., 2012

ФГБОУ ВПО «Удмуртский государственный университет», 2012

 

ОГЛАВЛЕНИЕ

 

Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8

Часть I

Аналитическая геометрия . . . . . . . . . . . . . . . .

9

Глава 1

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

9

§1

Отображение множеств . . . . . . . . . . . . . . . . . .

9

§2

Декартово (прямое) произведение множеств .

10

§3

Алгебраическая операция . . . . . . . . . . . . . . . .

11

§4

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

13

§5

Алгебраическая структура . . . . . . . . . . . . . . . .

15

§6

Поле . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

§7

Линейное (векторное) пространство . . . . . . . .

22

Глава 2

Поле комплексных чисел . . . . . . . . . . . . . . . . .

26

§1

Построение поля комплексных чисел . . . . . . .

26

§2

Алгебраическая форма записи . . . . . . . . . . . . .

30

§3

Действия с комплексными числами . . . . . . . .

33

§4

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

35

§5

Понятие корня натуральной степени из ком-

 

 

плексного числа . . . . . . . . . . . . . . . . . . . . . . . .

37

§6

Извлечение квадратного корня из комплекс-

 

 

ного числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39

§7

Квадратные уравнения в поле комплексных

 

 

чисел . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

45

Глава 3

Линейные операции с векторами . . . . . . . . . .

48

§1

Функция расстояния . . . . . . . . . . . . . . . . . . . . .

48

§2

Определение вектора как направленного от-

 

 

резка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49

§3

Отношение строгого линейного порядка . . . .

50

§4

Порядок следования точек на прямой . . . . . .

51

§5

Ориентация вектора на оси . . . . . . . . . . . . . . .

51

§6

Равенство векторов . . . . . . . . . . . . . . . . . . . . . .

54

§7

Отношение эквивалентности . . . . . . . . . . . . . .

55

§8

Сложение векторов . . . . . . . . . . . . . . . . . . . . . .

59

§9

Умножение вектора на число . . . . . . . . . . . . .

63

§10

Простейшиесвойствавекторногопространства

67

§11

Условие коллинеарности двух векторов . . . .

68

 

3

 

Глава 4

Декартовая система координат на прямой . . .

69

§1

Угол между векторами . . . . . . . . . . . . . . . . . . .

69

§2 Проекция вектора на ось . . . . . . . . . . . . . . . . .

70

§3 Свойства проекции вектора на ось . . . . . . . . .

73

§4 Числовая (координатная) ось . . . . . . . . . . . . . .

77

§5 Расстояние между точками числовой оси . . .

80

Глава 5

Декартовая система координат на плоскости

 

 

и в пространстве . . . . . . . . . . . . . . . . . . . . . . . .

81

§1 Ориентация пары координатных осей . . . . . .

81

§2 Общая декартовая система координат на

 

 

плоскости . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

82

§3 Ориентация трех координатных осей . . . . . . .

84

§4 Прямоугольная декартовая система коорди-

 

 

нат в пространстве . . . . . . . . . . . . . . . . . . . . . .

85

§5

Координаты вектора . . . . . . . . . . . . . . . . . . . . .

86

§6

Модуль вектора . . . . . . . . . . . . . . . . . . . . . . . . .

88

§7 Действия с векторами в координатной форме

89

Глава 6

Метод координат . . . . . . . . . . . . . . . . . . . . . . .

92

§1

Направляющие углы вектора . . . . . . . . . . . . . .

92

§2 Расстояние между двумя точками . . . . . . . . . .

93

§3 Деление отрезка в данном отношении . . . . . .

94

§4 Геометрический центр тяжести двух матери-

 

 

альных точек . . . . . . . . . . . . . . . . . . . . . . . . . . .

97

§5 Геометрический центр тяжести трёх и более

 

 

материальных точек . . . . . . . . . .

98

§6 Геометрический центр тяжести треугольника

100

§7 Центр вписанной в треугольник окружности

102

Глава 7

Комплексная плоскость . . . . . . . . . . . . . . . . . .

104

§1

Полярная система координат . . . . . . . . . . . . . .

104

§2 Связь прямоугольной и полярной систем ко-

 

 

ординат . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

105

§3

Полярный угол вектора . . . . . . . . . . . . . . . . . .

108

§4

Комплексная плоскость . . . . . . . . . . . . . . . . . .

110

§5

Тригонометрическая форма комплексного

 

 

числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

113

§6

Умножение комплексных чисел . . . . . . . . . . .

117

 

4

 

§7

Свойства модуля комплексного числа . . . . . .

118

Глава 8

Корни из комплексных чисел . . . . . . . . . . . . .

122

§1

Формула Муавра . . . . . . . . . . . . . . . . . . . . . . . .

122

§2

Деление комплексных чисел . . . . . . . . . . . . . .

123

§3

Корни из комплексных чисел . . . . . . . . . . . . .

125

§4

Расположение корней на комплексной плос-

 

 

кости . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

128

§5

Корни из единицы . . . . . . . . . . . . . . . . . . . . . . .

130

§6

Многочлен деления круга . . . . . . . . . . . . . . . .

131

§7

Исторический экскурс . . . . . . . . . . . . . . . . . . .

135

Глава 9

Базис пространства векторов . . . . . . . . . . . . . .

138

§1

Базис на прямой, на плоскости и в простран-

 

 

стве . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

138

§2

Разложение вектора по базису . . . . . . . . . . . . .

140

§3

Размерность векторного пространства . . . . . .

146

§4

Линейные операции с векторами в коорди-

 

 

натной форме . . . . . . . . . . . . . . . . . . . . . . . . . . .

148

§5

Ортонормированный базис . . . . . . . . . . . . . . .

149

§6

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

151

Глава 10

Произведения векторов . . . . . . . . . . . . . . . . . .

154

§1

Скалярное произведение векторов . . . . . . . . .

154

§2

Векторное произведение векторов . . . . . . . . .

157

§3

Смешанное произведение векторов . . . . . . . .

159

§4

Смешанное и векторное произведение век-

 

 

торов в координатной форме . . . . . . . . . . . . . .

165

§5

Некоторые приложения векторной алгебры

167

Глава 11

Уравнение прямой . . . . . . . . . . . . . . . . . . . . . .

171

§1

Понятие об уравнении линии и поверхности

171

§2

Параметрическое и каноническое уравнения

 

 

прямой . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

177

§3

Решение некоторых задач аналитической

 

 

геометрии . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

180

Глава 12

Общее уравнение прямой и плоскости . . . . . .

186

§1

Векторное уравнение плоскости и прямой на

 

 

плоскости . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

186

§2

Общее уравнение прямой на плоскости . . . . .

187

 

5

 

§3

Общее уравнение плоскости . . . . . . . . . . . . . .

189

§4

Уравнение прямой на плоскости в отрезках

190

§5

Неполные уравнения прямой на плоскости . .

192

§6

Уравнение плоскости в отрезках и неполные

 

 

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

194

§7

Нормированное уравнение плоскости . . . . . .

198

§8

Нормальное уравнение прямой на плоскости

201

Глава 13

Взаимноерасположениепрямых и плоскостей

203

§1

Уравнение прямой с угловым коэффициентом

203

§2

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

 

 

плоскости . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

206

§3

Взаимное расположение двух плоскостей . . .

208

§4

Взаимное расположение прямой и плоскости

211

§5

Взаимное расположение трех плоскостей . . .

214

Глава 14

Пучок и связка . . . . . . . . . . . . . . . . . . . . . . . . . .

219

§1

Уравнение пучка прямых на плоскости . . . . .

219

§2

Уравнение связки плоскостей . . . . . . . . . . . . .

223

§3

Уравнение пучка плоскостей . . . . . . . . . . . . . .

225

Глава 15

Основные задачи на прямые и плоскости . . .

227

Глава 16

Эллипс . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

240

§1

Кривые второго порядка . . . . . . . . . . . . . . . . .

240

§2

Каноническое уравнение эллипса . . . . . . . . . .

242

§3

Свойства эллипса . . . . . . . . . . . . . . . . . . . . . . .

247

§4

Параметрическое уравнение эллипса . . . . . . .

248

§5

Касательная к эллипсу . . . . . . . . . . . . . . . . . . .

251

§6

Зеркальное свойство эллипса . . . . . . . . . . . . .

253

§7

Директрисы эллипса . . . . . . . . . . . . . . . . . . . . .

254

§8

Фокальный параметр эллипса . . . . . . . . . . . . .

256

§9

Второе определение эллипса . . . . . . . . . . . . . .

257

Глава 17

Гипербола . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

258

§1

Каноническое уравнение гиперболы . . . . . . .

258

§2

Свойства гиперболы . . . . . . . . . . . . . . . . . . . . .

262

§3

Асимптоты гиперболы . . . . . . . . . . . . . . . . . . .

264

§4

Построение гиперболы . . . . . . . . . . . . . . . . . . .

267

§5

Эксцентриситет гиперболы . . . . . . . . . . . . . . .

268

§6

Равнобочная гипербола . . . . . . . . . . . . . . . . . .

268

 

6

 

§7

Директрисы гиперболы . . . . . . . . . . . . . . . . . .

270

§8

Фокальный параметр гиперболы . . . . . . . . . . .

272

§9

Касательная к гиперболе . . . . . . . . . . . . . . . . .

273

§10

Зеркальное свойство гиперболы . . . . . . . . . . .

274

Глава 18

Парабола . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

276

§1

Каноническое уравнение параболы . . . . . . . .

276

§2

Свойства параболы . . . . . . . . . . . . . . . . . . . . . .

279

§3

Фокальный параметр параболы . . . . . . . . . . . .

281

§4

Касательная к параболе . . . . . . . . . . . . . . . . . .

281

§5

Зеркальное свойство параболы . . . . . . . . . . . .

282

§6

Полярное уравнение эллипса, гиперболы и

 

 

параболы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

285

Глава 19

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

287

§1

Цилиндрические поверхности . . . . . . . . . . . . .

287

§2

Классификация поверхностей 2-го порядка . .

290

§3

Метод сечений . . . . . . . . . . . . . . . . . . . . . . . . . .

297

Список рекомендуемой литературы . . . . . . . . . . . . . . . . . . .

299

Предисловие

Пособие предназначено, в первую очередь, для студентов первого курса, изучающих учебные дисциплины "Алгебра и геометрия", "Аналитическая геометрия", "Линейная алгебра" на факультете Информационных технологий и вычислительной техники, и Физико-энергетическом факультете.

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

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

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

7

8

Часть 1 Аналитическая геометрия

Глава 1. Алгебраическая операция §1 Отображение множеств

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

Обозначение:

f : A B ,

где f – имя (наименование) отображения. Если a A – элемент множества А, то элемент множества В, который ставится ему в соответствие при этом отображении обозначается f (a) . Это за-

писывается следующим образом:

a A f (a) B .

Определение. Элемент f (a) называется образом элемента а

или значением отображения f "в точке а". При этом сам элемент а называется прообразом элемента f (a) .

Замечание. Слова отображение и функция являются синонимами, их применение в той или иной области математики сложилось исторически.

Определение. Пусть f : A B – отображение множества А в множество В. Множество А называется областью определения отображения f, и обозначается Dom f или D(f ) , а множество

значений отображения f обозначается

Im f {f (a) B | a A} ,

и называетcя образом отображения f.

Замечание. Если f : A B , то D(f ) A , а Im f является подмножеством множества В, то есть Im f B .

9

Для того, чтобы определить (задать) отображение множества А в множество В нужно задать сами множества А и В, а затем задать правило с помощью которого мы сможем для каждого a A находить соответствующий ему элемент f (a) B .

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

§2 Декартово (прямое) произведение множеств Определение. Пусть a,b,c,d – элементы каких-то множеств

(не обязательно одного множества). Две пары элементов (a,b) и (c,d) называютcя равными, если равны их соответствующие элементы, то есть

df

(a; b) (c; d) a c и b d ,

df

где знак означает равносильность по определению, df есть сокращение от слова definition (определение).

Определение. Пара (а, b) различных элементов называется упорядоченной, если (a; b) (b; a) .

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

множества А, а второй – множества В:

A B {(a; b) | a A, b B} ,

где знак означает равенство по определению.

Пример. Пусть A {a, b,c,d,e,f ,g, h} – множество первых восьми букв латинского алфавита. B {1, 2,3, 4,5,6,7,8 } – множество первых восьми натуральных чисел. Тогда декартово про-

10

изведение множества А на множество В есть множество

A B {(a;1), (a; 2), ..., (e; 4), ..., (h; 8)} .

Для удобства все элементы этого множества можно записывать проще: a1, a2, ..., e4, ..., h8 и мы получаем общепринятое

обозначение всех 64 клеток шахматной доски.

Определение. Декартовым квадратом множества А называется декартовое произведение множества А на себя:

A2 A A {(x; y) | x, y A} .

Пример. Пусть – множество действительных чисел. То-

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

§3 Алгебраическая операция

Определение. Пусть А – произвольное множество, A2 – его декартов квадрат. Внутренней бинарной алгебраической опера-

цией на множестве А называется отображение A2 A .

Другими словами, говорят, что на множестве А задана алгебраическая операция, если каждой упорядоченной паре (х, у) элементов х и у множества А поставлено в соответствие, по некоторому правилу, единственный для этой пары элемент z A .

Говорят также, что этот элемент z есть результат алгебраической операции, примененной к паре (х, у) и этот элемент (результат операции) записывается специальным образом. Вот примеры записи результата алгебраической операции:

z x y, z x y, z x y, z x y, z x y, z x y .

Применяются и другие символы. Для записи произвольной алгебраической операции на произвольном множестве мы будем применять знак звездочки: * .

11

Пусть А - произвольное множество. Для того, чтобы задать на множестве А алгебраическую операцию * необходимо выполнить два условия:

1) нужно определить правило, по которому любым двум элементам х и у множества А ставился бы в соответствие единственный для этой пары элементов (именно в этом порядке: х, у) элемент z x * y ;

2) этот элемент z x * y должен принадлежать множеству

А. В этом случае говорят, что множество А замкнуто относительно данной операции *.

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

Рассмотрим на примере табличный способ задания алгебраической операции.

Пример. Пусть A { a, b,c } – произвольное множество из

трех элементов. Зададим на множестве А алгебраическую операцию * с помощью таблицы:

*

 

a

b

c

 

a

 

a *a

a * b

a * c

 

b

 

b *a

b * b

b * c

c

 

c *a

c * b

c * c

Эта таблица пока еще не задает никакой алгебраической операции на множестве А, так как мы еще не определили ото-

бражения A2 A . Заполним эту таблицу, поставив в соответствие каждой упорядоченной паре элементов множества А конкретный элемент множества А:

12

 

 

*

 

a

b

c

 

 

 

 

 

 

a

 

a

b

c

.

 

 

 

b

 

c

a

a

 

 

 

c

 

a

c

b

Здесь, a * b b,

b * a c,

c * b c , и так далее . . .

Такая таблица, задающая операцию, называется таблицей Кэли. Если операцию называют сложением, то таблицу Кэли называют таблицей сложения. Если операцию называют умножением, то таблицу Кэли называют таблицей умножения.

Понятно, что заполняя клетки этой таблицы другими элементами множества А, мы получим другую операцию на том же множестве А.

Нетрудно подсчитать, что на данном множестве А можно

определить 39 19683 алгебраических операций. Действительно, каждую клетку этой таблицы (а их ровно 9) можно заполнить тремя способами. Таким образом, мы видим, что алгебраических операций, даже на конечных множествах можно определить довольно много. Конечно же не все из них представляют интерес. А интерес для нас будут представлять только те алгебраические операции, которые обладают некоторыми свойствами.

§4. Свойства алгебраических операций Определение. Алгебраическая операция *, определенная на

множестве А называется коммутативной, если она подчиняется закону коммутативности, то есть для любых двух элементов х и

умножества А верно равенство:

x* y y * x .

Вэлементарной математике это свойство, примененное к операциям сложения и умножения чисел, называется переместительным законом.

13

Определение. Алгебраическая операция *, определенная на множестве А называется ассоциативной, если она подчиняется закону ассоциативности, то есть для любых трех элементов х, у, z множества А верно равенство:

(x * y) * z x * (y * z) .

Здесь сначала определяется результат операции в скобках, а затем еще раз применяется операция к оставшимся двум элементам. При этом, если результат операции не зависит от способа расстановки скобок, то операция называется ассоциативной.

В элементарной математике это свойство, примененное к операциям сложения и умножения чисел, называется сочетательным законом.

Пусть на множестве А определены две алгебраических операции: * и (звездочка и перпендикулярчик).

Определение. Говорят, что операция звездочка дистрибутивна относительно операции перпендикулярчик, еслиx, y, z A верны два равенства:

x *(y z) (x * y) (x * z) и (y z) * x (y * x) (z * x) .

В элементарной математике это свойство, примененное к операциям сложения и умножения чисел, называется распределительным законом умножения относительно сложения:

(x y)z xz yz и z(x y) zx zy .

Заметим, что операция сложения чисел не дистрибутивна относительно их умножения:

x (yz) (x y)(x z) .

Пример. Пусть дано некоторое множество V. Обозначим через P(V) – множество всех подмножеств множества V. Тогда на множестве P(V) определены две операции: объединение и пересечение множеств.

14

Действительно, для любых двух подмножеств А и В множества V, A B и A B – тоже подмножества множества V. Легко проверяется (например, с помощью диаграмм Венна), что обе операции являются коммутативными, ассоциативными и каждая из них является дистрибутивной относительно другой.

Наиболее распространенными обозначениями алгебраических операций являются символы " " и " ". В соответствии с

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

Определение. Если алгебраическую операцию называют сложением и обозначают символом сложения " " , то говорят, что алгебраическая операция имеет аддитивную форму записи. Если алгебраическую операцию называют умножением и обозначают символом умножения " ", то говорят, что алгебраиче-

ская операция имеет мультипликативную форму записи.

§5 Алгебраическая структура Определение. Множество А, вместе с одной или нескольки-

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

Обозначение:

(А, *) – алгебраическая структура с одной алгебраической операцией;

(A, *, ) – алгебраическая структура с двумя алгебраическими операциями.

Рассмотрим сначала алгебраическую структуру с одной алгебраической операцией (А, *).

Определение. Элемент e A называется нейтральным элементом относительно алгебраической операции *, если

x A,

x * e e * x x .

 

15

Определение. Нейтральный элемент относительно сложения называется нулевым элементом или просто нулем и обозначает-

ся соответственно цифрой 0:

 

x A,

x 0 0 x x .

Определение. Нейтральный элемент относительно умножения называется единичным элементом или просто единицей и обозначается либо цифрой 1, либо буквой е:

x A, x 1 1 x x или x e e x x .

Теорема. Пусть (А, *) – алгебраическая структура. Тогда, если в множестве А существует нейтральный элемент, то он единственный.

Доказательство. Допустим, что в множестве А имеется два нейтральных элемента:

e A и e A .

Тогда x A выполняются равенства:

x * e x и e * x x .

Это значит, что эти равенства выполняются и при x e и при x e :

e * e e и e * e e .

Отсюда следует, что e e . Теорема доказана.

Определение. Пусть (А, *) – алгебраическая структура с нейтральным элементом е. Элемент x A называется симметричным элементу x A относительно алгебраической операции *, если

x * x x * x e .

Определение. Пусть (А, *) – алгебраическая структура с нейтральным элементом е. Если каждый элемент x A имеет симметричный ему x A , тогда говорят, что множество А симметричное относительно операции *.

16

Теорема. Пусть (А, *) – алгебраическая структура с нейтральным элементом е и ассоциативной алгебраической операцией *. Если элемент x A имеет симметричный ему элемент x A , то такой элемент единственный.

Доказательство. Допустим, что элемент x A имеет два симметричных ему: x A и x A . Тогда из определения сим-

метричного элемента следует, что выполняются два равенства: x * x x * x e и x * x x * x e .

Но, тогда,

x x * e x * (x * x ) (x * x) * x e * x x .

Теорема доказана.

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

x ( x) ( x) x 0 .

Определение. В алгебраической структуре с мультипликативной формой записи элемент симметричный элементу х назы-

вается обратным и обозначается x 1 , а сам элемент х называется при этом обратимым:

x x 1 x 1 x e или x x 1 x 1 x 1 .

Теорема. (Общее свойство алгебраических операций.) Пусть (A, *) – произвольная алгебраическая структура с одной алгебраической операцией и a, b,c,d A . Если a b и c d , то

a * c b *d и c *a d * b .

Доказательство. Из определения равенства упорядоченных пар следует, что (a; c) (b; d) . Теперь из определения алгебраи-

ческой операции следует, что

(a; c) a *c и (b; d) b * d .

Так как каждой паре элементов множества А ставится в соответствие единственный элемент множества А (результат ал-

17

гебраической операции), то из равенства

(a; c) (b; d)

сразу же следует равенство

a * c b * d .

Аналогично доказывается второе равенство. Теорема доказана.

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

Следствие. Если на множестве А определена операция сложения (умножения), то любые два равенства можно почленно складывать (умножать), то есть, если a b и c d , то

a c b d и c a d b , ( ac bd и ca db ).

Определение. Пусть (A, *) – алгебраическая структура и a, b,

c – произвольные элементы множества А. Говорят, что алгебраическая операция * подчиняется закону сокращения слева, если

a * b a * c b c ,

и говорят, что алгебраическая операция подчиняется закону сокращения справа, если

a * b с* b a c .

Определение. Говорят, что алгебраическая операция подчиняется закону сокращения, если она подчиняется закону сокращения как слева, так и справа.

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

сокращения:

 

 

 

a b a c b c ,

b a c a b c ,

a b a c

b c ,

b a c a b c , где a 0 .

Алгебраические структуры с одной или более алгебраическими операциями, которые подчиняются определенным зако-

18

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

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

§6 Поле Определение. Полем называется множество , на котором

определены две внутренние бинарные алгебраические операции (сложение и умножение) и подчиняющиеся следующим законам (аксиомы поля):

1) закон ассоциативности сложения:

x, y, z , x (y z) (x y) z ;

2)существование нулевого элемента:

0 : x , x 0 0 x x ;

3)существование противоположного элемента:

x , ( x) : x ( x) ( x) x 0 ;

4)

закон коммутативности сложения:

 

 

x, y ,

x y y x ;

5)

закон ассоциативности умножения:

 

 

x, y, z ,

x(yz) (xy)z ;

6)

существование единичного элемента отличного от нулевого:

 

1 , 1 0 : x ,

x 1 1 x x ;

7)

существование обратного элемента:

 

x , x 0, x 1 :

 

x x 1 x 1 x 1 ;

8)

закон коммутативности умножения:

 

 

x, y ,

xy yx ;

9)

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

 

x, y, z ,

(x y)z xz yz и x(y z) xy xz .

 

 

 

19

 

 

 

Теорема. (Простейшие свойства поля.)

1)

Сложение и умножение подчиняются закону сокращения.

2)

x ,

0 x 0 .

3)x , ( 1) x x .

4)Для любых элементов поля х и у равенство xy 0 возможно лишь при x 0 или y 0 .

Доказательство. 1) Докажем, что в поле выполняется закон сокращения слева относительно операции сложения. Пусть, a, b,c – произвольные элементы поля , и верно равенство a b a c .

Любой элемент поля имеет противоположный ему элемент (смотрите аксиому 3 в определении поля). Пусть a – эле-

мент поля , противоположный элементу a . Тогда

a a 0 ,

где 0 – нулевой элемент поля .

Сложим два равенства:

a a .

a b a c и

Получаем,

a (a b) a (a c) .

Воспользуемся законом ассоциативности сложения (аксиома 1):

a (a b) ( a a) b и a (a c) ( a a) c ,

откуда следует равенство

( a a) b ( a a) c .

Так как a a 0 , то отсюда следует равенство

0 b 0 c .

Так как 0 – нулевой элемент, то в силу аксиомы 2 получаем требуемое равенство

b c .

Закон сокращения справа сразу же следует из закона коммутативности сложения и закона сокращения слева. Пусть

b a c a .

Так как b a a b и c a a c , то имеем равенство a b a c ,

20

Соседние файлы в папке все для алгема