Hình học

Hình học Hilbert

Một miền lồi bị chặn $\Omega$ trở thành một không gian metric ngay khi ta định nghĩa $d_\Omega$ bằng tỉ số kép của các điểm mà một đường thẳng cắt biên của nó — cấu trúc năm 1895 của David Hilbert, quy về đúng mô hình Klein cổ điển của hình học hyperbolic khi $\Omega$ là một hình elip, và cho ra một hình học phi Riemann hoàn toàn mới trong các trường hợp còn lại.

Trực giácKhoảng cách tăng vọt khi bạn tiến gần tới biên

Hãy lấy một miền lồi bị chặn bất kỳ trong mặt phẳng — một hình tròn, một hình elip, một hình vuông, một hình lục giác, bất cứ hình nào không trải dài tới vô cực và không có chỗ lõm vào. Gọi nó là $\Omega$ . Chọn hai điểm $x$ và $y$ bên trong $\Omega$ , kẻ đường thẳng đi qua chúng, và để đường thẳng đó cắt biên của miền tại hai điểm biên $a$ và $b$ , sao cho bốn điểm nằm theo đúng thứ tự $a, x, y, b$ trên đường thẳng. Mẹo của Hilbert là đo khoảng cách giữa $x$ và $y$ không bằng thước kẻ, mà bằng cách so sánh hai đoạn $ay$ và $bx$ với hai đoạn $ax$ và $by$ — một tỉ số của các tỉ số gọi là tỉ số kép (cross-ratio). Cụ thể, bên trong hình tròn đơn vị $\Omega = \{x^2+y^2<1\}$ , lấy tâm $x=(0,0)$ và điểm $y=(0.6,0)$ trên bán kính nằm ngang. Đường thẳng qua chúng cắt đường tròn tại $a=(-1,0)$ và $b=(1,0)$ . Đo dọc theo đường thẳng đó, $|ay|=1.6$ , $|bx|=1$ , $|ax|=1$ , $|by|=0.4$ , nên tỉ số kép bằng $\frac{1.6\times 1}{1\times 0.4}=4$ , và khoảng cách Hilbert là $\tfrac12\ln 4=\ln 2\approx 0.693$ . Bây giờ hãy trượt $y$ ra ngoài, chẳng hạn tới $(0.9,0)$ : $|ay|=1.9$ , $|by|=0.1$ , và tỉ số kép nhảy vọt lên $\frac{1.9\times1}{1\times0.1}=19$ , cho khoảng cách $\tfrac12\ln 19\approx 1.47$ — hơn gấp đôi, dù $y$ chỉ dịch chuyển một chút theo nghĩa Euclid thông thường. Điểm càng nằm gần biên của $\Omega$ thì độ đo Hilbert càng đẩy nó ra xa hơn, đúng hệt hành vi khiến mô hình Klein cổ điển của hình học hyperbolic vận hành được: trong mô hình đó, đường tròn biên đại diện cho các điểm 'ở vô cực', xa vô tận so với tâm.

Một khối lập phương đặc: một ví dụ về vật thể lồi bị chặn trong không gian. Lưu ý rằng bản thân cấu trúc của Hilbert thường được hình dung trong 2D (một miền lồi phẳng như hình tròn hay đa giác) — khối lập phương 3D này không phải là hình minh họa đúng nghĩa của hình học Hilbert, mà chỉ minh họa khái niệm tổng quát về một miền lồi bị chặn mà cấu trúc này tổng quát hóa tới ở mọi chiều.

Đại họcCấu trúc của Hilbert: khoảng cách từ một tỉ số kép

Định nghĩa: Metric Hilbert

