Anden andengradsform

Den anden kvadratiske form (eller den anden grundform ) af en overflade er en kvadratisk form på overfladens tangentbundt , som i modsætning til den første kvadratiske form definerer overfladens ydre geometri i nærheden af ​​et givet punkt .

Den anden andengradsform betegnes ofte , og dens komponenter betegnes traditionelt , og .

Kendskab til den første og anden kvadratiske form er tilstrækkelig til at beregne de vigtigste krumninger , middel- og Gauss krumninger af en overflade.

Definition

Lad overfladen i tredimensionelt euklidisk rum med skalarprodukt være givet ved ligningen hvor og er indre koordinater på overfladen; er differensen af ​​radiusvektoren langs den valgte forskydningsretning fra et punkt til et uendeligt tæt punkt ; er normalvektoren til overfladen i punktet . Så har den anden andengradsform formen

hvor koefficienterne er bestemt af formlerne:

hvor betegner det blandede produkt af vektorer og er koefficienterne for den første kvadratiske form af overfladen.

Relaterede definitioner

hvor er feltet af enhedsnormaler til overfladen. Formoperatoren er relateret til den anden kvadratiske form ved følgende relation: hvor er den første andengradsform .

Beregning

Funktionsgraf

I et bestemt tilfælde, når overfladen er en graf af en funktion i tredimensionelt euklidisk rum med koefficienter , har koefficienterne for den anden kvadratiske form formen:

Variationer og generaliseringer

Hyperoverflader

Betragt en hyperflade i et m -dimensionalt euklidisk rum med indre produkt . Lad være et lokalt kort over overfladen på punktet .

Derefter beregnes koefficienterne for den anden kvadratiske form ved hjælp af formlen

hvor angiver enhedsnormalvektoren.

Stor kodimension

Den anden grundlæggende form er også defineret for undervarianter af vilkårlig kodimension. [en]

hvor angiver projektionen af ​​den kovariante afledte på normalrummet.

I dette tilfælde er den anden grundlæggende form en bilineær form på tangentrummet med værdier i det normale rum.

For submanifolds af euklidisk rum kan krumningstensoren af ​​submanifolden beregnes ved hjælp af den såkaldte Gauss-formel:

For submanifolds af en Riemann-manifold skal krumningen af ​​det omgivende rum tilføjes; hvis manifolden er indlejret i en Riemann-manifold , er krumningstensoren af ​​manifolden udstyret med den inducerede metrisk givet af den anden fundamentale form og krumningstensoren af ​​den omgivende manifold :

Se også

Noter

  1. c. 128 i M. do Carmo, Riemannian Geometry , Birkhäuser, 1992

Litteratur