Гауссова кривизна: Число, яке поверхня не може підробити

Викривлення, яке 2D-комахи можуть виміряти

Гауссове викривлення K – це єдине число, що відповідає на химерно складне питання: наскільки вигнута поверхня в цій точці, виміряна повністю зсередини поверхні, без будь-якого посилання на 3D простір, в якому вона знаходиться. У кожній точці на гладкій поверхні можна знайти дві спеціальні перпендикулярні напрямки – напрямки максимального та мінімального вигину, з відповідними головними кривинками κ₁ і κ₂ (позитивні, якщо поверхня вигинається до власної нормалі, негативні – якщо вона відхиляється). Гауссове викривлення просто є їхній добуток: K = κ₁κ₂.

Куля, площина, седло: три ознаки

Сфера радіусу r викривляє простір однаково у всіх напрямках, κ₁ = κ₂ = 1/r, отже K = 1/r² > 0 всюди — невеликі кулі більш 'вигнуті', ніж великі, що відповідає інтуїції. Площина має нульову кривизну, тобто κ₁ = κ₂ = 0, тому K = 0. Седло (гиперболоїд Пабліча, наприклад, чіп Pringle) викривляється в одному напрямку і вниз у перпендикулярному, отже κ₁ та κ₂ мають протилежні знаки, і K = κ₁κ₂ < 0 — від'ємна кривизна, характерний вигляд гіперболічної геометрії. Ці три ознаки — позитивна, нульова та негативна — є повною класифікацією місцевої поверхневої геометрії, і вони саме тому, що куля, площина та седло кожне містить свою окрему неевклідову геометрію з власною версією паралельного постулату.

Задача з циліндром: вигнутий, але плоский

Якщо скласти пловуватий аркуш паперу в циліндр, він здається очевидно вигнутим, проте його гіуссівська кривизна точно дорівнює K = 0 у всіх точках, так само як і у початкового плоского аркуша. Ключ полягає в тому, що циліндр згинається лише в одному основному напрямку — навколо своєї окружності, κ₁ = 1/r, тоді як напрямок вздовж його осі залишається абсолютно прямим, κ₂ = 0. Їхній добуток дорівнює нулю незалежно від r. Це не дивне явище формули; це точне твердження того, чому можна скласти плоский шматок паперу в трубу або конус без розриву чи натягу, але ніколи не можна розкласти сферу (апельсинову шкірку, глобус) на плоску поверхню без розриву — гіуссівська кривизна сфери ≠ 0, і її зберігається будь-яким згинанням, яке не тягне поверхню.

Теорема Егерій: кривизна є вродженою

Гаусс довів цей факт збереження у 1827 році та був достатньо гордий, щоб назвати його Теоремою Егерій — «значною теоремою». Вона стверджує, що K залежить лише від довжин і кутів, вимірюваних на поверхні, ніколи не від того, як поверхня вбудована або зігнута у просторі навколишнього 3D середовища. Зігніть поверхню без розтягування, порвування або стиснення її — ізометрія — і K залишається незмінним у кожній точці, хоча форма поверхні в 3D виглядає зовсім іншою. Цей єдиний факт пояснює, чому будь-яка плоска карта Землі спотворює щось: сфера має K = 1/r² > 0 всюди, а плоска карта має K = 0, і Теорема Егерій гарантує, що лише деформація без згину не може перетворити одну на іншу — найдавніше та фундаментальне обмеження картографії є прямим наслідком.

Торус: змінні знаки на одній поверхні

Торус – найбагатша з п’яти форм тут, оскільки його кривизна не є постійною — вона змінює знак, коли ви рухаєтеся навколо нього. На зовнішньому краю обидва головні напрямки викривлення згинаються однаково (як сфера), отже K > 0. На внутрішньому краю, біля отвору, один напрямок згинається до центру, а інший — від нього, створюючи форму, схожу на сидіння (K < 0). Точно на верхніх і нижніх колах, де поверхня переходить між цими двома режимами, K = 0. Інтегруйте K по всьому торусу, а за теоремою Гаусса-Боннета позитивні та негативні області точно скасовуються, даючи в результаті 0 — що відповідає характеристиці Ейлера торусу χ = 0 з статті супутньої про формулу Ейлера, і виявляє, що гауссова кривизна та чисто комбінаційний V − E + F підрахунок є двома поглядами на одну й ту саму топологічну дійсність.

Чому це має значення за межами демонстрації

Гаусів закон кривизни — це не математична диво, яке зберігається в шафі — він визначає, чому геодезичні куполи потребують панелей різної форми, чому піца, тримана рівно, опускається та згортається (додавання кривини в одному напрямку ущільнює його в іншому за фіксованого K), чому листові металеві корпуси автомобілів можна вигинати лише певними двовигнутими формами без появи складок, і чому загальна теорія відносності, яка описує гравітацію як кривизну 4-вимірного простору-часу, точно узагальнює цей K до чотирьох вимірів за допомогою тензора Рімана.

Frequently asked questions

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Gaussian Curvature Explorer і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.