Xem mã nguồn của Đường cong đại số

{{Short description|Đường cong định nghĩa theo nghiệm của đa thức}}
[[File:Tschirnhausen cubic.svg|thumb|right|[[Đường cong Tschirnhausen]] là một ví dụ về đường cong đại số bậc ba.]]

Trong [[toán học]], '''đường cong phẳng đại số affin'''<!-- Không nhầm tên --> là [[tập nghiệm]] của đa thức hai biến. '''đường cong phẳng đại số xạ ảnh'''<!-- Không nhầm tên --> là tập nghiệm trong [[mặt phẳng xạ ảnh]] của [[đa thức thuần nhất]] trong ba biến. đường cong phẳng đại số affin có thể chuyển thành đường cong phẳng đại số xạ ảnh bằng cách [[thuần nhất hoá đa thức|thuần nhất hoá]] đa thức của nó. Ngược lại, đường cong phẳng đại số xạ ảnh của phương trình thuần nhất {{math|1=''h''(''x'', ''y'', ''t'') = 0}} có thể giới hạn về đường cong phẳng đại số affin dưới phương trình {{math|1=''h''(''x'', ''y'', 1) = 0}}. Hai phép biến đổi này là [[hàm ngược|nghịch đảo của nhau]]; do đó, ta có thể dùng chung thuật ngữ '''đường cong phẳng đại số''' mà không cần phải quan tâm tới nó là xạ ảnh hay affin.

Tổng quát hơn, '''đường cong đại số''' là [[đa tạp đại số]] có [[chiều của đa tạp đại số|chiều]] bằng một. Hoặc nói một cách tương đương, đường cong đại số là đa tạp đại số [[tương đương song hữu tỉ]] với một đường cong phẳng đại số nào đó. Nếu đường cong đó nằm trong [[không gian affin]] hoặc [[không gian xạ ảnh]], ta có thể dùng [[phép chiếu (toán học)|phép chiếu]] để tìm ra tương đương song hữu tỷ đó.

Các tương đương song hữu tỉ giúp rút gọn nghiên cứu các đường cong đại số về các đường cong phẳng đại số. Tuy nhiên, vẫn có một số tính chất không được giữ trong tương đương song hữu tỉ và do đó phải được nghiên cứu trên đường không phẳng. Một trong số các tính chất đó là [[bậc của đa tạp đại số|bậc]] và [[điểm kỳ dị của đa tạp đại số|độ trơn]]. Ví dụ như, tồn tại các đường con trơn có [[Giống (hình học)|giống]] bằng 0 và bậc lớn hơn hai nhưng phép chiếu trên mặt phẳng của các đường cong đó có các điểm kỳ dị (xem [[công thức giống-bậc]]).

Đường không phẳng còn được gọi là ''đường không gian'' hay ''[[đường xiên]]''.

== Trong hình học Euclid ==
Đường cong đại số trong [[mặt phẳng Euclid]] là tập các điểm mà [[toạ độ]] của nó là nghiệm của [[phương trình đa thức]] hai biến ''p''(''x'', ''y'') = 0. Phương trình này còn được gọi là [[phương trình ẩn]] của đường cong.

Một trong những bài toán đầu tiên khi xét đường cong đại số là xác định hình dạng của đồ thị của nó rồi vẽ. Bài toán này không dễ như khi vẽ đồ thị của hàm số khi các giá trị ''y'' có thể dễ dàng tính từ nhiều giá trị của ''x''. Song ta có thể dựa vào định nghĩa phương trình là đa thức để tìm ra một số cấu trúc giải quyết bài toán.

Mọi đường cong đại số đều có thể phân tách duy nhất thành hữu hạn số các [[cung (hình học)|cung]] đơn điệu và trơn (còn được gọi là ''các nhánh''), đôi khi được nối với nhau bằng các điểm được gọi "điểm nổi bật", và có thể hữu hạn số [[điểm cô lập]] khác. ''Cung đơn điệu và trơn'' là đồ thị của [[hàm trơn]] được xác định và đơn điệu trên một [[khoảng mở]] của trục ''x''. Theo mỗi hướng, cung đó hoặc không bị chặn (thường hay gọi là ''cung vô hạn'') hoặc có điểm mút là điểm kỳ dị (được định nghĩa bên dưới) hoặc là điểm có đường tiếp tuyến song song với một trong hai trục toạ độ.

Lấy ví dụ, xét [[đường cong bậc ba Tschirnhausen]], có hai cung vô hạn lấy điểm (0,0) là điểm mút. Điểm (0, 0) này là [[kỳ dị toán học|điểm kỳ dị]] duy nhất của đường cong đó. Trong đường cong còn có thêm hai cung cũng có điểm này làm điểm mút và điểm mút còn lại có đường tiếp tuyến ngang. Ngoài ram có hai cung khác trong đó mỗi điểm mút đó có một điểm mút có tiếp tuyến ngang và một điểm mút có tiếp tuyến dọc. Ngược lại, [[sóng sin]] không phải đường cong đại số bởi nó có vô hạn số cung đơn điệu.

