~~~~~~~~~~~~~~~~~~~~ Arc.Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~ 
Номер скриншота №:
✰ 6E58B2E0D2003A33850F4E6BC9AA69D9__1709836020 ✰
Заголовок документа оригинал.:
✰ Euler characteristic - Wikipedia ✰
Заголовок документа перевод.:
✰ Эйлерова характеристика — Википедия ✰
Снимок документа находящегося по адресу (URL):
✰ https://en.wikipedia.org/wiki/Euler_characteristic ✰
Адрес хранения снимка оригинал (URL):
✰ https://arc.ask3.ru/arc/aa/6e/d9/6e58b2e0d2003a33850f4e6bc9aa69d9.html ✰
Адрес хранения снимка перевод (URL):
✰ https://arc.ask3.ru/arc/aa/6e/d9/6e58b2e0d2003a33850f4e6bc9aa69d9__translat.html ✰
Дата и время сохранения документа:
✰ 09.06.2024 03:18:19 (GMT+3, MSK) ✰
Дата и время изменения документа (по данным источника):
✰ 7 March 2024, at 21:27 (UTC). ✰ 

~~~~~~~~~~~~~~~~~~~~~~ Ask3.Ru ~~~~~~~~~~~~~~~~~~~~~~ 
Сервисы Ask3.ru: 
 Архив документов (Снимки документов, в формате HTML, PDF, PNG - подписанные ЭЦП, доказывающие существование документа в момент подписи. Перевод сохраненных документов на русский язык.)https://arc.ask3.ruОтветы на вопросы (Сервис ответов на вопросы, в основном, научной направленности)https://ask3.ru/answer2questionТоварный сопоставитель (Сервис сравнения и выбора товаров) ✰✰
✰ https://ask3.ru/product2collationПартнерыhttps://comrades.ask3.ru


Совет. Чтобы искать на странице, нажмите Ctrl+F или ⌘-F (для MacOS) и введите запрос в поле поиска.
Arc.Ask3.ru: далее начало оригинального документа

Эйлерова характеристика — Википедия Jump to content

Эйлерова характеристика

Из Википедии, бесплатной энциклопедии

В математике , а точнее в алгебраической топологии и многогранной комбинаторике , характеристика Эйлера (или число Эйлера , или характеристика Эйлера-Пуанкаре ) является топологическим инвариантом , числом, которое описывает форму или структуру топологического пространства независимо от того, каким образом оно является. согнутый. Обычно его обозначают ( греческая строчная буква хи ).

Характеристика Эйлера изначально была определена для многогранников и использовалась для доказательства различных теорем о них, включая классификацию Платоновых тел . Это было указано для Платоновых тел в 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. Поэтому доказательство формулы Эйлера для многогранника сводится к доказательству для этого деформированного плоского объекта.

Если у грани более трех сторон, нарисуйте диагональ, то есть кривую, проходящую через грань, соединяющую две вершины, которые еще не соединены. Каждая новая диагональ добавляет одно ребро и одну грань и не меняет количество вершин, поэтому не меняет количество (Здесь необходимо предположение, что все грани являются дисками, чтобы с помощью теоремы Жордана показать , что эта операция увеличивает количество граней на одну.) Продолжайте добавлять ребра таким образом, пока все грани не станут треугольными.

Повторно примените любое из следующих двух преобразований, сохраняя инвариант, согласно которому внешняя граница всегда является простым циклом :

  1. Удалите треугольник, у которого только одна грань примыкает к внешней стороне, как показано на втором графике. Это уменьшает количество ребер и граней на одну каждую и не меняет количество вершин, поэтому сохраняет
  2. Удалите треугольник с двумя ребрами, общими для внешней части сети, как показано на третьем графике. При каждом удалении треугольника удаляется вершина, два ребра и одна грань, поэтому сохраняется

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

В этот момент одинокий треугольник имеет и так что Поскольку каждый из двух вышеуказанных шагов преобразования сохранял эту величину, мы показали для деформированного плоского объекта, демонстрируя таким образом для многогранника. Это доказывает теорему.

Дополнительные доказательства см. в Eppstein (2013). [4] Множественные доказательства, включая их недостатки и ограничения, используются в качестве примеров в и опровержения» Доказательства книге Лакатоса « (1976). [5]

