Bối cảnh và vấn đề nghiên cứu

Khóa luận tốt nghiệp "Hình học xạ ảnh của đường thẳng" của sinh viên Vũ Lê Hương Giang (MSSV: 4501101015), do TS. Nguyễn Hà Thanh hướng dẫn tại Khoa Toán - Tin học, Trường Đại học Sư phạm Thành phố Hồ Chí Minh (tháng 4 năm 2023), thuộc chuyên ngành Sư phạm Toán học / Toán học giải tích - hình học.

Văn bản khởi đầu bằng việc phân tích hai cách tiếp cận định nghĩa không gian xạ ảnh phổ biến trong chương trình đại học hiện nay:

  1. Định nghĩa thông qua không gian vectơ: Cho tập hợp $X \ne \emptyset$, một không gian vectơ $n+1$ chiều $V^{n+1}$ ($n > 0$) trên trường $K$ và một song ánh $p: P(V^{n+1}) \to X$; bộ ba $(X, p, V^{n+1})$ được gọi là một không gian xạ ảnh $n$ chiều liên kết với không gian vectơ $V^{n+1}$.
  2. Định nghĩa thông qua cấu trúc đại số: Cho $k$ là trường đóng đại số cố định, không gian xạ ảnh $n$ chiều trên $k$ (ký hiệu $\mathbb{P}^n$) là tập hợp các lớp tương đương của dãy $(n+1)$ phần tử không đồng thời bằng 0, tức tập thương của $\mathbb{A}^{n+1} \setminus {(0, \dots, 0)}$ với quan hệ tương đương tỉ lệ xác định các điểm nằm trên cùng một đường thẳng đi qua gốc tọa độ.

Tác giả chỉ ra rằng hai định nghĩa nêu trên mang tính hàn lâm trừu tượng, nặng về mặt đại số thuần túy, làm mất đi tính trực quan vốn có của hình học. Theo dòng lịch sử, hình học xạ ảnh xuất phát trực tiếp từ cơ chế thị giác của mắt người khi quan sát thế giới và nghệ thuật phối cảnh thời kỳ Phục hưng. Vì vậy, lý do chọn đề tài của tác giả là quay lại tìm hiểu các khái niệm nền tảng của hình học xạ ảnh từ góc độ trực quan, tạo cầu nối giữa phối cảnh nghệ thuật và cấu trúc đại số hình học, nhằm củng cố tư duy trừu tượng cho người học.

Nhiệm vụ và mục tiêu nghiên cứu của khóa luận được xác định cụ thể:

  1. Sử dụng phép phối cảnh trong nghệ thuật để tiếp cận trực quan các đối tượng trong mặt phẳng xạ ảnh thực $\mathbb{R}P^2$.
  2. Xây dựng một cách chặt chẽ các khái niệm toán học: điểm xạ ảnh, đường thẳng xạ ảnh, tọa độ thuần nhất, mặt phẳng nhúng, điểm lí tưởng và đường lí tưởng.
  3. Nghiên cứu nhóm các phép biến đổi xạ ảnh $P(2)$, các tính chất bất biến (tính thẳng hàng, tính liên thuộc).
  4. Thiết lập và chứng minh Định lý cơ bản của Hình học Xạ ảnh cùng các thuật toán xác định phép biến đổi xạ ảnh liên kết.
  5. Nghiên cứu khái niệm tỉ số kép và ứng dụng của nó trong việc giải quyết các định lý hình học cổ điển (Desargues, Pappus).

Đối tượng và phạm vi nghiên cứu:

  • Phạm vi nghiên cứu: Khóa luận giới hạn trọng tâm trong mặt phẳng xạ ảnh thực hai chiều $\mathbb{R}P^2$.
  • Đối tượng nghiên cứu: Điểm xạ ảnh, đường thẳng xạ ảnh, mặt phẳng nhúng, phép biến đổi xạ ảnh, Định lý cơ bản của Hình học Xạ ảnh và tỉ số kép.

