, масштабах они демонстрируют заметное отличие. Так, к примеру, окружность представляет собой одномерное многообразие, и окрестность каждой из лежащей на ней точек можно уподобить отрезку прямой. Но в целом окружность совершенно не похожа на прямую линию. Теперь добавим еще одно измерение. Мы живем на поверхности сферы, которая представляет собой двухмерное многообразие. Взглянув на достаточно малый участок земной поверхности, можно обнаружить, что он имеет практически идеально плоскую форму как диск или фрагмент плоскости, несмотря на то что в целом эта поверхность искривлена и, следовательно, неевклидова. Если теперь выбрать на поверхности участок значительно большего размера, то отклонение от евклидовости станет очевидным, что приведет к необходимости сделать поправки на кривизну.
Одной из важных особенностей многообразий является их гладкость. Это свойство прямо вытекает из их определения, поскольку из сходства каждого малого участка поверхности с евклидовым пространством напрямую следует гладкость поверхности во всех точках. Геометры говорят о гладкости многообразия даже в том случае, если оно имеет некоторое количество «странных» точек, в которых условие локальной евклидовости не выполняется — например, точка пересечения двух линий. Такие точки носят название топологических сингулярностей, поскольку их в принципе невозможно сгладить. Вне зависимости то того, насколько мала выбранная вокруг такой точки окрестность, пересечение все равно останется пересечением.
Подобные вещи постоянно встречаются в римановой геометрии. В начале преобразования объект может быть гладким и простым для исследований, но стоит нам приблизиться к определенному пределу — скажем, постепенно заостряя его форму или срезая углы, — и возникновение сингулярности станет неизбежным. Впрочем, геометры обычно столь либеральны в этом вопросе, что даже пространство, имеющее бесконечно большое число сингулярностей, в их глазах все равно остается многообразием — в этом случае они называют его сингулярным пространством, или сингулярным многообразием, и рассматривают как предельную форму гладкого многообразия. При этом вместо двух линий, пересекающихся в одной точке, чаще рассматривают плоскости, результатом пересечения которых будет линия.
Это и есть грубое определение понятия многообразия. Теперь что касается слова «комплексное». Комплексным называется такое многообразие, каждой точке которого можно сопоставить определенное комплексное число. Подобное число имеет вид a + ib, где а и b — действительные числа, a