Ориентированные симплексыНичего не знаю, но интересуюсь элементарными математическими вещами.
Некоторые тексты:
https://mega.nz/#F!LyglUAAT!K4eIT3HGnARicCLOzbjHsQОриентированные симплексы.
Всегда смущало идиотское (но полезное?) определение ориентированного симплекса, использующее нумерацию вершин, и соответствующее определение его границы. Попытался дать инвариантное определение с помощью индукции.
Идея состоит в том, чтобы отождествить ориентированный симплекс с его границей.
Ориентированный 0-симплекс --- это точка с навешанным числом +1 или -1.
Ориентированный 1-симплекс --- это пара точек, на одну из которых навешано +1, а на другую --- -1.
И так далее.
Будем использовать не только +1 и -1, а любые целые числа.
Назовём симплексом конечное множество, а его подсимплексами --- подмножества. Для каждого симплекса $a$ определим абелеву группу $C_a$ и оператор границы: это ядро $\oplus C_b \to \oplus C_c$, где $b$ --- максимальные подсимплексы $a$, $c$ --- максимальные подсимплексы $b$ (каждый $c$ берётся по одному разу), а отображение является суммой (определённых ранее по индукции) операторов границы.
Для пустого множества абелева группа выбирается произвольно, для универсальности возьмём целые числа, а граница --- это нулевое отображение в ноль (пустую сумму).
Кажется, автоматически работает и для кубов.
Зачем нужно --- не знаю, просто одержим инвариантностью. А так, кажется довольно изящным и вполне в тавтологическом духе гомологий.
Tags: math