Понятия со словосочетанием «пятый постулат»
Связанные понятия
Евкли́дова геоме́трия (или элементарная геометрия) — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида (III век до н. э.).
Абсолютная геометрия — часть классической геометрии, независимая от пятого постулата евклидовой аксиоматики (то есть в абсолютной геометрии пятый постулат может выполняться, а может и не выполняться). Абсолютная геометрия содержит предложения, общие для евклидовой геометрии и для геометрии Лобачевского.
Основания геометрии — область математики, изучающая аксиоматические системы евклидовой геометрии, а также различных неевклидовых геометрий.
Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.
Четырёхугольник Саккери — четырёхугольник с двумя равными сторонами, которые перпендикулярны основанию. Он назван в честь Саккери, который использовал его в своей книге Euclides ab omni naevo vindicatus, впервые опубликованой в 1733, при попытке доказать пятый постулат, используя метод от противного. В конце 11 века четырёхугольник Саккери был рассмотрен Омар Хайямом.В четырёхугольнике Саккери ABCD стороны AD и BC равны по длине и перпендикулярны к основанию АВ. Углы при С и D называются верхними...
Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Не путать с аксиомой Паша о прямой, проходящей через треугольник.Теорема Паша — утверждение, сформулированое немецким математиком Морицем Пашем в 1882 году.
Подробнее: Теорема Паша
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным.
Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных...
Лемма (греч. λημμα — предположение) — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений.
Геометрия Лобачевского (или гиперболическая геометрия) — одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных прямых, которая заменяется её отрицанием.
Трансценде́нтное число́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.
Теорема косинусов — теорема евклидовой геометрии, обобщающая теорему Пифагора на произвольные плоские треугольники.
Арифметика Пресбургера — это теория первого порядка, описывающая натуральные числа со сложением, но в отличие от арифметики Пеано, исключающая высказывания относительно умножения. Названа в честь польского математика Мойжеша Пресбургера, который в 1929 году предложил соответствующую систему аксиом в логике первого порядка, а также показал её разрешимость.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
То́чка — абстрактный объект в пространстве, не имеющий никаких измеримых характеристик (нульмерный объект). Точка является одним из фундаментальных понятий в математике.
Модель системы аксиом — какой-либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того, модель позволяет наглядно продемонстрировать некоторые особенности данной аксиоматической теории.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой...
Проективная модель (называемая также Модель Клейна и модель Бельтрами — Клейна) — модель геометрии Лобачевского, предложена итальянским математиком Эудженио Бельтрами.
Теорема Чевы — классическая теорема аффинной геометрии и геометрии треугольника.
Геоме́трия (от др.-греч. γεωμετρία, от γῆ — земля и μετρέω — измеряю) — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения.
Теорема котангенсов — тригонометрическая теорема, связывающая радиус вписанной окружности треугольника с длиной его сторон. Теорему котангенсов удобно использовать при решении треугольника по трём сторонам.
Принцип двойственности в проективной геометрии — набор утверждений, устанавливающих соответствия между различными объектами в проективных пространствах (например, подпространствами различных размерностей) и их свойствами. Таким образом, если в проективной геометрии доказана теорема A, а утверждение B двойстенно к A, то B также доказано. Например, на проективной плоскости двойственными объектами являются «точка» и «прямая», а свойству «точка лежит на прямой» соответствует двойственное свойство «прямая...
Нера́венство треуго́льника в геометрии, функциональном анализе и смежных дисциплинах — это одно из интуитивных свойств расстояния.
Теорема Пуанкаре о векторном поле (также известна как теорема Пуанкаре — Хопфа и теорема об индексе) — классическая теорема дифференциальной топологии и теории динамических систем;
Теорема Кейси или Кэзи — теорема в евклидовой геометрии, обобщающая неравенство Птолемея. Названа по имени ирландского математика Джона Кейси.
Теория чисел, или высшая арифметика, — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений.
Гипотезы Вейля — математические гипотезы о локальных дзета-функциях проективных многообразий над конечными полями.
Восьмая проблема Гильберта — одна из проблем, поставленных Давидом Гильбертом в его докладе на II Международном Конгрессе математиков в Париже в 1900 году. Восьмая проблема Гильберта состоит из двух задач, относящихся к теории простых чисел. Это гипотеза Римана и проблема Гольдбаха.
Планиме́трия (от лат. planum — «плоскость», др.-греч. μετρεω — «измеряю») — раздел евклидовой геометрии, изучающий двумерные (одноплоскостные) фигуры, то есть фигуры, которые можно расположить в пределах одной плоскости: треугольники, окружности, параллелограммы и т.д.
Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Дифференциа́льное уравне́ние Ри́мана — обобщение гипергеометрического уравнения, позволяющее получить регулярные сингулярные точки в любой точке сферы Римана. Названо в честь математика Бернхарда Римана.
Геометрия Галуа (названа именем французского математика 19-го века Эвариста Галуа) — это раздел конечной геометрии, рассматривающий алгебраическую и аналитическую геометрию над конечными полями (или полями Галуа). В более узком смысле геометрию Галуа можно определить как проективное пространство над конечным полем.
Парадокс Скулема — противоречивое рассуждение, описанное впервые норвежским математиком Туральфом Скулемом, связанное с использованием теоремы Лёвенгейма — Скулема для аксиоматической теории множеств.
Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.
Лемма Александрова — утверждение нейтральной геометрии и сферической геометрии, играющее важную роль в основаниях александровской геометрии.
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Четырёхугольник Ла́мберта, или трипрямоуго́льник, — четырёхугольник, в котором все стороны в общем случае криволинейны и имеющий при трёх его вершинах прямые углы.
Многообразие Эйнштейна — риманово или псевдориманово многообразие, тензор Риччи которого пропорционален метрическому тензору.
Теорема Хольмгрена — теорема о единственности решения задачи Коши для дифференциального уравнения с частными производными в случае аналитичности коэффициентов дифференциального оператора.
Геометрическая алгебра — историческое построение алгебры во второй книге «Начал» Евкида, где операции определялись непосредственно для геометрических величин, а теоремы доказывались геометрическими построениями.
Стереометрия (от др.-греч. στερεός, «стереос» — «твёрдый, объёмный, пространственный» и μετρέω, «метрео» — «измеряю») — раздел евклидовой геометрии, в котором изучаются свойства фигур в пространстве. Основными (простейшими) фигурами в пространстве являются точки, прямые и плоскости.