Felület

A geometriai és topológiás felület egy  kétdimenziós topológiai sokaság . A felületek legismertebb példái a geometriai testek határai a szokásos háromdimenziós euklideszi térben. Másrészt vannak olyan felületek (például a Klein-palack ), amelyek nem ágyazhatók be a háromdimenziós euklideszi térbe anélkül, hogy szingularitást vagy önmetszéspontot okoznának.

Egy felület "kétdimenzióssága" magában foglalja a koordináta módszer megvalósításának lehetőségét is , bár nem feltétlenül minden pontra. Tehát a Föld felszíne (ideális esetben) egy kétdimenziós gömb , amelynek minden pontjának szélessége és hosszúsága a koordinátái ( a pólusok és a 180. meridián kivételével ).

A felület fogalmát a fizikában , a mérnöki munkában , a számítógépes grafikában és a fizikai objektumok tanulmányozásának más területein alkalmazzák. Például egy repülőgép aerodinamikai tulajdonságainak elemzése a felszín körüli levegő áramlásán alapul.

Küldetésmódszerek

A felület olyan pontok halmaza, amelyek koordinátái megfelelnek egy bizonyos típusú egyenletnek:

Ha egy függvény egy ponton folytonos és folytonos parciális deriváltjai vannak, amelyek közül legalább az egyik nem tűnik el, akkor ennek a pontnak a közelében az (1) egyenlettel megadott felület szabályos felület lesz .

A fenti implicit megadási módon túlmenően egy felület explicit módon definiálható , ha az egyik változó, például a z, kifejezhető a többivel:

Van egy paraméteres beállítási mód is. Ebben az esetben a felületet az egyenletrendszer határozza meg:

Az egyszerű felület fogalma

Intuitív módon egy egyszerű felület egy sík darabjának tekinthető, amely folyamatos alakváltozásoknak van kitéve ( feszítések, összenyomások és hajlítások ).

Szigorúbban az egyszerű felület az egységnégyzet belsejének homeomorf leképezésének (vagyis egy az egyhez és kölcsönösen folytonos leképezésnek) képe . Ennek a definíciónak analitikus kifejezést adhatunk .

