Псевдосфера: поверхность постоянной отрицательной кривизны

Псев­до­сфера — поверх­ность Бельтрами — явля­ется поверх­но­стью посто­ян­ной отрица­тель­ной гаус­со­вой кри­визны. Посто­ян­ство гаус­со­вой кри­визны во всех точ­ках поверх­но­сти имеет инте­рес­ную меха­ни­че­скую интер­пре­тацию: кусо­чек поверх­но­сти можно двигать по самой поверх­но­сти, и он, изги­ба­ясь, всё время будет при­легать к ней. Без матема­ти­че­ских зна­ний в слу­чае псев­до­сферы это кажется уди­ви­тель­ным.

Два важ­нейших и про­стейших при­мера поверх­но­стей посто­ян­ной гаус­со­вой кри­визны — плос­кость и сфера.

Плос­кость явля­ется при­ме­ром поверх­но­сти нуле­вой гаус­со­вой кри­визны. Листо­чек — кусо­чек плос­ко­сти — можно сдвигать по ней, пово­ра­чи­вать, и листо­чек все­гда будет при­легать к плос­ко­сти. Листо­чек можно пере­вер­нуть и снова положить на плос­кость. (Кроме того, из листочка можно свер­нуть цилиндр и конус, для кото­рых уже не так оче­видно, что это поверх­но­сти посто­ян­ной нуле­вой кри­визны.)

Движение листочка по плоскости
Движение листочка по плоскости
Движение листочка по плоскости

Гаус­сова кри­визна во всех точ­ках сферы ради­уса $R$ оди­на­кова и равна $1/R^2$. Сфе­ри­че­скую шапочку можно двигать по сфере, пово­ра­чи­вать отно­си­тельно цен­тра шапочки и она все­гда будет при­легать к сфере. Но если попро­бо­вать пере­вер­нуть шапочку, то при­ложить её к сфере не удастся.

Движениe шапочки по сфере
Движениe шапочки по сфере
Движениe шапочки по сфере

Трак­триса — плос­кая кри­вая, опи­сы­ва­емая точ­кой («тяжё­лым телом»), кото­рую тащат на верёвке посто­ян­ной длины $R$, идя по прямой $l$. Положе­ния верёвки при этом являются каса­тель­ными к трак­трисе, а сама кри­вая при­ближа­ется к прямой $l$, но не достигает её.

Трактриса: линия влечения, кривая погони
Трактриса: линия влечения, кривая погони
Трактриса: линия влечения, кривая погони

Если про­вращать трак­трису вокруг прямой $l$, полу­чится бес­ко­неч­ная поверх­ность. В фильме пока­зана поло­вина трак­трисы и поло­вина поверх­но­сти. Пол­но­стью поверх­ность бес­ко­нечна в обе сто­роны, во всех точ­ках глад­кая, кроме ребра воз­врата, являющегося окруж­но­стью ради­уса $R$.

Псевдосфера: поверхность Бельтрами
Псевдосфера: поверхность Бельтрами

В 1693 году Хри­стиан Гюйгенс заме­тил, что площадь этой поверх­но­сти и огра­ни­чи­ва­емый ею объём конечны: площадь равна $4\pi R^2$ и совпа­дает с площа­дью сферы ради­уса $R$, а объём в два раза меньше объёма шара ради­уса $R$.

В пер­вой поло­вине XIX века рос­сийский матема­тик немец­кого про­ис­хож­де­ния Фер­ди­нанд Мин­динг пока­зал, что поверх­ность имеет посто­ян­ную отрица­тель­ную гаус­сову кри­визну, рав­ную $-1/R^2$. Кроме того, он пока­зал, что поня­тия группы движе­ний и конгруэнт­ных фигур имеют смысл лишь на поверх­но­стях посто­ян­ной кри­визны.

А во вто­рой поло­вине XIX века, уже после смерти и Нико­лая Ива­но­вича Лоба­чев­ского, и Карла Фри­дриха Гаусса, и Яноша Бойяи, ита­льян­ский матема­тик Эудже­нио Бельтрами дока­зал, что на глад­кой части этой поверх­но­сти, вложен­ной в трёхмер­ное про­стран­ство, локально реа­ли­зу­ется геомет­рия плос­ко­сти Лоба­чев­ского и назвал поверх­ность псев­до­сфе­рой.