Cho $\Omega$ là một tập con lồi, mở, bị chặn của $\mathbb{R}^n$ (tương đương, một bản đồ affine của một tập lồi thực sự mở trong không gian xạ ảnh thực $\mathbb{RP}^n$ ). Với các điểm phân biệt $x, y \in \Omega$ , gọi đường thẳng qua $x$ và $y$ cắt biên $\partial\Omega$ tại hai điểm $a$ và $b$ , đặt tên sao cho bốn điểm xuất hiện theo thứ tự $a, x, y, b$ trên đường thẳng đó. David Hilbert đã định nghĩa, trong một ghi chú ngắn năm 1895 viết dưới dạng bức thư gửi Felix Klein, khoảng cách Hilbert $d_\Omega(x,y) = \frac12 \ln[a,x,y,b] = \frac12 \ln\frac{|ay|\,|bx|}{|ax|\,|by|},$ cùng với $d_\Omega(x,x)=0$ , trong đó $[a,x,y,b]$ ký hiệu tỉ số kép của bốn điểm thẳng hàng và $|\cdot|$ ký hiệu độ dài Euclid thông thường dọc theo đường thẳng đó (bất kỳ phép tham số hóa affine nào cũng cho cùng một tỉ số, vì tỉ số kép không đổi khi tham số hóa lại đường thẳng).

d_\Omega(x,y) = \frac12 \ln[a,x,y,b] = \frac12 \ln\frac{|ay|\,|bx|}{|ax|\,|by|}

Định lý: Khoảng cách Hilbert là một metric đúng nghĩa, với các đoạn thẳng là đường trắc địa

Với $\Omega$ như trên, $d_\Omega$ là một metric trên $\Omega$ : nó đối xứng ( $d_\Omega(x,y)=d_\Omega(y,x)$ ), không âm, và $d_\Omega(x,y)=0$ khi và chỉ khi $x=y$ . Hơn nữa, với mọi $x,z\in\Omega$ và mọi điểm $y$ trên đoạn thẳng $[x,z]$ , ta có $d_\Omega(x,y)+d_\Omega(y,z)=d_\Omega(x,z)$ ; do đó đoạn thẳng Euclid thông thường $[x,z]$ (đi qua với tốc độ không đều thích hợp) là một đường trắc địa của $(\Omega,d_\Omega)$ , và $d_\Omega$ thỏa mãn bất đẳng thức tam giác với dấu bằng đúng dọc theo các đoạn thẳng như vậy.

Vì sao đúng?

Công thức $d_\Omega(x,y) = \frac12\ln[a,x,y,b]$ đối xứng khi hoán đổi vai trò của $x$ và $y$ cùng với $a$ và $b$ , vì việc đổi nhãn biến $\frac{|ay||bx|}{|ax||by|}$ thành chính nó; và vì $a<x<y<b$ buộc $|ay|>|ax|$ và $|bx|>|by|$ , nên tỉ số kép là tích của hai số đều lớn hơn $1$ , do đó nó vượt quá $1$ đúng khi $x\neq y$ , khiến $d_\Omega$ dương ngặt ngoài đường chéo. Tính cộng tính dọc theo một đường thẳng cố định thực chất là một phát biểu về các số thông thường trên đường thẳng thực: các tỉ số kép tính từ cùng một cặp điểm biên $a,b$ nhân dồn kiểu domino khi chèn thêm một điểm thẳng hàng thứ ba, nên phép lấy logarit biến tích domino đó thành một tổng — hiện tượng y hệt mà bạn có thể kiểm chứng bằng số trên ba điểm bất kỳ của một đoạn thẳng.

Chứng minh

Đối xứng và dương tính. Viết $[a,x,y,b]=\frac{|ay|}{|ax|}\cdot\frac{|bx|}{|by|}$ . Vì $a<x<y<b$ trên đường thẳng, $|ay|=|ax|+|xy|>|ax|$ và $|bx|=|by|+|xy|>|by|$ , nên cả hai thừa số đều vượt quá $1$ khi $x\ne y$ , do đó $[a,x,y,b]>1$ và $d_\Omega(x,y)>0$ ; khi $x=y$ cả hai thừa số bằng $1$ . Đổi nhãn $(x,y,a,b)\mapsto(y,x,b,a)$ biến $\frac{|ay||bx|}{|ax||by|}$ thành $\frac{|bx||ay|}{|by||ax|}$ , tức cùng một số, nên $d_\Omega(x,y)=d_\Omega(y,x)$ .