Để vẽ đường cong đại số, ta cần để ý tới các điểm nổi bật và các đường tiếp tuyến của nó, các nhánh vô hạn và [[Tiệm cận (giải tích)|tiệm cận]] của chúng (nếu có) và cách mà các cung nối với nhau. Ngoài ra cũng có thể xét các [[điểm uốn]] làm điểm nổi bật. Khi vẽ tất cả các thông tin này ra giấy,  thường thì có thể hình dung ngay hình dạng của đường cong. Nếu vẫn chưa xác định được thì ta chỉ cần thêm vài điểm và một số tiếp tuyến để có thể hình dung ra đường cong.

Các phương pháp để tính các điểm nổi bật và các tiếp tuyến của nó được đề cập dưới đây.

== Đường xạ ảnh phẳng ==

Để thuận lợi, ta thường xét các đường cong trong [[không gian xạ ảnh]]. Đường cong đại số trong [[mặt phẳng xạ ảnh]] hay còn gọi là '''đường xạ ảnh phẳng''' là tập các điểm trong [[mặt phẳng xạ ảnh]] có các [[toạ độ xạ ảnh]] là nghiệm của [[đa thức thuần nhất]] ba biến ''P''(''x'', ''y'', ''z'').

Mọi đường cong đại số affin của phương trình ''p''(''x'', ''y'') = 0 có thể chuyển thành thành đường cong xạ ảnh của phương trình <math>^hp(x,y,z)=0,</math> trong đó
<math display="block">^hp(x,y,z)=z^{\deg(p)}p(\tfrac{x}{z},\tfrac{y}{z})</math>
là kết quả [[đa thức thuần nhất|thuần nhất hoá]] ''p''. Ngược lại, nếu ''P''(''x'', ''y'', ''z'') = 0 là phương trình thuần nhất của đường cong xạ ảnh, thì ''P''(''x'', ''y'', 1) = 0 là phương trình của đường cong affin chứa các điểm của đường con xạ ảnh có toạ độ xạ ảnh thứ ba khác không. Hai phép thực hiện này nghịch đảo cho nhau bởi <math>^hp(x,y,1)=p(x,y)</math> và, nếu ''p'' được định nghĩa bởi <math>p(x,y)=P(x,y,1)</math>, thì <math>^hp(x,y,z)=P(x,y,z),</math> ngay khi đa thức thuần nhất ''P'' không chia hết cho ''z''.

Lấy ví dụ, đường cong xạ ảnh của phương trình ''x''<sup>2</sup> + ''y''<sup>2</sup> − ''z''<sup>2</sup> là hoàn thiện xạ ảnh của [[đường tròn đơn vị]] của phương trình ''x''<sup>2</sup> + ''y''<sup>2</sup> − 1 = 0.

Từ đây cho thấy rằng đường cong affin và đường xạ ảnh lấy từ là cùng một đường cong, hay nói một cách chuẩn xác hơn, đường cong affin là một phần của đường cong xạ ảnh nhưng đủ lớn để có thể định nghĩa hoàn toàn "toàn bộ" đường cong.

Đường xạ ảnh thường được nghiên cứu riêng. Nó thường được áp dụng khi nghiên cứu đường cong affin. Lấy ví dụ, nếu ''p''(''x'', ''y'') là đa thức định nghĩa đường cong affin, bên cạnh đạo hàm riêng <math> p'_x</math> và <math> p'_y</math>, ta cũng có thể xét '''đạo hàm tại vô cực'''
<math display="block"> p'_\infty(x,y)={^hp'_z(x,y,1)}.</math>

Lấy ví dụ, phương trình của đường tiếp tuyến của đường cong affine có phương trình ''p''(''x'', ''y'') = 0 tại điểm (''a'', ''b'') là
<math display="block">xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0.</math>

== Các điểm nổi bật của đường cong phẳng ==
{{See also|Đường phẳng}}

Ở đây, ta sẽ xét đường cong đại số phẳng định nghĩa bởi đa thức hai biến ''p''(''x'', ''y'') và dạng xạ ảnh của nó, định theo phương trình thuần nhất <math>P(x,y,z)= {}^hp(x,y,z)</math> của ''p''.

===Giao với một đường thẳng===
Giao với các trục toạ độ và các tiệm cận rất có ích cho việc vẽ đường cong. Giao với một đường song song với trục toạ độ cho phép ta tìm ra ít nhất một điểm thuộc mỗi nhánh của đường cong. Nếu có một [[thuật toán tìm nghiệm]] hiệu quả, thì sẽ cho phép ta có thể vẽ đường cong bằng cách vẽ các giao điểm với tất cả các đường song song với trục ''y'' và chạy qua mỗi [[pixel]] trên trục ''x''.

Nếu đa thức định nghĩa đường cong có bậc ''d'', thì mọi đường thẳng sẽ cắt đường cong tối đa ''d'' điểm. [[Định lý Bézout]] khẳng định số giao điểm bằng ''d'' nếu các điểm được tìm trong không gian xạ ảnh trên [[trường đóng đại số]] (ví dụ như [[số phức]]), và được đếm cùng [[số bội (toán học)|số bội]]. Phương pháp tính sau chứng minh định lý này trong trường hợp đơn giản.