Гаус­сова кри­визна поверх­но­сти в точке равна про­из­ве­де­нию глав­ных кри­визн в этой точке. На плос­ко­сти и на сфере зна­че­ния глав­ных кри­визн не меняются от точки к точке. Псев­до­сфера — более слож­ная и инте­рес­ная поверх­ность посто­ян­ной кри­визны: глав­ные кри­визны меняются, а вот про­из­ве­де­ние их зна­че­ний, $-1/R^2$ — нет. И несмотря на это…

Возьмём неко­то­рый кусо­чек поверх­но­сти Бельтрами. Сде­лаем пла­стину из изги­ба­емого, но нерас­тяжимого мате­ри­ала, напри­мер, меди, в форме этого кусочка поверх­но­сти. Эта пла­стина, имеющая отрица­тель­ную гаус­сову кри­визну, может (как и плос­кий лист бумаги) изги­баться, и при этом рас­сто­я­ния по поверх­но­сти между точ­ками пла­стины не меняются. По знаме­ни­той тео­реме Гаусса, назван­ной им самим «egregium» (заме­ча­тель­ной), гаус­сова кри­визна зави­сит только от внут­рен­ней геомет­рии поверх­но­сти (т. е. рас­сто­я­ний по поверх­но­сти) и поэтому не меня­ется при изги­ба­ниях. Зна­чит, нашу пла­стину нельзя при­ложить ни к плос­ко­сти (имеющей нуле­вую кри­визну), ни к сфере (имеющей положи­тель­ную кри­визну). А вот к псев­до­сфере можно при­ложить в любой точке и в любом положе­нии!

Псев­до­сфера явля­ется поверх­но­стью враще­ния, и пла­стину, оче­видно, можно смещать вдоль парал­лели.

Движение пластины по псевдосфере
Движение пластины по псевдосфере

Менее оче­видно, что пла­стину можно сдвигать по высоте вдоль поверх­но­сти.

Движение пластины по псевдосфере
Движение пластины по псевдосфере

Без матема­ти­че­ских зна­ний не верится, но эту пла­стину можно вращать, и она все­гда будет при­легать к поверх­но­сти!

Движение пластины по псевдосфере
Движение пластины по псевдосфере
Движение пластины по псевдосфере
Движение пластины по псевдосфере

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

Движение пластины по псевдосфере
Движение пластины по псевдосфере

Ещё более инте­рес­ный факт, под­ме­чен­ный штат­ным крас­но­де­ревщи­ком лабо­ра­то­рии попу­ля­ри­за­ции и про­паганды матема­тики Матема­ти­че­ского инсти­тута им. В. А. Стек­лова РАН Алек­сан­дром Лещин­ским при изго­тов­ле­нии этой модели, заклю­ча­ется в том, что пла­стину можно «вывер­нуть наизнанку»: как и в слу­чае листочка на плос­ко­сти её можно пере­вер­нуть, и она снова будет при­легать к поверх­но­сти Бельтрами! Выво­ра­чи­ва­ние пла­стины свя­зано с реше­ни­ями важ­ного нели­ней­ного диффе­ренци­аль­ного урав­не­ния в част­ных про­из­вод­ных — урав­не­ния sin-Гор­дона $\frac{\partial^2u}{\partial x\,\partial y}=\sin u$, и в сле­дующей вер­сии фильма мы покажем, как это выгля­дит.

Опи­сан­ная модель, изго­тов­лен­ная на рубеже XIX—XX веков, как тогда было при­нято, из гипса, хра­нится в Музее Нико­лая Ива­но­вича Лоба­чев­ского Казан­ского феде­раль­ного уни­вер­си­тета. Дере­вян­ная модель, с кото­рой можно про­во­дить экс­пе­рименты, нахо­дится в лабо­ра­то­рии попу­ля­ри­за­ции и про­паганды матема­тики Матема­ти­че­ского инсти­тута им. В. А. Стек­лова Рос­сийской ака­демии наук.