Posts by admin:
История
in Конспекты по геометрии
as доказательство, Конспекты по геометрии, лекции, теорема
Традиционно считается, что родоначальниками геометрии как систематической науки являются древние греки, перенявшие у египтян ремесло землемерия и измерения объёмов тел и превратившие его в строгую научную дисциплину. При этом античные геометры от набора рецептов перешли к установлению общих закономерностей, составили первые систематические и доказательные труды по геометрии. Центральное место среди них занимают составленные около 300 до н. э. «Начала» Евклида. Этот труд более двух тысячелетий считался образцовым изложением в духе аксиоматического метода: все положения выводятся логическим путём из небольшого числа явно указанных и не доказываемых предположений — аксиом.
Геометрия греков, называемая сегодня евклидовой, или элементарной, занималась изучением простейших форм: прямых, плоскостей, отрезков, правильных многоугольников и многогранников, конических сечений, а также шаров, цилиндров, призм, пирамид и конусов. Вычислялись их площади и объёмы. Преобразования в основном ограничивались подобием.
Женщина обучает детей геометрии. Иллюстрация из парижской рукописи Евклидовых «Начал», начало XIV века.
Средние века немного дали геометрии, и следующим великим событием в её истории стало открытие Декартом в XVII веке координатного метода («Рассуждение о методе», 1637). Точкам сопоставляются наборы чисел, это позволяет изучать отношения между формами методами алгебры. Так появилась аналитическая геометрия, изучающая фигуры и преобразования, которые в координатах задаются алгебраическими уравнениями. Примерно одновременно с этим Паскалем и Дезаргом начато исследование свойств плоских фигур, не меняющихся при проектировании с одной плоскости на другую. Этот раздел получил название проективной геометрии. Метод координат лежит в основе появившейся несколько позже дифференциальной геометрии, где фигуры и преобразования все ещё задаются в координатах, но уже произвольными достаточно гладкими функциями.
Ф. Клейн в «Эрлангенской программе» систематизировал все виды однородных геометрий; согласно ему геометрия изучает все те свойства фигур, которые инвариантны относительно преобразований из некоторой группы. При этом каждая группа задаёт свою геометрию. Так, изометрии (движения) задаёт евклидову геометрию, группа аффинных преобразований — аффинную геометрию.
Краткий конспект курса высшей алгебры
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Числа Натуральные числа. Принцип математической индукции. Свойства операций сложения и умножения натуральных чисел. Кольцо целых чисел. Поля рациональных и вещественных (действительных) чисел. Аксиомы поля. Поле комплексных чисел: определение; свойства мнимой единицы, вещественной и мнимой частей комплексного числа, сопряженного комплексного числа, модуля и аргумента комплексного числа. Умножение комплексных чисел в тригонометрической форме. Формулы Муавра для решения […]
Парадоксы теории множеств
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Парадоксами теории множеств называют рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как парадокс Бурали-Форти (1897) парадокс Кантора (1899) парадокс Рассела (1905) рассуждения, результат которых интуитивно кажется ложным или «парадоксальным», но которые, тем не менее, являются следствием аксиом формальной теории множеств, включая: предложенный Б. Расселом «парадокс Тристрама Шенди», демонстрирующий нарушение принципа «часть меньше целого» для бесконечных […]
Аксиоматика теории множеств
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Cовременная теория множеств строится на системе аксиом — утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело—Френкеля (ZF) является стандартной системой аксиом для теории множеств. Эта и подобные ей системы аксиом любопытны потому, что любая математическая теория может быть «переведена» на язык теории множеств таким образом, что теоремы […]
Классы сложности
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
В рамках классической теории осуществляется классификация задач по классам сложности (P-сложные, NP-сложные, экспоненциально сложные и др.). К классу P относятся задачи, которые могут быть решены за время, полиномиально зависящее от объёма исходных данных, с помощью детерминированной вычислительной машины (например, машины Тьюринга), а к классу NP — задачи, которые могут быть решены за полиномиально выраженное время […]
Современное состояние теории алгоритмов
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
В настоящее время теория алгоритмов развивается, главным образом, по трем направлениям. Классическая теория алгоритмов изучает проблемы формулировки задач в терминах формальных языков, вводит понятие задачи разрешения, проводит классификацию задач по классам сложности (P, NP и др.). Теория асимптотического анализа алгоритмов рассматривает методы получения асимптотических оценок ресурсоемкости или времени выполнения алгоритмов, в частности, для рекурсивных алгоритмов. […]
Возникновение теории алгоритмов
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Развитие теории алгоритмов начинается с доказательства К. Гёделем теорем о неполноте формальных систем, включающих арифметику, первая из которых была доказана в 1931 г. Возникшее в связи с этими теоремами предположение о невозможности алгоритмического разрешения многих математических проблем (в частности, проблемы выводимости в исчислении предикатов) вызвало необходимость стандартизации понятия алгоритма. Первые стандартизованные варианты этого понятия были […]
Теория графов
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Теория графов — раздел дискретной математики, изучающий свойства графов. В общем смысле граф представляется как множество вершин (узлов), соединённых рёбрами. В строгом определении графом называется такая пара множеств G=(V,E), где V есть подмножество любого счётного множества, а E — подмножество V?V. Теория графов находит применение, например, в геоинформационных системах (ГИС). Существующие или вновь проектируемые дома, […]
Исторический очерк
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
Идея записывать общие свойства чисел и вычислительные алгоритмы на особом символическом метаязыке появилась давно, однако первоначально буквенные символы в уравнениях обозначали только неизвестные, значения которых следует найти, а для прочих членов уравнения записывали конкретные числовые значения. Мысль о том, что известные величины (коэффициенты) тоже полезно для общности обозначать символами, пробивала себе путь медленно. Впервые, насколько […]
Аксиоматическая теория множеств
in Лекции по алгебре
as алгебра, лекции, обучение, уравнения, формулы
В начале XX века Бертран Рассел, изучая канторовскую теорию множеств, пришел к парадоксу (с тех пор известному как парадокс Рассела). Таким образом, была продемонстрирована несостоятельность этой теории множеств и связанной с ней канторовской программы стандартизации математики. После обнаружения антиномии Рассела часть математиков (например, Л. Э. Я. Брауэр и его школа) решила полностью отказаться от использования […]