Tính cộng tính trên một đường thẳng. Cho $x,y,z$ thẳng hàng với $y$ nằm giữa $x$ và $z$ , và cho $a,b$ là các giao điểm biên (chung) của đường thẳng đó. Viết cả bốn khoảng cách một chiều dọc theo đường thẳng, $[a,x,y,b]\cdot[a,y,z,b]=\frac{|ay|}{|ax|}\frac{|bx|}{|by|}\cdot\frac{|az|}{|ay|}\frac{|by|}{|bz|}=\frac{|az|}{|ax|}\frac{|bx|}{|bz|}=[a,x,z,b],$ vì các thừa số $|ay|$ và $|by|$ triệt tiêu nhau. Lấy $\frac12\ln$ hai vế cho $d_\Omega(x,y)+d_\Omega(y,z)=d_\Omega(x,z)$ , đúng là trường hợp dấu bằng của bất đẳng thức tam giác, nên đoạn thẳng $[x,z]$ hiện thực hóa khoảng cách Hilbert và là một đường trắc địa.

Bất đẳng thức tam giác ngoài một đường thẳng. Với $x,y,z$ không thẳng hàng, tính lồi của $\Omega$ chính là điều cần thiết: chiếu cặp $(x,z)$ qua $y$ chỉ làm tỉ số kép liên quan lớn hơn so với đi thẳng từ $x$ đến $z$ , vì các điểm biên nhìn từ $y$ không nằm gần $x$ hay $z$ hơn các điểm biên nhìn trực tiếp dọc theo $xz$ — tính đơn điệu này, được chứng minh cẩn thận nhờ tính lồi của $\Omega$ , cho $d_\Omega(x,z)\le d_\Omega(x,y)+d_\Omega(y,z)$ trong trường hợp tổng quát (xem Hilbert 1895; một chứng minh đầy đủ có trong Handbook of Hilbert Geometry, Ch. 1).

Ví dụ: Tính khoảng cách Hilbert từ định nghĩa

Cho $\Omega$ là hình tròn đơn vị mở $\{x^2+y^2<1\}$ , và cho $x=(-0.5,0)$ và $y=(0.5,0)$ . Hãy tính $d_\Omega(x,y)$ trực tiếp từ định nghĩa $d_\Omega(x,y)=\frac12\ln[a,x,y,b]$ .

Lời giải

Đường thẳng nằm ngang qua $x$ và $y$ cắt đường tròn đơn vị tại $a=(-1,0)$ và $b=(1,0)$ , theo thứ tự $a,x,y,b$ . Dọc theo đường thẳng đó, $|ay|=1.5$ , $|bx|=1.5$ , $|ax|=0.5$ , $|by|=0.5$ , nên $[a,x,y,b]=\frac{1.5\times1.5}{0.5\times0.5}=\frac{2.25}{0.25}=9$ . Do đó $d_\Omega(x,y)=\frac12\ln 9=\ln 3\approx 1.099$ . (Để ý sự trùng hợp dễ chịu rằng $|ay|=|bx|$ ở đây, vì $x$ và $y$ đối xứng qua tâm — chính sự đối xứng đó khiến tỉ số kép là một số chính phương, $9=3^2$ .)

Trường hợp elip đặc biệt

x^2/a^2+y^2/b^2=1

: ở đây metric Hilbert

d_\Omega

không chỉ tương tự hình học hyperbolic, mà chính là mô hình Klein (xạ ảnh) cổ điển của mặt phẳng hyperbolic, được chuyển sang hình elip cụ thể này bằng một phép đổi tọa độ tuyến tính.

Định lý: Trường hợp elip chính là mô hình Klein của hình học hyperbolic

Cho $\mathbb{B}=\{x_1^2+\dots+x_n^2<1\}$ là hình cầu đơn vị mở. Khi đó $(\mathbb{B},d_{\mathbb{B}})$ đẳng cự với không gian hyperbolic $n$ -chiều có độ cong không đổi $-1$ , thông qua mô hình Beltrami–Klein cổ điển. Tổng quát hơn, nếu $E\subset\mathbb{R}^n$ là một hình ellipsoid bất kỳ (ảnh của $\mathbb{B}$ qua một ánh xạ affine khả nghịch $T$ ), thì $(E,d_E)$ đẳng cự với $(\mathbb{B},d_{\mathbb{B}})$ thông qua $T$ , do đó cũng đẳng cự với không gian hyperbolic; không có lựa chọn nào khác của $\Omega$ lồi bị chặn (không tương đương affine với một ellipsoid) cho ra một hình học Hilbert đẳng cự với một không gian độ cong không đổi.