Legyen adott egy négyzet egy u és v téglalap koordinátájú síkon, amelynek belső pontjainak koordinátái kielégítik a 0 < u < 1, 0 < v < 1 egyenlőtlenségeket. A térbeli négyzet homeomorf képe x derékszögű koordinátákkal , y, z az x = x(u, v), y = y(u, v), z = z(u, v) képletekkel van megadva ( parametrikus felület specifikáció ). Ezenkívül az x(u, v), y(u, v) és z(u, v) függvényeknek folytonosnak kell lenniük , és a különböző (u, v) és (u', v') pontoknak eltérő megfelelőkkel kell rendelkezniük. pontok (x, y, z) és (x', y', z').

Egy egyszerű felületre példa a félgömb. Az egész gömb nem egy egyszerű felület . Ez szükségessé teszi a felület fogalmának további általánosítását.

A tér azon részhalmazát, amelynek minden pontja egy egyszerű felülettel rendelkezik, szabályos felületnek nevezzük .

Felület a differenciálgeometriában

A differenciálgeometriában a vizsgált felületekre általában a differenciálszámítás módszereinek alkalmazási lehetőségével kapcsolatos feltételek vonatkoznak. Általában ezek a feltételek a felület simaságának , vagyis annak, hogy a felület minden pontjában létezzen egy érintősík , görbület stb. Ezek a követelmények abból fakadnak, hogy a felületet meghatározó függvények egyszer, kétszer, háromszor tételezzük fel, egyes kérdésekben pedig korlátlan számú differenciálható vagy akár analitikus függvényt . Ebben az esetben a rendszerességi feltétel is érvényesül.

Az implicit hozzárendelési eset . Az egyenlet által adott felület sima szabályos felület , ha , a függvény definíciós tartományában folyamatosan differenciálható , és parciális deriváltjai nem tűnnek el egyszerre (helyességi feltétel) a teljes halmazon :

Paraméteres feladat esete . A felületet egy vektoregyenlettel határozzuk meg , vagy ami ugyanaz, három koordinátaegyenlettel:

Ez az egyenletrendszer sima, szabályos felületet határoz meg, ha a következő feltételek teljesülnek:

Geometriailag az utolsó feltétel azt jelenti, hogy a vektorok sehol sem párhuzamosak.

Az u, v paraméterek a felületi pontok belső koordinátáinak tekinthetők. Az egyik koordinátát rögzítve két koordináta görbe családot kapunk, amelyek egy koordináta ráccsal borítják a felületet.

Explicit eset . Egy felület egy függvény gráfjaként definiálható ; akkor sima szabályos felület , ha a függvény differenciálható. Ez az opció egy paraméteres feladat speciális esetének tekinthető: .

Érintősík

A sima felület egy pontjában az érintősík az a sík, amely az adott pontban a felülettel a maximális érintkezési sorrendben érintkezik . Egyenértékű definíció: Az érintősík egy olyan sík, amely tartalmazza az azon a ponton átmenő összes sima görbe érintőit .

Adjunk meg egy sima görbét egy parametrikusan meghatározott felületen a következő formában:

.

Az ilyen görbe érintőjének iránya ad egy vektort:

Ez azt mutatja, hogy egy adott pontban az összes görbe minden érintője ugyanabban a síkban van, amely tartalmazza a vektorokat , amelyeket fentebb függetlennek feltételeztünk.

Az érintősík egyenlete egy pontban a következőképpen alakul:

( vektorok vegyes szorzata ).

A koordinátákban az érintősík egyenletei a felület különböző meghatározásához a táblázatban találhatók:

egy pontban a felület érintősíkja
implicit hozzárendelés
kifejezett megbízás
parametrikus feladat

Az összes származékot a pontban veszik .

Metrikák és belső geometria

Tekintsünk ismét egy sima görbét:

.

Hosszúságának elemét az arány határozza meg:

,

ahol .

Ezt a másodfokú formát az első másodfokú alaknak nevezik , és a felületi metrika kétdimenziós változata . Szabályos felület esetén minden ponton diszkriminatív . Együttható a felület egy pontjában akkor és csak akkor, ha a koordináta görbék abban a pontban merőlegesek. Konkrétan egy metrikát egy derékszögű koordinátákkal rendelkező síkon kapunk ( a Pitagorasz-tétel ).

A metrika nem határozza meg egyértelműen a felület alakját. Például egy helikoid és egy katenoid metrikája ennek megfelelően paraméterezve megegyezik, vagyis a régióik között minden hosszt megőrző megfelelés van ( izometria ). Az izometrikus transzformációk során megőrzött tulajdonságokat a felület belső geometriájának nevezzük . A belső geometria nem függ a felület térbeli helyzetétől, és nem változik, ha feszítés és összenyomás nélkül hajlítják (például ha egy hengert kúpmá hajlítanak ) [1] .

A metrikus együtthatók nemcsak az összes görbe hosszát határozzák meg, hanem általában a felületen belüli összes mérés eredményét (szögek, területek, görbület stb.). Ezért minden, ami csak a metrikától függ, a belső geometriára vonatkozik.

Normál és normál szakasz

A felület egyik fő jellemzője a normál  - egy adott pontban az érintősíkra merőleges egységvektor:

.

A normál előjele a koordináták megválasztásától függ.

Egy felületnek egy adott pontban a felület normálisát tartalmazó sík metszete egy bizonyos görbét alkot, amelyet a felület normálmetszetének nevezünk. A normál szakasz fő normálja egybeesik a felszín normáljával (egy előjelig).

Ha a felületen lévő görbe nem normál metszet, akkor főnormálja szöget zár be a felületnormál . Ekkor a görbe görbületét a normál szakasz görbületéhez (ugyanaz az érintővel) viszonyítjuk a Meunier -képlet alapján :

A normálvektor koordinátáit a felület különböző meghatározásához a táblázat tartalmazza:

Normális koordináták egy felületi pontban
implicit hozzárendelés
kifejezett megbízás
parametrikus feladat

itt .

Az összes származékot a pontban veszik .

Görbület

Különböző irányok esetén a felület egy adott pontjában a normál szakasz eltérő görbületét kapjuk, amelyet normál görbületnek nevezünk ; pluszjelet kap, ha a görbe főnormálja ugyanabba az irányba megy, mint a felület normálja, vagy mínuszjelet, ha a normálok irányai ellentétesek.

Általánosságban elmondható, hogy a felület minden pontjában van két merőleges irány és , amelyben a normálgörbület minimum és maximum értéket vesz fel; ezeket az irányokat főnek nevezzük . Kivételt képez az az eset, amikor a normál görbület minden irányban azonos (például egy gömb közelében vagy egy forgásellipszoid végén ), akkor egy pontban minden irány fő.

A főirányú normál görbületeket fő görbületeknek nevezzük ; jelöljük őket és . Méret:

Gauss görbületnek , teljes görbületnek vagy egyszerűen a felület görbületének nevezik . Létezik a görbületi skalár kifejezés is , amely a görbületi tenzor konvolúciójának eredményét jelenti ; ebben az esetben a görbületi skalár kétszer akkora, mint a Gauss-görbület.

A Gauss-görbület a metrikával számítható, ezért a felületek belső geometriájának tárgya (megjegyezzük, hogy a fő görbületek nem tartoznak a belső geometriához). A görbületi jel alapján osztályozhatja a felület pontjait (lásd az ábrát). A sík görbülete nulla. Az R sugarú gömb görbülete mindenhol egyenlő . Van egy állandó negatív görbületű felület is – pszeudoszféra .

Geodéziai vonalak, geodéziai görbület

A felületen lévő görbét geodéziai vonalnak , vagy egyszerűen geodéziainak nevezzük , ha a görbe főnormálja minden pontján egybeesik a felület normáljával. Példa: síkon a geodetikusok egyenesek és vonalszakaszok, gömbön nagykörök és szegmenseik.

Ekvivalens definíció: egy geodéziai egyenesnél a főnormáljának az érintősíkra vetítése a nulla vektor. Ha a görbe nem geodéziai, akkor a megadott vetület nem nulla; hosszát a felületen lévő görbe geodéziai görbületének nevezzük . Van egy arány:

,

ahol  az adott görbe  görbülete, a felület normál metszetének görbülete azonos érintővel.

A geodéziai vonalak a belső geometriára utalnak. Felsoroljuk főbb tulajdonságaikat.

Terület

A felület másik fontos tulajdonsága a területe , amelyet a következő képlettel számítanak ki:

itt .

Koordinátákban a következőket kapjuk:

kifejezett megbízás parametrikus feladat
terület kifejezés

Felületi topológia

Tájolás

A felület másik fontos jellemzője a tájolása .

Egy felületet kétoldalasnak nevezünk, ha a teljes hosszában folytonos normálvektorral rendelkezik. Ellenkező esetben a felületet egyoldalúnak nevezzük .

Az orientált felület egy kétoldalas felület, amelynek a normál iránya választott.

Az egyoldalas és ezért nem tájolható felületekre példa a Klein palack vagy a Möbius szalag .

Felülettípusok

Példák

A forradalom felületei

A forgásfelületet úgy kaphatjuk meg, hogy egy görbét az xz síkban a z tengely körül elforgatunk , feltételezve, hogy a görbe nem metszi a z tengelyt . Tegyük fel, hogy a görbét a kifejezés adja

ahol t ( a , b ) -ben fekszik , és ívhosszal paraméterezve, így

Ekkor a forradalom felülete pontok halmaza

A Gauss-görbületet és az átlagos görbületet a [2] kifejezések adják meg.

A forgásfelületen a geodeziát a Clairaut-reláció határozza meg .

Másodrendű felület

Tekintsük a [3] kifejezés által adott másodrendű felületet.

Ez a felület lehetővé teszi a paraméterezést

A Gauss-görbületet és az átlagos görbületet a

Vonalozott felületek

A szabályos felület egy olyan felület, amelyet egy egyenes mozgatásával kaphatunk [4] [5] -ben . Ha a felületen választunk egy direktrixet , azaz egy sima , az egyenesekre merőleges egységnyi sebességgörbét c ( t ) , majd egységvektorként választunk a görbe mentén az egyenesek irányába, a sebességvektorra és u ,

A felület pontokból áll

s és t megváltoztatásakor .

Aztán ha

A Gauss- és az átlagos görbületet a kifejezések adják meg

Egy szabályozott felület Gauss-görbülete akkor és csak akkor tűnik el, ha és v arányos [6] . Ez a feltétel egyenértékű azzal, hogy a felület egy v érintővektort és egy u ortogonális vektort tartalmazó görbe síkjainak burkológörbéje , vagyis a felület a görbe mentén kibontakozik [7] . Általánosságban elmondható, hogy egy felületnek nulla Gauss-görbülete van egy pont közelében, akkor és csak akkor, ha ennek a pontnak a közelében fejlődik [8] (Egyenértékű feltételt az alábbiakban mutatunk be metrika formájában.)

Minimális felületek

1760-ban Lagrange kiterjesztette az egy változóban lévő integrálok variációszámításának Euler-féle eredményeit két változós integrálokra [9] [10] . A következő problémára gondolt:

Az ilyen felületet minimálfelületnek nevezzük .

1776-ban Jean Baptiste Meunier kimutatta, hogy a Lagrange által levezetett differenciálegyenlet ekvivalens a felület eltűnésének átlagos görbületével:

A minimális felületeket a való életben egyszerűen értelmezik – szappanfilm formát öltenek, ha a drótvázat szappanos vízbe mártják és óvatosan eltávolítják. Azt a kérdést, hogy van-e minimális felület adott határvonallal, Plateau-problémának nevezik Joseph Plato belga fizikus után , aki a tizenkilencedik század közepén szappanfilmekkel kísérletezett. 1930-ban Jesse Douglas és Tibor Rado pozitív választ adott Plateau problémájára (1936-ban Douglas az egyik első Fields-díjat kapott ezért a munkáért) [11] .

A minimális felületekre számos példa ismert, mint például a catenoid , a helicoid , a Scherk felület és az Enneper felület . Ezen a területen intenzív kutatások folytak, melyek eredményeit Osserman [12] könyve foglalja össze . Konkrétan Osserman eredménye azt mutatja, hogy ha a minimális felület nem sík, akkor a Gauss-térkép alatti képe sűrű ben .

Állandó Gauss-görbületű felületek

Ha egy felületnek állandó Gauss-görbülete van, akkor állandó görbületű felületnek nevezzük [13] [14] [15] .

Ezen állandó görbületű felületek mindegyike rendelkezik egy tranzitív Lie szimmetriacsoporttal. Ennek a csoportelméleti ténynek messzemenő következményei vannak, amelyek különösen figyelemre méltóak e speciális felületeknek a felületek geometriájában betöltött központi szerepére tekintettel, a Poincaré uniformizálási tétel szerint (lásd alább).

A 0 Gauss-görbületű felületek további példái közé tartoznak a kúpok , a kifejleszthető érintőfelületek általánosabban bármely előhívható felület .

Általánosítás

Az elmélet többdimenziós analógjaiért lásd:

Irodalom

Jegyzetek

  1. Rashevsky P.K., 1950 , 7. fejezet.
  2. do Carmo, 1976 , p. 161–162.
  3. Eisenhart, 2004 , p. 228–229.
  4. Eisenhart, 2004 , p. 241–250.
  5. do Carmo, 1976 , p. 188–197.
  6. do Carmo, 1976 , p. 194.
  7. Eisenhart, 2004 , p. 61–65.
  8. Eisenhart, 2004 .
  9. Eisenhart, 2004 , p. 250–269.
  10. do Carmo, 1976 , p. 197–213.
  11. Douglas megoldását Courant tanulmánya írja le (( Courant 1950 )).
  12. Osserman, 2002 .
  13. Eisenhart, 2004 , p. 270–291.
  14. 1 2 O'Neill, 1997 , p. 249–251.
  15. Hilbert, Cohn-Vossen, 1952 .
  16. do Carmo, 1976 , p. 168–170.
  17. Gray, Abbena, Salamon, 2006 .
  18. Stillwell, 1996 , p. 1–5.
  19. Wilson, 2008 .

Linkek