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

Люсьенн Феликс

ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА В СОВРЕМЕННОМ ИЗЛОЖЕНИИ


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

ОГЛАВЛЕНИЕ
Общие обозначения 14
Первая книга. ОСНОВНЫЕ СТРУКТУРЫ
Первая глава. Терминология и символы теории множеств. Операции 17
§ 1. Первоначальные определения —
§ 2. Отношения эквивалентности 19
§ 3. Отношение порядка 21
§ 4. Операции 22
Вторая глава. Числа 25
§ 1. Натуральные числа 26
I. Сложение —
II. Отношение порядка —
III. Вполне упорядоченные множества 2S
IV. Умножение 31
V. Множество N натуральных чисел является архимедовым 34
множеством
§ 2. Относительные числа. Симметризация 35
I. Понятие изоморфизма двух структур —
II. Расширение путем симметризации 36
§ 3. Дроби и рациональные числа 41
I. Дроби 42
II. Рациональные числа 44
III. Множество рациональных чисел как расширение множества целых 45
чисел
§ 4. Понятие о вещественных числах 48
I. Введение квадратных корней 49
II. Аксиома полноты 50
III. Свойства множества вещественных чисел 52
IV. Множество Q рациональных чисел как подмножество множества R 53
вещественных чисел
Третья глава. Векторные пространства 54
I. Векторы. Векторные операции —
II. Векторные пространства 57
III. Точечное пространство как образ векторного пространства 62
Четвертая глава. Отображение одного множества в другое. Точечные 65
преобразования. Числовые функции
Алгебраическая точка зрения
§ 1. Общее понятие об отображении
I. Определение
II. Группы отображений множества на себя 68
§ 2. Точечные преобразования (общие понятия) 70
I. Терминология —
II. Классификация точечных преобразований 71
III. Трансформирование одного точечного преобразования другим
§ 3. Числовые функции одной переменной (общие понятия) 72
I. Определение —
II. Возрастание и убывание числовой функции в области ее 75
определения
Топологическая точка зрения
§ 1. Общие понятия: окрестности, пределы 76
I. Окрестности —
II. Пределы 79
§ 2. Локальное исследование числовой функции 80
§ 3. Переход от локального исследования к глобальному 84
I. Основные теоремы —
II. Приложения к непрерывным дифференцируемым функциям 87
III. Расширение понятий окрестности и предела 90
IV. Применение понятия непрерывности 91
Пятая глава. Введение в метрическую геометрию —
§ 1. Определение евклидовых метрических пространств —
I. Введение метрики 92
II. Приложения к точечному двумерному пространству 95
III. Метрическая геометрия в трехмерном пространстве 102
IV. Ориентация метрических пространств двух и трех измерений 104
§ 2. Произведения векторов в трехмерном пространстве 105
I. Скалярное произведение 106
II. Векторное произведение (3-мерная геометрия) 108
III. Тригонометрические обозначения 110
§ 3. Углы 112
I. Косинус и синус упорядоченной пары единичных векторов —
II. Конгруэнтность пар векторов. Углы 113
§ 4. Пределы, связанные с тригонометрическими функциями. Радиан. 116
Вычисление числа π
I. Углы и хорды —
II. Предел отношения длины хорды единичного круга к мере ср 118
центрального угла
III. Приближенное вычисление числа л 119
Шестая глава. Булева алгебра множеств. Меры. Вероятность 121
§ 1. Алгебра множеств —
§ 2. Меры 126
I. Определения —
II. Естественная мера на вещественной прямой 127
III. Меры в пространстве двух измерений 129
А. Естественные меры в аффинной геометрии —
В. Приложения к метрической геометрии 132
1) Площади плоских фигур —
2) Масса отрезка прямой. Плотность 133
IV. Меры в трехмерном пространстве 134
V. Длины кривых. Площади кривых поверхностей 135
§ 3. Введение понятия вероятности 137
I. Меры на множестве событий
II. Вероятности (случай конечных множеств) 139
III. Непрерывные вероятности (случай бесконечных множеств) 142
Вторая книга. АРИФМЕТИКА И АЛГЕБРА
Первая часть. Теория чисел
Первая глава. Целые числа 145
§ 1. Евклидово деление —
§ 2. Делимость. Сравнения 147
§ 3. Кратные и делители. Простые числа 150
I. Кратные и делители целого числа —
II. Основная теорема 153
III. Приложения. Общие кратные и общие делители 154
§ 4. Изучение простых чисел 157
§ 5. Нумерация 159
I. Позиционный принцип нумерации —
II. Практические правила операций 160
III. Признаки делимости 164
§ 6. Алгоритм Евклида. Дробные величины 166
I. Алгоритм Евклида во множестве натуральных чисел —
II. Алгоритм Евклида во множестве величин 170
Вторая глава. Дроби. Рациональные числа. Десятичные дроби 175
I. Дроби 176
II. Десятичные дроби 177
III. Кольцо десятичных дробей в поле рациональных чисел 178
Третья глава. Вещественные числа 183
§ 1. Мощности подмножеств множества вещественных чисел —
I. Счетные подмножества 184
II. Мощность континуума 185
III. Дополнительные сведения о кардинальных (количественных) 188
числах
§ 2. Логарифмы. Обобщение понятия показателя степени 190
Вторая часть. Алгебраические выражения. Решение уравнений
Первая глава. Многочлены. Рациональные функции 196
I. Определение многочлена —
II. Числовые значения многочлена. Делимость на x-a 201
III. Деление в кольце многочленов 205
1 Точное частное —
2 Евклидово деление многочленов 209
3 Деление многочленов, расположенных по возрастающим степеням 212
IV. Рациональные дроби от одного неизвестного 213
V. Многочлены и рациональные дроби от нескольких неизвестных 215
VI. Замечание о применении тригонометрии к алгебраическим задачам 217
Вторая глава. Решение уравнений 220
I. Определения —
II. Равносильность (эквивалентность) уравнений 221
III. Классические уравнения и системы 224
А. Основные уравнения —
В. Уравнения, приводящиеся к предыдущим преобразованием неизвестных 226
Третья книга. АНАЛИЗ
Первая глава. Локальное исследование числовой функции одной 230
переменной
I. Вычисление пределов 231
II. Вычисление производных 234
III. Бесконечные пределы. Неопределенные выражения 242
Вторая глава. Глобальное исследование числовой функции одной 245
переменной
I. Прямое исследование —
II. Следствия из локальных гипотез во всех точках интервала 246
Третья глава. Графики 248
I. Глобальное исследование —
II. Локальное исследование 249
III. Исследование бесконечных ветвей 253
IV. Понятие о дифференциальной геометрии плоских кривых. 256
Кинематика
Четвертая глава. Приложения общих теорем 261
I. Специальные виды функций
II. Применение исследования функций к решению уравнений. 269
Пятая глава. Первообразные 272
I. Общая первообразная некоторой функции
II. Геометрическая интерпретация первообразных 275
III. Существование первообразных. Первообразная функция 1/х 277
Шестая глава. Комплексные числа 279
I. Исторические сведения 280
II. Поле комплексных чисел 284
III. Числовые функции комплексного переменного 289
А. Топология в комплексной плоскости 290
В. Изменение аргумента вдоль замкнутого контура. Основная теорема алгебры 292
(теорема Даламбера)
IV. Обзор приложений комплексных чисел 294
Четвертая книга. ГЕОМЕТРИИ
Первая часть: Аффинная геометрия и проективная геометрия
Первая глава. Аффинная геометрия 300
§ 1. Основные фигуры —
I. Геометрия плоскости (геометрия двух измерений)
II. Геометрия трехмерного пространства R3 304
III. Теория центра тяжести (барицентра) 306
§ 2. Аффинные точечные преобразования 309
I. Общее аффинное преобразование —
II. Частные случаи аффинных преобразований 311
А. Параллельный перенос —
В. Гомотетия 312
С. Аффинитеты 319
D. Проекция одной плоскости на другую параллельно направлению некоторой 322
прямой
§ 3. Линейные преобразования. Понятие о матрицах торая глава. Понятия 324
проективной геометрии 333
I. Перспективное отображение плоскости на плоскость 334
II. Инвариант коллинеарных точек 337
III. Введение координат в проективной геометрии 341
IV. Проективные преобразования плоскости (коллинеации) 343
V. Гармоническое деление. Гармонические пучки 344
VI. Очерк прямого аксиоматического введения проективной геометрии 348
Вторая часть. Метрические геометрии
Первая глава. Евклидова метрическая геометрия 355
§ 1. Метрические соотношения —
I. Соотношения между длинами —
II. Метрическая аналитическая геометрия на плоскости 358
III. Метрические соотношения, содержащие тригонометрические 360
функции
§ 2. Окружности. Сферы 362
I. Окружность и углы .—
II. Степень точки относительно окружности 368
III. Семейства окружностей 372
IV. Понятие о преобразовании методом взаимных поляр 376
§ 3. Точечные преобразования метрической геометрии 377
I. Аффинные преобразования в метрической геометрии 378
II. Перемещения и антиперемещения 379
1) Введение —
2) Внутреннее исследование перемещений и антиперемещений 382
а) Одномерное пространство —
б) Двумерное пространство
с) Трехмерное пространство 388
д) Движение недеформируемой фигуры 395
III. Подобие 398
Вторая глава. Инверсия. Элементы круговой геометрии 402
I. Инверсия как преобразование в метрической геометрии —
II. Понятие о круговой геометрии 412
Третья глава. Понятие о метрических неевклидэвых геометриях 417
I. Предварительные сведения 418
II. Геометрия Лобачевского 424
III. Модель Пуанкаре для геометрии Лобачевского (на плоскости) 433
IV. Сферическая геометрия, модель геометрии Римана 437
Третья часть. Конические сечения
I. Определение конических сечений на конусе вращения 443
II. Конические сечения в аналитической геометрии. Степень уравнения 449
III. Аффинные свойства центральных конических сечений 455
IV. Конические сечения в проективной геометрии 457
V. Тангенциальная точка зрения 459
Дополнения 461
Предметный указатель 486

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Абсолютная величина 40 Аполлоний (параллелограммы А.)
Алгебра множеств 121 457
Алгебраическое число 51 Аргумент комплексного числа 285
Аналлагматический 402, 416 Архимед (свойство А.) 34
Ангармоническое отношение 338 Асимптота 253
Антиперемещение 379 Асимптотическое (направление) 254
Антипараллельность 366 Ассоциативность 24
Антиподобие 400 Аффикс 284
Базис векторного пространства 57 Дезарг (проективная конфигурация
Барицентр 306 Д.) 337
Бернштейн (теорема Б.) 189 Деление многочленов 205
Бесконечно удаленная точка, б. у. Деление натуральных чисел 145
прямая 335 Дефект треугольника 421
Биекция 65 Директриса конического сечения 445
Биномиальные коэффициенты 200 Дистрибутивность 32
Буль (алгебра Б.) 121 Длина дуги /35
Вектор 54 Дополнение 19
Векторное произведение 708 Дробь 42
Величина 170 Дуга простая 91
Вещественная прямая 63 е (число) 195
Вещественное число 48 Жирар Альберт (формула Ж.) 440
Взаимно однозначное соответствие Замкнутое множество 23
23 Замкнутый интервал 52
Винтовая линия 396 Игла Бюффона 143
Винтовое движение 396 Идеал кольца 151
Винтовое перемещение 392 Избыток треугольника
Включение 18 (сферического) 440
Вложенные интервалы 52 Измерение (пространство n-
Возрастание в интервале 75 измерений) 64
Возрастание в точке 83 Изогональные направления 366
Вписываемый (четырехугольник) 365 Изометрия 380
Вращательное движение 395 Изоморфизм 36
Вращение в плоскости 382 Инвариант 70
Вращение в пространстве 390 Инверсия 402
Вторая производная 251 Интервал 52
Гармонизм 350 Инъекция 65
Гармоническое деление 344 Кантор (триадическое множество К.)
Гипербола 447 187
Гомология 344 Кардинальное число 29
Гомотетия 312 Касательное движение 396
Границы (теорема о г.) 85 Класс вычетов 148
Грань (точная) верхняя, нижняя 52 Класс эквивалентности 20
График 72 Колебание функции 87
Группа 45 Количественное число 30
Даламбер (теорема Д.) 292 Кольцо 45
Движение 395 Коммутативность 24
Двойное отношение 338 Комплексное число 279
Двойственность 377 Компонента вектора 58
Дезарг (аффинная конфигурация Д.) Конечные приращения (теорема о к.
303 п.) 88
Континуум (мощность к.) 185 Ортоцентр 368
Контравариантность 325 Ортоцентрический четырехугольник
Координаты 64 368
Кривизна 252 Основание логарифмов 193
Круговая геометрия 412 Открытый интервал 52
Лекселль (теорема Л.) 440 Отображение множества 65
Линейная функция 267 Отрицательный 39
Линейное преобразование 324 Парабола 446
Лобачевский (геометрия Л.) 424 Параллелограмм 63
Логарифм 190 Параллельный перенос 311
Мажоранта 35 Параметр параболы 450
Математическая индукция 28 Паскаль (аффинная конфигурация П.)
Матрица 325 303
Менелай (теорема М.) 316 Паскаль (проективная конфигурация
Мера 126 П.) 337
Метрика 92 Паскаль (треугольник П.) 200
Многочлен (полином) 196 Первообразная 272
Модуль 57 Перемещение 379
Модуль комплексного числа 255 Пересечение множеств 18
Монотонная функция 75 Перестановка средних 63
Мощность множества 185 Перестановки 69
Муавр (формула М.) 287 Период 249
Нейтральный элемент 32 Перспектива 334
Неопределенные выражения 242 Пифагор (теорема П.) 96
Непрерывность 80 Плотное всюду множество 48
Непрерывность равномерная 84 Площадь 132
Неравенство треугольника 96 Подмножество 18
Несоизмеримые величины 174 Подобие 398
Нормальное уравнение прямой 359 Показательная функция 193
Нуль многочлена 202 Поле 45
Нумерация 159 Полнота (аксиома п.) 50
Обратное отображение 65 Полный четырехсторонник 347
Обратное число 42 Положительный 39
Обращение 388 Полунепрерывность 91
Объединение 19 Поляра по отношению к окружности
Одночлен (моном) 197 371
Окрестность 76 Поляра по отношению к паре прямых
Операторы (тело о.) 57 346
Операции 22 Порядок матрицы 326
Ориентация 61 Порядок (отношение п.) 21
Орицикл 429 Последовательность 184
Ортонормальный базис 93
Поступательное движение (д. Стюарт (формула С.) 357
переноса) 395 Сферическая геометрия 437
Предел 79 Счетное множество 184
Принадлежность 17 Сюръекция 65
Произведение векторов 105 Тела 45
Произведение отображений 66 Тела скаляров 57
Производная 82 Тождественное отображение 68
Промежуточное значение (теорема о Тождество 205
п. з.) 85 Топология 76
Пространство векторное 54 Точечное преобразование 70
Пространство точечное 62 Транзитивность 20
Противоположный 42 Трансформирование преобразования
Прямое произведение множеств 22 Трансцендентное число 52
Птолемей (формула П.) 297 Тэйлор (формула Т. для многочлена)
Пучок окружностей 373 262
Равенство (случаи р. треугольников) Угол 112
383 Равномерная непрерывность 84 Упорядоченность полная 28
Равномощность 186 Ускорение 260
Радиан 119 Фалес (теорема Ф.) 64
Радикальная ось 374 Фигура 70
Расстояние до множества 100 Фокальная окружность 445
Рациональная дробь 264 Фокальные конические сечения 449
Рациональное число 41 Фокус конического сечения 446
Рекуррентное доказательство 28 Функция обратная 73
Рефлексивность 20 Функция от функции 67
Риман (геометрия Р.) 437 Центр тяжести 306
Ролль (теорема Р.) 88 Чева (теорема Ч.) 308
Связка окружностей 376 Четырехсторонник 69
Симметризация 36 Четырехугольник 69
Симметричность 20 Число π 119
Симеон (прямая С.) 367 Числовая функция 72
Скалярное произведение 106 Шаг винтовой линии 396
Скорость 257 Эквивалентность (отношение э.) 19
События равновероятные 140 Эквиполлентность (равенство
Соприкасающаяся окружность 253 векторов) 55
Сравнение 147 Эксцентриситет 444
Степень инверсии 402 Эллипс 447
Степень точки относительно Эратосфеново решето 757
окружности 368
Стереографическая проекция 415
Структура 151
Ступенчатая функция 55