ОПРЕДЕЛЕНИЕ

Определение - математическое предложение, предназначенное для введения нового понятия на основе уже известных нам понятий. В определении обычно содержится слово «называется». Например, определение ромба формулируется следующим образом: «Ромбом называется параллелограмм, две смежные стороны которого равны между собой». В этом определении новое понятие «ромб» введено на основе ряда понятий, уже известных к этому времени: «параллелограмм», «сторона», «смежные стороны», «равенство отрезков». Эти ранее введенные понятия, в свою очередь, определяются через предыдущие. Например, «параллелограмм» определяется через ранее введенные понятия «четырехугольник», «противоположные стороны четырехугольника», «параллельные прямые». В конце концов мы приходим к небольшому числу первоначальных понятий, через которые можно определить все встречающиеся в курсе геометрии понятия. Сами же первоначальные понятия не определяются, а их свойства описываются аксиомами.

Данное выше определение ромба можно записать в виде:

(дан параллелограмм ABCD) (АВ = ВС) опр⇒ (ABCD- ромб).

Эта запись похожа на запись теоремы (см. Необходимое и достаточное условия), но здесь назначение частей этой записи иное. Первая часть записи (аналогичная разъяснительной части теоремы) указывает родовое понятие, с помощью которого вводится новое понятие. В данном случае родовым понятием является параллелограмм, т.е. ромбы выделяются из множества всех параллелограммов. Вторая часть определения (аналогичная условию теоремы) указывает видовые отличия, т.е. те свойства, которыми должен обладать параллелограмм, чтобы его можно было назвать ромбом. Наконец, третья часть определения (аналогичная заключению теоремы) вводит новый термин, т.е. название вводимого понятия-в данном случае «ромб». То, что ABCD является ромбом (при выполнении видовых отличий), доказывать не нужно-это справедливо по определению. Поэтому под знаком => ставят запись «опр.», которая указывает, что мы имеем дело с определением, а не с теоремой.

Еще один пример: квадратом называется ромб, один из углов которого-прямой. Это можно записать так:

(дан ромб ABCD) (∠A = 90°) опр⇒ (ABCD-квадрат).

Здесь родовое понятие - ромб, видовое отличие задается равенством ∠А = 90° (т. е. один из углов - прямой), а новый термин (т.е. название вводимого понятия) - квадрат (рис. 1).

Аналогично могут быть рассмотрены и другие определения. Например, при рассмотрении поля родовым понятием является множество, а видовыми отличиями-аксиомы поля (см. Аксиоматика и аксиоматический метод).

В принципе можно обойтись вовсе без определений, излагая какую-либо математическую теорию. Например, можно изгнать термин «гипотенуза» из школьного курса геометрии, заменив его всюду на «сторона треугольника, лежащая против прямого угла». Уже из этого примера видно, насколько такая замена удлиняет текст (и осложняет его понимание), а ведь мы заменяем только одно слово! Легко представить себе, что было бы, если бы мы захотели излагать геометрию (и не только геометрию) вовсе без определений!

Давая определения, нужно следить за тем, чтобы не возникло порочного круга. Такой порочный круг возникнет, например, если мы определим простое число как число, не являющееся составным, а затем определим составное число как число, не являющееся простым. Ясно, что такие «определения», по сути дела, ничего не определяют. Другими словами, нельзя, чтобы какое-то понятие А₁ определялось через A₂, А₂ - через А₃, ..., А_k-1 - через Ак, а А_k - снова через А₁.