---
kurs:
  - M0068M
tags:
  - matematik
  - flervariabelanalys
  - geometri
  - vektoranalys
förkunskaper:
  - "[[Parametriserade kurvor]]"
  - "[[Parametriserade ytor]]"
status: utkast
aliases:
  - Orientering
  - Orienterbarhet
  - Orientable surface
  - Inducerad orientering
---
> **Kurs:** M0068M
> **Förkunskaper:** [[Parametriserade kurvor]], [[Parametriserade ytor]]

---

## 1. Vad "orientering" betyder

Innan man kan integrera ett vektorfält längs en kurva eller över en yta måste man bestämma sig för en *riktning*. Den riktningen kallas en **orientering**. Idén är enkel men konsekvensrik:

- För en **kurva** är orienteringen ett val av "framåt" — en tangentvektor som inte hoppar.
- För en **yta** är orienteringen ett val av "uppåt" — en enhetsnormal som varierar kontinuerligt.

Om bytet sker konsekvent över hela objektet säger man att kurvan/ytan är **orienterbar**. Det är två sidor av samma idé: utan en orientering är många integraler bara definierade *upp till tecken*.

> [!abstract] Grundtanken
> En orientering är en kontinuerlig "framåt"-vektor. För kurvor är det tangenten, för ytor är det normalen. När orienteringen byts byter integralen tecken.

## 2. Orienterade kurvor

En parametriserad kurva $\vec r(t),\ t\in[a,b]$ bär naturligt en orientering: man rör sig i den riktning $t$ växer. Att *vända* orienteringen är samma sak som att byta parameter till $\vec r(-t)$ eller $\vec r(a+b-t)$.

> [!note] Konsekvens för kurvintegraler
> [[Kurvintegraler av vektorfält|Kurvintegralen]] av ett vektorfält är *känslig* för orienteringen:
> $$
> \int_{-C}\vec F\cdot d\vec r=-\int_C \vec F\cdot d\vec r.
> $$
> Kurvintegralen av en *skalär* mot båglängd ($\int_C f\,ds$) är däremot *oberoende* — det är bara fältintegraler som byter tecken.

För slutna plana kurvor finns en kanonisk konvention: **motsols är positiv orientering**. Den används i [[Greens sats]] och alla satser som handlar om "områdets rand traverseras med $D$ till vänster".

## 3. Orienterade ytor

En yta $S$ i $\mathbb R^3$ är **orienterbar** om man kan välja en enhetsnormal $\hat n$ kontinuerligt på hela $S$. För grafen $z=f(x,y)$ kan man alltid göra det — det finns två naturliga val:

$$
\hat n=\frac{1}{\sqrt{1+f_x^2+f_y^2}}\begin{pmatrix}-f_x\\ -f_y\\ +1\end{pmatrix}
\quad(\text{uppåt}),\qquad
\hat n=\frac{1}{\sqrt{1+f_x^2+f_y^2}}\begin{pmatrix}+f_x\\ +f_y\\ -1\end{pmatrix}
\quad(\text{nedåt}).
$$

Att bestämma orienteringen är att välja vilketdera. Med en [[Parametriserade ytor|parametrisering]] $\vec r(u,v)$ är det naturliga valet

$$
\hat n=\frac{\vec r_u\times \vec r_v}{\|\vec r_u\times \vec r_v\|},
$$

och byter man parameterordningen — $\vec r(v,u)$ istället — vänds normalen.

> [!warning] Inte alla ytor är orienterbara
> Att kunna välja $\hat n$ kontinuerligt är inget tekniskt detaljvillkor. [[mobius strip|Möbiusbandet]] kan *inte* orienteras — försöker man välja en normal och följa den runt ett varv kommer den tillbaka med motsatt tecken. För integrationssatserna ([[Stokes sats]], [[Gauss sats]]) är orienterbarhet ett nödvändigt antagande.

![[mobius-normal.png|460]]

## 4. Inducerad orientering på randen

När $S$ är en orienterad yta med rand $\partial S$ ärver randen sin orientering från ytans. Regeln är **högerhandsregeln**:

> Stå på ytan i normalens riktning. Gå längs randen så att ytan ligger till *vänster*. Det är den positiva orienteringen på $\partial S$.

För en plan skiva i $xy$-planet med normalen $\hat n=\hat k$ (uppåt) blir den inducerade orienteringen på randcirkeln motsols — precis som Greens-sats-konventionen.

![[orientering-disc.png|520]]

Detta är den länk som binder ihop [[Stokes sats]]: när man har valt orientering på $S$ är orienteringen på $\partial S$ inte ett val längre, utan en konsekvens.

## 5. Slutna ytor — yttre normal

En **sluten** yta — sfär, kub, torus — har ingen rand. Den naturliga orienteringen är **utåtriktad normal**: $\hat n$ pekar ut från den volym som ytan innesluter. Det är konventionen i [[Gauss sats]], där flödet räknas *ut* genom $\partial V$.

Att vända till inåtriktad normal är ekvivalent med att byta tecken på alla flödesintegraler.

## 6. Sammanfattning

| Objekt | Orientering | Defaultkonvention |
|---|---|---|
| Kurva $C$ | tangentens "framåt"-riktning | parametriseringens växande $t$ |
| Sluten plan kurva | rotationsriktning | motsols (positiv) |
| Yta $S$ | enhetsnormal $\hat n$ | $\vec r_u\times\vec r_v$ från parametrisering |
| Rand $\partial S$ | inducerad från $S$ | högerhandsregeln |
| Sluten yta $\partial V$ | yttre/inre normal | yttre (utåt) |

> [!important] Praktisk konsekvens
> När du sätter upp en integral och får ett "tecken-fel" — kolla orienteringen först. Det är den vanligaste källan till feltecken, inte en räkningsmiss längre fram.

## Läsning

- [[z.Calculus A Complete Course 10th.pdf#page=947|16.6 Oriented Surfaces and Flux Integrals]]

## Se även

- [[Parametriserade ytor]]
- [[Ytintegraler]]
- [[Flödesintegraler]]
- [[Stokes sats]]
- [[Gauss sats]]
- [[mobius strip]]

## Resurser

- [Khan Academy: Orientation of surfaces](https://www.khanacademy.org/math/multivariable-calculus/integrating-multivariable-functions/surface-integral/v/orientation-of-a-surface)
- [Wikipedia: Orientability](https://en.wikipedia.org/wiki/Orientability)