Гіпотеза Пуанкаре: відмінності між версіями

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Entry1337 (обговорення | внесок)
Функція пропозицій посилань: додано 3 посилання.
вікіфікація
 
Рядок 2: Рядок 2:
'''Гіпотеза Пуанкаре''' — найвідоміша задача [[топологія|топології]]. Неформально кажучи, вона стверджує, що кожен «тривимірний об'єкт», що має деякі властивості [[Куля|тривимірної сфери]] (наприклад, кожну [[Петля (топологія)|петлю]] всередині нього можливо стягнути в точку), має бути такою сферою з точністю до деформації.
'''Гіпотеза Пуанкаре''' — найвідоміша задача [[топологія|топології]]. Неформально кажучи, вона стверджує, що кожен «тривимірний об'єкт», що має деякі властивості [[Куля|тривимірної сфери]] (наприклад, кожну [[Петля (топологія)|петлю]] всередині нього можливо стягнути в точку), має бути такою сферою з точністю до деформації.


[[Анрі Пуанкаре]] представив ​​гіпотезу в 1887 році. Відразу після появи вона схвилювала громадськість. Гіпотеза звучить так: «Будь-який замкнутий n-вимірний многовид гомотопічно еквівалентний n-вимірній сфері [[Тоді й лише тоді|тоді і тільки тоді]], коли він гомеоморфний їй»<ref name=":0">{{Cite web|url=https://uk.nationalgreenhighway.org/2546-what-is-the-poincare-conjecture-description-essence-p.html|title=Що таке гіпотеза Пуанкаре?}}</ref>.
[[Анрі Пуанкаре]] представив ​​гіпотезу в 1887 році. Відразу після появи вона схвилювала громадськість. Гіпотеза звучить так: «Будь-який замкнутий n-вимірний многовид гомотопічно еквівалентний n-вимірній сфері тоді і тільки тоді, коли він гомеоморфний їй»<ref name=":0">{{Cite web|url=https://uk.nationalgreenhighway.org/2546-what-is-the-poincare-conjecture-description-essence-p.html|title=Що таке гіпотеза Пуанкаре?}}</ref>.


== Гіпотеза Пуанкаре простою мовою ==
== Гіпотеза Пуанкаре простою мовою ==
Рядок 8: Рядок 8:


== Доведення гіпотези Пуанкаре ==
== Доведення гіпотези Пуанкаре ==
Спроби довести гіпотезу Пуанкаре, як успішні, так і невдалі, привели до численних просувань у топології [[многовид]]ів. Доведення гіпотези Пуанкаре (і загальнішої [[Теорема геометризації|гіпотези Терстона про геометризацію]]), опубліковано в [[2002]]&nbsp;р. [[Перельман Григорій Якович|Григорієм Перельманом]] ([[медаль Філдса]] [[2006]]&nbsp;р.)
Спроби довести гіпотезу Пуанкаре, як успішні, так і невдалі, привели до численних просувань у топології [[многовид]]ів. Доведення гіпотези Пуанкаре (і загальнішої [[Теорема геометризації|гіпотези Терстона про геометризацію]]), опубліковано в 2002&nbsp;р. [[Перельман Григорій Якович|Григорієм Перельманом]] ([[медаль Філдса]] 2006&nbsp;р.)


В 2006 журнал [[Science]] назвав доказ Григорієм Перельманом гіпотези Пуанкаре науковим «проривом року» ({{lang-en|Breakthrough of the Year}}). Це перша робота з математики, що заслужила таке звання.
В 2006 журнал [[Science]] назвав доказ Григорієм Перельманом гіпотези Пуанкаре науковим «проривом року» ({{lang-en|Breakthrough of the Year}}). Це перша робота з математики, що заслужила таке звання.

Поточна версія на 12:16, 4 червня 2024

Проблеми тисячоліття
Рівність класів P і NP
Гіпотеза Годжа
Гіпотеза Пуанкаре*
Гіпотеза Рімана
Квантова теорія Янга — Мілса
Рівняння Нав'є — Стокса
Гіпотеза Берча і Свіннертона-Даєра
* доведені

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

Анрі Пуанкаре представив ​​гіпотезу в 1887 році. Відразу після появи вона схвилювала громадськість. Гіпотеза звучить так: «Будь-який замкнутий n-вимірний многовид гомотопічно еквівалентний n-вимірній сфері тоді і тільки тоді, коли він гомеоморфний їй»[1].

Гіпотеза Пуанкаре простою мовою

[ред. | ред. код]

Коротко гіпотезу можно пояснити так. Уявіть трохи спущену повітряну кульку. Їй дуже легко можна надати необхідну форму: овальної сфери або куба, людини або тварини. Доступна різноманітність форм вражає. Однак існує форма, яка є універсальною, — куля, і форма, яку неможливо надати кульці, не вдаючись до розривів, — бублик (форма з діркою). Згідно з гіпотезою, предмети, у формі яких не передбачено отвір наскрізного типу, відрізняються однаковою основою. Приклад — куля. При цьому тіла з отворами (в математиці їх називають — тор) відрізняються властивістю сумісності один з одним, але не з суцільними об'єктами. Так, з пластиліну можна виліпити собаку або кішку, потім без проблем можна перетворити фігурку в кулю, а потім — в зайця або яблуко. При цьому можна обійтися без розривів. Якщо ж спочатку був виліплений бублик, то з нього може вийти «вісімка», надати масі форму кулі вже не вдасться. Ці приклади наочно демонструють несумісність сфери і тора[1].

Доведення гіпотези Пуанкаре

[ред. | ред. код]

Спроби довести гіпотезу Пуанкаре, як успішні, так і невдалі, привели до численних просувань у топології многовидів. Доведення гіпотези Пуанкаре (і загальнішої гіпотези Терстона про геометризацію), опубліковано в 2002 р. Григорієм Перельманом (медаль Філдса 2006 р.)

В 2006 журнал Science назвав доказ Григорієм Перельманом гіпотези Пуанкаре науковим «проривом року» (англ. Breakthrough of the Year). Це перша робота з математики, що заслужила таке звання.

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. а б Що таке гіпотеза Пуанкаре?.

Посилання

[ред. | ред. код]