Відкрити головне меню

Диференціальна топологія є розділом математики, в якому досліджуються диференційовані функції на диференційованих многовидах. Вона тісно пов'язана з диференціальною геометрією і разом вони складають геометричну теорію диференційованих многовидів.

ОписРедагувати

Диференціальна топологія має справу з властивостями та структурами многовиду, з єдиною вимогою до многовиду — задання гладкої структури[en], тобто такої, яка дозволяє застосувати математичний аналіз на многовиді. Гладкі многовиди є більш «гнучкими», ніж многовиди з додатковими геометричними структурами, наявність таких вимог обмежує класи многовидів та перетворень[en], які розглядаються у диференціальній топології. Наприклад, об'єм та ріманова кривина є інваріантами, які дозволяють розрізняти різні геометричні структури на одному многовиді, тобто можна плавно «розрівняти» певні многовиди, але це може потребувати викривлення простору і зміни кривини або об'єму. Наприклад, можна відобразити ділянку циліндра на евклідову площину.

З іншого боку, гладкі різноманіття більш жорсткі, ніж топологічні різноманіття. Джон Мілнор виявив, що деякі сфери мають більш ніж одну гладку структуру — див. екзотичну сферу та теорему Дональдсона[en]. Керваре показав топологічні різноманіття, які не мають гладкої структури.[1] Деякі конструкції теорії гладкого різноманіття, такі як існування дотичних зв'язків[2], можуть бути виконані в топологічній обстановці з набагато більше роботи, а інші не можуть.

Однією з основних тем в диференціальній топології є вивчення особливих видів гладких відображень між різноманіттями, а саме а саме імерсія і субмерсія, а також перехрещення підмноговидів через трансверсальність. Загалом, цікавить властивості та інваріанти гладких різноманіття, які переносяться дифеоморфізмами, інший особливий вид гладкого відображення . Теорія Морса — це ще одна гілка диференціальної топології, в якій топологічна інформація про різноманіття виводиться з змін у ранзі якобіанів функції.

Диференціальна топологія та диференціальна геометріяРедагувати

Диференціальна топологія та диференціальна геометрія спочатку характеризуються їх подібністю. Вони обидва вивчають в першу чергу властивості диференційованих різноманіття, іноді з різними накладами на них структур.

Одна з головних відмінностей полягає в характері проблем, які намагаються розглянути кожен предмет. З одного погляду[3] диференціальна топологія відрізняється від диференціальної геометрії, вивчаючи в першу чергу ті проблеми, які по суті є глобальними. Розглянемо приклад чашки для кави та пончика (Див. цей приклад). З точки зору диференціальної топології, пончик і чашка для кави однакові (у певному сенсі). Це, по суті, глобальна точка зору, однак, тому що диференціальному топологу неможливо визначити, чи є обидва об'єкти однаковими (у цьому сенсі), дивлячись на лише крихітну (локальну) частину одного з них. Він або вона повинні мати доступ до кожного цілого (глобального) об'єкта.

З точки зору диференціальної геометрії кавова чашка та пончик відрізняються, оскільки неможливо обертати чашку для кави таким чином, щоб його конфігурація була такою ж, як і пончик. Це також глобальний спосіб думати про проблему. Але важлива відмінність полягає в тому, що геометру не потрібен цілий об'єкт, щоб вирішити це. Наприклад, дивлячись лише на крихітну частину ручки, він може вирішити, що чашка для кави відрізняється від пончика, оскільки ручка є тоншою (або більш вигнутою) ніж будь-яка частина пончика.

Коротко кажучи, диференційована топологія вивчає структури на різноманіття, які в певному сенсі не мають цікавої локальної структури. Диференціальна геометрія вивчає структури на різноманіття, які мають цікаву локальну (а іноді навіть нескінченно малу) структуру.

Більш математично, наприклад, проблема побудови дифеоморфізму між двома різноманіттями тієї ж розмірності є глобальною, оскільки локально два таких різноманіття завжди дифеоморфні. Аналогічно, проблема обчислення кількості на многовиді, інваріантна при диференційованих відображеннях, за своєю суттю є глобальною, оскільки будь-який локальний інваріант буде тривіальним в тому сенсі, що він вже виявляється в топології Rn. Крім того, диференціальна топологія не обмежує себе обов'язково вивченням дифеоморфізму. Наприклад, симплектична топологія, підгалузь диференціальної топології — вивчає глобальні властивості симплектичного різноманіття. Диференціальна геометрія стосується проблем (які можуть бути локальними або глобальними), які завжди мають деякі нетривіальні локальні властивості. Таким чином, диференціальна геометрія може вивчати диференційовані різноманіття, обладнані з'єднанням, метрикою (яка може бути римановою, псевдоримановою або фінслеровою), особливого роду розподілу (наприклад, структури CR) тощо.

Ця різниця між диференціальною геометрією та диференціальною топологією розмивається, однак, у питаннях, що стосуються локальних інваріантів диффеоморфізма, таких як дотичний простір в точці. Диференціальна топологія також розглядає такі питання, які, зокрема, стосуються властивостей диференційовних відображень на Rn (наприклад, дотичні розшарування, джетні розшарування, теорема про продовження Уїтні[en] та інше).

Різниця в абстрактному вигляді коротка:

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

ПриміткиРедагувати

ПосиланняРедагувати

ДжерелаРедагувати