Cơ sở lý thuyết và phương pháp

Về khung lý thuyết, khóa luận khai thác trực tiếp từ giáo trình Geometry của David A. Brannan (xuất bản năm 2011). Toàn bộ hệ thống khái niệm, mô hình hóa và chứng minh định lý trong công trình đều bám sát hệ thống ký hiệu và phương pháp luận của tài liệu chuẩn mực này.

Về phương pháp nghiên cứu, tác giả kết hợp chặt chẽ giữa hai phương pháp:

  • Phương pháp mô hình hóa hình học - đại số: Chuyển đổi các quan sát quang học và phối cảnh 3 chiều trong không gian Euclid $\mathbb{R}^3$ sang ngôn ngữ của Đại số tuyến tính. Cụ thể, các đối tượng hình học xạ ảnh hai chiều được biểu diễn thông qua cấu trúc véc-tơ của $\mathbb{R}^3$: điểm xạ ảnh tương ứng với đường thẳng qua gốc tọa độ, đường thẳng xạ ảnh tương ứng với mặt phẳng qua gốc tọa độ, và phép biến đổi xạ ảnh tương ứng với ma trận khả nghịch cấp $3 \times 3$.
  • Phương pháp phân tích giải tích và đại số: Khai thác công cụ định thức cấp ba (để lập phương trình đường thẳng và kiểm tra tính thẳng hàng), hệ phương trình tuyến tính thuần nhất, cấu trúc nhóm trừu tượng (chứng minh nhóm $P(2)$ thỏa mãn 4 tiên đề nhóm) và lý thuyết ánh xạ.

Nguồn dữ liệu của nghiên cứu là các văn bản toán học chuyên khảo, dữ liệu hình học giải tích và các bài toán tính toán đại số - ma trận cụ thể được xây dựng để minh họa cho từng định lý, thuật toán.

Nội dung chính theo từng chương

Chương 1: Phép phối cảnh (Phép chiếu xuyên tâm)

Chương mở đầu phân tích nguồn gốc lịch sử của phối cảnh hội tụ (focused perspective) trong hội họa và kiến trúc, được khởi xướng bởi Filippo Brunelleschi (1377–1446), phát triển bởi Leone Battista Alberti (1404–1472), hoàn thiện bởi Leonardo da Vinci (1452–1519) và được hệ thống hóa trong sách khắc gỗ Underweysung der Messung mit dem Zyrkel und Rychtsscheyed (1525) của Albrecht Dürer (1471–1528). Cơ chế thị giác được giải thích qua khái niệm tiết diện (cross-section): một mặt phẳng kính đặt giữa mắt và vật thể ba chiều chặn chùm tia sáng đi từ cảnh vật về mắt. Mắt người tiếp nhận tia sáng từ tiết diện trùng hướng với tia sáng từ cảnh thực nên nhìn nhận hình ảnh hai chiều trên tiết diện như cảnh thực ba chiều.

