Jordanin käyrälause

Jordanin käyrä on topologiassa jokainen sellainen tasossa oleva käyrä, joka muodostaa suljetun silmukan eikä leikkaa itseään.
Jordanin käyrälause on topo­loginen lause, jonka mukaan jokainen Jordanin käyrä jakaa tason kahteen osaan, "sisä­puoleen" ja "ulko­puoleen", joiden välisenä rajana se on, niin että jokainen polku, joka yhdistää toisinaan kaksi sen eri puolilla olevaa pistettä,
leikkaa Jordanin käyrän vähintään yhdessä pisteessä. Vaikka tämä lause näin esitettynä vaikuttaa intuitiivisesti selvältä, sitä ei ole helppo todistaa alkeellisilla menetelmillä. Sen selvimmät todistukset perustuvat algeb­ralli­seen topo­logiaan, ja samaan tapaan lause voidaan yleistää myös useampi­ulotteisiin avaruuksiin.
Jordanin käyrä­lause on saanut nimensä matemaatikko Camille Jordanin mukaan, joka esitti sen ensimmäisen todistuksen. Useiden vuosi­kymmenien ajan oltiin yleisesti sitä mieltä, että hänen todistuksensa oli virheellinen ja että ensimmäisen pätevän todistuksen lauseelle muotoili Oswald Veblen. Tämän käsityksen on kuitenkin kyseen­alaistanut muun muassa Thomas C. Hales.

Määritelmät ja lauseen muotoilu

Tasossa  Jordanin käyrä C eli yksin­kertainen suljettu käyrä on ympyrän kuva injektiivisessä jatkuvassa kuvauksessa tasoon: 
φ: S¹ → R². Vastaavasti Jordanin kaari tasossa on suljetun välin kuva jatkuvassa injektiossa.
Vaihtoehtoisesti Jordanin käyrä voidaan määritellä sellaisena jatkuvana kuvauksena φ: [0,1] → R², että φ(0) = φ(1) ja että φ:n rajoittuma puoliavoimelle välille [0,1) on injektio.  Kaksi ensimmäistä ehtoa merkitsevät, että C
on jatkuva silmukka, kun taas jälkimmäinen ehto edellyttää, että C ei leikkaa itseään yhdessäkään pisteessä.
Jordanin käyrälause voidaan täsmällisesti ilmaista seuraavasti:
Olkoon C Jordanin käyrä tasossa . Tällöin sen komplementti  koostuu täsmälleen kahdesta yhtenäisestä komponentista. Toinen komponenteista on rajoitettu (sisäpuoli), toinen rajoittamaton (ulkopuoli), ja käyrä C on molempien reuna.
Lisäksi Jordanin käyrän komplementti tasossa on yhtenäinen.

Historia ja muita todistuksia

Jordanin käyrälause saattaa ensi kuulemalta vaikuttaa selvältä, mutta se on jokseenkin vaikea todistaa. Bernard Bolzano oli ensimmäinen, joka muotoili asian tämällisenä konjektuurina huomaten, ettei asia ollut itsestään selvä vaan edellytti todistusta. On helppoa osoittaa tämä tulos ympyrälle, ja melko helppoa myös monikulmion muotoisille viivoille, mutta vaikeus ilmeni yleistettäessä se eri­laisille tarpeeksi moni­mutkaisille käyrille, joita ovat esimerkiksi ei-missään derivoituvat käyrät kuten Kochin käyrä ja muut fraktaaliset käyrät sekä myös Osgoodin käyrä, jolla on posi­tiivinen pinta-ala.
Ensimmäisen todistuksen lauseelle esitti Camille Jordan reaalianalyysistä pitämillään luennoilla, ja hän julkaisi sen kirjassaan Cours d'analyse de l'École Polytechnique. On jossain määrin kiistelty siitä, onko Jordanin todistus täydellinen: enemmistö kommen­toijista on väittänyt, että ensimmäisen täydellisen
todistuksen esitti Oswald Veblen, joka sanoi Jordanin todistuksesta:

»Hänen todistuksensa on kuitenkin monien mate­maatik­ko­jen mielestä epä­tyydyttävä. Hän esittää teorian todistamatta sitä yksin­kertaisten moni­kulmioiden muodostamalle tärkeälle erikois­tapaukselle, ja siitä eteenpäin todistuksesta on myönnettävä, että ainakaan kaikkia yksityis­kohtia ei ole esitetty.» 
Thomas C. Hales kuitenkin kirjoitti:
»Melkein kaikki modernit sitaatit, jotka olen löytänyt, ovat yhtä mieltä siitä, että ensimmäisen pätevän todistuksen esitti Veblen... Koska Jordanin todistusta on ankarasti arvosteltu, yllätyin lukiessani hänen todistuksensa ja huomatessani, etten löytänyt siitä mitään huomau­tetta­vaa. Siitä lähtien olen ottanut yhteyttä moniin kirjoit­tajiin, jotka ovat arvostelleet Jordania, ja kaikki kirjoittajat ovat myöntäneet, ettei heillä ole suoraa tietoa virheestä Jordanin todis­tuksessa.
» 
Hales huomautti myös, että yksin­kertaisten moni­kulmioiden erikois­tapaus ei ole vain helppo harjoitus, vaan Jordan ei sitä todella käyttänyt, ja hän totesi Michael Reekeniä lainaten:

»Jordanin todistus on oleellisesti oikea.. Jordanin todistus ei esitä yksityis­kohtia tyydyttävällä tavalla. Mutta ajatus on oikea, ja tietyillä viilauksilla siitä saadaan kiistämätön.» 
Jordanin todistusta samoin kuin de la Vallée-Poussinin samalle lauseelle esittämää todistusta analysoi myöhemmin kriittisesti Schoenflies vuonna 1924 ja samalla täydensi niitä.
Koska Jordanin käyrälause on tärkeä matala­ulotteisessa topologiassa ja kompleksianalyysissa, se sai 1900-luvun alku­puolen johtavilta mate­maati­koilta osakseen runsaasti huomiota. Vaihtoehtoisia todistuksia ja yleistyksiä lauseelle ovat esittäneet James Waddell Alexander, Louis Antoine, Bieberbach, Luitzen Brouwer, Denjoy, Hatrogs, Kerékjártó, Alfred Pringsheim ja Schönflies. Uusia todistuksia ja aikaisempien todistuksien yksin­kertaisempia versiota esitetään edelleen.