Mostra la font per a Teorema de la corba de Jordan

[[Fitxer:Jordan curve theorem.png|miniatura|Il·lustració del teorema de la corba de Jordan. La corba de Jordan (representada en color negre) divideix el pla en una regió "interior" (color blau clar) i una regió "exterior" (color rosa).]]
En [[topologia]], una ''corba de Jordan'' és un [[Llaç (topologia)|llaç]] continu, que no s'interseca<ref>[http://www.diccionari.cat/lexicx.jsp?GECART=0078524 ''intersecar-se''] al Gran Diccionari de la Llengua Catalana</ref> amb ell mateix, del pla; hom també en diu ''corba tancada simple''. El '''teorema de la corba de Jordan''' afirma que tota corba de Jordan divideix el pla en una regió "interior" delimitada per la corba i una regió "exterior" que conté tots els punts exteriors a la corba, de tal manera que qualsevol [[Camí (topologia)|camí]] continu que connecta un punt d'una regió amb un punt de l'altra s'interseca amb la corba en algun lloc. Encara que l'enunciat d'aquest [[teorema]] sembla obvi, la demostració no és pas tan senzilla. Les demostracions més robustes fan ús de les eines de [[topologia algebraica]], i proporcionen generalitzacions a espais de més dimensions.

El teorema de la corba de Jordan rep aquest nom pel [[matemàtic]] [[Camille Jordan]], que va ser el primer a demostrar-lo. Durant dècades, es va creure que aquesta demostració era errònia, fins que [[Oswald Veblen]] en va fer una demostració rigorosa. Tot i això, aquesta idea va ser refutada per [[Thomas Callister Hales|Thomas C. Hales]] i d'altres.

== Definicions i enunciat del teorema de Jordan ==
Una ''corba de Jordan'' o ''corba tancada simple'' del pla ℝ<sup>2</sup> és la [[Imatge (matemàtiques)|imatge]] ''C'' en el pla per una [[funció contínua]] [[Funció injectiva|injectiva]] d'una [[circumferència]], ''φ'':&nbsp;''S''<sup>1</sup>&nbsp;→&nbsp;ℝ<sup>2</sup>. Un '''arc de Jordan''' en el pla és la imatge en el pla per una funció contínua injectiva d'un interval tancat.

Equivalentment, una corba de Jordan és la imatge d'una funció contínua ''φ'':&nbsp;[0,1]&nbsp;→&nbsp;ℝ<sup>2</sup> tal que ''φ''(0) = ''φ''(1) i la restricció de ''φ'' a [0,1) és injectiva. Les primeres dues condicions ens diuen que ''C'' és un llaç continu, mentre que l'última condició estableix que ''C'' no s'interseca amb ella mateixa.

{{teorema|1=Sigui ''C'' una corba de Jordan en el pla ℝ<sup>2</sup>. Llavors el seu [[complementari]], ℝ<sup>2</sup>&nbsp;\&nbsp;''C'', consisteix en exactament dues [[Conjunt connex|components connexes]]. Una d'aquestes components és [[Conjunt fitat|fitada]] (l'<nowiki />''interior'') i l'altra és no-fitada (l'<nowiki />''exterior''), i la corba ''C'' és la [[Frontera (topologia)|frontera]] de cada component.|2=Teorema de la corba de Jordan}}

Addicionalment, el complement d'un arc de Jordan al pla és connex.

== Demostració i generalitzacions ==
El teorema de la corba de Jordan fou generalitzat a dimensions superiors de forma independent per [[Henri Léon Lebesgue|Lebesgue]] i [[Luitzen Egbertus Jan Brouwer|Brouwer]] el 1911, i d'aquí va resultar el '''teorema de separació de Jordan-Brouwer'''.

{{teorema|1=Sigui ''X'' una [[esfera]] topològica en l'[[espai Euclidià]] de dimensió ''n''+1, ℝ<sup>''n''+1</sup>, és a dir, la imatge en ℝ<sup>''n''+1</sup> per una funció contínua injectiva de la [[N-esfera|''n''-esfera]] ''S<sup>n</sup>''. Aleshores el complement ''Y'' de ''X'' en ℝ<sup>''n''+1</sup> consisteix exactament en dues components connexes. Una d'aquestes components és fitada (l'interior) i l'altra és no-fitada (l'exterior). El conjunt ''X'' és la seva frontera comuna.|2=Teorema de separació de Jordan-Brouwer}}

{{demostració|1= La demostració usa eines d'[[àlgebra homològica]]. Primer es mostra que, més generalment, si ''X'' és homeomorf a la ''k''-esfera, llavors els grups d'[[homologia reduïda]] de ''Y'' = ℝ<sup>''n''+1</sup>&nbsp;\&nbsp;''X'' són de la següent forma:
: <math>\tilde{H}_{q}(Y)= \begin{cases}\mathbb{Z},\quad q=n-k \\ 0,\quad \text{altrament}.\end{cases}</math>
Això es demostra per inducció sobre ''k'' emprant la [[successió de Mayer-Vietoris]]. Quan ''n'' = ''k'', l'homologia reduïda 0-sima de ''Y'' té rang 1, la qual cosa vol dir que ''T'' té dues components connexes (que, a més, són [[Conjunt connex#Connexió per arcs|arc-connexes]]), i aprofundint una mica més, hom pot veure que la seva frontera comuna és ''X''.
|títol=Esbós de la demostració}}

[[James Waddell Alexander II|J. W. Alexander]] va trobar-ne una generalització, que establia la [[dualitat d'Alexander]] entre l'homologia reduïda d'un subconjunt [[Espai compacte|compacte]] ''X'' de ℝ<sup>''n''+1</sup> i la cohomologia reduïda del seu complement. Si ''X'' és una varietat connexa compacte de dimensió ''n'' dins ℝ<sup>''n''+1</sup> (o ''S''<sup>''n''+1</sup>) sense frontera, llavors el seu complement té dues components connexes.

Existeix una versió més forta del teorema de la corba de Jordan, anomenada [[teorema de Jordan-Schönflies]], que afirma que les regions interior i exterior del pla determinades per una corba de Jordan a ℝ<sup>2</sup> són [[Homeomorfisme|homeomorfes]] a l'interior i l'exterior del [[disc unitat]]. En particular, donat un punt ''P'' de la regió interior i un punt ''A'' de la corba de Jordan, existeix un arc de Jordan que connecta ''P'' amb ''A'' i que està contingut completament en la regió interior, llevat del punt final ''A''. Una formulació alternativa i equivalent del teorema de Jordan-Schönflies afirma que qualsevol corba de Jordan ''&phi;'':&nbsp;''S''<sup>1</sup>&nbsp;→&nbsp;ℝ<sup>2</sup>, on ''S''<sup>1</sup> és la [[circumferència unitat]] del pla, es pot estendre a un homeomorfisme ''&psi;'':&nbsp;ℝ<sup>2</sup>&nbsp;→&nbsp;ℝ<sup>2</sup> del pla. Contràriament a la generalització del teorema de la corba de Jordan establerta per Lebesgue i Brouwer, aquesta afirmació esdevé ''falsa'' en dimensions superiors: mentre que l'exterior de la bola unitat en ℝ<sup>3</sup> és [[Conjunt simplement connex|simplement connexa]], ja que es pot contraure en l'esfera unitat, l'[[esfera banyuda d'Alexander]] és un subconjunt de ℝ<sup>3</sup> homeomorf a una [[esfera]], però tan recargolada en l'espai que la component no-fitada del seu complement en ℝ<sup>3</sup> no és simplement connexa, i per tant no és homeomorfa a l'exterior de la bola unitat.

== Història i altres demostracions ==
L'enunciat del teorema de la corba de Jordan pot semblar senzill, però és un resultat difícil de demostrar. [[Bernard Bolzano]] va ser el primer a formular una conjectura precisa, tot observant que no era una afirmació evident, sinó que requeria una demostració. És senzill establir aquest resultat per línies poligonals, però el problema rau a generalitzar-lo per qualsevol tipus de corbes, incloent-hi corbes no [[Funció derivable|derivables]] enlloc, com ara el [[floc de neu de Koch]] i altres [[Fractal|corbes fractals]], o inclús [[Corba d'Osgood|una corba de Jordan amb àrea positiva]] construïda per {{harvtxt|Osgood|1903}}.

La primera demostració d'aquest teorema fou donada per [[Camille Jordan]] en els seus tractats sobre [[anàlisi real]], i fou publicat en el seu llibre ''Cours d'analyse de l'École Polytechnique''.<ref>{{Harvard citations|txt|authorlink=Camille Jordan|first=Camille|last= Jordan|year=1887}}</ref> Existeix una certa controvèrsia sobre si la demostració de Jordan era completa: la majoria d'estudiosos de la matèria afirmaven que la primera demostració completa fou donada posteriorment per [[Oswald Veblen]], que va dir el següent sobre la demostració de Jordan:

{{cquote|La seva prova, no obstant, no és satisfactòria per molts matemàtics. Assumeix el teorema sense demostrar pel cas especial important d'un polígon simple, i d'ací en endavant, hom ha d'admetre almenys que no es donen tots els detalls de la demostració.<ref>{{Harvard citations|txt|authorlink=Oswald Veblen|first=Oswald |last=Veblen|year=1905}}</ref>}} 

Tot i això, [[Thomas Callister Hales|Thomas C. Hales]] va escriure: 

{{cquote|Gairebé qualsevol cita moderna que he trobat està d'acord que la primera demostració correcta és atribuïda a Veblen... A la vista de les fortes crítiques de la demostració de Jordan, vaig quedar sorprès quan vaig seure per llegir la seva demostració, i no vaig trobar-hi res de qüestionable. Des de llavors, he contactat alguns dels autors que van criticar Jordan, i en tots els casos l'autor va admetre que no tenien cap coneixement directe d'un error en la demostració de Jordan.<ref name="harvtxt">{{harvtxt|Hales|2007b}}</ref>}}

Hales també va apuntar que el cas especial dels polígons simples no és només un exercici fàcil, sinó que aquest fet no fou emprat en absolut en la demostració de Jordan, i cità Michael Reeken dient:

{{cquote|La demostració de Jordan és essencialment correcta... La demostració de Jordan no presenta els detalls d'una forma satisfactòria. Però la idea és correcta, i amb una mica de refinament la demostració seria impecable.<ref name="harvtxt"/>}}

La demostració de Jordan i una demostració anterior de [[Charles-Jean de la Vallée-Poussin|de la Vallée-Poussin]] foren analitzades i completades per Schönflies (1924).

Donada la importància del teorema de la corba de Jordan en els àmbits de la [[topologia geomètrica]] i l'[[anàlisi complexa]], va rebre molta atenció per part d'importants matemàtics de la primera meitat del {{segle|XX}}. Algunes demostracions del teorema i de les seves generalitzacions foren desenvolupades per [[James Waddell Alexander II|J. W. Alexander]], [[Louis Antoine]], [[Ludwig Bieberbach]], [[Luitzen Egbertus Jan Brouwer|Luitzen Brouwer]], [[Arnaud Denjoy]], [[Fritz Hartogs]], [[Béla Kerékjártó]], [[Alfred Pringsheim]]  i [[Arthur Moritz Schönflies]].

El 1950, [[Aleksei Fedorovich Filippov|A. F. Filippov]] va presentar una demostració curta del teorema de la corba de Jordan.<ref>{{ref-web|cognom=Filippov|nom=Aleksei F.|url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=8482&option_lang=eng|consulta=30 juny 2013|títol=An elementary proof of Jordan's theorem|editor=Uspekhi Mat. Nauk|pàgines=173-176|any=1950}}</ref> 

En l'actualitat encara es desenvolupen noves demostracions elementals del teorema de la corba de Jordan, així com simplificacions de les demostracions originals.
* Una demostració usant el [[Teorema del punt fix de Brouwer]] per {{harvtxt|Maehara|1984}}.
* Una demostració usant [[anàlisi no-estàndard]] per {{harvtxt|Narens|1971}}.
* Una demostració usant matemàtiques constructives per Gordon O. Berg, W. Julian, and R. Mines et al.<ref>{{ref-publicació|cognom=Berg|nom=Gordon O.|títol=The constructive Jordan curve theorem|publicació=[[Rocky Mountain Journal of Mathematics]]|pàgines=225-236|volum=5|coautors=Julian, W.; Mines, R.; Richman, Fred|llengua=anglès|any=1975|issn=0035-7596}}</ref>
* Una demostració usant la [[Graf pla|no-planaritat]] del [[graf bipartit complet]] K<sub>3,3</sub> per {{harvtxt|Thomassen|1992}}.
* Una simplificació de la demostració per [[Helge Tverberg]].<ref>Czes Kosniowski, ''A First Course in Algebraic Topology''</ref>

La primera [[derivació formal]] del teorema de la corba de Jordan fou creada per {{harvtxt|Hales|2007a}} en el sistema [[HOL Light]], el gener de 2005, i contenia unes 60.000 línies. Una altra demostració rigorosa de 6.500 línies fou desenvolupada per un equip internacional de matemàtics, que empraren el [[sistema Mizar]]. Tant la demostració Mizar com la HOL Light es basen en llibreries de teoremes demostrats amb anterioritat, amb la qual cosa aquestes dues mides no són comparables. Nobuyuki Sakamoto i Keita Yokoyama van demostrar el 2007 que el teorema de la corba de Jordan és equivalent, en termes de complexitat, al lema feble de König.<ref>{{ref-publicació|cognom=Sakamoto|nom=Nobuyuki|títol=The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic|publicació=Archive for Mathematical Logic|pàgines=465–480|volum=46|exemplar=5-6|doi=10.1007/s00153-007-0050-6|coautors=Yokoyama, Keita|any=2007|issn=0933-5846}}</ref>

== Referències ==
<references/>

== Bibliografia ==
* {{ref-publicació|cognom=Berg|nom=G.|títol=The constructive Jordan curve theorem|publicació=Rocky Mountain Journal of Mathematics|data=1 juny 1975|pàgines=225–236|volum=5|exemplar=2|doi=10.1216/RMJ-1975-5-2-225|coautors=Julian, W.; Mines, R.; Richman, F.|issn=0035-7596}}
* {{ref-publicació|cognom=Hales|nom=Thomas C.|títol=The Jordan curve theorem, formally and informally|publicació=American Mathematical Monthly|pàgines=882-894|volum=114|exemplar=10|any=2007a|issn=0002-9890}}
* {{ref-publicació|cognom=Hales|nom=Thomas|títol=Jordan's proof of the Jordan Curve theorem|publicació=Studies in Logic, Grammar and Rhetoric|volum=10|exemplar=23|url=http://mizar.org/trybulec65/4.pdf|any=2007b}}
* {{ref-llibre|cognom=Jordan|nom=Camille|títol=Cours d'analyse|pàgines=587-594|any=1887|url=http://www.maths.ed.ac.uk/~aar/jordan/jordan.pdf}}
* {{ref-publicació|cognom=Maehara|nom=Ryuji|títol=The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem|publicació=The American Mathematical Monthly|data=1 desembre 1984|pàgines=641-643|volum=91|exemplar=10|doi=10.2307/2323369|any=1984}}
* {{ref-publicació|cognom=Narens|nom=Louis|títol=A nonstandard proof of the Jordan curve theorem|publicació=Pacific Journal of Mathematica|pàgines=219-229|volum=36|url=http://projecteuclid.org/euclid.pjm/1102971282|any=1971|issn=0030-8730}}
* {{ref-publicació|cognom=Osgood|nom=William F.|títol=A Jordan Curve of Positive Area|publicació=Transactions of the American Mathematical Society|pàgines=107-112|volum=4|exemplar=1|lloc=Providence, R.I., EUA|editorial=American Mathematical Society|any=1903|issn=0002-9947}}
* {{ref-publicació|cognom=Ross|nom=Fiona|títol=The Jordan curve theorem is non-trivial|publicació=Journal of Mathematics and the Arts|data=1 desembre 2011|pàgines=213–219|volum=5|exemplar=4|doi=10.1080/17513472.2011.634320|url=http://www.tandfonline.com/doi/abs/10.1080/17513472.2011.634320|coautors=Ross, William T.|editorial=Taylor & Francis|any=2011}} [https://facultystaff.richmond.edu/~wross/PDF/Jordan-revised.pdf lloc web dels autors] 
* {{ref-publicació|cognom=Sakamoto|nom=Nobuyuki|títol=The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic|publicació=Archive for Mathematical Logic|pàgines=465–480|volum=46|exemplar=5-6|doi=10.1007/s00153-007-0050-6|coautors=Yokoyama, Keita}}
* {{ref-publicació|cognom=Thomassen|nom=Carsten|títol=The Jordan-Schönflies Theorem and the Classification of Surface|publicació=The American Mathematical Monthly|data=1 febrer 1992|pàgines=116|volum=99|exemplar=2|doi=10.2307/2324180|any=1992}}
* {{ref-publicació|cognom=Veblen|nom=Oswald|títol=Theory on Plane Curves in Non-Metrical Analysis Situs|publicació=Transactions of the Americal Mathematical Society|pàgines=83-98|volum=6|exemplar=1|lloc=Providence, R.I., EUA|editorial=American Mathematical Society|any=1905|issn=0002-9947}}

== Vegeu també ==
* [[Llacs de Wada]]
* [[Grup quasi-fuchsià]], un grup matemàtic que preserva una cobra de Jordan
* [[Anàlisi complexa]]

== Enllaços externs ==
{{Commonscat}}
* [http://www.encyclopediaofmath.org/index.php?title=Jordan_theorem&oldid=16776 Jordan theorem] M.I. Voitsekhovskii (originator), ''Encyclopedia of Mathematics'', [[Especial:Fonts bibliogràfiques/9781556080104|ISBN 978-1-55608-010-4]]
* [http://mizar.uwb.edu.pl/version/7.11.07_4.156.1112/html/jordan.html La demostració formal completa de 6,500 línies del teorema de la corba de Jordan] en [[Sistema Mizar|Mizar]] (en anglès)
* [http://www.maths.ed.ac.uk/~aar/jordan ''Collection of proofs of the Jordan curve theorem'' (Recopilació de demostracions del teorema de la corba de Jordan)] al lloc web de Andrew Ranicki (en anglès)
* [http://www.math.auckland.ac.nz/class750/section5.pdf ''A simple proof of Jordan curve theorem'' (Una demostració simple del teorema de la corba de Jordan)] (PDF) per David B. Gauld (en anglès)
* Aplicacions del teorema en computació - [http://local.wasp.uwa.edu.au/~pbourke/geometry/insidepoly/ ''Determining If A Point Lies On The Interior Of A Polygon'' (Determinar si un punt és al'interior d'un polígon)] per Paul Bourke (en anglès)

{{ORDENA:Teorema De La Corba De Jordan}}
[[Categoria:Topologia geomètrica]]
[[Categoria:Teoremes de geometria|Corba de Jordan]]
[[Categoria:Anàlisi complexa]]