Về mặt toán học, chùm tia sáng được mô hình hóa bằng chùm đường thẳng đi qua gốc tọa độ $O$ trong $\mathbb{R}^3$, còn màn chắn là mặt phẳng không đi qua $O$. Phép phối cảnh (hay phép chiếu xuyên tâm - perspectivity) tâm $O$ từ mặt phẳng $\pi$ đến mặt phẳng $\pi'$ là ánh xạ biến điểm $P \in \pi$ thành điểm $Q \in \pi'$ sao cho $O, P, Q$ thẳng hàng. Tác giả chỉ ra nhược điểm của phép chiếu này trên mặt phẳng Euclid là tập nguồn không nhất thiết bao phủ toàn bộ $\pi$ (những điểm mà tia $OP$ song song với $\pi'$ sẽ không có ảnh). Phép chiếu xuyên tâm bảo toàn tính thẳng hàng nhưng không bảo toàn "độ tròn" (biến đường tròn thành parabol hoặc đường conic).

Khóa luận phân tích các đối tượng đặc thù khi chiếu từ mặt phẳng nằm ngang $\pi$ lên mặt phẳng thẳng đứng $\pi'$ ($\pi \perp \pi'$, giao tuyến $L$):

  • Điểm biến mất chính (principal vanishing point - $P$): Là giao điểm của đường vuông góc kẻ từ $O$ đến $\pi'$. Ảnh của tất cả các đường thẳng trong $\pi$ vuông góc với giao tuyến $L$ đều quy tụ về $P$ nhưng khuyết điểm $P$.
  • Điểm biến mất chéo (diagonal vanishing point - $D$): Điểm hội tụ của các đường thẳng tạo với giao tuyến $L$ một góc $\pi/4$.
  • Đường biến mất (vanishing line - $h'$): Đường thẳng nằm ngang đi qua $P$ trên $\pi'$, đóng vai trò là "đường chân trời", là tập hợp tất cả các điểm biến mất tương ứng với các hướng khác nhau trên $\pi$.

Cuối chương, tác giả sử dụng mô hình chiếu ba chiều để chứng minh Định lý Desargues cho hai tam giác $ABC$ và $A'B'C'$ có các đường nối đỉnh $AA', BB', CC'$ đồng quy tại $O$: các cặp cạnh tương ứng $(BC, B'C')$, $(CA, C'A')$, $(AB, A'B')$ cùng thuộc các mặt phẳng trung gian nên cắt nhau tại $P, Q, R$. Vì $P, Q, R$ vừa thuộc mặt phẳng $(ABC)$ vừa thuộc mặt phẳng $(A'B'C')$ nên chúng buộc phải nằm trên giao tuyến của hai mặt phẳng này, tức thẳng hàng. Chiếu mô hình này qua một màn chắn thu được Định lý Desargues trong mặt phẳng hai chiều.

Chương 2: Mặt phẳng xạ ảnh $\mathbb{R}P^2$

Chương 2 thiết lập hình thức toán học chặt chẽ cho mặt phẳng xạ ảnh thực $\mathbb{R}P^2$:

  • Điểm xạ ảnh (viết hoa là "Điểm"): Được định nghĩa là một đường thẳng đi qua gốc tọa độ trong $\mathbb{R}^3$. Tập hợp tất cả các Điểm này tạo thành $\mathbb{R}P^2$. Điểm được đại diện bởi tọa độ thuần nhất $[a, b, c]$ (với $a, b, c$ không đồng thời bằng 0). Tọa độ thuần nhất thỏa mãn quan hệ tương đương: $[a, b, c] = [\lambda a, \lambda b, \lambda c]$ với mọi $\lambda \ne 0$. Khóa luận trình bày phương pháp chuẩn hóa tọa độ về dạng $[a, b, 1]$ hoặc $[1, b, c]$ để so sánh các Điểm.
  • Đường thẳng xạ ảnh (viết hoa là "Đường thẳng"): Được định nghĩa là một mặt phẳng đi qua gốc tọa độ trong $\mathbb{R}^3$. Phương trình tổng quát có dạng $ax + by + cz = 0$ (với $a, b, c$ không đồng thời bằng 0).
  • Thuật toán xác định phương trình Đường thẳng đi qua hai Điểm $[d_1, e_1, f_1]$ và $[d_2, e_2, f_2]$: Viết phương trình định thức cấp ba khai triển theo dòng đầu bằng 0: $$\begin{vmatrix} x & y & z \ d_1 & e_1 & f_1 \ d_2 & e_2 & f_2 \end{vmatrix} = 0$$
  • Thuật toán kiểm tra ba Điểm $[a, b, c]$, $[d, e, f]$, $[g, h, k]$ thẳng hàng: Tính định thức ma trận tạo bởi tọa độ 3 điểm; ba Điểm thẳng hàng khi và chỉ khi định thức đó bằng 0.
  • Khái niệm nền tảng: Tam giác cơ sở gồm ba Điểm $[1, 0, 0]$, $[0, 1, 0]$, $[0, 0, 1]$ và Điểm đơn vị $[1, 1, 1]$. Tác giả chứng minh không có bất kỳ ba điểm nào trong bốn điểm này thẳng hàng.
  • Tính chất liên thuộc của $\mathbb{R}P^2$ (Định lí 3): Hai Đường thẳng phân biệt bất kỳ trong $\mathbb{R}P^2$ luôn cắt nhau tại một Điểm duy nhất (tương ứng giao tuyến của hai mặt phẳng qua gốc trong $\mathbb{R}^3$). Trong hình học xạ ảnh không tồn tại khái niệm đường thẳng song song.
  • Mặt phẳng nhúng (Embedding Planes): Là mặt phẳng $\pi$ trong $\mathbb{R}^3$ không đi qua gốc tọa độ, kết hợp với tập hợp các Điểm lí tưởng (ideal Points) của $\pi$. Điểm lí tưởng là các đường thẳng qua gốc tọa độ $O$ có phương song song với $\pi$; tập hợp các Điểm lí tưởng tạo thành Đường thẳng lí tưởng của $\pi$. Ví dụ: Với mặt phẳng nhúng $z = -1$, đường thẳng lí tưởng có phương trình $z = 0$ và các điểm lí tưởng có dạng $[a, b, 0]$. Tác giả chứng minh rằng hai đường thẳng song song trên mặt phẳng nhúng này có thể cắt nhau trên mặt phẳng nhúng khác (ví dụ hai đường thẳng $x = -z$ và $x = z$ cắt nhau tại $[0, 1, 0]$; đối với mặt phẳng $z = -1$ thì $[0, 1, 0]$ là điểm lí tưởng khiến hình biểu diễn song song, nhưng trên mặt phẳng $y = -1$ thì chúng cắt nhau rõ ràng). Do đó, tính song song không phải là một tính chất xạ ảnh.

Chương 3: Phép biến đổi xạ ảnh

Chương 3 xây dựng lý thuyết ánh xạ và cấu trúc nhóm trong $\mathbb{R}P^2$:

  • Phép biến đổi xạ ảnh: Là hàm số $\tau: \mathbb{R}P^2 \to \mathbb{R}P^2$ xác định bởi $\tau([x]) = [Ax]$, trong đó $A$ là ma trận khả nghịch cấp $3 \times 3$. Nếu ma trận $A$ liên kết với $\tau$ thì ma trận $\lambda A$ ($\lambda \ne 0$) cũng liên kết với chính $\tau$. Tập hợp tất cả các phép biến đổi xạ ảnh của $\mathbb{R}P^2$ được ký hiệu là $P(2)$.
  • Chứng minh cấu trúc nhóm: Tác giả chứng minh chi tiết tập hợp $P(2)$ cùng với phép hợp thành ánh xạ tạo thành một nhóm bằng cách kiểm tra đầy đủ 4 tiên đề: tính đóng (tích hai ma trận khả nghịch là ma trận khả nghịch), phần tử đơn vị (ma trận đơn vị $I_3$), phần tử nghịch đảo ($\tau^{-1}$ liên kết với ma trận $A^{-1}$), và tính kết hợp của phép hợp thành ánh xạ. Hình học xạ ảnh được định nghĩa là môn học nghiên cứu các tính chất bất biến của các hình trong $\mathbb{R}P^2$ dưới tác động của nhóm $P(2)$.
  • Tính chất bất biến:
    1. Bảo toàn tính thẳng hàng: Đường thẳng $Lx = 0$ (với $L = (a \ b \ c)$) qua phép biến đổi xạ ảnh $\tau$ có ma trận $A$ sẽ biến thành đường thẳng có phương trình $(LA^{-1})x' = 0$ hay $(LB)x = 0$ với $B = \lambda A^{-1}$.
    2. Bảo toàn tính liên thuộc: Giao điểm của hai đường thẳng được ánh xạ thành giao điểm của hai đường thẳng ảnh.
  • Định lý cơ bản của Hình học Xạ ảnh: Tác giả chỉ ra rằng một tam giác (3 điểm) không đủ để xác định duy nhất phép biến đổi xạ ảnh vì ma trận còn phụ thuộc các tham số vô hướng tự do $u, v, w$. Cần chính xác 4 điểm (trong đó không có 3 điểm nào thẳng hàng, tức tạo thành một tứ giác) để xác định duy nhất một phép biến đổi xạ ảnh.
  • Thuật toán xác định ma trận biến tam giác cơ sở $[1, 0, 0]$, $[0, 1, 0]$, $[0, 0, 1]$ và điểm đơn vị $[1, 1, 1]$ thành 4 điểm $d_1, d_2, d_3, d_4$: Giải hệ phương trình véc-tơ để tìm các hệ số $u, v, w$: $$u \begin{pmatrix} a_1 \ a_2 \ a_3 \end{pmatrix} + v \begin{pmatrix} b_1 \ b_2 \ b_3 \end{pmatrix} + w \begin{pmatrix} c_1 \ c_2 \ c_3 \end{pmatrix} = \begin{pmatrix} d_1 \ d_2 \ d_3 \end{pmatrix}$$ Ma trận cần tìm là $A = (u \cdot a \quad v \cdot b \quad w \cdot c)$.
  • Định lí cơ bản (Định lí 3): Cho $ABCD$ và $A'B'C'D'$ là hai tứ giác trong $\mathbb{R}P^2$. Tồn tại duy nhất một phép biến đổi xạ ảnh biến tứ giác $ABCD$ thành tứ giác $A'B'C'D'$.
  • Hệ quả quan trọng: Mọi tứ giác trong $\mathbb{R}P^2$ đều đồng dư xạ ảnh (projective-congruent) với nhau.

Chương 4: Ứng dụng Định lý cơ bản của Hình học Xạ ảnh

Theo danh mục mục lục và tiến trình của tài liệu, Chương 4 tập trung vào việc ứng dụng Định lý cơ bản để chứng minh các định lý hình học cổ điển, nổi bật là:

  • Định lý Desargues và Định lý Pappus (Mục 4.1): Nhờ hệ quả mọi tứ giác đều đồng dư xạ ảnh, người nghiên cứu có thể dùng một phép biến đổi xạ ảnh thích hợp để ánh xạ 4 điểm bất kỳ của cấu hình về tam giác cơ sở và điểm đơn vị, hoặc đẩy một đường thẳng cụ thể về "đường thẳng lí tưởng" (đường chân trời). Khi đó, các bài toán chứng minh ba đường đồng quy hoặc ba điểm thẳng hàng phức tạp trong hình học Euclid được chuyển thành việc kiểm tra các đường thẳng song song hoặc tính toán tọa độ cơ sở hết sức giản lược.

Chương 5: Tỉ số kép

Nội dung Chương 5 hoàn thiện bức tranh về các bất biến xạ ảnh:

  • Khái niệm Tỉ số kép (Cross-Ratio - Mục 5.1 & 5.2): Tỉ số kép của bốn điểm thẳng hàng $(A, B, C, D)$ là một đại lượng số học được bảo toàn nguyên vẹn qua mọi phép biến đổi xạ ảnh và phép chiếu xuyên tâm. Trên mặt phẳng nhúng, tỉ số kép liên kết trực tiếp với tỉ số độ dài đại số của các đoạn thẳng Euclid.
  • Ứng dụng của tỉ số kép (Mục 5.3): Đóng vai trò công cụ định lượng đại số để giải quyết các bài toán về hàng điểm đồng cách, chùm đường thẳng điều hòa và các tính chất liên thuộc hình học sâu hơn.

Kết quả và đóng góp

Khóa luận đã hệ thống hóa tường minh mối quan hệ giữa các đối tượng hình học Euclid, hình học xạ ảnh và công cụ đại số tuyến tính:

Đối tượng trong $\mathbb{R}P^2$ Bản chất trong không gian $\mathbb{R}^3$ Biểu diễn Đại số / Giải tích Trạng thái trên Mặt phẳng nhúng $\pi$
Điểm xạ ảnh (Điểm) Đường thẳng Euclid đi qua gốc tọa độ $O$ Tọa độ thuần nhất $[a, b, c] \ne [0, 0, 0]$ Điểm Euclid thông thường hoặc Điểm lí tưởng (nếu tia song song $\pi$)
Đường thẳng xạ ảnh (Đường thẳng) Mặt phẳng Euclid đi qua gốc tọa độ $O$ Phương trình thuần nhất $ax + by + cz = 0$ Đường thẳng Euclid thông thường hoặc Đường thẳng lí tưởng của $\pi$
Phép biến đổi xạ ảnh Phép biến đổi tuyến tính khả nghịch của $\mathbb{R}^3$ Ma trận khả nghịch $A \in GL(3, \mathbb{R})$, $\tau([x]) = [Ax]$ Ánh xạ phối cảnh bảo toàn tính liên thuộc và tính thẳng hàng
Cấu hình xác định duy nhất Hệ 4 đường thẳng không cùng thuộc 1 mặt phẳng Hệ phương trình véc-tơ độc lập xác định duy nhất bộ $(u, v, w)$ Tứ giác (4 điểm không có 3 điểm nào thẳng hàng)

Các đóng góp cụ thể của khóa luận bao gồm:

  1. Xây dựng quy trình thuật toán cụ thể bằng đại số tuyến tính: Thuật toán lập phương trình đường thẳng qua hai điểm bằng định thức cấp 3, thuật toán kiểm tra 3 điểm thẳng hàng, và thuật toán tìm ma trận $3 \times 3$ của phép biến đổi xạ ảnh từ tọa độ 4 cặp điểm tương ứng.
  2. Chứng minh đầy đủ cấu trúc đại số: Xác lập chứng minh tập hợp $P(2)$ là một nhóm trừu tượng và chứng minh tính duy nhất của phép biến đổi xạ ảnh trong Định lý cơ bản.
  3. Thu hẹp khoảng cách trừu tượng: Thay vì tiếp cận hình học xạ ảnh bằng lý thuyết tập thương đại số hàn lâm, khóa luận trình bày một lộ trình trực quan đi từ hiện tượng quang học, phối cảnh thời Phục hưng đến việc giải thích tại sao hai đường thẳng phân biệt luôn cắt nhau và vì sao tính song song không phải là một tính chất xạ ảnh.

Hạn chế và hướng nghiên cứu tiếp

Khóa luận tồn tại một số giới hạn dựa trên nội dung văn bản:

  • Phạm vi nghiên cứu giới hạn chặt chẽ trong mặt phẳng xạ ảnh thực hai chiều $\mathbb{R}P^2$, chưa mở rộng sang không gian xạ ảnh ba chiều $\mathbb{R}P^3$ hay không gian $n$ chiều $\mathbb{R}P^n$, cũng như chưa khảo sát trên trường số phức $\mathbb{C}P^2$.
  • Nguồn tài liệu chủ yếu dựa trên một giáo trình chuyên khảo duy nhất là cuốn Geometry của Brannan (2011).

Hướng nghiên cứu tiếp được mở ra:

  • Mở rộng lý thuyết biến đổi xạ ảnh và Định lý cơ bản cho không gian xạ ảnh nhiều chiều $\mathbb{R}P^n$.
  • Nghiên cứu sâu hơn về nguyên lý đối ngẫu (duality) giữa điểm và đường thẳng trong mặt phẳng xạ ảnh.
  • Khảo sát các đường bậc hai (conics) dưới góc nhìn của hình học xạ ảnh (phân loại elip, parabol, hyperbol thông qua vị trí tương đối với đường thẳng lí tưởng).
  • Ứng dụng hình học xạ ảnh trong các lĩnh vực kỹ thuật hiện đại như thị giác máy tính (computer vision), đồ họa máy tính (computer graphics) và căn chỉnh mô hình camera pinhole.

Giá trị tham khảo

Tài liệu này hữu ích cho các nhóm đối tượng:

  • Sinh viên chuyên ngành Sư phạm Toán học và Cử nhân Toán học: Làm tài liệu tham khảo trực tiếp cho học phần Hình học Xạ ảnh, Hình học Cao cấp và các chuyên đề bồi dưỡng hình học phẳng.
  • Giảng viên và giáo viên Toán: Cung cấp tư liệu dẫn nhập lịch sử phong phú (từ các công trình của Brunelleschi, Alberti, Da Vinci, Dürer) giúp bài giảng về hình học không gian và hình học xạ ảnh trở nên trực quan, sinh động.
  • Người làm nghiên cứu về Tin học đồ họa / Thị giác máy tính: Chương 2 và Chương 3 là nền tảng toán học trực tiếp để hiểu về ma trận phối cảnh, tọa độ thuần nhất (homogeneous coordinates) và phép chiếu hình học trong không gian 3 chiều lên màn hình 2 chiều.
  • Phần đáng tham khảo nhất: Chương 2 (các thuật toán định thức xử lý điểm và đường thẳng) và Chương 3 (kỹ thuật lập ma trận biến đổi xạ ảnh cho tứ giác và chứng minh Định lý cơ bản).

Câu hỏi thường gặp

1. Tại sao tính song song không phải là một tính chất xạ ảnh trong $\mathbb{R}P^2$?

Tính chất xạ ảnh là tính chất được bảo toàn qua các phép biến đổi xạ ảnh và không phụ thuộc vào cách chọn mặt phẳng nhúng. Khóa luận chứng minh qua ví dụ: xét hai đường thẳng xạ ảnh $x = -z$ và $x = z$ giao nhau tại Điểm $[0, 1, 0]$. Khi chọn mặt phẳng nhúng là $\pi_1: y = -1$, giao điểm $[0, 1, 0]$ được biểu diễn là một điểm cắt nhau thực sự trên mặt phẳng. Nhưng khi chọn mặt phẳng nhúng là $\pi_2: z = -1$, Điểm $[0, 1, 0]$ lại trở thành một Điểm lí tưởng (nằm trên đường thẳng lí tưởng $z = 0$), khiến hình biểu diễn của hai đường thẳng trên $\pi_2$ trở thành hai đường thẳng song song không bao giờ gặp nhau. Vì sự song song phụ thuộc vào việc chọn mặt phẳng nhúng nên khái niệm đường thẳng song song không tồn tại trong hình học xạ ảnh thuần túy.

2. Vì sao cần chính xác 4 điểm (tứ giác) mà không phải 3 điểm để xác định duy nhất một phép biến đổi xạ ảnh?

Trong hình học Affine, một phép biến đổi được xác định duy nhất bởi tác động lên 3 điểm không thẳng hàng (tam giác). Tuy nhiên, trong $\mathbb{R}P^2$, phép biến đổi xạ ảnh được biểu diễn bởi ma trận $A$ cấp $3 \times 3$ gồm 9 phần tử. Nếu chỉ cho ảnh của 3 điểm (ví dụ tam giác cơ sở), các cột của ma trận $A$ chỉ được xác định sai khác các thừa số nhân $u, v, w$ (tức ma trận có dạng $(u \cdot a \quad v \cdot b \quad w \cdot c)$ với $u, v, w$ là các số thực tùy ý khác 0). Do đó tồn tại vô số phép biến đổi xạ ảnh khác nhau cùng biến 3 điểm này thành 3 điểm kia. Cần bổ sung thêm điểm thứ 4 (Điểm đơn vị $[1, 1, 1]$) để thiết lập hệ phương trình véc-tơ xác định duy nhất bộ ba số thực $(u, v, w)$, qua đó xác định duy nhất một phép biến đổi xạ ảnh.

3. Điểm lí tưởng và Đường lí tưởng của mặt phẳng nhúng được định nghĩa như thế nào?

Cho mặt phẳng nhúng $\pi$ trong $\mathbb{R}^3$ không đi qua gốc tọa độ. Một Điểm xạ ảnh (đường thẳng qua $O$) có phương song song với $\pi$ sẽ không bao giờ cắt $\pi$ tại một điểm Euclid nào. Những Điểm như vậy được gọi là Điểm lí tưởng của $\pi$. Tập hợp tất cả các Điểm lí tưởng của $\pi$ cùng nằm trên một mặt phẳng đi qua gốc tọa độ $O$ và song song với $\pi$; mặt phẳng này chính là một Đường thẳng xạ ảnh duy nhất, được gọi là Đường lí tưởng của $\pi$. Ví dụ với mặt phẳng nhúng $\pi: y = -1$, đường lí tưởng là mặt phẳng $y = 0$, và các điểm lí tưởng là các điểm có tọa độ thuần nhất dạng $[a, 0, c]$.

4. Hai Đường thẳng phân biệt trong $\mathbb{R}P^2$ luôn có mối quan hệ tương hỗ như thế nào?

Theo Định lí 3 về tính chất liên thuộc của $\mathbb{R}P^2$, hai Đường thẳng phân biệt bất kỳ luôn cắt nhau tại một Điểm duy nhất. Điều này bắt nguồn từ bản chất hình học trong không gian $\mathbb{R}^3$: mỗi Đường thẳng xạ ảnh là một mặt phẳng đi qua gốc tọa độ $O$, và hai mặt phẳng phân biệt bất kỳ đi qua gốc tọa độ luôn giao nhau tại một đường thẳng Euclid duy nhất đi qua $O$. Đường thẳng giao tuyến này chính là Điểm giao nhau duy nhất trong mặt phẳng xạ ảnh $\mathbb{R}P^2$.

5. Phương trình ảnh của một đường thẳng $Lx = 0$ qua phép biến đổi xạ ảnh $\tau$ có ma trận liên kết $A$ được xác định ra sao?

Một đường thẳng xạ ảnh có phương trình dạng ma trận $Lx = 0$ với $L = (a \ b \ c)$. Giả sử phép biến đổi xạ ảnh $\tau$ có ma trận khả nghịch $A$ cấp $3 \times 3$, biến $[x]$ thành $[x']$ với $x' = Ax$, suy ra $x = A^{-1}x'$. Thay vào phương trình đường thẳng ban đầu, ta được $L(A^{-1}x') = 0$ hay $(LA^{-1})x' = 0$. Do đó, phương trình ảnh của đường thẳng dưới phép biến đổi xạ ảnh là $(LA^{-1})x = 0$ (hoặc $(LB)x = 0$ với $B = \lambda A^{-1}$, $\lambda \ne 0$). Thuộc tính này chứng minh tính thẳng hàng luôn được bảo toàn qua phép biến đổi xạ ảnh.

Kết luận

Khóa luận "Hình học xạ ảnh của đường thẳng" của sinh viên Vũ Lê Hương Giang đã hoàn thành việc xây dựng có hệ thống lý thuyết mặt phẳng xạ ảnh thực $\mathbb{R}P^2$ từ nguồn gốc trực quan phối cảnh thị giác thời Phục hưng đến cấu trúc giải tích ma trận hiện đại. Công trình làm sáng tỏ bản chất của các đối tượng xạ ảnh (Điểm, Đường thẳng, mặt phẳng nhúng, Điểm lí tưởng), chứng minh cấu trúc nhóm $P(2)$, xác lập Định lý cơ bản của Hình học Xạ ảnh và bước đầu mở ra các ứng dụng thông qua tỉ số kép cùng các định lý cổ điển Desargues và Pappus. Bản luận văn là tài liệu học thuật có cấu trúc mạch lạc, chuẩn mực và giàu giá trị sư phạm cho việc giảng dạy và học tập chuyên ngành Hình học Xạ ảnh.