Здесь надо обязательно обратить внимание на слова «сгруппировать математические операции». Галуа, несомненно, подразумевает под этим теорию групп.
В первую очередь Галуа интересовали не отдельные математические задачи, а общие идеи, определяющие всю цепь соображений и направляющие логический ход мыслей. Его доказательства основываются на глубокой теории, позволяющей объединить все достигнутые к тому времени результаты и определить развитие науки надолго вперед. Через несколько десятков лет после смерти Галуа немецкий математик Давид Гильберт назвал эту теорию «установлением определенного остова понятий». Но какое бы название за ней не укрепилось, очевидно, что она охватывает очень большую область знаний.
«В математике, как в любой другой науке, — писал Галуа, — есть вопросы, требующие решения именно в данный момент. Это те насущные проблемы, которые захватывают умы передовых мыслителей независимо от их собственной воли и сознания».
Одна из проблем, над которой работал Эварист Галуа, — решение алгебраических уравнений. Что будет, если рассматривать лишь уравнения с числовыми коэффициентами? Ведь может же случиться, что хотя общей формулы для решения таких уравнений нет, корни каждого отдельного уравнения можно выразить в радикалах. А если это не так? Тогда должен быть какой-то признак, позволяющий определить, решается данное уравнение в радикалах или нет? Что же это за признак?
Первое из открытий Галуа состояло в том, что он уменьшил степень неопределенности их значений, т. е. установил некоторые из «свойств» этих корней. Второе открытие связано с методом, использованным Галуа для получения этого результата. Вместо того чтобы изучать само уравнение, Галуа изучал его «группу», или, образно говоря, его «семью».
«Группа, — пишет А. Дальма, — это совокупность предметов, имеющих определенные общие свойства. Пусть, например, в качестве таких предметов взяты действительные числа. Общее свойство группы действительных чисел состоит в том, что при умножении любых двух элементов этой группы мы получаем также действительное число. Вместо действительных чисел в качестве „предметов“ могут фигурировать изучаемые в геометрии движения на плоскости; в таком случае свойство группы заключается в том, что сумма любых двух движений дает снова движение. Переходя от простых примеров к более сложным, можно в качестве „предметов“ выбрать некоторые операции над предметами. В таком случае основным свойством группы будет то, что композиция любых двух операций также является операцией. Именно этот случай и изучал Галуа. Рассматривая уравнение, которое требовалось решить, он связывал с ним некоторую группу операций (к сожалению, мы не имеем возможности уточнить здесь, как это делается) и доказывал, что свойства уравнения отражаются на особенностях данной группы. Поскольку различные уравнения могут иметь одну и ту же группу, достаточно вместо этих уравнений рассмотреть соответствующую им группу. Это открытие ознаменовало начало современного этапа развития математики.
Из каких бы „предметов“ ни состояла группа: из чисел, движений или операций, — все они могут рассматриваться как абстрактные элементы, не обладающие никакими специфическими признаками. Для того чтобы определить группу, надо только сформулировать общие правила, которые должны выполняться для того, чтобы данную совокупность „предметов“ можно было назвать группой. В настоящее время математики называют такие правила групповыми аксиомами, теория групп состоит в перечислении всех логических следствий из этих аксиом. При этом последовательно обнаруживаются все новые и новые свойства; доказывая их, математик все более и более углубляет теорию. Существенно, что ни сами предметы, ни операции над ними никак не конкретизируются. Если после этого при изучении какой-нибудь частной задачи приходится рассмотреть некоторые специальные математические или физические объекты, образующие группу, то, исходя из общей теории, можно предвидеть их свойства. Теория групп, таким образом, дает ощутимую экономию в средствах; кроме того, она открывает новые возможности применения математики в исследовательской работе».
Введение понятия группы избавило математиков от обременительной обязанности рассматривать множество различных теорий. Оказалось, что нужно лишь выделить «основные черты» той или иной теории, и так как, по сути дела, все они совершенно аналогичны, то достаточно обозначить их одним и тем же словом, и сразу становится ясно, что бессмысленно изучать их по отдельности.
Галуа стремится внести в разросшийся математический аппарат новое единство. Теория групп — это, прежде всего, наведение порядка в математическом языке.
Теория групп, начиная с конца XIX века, оказала огромное влияние на развитие математического анализа, геометрии, механики и, наконец, физики. Оно впоследствии проникло в другие области математики — появились группы Ли в теории дифференциальных уравнений, группы Клейна в геометрии. Возникли также группы Галилея в механике и группы Лоренца в теории относительности.
НЕЕВКЛИДОВА ГЕОМЕТРИЯ
По определению Евклида параллельные линии — прямые, лежащие в одной плоскости и никогда не встречающиеся, как бы далеко мы их ни продолжали.
Но уже древнейшие комментаторы Евклида Посидоний (II век до нашей эры), Геминус (I век до нашей эры), Птолемей (II век нашей эры) — не считали пятый постулатум Евклида имеющим ту же очевидность, как другие по-стулатумы и аксиомы Евклида, и пытались или вывести его, как следствие других положений, или заменить определение параллельных, данное Евклидом, другим определением.
Во второй половине XVII столетия Лейбниц также критически относился к основным положениям Евклида. Как известно, он хотел также построить чисто геометрической анализ, который непосредственно выражал бы свойства положения, подобно тому как алгебра выражает величину.
Но только в первой половине XVIII века приходит мысль применить к вопросу о параллельных линиях и систематически провести в теории параллельных линий тот метод доказательства от противного, которым так часто пользовались греческие математики.
Эта гениальная идея принадлежала Саккери. В сочинении, появившемся в год его смерти «Евклид, избавленный от всякого пятна», Саккери берет исходным пунктом четырехугольник, которого две противоположные стороны, перпендикулярные к основанию, равны между собой. В таком четырехугольнике углы, образуемые равными сторонами с стороною, противоположною основанию, равны, и доказательство этого свойства четырехугольника не зависит от постулатума Евклида. Если они прямые, то постулатум Евклида доказан, так как в этом случае сумма углов треугольника равна двум прямым. Но Саккери (и в этом состоит его оригинальная гениальная мысль) делает и две другие гипотезы — гипотезу острого и гипотезу тупого угла, выводит из этих гипотез вытекающие следствия и пытается доказать невозможность этих следствий, т. е. допустимость только одной гипотезы прямого угла. Ему легко удается доказать, что гипотеза тупого угла недопустима, так как приводит к противоречиям. Для того чтобы найти такое же противоречие в гипотезе острого угла, он выводит ряд замечательных теорем, которые потом были снова доказаны Лежандром. Таковы, например, теоремы, по которым если та или другая или третья гипотеза имеет место для одного четырехугольника, то она имеет место и для всякого другого.
Через три года после ее появления, в 1766 году, Ламберт ставит ту же задачу, что и Саккери. Вместо четырехугольника с двумя прямыми углами и двумя равными сторонами Ламберт рассматривает четырехугольник с тремя прямыми углами и делает три гипотезы относительно четвертого угла. Его изложение имеет некоторые особенности сравнительно с изложением Саккери: он избегает прибегать к соображениям, основанным на непрерывности. Из того, что в гипотезах тупого и острого угла не существует подобия фигур, Ламберт выводит заключение о существовании абсолютной меры.
В 1799 году гениальный математик Карл Гаусс пошел по тому пути, по которому до него шли Саккери и Ламберт, — по пути планомерного вывода всех следствий гипотезы острого угла. Но его размышления привели к сомнению в возможности доказать аксиому Евклида, и к 1816 году у математика созрело убеждение в невозможности такого доказательства.
Высказанное публично мнение Гаусса о недоказуемости аксиомы Евклида не имело влияния и даже подверглось грубым нападкам. Это было одной из причин, почему он решился не публиковать своих исследований и мыслей по вопросу об основаниях, «боясь крика бео-тийцев» (письмо к Бесселю от 27 января 1829 года). Но он не прервал своих исследований и с величайшим интересом и сочувствием приветствовал те работы и мысли, которые совпадали с его исследованиями и взглядами.
Как далеко он пошел по этому пути, показывает его письмо к Вольфгангу Болиаи от 6 марта 1832 года, в котором Гаусс говорит, что между 1797 и 1802 годами он нашел те результаты, к которым пришел Иоганн Болиаи. Например, чисто геометрическое доказательство теоремы, что в неевклидовой геометрии разность суммы углов треугольника от 180 градусов пропорциональна площади треугольника.
Вольфганг Болиаи, друг школьных лет Гаусса, проявлял большой интерес к теории параллельных линий. Этот необычайный интерес, по свидетельству его письма к сыну в 1820 году, отравил ему все радости жизни, сделал его мучеником стремления освободить геометрию от пятна, «удалить облако, затемняющее красоту девы-истины». Но в то время как усилия почти всей жизни отца были направлены к доказательству 5-го постулатума, и ему не удалось достигнуть цели, его талантливый сын явился одним из творцов неевклидовой геометрии.
Иоганн Болиаи родился в 1802 году в Клаузенбурге. Уже в 1807 году отец с восторгом и гордостью пишет Гауссу о необыкновенных математических способностях мальчика, который к тринадцати годам уже изучил планиметрию, стереометрию, тригонометрию, конические сечения, а в 14 лет уже решал с легкостью задачи дифференциального и интегрального исчисления. Вольфгангу не удалось послать сына учиться в Геттингене у «математического колосса», и в 1818 году Иоганн поступил в Венскую инженерную академию, где уделялось большое внимание высшей математике. В 1823 году он кончил курс в академии и, как военный инженер, был послан в крепость Теметвар.
Вполне естественно, что обладавший необыкновенными математическими способностями Иоганн еще почти мальчиком решил испытать свои силы на решении того вопроса, над которым мучился отец, но про который отец же говорил ему, что решивший его достоин алмаза величиною в земной шар. В 1820 году Иоганн сообщает отцу, что он уже нашел путь к доказательству аксиомы, и тогда-то отец пишет ему горячее письмо, предостерегающее его от занятия теориею параллельных линий.
В зимнюю ночь 1823 года он нашел то основное соотношение между длиною перпендикуляра, опущенного из точки на прямую, и углом, который составляет с этим перпендикуляром ассимптота (параллельная линия Лобачевского), которое является ключом к неевклидовой тригонометрии. В восторге от своего открытия, которое, казалось ему, открывало путь к доказательству XI аксиомы, он пишет 3 ноября из Теметвара отцу: «Я создал новый, другой мир из ничего. Все, что посылал до сих пор, есть только карточный домик в сравнении с воздвигаемою теперь башнею».
В 1829 году Вольфганг закончил большое математическое сочинение, над которым трудился около двадцати лет. Как приложение к этой книге, было напечатано и бессмертное сочинение Иоганна Болиаи. Конечно, Болиаи не подозревали, что в это же самое время в далекой Казани Лобачевский печатал свою первую работу «О началах геометрии» (1829 год).
Николай Иванович Лобачевский (1792–1856) родился в Макарьевском уезде Нижегородской губернии. Отец его занимал место уездного архитектора и принадлежал к числу мелких чиновников, получавших скудное содержание. Бедность, окружавшая его в первые дни жизни, перешла в нищету, когда в 1797 году умер отец и двадцатипятилетняя мать осталась одна с детьми без всяких средств. В 1802 году она привезла троих сыновей в Казань и определила их в Казанскую гимназию, где очень быстро заметили феноменальные способности ее среднего сына.
Когда в 1804 году старший класс Казанской гимназии был преобразован в университет, Лобачевский был включен в число студентов по естественно-научному отделению. Учился юноша блестяще.
Лобачевский получил прекрасное образование. Лекции по астрономии читал профессор Литрофф. Лекции по математике он слушал у профессора Бартельса, воспитанника такого крупного ученого, как Карл Фридрих Гаусс.
Уже в 1811 году Лобачевский получил степень магистра, и его оставили в университете для подготовки к профессорскому званию. В 1814 году Лобачевский получил звание адъюнкта чистой математики, а в 1816 году был сделан профессором.
С 1819 года Лобачевский преподавал астрономию. Административная деятельность ученого началась с 1820 года, когда он был избран деканом.
Несмотря на изнурительную практическую деятельность, не оставлявшую ни минуты отдыха, Лобачевский никогда не прекращал своих научных занятий и во время своего ректорства напечатал в «Ученых записках Казанского университета» лучшие свои сочинения.
Если Иоганн Болиаи начал заниматься теорией параллельных линий под влиянием своего отца, то Лобачевский мог начать заниматься ею только потому, что интерес к этой теории особенно оживился в конце XVIII и начале XIX столетия.
В двадцатипятилетие, предшествующее появлению первой работы Лобачевского, не проходило и года, в которой не появилось бы одно или несколько сочинений по теории параллельных линий. Известно до 30 сочинений, напечатанных только на немецком и французском языках с 1813 по 1827 год.
Работы Лежандра возбудили интерес к теории параллельных линий и в среде русских математиков.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81