Топологическое определение

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

где k n обозначает количество ячеек размерности n в комплексе.

Аналогично, для симплициального комплекса эйлерова характеристика равна знакопеременной сумме

где k n обозначает количество n -симплексов в комплексе.

Betti number alternative [ edit ]

более общем смысле для любого топологического пространства мы можем определить n- е число Бетти b n как ранг n В сингулярной группы гомологии. Тогда эйлерову характеристику можно определить как знакопеременную сумму

Эта величина корректно определена, если все числа Бетти конечны и если они равны нулю после определенного индекса n 0 . Для симплициальных комплексов это не то же определение, что в предыдущем абзаце, но вычисление гомологии показывает, что два определения дадут одно и то же значение для .

Свойства [ править ]

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

Гомотопическая инвариантность [ править ]

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

Например, любое сжимаемое пространство (то есть одна гомотопия, эквивалентная точке) имеет тривиальную гомологию, а это означает, что 0-е число Бетти равно 1, а остальные 0. Следовательно, его эйлерова характеристика равна 1. Этот случай включает евклидово пространство. любой размерности, а также твердый единичный шар в любом евклидовом пространстве — одномерный интервал, двумерный диск, трехмерный шар и т. д.

Другой пример: любой выпуклый многогранник гомеоморфен трехмерному шару , поэтому его поверхность гомеоморфна (следовательно, гомотопически эквивалентна) двумерной сфере , имеющей эйлерову характеристику 2. Это объясняет, почему выпуклые многогранники имеют эйлерову характеристику 2.

Принцип включения-исключения [ править ]

Если M и N — любые два топологических пространства, то эйлерова характеристика их непересекающегося объединения является суммой их эйлеровых характеристик, поскольку гомологии аддитивны при непересекающемся объединении:

В более общем смысле, если M и N являются подпространствами большего пространства X , то такими же являются и их объединение и пересечение. В некоторых случаях характеристика Эйлера подчиняется версии принципа включения-исключения :

Это справедливо в следующих случаях:

В целом принцип включения-исключения неверен. можно В качестве контрпримера взять X за действительную прямую , M , за подмножество состоящее из одной точки, N дополнение за к M. а

Связанная сумма [ править ]

Для двух связных замкнутых n-многообразий можно получить новое связное многообразие через операцию связанной суммы . Эйлерова характеристика связана формулой [8]

Свойство продукта [ править ]

Кроме того, эйлерова характеристика любого пространства произведений M × N равна

обладает также мощность множеств Этими свойствами сложения и умножения . Таким образом, характеристику Эйлера можно рассматривать как обобщение мощности; см . [1] .

Покрытие помещений [ править ]

Аналогично, для k -листного накрывающего пространства надо

В более общем смысле, для разветвленного накрывающего пространства эйлерова характеристика покрытия может быть вычислена из вышеизложенного с поправочным коэффициентом для точек ветвления, что дает формулу Римана-Гурвица .

Свойство расслоения [ править ]

Свойство произведения справедливо в гораздо более общем смысле для расслоений с определенными условиями.

Если является расслоением со слоем F, с базой B линейно связным и расслоением ориентируемым над полем K, то эйлерова характеристика с коэффициентами в поле K удовлетворяет свойству произведения: [9]

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

Для пучков волокон это также можно понимать с точки зрения карты переноса. – обратите внимание, что это подъем и идет «не туда» – чья композиция с картой проекции есть умножение на класс Эйлера слоя: [10]

Примеры [ править ]

Поверхности [ править ]

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

Имя Изображение час
Интервал 0 1
Круг 0 0
Диск 0 1
Сфера 0 2
Тор
(Продукт
два круга)
0 0
Двойной тор −2
Тройной тор −4
Реальный проективный
самолет
0 1
Лента Мёбиуса 0 0
бутылка Клейна 0 0
Две сферы
(Не подключен)
(Непересекающийся союз
двух сфер)
2 + 2 = 4
Три сферы
(Не подключен)
(Непересекающийся союз
трех сфер)
2 + 2 + 2 = 6
сферы
(Не подключен)
(Непересекающийся союз
из
n сфер)
. . . 2 + ... + 2 =