Vì sao đúng?

Cấu trúc tỉ số kép của Hilbert chính là cấu trúc mà Arthur Cayley và Felix Klein đã dùng nhiều thập kỷ trước đó để xây dựng mô hình xạ ảnh của hình học hyperbolic bên trong một đường conic — bức thư năm 1895 của Hilbert gửi Klein đã chỉ ra rằng tính lồi của $\Omega$ , chứ không phải hình dạng bậc hai đặc biệt của một đường conic, mới là điều khiến công thức tỉ số kép định nghĩa được một metric. Việc đặc biệt hóa cấu trúc tổng quát của ông trở lại $\Omega=\mathbb{B}$ do đó tái tạo lại chính xác cấu trúc của Cayley và Klein, đó chính là lý do vì sao hình elip là hình dạng duy nhất mà ở đó hình học Hilbert không chỉ 'giống hyperbolic' mà thực sự là hyperbolic.

Chứng minh

Dọc theo một đường kính. Lấy $x=0$ và $y=(r,0,\dots,0)$ với $0<r<1$ . Đường thẳng qua chúng cắt $\partial\mathbb{B}$ tại $a=(-1,0,\dots,0)$ và $b=(1,0,\dots,0)$ , nên $|ay|=1+r$ , $|ax|=1$ , $|bx|=1$ , $|by|=1-r$ , cho $d_{\mathbb{B}}(0,y)=\frac12\ln\frac{1+r}{1-r}=\operatorname{artanh}(r)$ . Điều này khớp chính xác với công thức chuẩn cho khoảng cách hyperbolic từ tâm tới một điểm ở bán kính Euclid $r$ trong mô hình Beltrami–Klein có độ cong $-1$ .

Ngoài một đường kính. Với $x,y\in\mathbb{B}$ bất kỳ, chọn một phép quay $R\in O(n)$ (một đẳng cự của hình cầu tròn cố định $0$ ) đưa đường thẳng qua $x,y$ về một trục tọa độ; vì $R$ bảo toàn $\mathbb{B}$ và đưa bốn điểm $a,x,y,b$ tới một bộ bốn khác có cùng tỉ số kép, nên $d_{\mathbb{B}}(x,y)=d_{\mathbb{B}}(Rx,Ry)$ , quy về trường hợp đường kính đã tính ở trên sau khi cũng tịnh tiến một điểm về $0$ nhờ một đẳng cự hyperbolic của $\mathbb{B}$ (một phép biến đổi Möbius bảo toàn $\mathbb{B}$ , phép này cũng bảo toàn tỉ số kép). Vì công thức thu được theo cách này chính xác là công thức khoảng cách Beltrami–Klein, nên $(\mathbb{B},d_{\mathbb{B}})$ đẳng cự với không gian hyperbolic $n$ -chiều.

Ellipsoid tổng quát. Cho $T:\mathbb{R}^n\to\mathbb{R}^n$ là một ánh xạ tuyến tính (hoặc affine) khả nghịch với $T(\mathbb{B})=E$ . Một ánh xạ affine là một phép biến đổi xạ ảnh của $\mathbb{RP}^n$ giữ nguyên siêu phẳng ở vô cực, và tỉ số kép của các điểm thẳng hàng bất biến qua mọi phép biến đổi xạ ảnh; vì $T$ đưa đường thẳng qua $x,y\in\mathbb{B}$ tới đường thẳng qua $Tx,Ty\in E$ , và đưa cặp biên $a,b$ tới cặp biên $Ta,Tb$ của $E$ , nên nó đưa bộ bốn xác định tới bộ bốn xác định, do đó $[a,x,y,b]=[Ta,Tx,Ty,Tb]$ và vì vậy $d_E(Tx,Ty)=d_{\mathbb{B}}(x,y)$ với mọi $x,y$ . Vậy $T:(\mathbb{B},d_{\mathbb{B}})\to(E,d_E)$ là một đẳng cự, nên $(E,d_E)$ lại là không gian hyperbolic $n$ -chiều.