Để tính giao của đường cong định nghĩa bởi đa thức ''p'' với đường thẳng có phương trình ''ax''+''by''+''c'' = 0, ta cần giải phương trình đường thẳng cho ''x'' (hoặc cho ''y'' nếu ''a'' = 0). Thay kết quả vào ''p'', ta đường phương trình một biến ''q''(''y'') = 0 (hay ''q''(''x'') = 0, nếu phương trình đường thẳng được giải theo ''y''), mỗi nghiệm này đều là một trong hai toạ độ của giao điểm. Toạ độ còn lại sẽ được suy từ phương trình đường thẳng. Số bội của giao điểm là số bội của nghiệm tương ứng. Có giao điểm tại vô cực nếu bậc của ''q'' nhỏ hơn bậc của ''p''; khi đó số bội của giao điểm tại vô cực sẽ bằng hiệu giữa bậc của ''p'' và ''q''.

===Tiếp tuyến tại một điểm===
Tiếp tuyến tại điểm (''a'', ''b'') của đường cong là đường thẳng có phương trình <math>(x-a)p'_x(a,b)+(y-b)p'_y(a,b)=0</math>, giống như mọi [[đường cong khả vi]] định nghĩa theo phương trình ẩn. Trong trường hợp đa thức, có một công thức khác đơn giản hơn và đối xứng hơn như sau:

<math display="block">xp'_x(a,b)+yp'_y(a,b)+p'_\infty(a,b)=0,</math>

trong đó <math>p'_\infty(x,y)=P'_z(x,y,1)</math> là đạo hàm tại vô cực. Tương đương giữa hai phương trình được chứng minh bằng cách áp dụng [[định lý thuần nhất của Euler]] cho ''P''.

Nếu <math>p'_x(a,b)=p'_y(a,b)=0,</math>, tiếp tuyến sẽ không xác định được và điểm đó sẽ thành '''điểm kỳ dị'''.

Ta có thể lập tức mở rộng sang trường hợp xạ ảnh: Phương trình tiếp tuyến của điểm có [[toạ độ xạ ảnh]] (''a'':''b'':''c'') của đường cong xạ ảnh với phương trình ''P''(''x'', ''y'', ''z'') = 0 là

<math display="block">xP'_x(a,b,c)+yP'_y(a,b,c)+zP'_z(a,b,c)=0,</math>

là các điểm kỳ dị của đường cong đó là các điểm thoả mãn

<math display="block">P'_x(a,b,c)=P'_y(a,b,c)=P'_z(a,b,c)=0.</math>

(Điều kiện ''P''(''a'', ''b'', ''c'') = 0 suy ra từ các điều kiện này, theo định lý thuần nhất hàm của Euler.)

===Tiệm cận===
Mọi nhánh vô hạn của đường cong đại số đều tương ứng với một điểm vô hạn trên đường cong, và điểm đó là điểm của hoàn thiện xạ ảnh của đường cong không nằm trong dạng affin. [[Tiệm cận]] tương ứng là tiếp tuyến của đường cong tại điểm đó. Ta có thể áp dụng công thức chung của tiếp tuyến cho đường cong xạ ảnh, nhưng ở đây sẽ có công thức riêng.

Đầu tiên ta phân tách đa thức ''p'' thành các đa thức thuần nhất nhỏ hơn <math>p=p_d+\cdots+p_0</math>, trong đó ''p<sub>i</sub>'' là tổng của các đa thức monic của ''p'' có bậc ''i''. Từ đây ta sẽ suy ra rằng
<math display="block">P={^hp}=p_d+zp_{d-1}+\cdots+z^dp_0</math>
và
<math display="block">P'_z(a,b,0) =p_{d-1}(a,b).</math>

Điểm tại vô cực tại đường cong là nghiệm của ''p'' dưới dạng (''a'', ''b'', 0). hoặc tương đương, (''a'', ''b'') là nghiệm của ''p<sub>d</sub>''. Áp dụng [[định lý cơ bản của đại số]] sẽ suy ra rằng, trên trường đóng đại số (thường sẽ là trường số phức) ''p''<sub>''d''</sub> sẽ phân tích thành tích của phần tử tuyến tính. Mỗi phần tử sẽ định nghĩa một điểm tại vô cực của đường cong: nếu ''bx''&nbsp;−&nbsp;''ay'' là một trong những phần tử đó, thì nó sẽ định nghĩa điểm tại vô cực (''a'', ''b'', 0). Trên các số thực, ''p''<sub>''d''</sub> phân tích thành các phần tử tuyến tính và phần tử toàn phương. Các phần tử toán phương [[Đa thức bất khả quy|bất khả quy]] sẽ định nghĩa các điểm không thực tại vô cực, còn các điểm thực sẽ được lấy từ các phần tử tuyến tính.
Nếu (''a'', ''b'', 0) là điểm tại vô cực của của đường cong, có thể nói (''a'', ''b'') là '''hướng tiệm cận'''. Đặt ''q'' = ''p''<sub>''d''</sub>, phương trình của tiệm cận tương ứng là
<math display="block">xq'_x(a,b)+yq'_y(a,b)+p_{d-1}(a,b)=0.</math>

