Симпліційне відображення

У алгебричній топології симпліційним відображенням між двома симпліційними комплексами називається відображення, що переводить вершини одного комплекса у вершини іншого і до того ж образи вершин деякого симплекса теж є вершинами симплекса (можливо із повтореннями). Також відображення продовжуються до відображень між поліедрами, лінійно на кожному симплексі через барицентричні координати.

Означення

ред.

Нехай K і L є симпліційними комплексами, а |K| і |L| позначають відповідні поліедри. Тоді відображення   називається симпліційним, якщо воно задовольняє такі властивості:

  1. Якщо v є вершиною симпліційного комплексу K, то f(v) є вершиною комплексу L.
  2. Якщо   є вершинами деякого симплекса комплексу K то   є вершинами деякого симплекса комплексу L (вершини можуть повторюватися).
  3. Якщо деяка точка може бути записана через вершини її симплекса як:
 
то її образ при відображенні є рівним
 
тобто відображення є лінійним відносно барицентричних координат.

Якщо розглядати тільки відображення на вершинах, то перші дві властивості дають означення симпліційного відображення між симпліційними комплексами, зокрема абстрактними симпліційними комплексами.

Бієктивні симпліційні відображення називають симпліційними ізоморфізмами.

Властивості

ред.
  • Якщо   і   є симпліційними відображеннями (між симпліційними комплексами, чи відповідними поліедрами), то   теж є симпліційним відображенням.
  • Симпліційне відображення   між поліедрами є неперервним.
Оскільки відображення f за означенням є лінійним на кожному симплексі комплекса K, то воно є неперервним на цих симплексах. Нехай   є замкнутою підмножиною. Тоді також   є замкнутою множиною, для кожного відкритого симплекса у L. Відповідно із неперервності   є замкнутою множиною для кожного відкритого симплекса (t) у K. Звідси і   є замкнутою множиною для кожного відкритого симплекса (t) у K. Оскільки відкриті симплекси утворюють відкрите покриття простору K, то і   є замкнутою множиною, тобто відображення є неперервним.

Симпліційне наближення

ред.

Нехай   є неперервним відображенням між поліедрами, а   позначає зірку вершини комплексу. Симпліційне відображення   називається симпліційним наближенням до g, якщо для всіх вершин  .

Властивості

ред.
  • Нехай   — симпліційне відображення і   його симпліційне наближення. Тоді  
  • Якщо   є неперервним відображенням між поліедрами і для кожної вершини   існує вершина  , така що   то існує симпліційне наближення f до відображення g для якого  
Необхідно лише перевірити, що якщо   є вершинами деякого симплекса комплексу K то   є вершинами деякого симплекса комплексу L. Нехай точка p належить відкритому симплексу   Тоді   і тому   Тобто для відкритого симплекса, якому належить точка   усі   є вершинами. Відповідно вони є вершинами деякої грані цього симплекса.
  • Якщо   є неперервним відображенням між поліедрами і   його симпліційним наближенням, то відображення   і   є гомотопними. До того ж гомотопію можна вибрати відносною до множини точок у яких  
Якщо точка p належить відкритому симплексу   то, як у доведенні попередньої властивості   належить симплексу для якого всі   є вершинами. Відповідно   також належить цьому симплексу, як і відрізок, що сполучає   і  . Відповідно можна побудувати гомотопію від f до g вздовж цих відрізків. За побудовою вона буде відносною до множини точок у яких  
  • Нехай   і   є неперервними відображеннями між поліедрами і   і   є симпліційними наближеннями до   і   відповідно. Тоді   є симпліційним наближенням до  .
  • Теорема про симпліційне наближення. Якщо   є неперервним відображенням між поліедрами, то існує число   таке, що для всіх   існує симпліційне наближення   до   (де   позначає застосування n разів процесу барицентричного розбиття до симпліційного комплексу.

Див. також

ред.

Література

ред.
  • Maunder, Charles Richard Francis (1980), Algebraic topology, Cambridge University Press, ISBN 9780521231619
  • Munkres, James R. (1995). Elements of Algebraic Topology. Westview Press. ISBN 978-0-201-62728-2.
  • Isadore Singer and John A. Thorpe, Lecture Notes on Elementary Geometry and Topology, Springer-Verlag (1967) ISBN 0-387-90202-3