Ví dụ: Bất biến affine: cùng một khoảng cách, được chuyển sang hình elip

Cho $E=\{x_1^2/4+x_2^2/1.44<1\}$ là hình elip có bán trục $a=2$ , $b=1.2$ , ảnh của hình tròn đơn vị $\mathbb{B}$ qua ánh xạ tuyến tính $T(x_1,x_2)=(2x_1,1.2x_2)$ . Dùng phép tính trên hình tròn từ phần trực giác ( $x=(0,0)$ , $y=(0.6,0)$ , cho $d_{\mathbb{B}}(x,y)=\ln 2$ ), hãy tính $d_E(Tx,Ty)$ trực tiếp từ định nghĩa trên $E$ , và đối chiếu với định lý 'Trường hợp elip chính là mô hình Klein của hình học hyperbolic'.

Lời giải

$T$ đưa $x=(0,0)$ tới $x'=(0,0)$ và $y=(0.6,0)$ tới $y'=(1.2,0)$ . Đường thẳng nằm ngang qua $x',y'$ cắt $\partial E$ tại nơi $x_1^2/4=1$ , tức tại $a'=(-2,0)$ và $b'=(2,0)$ . Dọc theo đường thẳng đó, $|a'y'|=1.2+2=3.2$ , $|b'x'|=2-0=2$ , $|a'x'|=0-(-2)=2$ , $|b'y'|=2-1.2=0.8$ , nên $[a',x',y',b']=\frac{3.2\times 2}{2\times 0.8}=\frac{6.4}{1.6}=4$ , cho $d_E(x',y')=\frac12\ln 4=\ln 2$ . Đây đúng bằng $d_{\mathbb{B}}(x,y)=\ln 2$ , xác nhận khẳng định của định lý rằng ánh xạ tuyến tính $T$ là một đẳng cự từ $(\mathbb{B},d_{\mathbb{B}})$ lên $(E,d_E)$ : thực ra không cần tính toán gì mới, vì $T$ là affine và tỉ số kép không hề để ý tới các phép tham số hóa lại affine của đường thẳng.

Nâng caoVượt ra ngoài hình elip: bài toán thứ tư của Hilbert và hình học Finsler

Bức thư năm 1895 của Hilbert gửi Klein không phải là một điều tò mò đơn lẻ: nó nuôi dưỡng trực tiếp Bài toán IV trong danh sách 23 bài toán nổi tiếng của ông trình bày tại Đại hội Toán học Quốc tế năm 1900 ở Paris, yêu cầu đặc trưng hóa mọi metric trên một miền của không gian xạ ảnh thực mà các đường trắc địa của nó chính là các đoạn thẳng thông thường. Theo định lý 'Khoảng cách Hilbert là một metric đúng nghĩa, với các đoạn thẳng là đường trắc địa' ở trên, mọi hình học Hilbert xây từ một miền lồi $\Omega$ tự động là một ví dụ. Georg Hamel giải trường hợp trơn ('chính quy') năm 1901, cho thấy mọi metric như vậy đủ trơn thì cục bộ là một metric Minkowski (bất biến tịnh tiến, sinh bởi chuẩn); bài toán không kèm giả thiết trơn được giải quyết phần lớn nhờ cách tiếp cận hình học tích phân của Herbert Busemann — biểu diễn các metric hợp lệ bằng các độ đo trên không gian các siêu phẳng, theo tinh thần công thức Crofton — và lời giải tổng quát năm 1973 của Aleksei Pogorelov dựa trên đó, dù trường hợp hai chiều vẫn tiếp tục thu hút những cải tiến về sau. Một sự kiện duy nhất chi phối chính xác một hình học Hilbert $(\Omega,d_\Omega)$ có thể 'cong' đến mức nào: $d_\Omega$ sinh ra từ một metric Riemann đúng nghĩa có độ cong không đổi $-1$ chính xác khi $\Omega$ là một ellipsoid (định lý ở trên); với mọi $\Omega$ lồi bị chặn khác, $d_\Omega$ vẫn là một metric hoàn toàn tốt với đường trắc địa là đoạn thẳng, nhưng nó sinh ra từ một cấu trúc Finsler phi Riemann — 'hình cầu đơn vị' các hướng tại mỗi điểm là một bản sao được co giãn của chính $\Omega$ chứ không phải một ellipsoid tròn, nên độ dài phụ thuộc vào hướng theo cách mà không metric Riemann nào tái tạo được. Ở mức vi phân, nếu $t_+(x,v)$ và $t_-(x,v)$ ký hiệu quãng đường có thể đi từ $x\in\Omega$ theo $+v$ và $-v$ trước khi ra khỏi $\Omega$ , thì khoảng cách Hilbert được sinh bởi chuẩn Finsler dưới đây. Khi $\Omega$ đối xứng tâm ( $\Omega=-\Omega$ , chẳng hạn một hình vuông hay một lục giác đều có tâm ở gốc), cấu trúc Finsler này trở nên bất biến tịnh tiến và, gần tâm, quy về hình học của một không gian vectơ định chuẩn — một họ cổ điển thứ hai gồm các miền lồi đối xứng, bên cạnh các ellipsoid, chỉ thực sự là Riemann khi chuẩn đó tình cờ là chuẩn Euclid.