Nếu <math>q'_x(a,b)=q'_y(a,b)=0</math> và <math>p_{d-1}(a,b)\neq 0,</math> tiệm cận là đường tại vô cực, và trong trường hợp số thực, đường cong có nhánh giống với [[parabol]]. Trong trường hợp này ta có thể nói đường có ''nhánh parabol''. Nếu
<math display="block">q'_x(a,b)=q'_y(a,b)=p_{d-1}(a,b)=0,</math>
đường cong sẽ có điểm kỳ dị tại vô cực và có thể có nhiều tiệm cận. Các điểm đó có thể được tìm qua phương pháp tìm mặt nón tiếp tuyến của điểm kỳ dị.

===Điểm kỳ dị===
[[Điềm kỳ dị của đường cong|Các điểm kỳ dị của đường cong]] có bậc ''d'' định nghĩa bởi đa thức ''p''(''x'',''y'') có bậc ''d'' là nghiệm của hệ phương trình sau:
<math display="block">p'_x(x,y)=p'_y(x,y)=p(x,y)=0.</math>
Trong trường [[đặc số (đại số)|đặc số không]], hệ này tương đương với
<math display="block">p'_x(x,y)=p'_y(x,y)=p'_\infty(x,y)=0,</math>
trong đó, dùng ký hiệu của nội dung trước, <math>p'_\infty(x,y)=P'_z(x,y,1).</math>
Hai hệ này tương đương nhau theo [[Định lý thuần nhất hàm của Euler]]. Hệ sau có ưu điểm ở chỗ đa thức thứ ba có bậc ''d''-1 thay vì ''d''.

Tương tự, đối với đường cong xạ ảnh định nghĩa bởi đa thức thuần nhất ''P''(''x'',''y'',''z'') bậc ''d'', các điểm kỳ dị là nghiệm của phương trình sau
<math display="block">P'_x(x,y,z)=P'_y(x,y,z)=P'_z(x,y,z)=0</math>
với [[toạ độ thuần nhất]]. (Nếu đặc số dương thì phải thêm phương trình <math>P(x,y,z)</math> vào trong hệ.)

Điều này cho thấy số điểm kỳ dị là hữu hạn miễn sao ''p''(''x'',''y'') hoặc ''P''(''x'',''y'',''z'') [[đa thức không bình phương|không bình phương]]. Từ [[định lý Bézout]] suy ra số các điểm kỳ dị tối đa là (''d''−1)<sup>2</sup>, nhưng cận này quá lớn bởi hệ phương trình [[hệ xác định quá mức|bị xác định quá mức]]. Nếu cho phép các [[đa thức bất khả quy|đa thức khả quy]], cận chuẩn hơn là ''d''(''d''−1)/2, và giá trị này được chạm tới khi các đa thức phân tích thành các phần tử tuyến tính, nghĩa là nếu đường cong là hợp của ''d'' đường thẳng. Đối với các đa thức và đường cong bất khả quy, số các điểm kỳ dị tối đa là (''d''−1)(''d''−2)/2, theo cách thức tính giống theo số kỳ dị. Giá trị cực đại được chạm tới bởi các đường cong có giống hai mà tất cả kỳ dị của nó đều có số bội hai và tiếp tuyến phân biệt.

Phương trình tiếp tuyến tại điểm kỳ dị được đưa bởi phần thuần nhất khác không có bậc nhỏ nhất trong [[chuỗi Taylor]] của đa thức tại điểm kỳ dị. Khi ta đổi toạ độ để đặt điểm kỳ dị tại gốc toạ độ, phương trình của các tiếp tuyến tại điểm kỳ dị sẽ là phần thuần nhất khác không có bậc nhỏ nhất của đa thức, và số bội của điểm kỳ dị là bậc của phần thuần nhất đó.

== Cấu trúc giải tích ==

Nghiên cứu [[hàm giải tích|cấu trúc giải tích]] của đường cong đại số trong [[lân cận (tô pô)|lân cận]] của điểm kỳ dị cho thêm thông tin chính xác về tô pô của các điểm kỳ dị. Thậm chí, khi gần điểm kỳ dị, đường cong đại số trở thành hợp của hữu hạn số nhánh chỉ giao với nhau tại điểm kỳ dị và có hình dạng giống với [[điểm lùi (kỳ dị)|điểm lùi]] hoặc là đường cong trơn.

Gần điểm chính quy, một trong các toạ độ của đường cong có thể biểu diễn thành [[hàm giải tích]] của các toạ độ khác. Đây là hệ quả của [[định lý phương trình ẩn]], và suy ra rằng đường cong sẽ [[đường cong trơn|trơn]] khi gần điểm đó. Khi gần điểm kỳ dị, bài toán trở nên phức tạp hơn và có bao gồm sử dụng [[chuỗi Puiseux]], đưa ra các [[phương trình tham số]] của các nhánh.

