Треугольные сетки

Каждая 3D модель сделана из треугольников

Когда вы видите персонажа в видеоигре или здание в анимационном фильме, вы смотрите на тысячи — иногда миллионы — крошечных треугольников, сшитых вместе в сетку.

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

Сфера в игре — это на самом деле аппроксимация: 8 треугольников дают вам грубый октаэдр, 32 — что-то более округлое, 128 выглядит гладким для глаза. Чем больше треугольников, тем гладче поверхность — но тем больше работы для графического процессора. Этот компромисс между количеством треугольников — одна из центральных проблем в трёхмерной графике реального времени.

Матричные трансформации

Перемещение объектов с помощью математики

Каждый объект в 3D сцене должен быть позиционирован, повёрнут и масштабирован. Затем весь 3D мир должен быть спроецирован на вашу плоскую 2D сцену. Всё это делается с помощью матричных трансформаций — умножения координат на матрицы.

Трансляция — переместить объект: добавить смещение к каждой позиции вершины.

Поворот — вращать объект: умножить каждую вершину на матрицу поворота (синусы и косинусы).

Масштабирование — изменить размер объекта: умножить каждую координату на коэффициент масштабирования.

Проекция — сплющить 3D в 2D: перспективная трансформация, которая делает удалённые объекты меньше.

Современная видеоигра, работающая со скоростью 60 кадров в секунду, вычисляет миллионы этих матричных умножений каждый кадр. GPU (графические процессоры) существуют именно потому, что процессоры были слишком медленны для такого количества параллельной геометрии. GPU по своей сути — это массово-параллельный механизм матричного умножения.

Почему треугольники?

Это одно из самых фундаментальных проектных решений во всей компьютерной графике.

Данные как точки в пространстве

Машинное обучение работает в геометрическом пространстве

Каждая модель машинного обучения, которая работает с данными, по сути, делает геометрию. Каждая точка данных — это точка в N-мерном пространстве, где N — это количество признаков (переменных), описывающих её.

Дом, описанный площадью, количеством спален и расстоянием до центра города, — это точка в 3D пространстве. Медицинское изображение, описанное 10 000 значениями пикселей, — это точка в 10 000-мерном пространстве. Математика работает одинаково независимо от количества измерений.

Классификация — это поиск геометрических границ, которые разделяют классы. Машина опорных векторов (SVM) буквально находит гиперплоскость, которая разделяет два класса данных с максимально возможным запасом — самой широкой «улицей» между ними. Ближайшие к этой границе точки данных называются опорными векторами, и только они определяют, где проходит граница.

Словесные вложения и векторная арифметика

Слова как точки в пространстве

Одно из самых впечатляющих применений геометрии в машинном обучении — это словесные вложения. Системы, такие как Word2Vec и современные языковые модели, отображают каждое слово на точку в высокомерном пространстве (обычно 300–1000 измерений).

Слова со схожими значениями оказываются геометрически рядом друг с другом. «Собака» близка к «щенку» и «канине». «Франция» близка к «Германии» и «Испании».

Ещё более примечательно: направления в этом пространстве кодируют отношения. Знаменитый пример:

vector('король') - vector('мужчина') + vector('женщина') ≈ vector('королева')

Это чистая векторная геометрия. Направление от «мужчины» к «королю» примерно такое же, как направление от «женщины» к «королеве» — оба кодируют концепцию «королевской власти». Модель машинного обучения открыла эту геометрическую структуру из чтения текста, без того чтобы кто-то учил её, что такое королевская власть.

Гиперплоскости и запасы

Машины опорных векторов — один из самых ясных примеров геометрии в машинном обучении.

Большие круги и GPS

Кратчайший путь на сфере — это не прямая линия

На плоской поверхности кратчайший путь между двумя точками — это прямая линия. На сфере кратчайший путь — это дуга большого круга — кривая вдоль круга, центр которого находится в центре сферы.

Вот почему рейсы из Нью-Йорка в Токио летят над Арктикой. На плоской карте Меркатора этот маршрут выглядит абсурдно изогнутым на север. Но карта искажена — она растягивает полюсы, чтобы заполнить прямоугольник. На реальной сфере Земли арктический маршрут короче.

