Эйлерова характеристика
В математике , а более конкретно в алгебраической топологии и многогранной комбинаторике , характеристика Эйлера (или число Эйлера , или характеристика Эйлера-Пуанкаре ) является топологическим инвариантом , числом, которое описывает форму или структуру топологического пространства независимо от того, каким образом оно является. согнутый. Обычно его обозначают ( греческая строчная буква хи ).
Характеристика Эйлера изначально была определена для многогранников и использовалась для доказательства различных теорем о них, включая классификацию Платоновых тел . Это было указано для Платоновых тел в 1537 году в неопубликованной рукописи Франческо Мауролико . [ 1 ] Леонард Эйлер , в честь которого названа эта концепция, ввел ее для выпуклых многогранников в более общем смысле, но не смог строго доказать, что она является инвариантом. В современной математике эйлерова характеристика возникает из гомологии и, более абстрактно, гомологической алгебры .
Многогранники
[ редактировать ]Эйлерова характеристика χ классически определялась для поверхностей многогранников по формуле
где V , E и F — соответственно количество вершин граней ), ребер . и ( углов в данном многограннике Поверхность любого выпуклого многогранника имеет эйлерову характеристику.
Это уравнение, сформулированное Эйлером в 1758 году, [ 2 ] известна как формула многогранника Эйлера . [ 3 ] Это соответствует эйлеровой характеристике сферы ( т.е. ), и применяется тождественно к сферическим многогранникам . Иллюстрация формулы для всех платоновых многогранников приведена ниже.
Имя | Изображение | Вершины V |
Края И |
Лица Ф |
Эйлерова характеристика: |
---|---|---|---|---|---|
Тетраэдр | 4 | 6 | 4 | 2 | |
Шестигранник или куб | 8 | 12 | 6 | 2 | |
Октаэдр | 6 | 12 | 8 | 2 | |
Додекаэдр | 20 | 30 | 12 | 2 | |
Икосаэдр | 12 | 30 | 20 | 2 |
Поверхности невыпуклых многогранников могут иметь различные эйлеровы характеристики:
Имя | Изображение | Вершины V |
Края И |
Лица Ф |
Эйлерова характеристика: |
---|---|---|---|---|---|
Тетрагемишестиэдр | 6 | 12 | 7 | 1 | |
Октагемиоктаэдр | 12 | 24 | 12 | 0 | |
Кубогемиоктаэдр | 12 | 24 | 10 | −2 | |
Малый звездчатый додекаэдр | 12 | 30 | 12 | −6 | |
Большой звездчатый додекаэдр | 20 | 30 | 12 | 2 |
Для правильных многогранников Артур Кэли вывел модифицированную форму формулы Эйлера, используя плотность D , вершинной фигуры. плотность и плотность лица
Эта версия справедлива как для выпуклых многогранников (где все плотности равны 1), так и для невыпуклых многогранников Кеплера – Пуансо .
Все проективные многогранники имеют эйлерову характеристику 1, как и вещественная проективная плоскость , в то время как все поверхности тороидальных многогранников имеют эйлерову характеристику 0, как тор .
Плоские графы
[ редактировать ]Эйлерова характеристика может быть определена для связных плоских графов тем же способом. формула как для многогранных поверхностей, где F — количество граней в графе, включая внешнюю грань.
Эйлерова характеристика любого плоского связного графа G равна 2. Это легко доказывается индукцией по количеству граней, определяемых G , начиная с дерева в качестве базового случая. Для деревьев, и Если G имеет C компонентов (несвязные графы), то же рассуждение индукцией по F показывает, что Одна из немногих статей Коши по теории графов также доказывает этот результат.
Посредством стереографической проекции плоскость отображается в 2-сферу, так что связный граф отображается в многоугольное разложение сферы, имеющей эйлерову характеристику 2. Эта точка зрения неявно проявляется в доказательстве Коши формулы Эйлера, приведенном ниже.
Доказательство формулы Эйлера
[ редактировать ]Существует множество доказательств формулы Эйлера. Одно из них было дано Коши в 1811 году следующим образом. Это применимо к любому выпуклому многограннику и, в более общем смысле, к любому многограннику, граница которого топологически эквивалентна сфере, а грани топологически эквивалентны дискам.
Удалите одну грань многогранной поверхности. Оттягивая края отсутствующей грани друг от друга, деформируйте все остальные в плоский граф точек и кривых таким образом, чтобы периметр отсутствующей грани располагался снаружи, окружая полученный граф, как показано на рисунке. первый из трех графиков для частного случая куба. (Предположение о том, что многогранная поверхность вначале гомеоморфна сфере, делает это возможным.) После этой деформации правильные грани, как правило, перестают быть правильными. Число вершин и ребер осталось прежним, а количество граней уменьшено на 1. Поэтому доказательство формулы Эйлера для многогранника сводится к доказательству для этого деформированного плоского объекта.
Если у грани более трех сторон, нарисуйте диагональ, то есть кривую, проходящую через грань, соединяющую две вершины, которые еще не соединены. Каждая новая диагональ добавляет одно ребро и одну грань и не меняет количество вершин, поэтому не меняет количество (Здесь необходимо предположение, что все грани являются дисками, чтобы с помощью теоремы Жордана показать , что эта операция увеличивает количество граней на одну.) Продолжайте добавлять ребра таким образом, пока все грани не станут треугольными.
Повторно примените любое из следующих двух преобразований, сохраняя инвариант, согласно которому внешняя граница всегда является простым циклом :
- Удалите треугольник, у которого только одна грань примыкает к внешней стороне, как показано на втором графике. Это уменьшает количество ребер и граней на одну каждую и не меняет количество вершин, поэтому сохраняет
- Удалите треугольник с двумя ребрами, общими для внешней части сети, как показано на третьем графике. При каждом удалении треугольника удаляется вершина, два ребра и одна грань, поэтому сохраняется
Эти преобразования в конечном итоге сводят плоский граф к одному треугольнику. (Без инварианта простого цикла удаление треугольника может привести к отключению остальных треугольников, что сделает недействительной остальную часть аргумента. Правильный порядок удаления является элементарным примером обстрела . )
В этот момент одинокий треугольник имеет и так что Поскольку каждый из двух вышеуказанных шагов преобразования сохранял эту величину, мы показали для деформированного плоского объекта, демонстрируя таким образом для многогранника. Это доказывает теорему.
Дополнительные доказательства см. в Eppstein (2013). [ 4 ] Множественные доказательства, включая их недостатки и ограничения, используются в качестве примеров в книге Доказательства и опровержения» Лакатоса « (1976). [ 5 ]
Топологическое определение
[ редактировать ]Обсуждаемые выше полиэдральные поверхности представляют собой, выражаясь современным языком, двумерные конечные CW-комплексы . (Когда используются только треугольные грани, они представляют собой двумерные конечные симплициальные комплексы .) В общем, для любого конечного CW-комплекса эйлерову характеристику можно определить как знакопеременную сумму
где k n обозначает количество ячеек размерности n в комплексе.
Аналогично, для симплициального комплекса эйлерова характеристика равна знакопеременной сумме
где k n обозначает количество n -симплексов в комплексе.
Альтернативный номер Бетти
[ редактировать ]В более общем смысле для любого топологического пространства мы можем определить n- число Бетти b n как ранг n -й е сингулярной группы гомологии . Тогда эйлерову характеристику можно определить как знакопеременную сумму
Эта величина корректно определена, если все числа Бетти конечны и если они равны нулю после определенного индекса n 0 . Для симплициальных комплексов это не то же определение, что в предыдущем абзаце, но вычисление гомологии показывает, что два определения дадут одно и то же значение для .
Характеристики
[ редактировать ]Эйлерова характеристика хорошо ведет себя по отношению ко многим основным операциям над топологическими пространствами следующим образом.
Гомотопическая инвариантность
[ редактировать ]Гомология является топологическим инвариантом и, более того, гомотопическим инвариантом : два топологических пространства, которые гомотопически эквивалентны, имеют изоморфные группы гомологий. Отсюда следует, что эйлерова характеристика также является гомотопическим инвариантом.
Например, любое стягиваемое пространство (то есть одна гомотопия, эквивалентная точке) имеет тривиальную гомологию, а это означает, что 0-е число Бетти равно 1, а остальные 0. Следовательно, его эйлерова характеристика равна 1. Этот случай включает в себя евклидово пространство. любой размерности, а также твердый единичный шар в любом евклидовом пространстве — одномерный интервал, двумерный диск, трехмерный шар и т. д.
Другой пример: любой выпуклый многогранник гомеоморфен трехмерному шару , поэтому его поверхность гомеоморфна (следовательно, гомотопически эквивалентна) двумерной сфере , имеющей эйлерову характеристику 2. Это объясняет, почему выпуклые многогранники имеют эйлерову характеристику 2.
Принцип включения-исключения
[ редактировать ]Если M и N — любые два топологических пространства, то эйлерова характеристика их непересекающегося объединения является суммой их эйлеровых характеристик, поскольку гомологии аддитивны при непересекающемся объединении:
В более общем смысле, если M и N являются подпространствами большего пространства X , то такими же являются и их объединение и пересечение. В некоторых случаях характеристика Эйлера подчиняется версии принципа включения-исключения :
Это справедливо в следующих случаях:
- если M и N — эксцизная пара . В частности, если внутренности M внутри и N объединения все еще покрывают объединение. [ 6 ]
- если X — локально компактное пространство и используются эйлеровы характеристики с компактными носителями , никаких предположений относительно M или N не требуется.
- если X — стратифицированное пространство, все страты которого четномерны, принцип включения-исключения справедлив, если M и N — объединения стратов. Это применимо, в частности, если M и N — подмногообразия комплексного алгебраического многообразия . [ 7 ]
В целом принцип включения-исключения неверен. можно В качестве контрпримера взять X за действительную прямую , M за подмножество, из одной точки, а N за дополнение к M. состоящее
Связная сумма
[ редактировать ]Для двух связных замкнутых n-многообразий можно получить новое связное многообразие через операцию связанной суммы . Эйлерова характеристика связана формулой [ 8 ]
Свойство продукта
[ редактировать ]Кроме того, эйлерова характеристика любого пространства произведений M × N равна
обладает также мощность множеств Этими свойствами сложения и умножения . Таким образом, характеристику Эйлера можно рассматривать как обобщение мощности; см . [1] .
Покрытие помещений
[ редактировать ]Аналогично, для k -листного накрывающего пространства у одного есть
В более общем смысле, для разветвленного накрывающего пространства эйлерова характеристика накрытия может быть вычислена из вышесказанного с поправочным коэффициентом для точек ветвления, что дает формулу Римана-Гурвица .
Свойство расслоения
[ редактировать ]Свойство произведения справедливо в гораздо более общем смысле для расслоений с определенными условиями.
Если является расслоением со слоем F, с базой B линейно связным и расслоением ориентируемым над полем K, то эйлерова характеристика с коэффициентами в поле K удовлетворяет свойству произведения: [ 9 ]
В качестве особых случаев сюда входят продуктовые и перекрытия. и может быть доказано с помощью спектральной последовательности Серра на гомологиях расслоения.
Для пучков волокон это также можно понимать с точки зрения карты переноса. – обратите внимание, что это подъем и идет «не туда» – чья композиция с картой проекции есть умножение на класс Эйлера слоя: [ 10 ]
Примеры
[ редактировать ]Поверхности
[ редактировать ]Эйлерову характеристику можно легко вычислить для общих поверхностей, найдя полигонизацию поверхности (то есть описание как CW-комплекс ) и используя приведенные выше определения.
Имя | Изображение | час |
---|---|---|
Интервал | 1 | |
Круг | 0 | |
Диск | 1 | |
Сфера | 2 | |
Тор (Продукт два круга) |
0 | |
Двойной тор | −2 | |
Тройной тор | −4 | |
Реальный проективный самолет |
1 | |
Лента Мёбиуса | 0 | |
бутылка Клейна | 0 | |
Две сферы (не подключен) (Непересекающийся союз двух сфер) |
2 + 2 = 4 | |
Три сферы (не подключен) (Непересекающийся союз трех сфер) |
2 + 2 + 2 = 6 | |
сферы (не подключен) (Непересекающийся союз из n сфер) |
. . . | 2 + ... + 2 = 2н |
Футбольный мяч
[ редактировать ]обычно изготавливают Футбольные мячи путем сшивания пятиугольных и шестиугольных частей, при этом по три части встречаются в каждой вершине (см., например, Adidas Telstar ). Если пятиугольники P и шестиугольники H , то есть используются лица, вершины и края. Таким образом, эйлерова характеристика
Поскольку сфера имеет эйлерову характеристику 2, отсюда следует, что То есть футбольный мяч, построенный таким образом, всегда имеет 12 пятиугольников. Число шестиугольников может быть любым неотрицательным целым числом, кроме 1. [ 11 ] Этот результат применим к фуллеренам и многогранникам Гольдберга .
Произвольные размеры
[ редактировать ]Обычный 4 многогранника |
V к 0 |
И к 1 |
Ф к 2 |
С к 3 |
|
---|---|---|---|---|---|
5 ячеек | 5 | 10 | 10 | 5 | 0
|
8 ячеек | 16 | 32 | 24 | 8 | 0
|
16 ячеек | 8 | 24 | 32 | 16 | 0
|
24 ячейки | 24 | 96 | 96 | 24 | 0
|
120 ячеек | 600 | 1200 | 720 | 120 | 0
|
600 ячеек | 120 | 720 | 1200 | 600 | 0
|
мерная сфера n- имеет особые группы гомологии, равные
следовательно, имеет число Бетти 1 в размерностях 0 и n , а все остальные числа Бетти равны 0. Тогда его эйлерова характеристика равна χ = 1 + (−1). н ; то есть либо 0, если , либо n нечетное 2, n четное если .
n - мерное реальное проективное пространство представляет собой фактор n- сферы по антиподальному отображению . Отсюда следует, что его эйлерова характеристика ровно вдвое меньше, чем у соответствующей сферы – либо 0, либо 1.
n - мерный тор — это произведение n кругов. Его эйлерова характеристика равна 0 по свойству произведения. В более общем смысле любое компактное параллелизуемое многообразие , включая любую компактную группу Ли , имеет эйлерову характеристику 0. [ 12 ]
Эйлерова характеристика любого замкнутого нечетномерного многообразия также равна 0. [ 13 ] Случай ориентируемых примеров является следствием двойственности Пуанкаре . Это свойство в более общем смысле применимо к любому компактному стратифицированному пространству, все слои которого имеют нечетную размерность. Это также применимо к замкнутым нечетномерным неориентируемым многообразиям через ориентируемое двойное накрытие «два к одному» .
Отношения с другими инвариантами
[ редактировать ]Эйлерова характеристика замкнутой ориентируемой поверхности может быть вычислена по ее роду g (количество торов в разложении поверхности на связную сумму ; интуитивно - количество «ручек») как
Эйлерова характеристика замкнутой неориентируемой поверхности может быть вычислена по ее неориентируемому роду k (числу действительных проективных плоскостей в разложении поверхности на связную сумму) как
Для замкнутых гладких многообразий эйлерова характеристика совпадает с числом Эйлера , т. е. классом Эйлера его касательного расслоения , вычисленным на фундаментальном классе многообразия. Класс Эйлера, в свою очередь, относится ко всем другим характеристическим классам векторных расслоений .
Для замкнутых римановых многообразий эйлерову характеристику также можно найти путем интегрирования кривизны; см. теорему Гаусса–Бонне для двумерного случая и обобщенную теорему Гаусса–Бонне для общего случая.
Дискретным аналогом теоремы Гаусса-Бонне является теорема Декарта о том, что «общий дефект » многогранника , измеренный в полных окружностях, является эйлеровой характеристикой многогранника.
Теорема Хадвигера характеризует эйлерову характеристику как уникальную ( с точностью до скалярного умножения аддитивную, не обязательно неотрицательную функцию множества, определенную на конечных объединениях компактных ) трансляционно-инвариантную, конечно - выпуклых множеств в ℝ. н то есть «однородный степени 0».
Обобщения
[ редактировать ]Для каждого комбинаторного клеточного комплекса эйлерова характеристика определяется как количество 0-клеток минус количество 1-клеток плюс количество 2-клеток и т. д., если эта знакопеременная сумма конечна. В частности, эйлерова характеристика конечного множества — это просто его мощность, а эйлерова характеристика графа — это количество вершин минус количество ребер. (Олаф Пост называет это «хорошо известной формулой». [ 14 ] )
В более общем смысле можно определить эйлерову характеристику любого цепного комплекса как знакопеременную сумму рангов групп гомологий цепного комплекса, предполагая, что все эти ранги конечны. [ 15 ]
Вариант эйлеровой характеристики, используемый в алгебраической геометрии , следующий. Для любого связного пучка на правильной схеме X ее эйлерову характеристику определяют как
где - размерность i -й когомологий пучка группы . В этом случае все размеры конечны по теореме Гротендика о конечности . Это пример эйлеровой характеристики цепного комплекса, где цепной комплекс представляет собой конечное разрешение ациклическими пучками.
Другое обобщение понятия эйлеровой характеристики на многообразиях происходит от орбифолдов (см. Эйлерову характеристику орбифолда ). Хотя каждое многообразие имеет целочисленную эйлерову характеристику, орбифолд может иметь дробную эйлерову характеристику. Например, каплевидный орбифолд имеет эйлерову характеристику 1 + 1 / p , где p — простое число, соответствующее углу конуса 2 п / п .
Понятие эйлеровой характеристики приведенных гомологий ограниченного конечного ЧУМ является еще одним обобщением, важным в комбинаторике . ЧУ-множество является «ограниченным», если оно имеет наименьший и наибольший элементы; назовем их 0 и 1. Эйлерова характеристика такого ЧУ-множества определяется как целое число ц (0,1) , где ц — функция Мёбиуса этого ЧУ-множества в алгебре инцидентности .
Это можно дополнительно обобщить, определив рациональнозначную эйлерову характеристику для некоторых конечных категорий - понятие, совместимое с эйлеровыми характеристиками графов, орбифолдов и частично упорядоченных множеств, упомянутых выше. В этом случае эйлерова характеристика конечной группы или моноида G равна 1 / | г | , а эйлерова характеристика конечного группоида представляет собой сумму 1 / | г я | , где мы выбрали одну репрезентативную группу G i для каждого компонента связности группоида. [ 16 ]
См. также
[ редактировать ]- исчисление Эйлера
- класс Эйлера
- Список тем, названных в честь Леонарда Эйлера
- Список однородных многогранников
Ссылки
[ редактировать ]Примечания
[ редактировать ]- ^ Фридман, Майкл (2018). История складывания в математике: математизация полей . Научные сети. Исторические исследования. Том. 59. Биркхойзер. п. 71. дои : 10.1007/978-3-319-72487-4 . ISBN 978-3-319-72486-7 .
- ^ Эйлер, Л. (1758). «Элементы рубрик для твердых тел». Новые комментарии Столичной академии наук (на латыни): 109–140 – через U. Pacific , Стоктон, Калифорния.
- ^ Ричесон (2008)
- ^ Эппштейн, Дэвид (2013). «Двадцать одно доказательство формулы Эйлера: V − E + F = 2 » (академ. чел. чбс.) . Проверено 27 мая 2022 г. - через Калифорнийский университет в Ирвине .
- ^ Лакатос, И. (1976). Доказательства и опровержения . Кембриджская технологическая пресса.
- ^ Эдвин Спэньер: Алгебраическая топология, Springer 1966, стр. 205.
- ^ Уильям Фултон: Введение в торические многообразия, 1993, Princeton University Press, стр. 141.
- ^ «Гомологии связной суммы» . Проверено 13 июля 2016 г.
- ^ Спэньер, Эдвин Генри (1982), Алгебраическая топология , Спрингер, ISBN 978-0-387-94426-5 , Применение спектральной последовательности гомологии, с. 481
- ^ Готлиб, Дэниел Генри (1975), «Пучки волокон и эйлерова характеристика» (PDF) , Journal of Differential Geometry , 10 (1): 39–48, doi : 10.4310/jdg/1214432674 , S2CID 118905134
- ^ Фаулер, П.В. и Манолопулос, Делавэр (1995). Атлас фуллеренов . п. 32.
- ^ Милнор, Дж. В. и Сташефф, Джеймс Д. (1974). Характеристические классы . Издательство Принстонского университета.
- ^ Ричесон (2008) , с. 261
- ^ Пост, Олаф (2009). «Спектральный анализ метрических графов и связанных с ними пространств». Пределы графов в теории групп и информатике . Лозанна, Швейцария: EPFL Press . стр. 109–140. arXiv : 0712.1507 . Бибкод : 2007arXiv0712.1507P .
- ^ Эйлерова характеристика в n Lab
- ^ Ленстер, Том (2008). «Эйлерова характеристика категории» (PDF) . Документа Математика . 13 : 21–49. дои : 10.4171/дм/240 . S2CID 1046313 . Архивировано из оригинала (PDF) 6 июня 2014 г. – через Университет Иллинойса, Урбана-Шампейн .
Библиография
[ редактировать ]- Ричесон, DS (2008). Жемчужина Эйлера: формула многогранника и рождение топологии . Издательство Принстонского университета.
Дальнейшее чтение
[ редактировать ]- Флегг, Х. Грэм; От геометрии к топологии , Дувр, 2001, с. 40.
Внешние ссылки
[ редактировать ]- Вайсштейн, Эрик В. «Эйлерова характеристика» . Математический мир .
- Вайсштейн, Эрик В. «Формула многогранника» . Математический мир .
- Матвеев, С.В. (2001) [1994], «Эйлерова характеристика» , Энциклопедия Математики , EMS Press
- Анимированная версия доказательства формулы Эйлера с использованием сферической геометрии .