Để mô tả điểm kỳ dị, ta nên [[tịnh tiến]] các điểm kỳ dị về gốc toạ độ. Tức là đổi toạ độ các biến về <math>X=x-a, Y=y-b,</math> trong đó <math>a, b</math> là toạ độ các điểm kỳ dị. Trong nội dung sau, các điểm kỳ dị được xét sẽ được ngầm trước là nằm ở gốc toạ độ.

Phương trình của đường con đại số là <math>f(x,y)=0, </math> trong đó {{math|''f''}} là đa thức với biến {{math|''x''}} và {{math|''y''}}. Đa thức có thể coi là đa thức trong biến {{math|''y''}}, với hệ số trong trường đóng đại số của [[chuỗi Puiseux]] trong {{math|''x''}}. Do đó {{math|''f''}} có thể phân tích thành các phần tử dưới dạng <math>y-P(x),</math> trong đó {{math|''P''}} là chuỗi Puiseux. Các phần tử khác nhau phân biệt nếu {{math|''f''}} là [[đa thức bất khả quy]], bởi từ đây suy ra {{math|''f''}} [[đa thức không bình phương|không bình phương]], tính chất này không phụ thuộc vào trường của các hệ số.

Chuỗi Puiseux ở đây có dạng sau
<math display="block">P(x)=\sum_{n=n_0}^\infty a_nx^{n/d},</math>
trong đó {{mvar|d}} là số nguyên dương, và {{tmath|n_0}} là số nguyên tuỳ ý mặc định trước ở đây là dương bởi ta chỉ xét các nhánh đi qua gốc toạ độ. Không mất tính tổng quát, ta giả sử rằng {{mvar|d}} [[nguyên tố cùng nhau]] với ước chung lớn nhất của {{mvar|n}} sao cho {{tmath|a_n \ne 0}} (nếu không thì ta có thể chọn mẫu số chung nhỏ hơn cho các số mũ).

Gọi {{tmath|\omega_d}} là [[căn đơn vị nguyên thuỷ|căn đơn vị nguyên thuỷ thứ {{mvar|d}}]].Nếu chuỗi Puiseux ở trên xuất hiện trong phân tích của {{tmath|1=f(x,y)=0}}, thì chuỗi {{mvar|d}} sau
<math display="block">P_i(x)=\sum_{n=n_0}^\infty a_n\omega_d^i x^{n/d}</math>
cũng xuất hiện trong phân tích đó (đây là hệ quả của [[lý thuyết Galois]]). Chuỗi {{mvar|d}} này được gọi là [[liên hợp đại số]], và được coi là một nhánh của đường cong, với chỉ số rẽ nhánh {{mvar|d}}.

Trong trường hợp đường cong thực, tức là đường cong định nghĩa bởi đa thức có các hệ số thực, có ba trường hợp có thể xảy ra. Nếu không có {{tmath|P_i(x)}} nào có hệ số thực, thì ta sẽ có một nhánh không thực. Nếu một số trong {{tmath|P_i(x)}} có hệ số thực, thì ta có thể chọn một trong số đó làm {{tmath|P_0(x)}}. Nếu {{mvar|d}} lẻ, thì mọi giá trị thực của {{mvar|x}} sẽ tính ra giá trị thực của {{tmath|P_0(x)}}, và ta sẽ có một nhánh trông chính quy, mặc dù nó kỳ dị nếu {{math|''d'' > 1}}. Nếu {{mvar|d}} chẵn, thì {{tmath|P_0(x)}} và {{tmath|P_{d/2}(x)}} có giá trị thực, nhưng chỉ đối với {{math|''x'' ≥ 0}}. Trong trường hợp này, nhánh thực sẽ trông giống như hình [[chỏm (kỳ dị)|chỏm]].

Lấy ví dụ, hình chỏm thường sẽ chỉ có một nhánh. Nếu nó được định nghĩa bởi phương trình <math>y^2-x^3=0,</math> thì phân tích của nó sẽ là <math>(y-x^{3/2})(y+x^{3/2});</math> chỉ số rẽ nhánh bằng 2, hai phần tử này đều thực và đều định nghĩa một nửa nhánh. Nếu hình được quay, phương trình của nó trở thành <math>y^3-x^2=0,</math> và phân tích của nó là <math>(y-x^{2/3})(y-j^2x^{2/3})(y-(j^2)^2x^{2/3}),</math> với <math>j=(1+\sqrt{-3})/2</math> (hệ số {{tmath|(j^2)^2}} chưa được giản hoá về {{mvar|j}} để cho thấy định nghĩa trên của {{tmath|P_i(x)}}). Ở đây chỉ số rẽ nhánh là 3, và chỉ có một phần tử trong đây là thực; điều này cho thấy rằng. trong trường hợp ban đầu, cả hai phần tử đều phải định nghĩa cùng một nhánh.

