Stokes sats
Från Rilpedia
Stokes sats, efter George Gabriel Stokes, säger att för varje kontinuerligt deriverbar funktion gäller, då C=δS är en sluten kurva i rummet, följande:
eller
I differentialgeometri använder man sig av en formalism som tillåter de ovanstående likheterna att skrivas som en enda likhet
∫ | ω = | ∫ | dω |
C | S |
där ω är en differentialform, och d är den yttre differentialen, och alla integraler är tagna lämpligt antal gånger. Den stora vitsen med detta uttryck är att det omedelbart generaliserar till högre dimensioner, då är S ett n-dimensionellt område och C är dess rand. Likväl så gäller samma formel i en dimension om man med integralen över ett 0-dimensionell mängd syftar på funktionsevaluering och tänker på att randen av ett intervall är två punkter. Detta specialfall är den välkända analysens fundamentalsats. Ett annat specialfall är Greens sats.