F_\Omega(x,v) = \frac12\,\|v\|\left(\frac{1}{t_+(x,v)}+\frac{1}{t_-(x,v)}\right)

Lỗi hay gặp. Ba lỗi dễ mắc trong hình học Hilbert. (1) Cho rằng mọi hình học Hilbert 'là' hình học hyperbolic — điều đó chỉ đúng chính xác khi

\Omega

là một ellipsoid; với một hình vuông hay một tam giác,

d_\Omega

vẫn là một metric hoàn toàn tốt với đường trắc địa là đoạn thẳng, nhưng nó là Finsler chứ không phải Riemann, và hình học của nó thực sự khác với không gian hyperbolic độ cong không đổi. (2) Quên thừa số

\frac12

trong

d_\Omega(x,y)=\frac12\ln[a,x,y,b]

, hoặc quên rằng bốn điểm phải được lấy theo đúng thứ tự

a,x,y,b

trên đường thẳng — đảo thứ tự chúng sẽ nghịch đảo tỉ số kép và đổi dấu logarit. (3) Nhầm lẫn metric Hilbert với khối xây dựng phi đối xứng của nó, metric Funk

F_\Omega(x,y)=\ln\frac{|bx|}{|by|}

(chỉ dùng điểm biên xa

b

ở phía sau

y

): metric Funk đã có đường trắc địa là đoạn thẳng nhưng không đối xứng (

F_\Omega(x,y)\ne F_\Omega(y,x)

nói chung), và metric Hilbert chỉ thu được sau khi đối xứng hóa rõ ràng,

d_\Omega(x,y)=\frac12(F_\Omega(x,y)+F_\Omega(y,x))

Nâng caoCầu nối đi tiếp: các cấu trúc xạ ảnh lồi và giới hạn của chúng

