Словарь иллюстрирован многочисленными схемами и графиками, которые дополняют текст. Образные иллюстрации, которые даны, например, к статьям «Алгебра», «Арифметика», «Анализ математический», «Геометрия», «Функция», тесно связаны с содержанием статьи, и понять их можно, только прочитав статьи.

Статьи в книге расположены в алфавитном порядке их названий. Если же интересующее вас понятие не является названием статьи словаря, то следует посмотреть в алфавитный указатель, находящийся в конце книги.

Некоторые слова в тексте набраны курсивом. Это значит, что в словаре имеется статья с таким названием. Ряд статей, в частности биографии ученых, даны не в алфавитном порядке, а как приложения к другим статьям. Чтобы найти их, также удобно воспользоваться алфавитным указателем, где даны страницы, на которых напечатаны эти статьи. В конце книги имеется список рекомендованной литературы.

АКСИОМА

Начальные геометрические сведения дошли до нас из глубокой древности. Например, формулы для вычисления площадей земельных участков, имеющих форму прямоугольника, треугольника, трапеции, приведены в древнеегипетских математических папирусах, относящихся к 2000 г. до н.э., в клинописных таблицах Древнего Вавилона.

Начальные геометрические знания были добыты опытным путем. Получение новых геометрических фактов при помощи рассуждений (доказательств) началось от древнегреческого ученого Фалеса (VI в. до н.э.). Ему приписывают установление свойств равнобедренного треугольника, доказательство равенства вертикальных углов, доказательство того, что вписанный угол, опирающийся на диаметр – прямой, и др. Фалес, по-видимому, применял поворот части фигуры и перегибание чертежа, т.е. то, что в наши дни называют перемещениями, или движениями (см. Геометрические преобразования).

Постепенно доказательства приобретают в геометрии все большее значение. К III в. до н.э. геометрия становится дедуктивной наукой, т.е. наукой, в которой большинство фактов устанавливается путем вывода (дедукции), доказательства. К этому времени относится книга «Начала», написанная древнегреческим ученым Евклидом (см. Евклид и его «Начала»). В ней доказываются свойства параллелограммов и трапеций, приведена теорема Пифагора (см. Пифагора теорема), изучается подобие многоугольников, рассматриваются многие другие геометрические факты.

В этой книге Евклид проводит аксиоматический взгляд на геометрию. Точка зрения Евклида была следующей. Взяв какую-либо теорему, можно проследить, какие ранее доказанные теоремы были использованы при ее выводе. Для этих ранее доказанных теорем в свою очередь можно выделить те более простые факты, из которых они выводятся, и т.д. В конце концов получается набор некоторых фактов, которые позволяют доказать все изучаемые теоремы геометрии. Эти выделенные факты настолько просты, что не возникает вопроса о необходимости их вывода. Их назвали аксиомами (это греческое слово означает «удостоенное, принятое положение»).

Весь набор аксиом (система) называется аксиоматикой. Таким образом, аксиомы – это первоначальные факты геометрии, которые принимаются без доказательства и позволяют вывести из них все дальнейшие факты этой науки. Утверждения, выводимые из аксиом, называют теоремами.

Среди сформулированных Евклидом аксиом имеются, например, следующие: «через две точки можно провести прямую»; «порознь равные третьему равны между собой»; «если в плоскости даны прямая и лежащая вне этой прямой точка, то через эту точку можно провести в плоскости не более одной прямой, которая не пересекается с данной» (последняя из этих аксиом – аксиома параллельности – у Евклида формулировалась иначе).

Аксиомы есть не только в геометрии, но и в алгебре, и других математических науках. Например, равенства:

a + b = b + a,

a · b = b · a,

a + (b + c) = (a + b) + c,

a · (be) = (ab) · c,

a + 0 = a,

a · 1 = a,

a + (-a) = 0,

a · (1/a) = 1, при a≠0,

a · (b + c) = ab + ac,

выражающие свойства сложения и умножения, являются в алгебре аксиомами: они принимаются без доказательства и используются для вывода новых фактов (для доказательства теорем). Например, с помощью аксиом доказывают формулы квадрата суммы или разности, правила умножения многочленов, формулу суммы членов геометрической прогрессии и т.д.

В каждой математической науке аксиомы возникают в процессе ее долгого и сложного исторического развития. Первоначальные факты накапливаются в результате практической деятельности человека. Их проверяют, уточняют, систематизируют. Исключают из них те, которые могут быть выведены из других первоначальных фактов. Иногда обнаруживается, что оставшийся список простейших фактов (аксиом) – неполный, т.е. этих фактов недостаточно для вывода всех теорем, и тогда к этому списку добавляют недостающие аксиомы. В результате и получается полный набор аксиом (аксиоматика).

После Евклида математики многих поколений стремились улучшить, дополнить его аксиоматику геометрии. Большую роль сыграли работы современника Евклида, древнегреческого ученого Архимеда, который сформулировал аксиомы, относящиеся к измерению геометрических величин. Из ученых более позднего времени существенный вклад в усовершенствование аксиоматики геометрии внесли русский математик Н.И.Лобачевский, французский математик М. Паш, итальянский математик Д. Ж. Пеано. Логически безупречный список аксиом геометрии был указан на рубеже XIX и XX вв. немецким математиком Д. Гильбертом.

АКСИОМАТИКА И АКСИОМАТИЧЕСКИЙ МЕТОД

Аксиоматика - система аксиом той или иной математической науки. Например, аксиоматика элементарной геометрии содержит около двух десятков аксиом, аксиоматика числового поля – 9 аксиом. Наряду с ними важнейшую роль в современной математике играет аксиоматика группы, аксиоматика метрического и векторного пространств (см. Вектор) и др. Советским математикам С. Н. Бернштейну и А. Н. Колмогорову принадлежит заслуга аксиоматического описания теории вероятностей (см. Вероятностей теория). Десятки других направлений современной математики также развиваются на аксиоматической основе, т.е. на базе соответствующей системы аксиом (аксиоматики).

Аксиоматический метод – важный научный инструмент познания мира. Большинство направлений современной математики, теоретическая механика и ряд разделов современной физики строятся на основе аксиоматическою метода. В самой математике аксиоматический метод дает законченное, логически стройное построение научной теории. Не меньшее значение имеет и то, что математическая теория, построенная аксиоматически, находит многократные приложения в математике и естествознании.

Во многих разделах современной математики применяются метрические пространства как совокупности элементов произвольной природы, в которых для каждой пары a и b определено число ρ(a,b), называемое расстоянием между a и b и удовлетворяющее аксиоматике, состоящей всего из трех аксиом:

1) ρ(a,b) = ρ(b,a);

2) ρ(a,b)≥0, причем ρ(a,b) = 0 в том, и только в том случае, если a = b ;

3) ρ(a,b)≤ρ(a,c)+ρ(b,c).

«Аксиомы обладают наивысшей степенью общности и представляют начала всего». Аристотель

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