У топології, Жорданова крива — це довільна замкнена без самоперетинів крива в площині, інакше відома як проста замкнена крива.

Ілюстрація теореми про Жорданову криву. Жорданова крива (чорний) ділить площину на внутрішню (обмежену) область (блакитний) та зовнішню (необмежену) область (рожевий)

Теорема Жордана стверджує, що кожна Жорданова крива ділить площину на дві області — внутрішню область обмежену кривою і зовнішню, що містить усі ближні і дальні зовнішні точки, причому будь-який шлях, який зв'язує точки з двох областей, перетне цю криву в якійсь точці.

Хоча твердження теореми здається інтуїтивно очевидним, потрібна винахідливість, щоб довести її через елементарні логічні пояснення. Прозоріше доведення покладається на математичні механізми алгебричної топології, і веде до узагальнення для вищих вимірів.

Теорему названо на честь Каміля Жордана, який першим довів її.

Необхідні визначення і твердження теореми

ред.

Крива Жордана або проста замкнена крива в площині R2 це образ C ін'єктивного неперервного відображення кола в площину, φ: S1R2. Жорданова дуга в площині — образ ін'єктивного неперервного відображення замкненого відрізка.

Інакше, жорданова крива — це образ неперервного відображення φ: [0,1] → R2 такий, що φ(0) = φ(1) і з обмеженням, що φ в [0,1) є ін'єкцією. Перші дві умови кажуть, що C є неперервною замкненою кривою, тоді як остання вимагає відсутності самоперетинів.

Нехай C — жорданова крива в площині R2. Тоді її доповнення, R2 \ C, містить рівно дві зв'язні складові. Одна з цих складових є обмеженою множиною (внутрішня область), інша — необмежена (зовнішня область), і крива C є межею кожної зі складових.

Натомість, доповнення жорданової дуги в площині зв'язне.

Доведення

ред.

Перші відомі доведення теореми Жордана були аналітичними. Лейтзен Брауер узагальнив теорему на вищі розмірності і дав топологічне доведення із застосуванням ідей теорії гомологій. Подане тут доведення використовує редуковані сингулярні гомології і послідовності Маєра — Вієторіса для них.

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

 

Оскільки для будь-якого простору X нульова редукована група рівна  , де j — кількість компонент лінійної зв'язності простору X , із твердження теореми випливає те, що для будь якого вкладення   простір   має дві компоненти лінійної зв'язності, а отже дві компоненти зв'язності. Оскільки простір   є гомеоморфним   без одної точки, то й довільне вкладення   ділить простір   на дві компоненти зв'язності причому одна є обмеженою, а інша — ні. У випадку   кожна жорданова крива є вкладенням   і з теореми Жордана — Брауера випливає теорема Жордана про криві.

Доведення теореми Жордана — Брауера

ред.

Доведення використовує властивість, що редуковані сингулярні групи простору   (де   — одинична куля розмірності k і   теж є вкладенням) є тривіальними. Це можна довести індукцією за розмірністю k. Для k = 0, куля   є точкою і   гомеоморфний простору   Оскільки   є стягуваним простором то всі редуковані сингулярні групи   і тому також   є тривіальними.

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

Для доведення твердження для просторів   теж використовують індукцію за розмірністю k. Для k = 0, простір   є двома точками і   гомеоморфний   і його редуковані сингулярні групи рівні групам для гіперсфери   тобто   і всі інші редуковані сингулярні групи тривіальні. Тобто твердження теореми в цьому випадку є істинним.

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

Див. також

ред.

Посилання

ред.
  • M.I. Voitsekhovskii (2001), Жордана Теорема Жордана, у Hazewinkel, Michiel (ред.), Математична енциклопедія, Springer, ISBN 978-1-55608-010-4 (англ.)
  • Повне, в 6,500 рядків, формальне доведення теореми Жордана на Mizar (англ.)
  • Підбірка доведень теореми Жордана (англ.)
  • Просте доведення теореми Жордана (PDF)(англ.)