Minh họa của định lý đường cong Jordan. Đường cong Jordan (vẽ bằng màu đen) chia mặt phẳng thành 2 phần: "phần trong" (màu xanh) và "phần ngoài"(màu hồng).
**Định lý đường cong Jordan** là một định lý thuộc lĩnh vực Tô pô - một chuyên ngành của toán học. Một đường cong Jordan là một vòng liên tục trong mặt phẳng, hay nói cách khác đường cong Jordan một đường liên tục, đơn, đóng. Định lý đường cong Jordan khẳng định mọi đường cong Jordan chia mặt phẳng thành hai thành phần liên thông với đường cong đã cho là biên. Do đó, bất kỳ một đường liên tục nào nối một điểm của miền này với một điểm của miền kia đều cắt đường cong Jordan.

Lịch sử vấn đề
--------------

Định lý đường cong Jordan được mang tên nhà toán học người Pháp Camille Jordan, người đã đưa ra chứng minh đầu tiên cho định lý này. Định lý được phát biểu có vẻ như hiển nhiên nhưng để có được một chứng minh hoàn chỉnh thì thật sự không dễ chút nào. Trong nhiều thập kỉ chứng minh của Jordan được coi là có thiếu sót và chứng minh đầy đủ đầu tiên là của Oswald Veblen, tuy nhiên điều này gần đây đã bị Thomas C. Hales và những người khác nghi ngờ. Ngày nay đa số những chứng minh rõ ràng dựa vào công cụ của tô pô đại số. Định lý đã được tổng quát hóa lên những không gian có số chiều cao hơn.

Đường cong Jordan
-----------------

Một **đường cong Jordan** là một đường cong liên tục, đơn, đóng trong mặt phẳng *R*2 (tất cả tô pô tô pô nhắc tới ở đây là tô pô Euclid). Cụ thể hơn, cho φ: *S*1 \to  *R*2 sao cho φ là một đơn ánh liên tục. Khi đó φ(*S*1) được gọi là một đường cong Jordan. Nói cách khác, một đường cong Jordan là ảnh của một ánh xạ liên tục φ: [0,1]\to  *R*2 sao cho φ(0)=φ(1) và hạn chế của φ lên [0,1) là đơn ánh. Ta thấy với điều kiện φ liên tục và φ(0)=φ(1) thì cho ta đường cong Jordan là một vòng liên tục và điều kiện hạn chế của φ lên [0,1) là đơn ánh cho ta vòng này không tự cắt.

*Phần bù trong* R*2 của đường cong Jordan J gồm hai thành phần liên thông và J là biên của mỗi thành phần.*

Chứng minh Định lý đường cong Jordan
------------------------------------

Dưới đây là tóm tắt một chứng minh tương đối sơ cấp của Ryuji Maehara.

Để chứng minh định lý đường cong Jordan chúng ta sẽ dùng Định lý điểm bất động Brouwer: *Bất kỳ một hàm liên tục f:* B*n \to* B*n đều có một điểm bất động, trong đó* B*n là một quả cầu đơn vị đóng '*n*-chiều.*.

Một định lý nữa cũng được dùng là Định lý mở rộng Tiestze: *Cho X là một không gian chuẩn tắc, cho F là một tập đóng trong X. Cho f: F \to  R là liên tục. Khi đó tồn tại một ánh xạ liên tục g: X \to  R sao cho g|F=f* .

### Nhận xét

1. *R*2\J có đúng một thành phần không bị chặn.
2. Mỗi thành phần của *R*2\J đều mở và liên thông đường.

Hai Bổ đề sau đây trực tiếp dẫn đến chứng minh của Định lý đường cong Jordan.

### Bổ đề 1

*Nếu* R*2\J không liên thông, thì J là biên của mỗi thành phần.*
**Hướng chứng minh.** Do giả thiết *R*2\J có ít nhất hai thành phần. Gọi U là một thành phần bất kỳ. Ta có ngay {\displaystyle {\bar {U}}\cap }(*R*2\U)\subset J. Tiếp theo ta sẽ đi chứng minh {\displaystyle {\bar {U}}\cap }(*R*2\U)=J bằng phản chứng. Giả sử ngược lại, {\displaystyle {\bar {U}}\cap }(*R*2\U)=A trong đó A là một cung, đồng phôi với khoảng [0,1]. Gọi D là một đĩa đóng tâm tại một điểm thuộc thành phần bị chặn, đủ lớn để chứa J bên trong. Theo định lý mở rộng Tiestze ánh xạ đồng nhất trên A có một mở rộng liên tục r:D\to A.

Định nghĩa ánh xạ q: D \to  D như sau:

Nếu U bị chặn:
Nếu {\displaystyle z\in {\bar {U}}}, q(z)= r(z)
Nếu {\displaystyle z\in }*R*2\U, q(z)= z.
Nếu U không bị chặn:
Nếu {\displaystyle z\in {\bar {U}}}, q(z)= z
Nếu {\displaystyle z\in }*R*2\U, q(z)= r(z).
Ánh xạ q được định nghĩa tốt và liên tục. Ngoài ra q không phải là một toàn ánh. Sử dụng Định lý điểm bất động Brouwer ta có thể tìm ra một mâu thuẫn.

### Bổ đề 2