== Đường cong đại số không phẳng ==
Đường cong đại số là [[đa tạp đại số]] có [[chiều của đa tạp đại số|chiều]] bằng một. Điều này suy ra rằng '''đường cong affin''' trong [[không gian affin]] có chiều ''n'' được định nghĩa bởi ít nhất ''n''−1 đa thức ''n'' biến. Để định nghĩa một đường cong, các đa thức này phải sinh ra [[ideal nguyên tố]] có số [[chiều Krull]] bằng 1. Điều kiện này không dễ để kiểm tra, do đó các nhà toán học thường dùng cách sau để biểu diễn đường cong không phẳng.

Gọi <math>f, g_0, g_3, \ldots, g_n</math> là ''n'' đa thức trong hai biến ''x''<sub>1</sub> and ''x''<sub>2</sub> sao cho ''f'' bất khả quy. Các điểm trong không gian affin chiều ''n'' có toạ độ thoả mãn các phương trình và bất phương trình sau

<math display="block">\begin{align}
&f(x_1,x_2)=0\\
&g_0(x_1,x_2)\neq 0\\
x_3&=\frac{g_3(x_1,x_2)}{g_0(x_1,x_2)}\\
& {}\ \vdots \\
x_n&=\frac{g_n(x_1,x_2)}{g_0(x_1,x_2)}
\end{align}</math>

là tất cả các điểm của một đường cong đại số trong đó đã bỏ đi hữu hạn số điểm. Đường cong này được định nghĩa bởi hệ các phần tử sinh của ideal của các đa thức ''h'' sao cho tồn tại số nguyên ''k'' thoả mãn <math>g_0^kh</math> thuộc về ideal sinh bởi <math>f, x_3g_0-g_3, \ldots, x_ng_0-g_n</math>.
Biểu diễn này có [[tương đương song hữu tỉ]] giữa đường cong và đường cong phẳng định nghĩa bởi ''f''. Mọi đường cong đại số có thể biểu diễn theo cách này. Tuy nhiên, ta cần thay đổi tuyến tính các biến để gần như [[phép chiếu (toán học)|chiếu]] nội xạ lên hai biến đầu tiên. Khi cần phải thay đổi các biến, thì gần như mọi thay đổi đều có lợi khi nó được định nghĩa trên trường vô hạn.

Biểu diễn này cho phép các nhà toán học suy ra bất kỳ tính chất của đường cong đại số không phẳng, bao gồm biểu diễn đồ thị của nó từ các tính chất của phép chiếu trên mặt phẳng.

Đối với đường cong được định nghĩa bởi các phương trình ẩn của nó, biểu diễn trên có thể suy ra được từ [[cơ sở Gröbner]] cho [[Thứ tự đơn thức|xếp thứ tự khối]] sao cho khối có các biến nhỏ hơn là (''x''<sub>1</sub>, ''x''<sub>2</sub>). Đa thức ''f'' là đa thức duy nhất cơ sở chỉ phụ thuộc vào ''x''<sub>1</sub> và ''x''<sub>2</sub>. Các phân thức ''g<sub>i</sub>''/''g''<sub>0</sub> thu về được bằng cách chọn từ ''i'' = 3, ..., ''n'', một đa thức trong cơ sở mà tuyến tính trong ''x<sub>i</sub>'' và chỉ phụ thuộc trên ''x''<sub>1</sub>, ''x''<sub>2</sub> và ''x<sub>i</sub>''.Nếu không thể chọn ra được đa thức nào, thì có nghĩa là phương trình đó định nghĩa [[tập đại số]] không phải đa tạp, hoặc đa tạp đó không có chiều bằng một, hoặc ta phải đổi toạ độ. Trường hợp cuối xảy ra khi ''f'' tồn tại và duy nhất, ngoài ra trong ''i'' = 3, …, ''n'', tồn tại các đa thức mà đơn thức đứng đầu chỉ phụ thuộc trên ''x''<sub>1</sub>, ''x''<sub>2</sub> và ''x<sub>i</sub>''.

== Trường hàm đại số ==
Nghiên cứu các đường cong đại số có thể rút gọn sang nghiên cứu các đường cong [[thành phần bất khả quy|bất khả quy]]: tức là các đường cong không thể viết thành hợp của đường cong nhỏ hơn. Xét xê xích tương đương [[hình học song hữu tỉ|song hữu tỉ]], các đường cong bất khả quy trên trường ''F'' [[tương đương phạm trù]] với [[trường hàm số của đa tạp đại số|trường hàm đại số]] trong một biến trên ''F''. Trường hàm đại số là [[mở rộng trường]] ''K'' của ''F'' chứa phần tử ''x'' [[phần tử đại số|siêu việt]] trên ''F'', và sao cho ''K'' là mở rộng đại số hữu hạn của ''F''(''x'') (''F''(''x'') là trường của các hàm hữu tỉ có biến ''x'' trên&nbsp;''F'').

