Povrch

Povrch v geometrii a topologii  je dvourozměrná topologická rozmanitost . Nejznámějšími příklady povrchů jsou hranice geometrických těles v obvyklém trojrozměrném euklidovském prostoru. Na druhé straně existují povrchy (jako je Kleinova láhev ), které nelze vložit do trojrozměrného euklidovského prostoru, aniž by zahrnovaly singularitu nebo sebeprotínání.

„Dvourozměrnost“ povrchu implikuje možnost implementovat na něj metodu souřadnic , i když ne nutně pro všechny body. Povrch Země je tedy (ideálně) dvourozměrná koule , jejíž zeměpisná šířka a délka každého bodu jsou jeho souřadnicemi (s výjimkou pólů a 180. poledníku ).

Pojem povrchu se používá ve fyzice , strojírenství , počítačové grafice a dalších oborech při studiu fyzických objektů. Například analýza aerodynamických vlastností letadla je založena na proudění vzduchu kolem jeho povrchu.

Metody hledání

Povrch je definován jako množina bodů, jejichž souřadnice splňují určitý typ rovnice:

Pokud je funkce v nějakém bodě spojitá a má v sobě spojité parciální derivace, z nichž alespoň jedna nezaniká, pak v okolí tohoto bodu bude plocha daná rovnicí (1) regulární plochou .

Kromě výše uvedeného implicitního způsobu specifikace může být plocha definována explicitně , pokud jedna z proměnných, například z, může být vyjádřena pomocí ostatních:

Nechybí ani parametrický způsob nastavení. V tomto případě je povrch určen soustavou rovnic:

Koncept jednoduchého povrchu

Intuitivně si jednoduchý povrch lze představit jako kus roviny vystavený neustálým deformacím ( napětí, stlačení a ohyby ).

Přesněji řečeno, jednoduchá plocha je obrazem homeomorfního zobrazení (to znamená zobrazení jedna ku jedné a vzájemně spojité) vnitřku jednotkového čtverce. Této definici lze dát analytický výraz.