Khi một đa tạp compact $M$ được biểu diễn dưới dạng $\Omega/\Gamma$ với $\Omega\subset\mathbb{RP}^n$ là một miền lồi thực sự và $\Gamma$ là một nhóm rời rạc các phép biến đổi xạ ảnh tác động tự do và compact thương lên $\Omega$ , nó mang một cấu trúc xạ ảnh lồi, và metric Hilbert $d_\Omega$ hạ xuống thành một metric kiểu-Riemann đúng nghĩa (Finsler, nói chung phi Riemann) trên chính $M$ . Việc nghiên cứu các cấu trúc như vậy biến dạng ra sao — độ cong, dòng trắc địa, không gian moduli của chúng — kéo theo các công cụ của hình học vi phân trơn (bó Higgs, ánh xạ điều hòa, liên thông) dù metric nền chỉ là Finsler; đây là một con đường từ hình học Hilbert đi tới bối cảnh rộng hơn của hình học vi phân trên đa tạp. Theo hướng ngược lại, để một miền lồi thực sự $\Omega_t$ suy biến — biên của nó phẳng dần thành một khối đa diện khi tham số $t$ tiến tới một cực trị — khiến metric Hilbert ngày càng mang tính đa diện: khoảng cách trở nên bị chi phối bởi việc đường trắc địa chạy gần mặt nào nhất của khối đa diện giới hạn, theo kiểu 'max/min của các hàm tuyến tính' gợi nhớ, như một phép loại suy chứ không phải một đồng nhất thức theo nghĩa đen, tới cách hình học nhiệt đới thay thế các đa tạp đại số cong bằng các phức đa diện tuyến tính từng khúc dưới phép suy biến logarit. Cả hai hướng đều quan trọng cho các chương sau của thư viện này: hướng hình học vi phân đi tới lý thuyết Teichmüller bậc cao và biểu diễn Anosov, và hướng suy biến, tuyến tính từng khúc đi tới hình học nhiệt đới.

Ghi chú lịch sử

Năm 1871, Felix Klein đã chỉ ra rằng công thức khoảng cách xạ ảnh của Arthur Cayley, áp dụng cho phần trong của một đường conic, cho ra một mô hình của hình học hyperbolic mà trong đó các đường trắc địa là các đường thẳng — mô hình Klein (hay Cayley–Klein). Trong một bức thư ngắn năm 1895 gửi Klein, được công bố cùng năm trên Mathematische Annalen, David Hilbert đặt câu hỏi điều gì xảy ra nếu đường conic được thay bằng một miền lồi bị chặn bất kỳ: ông chỉ ra rằng cùng công thức tỉ số kép ấy vẫn cho ra một metric với đường trắc địa là đoạn thẳng, tổng quát hóa cấu trúc của Klein vượt xa các đường conic lần đầu tiên. Bức thư này nuôi dưỡng trực tiếp Bài toán IV trong 23 bài toán mà Hilbert đặt ra tại Đại hội Toán học Quốc tế năm 1900, một phần của cùng vòng tư tưởng đã định hình chương trình rộng lớn hơn của ông về nền tảng của hình học. Đáng để đối chiếu con đường xạ ảnh của Hilbert với các mô hình bảo giác của chính Henri Poincaré cho mặt phẳng hyperbolic (nửa mặt phẳng trên và hình tròn mở với metric Poincaré, được ông khám phá độc lập từ đầu những năm 1880): các mô hình của Poincaré bảo toàn góc nhưng uốn các đường trắc địa thành cung tròn, trong khi mô hình của Klein và Hilbert bảo toàn đường thẳng nhưng làm méo góc — hai bức tranh trung thực thực sự khác nhau của cùng một hình học hyperbolic. Bản thân hình học Hilbert khá im ắng suốt nhiều thập kỷ sau khi Hamel, Busemann và Pogorelov giải quyết xong bài toán thứ tư của Hilbert, trước khi trải qua một cuộc hồi sinh đáng kể từ những năm 2000 trở đi, khi chuỗi bài báo của Yves Benoist về 'convexes divisibles' (các tập lồi khả phân) cho thấy các hình học Hilbert không phải ellipsoid có một nhóm đối xứng compact thương phong phú và kỳ lạ hơn nhiều so với những gì người ta từng nghĩ, kết nối lại chủ đề này với lý thuyết nhóm hình học và lý thuyết các nhóm con rời rạc của nhóm Lie.

David Hilbert Henri Poincaré

Nghiên cứuCác miền lồi khả phân và tính cứng bậc cao

Hiện trạng nghiên cứu tính đến năm 2026