Футбольный мяч [ править ]

обычно изготавливают Футбольные мячи путем сшивания пятиугольных и шестиугольных частей, при этом по три части встречаются в каждой вершине (см., например, Adidas Telstar ). Если используются пятиугольники P и шестиугольники H , то есть лица, вершины и края. Таким образом, эйлерова характеристика

Поскольку сфера имеет эйлерову характеристику 2, отсюда следует, что То есть футбольный мяч, построенный таким образом, всегда имеет 12 пятиугольников. Число шестиугольников может быть любым неотрицательным целым числом, кроме 1. [11] Этот результат применим к фуллеренам и многогранникам Гольдберга .

Произвольные размеры [ править ]

Сравнение эйлеровых характеристик гиперкубов и симплексов размерностей от 1 до 4.
Эйлеровы характеристики шести четырехмерных аналогов правильных многогранников
Обычный
4 многогранника
V
к 0
И
к 1
Ф
kk2
С
к 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]

См. также [ править ]

Ссылки [ править ]

Примечания [ править ]

  1. ^ Фридман, Майкл (2018). История складывания в математике: математизация полей . Научные сети. Исторические исследования. Том. 59. Биркхойзер. п. 71. дои : 10.1007/978-3-319-72487-4 . ISBN  978-3-319-72486-7 .
  2. ^ Эйлер, Л. (1758). «Элементы рубрик для твердых тел». Новые комментарии Столичной академии наук (на латыни): 109–140 – через U. Pacific , Стоктон, Калифорния.
  3. ^ Ричесон (2008)
  4. ^ Эппштейн, Дэвид (2013). «Двадцать одно доказательство формулы Эйлера: V − E + F = 2 » (академ. чел. чбс.) . Проверено 27 мая 2022 г. - через Калифорнийский университет в Ирвине .
  5. ^ Лакатос, И. (1976). Доказательства и опровержения . Кембриджская технологическая пресса.
  6. ^ Эдвин Спэньер: Алгебраическая топология, Springer 1966, стр. 205.
  7. ^ Уильям Фултон: Введение в торические многообразия, 1993, Princeton University Press, стр. 141.
  8. ^ «Гомологии связной суммы» . Проверено 13 июля 2016 г.
  9. ^ Спэньер, Эдвин Генри (1982), Алгебраическая топология , Спрингер, ISBN  978-0-387-94426-5 , Применение спектральной последовательности гомологии, с. 481
  10. ^ Готлиб, Дэниел Генри (1975), «Пучки волокон и эйлерова характеристика» (PDF) , Journal of Differential Geometry , 10 (1): 39–48, doi : 10.4310/jdg/1214432674 , S2CID   118905134
  11. ^ Фаулер, П.В. и Манолопулос, DE (1995). Атлас фуллеренов . п. 32.
  12. ^ Милнор, Дж. В. и Сташефф, Джеймс Д. (1974). Характеристические классы . Издательство Принстонского университета.
  13. ^ Ричесон (2008) , с. 261
  14. ^ Пост, Олаф (2009). «Спектральный анализ метрических графов и связанных с ними пространств». Пределы графов в теории групп и информатике . Лозанна, Швейцария: EPFL Press . стр. 109–140. arXiv : 0712.1507 . Бибкод : 2007arXiv0712.1507P .
  15. ^ Эйлерова характеристика в n Lab
  16. ^ Ленстер, Том (2008). «Эйлерова характеристика категории» (PDF) . Документа Математика . 13 : 21–49. дои : 10.4171/дм/240 . S2CID   1046313 . Архивировано из оригинала (PDF) 6 июня 2014 г. – через Университет Иллинойса, Урбана-Шампейн .

Библиография [ править ]

Дальнейшее чтение [ править ]

  • Флегг, Х. Грэм; От геометрии к топологии , Дувр, 2001, с. 40.

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец оригинального документа.
Arc.Ask3.Ru
Номер скриншота №: 6E58B2E0D2003A33850F4E6BC9AA69D9__1709836020
URL1:https://en.wikipedia.org/wiki/Euler_characteristic
Заголовок, (Title) документа по адресу, URL1:
Euler characteristic - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)