Многообразие: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Dexbot (беседа | приноси)
м Removing Link FA template (handled by wikidata)
BotNinja (беседа | приноси)
м без right/дясно в картинки (x3)
Ред 13:
== Мотивационен пример: окръжност ==
 
[[КартинкаFile:Circle with overlapping manifold charts.png|right|thumb|Фигура 1: Всяка от четирите карти изобразява част от окръжността в отворен интервал, като заедно покриват цялата окръжност.]]
 
[[Окръжност]]та е най-простия пример за топологично многообразие след евклидовото пространство. Нека е зададена окръжност с радиус 1 и център съвпадащ с центъра на координатната система. Ако ''x'' и ''y'' са координатите на точките от окръжността, то за тях ще е изпълнено ''x''² + ''y''² = 1.
Ред 26:
Такава функция се нарича ''функция на прехода''.
 
[[КартинкаFile:Circle manifold chart from slope.png|right|thumb|Фигура 2: Карта на окръжността която напълно я покрива без една точка.]]
 
Горната, долната, лявата и дясната карти показват, че окръжността е многообразие, но те не образуват единствения възможен атлас. Картите не е нужно да бъдат геометрични проекции, и броят им е въпрос на избор. Например могат да се изберат следните карти
Ред 37:
: <math>t = {1\over s}.</math>
Нито една от двете карти не покрива цялата окръжност: ''s'' изпуска точката (−1,0), а ''t'' - (+1,0). Може да се покаже, че не е възможно една единствена карта да покрива цялата окръжност откъдето се вижда, че дори и простите примери се нуждаят от гъвкавостта която дават на многообразията и многото карти.
[[КартинкаFile:Conics and cubic.png|right|thumb|Фигура 3: Четири многообразия, образувани от алгебрични криви: <span style="color:#bc1e47">■</span>&nbsp;окръжности, <span style="color:#fec200">■</span>&nbsp;парабола, <span style="color:#0081cd">■</span>&nbsp;хипербола, <span style="color:#009246">■</span>&nbsp;кубика.]]
 
Многообразията не е нужно да са [[свързано пространство|свързани]] (състоящи се от едно парче): двойка отделни окръжности също е топологично многообразие. Не е и нужно те да са [[затворено множество|затворени]]: отсечка без краищата си е многообразие. Многообразията не е нужно да са ограничени: [[парабола]]та е пример за неограничено многообразие. Други примери са [[хипербола]]та и множеството от точките, които са решение на кубичното уравнение ''y''² - ''x''³ + ''x'' = 0, което не е нито свързано, нито затворено, нито ограничено.