n-скелет - n-skeleton

редактировать

Этот граф гиперкуба является 1-скелетом tesseract.

Эта статья не о топологическом каркасе концепции компьютерной графики

в математике, особенно в алгебраической топологии, n-скелет топологического пространства X, представленный как симплициальный комплекс (соответственно CW комплекс ), относится к подпространство Xn, которое представляет собой объединение симплексов X (соответственно клеток X) размерности m ≤ n. Другими словами, при индуктивном определении комплекса n-скелет получается остановкой на n-м шаге.

Эти подпространства увеличиваются с n. 0-скелет - это дискретное пространство, а 1-скелет - это топологический граф. Каркасы пространства используются в теории препятствий для построения спектральных последовательностей с помощью фильтрации и, как правило, для индуктивных аргументов. Они особенно важны, когда X имеет бесконечную размерность, в том смысле, что X n не становятся постоянными при n → ∞.

Содержание

1 В геометрии
2 Для симплициальных множеств
- 2.1 Коскелет
3 Ссылки
4 Внешние ссылки

В геометрии

В геометрии k-скелет n- многогранника P (функционально представленного как skel k (P)) состоит из всех элементов i-многогранника размерности до k.

Например:

skel 0 (куб) = 8 вершин

skel 1 (куб) = 8 вершин, 12 ребер

skel 2 (куб) = 8 вершин, 12 ребер, 6 квадратных граней

Для симплициальных множеств

Приведенное выше определение скелета симплициального комплекса является частным случаем понятие скелета симплициального множества . Вкратце, симплициальное множество $K ∗ {\ displaystyle K _ {*}}$ $K_ *$ можно описать набором $K i, i ≥ 0 {\ displaystyle K_ {i}, \ i \ geq 0}$ $K_i, \ i \ geq 0$ вместе с гранями и картами вырождения между ними, удовлетворяющими ряду уравнений. Идея n-скелета $skn (K ∗) {\ displaystyle sk_ {n} (K _ {*})}$ $sk_n (K_ *)$ состоит в том, чтобы сначала отбросить наборы $K i {\ displaystyle K_ {i}}$ $K_ {i}$ с $i>n {\ displaystyle i>n}$ $i>n$ , а затем для завершения коллекции $K i {\ displaystyle K_ {i}}$ $K_ {i}$ с помощью $i ≤ n {\ displaystyle i \ leq n}$ $i \ leq n$ до «наименьшего возможного» симплициального множества, так что результирующий симплициальный набор не содержит невырожденных симплексов в степенях $i>n {\ displaystyle i>n}$ $i>n$ .

Точнее, функтор ограничения

i ∗: Δ op S ets → Δ ≤ nop S ets {\ displaystyle i _ {*}: \ Delta ^ {op} Sets \ rightarrow \ Delta _ {\ leq n} ^ {op} Sets}

i_ *: \ Delta ^ {op} Устанавливает \ rightarrow \ Delta ^ {op} _ {\ leq n} Устанавливает

имеет сопряженный слева, обозначаемый $i ∗ {\ displaystyle i ^ {*}}$ $i ^ *$ . (Обозначения $i ∗, i ∗ {\ displaystyle i ^ {*}, i _ {*}}$ $i ^ *, i_ *$ сравнимы с одним из функторов изображений для пучков.) n-скелет некоторого симплициального множества $K ∗ {\ displaystyle K _ {*}}$ $K_ *$ определяется как

skn (K): = i ∗ i ∗ K. {\ displaystyle sk_ {n} (K): = i ^ {*} i _ {*} K.}

sk_n (K): = i ^ * i_ * K.

Coskeleton

Кроме того, $i ∗ {\ displaystyle i _ {*}}$ $i_ *$ имеет правое присоединение $i! {\ displaystyle i ^ {!}}$ $i ^ !$ . N-скелет определяется как

c o s k n (K): = i! i ∗ K. {\ displaystyle cosk_ {n} (K): = i ^ {!} i _ {*} K.}

cosk_n (K): = i ^! i_ * K.

Например, 0-скелет K - это постоянный симплициальный набор, определенный как $K 0 {\ displaystyle K_ {0}}$ $K_ {0}$ . 0-скелет задается чеховским нервом

⋯ → K 0 × K 0 → K 0. {\ displaystyle \ dots \ rightarrow K_ {0} \ times K_ {0} \ rightarrow K_ {0}.}

\ dots \ rightarrow K_0 \ times K_0 \ rightarrow K_0.

(Граничные морфизмы и морфизмы вырождения задаются различными проекциями и диагональными вложениями соответственно.)

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

Ссылки

Внешние ссылки

Weisstein, Eric W. "Скелет". MathWorld.