Nechť je dán čtverec v rovině s pravoúhlými souřadnicemi u a v , jejichž souřadnice vnitřních bodů splňují nerovnosti 0 < u < 1, 0 < v < 1. Homeomorfní obraz čtverce v prostoru s pravoúhlými souřadnicemi x , y, z je dáno pomocí vzorců x = x(u, v), y = y(u, v), z = z(u, v) ( parametrická specifikace povrchu ). Kromě toho se vyžaduje, aby funkce x(u, v), y(u, v) a z(u, v) byly spojité a aby různé body (u, v) a (u', v') měly různé odpovídající body (x, y, z) a (x', y', z').

Příkladem jednoduché plochy je polokoule. Celá koule není jednoduchý povrch . To vyžaduje další zobecnění pojmu povrch.

Podmnožina prostoru, jejíž každý bod má okolí, které je jednoduchým povrchem , se nazývá pravidelný povrch .

Povrch v diferenciální geometrii

V diferenciální geometrii jsou studované plochy obvykle podrobeny podmínkám souvisejícím s možností aplikace metod diferenciálního počtu. Zpravidla se jedná o podmínky hladkosti povrchu, to znamená existenci v každém bodě povrchu určité tečné roviny, zakřivení atd. Tyto požadavky se scvrkají na skutečnost, že funkce, které definují povrch se předpokládají jednou, dvakrát, třikrát a v některých otázkách - neomezený počet mnohokrát diferencovatelných nebo dokonce analytických funkcí . V tomto případě je navíc uložena podmínka pravidelnosti.

Případ implicitního přiřazení . Plocha daná rovnicí je hladká pravidelná plocha , jestliže je funkce spojitě derivovatelná ve svém oboru definice a její parciální derivace současně nezanikají (podmínka správnosti) na celé množině :

Případ parametrické úlohy . Povrch definujeme vektorovou rovnicí nebo, což je stejné, třemi rovnicemi v souřadnicích:

Tento systém rovnic definuje hladký pravidelný povrch , pokud jsou splněny následující podmínky:

Geometricky poslední podmínka znamená, že vektory nejsou nikde rovnoběžné.

Parametry u, v lze považovat za vnitřní souřadnice bodů povrchu. Zafixováním jedné ze souřadnic získáme dvě rodiny souřadnicových křivek pokrývajících povrch souřadnicovou sítí.

Explicitní případ . Povrch může být definován jako graf funkce ; je pak hladký pravidelný povrch , pokud je funkce diferencovatelná. Tuto možnost lze považovat za speciální případ parametrické úlohy: .

Tečná rovina

Tečná rovina v bodě na hladkém povrchu je rovina, která má v tomto bodě maximální pořadí kontaktu s povrchem. Ekvivalentní definice: Tečná rovina je rovina obsahující tečny všech hladkých křivek procházejících tímto bodem.

Nechť je zadána hladká křivka na parametricky definované ploše ve tvaru:

.

Směr tečny k takové křivce dává vektor:

To ukazuje, že všechny tečny všech křivek v daném bodě leží ve stejné rovině obsahující vektory , o kterých jsme výše předpokládali, že jsou nezávislé.

Rovnice tečné roviny v bodě má tvar:

( smíšený součin vektorů).

V souřadnicích jsou rovnice tečné roviny pro různé způsoby specifikace povrchu uvedeny v tabulce:

tečnou rovinu k povrchu v bodě
implicitní zadání
explicitní zadání
parametrická úloha

Všechny derivace jsou brány v bodě .

Metriky a vnitřní geometrie

Zvažte opět hladkou křivku:

.

Prvek jeho délky je určen z poměru:

,

kde .

Tato kvadratická forma se nazývá první kvadratická forma a je dvourozměrnou verzí povrchové metriky . U běžného povrchu je diskriminační ve všech bodech. Koeficient v bodě na povrchu právě tehdy, když jsou křivky souřadnic v tomto bodě ortogonální. Konkrétně se metrika získá na rovině s kartézskými souřadnicemi ( Pythagorova věta ).

Metrika jednoznačně neurčuje tvar povrchu. Například metriky helikoidu a katenoidu , které jsou podle toho parametrizovány, jsou stejné, to znamená, že mezi jejich oblastmi existuje korespondence, která zachovává všechny délky ( izometrie ). Vlastnosti, které jsou zachovány při izometrických transformacích, se nazývají vnitřní geometrie povrchu. Vnitřní geometrie nezávisí na poloze plochy v prostoru a nemění se při jejím ohýbání bez tahu a stlačení (např. při ohnutí válce do kužele ) [1] .

Metrické koeficienty určují nejen délky všech křivek, ale obecně výsledky všech měření uvnitř povrchu (úhly, plochy, zakřivení atd.). Proto vše, co závisí pouze na metrice, se vztahuje k vnitřní geometrii.

Normální a normální řez

Jednou z hlavních charakteristik povrchu je jeho normála  - jednotkový vektor kolmý k tečné rovině v daném bodě:

.

Znaménko normály závisí na volbě souřadnic.

Řez plochy rovinou obsahující normálu plochy v daném bodě tvoří určitou křivku, která se nazývá normálový řez plochy. Hlavní normála pro normální řez se shoduje s normálou k povrchu (až na znaménko).

Pokud křivka na ploše není normální řez, pak její hlavní normála svírá úhel s normálou plochy . Potom je zakřivení křivky vztaženo ke zakřivení normálního řezu (se stejnou tečnou) podle Meunierova vzorce :

Souřadnice normálového vektoru pro různé způsoby specifikace povrchu jsou uvedeny v tabulce:

Normální souřadnice v bodě povrchu
implicitní zadání
explicitní zadání
parametrická úloha

Zde .

Všechny derivace jsou brány v bodě .

Zakřivení

Pro různé směry v daném bodě na povrchu se získá různé zakřivení normálního řezu, které se nazývá normální zakřivení ; je mu přiřazeno znaménko plus, pokud hlavní normála křivky jde stejným směrem jako normála k povrchu, nebo znaménko mínus, pokud jsou směry normál opačné.

Obecně řečeno, v každém bodě na povrchu jsou dva kolmé směry a , ve kterých normální zakřivení nabývá minimální a maximální hodnoty; tyto směry se nazývají hlavní . Výjimkou je případ, kdy je normálové zakřivení stejné ve všech směrech (například v blízkosti koule nebo na konci rotačního elipsoidu ), pak jsou všechny směry v bodě hlavní.

Normální zakřivení v hlavních směrech se nazývají hlavní zakřivení ; označme je a . Velikost:

nazývané Gaussovo zakřivení , celkové zakřivení nebo jednoduše zakřivení povrchu. Existuje také termín skalární zakřivení , který implikuje výsledek konvoluce tenzoru zakřivení ; v tomto případě je skalár zakřivení dvakrát větší než Gaussovo zakřivení.

Gaussovu křivost lze vypočítat z hlediska metriky, a proto je objektem vnitřní geometrie povrchů (všimněte si, že hlavní křivosti do vnitřní geometrie nepatří). Podle znaménka křivosti můžete klasifikovat body povrchu (viz obrázek). Zakřivení roviny je nulové. Zakřivení koule o poloměru R je všude rovno . Existuje také povrch konstantního negativního zakřivení - pseudosféra .

Geodetické linie, geodetické zakřivení

Křivka na povrchu se nazývá geodetická čára nebo jednoduše geodetická , pokud se hlavní normála ke křivce ve všech jejích bodech shoduje s normálou k povrchu. Příklad: na rovině budou geodetikou přímky a úsečky, na kouli velké kružnice a jejich úsečky.

Ekvivalentní definice: pro geodetickou přímku je průmět její hlavní normály na tečnou rovinu nulovým vektorem. Pokud křivka není geodetická, pak je zadaná projekce nenulová; její délka se nazývá geodetické zakřivení křivky na ploše. Existuje poměr:

,

kde  je zakřivení dané křivky,  je zakřivení normálního řezu plochy se stejnou tečnou.

Geodetické linie odkazují na vnitřní geometrii. Uvádíme jejich hlavní vlastnosti.

Oblast

Dalším důležitým atributem povrchu je jeho plocha , která se vypočítá podle vzorce:

Zde .

V souřadnicích dostaneme:

explicitní zadání parametrická úloha
plošný výraz

Topologie povrchu

Orientace

Další důležitou vlastností povrchu je jeho orientace .

Plocha se nazývá oboustranná , pokud má po celé své délce spojitý normálový vektor. Jinak se povrch nazývá jednostranný .

Orientovaná plocha je oboustranná plocha se zvoleným směrem normály.

Příkladem jednostranných a tudíž neorientovatelných ploch je Kleinova láhev nebo Möbiův proužek .

Typy povrchů

Příklady

Revoluční povrchy

Rotační plochu lze získat otáčením křivky v rovině xz kolem osy z za předpokladu, že křivka neprotíná osu z . Předpokládejme, že křivka je dána výrazem

s t ležícím v ( a , b ) a parametrizované délkou oblouku, takže

Potom je rotační plocha množinou bodů

Gaussova křivost a průměrná křivost jsou dány výrazy [2]

Geodetiky na rotační ploše jsou definovány vztahem Clairaut .

Povrch druhého řádu

Uvažujme povrch druhého řádu daný výrazem [3]

Tato plocha umožňuje parametrizaci

Gaussova křivost a střední křivost jsou dány

Vodorovné plochy

Pravidelná plocha je plocha, kterou lze získat posunutím přímky v [4] [5] . Výběrem směrové přímky na povrchu, tj. hladké jednotkové křivky rychlosti c ( t ) kolmé k přímkám, a následným výběrem jednotkových vektorů podél křivky ve směru přímek pro vektor rychlosti a u ,

Povrch je tvořen body

při změně s a t .

Pak pokud

Gaussovské a střední zakřivení je dáno výrazy

Gaussova křivost regulované plochy zaniká právě tehdy, když a v jsou úměrné [6] . Tato podmínka je ekvivalentní skutečnosti, že povrch je obálkou rovin podél křivky obsahující tečný vektor v a ortogonální vektor u , to znamená, že povrch se podél křivky rozvíjí [7] . Obecněji řečeno, povrch v má nulové Gaussovo zakřivení v blízkosti bodu právě tehdy, když se vyvíjí v blízkosti tohoto bodu [8] (Ekvivalentní podmínka je uvedena níže z hlediska metriky.)

Minimální plochy

V roce 1760 Lagrange rozšířil Eulerovy výsledky variačního počtu s integrály jedné proměnné na integrály dvou proměnných [9] [10] . Zvažoval následující problém:

Takový povrch se nazývá minimální povrch .

V roce 1776 Jean Baptiste Meunier ukázal, že diferenciální rovnice odvozená Lagrangeem je ekvivalentní střednímu zakřivení mizejícího povrchu:

Minimální povrchy mají v reálném životě jednoduchou interpretaci – mají podobu mýdlového filmu, pokud je drátěný rám ponořen do mýdlové vody a opatrně odstraněn. Otázka, zda existuje minimální povrch s danou hranicí, se nazývá problém plošiny , podle belgického fyzika Josepha Plata , který experimentoval s mýdlovými filmy v polovině devatenáctého století. V roce 1930 dali Jesse Douglas a Tibor Rado na Plateauův problém kladnou odpověď (Douglas za tuto práci obdržel jednu z prvních Fieldsových cen v roce 1936) [11] .

Je známo mnoho příkladů minimálních povrchů, jako je katenoid , helicoid , Scherkův povrch a Enneperův povrch . V této oblasti byl prováděn intenzivní výzkum, jehož výsledky jsou shrnuty v Ossermanově knize [12] . Ossermanův výsledek zejména ukazuje, že pokud minimální povrch není rovinný, pak je jeho obraz pod Gaussovou mapou hustý v .

Plochy konstantní Gaussovy křivosti

Pokud má plocha konstantní Gaussovu křivost, nazývá se plocha konstantní křivosti [13] [14] [15] .

Každá z těchto ploch konstantní křivosti má tranzitivní Lieovu grupu symetrií. Tato skupinově teoretická skutečnost má dalekosáhlé důsledky, které jsou zvláště pozoruhodné s ohledem na ústřední roli, kterou tyto speciální povrchy hrají v geometrii povrchů podle Poincarého uniformizační věty (viz níže).

Další příklady povrchů s Gaussovým zakřivením 0 zahrnují kužely , rozvinutelné tečné povrchy obecněji jakýkoli rozvinutelný povrch .

Generalizace

Pro vícerozměrné analogy teorie, viz:

Literatura

Poznámky

  1. Rashevsky P.K., 1950 , kapitola 7.
  2. do Carmo, 1976 , str. 161–162.
  3. Eisenhart, 2004 , str. 228–229.
  4. Eisenhart, 2004 , str. 241–250.
  5. do Carmo, 1976 , str. 188–197.
  6. do Carmo, 1976 , str. 194.
  7. Eisenhart, 2004 , str. 61–65.
  8. Eisenhart, 2004 .
  9. Eisenhart, 2004 , str. 250–269.
  10. do Carmo, 1976 , str. 197–213.
  11. Douglasovo řešení je popsáno v Courantově článku (( Courant 1950 )).
  12. Osserman, 2002 .
  13. Eisenhart, 2004 , str. 270–291.
  14. 1 2 O'Neill, 1997 , str. 249–251.
  15. Hilbert, Cohn-Vossen, 1952 .
  16. do Carmo, 1976 , str. 168–170.
  17. Gray, Abbena, Salamon, 2006 .
  18. Stillwell, 1996 , s. 1–5.
  19. Wilson, 2008 .

Odkazy