Аксиоматическое построение математической теории
При аксиоматическом способе построения какой-либо математической теории соблюдаются следующие правила:
- Некоторые понятия теории выбираются в качестве основных и принимаются без определения.
- Формулируются аксиомы, которые в данной теории принимаются без доказательства, в них раскрываются свойства основных понятий.
- Каждому понятию теории, которое не содержится в списке основных, даётся определение, в нём разъясняется его смысл с помощью основных и предшествующих данному понятию.
- Каждое предложение теории, которое не содержится в списке аксиом, должно быть доказано. Такие предложения называют теоремами и доказывают их на основе аксиом и теорем, предшествующих рассматриваемой.
Из правил аксиоматического построения теории выделяют четыре шага:
Первый шаг: Задаётся некоторое множество первичных понятий (терминов).
Второй шаг: Выделяется некоторое подмножество высказываний (аксиом) о первичных понятиях.
Третий шаг: При помощи первичных понятий даются определения всех остальных понятий.
Четвёртый шаг: Вывод утверждений (теорем) о первичных и определяемых понятиях.
Таким образом, выстраивается алгоритм аксиоматического построения теории:
- Первичные понятия.
- Аксиомы.
- Определения.
- Теоремы.
Соответственно можно на примерах рассмотреть какое утверждение в математике относится к одной составляющей из выше приведенного списка.
Примеры первичных понятий.
К первичным понятиям аксиоматического построения геометрии на плоскости относятся: точка, прямая, плоскость.
Примеры аксиом.
Аксиома 1. Через любые две точки можно провести прямую, и притом только одну.
Аксиома 2. Через любые три точки, не лежащие на одной прямой, проходит плоскость и притом только одна.
Примеры определений.
Определение 1: Высказывания, данные через первичные неопределяемые понятия или через некоторые другие ранее известные утверждения, называются определениями.
Определение 2: Утверждения, принимаемые без доказательства как верные, называются аксиомами.
Определение 3: Новые утверждения о первичных и определяемых понятиях, выведенные чисто логическим путем на основе аксиом, ранее выведенных утверждений и определений, называются теоремами.
Определение 4: Простым числом называется такое натуральное число, больше единицы, которое имеет только два делителя – единицу и само это число.
Примеры теорем.
Теорема 1. Если частное натуральных чисел существует, то оно единственно.
Теорема 2. Диагонали у прямоугольника равны.
Если построение теории осуществляется аксиоматическим методом, по названым выше правилам, то говорят, что теория построена дедуктивно. При аксиоматическом построении теории, по существу все утверждения выводятся путем доказательства из аксиом.
Главным требованием к системе аксиом является ее непротиворечивость, чтобы, сделав вывод теорем на основе этих аксиом, доказанные теоремы не противоречили друг другу. Система аксиом должна быть полной и независимой, При аксиоматическом построении одной и той же теории можно использовать разные системы аксиом. Но они должны быть равносильными. Кроме того, при выборе той или иной системы аксиом математики учитывают, насколько просто и наглядно могут быть получены доказательства теорем в дальнейшем. Большинство интерпретаций для математических теорий (в частности, для арифметических) строятся на базе теории множеств. Поэтому очень важно, чтобы теория множеств была непротиворечивой. Аксиоматическая теория основных структур математики является инструментом, с помощью которого раскрывается теоретико-множественный смысл каждого понятия.
1.3. Вопросы для самоконтроля по теме «Аксиоматический метод»
- Установите правильное соответствие между математическим утверждением и его формулировкой (т.е. выбрать из списка утверждение в математике, которое относится к определениям, аксиомам, теоремам):
- Параллелограммом называется четырёхугольник, у которого противоположные стороны попарно параллельны.
- Через любые две точки можно провести прямую, и притом только одну.
- В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов.
- К первичным понятиям аксиоматического построения геометрии на плоскости относятся:
- Луч, треугольник, плоскость.
- Точка, отрезок, плоскость.
- Фигура, плоскость, луч.
- Точка, прямая, плоскость.
- Установите правильное соответствие между математическим утверждением и его формулировкой (т.е. выбрать из списка утверждение в математике, которое относится к определениям, аксиомам, теоремам):
- В любой треугольник можно вписать окружность и притом только одну.
- Если все стороны многоугольника касаются окружности, то окружность называется вписанной в многоугольник.
- Через любые три точки, не лежащие на одной прямой, проходит плоскость и притом только одна.
- Установите правильное соответствие между математическим утверждением и его формулировкой (т.е. выбрать из списка утверждение в математике, которое относится к определениям, аксиомам, теоремам):
- Средняя линия треугольника параллельна одной из его сторон и равна половине этой стороны.
- Прямоугольником называется параллелограмм, у которого все углы прямые.
- Если две точки прямой лежат в некоторой плоскости, то и все точки её лежат в той же плоскости.
- Установите правильное соответствие между математическим утверждением и его формулировкой (т.е. выбрать из списка утверждение в математике, которое относится к определениям, аксиомам, теоремам):
- Если две плоскости имеют одну общую точку, то они имеют ещё хотя бы одну общую точку.
- Диагонали у прямоугольника равны.
- Квадратом называется прямоугольник, у которого все стороны равны.
- Установите правильное соответствие между математическим утверждением и его формулировкой (т.е. выбрать из списка утверждение в математике, которое относится к определениям, аксиомам, теоремам):
- Если все вершины многоугольника лежат на окружности, то окружность называется описанной около многоугольника.
- Около любого треугольника можно описать окружность.
- Две точки определяют только одну прямую.
- Выбрать из списка первый шаг при построении аксиоматической теории:
- Выделяется некоторое подмножество высказываний (аксиом) о первичных понятиях.
- При помощи первичных понятий даются определения всех остальных понятий.
- Задается некоторое множество первичных понятий.
- Вывод утверждений (теорем) о первичных и определяемых понятиях.
- Выбрать из списка второй шаг при построении аксиоматической теории:
- Задается некоторое множество первичных понятий.
- При помощи первичных понятий даются определения всех остальных понятий.
- Вывод утверждений (теорем) о первичных и определяемых понятиях.
- Выделяется некоторое подмножество высказываний (аксиом) о первичных понятиях.
- Выбрать из списка третий шаг при построении аксиоматической теории:
- При помощи первичных понятий даются определения всех остальных понятий.
- Выделяется некоторое подмножество высказываний (аксиом) о первичных понятиях.
- Задается некоторое множество первичных понятий.
- Вывод утверждений (теорем) о первичных и определяемых понятиях.
- Утверждения, принимаемые без доказательства как верные, называются:
- Определениями.
- Первичными понятиями.
- Аксиомами.
- Теоремами.