Öppna huvudmenyn
Illustration av Jordans kurvsats. Jordankurvan (ritad i svart) delar planet i en "inre" region (ljusblå) och en "yttre" region (rosa).

Jordans kurvsats är ett resultat inom topologin som informellt formulerat säger att varje kontinuerlig, sluten, kurva i planet som inte skär sig själv kommer dela planet i två delar, en inre region och en yttre.

Innehåll

JordankurvorRedigera

En Jordankurva är en speciell typ av plan kurva. Man kan formulera det som att den är en kontinuerlig, injektiv funktion från enhetscirkeln till  .

Man kan också formulera det som det är en kontinuerlig funktion, f, från   till   sådan att f(0) =f(1) men   för alla andra par x och y. Intuitivt betyder detta att kurvan återvänder till startpunkten men inte korsar sin väg någon annanstans.

Jordans kurvsatsRedigera

Låt f vara en Jordankurva och beteckna bilden den med J. Då säger Jordans kurvsats att det finns två öppna mängder U och Vsådana att

  •  
  •  
  • U och V är sammanhängande
  • U är begränsad och V är obegränsad
  • Både U och V har J som rand.

Intuitivt så är U allt innanför kurvan och V allt utanför.

HistoriaRedigera

Satsen kan verka uppenbar men är överraskande svår att bevisa. Bernard Bolzano var den första att påpeka att satsen inte var självklar utan behövde bevisas. Den första som publicerade ett bevis var Camille Jordan men det anses vara inkomplett av många författare. Det första allmänt accepterade beviset gavs av Oswald Veblen.

Idag finns det många bevis av satsen.

ReferenserRedigera