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.
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:
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 .
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ő: .
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 .
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.
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 .
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 .
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.
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 |
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 .
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 .
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
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.)
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 .
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 .
Az elmélet többdimenziós analógjaiért lásd: