Числовые системы

2.1. Вещественные числа. Понятия поля, упорядоченного поля, полного упорядоченного поля.

Поле вещественных чисел и его основные арифметические свойства: единственность нуля, единицы, противоположного и обратного элементов, законы сокращения для сложения и умножения, умножение на 0 и на (-1). Порядковые свойства вещественных чисел: транзитивность, сложение и умножение неравенств, положительность квадрата числа. Модуль числа. Неравенство треугольника.

Точная верхняя (супремум) и точная нижняя (инфимум) грани множества чисел. Простейшие свойства супремума и инфимума. Существование супремума ограниченного сверху множества.

Понятие индуктивного множества. Множество натуральных чисел. Принцип математической индукции. Теорема о структуре множества натуральных чисел. Натуральная степень вещественного числа. Неравенство Бернулли. Принцип Архимеда (неограниченность сверху множества натуральных чисел) и его следствия.

Множество целых чисел. Целая и дробная части вещественного числа. Теорема о целой части вещественного числа. Чётные и нечётные целые числа.

Рациональные и иррациональные числа. Делитель целого числа, несократимые дроби, корень степени . Теорема о существовании квадратного корня. Иррациональность .

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

Позиционные системы счисления. Представление числа десятичной и двоичной дробью.

2.2. Числовая прямая. Интерпретация вещественных чисел как точек на прямой. Расширенная числовая прямая.

Отрезок, интервал, полуинтервал, промежуток, окрестность точки, расстояние между точками, длина промежутка. Понятие последовательности. Последовательность множеств. Теорема о вложенных отрезках. Покрытие множества на прямой системой интервалов. Теорема о конечном подпокрытии. Предельная точка множества на прямой. Теорема Больцано – Вейерштрасса.

Координатная плоскость. Евклидово расстояние между точками плоскости. Окружность. Понятие длины дуги окружности. Величина угла. Синус, косинус, тангенс и котангенс угла.

2.3. Комплексные числа. Мнимая единица. Вещественная и мнимая части комплексного числа. Операция сопряжения. Арифметические операции над комплексными числами. Геометрическая интерпретация комплексных чисел. Модуль и аргумент. Формула Муавра.

2.4. Кардинальные числа. Понятие мощности (кардинального числа) множества. Сравнение мощностей. Теорема Кантора. Теорема Шрёдера – Бернштейна.

Счётные множества. Теорема о счётности бесконечного подмножества счётного множества. Теорема о счётности счётного объединения счётных множеств. Теорема о счётности декартова произведения счётных множеств. Счётность множества рациональных чисел. Лемма о том, что любое бесконечное множество содержит счётное подмножество. Теорема о мощности объединения бесконечного и счётного множеств.

Множества мощности континуума. Теорема Кантора. Теорема о том, что множество всех подмножеств множества натуральных чисел имеет мощность континуума. Теоремы о мощности конечного или счётного объединения множеств мощности континуума. Теорема о мощности декартова произведения множеств мощности континуума. Построение множеств сколь угодно большой мощности.

Дата добавления: 2014-01-15