Борис Розенфельд - Пространства, времена, симметрии. Воспоминания и мысли геометра

Аффинные, проективные, конформные и псевдоконформные пространства называются инцидентностными. Евклидовы, псевдоевклидовы и неевклидовы пространства являются метрическими.

Представление о пространстве как о множестве точек сложилось только в XIX-XX веках. В древности считалось, что линии, поверхности и пространство не состоят из точек, а только являются "геометрическими местами", в которых находятся точки.

Аксиомы топологического пространства очень просты: 1) все пространство - замкнутое множество, 2) "пустое множество", т.е. множество, не содержащее ни одной точки, также считается замкнутым, 3) объединение конечного числа замкнутых множеств замкнуто, 4) пересечение любой совокупности замкнутых множеств замкнуто.

В случае, когда замкнутым считается любое множество точек, пространство называется дискретным, в случае, когда замкнутыми множестами считаются только все пространстно и пустое множество, пространство называется тривиальным.

В случае, если в топологическом пространстве задана такая система открытых множеств, что любое открытое множество является объединением множеств этой системы, то множества этой системы называются окрестностями. Окрестность, содержащая точку А, называется окрестностью точки А.

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

Два топологические пространства, между которыми установлено взаимно однозначное соответствие, причем замкнутые множества одного пространства соответствуют замкнутым множествам другого, называются гомеоморфными пространствами.

Однозначное преобразование одного топологического пространства в другое, переводящее замкнутые множества в замкнутые, называется непрерывным преобразованием.

Группы

Группой называется такое множество элементов любой природы, в котором всяким двум элементам А и В поставлен в соответствие третий элемент С=АВ, причем:

для всяких трех элементов A, B, C выполняется ассоциативный закон (AB)C=A(BC),

существует такой элемент I, что для каждого элемента А !А=А!=А, для каждого элемента А существует элемент A', для которого АA'=A'А=I. Элемент AB называется произведением элементов A и B, элемент I называется единицей группы, элемент A' называется обратным элементом для элемента A.

В случае, когда группа коммутативна, т.е. для всяких двух элементов А и В выполняется равенство АВ=ВА, групповая операция обычно называется сложением и обозначается С=А+В, роль eдиницы играет 0, а роль элемента обратного для А играет противоположный элемент -A. Если в множестве определены две операции - сложение и умножение, связанные дистрибутивным законом А(В+С)=АВ+АС, (А+В)С=АС+ВС, причем все множество со сложением и все множество без 0 с умножением являются коммутативными группами, то такое множество называется полем. Вещественные числа образуют поле R, комплексные числа образуют поле С Если в определении поля отказаться от коммутативности умножения, мы получим тело или косое поле. Примером тела является тело Н кватернионов а+bi+cj+dk, где i2=j2=-1, ij = -ji =k. Eсли в определении поля или тела отказаться от требования, чтобы множество без нуля являлось группой, мы получим кольцо. Два не нулевых элемента кольца, произведение которых равно 0, называются делителями нуля.

Две группы, два поля или два кольца, между которыми установлено взаимно однозначное соответствие, сохраняющее их операции, называются изоморфными. Если между двумя гпуппами G и H установлено однозначное, но не взаимно однозначное соответствие, сохраняющее групповую операцию, группы называются гомоморфными. В этом случае элементы первой группы, соответствующие единице второй, образуют подгруппу N, называемую инвариантной подгруппой или нормальным делителем. Группа H называется фактор-группой группы G по ее подгруппе N и обозначается G/N Группа, в которой нет инвариантных подгрупп, называется простой группой. Аналогично определяется гомоморфизм колец, в этом случае роль инвариантных подгрупп играют идеалы колец. Изоморфные отображения групп, полей и колец на себя называются автоморфизмами. Группы в которых имеются цепочки вложенных друг в друга инвариантных подгрупп, причем все фактор-группы каждой инвариантной подгруппы по следующей коммутативны, называются разрешимыми группами.

Линейные пространства и алгебры