Lorenco daugdara

Šiam straipsniui ar jo daliai reikia daugiau nuorodų į patikimus šaltinius. Jūs galite padėti Vikipedijai įrašydami tinkamas išnašas ar nuorodas į patikimus šaltinius.

Daugdara – , kurios kiekvieno taško aplinka yra artima euklidinei erdvei. Tiksliau tariant, kiekvienas n-matės daugdaros taškas turi aplinką, homeomorfišką n-matei euklidinei erdvei. Tiesė ir apskritimas yra vienmatė daugdara, bet aštuoniukė – ne. Dvimatės daugdaros labai dažnai vadinamos paviršiais. Pastarųjų pavyzdžiai yra plokštuma, sfera, toras; visos šios trys daugdaros gali būti realios trimatės erdvės įdėtimis (angl. embedding), bet kai kurios tokiomis būti negali: Kleino butelis ir realioji projekcinė plokštuma.

• Neformaliai, daugdara yra [kokia nors] erdvė, „sumodeliuota“ euklidinėje erdvėje.
• Formaliai, topologinė daugdara yra antroji skaičiuojamoji , lokaliai homeomorfiška euklidinei erdvei.

Nors kiekvieno daugdaros taško artimoji aplinka yra visiškai artima euklidinei erdvei, globaliu mastu taip nėra. Pavyzdžiui, visas sferos paviršius nėra euklidinė erdvė, bet atskiri jos regionai gali būti atvaizduoti euklidinėje plokštumoje (sakykime, žemėlapyje). Daugdaros kontekste tokia „projekcija“ vadinama atvaizdžiu. Kai regionas pakliūva į du gretimus atvaizdžius, gaunamas jų vaizdas nebūna visiškai identiškas, todėl reikalinga tam tikra transformacija, susiejanti tuos pačius taškus, kuri vadinama perėjimo schema (angl. transition map).

Daugdaros samprata užima svarbią vietą šiuolaikinėje geometrijoje ir matematinėje fizikoje, nes leidžia painias struktūras aprašyti sąlyginai gerai suprantamų euklidinės erdvės savybių parametrais. Daugdaros natūraliai randasi kaip sprendinių aibės, kai nagrinėjamos lygčių sistemos ir funkcijų grafai.

Istorija

Neeuklidinių erdvių tyrimų pradžia laikytinas 1733 m. paskelbtas Džiovanio Sakerio (Giovanni Girolamo Saccheri) darbas. Vėliau (jau po 100 metų) juos plėtojo Nikolajus Lobačevskis (Никола́й Ива́нович Лобаче́вский), (János Bolyai) ir Bernhardas Rymanas. Būtent Rymanas išplėtojo paviršiaus sampratą ir apibendrino ją n-matėms erdvėms. Jis pirmas panaudojo daugdaros sąvoką vokiškai – Mannigfaltigkeit, kuri vėliau buvo išversta į anglų kalbą – manifold, o prancūzų kalboje imta naudoti variété. Rymanas daugdara (Mannigfaltigkeit) pavadino aibę visų įmanomų kintamojo reikšmių, nes kintamasis, paprastai tariant, gali įgauti daug reikšmių.

Glodžios daugdaros

Pagrindinis straipsnis – .

Topologinei daugdarai ${\displaystyle M}$ be krašto, atvaizdis ${\displaystyle \varphi }$ iš atviro poaibio ${\displaystyle U\subset M}$ į atvirą ${\displaystyle \mathbb {R} ^{n}}$ aibę vadinamas homeomorfizmu. Atvaizdžių aibė, dengianti visą ${\displaystyle M}$ yra vadinama atlasu.

Jei du atvaizdžiai ${\displaystyle \varphi }$ ir ${\displaystyle \psi }$ persikerta kuriame nors ${\displaystyle M}$ taške, jų kompozicija ${\displaystyle \varphi \circ \psi ^{-1}}$ apibrėžia „perėjimo“ (angl. transition) atvaizdį iš atviro ${\displaystyle \mathbb {R} ^{n}}$ poaibio į atvirą ${\displaystyle \mathbb {R} ^{n}}$ poaibį. Jei visi perėjimo atvaizdžiai yra ${\displaystyle C^{k}}$ klasės (t. y. ${\displaystyle k}$-kartų tolygiai diferencijuojamos funkcijos), atlasas vadinamas ${\displaystyle C^{k}}$ atlasu.

Išnašos

1. Robert M. Wald (1984). General Relativity. University of Chicago Press. p. 11. ISBN 0-226-87033-2.
2. daugdara – rus. многообразие; angl. manifold, variety (Matematikos terminų žodynas, Vilnius, 1994)