*Gọi E(a,b;c,d)={(x,y) | a {\displaystyle \leq } x {\displaystyle \leq } b,c {\displaystyle \leq } y {\displaystyle \leq } d } trong mặt phẳng* R*2, trong đó a {\displaystyle \leq } b và c {\displaystyle \leq } d. Cho h(t) = (h1(t),h2(t)) và v(t) = (v1(t),v2(t)) là những đường liên tục trong E(a,b;c,d) thỏa mãn h1(-1)=a, h1(1)=b, v2(-1)=c, v2(1)=d. Khi đó hai đường này phải cắt nhau, có nghĩa là: h(s) = v(t), với s, t nào đó trong [-1,1].*
**Hướng chứng minh**. Hướng tiếp cận Bổ đề này là bằng phản chứng bằng cách xây dựng một ánh xạ F: E(-1,1;-1,1)\to  E(-1,1;-1,1) được xác định bởi

F(s,t)={\displaystyle \left({\frac {v\_{1}(t)-h\_{1}(s)}{N(s,t)}},{\frac {h\_{2}(s)-v\_{2}(t)}{N(s,t)}}\right)}

trong đó N(s,t) = Max{{\displaystyle |h\_{1}(s)-v\_{1}(t)||h\_{2}(s)-v\_{2}(t)|}}. Khi đó F không có điểm bất động, trái với Định lý điểm bất động Brouwer.

### Chứng minh định lý đường cong Jordan

Bước 1: Thiết lập một điểm {\displaystyle z\_{0}\in } *R*2\J.

Bước 2: Chứng minh thành phần U chứa điểm {\displaystyle z\_{0}} là bị chặn, sử dụng Bổ đề 2.

Bước 3: Chứng minh không có thành phần bị chặn nào khác ngoài U.

Do Bổ đề 1, giải quyết xong 3 bước trên tức là ta đã chứng minh được Định lý đường cong Jordan.

Các chứng minh khác
-------------------

Bên cạnh chứng minh trên thì vẫn còn có nhiều chứng minh khác được đưa ra. Chẳng hạn:

* Chứng minh sử dụng non-standard analysis bởi Narens (1971).
* Chứng minh sử dụng đồ thị phân đôi đầy đủ K3,3 được đưa ra bởi Thomassen (1992).
* Một chứng minh đơn giản được đưa ra bởi Helge Tverberg.

Chú thích
---------

1. ↑  Maehara, Ryuji (1984). "The Jordan curve theorem via the Brouwer fixed point theorem". *Amer. Math. Monthly*. **91** (10): 641–643. Truy cập ngày 3 tháng 6 năm 2012.
2. ↑  Czes Kosniowski, *A First Course in Algebraic Topology*.

Tham khảo
---------

* Dugundji, James (1966), *Topology*, Boston: Allyn and Bacon
* Berg, Gordon O.; Julian, W.; Mines, R.; Richman, Fred (1975), "The constructive Jordan curve theorem", *Rocky Mountain Journal of Mathematics*, **5** (2): 225–236, doi:10.1216/RMJ-1975-5-2-225, ISSN 0035-7596, MR 0410701
* Hales, Thomas C. (2007a), "The Jordan curve theorem, formally and informally", *The American Mathematical Monthly*, **114** (10): 882–894, ISSN 0002-9890, MR 2363054
* Hales, Thomas (2007b), "Jordan's proof of the Jordan Curve theorem" (PDF), *Studies in Logic, Grammar and Rhetoric*, **10** (23)
* Jordan, Camille (1887), *Cours d'analyse* (PDF), tr. 587–594
* Maehara, Ryuji (1984), "The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem", *The American Mathematical Monthly*, Mathematical Association of America, **91** (10): 641–643, doi:10.2307/2323369, ISSN 0002-9890, JSTOR 2323369, MR 0769530
* Narens, Louis (1971), "A nonstandard proof of the Jordan curve theorem", *Pacific Journal of Mathematics*, **36**: 219–229, ISSN 0030-8730, MR 0276940
* Osgood, William F. (1903), "A Jordan Curve of Positive Area", *Transactions of the American Mathematical Society*, Providence, R.I.: American Mathematical Society, **4** (1): 107–112, ISSN 0002-9947, JFM 34.0533.02, JSTOR 1986455
* Ross, Fiona; Ross, William T. (2011), "The Jordan curve theorem is non-trivial", *Journal of Mathematics and the Arts*, Taylor & Francis, **5** (4): 213–219, doi:10.1080/17513472.2011.634320. author's site
* Sakamoto, Nobuyuki; Yokoyama, Keita (2007), "The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic", *Archive for Mathematical Logic*, **46** (5): 465–480, doi:10.1007/s00153-007-0050-6, ISSN 0933-5846, MR 2321588
* Thomassen, Carsten (1992), "The Jordan–Schönflies theorem and the classification of surfaces", *American Mathematical Monthly*, **99** (2): 116–130, doi:10.2307/2324180, JSTOR 2324180
* Veblen, Oswald (1905), "Theory on Plane Curves in Non-Metrical Analysis Situs", *Transactions of the American Mathematical Society*, Providence, R.I.: American Mathematical Society, **6** (1): 83–98, ISSN 0002-9947, JSTOR 1986378

Liên kết ngoài
--------------

* The full 6,500 line formal proof of Jordan's curve theorem in Mizar.
* Collection of proofs of the Jordan curve theorem tại trang web của Andrew Ranicki
* A simple proof of Jordan curve theorem (PDF) bởi David B. Gauld
* Ứng dụng của định lý trong khoa học máy tính - Determining If A Point Lies On The Interior Of A Polygon Lưu trữ 2012-06-12 tại Wayback Machine bởi Paul Bourke