Xem mã nguồn của Mặt phẳng (toán học)

{{Hình học}}
[[Tập tin:Intersecting_planes.svg|thumb|Hai mặt phẳng giao nhau trong không gian ba chiều]]
Trong [[toán học]], ''mặt phẳng'' là một mặt hai chiều phẳng kéo dài vô hạn. Một mặt phẳng là [[mô hình hai chiều]] tương tự như một [[điểm]] (không chiều), một [[đường thẳng]] (một chiều) và [[không gian ba chiều]]. Các mặt phẳng có thể xuất hiện như là không gian con của một không gian có [[chiều cao]] hơn, như là những bức tường của một căn phòng dài ra vô hạn, hoặc chúng có thể có quyền tồn tại độc lập, như trong các điều kiện của [[hình học Euclid]].

Khi chỉ xét riêng trong [[Không gian Euclid|không gian Euclide]] hai chiều, ''mặt phẳng ''đề cập đến toàn bộ không gian. Nhiều hoạt động cơ bản trong toán học, [[hình học]], [[lượng giác]], [[lý thuyết đồ thị]] và [[vẽ đồ thị]] được tiến hành trên không gian hai chiều, hay nói cách khác, trong mặt phẳng.

== Hình học Euclide ==
[[Euclid]] đặt ra bước ngoặt quan trọng đầu tiên trong tư duy toán học, phương pháp tiên đề của hình học.<ref>{{Harvnb|Eves|1963|loc=pg. 19}}</ref> Ông chọn lấy hữu hạn các thuật ngữ không thể định nghĩa (các ''khái niệm chung'') và các định đề (hoặc các [[tiên đề]]) cơ bản mà ông đã sử dụng để chứng minh các mệnh đề hình học khác nhau. Mặc dù mặt phẳng theo ý nghĩa hiện đại không trực tiếp đưa ra một định nghĩa nào trong ''[[cuốn Cơ sở]]'', nhưng nó có thể được coi là một phần của các khái niệm chung.<ref>{{Chú thích|last=Joyce|first=D. E.|title=Euclid's Elements, Book I, Definition 7|publisher=Clark University|year=1996|url=http://aleph0.clarku.edu/~djoyce/java/elements/bookI/defI7.html|access-date =ngày 8 tháng 8 năm 2009}}</ref> Trong công trình của mình Euclid chưa bao giờ sử dụng các con số để đo chiều dài, góc, hay là diện tích. Do đó, mặt phẳng Euclide không hoàn toàn giống [[Hệ tọa độ Descartes|mặt phẳng Descartes]].
[[Tập tin:Planes_parallel.svg|right|thumb|150x150px|3 mặt phẳng song song.]]

== Mặt phẳng trong không gian Euclide 3 chiều ==
Phần này chỉ quan tâm đến những mặt phẳng không gian ba chiều: đặc biệt là trong [[Tích Descartes|'''R'''<sup>3</sup>]].

=== Xác định bằng các điểm và đường thẳng được chứa ===
Trong không gian Euclide của bất kỳ chiều nào, mặt phẳng được xác định duy nhất bằng những điều sau:
* 3 điểm không [[thẳng hàng]] (các điểm không nằm trên cùng một đường thẳng).
* Một đường thẳng và một điểm nằm ngoài đường thẳng đó.
* Hai đường thẳng phân biệt giao nhau.
* Hai đường thẳng [[song song]].

=== Tính chất ===
Các mệnh đề sau tồn tại trong không gian Euclide ba chiều nhưng không tồn tại ở các chiều không gian cao hơn, dù chúng có mô hình chiều không gian cao hơn:
* Hai mặt phẳng phân biệt hoặc là song song hoặc giao nhau trên một [[đường thẳng]].
* Một đường thẳng hoặc là song song với một mặt phẳng, hoặc cắt nó tại một điểm duy nhất, hoặc bị chứa trong mặt phẳng.
* Hai đường thẳng phân biệt [[vuông góc]] với cùng một mặt phẳng phải song song với nhau.
* Hai mặt phẳng phân biệt vuông góc với cùng một đường thẳng phải song song với nhau.

=== Phương trình điểm-pháp tuyến và phương trình tổng quát của một mặt phẳng ===
Cũng như các đường thẳng có hướng trong không gian hai chiều được biểu diễn bằng cách sử dụng phương trình điểm-hệ số góc, mặt phẳng trong không gian ba chiều có dạng biểu diễn tự nhiên sử dụng một điểm trong mặt phẳng và một vector trực giao với nó (các [[vector pháp tuyến]]) để chỉ ra "góc nghiêng" của nó.

Cụ thể, đặt <math>\mathbf{r}_0</math> là vectơ bán kính của điểm <math>P_0 = (x_0,y_0,z_0)</math>, đặt <math>\mathbf{n} = (a,b,c)</math> là một vector khác không. Mặt phẳng được xác định bằng điểm này và vector chứa các điểm <math>P</math>, có vectơ bán kính <math>\mathbf{r}</math>, sao cho vector vẽ từ <math>P_0</math> đến <math>P</math> vuông góc với <math>\mathbf{n}</math>. Nhớ rằng hai vectơ vuông góc khi và chỉ khi tích vô hướng của chúng bằng không, do đó mặt phẳng mong muốn có thể được mô tả như là tập tất cả các điểm <math>\mathbf{r}</math> sao cho
: <math>\mathbf{n} \cdot (\mathbf{r}-\mathbf{r}_0)=0.</math>
(Dấu chấm ở đây có nghĩa là một [[tích vô hướng]] của 2 vector, không phải phép nhân vô hướng.) Mở rộng này sẽ trở thành
: <math> a (x-x_0)+ b(y-y_0)+ c(z-z_0)=0,</math>
đó chính là phương trình ''điểm-pháp tuyến'' của một mặt phẳng.<ref>{{Harvnb|Anton|1994|loc=p. 155}}</ref> Đây là một [[phương trình tuyến tính]]:
: <math> ax + by + cz + d = 0, \text{ where } d = -(ax_0 + by_0 + cz_0).</math>
Ngược lại, dễ dàng chỉ ra rằng nếu ''a, b, c'' và ''d ''là hằng số và ''a, b'', ''c'' là không đồng thời bằng không, thì đồ thị của phương trình
:: <math> ax + by + cz + d = 0,</math>
là một mặt phẳng nhận vector <math>\mathbf{n} = (a,b,c)</math> làm pháp tuyến.<ref>{{Harvnb|Anton|1994|loc=p. 156}}</ref> Phương trình quen thuộc này đối với mặt phẳng được gọi là ''dạng tổng quát'' của phương trình mặt phẳng.<ref name="Weisstein2009">{{Chú thích|title=Plane|url=http://mathworld.wolfram.com/Plane.html|year=2009|author=Weisstein, Eric W.|journal=MathWorld--A Wolfram Web Resource|access-date = ngày 8 tháng 8 năm 2009}}</ref>

<span>Ví dụ một phương trình hồi quy có dạng </span>''y = d + ax + cz'' (with ''b''=-1) thiết lập mặt phẳng phù hợp nhất trong không gian ba chiều khi có hai biến giải thích.

=== Biểu diễn một mặt phẳng với một điểm và hai vectơ nằm trên mặt phẳng đó ===
Ngoài ra, mặt phẳng có thể được biểu diễn một cách tham số là tập tất cả các điểm có dạng
: <math>\mathbf r = \mathbf {r}_0 + s \mathbf{v} + t \mathbf{w},</math>
[[Tập tin:PlaneR.jpg|thumb|Biễu diễn vector của một mặt phẳng]]
trong đó ''s ''và ''t'' thuộc số thực, cho '''{{Math|v}}''' và {{Math|'''w'''}} là các vectơ [[độc lập tuyến tính]] xác định mặt phẳng, và {{Math|'''r'''<sub>0</sub>}} là vector đại diện cho vị trí của một điểm tùy ý (nhưng cố định) trên mặt phẳng. Các vectơ '''{{Math|v}}''' và {{Math|'''w'''}} có thể được hình dung như các vectơ bắt đầu tại {{Math|'''r'''<sub>0</sub>}} và chỉ theo các hướng khác nhau dọc theo mặt phẳng. Lưu ý rằng v''' '''và {{Math|'''w'''}} có thể [[vuông góc]], nhưng không được song song.

=== Biễu diễn một mặt phẳng qua ba điểm ===
Đặt {{Math|'''p'''<sub>1</sub>{{=}}(x<sub>1</sub>, y<sub>1</sub>, z<sub>1</sub>)}}, {{Math|'''p'''<sub>2</sub>{{=}}(x<sub>2</sub>, y<sub>2</sub>, z<sub>2</sub>)}}, và {{Math|'''p'''<sub>3</sub>{{=}}(x<sub>3</sub>, y<sub>3</sub>, z<sub>3</sub>)}} là những điểm không thẳng hàng.

==== Phương pháp 1 ====
Các mặt phẳng đi qua {{Math|'''p'''<sub>1</sub>}}<span class="texhtml " contenteditable="false"></span>, {{Math|'''p'''<sub>2</sub>}}<span class="texhtml " contenteditable="false"></span>, và {{Math|'''p'''<sub>3</sub>}}<span class="texhtml " contenteditable="false"></span> có thể được mô tả như là tập tất cả các điểm (x,y,z) thỏa mãn phương trình [[định thức]] sau đây:
: <math>\begin{vmatrix}
x - x_1 & y - y_1 & z - z_1 \\
x_2 - x_1 & y_2 - y_1& z_2 - z_1 \\
x_3 - x_1 & y_3 - y_1 & z_3 - z_1
\end{vmatrix} =\begin{vmatrix}
x - x_1 & y - y_1 & z - z_1 \\
x - x_2 & y - y_2 & z - z_2 \\
x - x_3 & y - y_3 & z - z_3
\end{vmatrix} = 0. </math>

==== Phương pháp 2 ====
Để biểu diễn mặt phẳng bằng một phương trình có dạng <math> ax + by + cz + d = 0 </math>, cần giải các hệ phương trình sau:
: <math>\, ax_1 + by_1 + cz_1 + d = 0</math>
: <math>\, ax_2 + by_2 + cz_2 + d = 0</math>
: <math>\, ax_3 + by_3 + cz_3 + d = 0.</math>
Hệ có thể được giải quyết bằng [[định lý Cramer]] và các thao tác biến đổi cơ bản của ma trận. Đặt
: <math>D = \begin{vmatrix}
x_1 & y_1 & z_1 \\
x_2 & y_2 & z_2 \\
x_3 & y_3 & z_3
\end{vmatrix}</math>.
Nếu ''D'' khác không (để cho các mặt phẳng không qua gốc tọa độ) các giá trị của ''a'', ''b'' và ''c'' có thể được tính như sau:
: <math>a = \frac{-d}{D} \begin{vmatrix}
1 & y_1 & z_1 \\
1 & y_2 & z_2 \\
1 & y_3 & z_3
\end{vmatrix}</math>

: <math>b = \frac{-d}{D} \begin{vmatrix}
x_1 & 1 & z_1 \\
x_2 & 1 & z_2 \\
x_3 & 1 & z_3
\end{vmatrix}</math>

: <math>c = \frac{-d}{D} \begin{vmatrix}
x_1 & y_1 & 1 \\
x_2 & y_2 & 1 \\
x_3 & y_3 & 1
\end{vmatrix}.</math>
Những phương trình này có tham số là ''d''. Đặt ''d'' bằng với số khác không và thế nó vào các phương trình này sẽ có một tập nghiệm.

==== Phương pháp 3 ====
Mặt phẳng này cũng có thể được biểu diễn bằng "điểm và một vector pháp tuyến" quy định ở trên. Cho một vector pháp tuyến phù hợp bằng [[tích vector]]
: <math>\mathbf n = (\mathbf p_2 - \mathbf p_1) \times (\mathbf p_3 - \mathbf p_1), </math>
và điểm {{Math|'''r'''<sub>0</sub>}} có thể được xem là một trong những điểm {{Math|'''p'''<sub>1</sub>}},{{Math|'''p'''<sub>2</sub>}} hoặc {{Math|'''p'''<sub>3</sub>}} đã cho.<ref name="PaulsPlanes">{{Chú thích|last=Dawkins|first=Paul|title=Calculus III|chapter=Equations of Planes|chapter-url=http://tutorial.math.lamar.edu/Classes/CalcIII/EqnsOfPlanes.aspx}}
</ref>

=== Vị trí tương đối giữa 2 mặt phẳng ===
Cho mặt phẳng <math>(\alpha) Ax+By+Cz+D=0</math> và mặt phẳng <math>(\alpha') A'x+B'y+C'z+D'=0</math>

<math>(\alpha)\cap(\alpha')=(d)\Leftrightarrow A:B:C\neq A':B':C'
</math>

<math>(\alpha)//(\alpha')\Leftrightarrow\begin{cases} A:B:C=A':B':C' \\ A:B:C:D\neq A':B':C':D'  \end{cases}</math>

<math>(\alpha)\equiv(\alpha')\Leftrightarrow A:B:C:D=A':B':C':D'
</math>
<br />
=== Khoảng cách từ một điểm đến một mặt phẳng ===
Cho mặt phẳng <math>\Pi: ax + by + cz + d = 0\,</math> và một điểm <math>\mathbf p_1 = (x_1,y_1,z_1) </math> không nhất thiết phải nằm trên mặt phẳng, khoảng cách ngắn nhất từ <math>\mathbf p_1</math> tới mặt phẳng là
: <math> D = \frac{\left | a x_1 + b y_1 + c z_1+d \right |}{\sqrt{a^2+b^2+c^2}}. </math>
Suy ra <math>\mathbf p_1</math> nằm trên mặt phẳng [[khi và chỉ khi]] ''D=0''.

Nếu <math>\sqrt{a^2+b^2+c^2}=1</math> có nghĩa rằng ''a'', ''b'', và ''c'' được chuẩn hoá<ref>To normalize arbitrary coefficients, divide each of ''a'', ''b'', ''c'' and ''d'' by <math>\sqrt{a^2+b^2+c^2}</math> (which can not be 0).</ref> thì phương trình trở thành
: <math> D = \ | a x_1 + b y_1 + c z_1+d |.</math> 
Một dạng phương trình vector khác của mặt phẳng, được biết đến như là [[dạng pháp tuyến Hesse]] dựa trên tham số ''D''. Có dạng:<ref name="Weisstein2009"/>
: <math>\mathbf{n} \cdot \mathbf{r} - D_0 = 0,</math>
với <math>\mathbf{n}</math> là một vector pháp tuyến đơn vị đến mặt phẳng, <math>\mathbf{r}</math> là một vector bán kính của một điểm thuộc mặt phẳng và ''D''<sub>0</sub> là khoảng cách từ gốc đến mặt phẳng.

Công thức tổng quát cho các chiều không gian cao hơn có thể nhanh chóng đạt được bằng cách sử dụng ký hiệu vector. Cho các [[siêu mặt phẳng]] có phương trình <math> \mathbf{n} \cdot (\mathbf{r} - \mathbf{r}_0) = 0 </math>, với <math>\mathbf{n}</math> là một [[Vector pháp tuyến|vector pháp tuyến]] và <math>\mathbf{r}_0 = (x_{10},x_{20},\dots,x_{N0})</math> là bán kính vector trong [[siêu mặt phẳng]]. Ta mong muốn khoảng cách vuông góc tới điểm <math>\mathbf{r}_1 = (x_{11},x_{21},\dots,x_{N1})</math>. Các siêu mặt phẳng này cũng có thể được biểu diễn bằng phương trình vô hướng <math>\sum_{i=1}^N a_i x_i = -a_0</math>, với mọi hằng số <math>\{a_i\}</math>. Tương tự như vậy, <math>\mathbf{n}</math> tương tự cũng có thể được biểu diễn là <math>(a_1,a_2, \dots, a_N)</math>. Ta cần [[phép chiếu vô hướng]] của vector <math>\mathbf{r}_1 - \mathbf{r}_0</math> theo hướng của <math>\mathbf{n}</math>. Lưu ý rằng <math>\mathbf{n} \cdot \mathbf{r}_0 = \mathbf{r}_0 \cdot \mathbf{n} = -a_0</math> (do <math>\mathbf{r}_0</math> thoả phương trình của siêu mặt phẳng) ta có
: <math>
\begin{align}
D &= \frac{|(\mathbf{r}_1 - \mathbf{r}_0) \cdot \mathbf{n}|}{|\mathbf{n}|} \\
  &= \frac{|\mathbf{r}_1\cdot \mathbf{n} - \mathbf{r}_0 \cdot \mathbf{n}|}{|\mathbf{n}|} \\
  &= \frac{|\mathbf{r}_1\cdot \mathbf{n} + a_0|}{|\mathbf{n}|} \\
  &= \frac{|a_1x_{11} + a_2x_{21} + \dots + a_Nx_{N1} + a_0|}{\sqrt{a_1^2 + a_2^2 + \dots + a_N^2}}
\end{align}
</math>.

=== Đường thẳng giao nhau giữa hai mặt phẳng ===
Đường thẳng giao nhau giữa hai mặt phẳng <math>\Pi_1: \mathbf {n}_1 \cdot \mathbf r = h_1</math> và <math>\Pi_2: \mathbf {n}_2 \cdot \mathbf r = h_2</math> với <math>\mathbf {n}_i</math> được chuẩn hoá cho bởi
: <math> \mathbf {r} = (c_1 \mathbf {n}_1 + c_2 \mathbf {n}_2) + \lambda (\mathbf {n}_1 \times \mathbf {n}_2) </math>
với
: <math> c_1 = \frac{ h_1 - h_2(\mathbf {n}_1 \cdot \mathbf {n}_2) }{ 1 - (\mathbf {n}_1 \cdot \mathbf {n}_2)^2 } </math>
: <math> c_2 = \frac{ h_2 - h_1(\mathbf {n}_1 \cdot \mathbf {n}_2) }{ 1 - (\mathbf {n}_1 \cdot \mathbf {n}_2)^2 }.</math>
Điều này có được bằng cách chú ý rằng các đường thẳng phải vuông góc với pháp tuyến của 2 mặt phẳng, và do đó song song với tích vectơ của chúng<math>\mathbf {n}_1 \times \mathbf {n}_2</math> (tích vectơ bằng không khi và chỉ khi các mặt phẳng này song song, và do đó không giao nhau hoặc hoàn toàn trùng nhau).

Phần còn lại của biểu thức có được bằng cách tìm một điểm tùy ý trên đường thẳng. Để làm vậy, để ý rằng bất kỳ điểm nào trong không gian cũng có thể được viết dưới dạng<math>\mathbf r = c_1\mathbf {n}_1 + c_2\mathbf {n}_2 + \lambda(\mathbf {n}_1 \times \mathbf {n}_2)</math>, do<math>\{ \mathbf {n}_1, \mathbf {n}_2, (\mathbf {n}_1 \times \mathbf {n}_2) \}</math> là một [[cơ sở]]. Ta muốn tìm một điểm nằm trên cả hai mặt phẳng (nghĩa là nằm trên giao tuyến của chúng), do đó chèn phương trình này vào từng phương trình của từng mặt phẳng để có được hai phương trình đồng thời có thể tìm ra <math>c_1</math> và <math>c_2</math>.

Nếu chúng ta cũng giả định rằng <math>\mathbf {n}_1</math> và <math>\mathbf {n}_2</math> là trực giao thì điểm gần nhất trên giao tuyến tới gốc là <math>\mathbf r_0 = h_1\mathbf {n}_1 + h_2\mathbf {n}_2</math>. Nếu không phải là trường hợp đó, thì một thủ tục phức tạp hơn phải được sử dụng.<ref>[http://mathworld.wolfram.com/Plane-PlaneIntersection.html Plane-Plane Intersection - from Wolfram MathWorld].</ref>

=== Góc giữa hai mặt phẳng ===
Cho hai mặt phẳng giao nhau được mô tả bởi <math>\Pi_1: a_1 x + b_1 y + c_1 z + d_1 = 0\,</math> và<math>\Pi_2: a_2 x + b_2 y + c_2 z + d_2 = 0\,</math>, thì [[góc giữa hai mặt phẳng]] này được định nghĩa là góc <math>\alpha</math> giữa các đường thẳng chứa 2 pháp tuyến của chúng:
: <math>\cos\alpha = \frac{\hat n_1\cdot \hat n_2}{|\hat n_1||\hat n_2|} = \frac{a_1 a_2 + b_1 b_2 + c_1 c_2}{\sqrt{a_1^2+b_1^2+c_1^2}\sqrt{a_2^2+b_2^2+c_2^2}}. </math>

== Mặt phẳng trong các lĩnh vực khác nhau của toán học ==
Bên cạnh cấu trúc [[hình học]] quen thuộc, với các [[phép đẳng cấu]] có các [[đẳng cự]] cùng với tích trong thông thường, mặt phẳng có thể được xem ở các cấp độ [[trừu tượng]] khác nhau. Mỗi cấp độ trừu tượng tương ứng với một [[thể loại]] cụ thể.

Ở một thái cực, tất cả các khái niệm hình học và chuẩn đo [[hệ mét]] có thể bị bỏ khỏi mặt phẳng [[topo]], mà có thể được coi như một tấm cao su vô hạn [[đồng luân]] tầm thường được lý tưởng hóa, song vẫn duy trì một khái niệm về khoảng cách, nhưng không tồn tại khoảng cách. Mặt phẳng topo có một khái niệm về đường thẳng tuyến tính, nhưng không có khái niệm về một đường thẳng. Mặt phẳng topo, hoặc sự tương đương với hình tròn mở của nó, là miền lân cận topo căn bản được sử dụng để xây dựng các [[bề mặt]] (hoặc các đa tạp 2 chiều) được xếp vào loại [[topo ít chiều]]. Các phép đẳng cấu của mặt phẳng topo đều là [[song ánh]] [[liên tục]]. Mặt phẳng topo chính là ngữ cảnh tự nhiên cho các nhánh của [[lý thuyết đồ thị]] mà giải quyết các [[đồ thị phẳng]], và có các kết quả chẳng hạn như [[định lý bốn màu]].

Mặt phẳng cũng có thể được xem như là [[không gian affine]], mà phép đẳng cấu của nó là sự kết hợp của các phép tịnh tiến và bản đồ tuyến tính không suy biến. Từ quan điểm này suy ra không tồn tại khoảng cách, nhưng [[tính cộng tuyến]] và tỷ lệ khoảng cách trên bất kỳ đường thẳng nào đều được bảo toàn.

[[Hình học vi phân]] coi một mặt phẳng như một đa tạp thực 2 chiều, là một mặt phẳng topo được cung cấp kèm một [[cấu trúc vi phân]]. Một lần nữa trong trường hợp này, không có khái niệm về khoảng cách, nhưng hiện có một khái niệm về tính trơn của xạ ảnh, ví dụ như một đường thẳng [[khả vi]] hoặc [[trơn]] nhẵn (phụ thuộc vào loại cấu trúc vi phân được áp dụng). Các phép đẳng cấu trong trường hợp này là là song ánh với mức độ được chọn theo sự khả vi.

Theo hướng đối diện của sự trừu tượng, chúng ta có thể áp dụng một cấu trúc trường tương thích với mặt phẳng hình học, tạo ra những [[mặt phẳng phức]] và các lĩnh vực chính của [[giải tích phức]]. Các trường phức chỉ có hai phép đẳng cấu mà ly khai đường thẳng thực cố định, phép đồng nhất và phép [[liên hợp]].

Theo cùng cách như trong các trường hợp thực tế, mặt phẳng cũng có thể được xem như là [[đa tạp phức]] đơn giản nhất, một chiều (trên trường [[số phức]]), đôi khi gọi là đường phức. Tuy nhiên, quan điểm này đối lập với trường hợp mặt phẳng như một đa tạp thực 2 chiều. Các phép đẳng cấu đều là song ánh bảo giác của mặt phẳng phức, nhưng khả năng chỉ là các xạ ảnh tương ứng với các thành phần của một phép nhân một số phức với một phép tịnh tiến.

Ngoài ra, hình học Euclide (trong đó [[độ cong]] bằng không ở khắp mọi nơi) không phải là hình học duy nhất mà mặt phẳng có thể có. Mặt phẳng có thể được cho một dạng hình học hình cầu bằng cách sử dụng phép chiếu lập thể. Điều này có thể coi như đặt một khối cầu trên mặt phẳng (giống như một quả bóng trên sàn nhà), loại bỏ điểm đầu, và chiếu hình cầu lên mặt phẳng từ điểm này). Đây là một trong các phép chiếu mà có thể được sử dụng trong việc tạo ra một bản đồ phẳng của một phần của bề mặt Trái đất. Các dạng hình học thu được có độ cong dương liên tục.

Ngoài ra, mặt phẳng cũng có thể được cung cấp một chuẩn đo hệ mét mà mang lại cho nó [[mặt phẳng hyperbol]] có độ cong âm không đổi. Khả năng thứ hai là tìm thấy một ứng dụng trong [[thuyết tương đối đặc biệt]] trong trường hợp đơn giản hoá, nơi có hai chiều không gian và một chiều thời gian. (Các mặt phẳng hyperbol là một [[siêu bề mặt]] [[loại thời gian]] trong [[không gian Minkowski]] ba chiều.)

== Ghi chú về hình học tôpô và hình học vi phân ==
[[Sự mở rộng compac tại một điểm]] của mặt phẳng là đồng phôi với [[hình cầu]] (xem [[phép chiếu lập thể]]); hình tròn mở là đồng phôi với khối cầu có "cực Bắc" mất tích; thêm điểm đó bổ sung khối cầu (compact). Kết quả của sự mở rộng compac này là một [[đa tạp]] gọi tắt là [[khối cầu Riemann]] hay [[đường xạ ảnh phức]]. Phép chiếu từ mặt phẳng Euclide đến một quả cầu mà không có một điểm là một bản đồ [[vi đồng phôi]] và thậm chí bảo giác.

Mặt phẳng bản thân là đồng phôi (và vi đồng phôi) đến một [[hình tròn]] mở. Đối với [[mặt phẳng hyperbol]] thì vi đồng phôi là bảo giác, nhưng đối với các mặt phẳng Euclide không phải vậy.

== Xem thêm ==
* Flat (geometry)
* Half-plane
* Hyperplane
* Line-plane intersection
* Plane of incidence
* Plane of rotation
* Point on plane closest to origin
* Projective plane

== Ghi chú ==
{{tham khảo}}

== Tham khảo ==
* {{Chú thích|last=Anton|first=Howard|title=Elementary Linear Algebra|edition=7th|publisher=John Wiley & Sons|year=1994|isbn=0-471-58742-7}}
* {{Chú thích|last=Eves|first=Howard|title=A Survey of Geometry|publisher=Allyn and Bacon, Inc.|place=Boston|year=1963|volume=I}}

== Liên kết ngoài ==
* {{SpringerEOM|title=Plane|id=p/p072790}}
* {{MathWorld|title=Plane|urlname=Plane}}
* [http://www.wdl.org/en/item/2850/ "Easing the Difficulty of Arithmetic and Planar Geometry"] is an Arabic manuscript, from the 15th century, that serves as a tutorial about plane geometry and arithmetic.
{{Chủ đề hình học}}
{{Toán}}
{{Kiểm soát tính nhất quán}}

[[Thể loại:Hình học Euclid]]
[[Thể loại:Khái niệm toán học]]