Что такое аксиома простыми словами: определение и значение слова
Аксиома: определение кратко
В нашем родном языке существует огромное число сложных, непонятных, узкоспециализированных слов.
В данной статье вы сможете понять и узнать значение такого интересного слова, как аксиома. Это слово дает свои плоды из Греции, греческого языка, имеет перевод на русский язык: “утверждение”, “положение”.
Аксиома – это то, что было доказано кем-то очень давно и не нуждается в этом снова.
Это истина, которая очевидна всем, ей нужно поверить не требуя доказательств. Бывает аксиома в геометрии и философии.
Значение слова аксиома
Люди считают, что понятие вышеуказанного слова ввел в общее использование Аристотель – древнегреческий философ, ученик Платона с 343 года до н. э. С древнейших веков определение “аксиома” считается вечной, неприкосновенной и априорной.
Т. е. его истина устанавливается независимо от опыта, также не противоречит уже существующим фактам, потому что никто до данного не додумывался, не доказывал.
Аксиома возникает благодаря многовековой познавательной деятельности. Аристотель считал: данное утверждение принимается от природы или космоса. Но в современном мире это понятие сократилось до следующего определения: аксиома – это понятие, которое принимается на веру.
Тысячи лет назад и в современном мире постулат принимается за первоначальное, основывающее положение, исходя из которого строятся другие доказательства, свойства и теоремы. Отталкиваясь от постулата (аксиомы) есть возможно рассуждать на совершенно различные тему, развивать мысли по существующим логическим законам.
“Принимать на веру” можно не все понятия: если дело связано с техническими науками или вещью, то данное должно исходить из проведения многочисленных опытов, анализов, фактов, гипотез. Верить, не проверяя, возможно нематериальные вещи: религия.
Примеры аксиом
Аксиома в философии
Для точного и правильного построения философии следует уметь “философствовать”. Для достижения данного стоит найти важную и необходимую аксиому, являющуюся понятной, разумеющейся и неоспоримой. Надо найти такой постулат, на который возможно опереться, ка на твердую землю и из него выводить другие философские понятия.
Аристотель, в отличие от других мыслителей и философов, смог предоставить свои суждения и изложения о философии в отчетливой форме, он самым первым на основе аксиом построил единую систему философии. Данный метод применим в философии современного мира. Очевиден и разумеющийся до сих пор.
Первая аксиома Аристотеля – закон непротиворечия. Он гласит о сущности и смысле жизни, когда человек проводит тонкую грань между реальностью и мышлением, а также ищет ответы на разные философские вопросы. Закон гласит о том, что две противоположные, противоборствующие стороны не могут находиться на одной черте, существовать вместе одновременно.
Поэтому два разных суждения не могут быть одновременно правильными. Ученый Аристотель не был согласен с другими философами: Гераклитом и Протагором.
Геометрическая аксиома
Геометрия является особым видом познавательной деятельности, изучающая трехмерные фигуры, типы, свойства различных предметов, плоскостей.
Многие важнейшие геометрические понятия формулируются, исходя из подтверждающих положений и утверждений. Остальные – на основе положений, являющиеся правильными без учета доказательств – аксиоматические понятия.
Геометрия рассматривается в двух планах: фигуры и величины на плоскости (планиметрия), пространственные фигуры (стереометрия).
Самыми главными и элементарными планиметрическими понятиями считаются точка и прямая, в стереометрическом разделе геометрии – точка, прямая, плоскость.
Примеры важнейших аксиом геометрии
Все геометрические постулаты разделяют на множество категорий, приведем некоторые из них:
Аксиомы принадлежности
Значение слова «аксиома»
Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека
Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств, цепочка получится бесконечной. Чтобы не уходить в бесконечность, нужно где-то эту цепочку разорвать — то есть какие-то утверждения принять без доказательств, как исходные. Именно такие, принятые в качестве исходных, утверждения и называются аксиомами.
В современной науке вопрос об истинности аксиом, лежащих в основе какой-либо теории, решается либо в рамках других научных теорий, либо посредством интерпретации данной теории.
Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно на этих аксиомах и не опираться на обычное конкретное значение этих объектов и их отношений.
Выбор аксиом, которые составляют основу конкретной теории, не является единственным. Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии.
Набор аксиом называется непротиворечивым, если исходя из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание.
Австрийский математик Курт Гёдель доказал «теоремы о неполноте», согласно которым всякая система математических аксиом (формальная система), начиная с определённого уровня сложности, либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, ни истинность, ни ложность которого не может быть доказана средствами самой этой системы).
АКСИО’МА, ы, ж. [греч. axiōma]. Положение, принимаемое без доказательств (мат.). || Очевидная истина, утверждение, принимаемое на веру (книжн.).
Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека
аксио́ма
1. матем. книжн. заведомо истинное утверждение, принимаемое без доказательств
Что такое аксиома простыми словами: определение и значение слова
Аксиома: определение кратко
В нашем родном языке существует огромное число сложных, непонятных, узкоспециализированных слов.
В данной статье вы сможете понять и узнать значение такого интересного слова, как аксиома. Это слово дает свои плоды из Греции, греческого языка, имеет перевод на русский язык: “утверждение”, “положение”.
Аксиома – это то, что было доказано кем-то очень давно и не нуждается в этом снова.
Это истина, которая очевидна всем, ей нужно поверить не требуя доказательств. Бывает аксиома в геометрии и философии.
Значение слова аксиома
Люди считают, что понятие вышеуказанного слова ввел в общее использование Аристотель – древнегреческий философ, ученик Платона с 343 года до н. э. С древнейших веков определение “аксиома” считается вечной, неприкосновенной и априорной.
Т. е. его истина устанавливается независимо от опыта, также не противоречит уже существующим фактам, потому что никто до данного не додумывался, не доказывал.
Аксиома возникает благодаря многовековой познавательной деятельности. Аристотель считал: данное утверждение принимается от природы или космоса. Но в современном мире это понятие сократилось до следующего определения: аксиома – это понятие, которое принимается на веру.
Тысячи лет назад и в современном мире постулат принимается за первоначальное, основывающее положение, исходя из которого строятся другие доказательства, свойства и теоремы. Отталкиваясь от постулата (аксиомы) есть возможно рассуждать на совершенно различные тему, развивать мысли по существующим логическим законам.
“Принимать на веру” можно не все понятия: если дело связано с техническими науками или вещью, то данное должно исходить из проведения многочисленных опытов, анализов, фактов, гипотез. Верить, не проверяя, возможно нематериальные вещи: религия.
Примеры аксиом
Аксиома в философии
Для точного и правильного построения философии следует уметь “философствовать”. Для достижения данного стоит найти важную и необходимую аксиому, являющуюся понятной, разумеющейся и неоспоримой. Надо найти такой постулат, на который возможно опереться, ка на твердую землю и из него выводить другие философские понятия.
Аристотель, в отличие от других мыслителей и философов, смог предоставить свои суждения и изложения о философии в отчетливой форме, он самым первым на основе аксиом построил единую систему философии. Данный метод применим в философии современного мира. Очевиден и разумеющийся до сих пор.
Первая аксиома Аристотеля – закон непротиворечия. Он гласит о сущности и смысле жизни, когда человек проводит тонкую грань между реальностью и мышлением, а также ищет ответы на разные философские вопросы. Закон гласит о том, что две противоположные, противоборствующие стороны не могут находиться на одной черте, существовать вместе одновременно.
Поэтому два разных суждения не могут быть одновременно правильными. Ученый Аристотель не был согласен с другими философами: Гераклитом и Протагором.
Геометрическая аксиома
Геометрия является особым видом познавательной деятельности, изучающая трехмерные фигуры, типы, свойства различных предметов, плоскостей.
Многие важнейшие геометрические понятия формулируются, исходя из подтверждающих положений и утверждений. Остальные – на основе положений, являющиеся правильными без учета доказательств – аксиоматические понятия.
Геометрия рассматривается в двух планах: фигуры и величины на плоскости (планиметрия), пространственные фигуры (стереометрия).
Самыми главными и элементарными планиметрическими понятиями считаются точка и прямая, в стереометрическом разделе геометрии – точка, прямая, плоскость.
Примеры важнейших аксиом геометрии
Все геометрические постулаты разделяют на множество категорий, приведем некоторые из них:
Аксиомы принадлежности
Что такое Аксиома
Аксиома (от др. греч. ἀξίωμα (axioma) — значимое, принятое положение) — это правило, которое считается верным без необходимости представления доказательств.
Аксиоматический метод — это подход к получению знаний, который предполагает разрабатывать аксиомы, а потом формулировать новые теоремы с помощью этих аксиом.
Теорема — это заявление, которое строится на аксиомах и других теоремах, доказанных ранее, и доказывается исходя из них.
Синоним аксиомы — постулат. Антоним — гипотеза.
Примеры
История аксиомы
Аксиоматический метод появился в древней Греции. Термин аксиома встречается у древнегреческих философов Аристотеля (384–322 гг. до н. э.) и Евклида (325–265 гг. до н. э.).
Аксиомы Евклида
Самой известной аксиомой Евклида была аксиома о параллельных прямых. Он сформулировал её в своей книге «Начала».
Аксиома звучит так: через любую точку, которая расположена вне данной прямой, можно провести только одну прямую параллельную данной.
Т. е. если дана прямая и любая точка (которая не лежит на этой прямой), то через неё можно провести только одну единственную прямую, которая будет параллельна этой первой данной прямой.
Следствия из аксиомы
У этой аксиомы два следствия:
Аксиома Архимеда
Для отрезков: если на прямой имеются два отрезка А (меньший из них) и B, то, складывая А достаточное количество раз, можно будет покрыть больший (B).
Другими словами, Архимед утверждал, что не существуют бесконечно малые и бесконечно большие величины. В качестве математической формулы аксиому можно записать так:
где n — это натуральное число.
Теорема
Теорема (др.-греч. θεώρημα (theorema)) — теория, при доказательстве которой нужно опираться на аксиомы, другие теоремы и использовать логику.
Теорема Пифагора
Согласно теореме Пифагора, квадрат гипотенузы равен сумме квадратов катетов.
Одно из возможных доказательств этой теоремы гласит: если построить квадраты на сторонах прямоугольного треугольника, то площадь большего из них равна сумме площадей меньших квадратов.
Теорема косинусов
Для плоского треугольника: квадрат одной стороны треугольника равняется сумме квадратов 2-х других сторон минус удвоенное произведение этих сторон на косинус угла между ними.
То есть, если у нас есть плоский треугольник с тремя сторонами a, b и c и углом альфа (α), который находится напротив стороны a (как показано на картинке ниже),
то справедливо следующее равенство: квадрат стороны a равен сумме квадратов двух других сторон (b и c) минус их удвоенное произведение на косинус угла между ними (α) (как показано на формуле сверху).
Следствия из теоремы:
Формула выглядит так:
Есть также расширенная теорема синусов. Формула выглядит так:
a, b, c — стороны треугольника; α, β, γ — углы, которые находятся на противоположной стороне от этих сторон; R — радиус окружности, описанной вокруг треугольника.
Узнайте также, что такое Число Пи и Логарифм.
Правовая аксиома
Это правило, которое рассматривается как истина, не допускает иного толкования. По мнению некоторых учёных-правоведов, они закреплены в официальных документах — нормативно-правовых актах. Например, в Конституции России:
По мнению других учёных, такие правила появились как результат общественных отношений. Например:
Узнайте также, что такое Догма и Гипотенуза.
Что такое аксиома, теорема и доказательство теоремы
Понятие аксиомы
Аксиома — это правило, которое считают верным и которое не нужно доказывать. В переводе с греческого «аксиома» значит принятое положение — то есть взяли и договорились, что это истина, с которой не поспоришь.
Аксиоматический метод — это подход к получению знаний, при котором сначала разрабатывают аксиомы, а потом с их помощью формулируют новые теории.
Синоним аксиомы — постулат. Антоним — гипотеза.
Основные аксиомы евклидовой геометрии
Учить наизусть эти аксиомы не обязательно. Главное — помнить о них и держать под рукой, чтобы при доказательстве теоремы сослаться на одну из них.
А теперь давайте рассмотрим несколько аксиом из геометрии за 7 и 8 класс.
Самая известная аксиома Евклида — аксиома о параллельных прямых. Звучит она так:
Это значит, что если дана прямая и любая точка, которая не лежит на этой прямой, то через неё можно провести только одну единственную прямую, которая будет параллельна этой первой данной прямой.
У этой аксиомы два следствия:
Аксиома Архимеда заключается в том, что, если отложить достаточное число раз меньший из двух отрезков, то можно покрыть больший из них. Звучит так:
Если на прямой есть меньший отрезок А и больший отрезок B, то, можно сложить А достаточное количество раз, чтобы покрыть B.
На картинке можно увидеть, как это выглядит:
Из этого следует, что не существует бесконечно малых и бесконечно больших величин. В качестве математической формулы аксиому можно записать так: А + А + … + А = А * n > В, где n — это натуральное число.
Понятие теоремы
Что такое аксиома мы уже поняли, теперь узнаем определение теоремы.
Теорема — логическое следствие аксиом. Это утверждение, которое основано на аксиомах и общепринятых утверждениях, которые были доказаны ранее, и доказывается на их основе.
Состав теоремы: условие и заключение или следствие.
Среди теорем выделяют такие, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.
Лемма — это вспомогательная теорема, с помощью которой доказываются другие теоремы. Пример леммы: если одна из двух параллельных прямых пересекает плоскость, то и вторая прямая тоже пересекает эту плоскость.
Следствие — утверждение, которое выводится из аксиомы или теоремы. Следствие, как и теорему, необходимо доказывать.
Примеры следствий из аксиомы о параллельности прямых:
Доказательство теоремы — это процесс обоснования истинности утверждения.
Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя от аксиом к теоремам.
Способы доказательства геометрических теорем
Часть аналитического способа — доказательство от противного, когда для доказательства данного предложения убеждают в невозможности предположения противоположного.
Приемы для доказательства в геометрии:
Обратная теорема — это такой перевертыш: в ней условие исходной теоремы дано заключением, а заключение — условием.
Прямая и обратная теорема взаимно-обратные. Например:
В первой теореме данное условие — это равенство сторон треугольника, а заключение — равенство противолежащих углов. А во второй всё наоборот.
Противоположная теорема — это утверждение, в котором из отрицания условия вытекает отрицание заключения.
Вот, как выглядит взаимное отношение теорем на примере:
В геометрическом изложении достаточно доказать только две теоремы, тогда остальные справедливы без доказательства.
Записывайся на онлайн обучение по математике для учеников с 1 по 11 классы!
Доказательство через синтез
Рассмотрим пример синтетического способа доказательства.
Теорема: сумма углов треугольника равна двум прямым.
Дан треугольник: ABC. Нужно доказать, что A + B + C = 2d.
Доказательство:
Проведем прямую DE, так чтобы она была параллельна AC.
Сумма углов, лежащих по одну сторону прямой, равна двум прямым, следовательно, α + B + γ = 2d.
Так как α = A, γ = C, то заменим в предыдущем равенстве углы α и γ равными им углами: A + B + C = 2d. Что и требовалось доказать.
Здесь исходным предложением в цепи доказательств выбрана теорема о сумме углов, которые лежат по одну сторону прямой. Есть связь с теоремами о равенстве углов накрест-лежащих при пересечении двух параллельных третьею косвенною. Доказываемая теорема есть необходимое следствие всех предложенных теорем и является в цепи доказательств последним заключением.
Доказательство через анализ
Рассмотрим пример аналитического способа доказательства.
Теорема: диагонали параллелограмма пересекаются пополам.
Дан параллелограмм: ABCD.
Доказательство:
Если диагонали пересекаются пополам, то треугольники AOB и DOC равны.
Равенство же треугольников AOB и DOC вытекает из того, что AB = CD, как противоположные стороны параллелограмма и ∠α = ∠γ, ∠β = ∠δ, как накрест-лежащие углы.
Таким образом мы видим, что последовательно данное предложение заменяется другим и такое замещение совершается до тех пор, пока не дойдем до уже доказанного предложения.
Теоремы без доказательств
Теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов.
Доказательств может быть несколько. Одно из них звучит так: если построить квадраты на сторонах прямоугольного треугольника, то площадь большего из них равна сумме площадей меньших квадратов. На картинке понятно, как это работает:
Теорема косинусов: квадрат одной стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними. В виде формулы это выглядит так:
где a, b и c — стороны плоского треугольника,
α — угол напротив стороны а.
Следствия из теоремы косинусов:
Понятия свойств и признаков
У нас есть список аксиом и мы уже знаем, что такое теорема и как ее доказывать. Есть два типа утверждений среди теорем, которые часто встречаются при изучении новых фигур: свойства и признаки.
Свойства и признаки — понятия из обычной жизни, которые мы часто используем.
Свойство — такое утверждение, которое должно выполняться для данного типа объектов. У ноутбука есть клавиатура — это свойство есть у каждого ноутбука. А у электронной книги такого свойства нет.
Примеры геометрических свойств мы уже знаем: у квадрата все стороны равны. Это верно для любого квадрата, поэтому это — свойство.
Такое свойство можно встретить у другого четырехугольника. И клавиатура может быть на других устройствах, помимо ноутбука. Из этого следует, что свойства не обязательно должны быть уникальными.
Признак — это то, по чему мы однозначно распознаем объект.
Звезды в темном небе — признак того, что сейчас ночь. Если человек ходит с открытым зонтом — это признак того, что сейчас идет дождь. При этом ночью не обязательно должны быть видны звезды, иногда может быть облачно. Значит это не свойство ночи.
А теперь вернемся к геометрии и рассмотрим четырехугольник ABCD, в котором AB = BD = 10 см.
Является ли равенство диагоналей признаком прямоугольника? У такого четырехугольника, где AB = BD, диагонали равны, но он не является прямоугольником. Это свойство, но не его признак.
Но если в четырехугольнике противоположные стороны параллельны AB || DC и AD || BC и диагонали равны AB = BD, то это уже верный признак прямоугольника. Смотрите рисунок:
Иногда свойство и признак могут быть эквивалентны. Лужи — это верный признак дождя. У других природных явлений не бывает луж. Но если приходит дождь, то лужи на асфальте точно будут. Значит, лужи — это не только признак, но и свойство дождя.
Такие утверждения называют необходимым и достаточным признаком.
