UK 
EnglishТипова
Polski🍩 Тор та Рід Поверхні — Топологія Орієнтованих Поверхонь
Тор і рід поверхні: топологія орієнтованих поверхонь, ейлерова характеристика, ручки та класифікація замкнених поверхонь.
Про цю симуляцію
Цей симулятор генерує параметричні сітки для трьох замкнених орієнтованих поверхонь — сфери, тора та подвійного тора — класифікованих за їхнім родом g, кількістю ручок. Вершини тора обчислюються за формулою ((R+r·cos v)·cos u, (R+r·cos v)·sin u, r·sin v); сфера використовує стандартну сферичну параметризацію; подвійний тор зшиває дві торичні трубки поруч як візуальний замінник поверхні роду 2. Кожна вершина обертається в 3D (перетягуванням або авто-обертанням) і проєктується простою перспективою d = fov/(fov+z). Каркасний вигляд, вигляд, затінений за алгоритмом художника, та вигляд фундаментального многокутника відображають ту саму сітку по-різному, а панель у реальному часі показує рід g, ейлерову характеристику χ = 2−2g та фундаментальну групу π₁.
Часті запитання
Що означає «рід» і як цей симулятор його візуалізує?
Рід g підраховує кількість незалежних ручок (або отворів) замкненої орієнтованої поверхні: сфера має g=0, тор (бублик) має g=1, а подвійний тор має g=2. Перемикання кнопок Surface змінює одну з трьох різних параметричних сіток — сферу, одинарний тор і зшитий подвійний тор — і панель фактів одразу оновлює рід, ейлерову характеристику та фундаментальну групу відповідно.
Що таке ейлерова характеристика і як вона тут обчислюється?
Ейлерова характеристика χ = V − E + F є топологічним інваріантом будь-якої тріангуляції поверхні, і для замкнених орієнтованих поверхонь вона задовольняє χ = 2 − 2g. Замість того щоб рахувати вершини, ребра та грані відображуваної сітки безпосередньо, цей симулятор бере χ за відомою формулою для поточно обраного роду (0 → 2, 1 → 0, 2 → −2) і показує його на панелі топологічних інваріантів.
Як генерується подвійний тор і чи є він топологічно точним?
Подвійний тор (рід 2) наближено будується генеруванням двох менших торичних трубок поруч і зміщенням почергових половин кожного кільця, що дає сітку, схожу на вісімку, а не математично точну зв'язну суму двох торів зі зрощеною ручкою між ними. Це візуальне наближення, обране для простоти рендерингу в реальному часі; проте його фундаментальний многокутник (восьмикутник [a,b][c,d]) та ейлерова характеристика χ=−2 є точними інваріантами роду 2.
Що показує вигляд фундаментального многокутника (Polygon Net)?
Будь-яку замкнену орієнтовну поверхню можна побудувати, взявши плоский многокутник і склеївши його краї попарно за словом на кшталт aba⁻¹b⁻¹ (тор), aa⁻¹ (сфера) або [a,b][c,d] (подвійний тор). Цей вигляд малює цей многокутник із кольоровими краями зі стрілками, що позначають, які саме сторони ототожнюються і в якому напрямку — перемикання Surface змінює як форму многокутника, так і його слово країв відповідно до обраного роду.
Чому сферу не можна плавно деформувати в тор?
Дві поверхні мають однакову форму топологічно (гомеоморфні) лише якщо одну можна неперервно розтягнути в іншу без розрізання чи склеювання, а отвір тора робить це неможливим для сфери. Це алгебраїчно відображено фундаментальною групою π₁, показаною на панелі інваріантів: вона тривіальна для сфери, але ℤ × ℤ для тора (по одному твірному елементу на кожну незалежну петлю навколо отвору), і гомеоморфні поверхні завжди повинні мати однакову фундаментальну групу.