Lấy ví dụ, xét trường '''C''' của các số phức, trên đó ta có thể định nghĩa trường hàm số '''C'''(''x'') của các hàm hữu tỉ trong&nbsp;'''C'''. Nếu {{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x'' − 1}}, thì trường '''C'''(''x'',&nbsp;''y'') là [[hàm elliptic|trường hàm elliptic]]. Phần tử ''x'' không được xác định duy nhất; bởi trường đó còn có thể coi là mở rộng '''C'''(''y'').Đường cong đại số tương ứng với trường hàm số là tập các điểm (''x'',&nbsp;''y'') trong '''C'''<sup>2</sup> thoả mãn {{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x'' − 1}}.

Nếu trường ''F'' không đóng đại số, thì góc nhìn từ trườh hàm số tổng quát hơn góc nhìn tử luỹ tích các điểm, bởi khi đó ta bao gồm cả các "đường cong" không có điểm nào trên chúng. Lấy ví dụ, nếu trường gốc ''F'' là trường '''R''' của các số thực, thì {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = −1}} định nghĩa một trường mở rộng đại số của '''R'''(''x''), nhưng đường cong tương khi được xét là tập con là '''R'''<sup>2</sup> không chứa điểm nào. Phương trình {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> = −1}} có định nghĩa đường cong đại số bất khả quy trên '''R''' theo góc nhìn từ [[lược đồ (toán học)|lược đồ]] ,(là lược đồ [[Danh sách thuật ngữ lý thuyết lược đồ#nguyên|nguyên]], [[Danh sách thuật ngữ lý thuyết lược đồ#cấu xạ đã tách và chân chính |đã tách]] và một chiều của kiểu hữu hạn trên '''R'''). Theo cách hiểu này, tương ứng một-một giữa các đường cong đại số bất khả quy trên ''F'' (xê xích song hửu tỉ) và các trường hàm đại số trên ''F'' thường được thoả mãn.

Hai đường con có thể tương đương song hữu tỉ với nhau (tức là có trường hàm đại số [[đẳng cấu]] với nhau) mà không cần đẳng cấu với nhau. Bài toán trở nên dễ hơn khi xét các đường cong ''không kỳ dị'', tức là các đường không điểm kỳ dị nào. Hai đường cong xạ ảnh không kỳ dị trên một trường đẳng cấu với nhau khi và chỉ khi trường hàm số của nó đẳng cấu với nhau.

[[Định lý Tsen]] phát biểu về trường hàm đại số của đường cong đại số trên trường đóng đại số.

== Đường cong phức và mặt phẳng thực ==
Đường cong đại số xạ ảnh phức trong không gian xạ ảnh phức ''n'' chiều '''CP'''<sup>''n''</sup>.Không gian này có số chiều phức bằng với ''n'', nhưng số chiều tô pô của nó khi xét là [[đa tạp]] thực là 2''n'', và là không gian [[không gian compact|compact]], [[không gian liên thông|liên thông]], và [[tính định hướng|định hướng được]]. Đường cong đại số tương tự trên '''C''' có số chiều tô pô bằng hai; Nói cách khác, nó là một [[mặt phẳng (tô pô)|mặt phẳng]].

Số [[giống (toán học)|giống]] tô pô, tức là số tay cầm hay số lỗ vòng, bằng với số giống hình học của đa đường cong đại số được tính bằng đại số. Nói chung là, nếu xét hình chiếu trên mặt phẳng của đường cong không kỳ dị bậc d và chỉ các điểm kỳ dị thường (tức các điểm kỳ dị có số bội hai với tiếp tuyến phân biệt), thì số giống là (d − 1)(d − 2)/2 − k, trong đó k là số điểm kỳ dị loại trên.

== Xem thêm ==

===Hình học đại số cổ điển===
{{div col|colwidth=22em}}
* [[Điểm cô lập]]
* [[Định lý Bézout]]
* [[Định lý Cramer (đường cong đại số)]]
* [[Điểm kép]]
* [[Đường cong]]
* [[Phác hoạ đường cong]]
* [[Đa tạp Jacobi]]
* [[Đường cong bậc bốn Klein]]
* [[Danh sách các đường cong]]
* [[Bài toán thứ 16 của Hilbert]]
* [[Đường phẳng bậc ba]]
* [[Đường cong siêu elliptic]]
{{Div col end}}

===Hình học đại số hiện đại===
{{div col|colwidth=22em}}
* [[Hình học song hữu tỷ]]
* [[Lát cắt conic]]
* [[Đường cong elliptic]]
* [[Trường hàm của đa tạp đại số]]
* [[Trường hàm (lý thuyết lược đồ)]]
* [[Giống (hình học)]]
* [[Đường phẳng bậc bốn]]
* [[Đường cong chuẩn tắc hữu tỉ]]
* [[Định lý Riemann–Roch cho đường cong đại số]]
* [[Định lý Weber]]
{{Div col end}}

===Hình học của mặt Riemann===
{{div col|colwidth=22em}}
* [[Công thức Riemann–Hurwitz formula]]
* [[Định lý Riemann–Roch cho mặt Riemann]]
* [[Mặt phẳng Riemann]]
{{Div col end}}

== Chú thích ==
{{Reflist}}

== Tham khảo ==
{{Commons category|Algebraic curves}}
*{{cite book |first=Egbert |last=Brieskorn |author2-link=Horst Knörrer |first2=Horst |last2=Knörrer |title=Plane Algebraic Curves |url=https://books.google.com/books?id=qsDzBwAAQBAJ |date=2013 |publisher=Birkhäuser |isbn=978-3-0348-5097-1 |translator-first=John |translator-last=Stillwell}}
*{{cite book |author-link=Claude Chevalley |first=Claude |last=Chevalley |title=Introduction to the Theory of Algebraic Functions of One Variable |url=https://books.google.com/books?id=Ga5wAAAAQBAJ&pg=PR9 |date=1951 |publisher=American Mathematical Society |isbn=978-0-8218-1506-9 |volume=6 |series=Mathematical surveys}}
*{{cite book |author-link=Julian Coolidge |first=Julian L. |last=Coolidge |title=A Treatise on Algebraic Plane Curves |url=https://books.google.com/books?id=Y7WEf6V0XwgC |date=2004 |publisher=Dover |isbn=978-0-486-49576-7 |origyear=1931}}
*{{cite book |first1=H. M. |last1=Farkas |first2=I. |last2=Kra |title=Riemann Surfaces |url=https://books.google.com/books?id=6pXuBwAAQBAJ |date=2012 |publisher=Springer |isbn=978-1-4684-9930-8 |volume=71 |series=Graduate Texts in Mathematics |origyear=1980 }}
*{{cite book |first=William |last=Fulton |title=Algebraic Curves: An Introduction to Algebraic Geometry |url=https://books.google.com/books?id=SEbvAAAAMAAJ |year=1989 |publisher=Addison-Wesley |isbn=978-0-201-51010-2 |volume=30 |series=Mathematics lecture note series |edition=3rd}}
*{{cite book |first=C.G. |last=Gibson |title=Elementary Geometry of Algebraic Curves: An Undergraduate Introduction |url=https://books.google.com/books?id=cKVkMP4mZSAC |date=1998 |publisher=Cambridge University Press |isbn=978-0-521-64641-3}}
*{{cite book |author-link=Phillip A. Griffiths |first=Phillip A. |last=Griffiths |title=Introduction to Algebraic Curves |publisher=American Mathematical Society |series=Translation of Mathematical Monographs |volume=70 |year=1985 |isbn=9780821845370 |edition=3rd}}
*{{cite book |author-link=Robin Hartshorne |first=Robin |last=Hartshorne |title=Algebraic Geometry |url=https://books.google.com/books?id=7z4mBQAAQBAJ |date=2013 |publisher=Springer |isbn=978-1-4757-3849-0 |volume=52 |series=Graduate Texts in Mathematics |origyear=1977}}
*{{cite book |author-link=Shigeru Iitaka |first=Shigeru |last=Iitaka |title=Algebraic Geometry: An Introduction to Birational Geometry of Algebraic Varieties |url=https://books.google.com/books?id=tBjqoQEACAAJ |date=2011 |publisher=Springer New York |isbn=978-1-4613-8121-1 |volume=76 |series=Graduate Texts in Mathematics |origyear=1982 }}
*{{cite book |author-link=John Milnor |first=John |last=Milnor |title=Singular Points of Complex Hypersurfaces |url=https://books.google.com/books?id=cuAAFbBYlSsC |year=1968 |publisher=Princeton University Press |isbn=0-691-08065-8}}
*{{cite book |author-link=Jean-Pierre Serre |first=Jean-Pierre |last=Serre |title=Algebraic Groups and Class Fields |url=https://books.google.com/books?id=RZHaBwAAQBAJ |date=2012 |publisher=Springer |isbn=978-1-4612-1035-1 |volume=117 |series=Graduate Texts in Mathematics |origyear=1988 }}
* {{cite journal |first=Ernst |last=Kötter| title=Grundzüge einer rein geometrischen Theorie der algebraischen ebenen Curven |trans-title=Fundamentals of a purely geometrical theory of algebraic plane curves | journal=Transactions of the Royal Academy of Berlin| year=1887| author-link=Ernst Kötter |url=https://books.google.com/books?id=XlxQAQAAMAAJ&pg=PA3}} &mdash; gained the 1886 Academy prize<ref>{{cite journal| author=Norman Fraser| title=Kötter's synthetic geometry of algebraic curves| journal=Proceedings of the Edinburgh Mathematical Society|date=Feb 1888| volume=7| pages=46–61, See p. 46 |url=http://journals.cambridge.org/action/displayFulltext?type=1&fid=3146652&jid=PEM&volumeId=7&issueId=-1&aid=3131388&bodyId=&membershipNumber=&societyETOCSession=}}</ref>

{{Algebraic curves navbox}}
{{Curves}}
{{Authority control}}

[[Category:Đường cong đại số ]]