Эйлерийн характеристик

Математикт, ялангуяа алгебрлиг топологи болон олон талтын комбинаторикт Эйлерийн характеристик (, мөн Эйлерийн тоо, Эйлер–Пуанкарегийн характеристик) нь топологийн инвариант бөгөөд огторгуйг хэрхэн нугалж, мушгиснаас үл хамааран түүний хэлбэр, бүтцийг тодорхойлох тоо юм. Ихэвчлэн  гэж тэмдэглэдэг.

Эйлерийн характеристикийг анх олон талтуудад тодорхойлж, тэдгээрийн тухай янз бүрийн теорем батлахад ашигласан. Платоны биетүүдийн хувьд 1537 онд Франческо Мауролико хэвлэгдээгүй гар бичмэлдээ дурдсан байдаг. Харин Леонард Эйлер уг ойлголтыг ерөнхий гүдгэр олон талтад нэвтрүүлсэн ч инвариант гэдгийг нь хатуу батлаагүй. Орчин үеийн математикт Эйлерийн характеристик нь гомологиос, цаашлаад гомологи алгебраас үүдэлтэй.

Олон талтууд
Гурван хэмжээст олон талтын  – орой,  – ирмэг,  – тал гэвэл, уг олон талтын гадаргуу дээрх Эйлерийн характеристик  нь  

Ямар ч гүдгэр гурван хэмжээст олон талт биетийн гадаргуугийн Эйлерийн характеристик  байна. Үүнийг 1758 онд Эйлер дэвшүүлсэн бөгөөд Эйлерийн олон талтын томьёо гэж нэрлэдэг. Энэ нь бөмбөлгийн Эйлерийн характеристиктай () адил. Бүх Платоны биетүүдийн томьёог доор харуулав.

 Нэр  Зураг  Орой  Ирмэг  Тал Эйлерийн характеристик:Тетраэдр  50px  4  6  4  2 Хексаэдр буюу куб  50px  8  12  6  2 Октаэдр  50px  6  12  8  2 Додекаэдр  50px  20  30  12  2 Икосаэдр  50px  12  30  20  2

Гүдгэр биш олон талтуудын гадаргуугийн Эйлерийн характерикстик нь янз бүр байж болно:

 Нэр  Зураг  Орой  Ирмэг  Тал Эйлерийн характеристик: Тетрахемихексаэдр  100px  6  12  7  1 Октахемиоктаэдр  100px  12  24  12  0 Кубохемиоктаэдр  100px  12  24  10  −2 Жижиг одон додекаэдр  100px  12  30  12  −6 Том одон додекаэдр  100px  20  30  12  2

Кэйлийн ерөнхийлөл

Артур Кэйли дараах томьёог ашиглан ерөнхийлсөн:

Энд  - нягтрал,  - огтлолын дүрсийн нягт,  - талын нягтрал.

Энэ нь гүдгэр (нягтрал нь бүх талдаа 1) болон гүдгэр бус Кеплер–Пуансогийн олон талт биетүүдэд хоёуланд нь хүчинтэй.

Проектив олон талтуудын Эйлерийн характеристик 1, харин тороид олон талтын гадаргууны Эйлерийн характеристик 0 байдаг.

Хавтгай граф

Холбогдсон хавтгай графын хувьд  (энд -д гаднах талыг оролцуулна).

Хэрэв граф  бүрэлдэхүүн хэсэгтэй бол 

Эйлерийн томьёоны баталгаа
Эйлерийн томьёог олон аргаар баталж болдгийн нэг нь Кошийн баталгаа юм. Коши (1811) гүдгэр олон талтын нэг талыг авч, үлдсэнийг хавтгай граф болгон хувиргах аргаар баталсан. Үндсэн санаа нь:

диагональ нэмэхэд  өөрчлөгдөхгүй,

гурвалжингуудыг шат дараалан авч хасахад мөн хадгалагдана,

эцэст нь ганц гурвалжин үлдэж  болдог,

тэгэхээр анхны олон талт биетэд .

Топологийн тодорхойлолт

Ямар ч хязгаарлагдмал CW-комплексын хувьд:

энд k<sub>n</sub нь n-хэмжээст эсийн тоо.

Симплициал комплексын хувьд ч мөн адил.

Бетти тоонуудын хувилбар

n-дэх Бетти тоо bn-г ашиглавал:

(бүх bn хязгаарлагдмал үед).

Дифференциал геометрийн өнцгөөс

Хилгүй, чиглэлтэй, авсаархан гөлгөр олон хэлбэрт -д:

энд  нь  доторх диагоналын өөртэйгөө огтлолцох тоо.

Шинж чанарууд
Гомотопийн инвариант

Гомотопиор адил огторгуйнууд ижил Эйлерийн характеристиктай.

Агшиж цэг болдог огторгуй:  = 1

Гүдгэр олон талтын гадаргуу (сфер):  = 2

Оролцоо-хасалтын зарчим

(тодорхой нөхцөлд).

Квотиент огторгуй

Холбосон нийлбэр

Үржвэрийн шинж

Бүрхэлт (covering space)

k-давхар бүрхэлтэд:

Жишээнүүд
Гадаргуунууд
НэрЗурагχИнтервал100px1Тойрог100px0Дугуй100px1Бөмбөлөг100px2Тор (хоёр тойрог)100px0Давхар тор100px−2Гурвалсан тор100px−4Бодит проектив хавтгай100px1Мёбиусын тууз100px0Клайны лонх100px0Хоёр бөмбөлөг(холбогдоогүй)200x200px2 + 2 = 4Гурван бөмбөлөг(холбогдоогүй)100x100px100x100px100x100px2 + 2 + 2 = 6 бөмбөлөг(холбогдоогүй) 100x100px ...100x100px

Хөлбөмбөг

Пентагон , хексагон  байвал:

Бөмбөлгийн  = 2 тул  . Ийм хөлбөмбөг үргэлж 12 пентагонтой.

Дурын хэмжээст орон зай

n-хэмжээст бөмбөлөг:

(сондгой n → 0, тэгш n → 2)

n-хэмжээст тор:  = 0

Ямар ч хаалттай сондгой хэмжээст олон янзын:  = 0

Бусад инвариантуудтай холбоо

Чиглэлтэй гадаргуу (генус g):

Чиглэлгүй гадаргуу:

Гаусс–Боннэгийн теорем: муруйлтыг интегралчлахад Эйлерийн характеристик гарна.

Ерөнхийлөл
Граф: 

Алгебрлиг геометрт шифийн когомологийн ээлжит нийлбэр

Орбифолдын Эйлерийн характеристик нь бутархай байж болно

Хэсэгчилсэн эрэмбийн олонлог (poset)-д Мёбиусын функцээр тодорхойлно

Хязгаарлагдмал категори, бүлэгт:

Бүлэг 
 = 

Ангилал:Алгебрлиг топологи
Ангилал:Топологийн графын онол
Ангилал:Олон талтын комбинаторик
Ангилал:Леонард Эйлер