Hiện trạng nghiên cứu (tính đến năm 2026). Một miền lồi thực sự $\Omega\subset\mathbb{RP}^n$ được gọi là khả phân nếu có một nhóm rời rạc $\Gamma$ các phép biến đổi xạ ảnh tác động tự do và compact thương lên nó, sao cho $\Omega/\Gamma$ là một đa tạp đóng mang một cấu trúc xạ ảnh lồi. Khi $\Omega$ là một ellipsoid, điều này cho lại các đa tạp hyperbolic đóng cổ điển; công trình nền tảng của Yves Benoist trong những năm 2000 ('Convexes divisibles I–IV') đã xây dựng những miền lồi thực sự khả phân đầu tiên không phải ellipsoid ở chiều $\ge 3$ , và chỉ ra một phép phân đôi về tính cứng — hoặc $\Gamma$ trù mật Zariski trong $\mathrm{PGL}(n+1,\mathbb{R})$ , hoặc $\Omega$ tách thành một tích hoặc một nón đối xứng. Hai câu hỏi vẫn thực sự còn mở: một phân loại đầy đủ những miền lồi thực sự nào là khả phân ở một chiều cho trước vẫn chưa được biết ngoài các chiều thấp, và độ chính quy tinh tế của biên $\partial\Omega$ của các miền lồi thực sự khả phân kỳ lạ (không đối xứng) — được biết là không phải $C^1$ ngoài một tập ngoại lệ nhỏ trong trường hợp tổng quát — chỉ mới được hiểu một phần. Kể từ khoảng năm 2015, các kỹ thuật từ hình học Hilbert đã trở thành trung tâm của lý thuyết đang phát triển nhanh về biểu diễn Anosov và lý thuyết Teichmüller bậc cao, nghiên cứu các biểu diễn rời rạc, có tính hình học tốt của các nhóm mặt (và các nhóm hyperbolic tổng quát hơn) vào các nhóm Lie hạng cao; các cấu trúc xạ ảnh lồi trên mặt (hình học Hilbert với $\Gamma$ là một nhóm mặt) cho một số ví dụ nền tảng, thông qua việc Choi–Goldman đồng nhất thành phần Hitchin cho $\mathrm{PGL}(3,\mathbb{R})$ với không gian các cấu trúc như vậy. Các chương trình nghiên cứu gặp gỡ năm 2025 (tại ICTS Bengaluru và IHP Paris, cùng các địa điểm khác) đã đẩy lý thuyết đi xa hơn: hướng tới các biểu diễn Anosov vào các nhóm phi Archimedes và đặc số hỗn hợp, hướng tới thống kê phổ của các phổ độ dài Hilbert cho các bộ biểu diễn, và hướng tới các không gian Teichmüller 'bậc cao hơn nữa' xây từ các không gian hyperbolic giả Riemann $\mathbb{H}^{p,q}$ — tất cả vẫn có thể truy ngược về tỉ số kép năm 1895 của Hilbert.

Trong hình tròn đơn vị $\Omega=\{x^2+y^2<1\}$ , cho $x=(0,0)$ và $y=(0.6,0)$ . Đường thẳng qua chúng cắt đường tròn tại $a=(-1,0)$ và $b=(1,0)$ , cho $|ay|=1.6$ , $|bx|=1$ , $|ax|=1$ , $|by|=0.4$ . Hỏi $d_\Omega(x,y)$ bằng bao nhiêu?

Với hình dạng nào của miền lồi bị chặn $\Omega$ thì metric Hilbert $d_\Omega$ trùng khớp chính xác với mô hình Klein (Beltrami–Klein) cổ điển của hình học hyperbolic?

Phát biểu nào mô tả đúng metric Hilbert $d_\Omega$ trên một miền lồi bị chặn tổng quát $\Omega$ không phải là ellipsoid (chẳng hạn một hình vuông hay một tam giác)?

Bài toán thứ tư của Hilbert (1900) yêu cầu đặc trưng hóa mọi metric trên một miền của không gian xạ ảnh thực mà các đường trắc địa của nó chính là các ___ thông thường.

Tài liệu tham khảo

Athanase Papadopoulos, Marc Troyanov (eds.) (2014). Handbook of Hilbert Geometry · DOI:10.4171/147
Athanase Papadopoulos, Marc Troyanov (2014). From Funk to Hilbert Geometry · arXiv:1406.6983
David Hilbert (1895). Über die gerade Linie als kürzeste Verbindung zweier Punkte · DOI:10.1007/BF02096204