Що таке гіпотеза Пуанкаре і хто її довів?

Гіпотеза Пуанкаре (1904) стверджує: кожне просто зв'язне компактне 3-вимірне різноманіття без краю гомеоморфне 3-сфері S³. Це одна з семи Задач тисячоліття Clay Institute. Григорій Перельман довів її у 2002–2003 рр., відмовившись від Премії Філдса і $1 000 000.

Чому Пуанкаре вважається батьком теорії хаосу?

Вивчаючи проблему трьох тіл (для конкурсу короля Оскара II, 1887–1889), Пуанкаре виявив, що траєкторії можуть бути нескінченно складними та непередбачуваними при малих змінах початкових умов — явище, яке пізніше назвали хаосом, а його роботи — основою теорії. Він також ввів поняття перерізів Пуанкаре і теорему повернення.

Що таке фундаментальна група π₁ і навіщо вона потрібна?

Фундаментальна група π₁(X, x₀) — алгебраїчний інваріант топологічного простору: клас замкнених петель у точці x₀ з точністю до неперервної деформації. Вона дозволяє відрізняти топологічно різні простори (наприклад, сфера S² проти тора T²) та є основою алгебраїчної топології — розділу, який заснував Пуанкаре у 1895 р.

Яким був вклад Пуанкаре у теорію відносності?

Пуанкаре незалежно дійшов до багатьох результатів СТВ: формул перетворення Лоренца, 4-вимірного простору-часу, виразу для електромагнітного поля, маси-енергії. Він ввів назву «перетворення Лоренца» і описав групу симетрій простору-часу (групу Пуанкаре). Однак Ейнштейн дав закінчену фізичну інтерпретацію, тому авторство СТВ є предметом дискусій.

Чому проблема трьох тіл є нерозв'язною аналітично?

Проблема трьох тіл — рух трьох об'єктів під взаємним гравітаційним тяжінням — не має загального замкненого розв'язку як система ОДУ вищого порядку. Пуанкаре показав, що розклади у ряди за малим параметром розходяться. Сучасний підхід: чисельне інтегрування, квазіперіодичні тороси та аналіз меж стійкості (теорема КАМ).

Анрі Пуанкаре — топологія, проблема трьох тіл, теорія хаосу

500+

наукових праць

1904

гіпотеза Пуанкаре (доведена 2003)

π₁(X)

фундаментальна група (1895)

1889

відкриття хаотичної динаміки

Життєвий шлях

Жуль Анрі Пуанкаре народився 29 квітня 1854 р. в Нансі (Франція). Навчався в École Polytechnique і École des Mines. Захистив докторську дисертацію у 1879 р. і вже у 27 років став професором Паризького університету. Його часто називають «останнім справжнім універсальним математиком» — він зробив фундаментальний внесок у математику, математичну фізику, небесну механіку і теорію відносності.

«Математика — це мистецтво давати різним речам одне й те саме ім'я» — Анрі Пуанкаре

Топологія і фундаментальна група

У своїй роботі «Analysis Situs» (1895) Пуанкаре заклав основи алгебраїчної топології — науки про властивості, які зберігаються при неперервних деформаціях. Він запровадив поняття фундаментальної групи π₁(X), що класифікує петлі в топологічному просторі.

Фундаментальна група π₁(X, x₀)

π₁(X, x₀) = {[γ] : γ — петля в X з початком x₀} з операцією конкатенації [γ][δ] = [γ*δ] Приклади: π₁(ℝ²) = {e} (тривіальна — площина просто зв'язна) π₁(S¹) = ℤ (коло — петлі нараховуються числом обходів) π₁(T²) = ℤ×ℤ (тор)

Два простори гомеоморфні лише якщо всі їхні топологічні інваріанти збігаються

Гіпотеза Пуанкаре

У 1904 р. Пуанкаре сформулював гіпотезу, яка стала однією з сімох «Задач тисячоліття» Інституту Клея (приз $1 млн кожна). Григорій Перельман довів її у 2003 р. і відмовився від премії.

Гіпотеза Пуанкаре (1904, доведена 2003 — Перельман)

Якщо M — компактний зв'язний 3-вимірний многовид без краю і π₁(M) = {e} (просто зв'язний), то M гомеоморфний 3-сфері S³. Тобто: єдиний просто зв'язний компактний 3-многовид — це S³

Проблема трьох тіл і виявлення хаосу

У 1889 р., розв'язуючи задачу про стійкість Сонячної системи (конкурс на честь 60-річчя короля Швеції), Пуанкаре зробив революційне відкриття: система трьох тіл, що взаємодіють гравітаційно, може поводитися хаотично — нескінченно чутливо до початкових умов. Це перше математично суворе відкриття детермінованого хаосу за 85 років до Лоренца.

Рівняння руху трьох тіл

m₁r̈₁ = Gm₁m₂(r₂−r₁)/|r₂−r₁|³ + Gm₁m₃(r₃−r₁)/|r₃−r₁|³ m₂r̈₂ = Gm₂m₁(r₁−r₂)/|r₁−r₂|³ + Gm₂m₃(r₃−r₂)/|r₃−r₂|³ m₃r̈₃ = Gm₃m₁(r₁−r₃)/|r₁−r₃|³ + Gm₃m₂(r₂−r₃)/|r₂−r₃|³ Загального аналітичного розв'язку не існує!

Перерізи Пуанкаре — інструмент аналізу хаосу

Для системи зі змінними (q₁, q₂, p₁, p₂) фіксуємо q₂ = const: Переріз Пуанкаре = {(q₁, p₁) : q₂ = 0, ṗ₂ > 0} Регулярний рух → ізольовані точки або криві на перерізі Хаотичний рух → рівномірно заповнена область

Теорія Пуанкаре і спеціальна відносність

Пуанкаре незалежно від Ейнштейна у 1905 р. опублікував роботу «Про динаміку електрона», в якій ввів перетворення Лоренца як групу симетрій (група Пуанкаре), записав релятивістський закон збереження і запропонував 4-вимірний простір-час.

Група Пуанкаре ISO(1,3)

x'μ = Λμν xν + aμ де Λ — перетворення Лоренца (обертання у просторі-часі) a — трансляція у просторі-часі Група Пуанкаре = група Лоренца ⋊ ℝ⁴ (10 параметрів)

Числа та теорема повернення Пуанкаре

Теорема повернення Пуанкаре (1890)

Якщо система зберігає міру і фазовий об'єм обмежений, то майже будь-яка траєкторія повернеться довільно близько до початкової точки. Наслідок: ізольована термодинамічна система рано чи пізно «повернеться» — але час повернення T_P може бути більшим за вік Всесвіту!

Хронологія

1854Народився в Нансі, Франція
1879Докторська дисертація; автоморфні функції і нові групи
1881Теорія фуксових (автоморфних) функцій; теорема Пуанкаре–Бендіксона
1889Проблема трьох тіл → відкриття хаотичної динаміки; премія короля Швеції
1895«Analysis Situs» — народження алгебраїчної топології
1899–1905Роботи про групи Пуанкаре; принцип відносності до Ейнштейна
1904Гіпотеза Пуанкаре для S³
1912Помер у Парижі, 58 років (операційні ускладнення)
2003Григорій Перельман доводить гіпотезу Пуанкаре (відмовився від $1M)

Анрі Пуанкаре