Вместо действительных чисел в качестве „предметов“ могут фигурировать изучаемые в геометрии движения на плоскости; в таком случае свойство группы заключается в том, что сумма любых двух движений дает снова движение. Переходя от простых примеров к более сложным, можно в качестве „предметов“ выбрать некоторые операции над предметами. В таком случае основным свойством группы будет то, что композиция любых двух операций также является операцией. Именно этот случай и изучал Галуа. Рассматривая уравнение, которое требовалось решить, он связывал с ним некоторую группу операций (к сожалению, мы не имеем возможности уточнить здесь, как это делается) и доказывал, что свойства уравнения отражаются на особенностях данной группы. Поскольку различные уравнения могут иметь одну и ту же группу, достаточно вместо этих уравнений рассмотреть соответствующую им группу. Это открытие ознаменовало начало современного этапа развития математики.
Из каких бы „предметов“ ни состояла группа: из чисел, движений или операций, — все они могут рассматриваться как абстрактные элементы, не обладающие никакими специфическими признаками. Для того чтобы определить группу, надо только сформулировать общие правила, которые должны выполняться для того, чтобы данную совокупность „предметов“ можно было назвать группой. В настоящее время математики называют такие правила групповыми аксиомами, теория групп состоит в перечислении всех логических следствий из этих аксиом. При этом последовательно обнаруживаются все новые и новые свойства; доказывая их, математик все более и более углубляет теорию. Существенно, что ни сами предметы, ни операции над ними никак не конкретизируются. Если после этого при изучении какой-нибудь частной задачи приходится рассмотреть некоторые специальные математические или физические объекты, образующие группу, то, исходя из общей теории, можно предвидеть их свойства. Теория групп, таким образом, дает ощутимую экономию в средствах; кроме того, она открывает новые возможности применения математики в исследовательской работе».
Введение понятия группы избавило математиков от обременительной обязанности рассматривать множество различных теорий. Оказалось, что нужно лишь выделить «основные черты» той или иной теории, и так как, по сути дела, все они совершенно аналогичны, то достаточно обозначить их одним и тем же словом, и сразу становится ясно, что бессмысленно изучать их по отдельности.
Галуа стремится внести в разросшийся математический аппарат новое единство. Теория групп — это, прежде всего, наведение порядка в математическом языке.
Теория групп, начиная с конца XIX века, оказала огромное влияние на развитие математического анализа, геометрии, механики и, наконец, физики. Оно впоследствии проникло в другие области математики — появились группы Ли в теории дифференциальных уравнений, группы Клейна в геометрии. Возникли также группы Галилея в механике и группы Лоренца в теории относительности.
НЕЕВКЛИДОВА ГЕОМЕТРИЯ
По определению Евклида параллельные линии — прямые, лежащие в одной плоскости и никогда не встречающиеся, как бы далеко мы их ни продолжали.
Но уже древнейшие комментаторы Евклида Посидоний (II век до нашей эры), Геминус (I век до нашей эры), Птолемей (II век нашей эры) — не считали пятый постулатум Евклида имеющим ту же очевидность, как другие по-стулатумы и аксиомы Евклида, и пытались или вывести его, как следствие других положений, или заменить определение параллельных, данное Евклидом, другим определением.
Во второй половине XVII столетия Лейбниц также критически относился к основным положениям Евклида. Как известно, он хотел также построить чисто геометрической анализ, который непосредственно выражал бы свойства положения, подобно тому как алгебра выражает величину.
Но только в первой половине XVIII века приходит мысль применить к вопросу о параллельных линиях и систематически провести в теории параллельных линий тот метод доказательства от противного, которым так часто пользовались греческие математики.
Эта гениальная идея принадлежала Саккери. В сочинении, появившемся в год его смерти «Евклид, избавленный от всякого пятна», Саккери берет исходным пунктом четырехугольник, которого две противоположные стороны, перпендикулярные к основанию, равны между собой. В таком четырехугольнике углы, образуемые равными сторонами с стороною, противоположною основанию, равны, и доказательство этого свойства четырехугольника не зависит от постулатума Евклида. Если они прямые, то постулатум Евклида доказан, так как в этом случае сумма углов треугольника равна двум прямым. Но Саккери (и в этом состоит его оригинальная гениальная мысль) делает и две другие гипотезы — гипотезу острого и гипотезу тупого угла, выводит из этих гипотез вытекающие следствия и пытается доказать невозможность этих следствий, т. е. допустимость только одной гипотезы прямого угла. Ему легко удается доказать, что гипотеза тупого угла недопустима, так как приводит к противоречиям. Для того чтобы найти такое же противоречие в гипотезе острого угла, он выводит ряд замечательных теорем, которые потом были снова доказаны Лежандром. Таковы, например, теоремы, по которым если та или другая или третья гипотеза имеет место для одного четырехугольника, то она имеет место и для всякого другого.
Через три года после ее появления, в 1766 году, Ламберт ставит ту же задачу, что и Саккери. Вместо четырехугольника с двумя прямыми углами и двумя равными сторонами Ламберт рассматривает четырехугольник с тремя прямыми углами и делает три гипотезы относительно четвертого угла.
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 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201