Каждая линия долготы — это большой круг. Экватор — это большой круг. Но линии широты (кроме экватора) НЕ большие круги — это меньшие круги, и полёт вдоль них не является кратчайшим путём.

GPS триангуляция использует сферическую геометрию по-другому. Каждый GPS спутник передаёт свою позицию и время. Ваш приёмник вычисляет расстояние до каждого спутника (используя скорость света). Один спутник даёт вам сферу возможных позиций. Два спутника дают вам круг, где две сферы пересекаются. Три спутника дают вам две точки — одна обычно абсурдна (глубоко в космосе), поэтому вы получаете свою позицию. Четвёртый спутник исправляет ошибки часов.

Почему рейсы изгибаются на картах

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

Геометрическое размерение и допуски

GD&T — насколько близко к совершенству достаточно близко?

Ни одна произведённая деталь не является геометрически идеальной. Вал, указанный как 25,000 мм, выйдет с токарного станка как 25,007 мм или 24,993 мм. Вопрос в том: какой размер отклонения приемлем?

Геометрическое размерение и допускание (GD&T) отвечает на этот вопрос геометрической точностью. Вместо простого утверждения «25 мм плюс или минус 0,013 мм» GD&T определяет зону допуска — геометрическую область, в которой должны находиться все точки на реальной поверхности.

Зона допуска может быть цилиндром (для вала), парой параллельных плоскостей (для плоской поверхности) или конусом (для коническая особенность). Форма зоны зависит от того, что важно функционально: округлость, плоскостность, перпендикулярность, концентричность.

Это чистая прикладная геометрия. Токарь, читающий чертёж GD&T, интерпретирует геометрические ограничения — находится ли эта поверхность в пределах 0,01 мм от идеальной плоскости? Находится ли ось этого отверстия в пределах 0,05 мм от перпендикулярной к базовой поверхности? Каждый допуск — это геометрический вопрос.

Концентрация напряжений и геометрия

Почему геометрия определяет, где всё ломается

Когда сила проходит через материал, она следует геометрическим путям. Гладкое, равномерное сечение равномерно распределяет напряжение. Но любой геометрический разрыв — отверстие, выемка, острый угол — концентрирует напряжение в этой точке.

Коэффициент концентрации напряжения полностью зависит от геометрии. Небольшое круглое отверстие в пластине под напряжением испытывает в 3 раза большее номинальное напряжение в её краях. Острая V-образная выемка может концентрировать напряжение в 5 раз, 10 раз или более, в зависимости от угла.

Вот почему окна самолётов овальные, а не прямоугольные. De Havilland Comet — первый в мире коммерческий реактивный самолёт — имел квадратные окна. В 1954 году два Comets развалились в полёте. Следствие выявило, что трещины усталости металла начались в острых углах окон, где напряжение концентрировалось на уровнях далеко за пределами того, что алюминий мог выдержать в течение повторных циклов герметизации.

Решением было геометрическое: скруглить углы. Овальное окно равномерно распределяет напряжение по периметру без точек острой концентрации. Каждый коммерческий самолёт с тех пор использует овальные или закруглённо-прямоугольные окна. Геометрия убила 56 человек. Геометрия также обеспечила решение.

Катастрофы Comet

Катастрофы De Havilland Comet навсегда изменили дизайн самолётов.

Связывание ниток

Универсальный язык

Посмотрите, что мы рассмотрели:

Архитектура использует те же жёсткие треугольники, которые укрепляют 3D сетки в видеоиграх.

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

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

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

Инженерия использует тот же анализ напряжений, который биомеханика использует для понимания переломов костей.

Геометрия одна и та же. Приложения различны. Треугольник жёсткий, держит ли он мост или рендерит дракона. Гиперплоскость разделяет классы, классифицирует ли она электронные письма как спам или оптимизирует форму крыла.

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

Ваш вывод

Мы исследовали геометрию в архитектуре, компьютерной графике, машинном обучении, навигации и инженерии.