Translated from English to Vietnamese - www.onlinedoctranslator.

com

Các định lý cơ bản của Affine và Projective

Hình học được duyệt lại
arXiv: 1604.01762v1 [math.GM] ngày 6 tháng 4 năm 2016

Shiri Artstein-Avidan∗ và Boaz A. Slomka†

Trường Khoa học Toán học Khoa Toán học

Đại học Tel Aviv Đại học Michigan
Tel Aviv 69978 Israel Ann Arbor, MI 48109-1043 Hoa Kỳ
Email: shiri@post.tau.ac.il Email: bslomka@umich.edu

trừu tượng

Định lý cơ bản của hình học affine là một kết quả cổ điển và hữu ích. Đối với không
gian vectơ thực hữu hạn chiều, định lý phát biểu gần đúng rằng một phép tự ánh xạ
hai chiều ánh xạ các đường với các đường là affine. Trong ghi chú này, chúng tôi
chứng minh một số khái quát về kết quả này và về đối chiếu xạ ảnh cổ điển của nó.
Chúng tôi chỉ ra rằng dưới sự nới lỏng hình học đáng kể của các giả thuyết, cụ thể là
chỉ có các đường thẳng song song với một trong một tập hợp cố định có nhiều hướng
được ánh xạ tới các đường, ánh xạ không gian phải ở dạng đa thức rất hạn chế. Chúng
tôi cũng chứng minh rằng trong các điều kiện bổ sung nhẹ, ánh xạ buộc phải là phụ
gia liên kết hoặc liên kết tuyến tính. Ví dụ, chúng tôi chỉ ra rằng năm hướng trong
không gian thực ba chiều đủ để kết luận về tính cộng ái lực. Trong cài đặt xạ ảnh,
chúng tôi cho thấy rằngn +2 fixed điểm xạ ảnh trong thực tế n-không gian xạ ảnh
chiều, qua đó tất cả các đường xạ ảnh đi qua được ánh xạ thành các đường xạ ảnh, đủ
để kết luận xạ ảnh-tuyến tính.

Phân loại môn Toán năm 2010: 14R10, 51A05, 51A15.Từ khóa: định
lý cơ bản, đối chiếu, ánh xạ cộng affine.

∗Được hỗ trợ bởi khoản tài trợ ISF số 665/15

†Đồng tác giả

1
Nội dung
1 Giới thiệu 3
1.1 Tổng quat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Kí 3
1,2 hiệu. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Kêt quả chung 4
1,3 cuộc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.1 5
Thiết lập liên kết. . . . . . . . . . . . . . . . . . . . . . . . . . . . Thiết lập 5
1.3.2 phương án. . . . . . . . . . . . . . . . . . . . . . . . . . Các trường số 7
1.3.3 khác. . . . . . . . . . . . . . . . . . . . . . . . . số 8

2 Các định lý cơ bản của hình học affine số 8

2.1 Nhận xét giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sự kiện và kết số 8
2,2 quả sơ bộ. . . . . . . . . . . . . . . . . . . . . . . . Bản đồ từNS2 đến NSn 9
2.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . Các cụm từ trongn hướng - Một 10
2,4 dạng đa thức Thêm dấu (n + 1)NS hướng Trường hợp . . . .chiều
. . . . . thấp
... 15
2,5 ....................... 18
2,6 ........................... 23
2.6.1 Một định lý cơ bản trong mặt phẳng. . . . . . . . . . . . . . . Một 24
2.6.2 định lý cơ bản trongNS3 . . . . . . . . . . . . . . . . . . . 24
2,7 Một ví dụ cho một tập hợp đầy đủ các hướng dẫn trong NSn ............ 29

3 Các định lý cơ bản của hình học xạ ảnh 31

3.1 Quan điểm khách quan. . . . . . . . . . . . . . . . . . . . . . . . . . Sự kiện cơ bản 31
3.2 và kết quả sơ bộ .................... 32
3,3 Bằng chứng về các kết quả chính của phương pháp xạ ảnh ................... 37

4 Điều gì xảy ra theo giả định liên tục 38

5 Định lý cơ bản - Một tài khoản lịch sử 40

5.1 Các định lý cổ điển về afin và hình học xạ ảnh. . . . . . . . . . . Không có 40
5.2 tính khách quan. . . . . . . . . . . . . . . . . . . . . . . . . . . . Không bị 41
5.3 thương. . . . . . . . . . . . . . . . . . . . . . . . . . . . . Tính cộng đồng trong một 41
5,4 số hướng hạn chế ................. 42
5.5 Các định lý cơ bản về windows ................. 42
5,6 Các cấu trúc cơ bản chung. . . . . . . . . . . . . . . . . . . . . . . 43

Phụ lục Định lý cơ bản AA trong điều kiện Song song 44

2
1 Giới thiệu

1.1 Tổng quat

Các bản đồ cộng, tuyến tính và liên kết đóng một vai trò quan trọng trong toán học. Một trong
những định lý cơ bản liên quan đến bản đồ affine là cái gọi là "định lý cơ bản của hình học
affine" đại khái nói rằng nếu một bản đồ bijectiveNS : NSn → NSn ánh xạ bất kỳ dòng nào thành
một dòng, khi đó nó phải là một phép biến đổi affine, cụ thể là dạng NS 7 & rarr; Ax + b ở đâu
NS ∈ NSn là một số vectơ cố định và MỘT ∈ GLn(NS) là một bản đồ tuyến tính khả nghịch. Phần
đối chiếu xạ ảnh của nó, được gọi là "định lý cơ bản của hình học xạ ảnh", nói rằng một bản đồ
NS : RPn → RPn ánh xạ bất kỳ đường xạ ảnh nào thành một đường xạ ảnh, phải là một phép
biến đổi tuyến tính xạ ảnh.
Những tuyên bố này đã được khái quát và củng cố theo nhiều cách, và chúng tôi trình bày
các công thức chính xác khác nhau, cùng với các tài liệu tham khảo và nhận xét lịch sử khác,
trong Phần 5.
Mặc dù hầu hết các khái niệm tổng quát đều coi việc nới lỏng các điều kiện tính khách quan, thay thế
các giả định trên các dòng bằng cách bảo toàn độ thẳng hàng hoặc cho thấy rằng các bằng chứng có thể
được điều chỉnh để chúng hoạt động trên các trường khác NS, trong bài báo này, chúng tôi sẽ quan tâm
đến sự thư giãn hình học. Thay vì cho rằngtất cả các các dòng được ánh xạ tới các dòng, người ta có thể
coi một số họ dòng con và chỉ yêu cầu các dòng trong họ con này được ánh xạ vào (hoặc thành) dòng.

Chúng tôi chỉ ra rằng thực sự, trong cài đặt xạ ảnh, nó đủ để giả sử điều kiện dòng-dòng cho
một họ dòng con bao gồm tất cả các dòng đi qua một số cố định n +2điểm xạ ảnh chung. Điều này
được xây dựng trong Định lý1,7 phía dưới. Một trường hợp thú vị khác là khi các điểm không chung
chung, vàn + 1 trong số chúng nằm trên một siêu phẳng. Điều này tương ứng với một trường hợp
xuất hiện trong cài đặt liên kết, trong đó tất cả các đường thẳng song song trongn +1 ficác hướng
chung xed được ánh xạ thành các đường song song. Kết quả (affine) này đã được trưng bày trong [
4].
Tình hình chung trong hình học afin hơi khác, vì theo một nghĩa nào đó (sẽ giải thích bên
dưới) tính song song bị mất, và người ta có thể tìm thấy các ví dụ về các họ đường trong n + 1
chỉ đường trong NSn tất cả được ánh xạ tới các dòng theo cách phi tuyến tính, xem Ví dụ
2.1. Tuy nhiên, chúng tôi cho thấy điều đó đã có vớin các hướng chung trong đó các dòng đang
được ánh xạ tới các dòng, ánh xạ phải ở dạng đa thức rất hạn chế. Kết quả này được đưa ra trong
Định lý1,3. Trong định lý1,4 chúng tôi phân tích các hạn chế hơn nữa đối với các bản đồ như vậy,
phát sinh từ một bổ sung (n + 1)NS hướng mà các dòng được ánh xạ tới các dòng.

3
Do đó, chúng tôi mô tả các điều kiện cần thiết cùng với một số ví dụ trong đó các bản đồ
như vậy buộc phải là phụ gia liên kết. Đặc biệt, đối vớin = 3 chúng tôi chứng minh rằng
năm hướng, mỗi hướng độc lập tuyến tính, đủ để kết luận về tính cộng ái lực. Điều này
được đưa ra dưới dạng Định lý1,6. Các trường hợp thú vị bổ sung cho các kích thước
chung được đưa ra trong Phần2,6.
Chúng tôi nhận xét rằng không có giả định về tính liên tục trong bất kỳ kết quả chính nào của bài báo này.

Tuy nhiên, việc thêm một giả thiết như vậy cho phép người ta suy ra tính chất tuyến tính liên kết thay vì tính

chất cộng tuyến tính ái lực. Trong phần4 chúng ta thảo luận về điều này và các hệ quả thú vị khác của giả định

về tính liên tục.

Ví dụ, kết quả của chúng tôi có thể được áp dụng để đơn giản hóa việc chứng minh một số kết quả
đã biết, chẳng hạn như mô tả đặc trưng của Alexandrov về các phép biến đổi Lorentz [1], cũng như tổng
quát của Pfeffer [17] cho các kích thước cao hơn. Những ứng dụng này và các ứng dụng khác sẽ được
thảo luận ở những nơi khác.

1.2 Kí hiệu
Để chính thức nêu kết quả của chúng tôi, sẽ hữu ích khi giới thiệu một số ký hiệu. Trong suốt ghi
chú này, {e1, e2, ..., đn} sẽ biểu thị cơ sở trực chuẩn tiêu chuẩn của NSn, và v = e1 + · · · + en sẽ biểu thị
tổng vectơ của chúng. Bằng một dòng trongNSn chúng tôi có nghĩa là một bản dịch của không gian
con một chiều, vì vậy nó có thể được viết là a + NSNS ở đâu a, b ∈ NSn là các vectơ cố định, trong
trường hợp đó chúng ta sẽ nói rằng đường thẳng song song với NS hoặc theo hướng NS. Chúng tôi
biểu thị họ của tất cả các đường song song với một số vectơ của một tập hợp nhất định v1, ..., vk ∈
NSn quaL (v1, ..., vk). Cuối cùng, chúng tôi gọik vectơ NS-độc lập nếu mỗi NS trong số chúng độc lập
tuyến tính và khi một tập các vectơ là n-độc lập, chúng ta đôi khi nói rằng chúng ở vị trí chung, hoặc
chung chung.
Biểu thị xạ ảnh thực n-không gian bởi RPn. Chúng ta sẽ biểu thị một điểm xạ ảnhP ∈ RPn bằng một
dấu thanh. Thông thường, điểm p̄ sẽ tương ứng với một trong các thang máy của nóP ∈ NSn +1
theo phép chiếu tiêu chuẩn NSn +1 \ {0} → RPn. Đã cho các điểm xạ ảnhP1, P2, ..., Pk ∈ RPn,
biểu thị khoảng xạ ảnh của chúng bằng sp {p̄1, P2, ..., Pk}, nghĩa là, không gian con xạ ảnh
có chiều nhỏ nhất, chứa các điểm này. Đặc biệt, chúng tôi biểu thịn +1 điểm xạ ảnh trong
NSPn tương ứng với các dòng đi qua cơ sở tiêu chuẩn e1, ..., đn +1 của NSn +1 từ biệt1, ..., ēn +1.
Chúng tôi nói rằng các điểm xạ ảnh ā1, Một2, ..., MộtNS trongRPn ở vị trí chung (hoặc chung
chung) nếu mỗi k ≤ n +1 trong số (bất kỳ) thang máy tương ứng của họ Một1, Một2, ..., Một
NS ∈ NSn +1 độc lập tuyến tính.

4
1,3 Kêt quả chung cuộc

1.3.1 Cài đặt liên kết

Định lý sau đây đã được hiển thị (trong một thiết lập tổng quát hơn một chút về hình nón) trong [4]. Nó đại khái

nói rằng nếu các đường thẳng song song trongn + 1 các hướng chung được ánh xạ tới các đường song song,

sau đó ánh xạ là phép cộng affine.

Định lý 1.1. Cho phép NS ≥ n ≥ 2. Cho phép v1, v2, ..., vn, vn +1 ∈ NSn thì là ở n-độc lập và để NS :
NSn → NSNS là một tiêm bản đồ từng dòng trong L (v1, v2, ..., vn, vn +1) trên một dòng. Giả sử
rằng các đường thẳng song song trong họ này được ánh xạ vào các đường thẳng song song.
sau đóNS là phụ gia affine. Hơn nữa, tồn tại hai bộ vectơ độc lập tuyến tính,
u1,. . . , un ∈ NSn và w1,. . . , wn ∈ NSNSvà một chức năng bổ sung bijective NS : NS → NS
∑ n
với NS (1) = 1, như vậy cho mọi x = tôi =1 αtôiutôi,

∑n
F (x) - F (0) = f (αtôi) wtôi.
tôi =1

Hãy để chúng tôi nhận xét về giả thiết chính trong Định lý 1.1 và các kết quả khác sau đó.
Chúng tôi chủ yếu đối phó với các ánh xạ bị lỗi ánh xạ một số đườngtrên các dòng. Trong một số
trường hợp, chúng tôi kết luận rằng ánh xạ là phụ gia liên kết. Nếu các giả định về tính liên tục và
tính khách quan được thêm vào bất kỳ câu nào trong phần này, thì điều kiện là các dòng được ánh
xạtrên các dòng có thể được nới lỏng và thay thế với điều kiện là các dòng được ánh xạ vào trong
dòng (thường được gọi là "độ thẳng hàng"). Điều này là do Đề xuất
4.4. Hơn nữa, tính liên tục và tính cộng thêm ái tính ngụ ý tính tuyến tính ái lực.
Việc chứng minh định lý trên dựa vào định lý sau, trong đó phát biểu rằng nếu
điều kiện song song được giả thiết cho n các hướng tuyến tính độc lập thì ánh xạ
phải có dạng đường chéo.

Định lý 1.2. Cho phép NS ≥ n ≥ 2. Cho phép v1, v2, ..., vn ∈ NSn độc lập tuyến tính và đểNS : NSn →
NSNS là một tiêm bản đồ từng dòng trong L (v1, v2, ..., vn) lên một đường thẳng, và hơn thế nữa,
các đường thẳng song song trong họ này được ánh xạ thành các đường thẳng song song. Khi
đó, tồn tại hai bộ vectơ độc lập tuyến tính,u1,. . . , un ∈ NSn và w1,. . . , wn ∈ NSNS,
và các chức năng sinh học NS1, ..., NSn : NS → NS với NStôi (0) = 0, NStôi (1) = 1, như vậy cho mọi
∑ n
x= tôi =1 αtôiutôi,

∑n
F (x) - F (0) = NStôi(αtôi) wtôi.

tôi =1

Trên thực tế, người ta có thể chọn utôi = vtôi vì tôi = 1,. . . ,n.

5
Trong bài báo này, chúng tôi điều tra trường hợp trong đó điều kiện song song là không phải giả định. Tuy

nhiên, vì trong trường hợp xạ ảnh, chúng ta sẽ sử dụng Định lý1.1-1,2, chúng tôi cung cấp bằng chứng của họ

trong Phụ lục MỘT.

Kết quả đầu tiên của chúng tôi là khi tất cả các dòng trong n các hướng tuyến tính độc lập
được ánh xạ vào các đường, ánh xạ phải ở dạng đa thức rất hạn chế:

Định lý 1.3. Cho phép m, n ≥ 2. Cho phép v1,. . . , vn ∈ NSn độc lập tuyến tính và để
NS : NSn → NSNS là một tiêm bản đồ từng dòng trong L (v1, v2, ..., vn) trên một dòng. sau đó
∑ n
tồn tại một cơ sở u1,. . . , un trong NSn như vậy cho mọi x = tôi =1 αtôiutôi,

∑ ∏n
F (x) = uδ NS tôi
tôi (α
δ tôi) (1.1)
δ∈ {0,1}n tôi =1

ở đâu uδ ∈ NSNS, δ ∈ {0, 1}n và NS1, NS2, ..., NSn : NS → NS là khách quan với NStôi(0) = 0 vàNStôi(1)
= 1 vì tôi = 1, ..., n. Hơn thế nữa, NS ≥ n, và nếu m = n sau đó NS là một từ chối.

Thêm một hướng nữa ở vị trí chung, trong đó các đường được ánh xạ vào các đường,
dẫn đến các hạn chế đáng kể hơn nữa đối với dạng đa thức vốn đã được ngụ ý
theo Định lý 1,3. Để phát biểu định lý, chúng ta cần giới thiệu thêm ký hiệu;
∑n
cho bất kỳ δ ∈ {0, 1}n biểu thị | δ | = tôi =1 δtôi.

Định lý 1.4. Cho phép m, n ≥ 2. Cho phép v1,. . . vn +1 ∈ NSn ở vị trí chung. Cho phépNS :
NSn → NSNS là một ánh xạ không xác định ánh xạ từng dòng trong L (v1,. . . , vn +1) trên một dòng.
∑ n
Sau đó, tồn tại một cơ sở u1,. . . , un trong NSn như vậy cho mọi x = tôi =1 αtôiutôi,

∑ ∏n
F (x) = uδ NS tôi
tôi (α
δ tôi) (1.2)
δ∈ {0,1}n tôi =1

ở đâu NS1, NS2, ..., NSn : NS → NS là các phép toán phụ với NStôi(1) = 1 vì tôi = 1, ..., n, vàuδ ∈
NSNS thỏa mãn các điều kiện sau:

• uδ = 0 cho tất cả δ với | δ | ≥ n2 +2, và

• cho mỗi 2 ≤ k < n +22 và mọi thứ 0 ≤ l ≤ k - 2 chỉ số 1 ≤ tôi1 < · · · < tôil ≤ n,
∑
uδ = 0.
| δ | = k,
δtôi1 = ··· = δtôil =1

6
hơn thế nữa NS ≥ n, và nếu m = n sau đó NS là một từ chối. Ngược lại, bất kỳ ánh xạ nàoNS của
dạng như ở bên tay phải của (1,2), thỏa mãn các điều kiện đã cho trên
∑n
hệ số uδ, lấy từng dòng trong L (e1, ..., đn, v), ở đâu v = tôi =1 etôi, trên một dòng.

Nhận xét 1.5. Điều cơ bảnu1,. . . , un xuất hiện trong phát biểu của Định lý 1,4 Là
∑
một trong những thỏa mãn utôi = λtôivtôi, ở đâu λtôi ∈ NS mà utôi = vn +1. Tương tự, cơ sở
xuất hiện trong Định lý 1,2 hoặc trong Định lý 1,3 chỉ đơn giản là utôi = vtôi cho mỗi tôi.

Định lý 1,4 nhạy bén với ý nghĩa rằng người ta có thể xây dựng một đa thức sai
⌈⌉
bản đồ của mức 2độ n−1 thỏa mãn các giả thiết của định lý. Đặc biệt,
⌈⌉
ràng buộc
2
n về bậc của dạng đa thức đã cho là tối ưu cho các kích thước chẵn

n. Thực tế này được giải thích trong Ví dụ 2,11.

Định lý 1,4 có thể được sử dụng để rút ra các khái quát khác nhau của định lý cơ bản cổ điển
của hình học affine, trong đó việc bảo toàn độ thẳng hàng chỉ được giả định cho một số hướng hữu
hạn của đường thẳng. Đối với trường hợp ba chiều, chúng tôi chứng minh sự tổng quát hóa mạnh
mẽ đáng ngạc nhiên sau đây.

Định lý 1.6. Cho phép v1, v2,. . . , v5 ∈ NS3 thì là ở 3-sống độc lập. Cho phépNS : NS3 → NS3 là một ánh
xạ không xác định ánh xạ từng dòng trong L (v1,. . . , v5) trên một dòng. sau đóNS là affine-
chất phụ gia. Hơn nữa, tồn tại một cơ sởu1, u2, u3 ∈ NS3, một cơ sở w1, w2, w3 ∈ NS3, và
∑ 3
tiểu sử phụ gia NS1, NS2, NS3 : NS → NS với NStôi (1) = 1, như vậy cho mọi x = tôi =1 αtôiutôi,

∑3
F (x) - F (0) = NStôi (αtôi) wtôi.
tôi =1

1.3.2 Thiết lập phương án

Hãy để chúng tôi phát biểu hai phiên bản mới cho định lý cơ bản của hình học xạ ảnh.
Trong cả hai định lý, các đường xạ ảnh đi quan +2 các điểm khác nhau được giả định là
ánh xạ vào các đường. Trong định lý thứ nhất, tất cả các điểm được cho là ở vị trí chung:

Định lý 1.7. Cho phép n ≥ 2. Hãy để p̄1, ..., Pn, Pn +1 ∈ RP n chung chung và để p̄n +2 ∈ RPn thì là ở
một điểm xạ ảnh thỏa mãn p̄n +2 6∈ sp {p̄1, ..., Pn} và cả p̄n +2 6 = p̄n +1. Cho phépNS : RPn →RPn là
một ánh xạ không xác định ánh xạ bất kỳ đường xạ ảnh nào có chứa một trong các điểmP1, ...,
Pn +2 lên một đường xạ ảnh. sau đóNS là một ánh xạ xạ ảnh-tuyến tính.

Trong định lý thứ hai, n + 1 các điểm được giả định là chứa trong một không gian con xạ
ảnh của đồng thứ nguyên 1, nơi (n + 2)NS hướng nằm bên ngoài không gian con:

7
Định lý 1.8. Cho phép n ≥ 2. Hãy để H̄ ⊂ RPn là một không gian con xạ ảnh của đồng chiều 1, và để p̄
1, P2..., Pn +1 ∈ NS ¯ chung chung trong H̄. Hãy để p̄n +2 ∈ NSPn \ NS ¯. Cho phép NS : RPn → RPn hạt đậu

ánh xạ tổn thương ánh xạ bất kỳ đường xạ ảnh nào có chứa một trong các điểm p̄1, ..., Pn +2
lên một đường xạ ảnh. sau đóNS là một ánh xạ xạ ảnh-tuyến tính.

Như trong cài đặt affine, nếu giả định về tính liên tục được thêm vào Định lý 1,7-1,8, cùng
với giả định rằng ánh xạ là xạ ảnh, giả định rằng các đường xạ ảnh được ánh xạ trên các dòng
xạ ảnh có thể được thay thế bằng một tính thẳng hàng giả thiết. Điều này là do Đề xuất4,5.
Hơn nữa, nếu giả thiết về tính liên tục được thêm vào Định lý1,8, người ta có thể dễ dàng xác
minh rằng giả định trên các dòng thông qua p̄n +2 có thể bị loại bỏ (bằng một điều chỉnh nhỏ về
bằng chứng của nó). Tuy nhiên, trong Định lý1,7, điều này là không thể.

1.3.3 Các trường số khác

Bản chất đại số của các bằng chứng của chúng tôi trong bài báo này ngụ ý rằng nhiều kết quả của chúng
tôi giữ cho các trường khác ngoài NS. Ví dụ: kết quả giữ cho ZP, với P 6 = 2. Tuy nhiên, để đơn giản hóa
giải trình, chúng tôi chỉ tập trung vào NS, giúp lập luận của chúng tôi rõ ràng hơn đối với người đọc.

Sự nhìn nhận
Chúng tôi muốn cảm ơn GS Leonid Polterovitch về những nhận xét hữu ích.

2 Các định lý cơ bản của hình học affine

2.1 Nhận xét giới thiệu

Chúng ta hãy bắt đầu bằng một ví dụ cho thấy rằng sự tổng quát hóa đơn giản nhất, hoạt
động trong cài đặt xạ ảnh, không giữ trong cài đặt liên kết. Cụ thể, chúng ta có thể tìm thấy
một bản đồ (thực ra là một phép tự động đa thức)P : NS3 → NS3 ánh xạ tất cả các đường theo
bốn hướng, mỗi ba hướng là độc lập tuyến tính, thành các đường, nhưng là phi tuyến tính.

Ví dụ 2.1. Định nghĩa P : NS3 → NS3 qua

P (x1, NS2, NS3) = (NS1 + NS3(NS1 - NS2), NS2 + NS3(NS1 - NS2), NS3).

số 8
Sau đó, rõ ràng {P (w + tetôi)}NS∈NS là một dòng cho bất kỳ tôi ∈ {1, 2, 3} và w ∈ NS3. Người ta cũng có
thể kiểm tra rằng {P (v + t (e1 + e2 - e3))}NS∈NS song song với (1 + w2 - w1, 1 + w2 - w1, -1).

Phần 2 được tổ chức như sau. Trong phần2,2 chúng tôi thu thập một số sự kiện hữu ích cơ bản.
Trong phần2.3 chúng tôi xem xét máy bay NS2và xem những gì phải là hình thức của một ánh xạ
NS : NS2 → NSNS ánh xạ tất cả các đường theo hai hướng lên các đường trong NSn vì n ≥ 2. Điều này
được đưa ra dưới dạng Định lý 2,7 phía dưới. Sau đó, trong phần2,4, chúng tôi sử dụng điều này
làm cơ sở quy nạp cho dạng chung của một ánh xạ NS : NSn → NSNS ánh xạ tất cả các dòng trong
một gia đìnhL (v1,. . . , vn) lên dòng. Dạng này được đưa ra trong Định lý1,3 trong phần giới thiệu.
Trong phần2,5, chúng tôi thấy cách bổ sung (n + 1)NS hướng, mà các đường được ánh xạ vào các
đường, hạn chế hơn nữa dạng đa thức của ánh xạ, thu được Định lý
1,4. Trong phần2,6 chúng ta thảo luận về một số trường hợp trong đó tính thẳng hàng của các
đường trong một số hướng hữu hạn đủ để suy ra tính cộng affine, cụ thể là Định lý 1,6.

2.2 Sự kiện và kết quả sơ bộ

Chúng tôi sẽ sử dụng ký hiệu sp {v1,. . . , vk} để biểu thị khoảng tuyến tính của k vectơ {vtôi}k tôi =1,

vì vậy một dòng a + NSNS cũng có thể được viết là a + sp {NS}.

Cho phép NS : NSn → NSNS là một ánh xạ không xác định ánh xạ các đường trong một họ nhất địnhL (
v1, ..., vk) lên dòng. Chúng tôi sẽ sử dụng các dữ kiện hiển nhiên đơn giản sau đây, liên quan đến một ánh
xạ như vậy, mà chúng tôi thu thập ở đây để tham khảo trong tương lai:

Sự thật 2.2. Bản dịch của NS bởi bất kỳ vectơ nào v0 ∈ NSNS, F (x) + v0 cũng là một phần chèn ánh xạ mỗi
dòng trong L (v1, ..., vk) trên một dòng. Chúng tôi thường sẽ sử dụng thuộc tính này để giả định mà
không làm mất đi tính tổng quát rằngNS(0) = 0.

Sự thật 2.3. Thành phần của NS với các phép biến đổi tuyến tính có thể đảo ngược NS ∈ GLn(NS) và
MỘT ∈ GLNS(NS) cũng không gây hại và đáp ứng thuộc tính line-on-line cho một số dòng nhất định:
MỘT ◦ NS ánh xạ từng dòng trong L (v1, ..., vk) trên một dòng, trong khi NS ◦ NS ánh xạ từng dòng
trong L (NS−1v1, NS−1v2, ..., NS−1vk) trên một dòng. Hơn nữa, đối với hai bộn + 1 điểm ở các vị trí
chung, v1,. . . , vn +1 ∈ NSn và u1,. . . un +1 ∈ NSn, tồn tại một phép biến đổi tuyến tính có thể đảo ngược
NS ∈ GLn (NS) như vậy mà NS ◦ NS ánh xạ từng dòng trong L (u1,. . . , un +1)trên một dòng (đây cũng
là một hệ quả dễ hiểu của Định lý 3.1 phía dưới). Chúng ta thường sử dụng thực tế này để giả định
rằng chúng ta đang làm việc với một số họ đường chuẩn mà không mất đi tính tổng quát.

Sự thật 2.4. Hình ảnh của một bản đồ bị thương NS : NS2 → NSNS, ánh xạ từng dòng trong
một họ nhất định L (v1, v2) (ở đâu v1, v2 độc lập tuyến tính) luôn được chứa trong

9
một không gian con affine ba chiều của NSNS, và do đó bằng cách sáng tác NS với một phép biến đổi tuyến tính

thích hợp, chúng tôi có thể xác định không gian con này với NS3. Nói chung, đối với bất kỳn, vàNS : NSn → NSNS (

thương tích lập bản đồ các đường thẳng cho một gia đình nhất định L (v1, ..., vk)), người ta có thể cho thấy rằng

hình ảnh của NS được chứa trong một không gian con affine của thứ nguyên 2n−1.

Sự thật 2.5. Từ bất kỳ điểm nào trong hình ảnh của NS , ở đó phát ra chính xác k dòng là hình
ảnh của các dòng trong L (v1, ..., vk) Dưới NS , chỉ cắt nhau tại điểm đó.

2.3 Bản đồ từ NS2 đến NSn

Người ta có thể xác minh rằng một phép chiếu ánh xạ các đường thẳng lên các đường, theo mọi hướng,
cũng lập bản đồ các mặt phẳng lên các mặt phẳng. Thực tế này ngụ ý rằng định lý cơ bản cổ điển của
hình học affine về cơ bản là một khẳng định hai chiều (vì tuyến tính cũng là một khái niệm hai chiều). Vì
trong mặt phẳng bất kỳ hai đường thẳng không giao nhau nào cũng phải song song, các đường đối
chiếu từ mặt phẳng đến chính nó có dạng “đường chéo” rất hạn chế, ngay cả khi điều kiện đường thẳng
chỉ được giả định cho tất cả các đường theo hai hướng được chọn trước , như bổ đề sau đây gợi ý. Nhớ
lại điều đóL (e1, e2) biểu thị họ của tất cả các dòng trong các hướng e1 hoặce2.

Bổ đề 2.6. Cho phép NS : NS2 → NS2 là một tiêm bản đồ từng dòng trong L (e1, e2) trên
một dòng. sau đóNS có dạng sau

F (se1 + te2) - NS (0) = f (s) u1 + f (t) u2,

ở đâu u1, u2 ∈ NS2 độc lập tuyến tính và f, g: NS → NS là sự phân biệt vớiNS(0) = NS(
0) = 0, và NS(1) = NS(1) = 1.

Bằng chứng. Bằng cách dịch NS chúng tôi có thể cho rằng NS(0) = 0. Hơn nữa, bằng cách sáng tác
NS với một phép biến đổi tuyến tính từ bên trái, chúng tôi có thể giả định rằng F (e1) = e1 và F (e2) =
e2. Phép biến đổi tuyến tính này phải khả nghịch vìe1 và e2 không thể được ánh xạ bởi bản gốc NS
đối với các vectơ phụ thuộc tuyến tính, như (cùng với dòng lên dòng), điều này sẽ mâu thuẫn với
tính xác định của NS . Định nghĩa NS : NS → NS bởi mối quan hệ F (se1) = f (s) e1. Tương tự, xác định
NS : NS → NS qua F (te2) = g (t) e2. Rõ ràng, theo giả định của chúng tôi,NS và NScác phép toán có
thỏa mãn không NS(0) = NS(0) = 0 và NS(1) = NS(1) = 1.
Từ NS là bất thường và vì bất kỳ hai đường thẳng song song trong L (e1, e2) được ánh xạ vào hai
đường thẳng, chúng không được cắt nhau và do đó phải song song. Do đó, đối vớitôi = 1, 2 và cho mọi
dòng l trong L (etôi), F (l) lại ở trong L (etôi). Bây giờ, bất kỳ điểm nàoNS0e1 + NS0e2 là giao lộ

10
của những dòng NS0e1 + sp {e2} và sp {e1} + NS0e2 được ánh xạ tới f (s0) e1 + sp {e2}và để sp {e1}
+ g (t0) e2, tương ứng. Vì hình ảnh của chúng giao nhau tạiF (s0e1 + NS0e2), chúng tôi kết luận
rằng F (s0e1 + NS0e2) = f (s0) e1 + g (t0) e2, theo yêu cầu.

Nếu hai đường thẳng song song trong NS2 được ánh xạ tới các dòng bằng cách tiêm, khi đó
hình ảnh của chúng không giao nhau. Ở trên, như hình ảnh củaNS được chứa trong một mặt
phẳng, điều này có nghĩa là các hình ảnh là các đường thẳng song song. Nếu hình ảnh trongNSn với
n> 2, điều này không cần thiết nữa, và hình ảnh của các đường thẳng song song có thể bị lệch. Thật
vậy, người ta dễ dàng xây dựng các đối chiếu theo hai hướng, nhúng mặt phẳng vàoNSn với n> 2,
hình ảnh trong đó không chứa không tí nào cặp đường thẳng song song. (Tuy nhiên, hình ảnh này
được chứa trong không gian con affine ba chiều, xem Sự thật2,4). Tuy nhiên, hóa ra các ánh xạ như
vậy cũng có một dạng đơn giản cụ thể. Chúng tôi chứng minh định lý sau, được kết nối chặt chẽ với
một định lý đã biết về việc xác định các bề mặt bị trị đôi, xem Chú thích2,9.

Định lý 2.7. Cho phép n ≥ 2. Cho phép NS : NS2 → NSn là một ánh xạ không xác định ánh xạ từng dòng

trong L (e1, e2) trên một dòng. sau đóNS được đưa ra bởi

F (se1 + te2) - NS (0) = f (s) u1 + g (t) u2 + f (s) g (t) u3 (2.1)

ở đâu u1, u2 ∈ NSn độc lập tuyến tính, u3 ∈ NSn, và f, g: NS → NS là khách quan với
NS(0) = NS(0) = 0 và NS(1) = NS(1) = 1.

Bằng chứng. Một lần nữa, bằng cách dịch NS chúng tôi có thể cho rằng NS(0) = 0 ∈ NSn. Ngoài ra, bằng cách

xem xétMỘT−1 ◦ NS cho một tuyến tính khả nghịch MỘT chúng tôi có thể cho rằng hình ảnh của NS được chứa

trong sp {e1, e2, e3} mà chúng tôi xác định với NS3 (xem sự thật 2,4).

Nó sẽ hữu ích để biểu thị bằng LNS (etôi) = {F (l): l ∈ L (etôi)} dòng họ là hình ảnh của các dòng
trong L (etôi) Dưới NS . Lưu ý rằng đối với mỗi tôi đây là một họ các dòng không giao nhau mà sự kết
hợp là hình ảnh của NS . Trước tiên, hãy giả sử rằng tồn tại hai dòng khác nhau l1, l2 trong L (e1, e2)
điều đó NS bản đồ thành các đường thẳng song song. Vì không giao nhau nên cả hai đều thuộc về
một gia đìnhL (etôi), vì vậy giả sử mà không mất đi tính tổng quát rằng l1 và l2 đang ở L (e1). Sau đó,
bất kỳ dòng nào trongLNS (e2) phải giao nhau cả hai F (l1) và F (l2), và vì vậy tất cả chúng đều nằm
trên một mặt phẳng affine. TừLNS (e2) là hình ảnh của NS , theo sau nó được chứa trong một không
gian con affine hai chiều. Trong bổ đề2,6, nó đã được chỉ ra rằng trong trường hợp như vậy NScó
dạng (2.1) với u3 = 0.
Chúng ta chuyển sang trường hợp thứ hai, trong đó không có hai dòng LNS (e1, e2) là song song. Điều này

ngụ ý rằngF (e1 + e2) 6∈ sp {F (e1), F (e2)}, và vì vậy chúng tôi có thể chọn một vật có thể đảo ngược

11
Chuyển đổi tuyến tính NS ∈ GL3(NS) như vậy mà BF (e2) = e2 BF (e1) ∈ sp {e1}, vàBF (e1 +
e2) ∈ e2 + sp {e1 + e3}. sau đó

BF (sp {e1}) = sp {e1}, BF (sp {e2}) = sp {e2},

và
BF (e2 + sp {e1}) = e2 + sp {e1 + e3}.

Không mất tính tổng quát, chúng tôi giả định rằng NS bản thân nó thỏa mãn những điều trên.

Chọn bất kì Một 6 = 0, 1 trong NS. Như ae2 là trong hình ảnh của NS , chúng tôi có thể xem xét
dòngl ∈ LNS (e1) phát ra từ nó. Ký hiệu dòng tương ứng của nó,NS−1(l) ∈ L (e1), qua l′. Vì mọi điểm
trên đường thẳngl′ cắt một đường thẳng, song song với e2, kết nối một điểm trongsp {e1} và một
điểm trong e2 + sp {e1}, sau đó cũng (sau khi áp dụng NS ) bất kỳ điểm nào của l nằm trên một
đường nối một điểm trong sp {e1} và một điểm trong e2 + sp {e1 + e3}. Sự kết hợp của tất cả các
dòng như vậy bao gồm tất cảNS3 ngoại trừ hai mặt phẳng song song (không có hai đường thẳng
liên quan): XZ-máy bay và bản dịch của nó bởi e2. Thật vậy, các đường kết nốisp {e1} vàe2 + sp {e1 + e
3} bao gồm các điểm của biểu mẫu

λ (xe1) + (1 - λ) (anh em1 + e2 + anh em3), λ, x, y ∈ NS, (2.2)

và do đó không bao gồm các điểm của biểu mẫu (xe1 + ze3) với z 6 = 0 cũng không phải điểm của biểu
mẫu(xe1 + e2 + ze3) với z 6 = NS. Từ l là một dòng của biểu mẫu

{ae2 + t (a1e2 + Một2e2 + Một3e3): NS ∈ NS}

nó theo sau đó Một2 = 0, Một3 6 = 0 và Một1 6 = Một3, sao cho nó sẽ không cắt các mặt phẳng này cũng như

không song song với một trong các đường sp {e1}, sp {e1 + e3}.

Bằng cách sáng tác NS từ bên trái với phép biến đổi tuyến tính khả nghịch [theo tọa độ của
NS3 tương ứng với x = (x1, NS2, NS3)NS = NS1e1 + NS2e2 + NS3e3]

- Một -
-
1−Một
-Một1−a3 0 1−Một
Một3 Một1−a3-
- -
- -
A = -- 0 1 0 -
-
- -
- -
Một
0 0 Một3

chúng tôi có thể giả định mà không mất đi tính tổng quát rằng (Một1e1 + Một3e3) = (e1 + ae3) (như vẫn

12
MỘT(sp {e1}) = sp {e1}, Ae2 = e2, MỘT(sp {e1 + e3}) = sp {e1 + e3}, và A (a1e1 + Một3e3) =(e1 + ae3), và vì vậy tất
cả các giả định của chúng tôi cho đến nay vẫn được giữ nguyên). Hơn nữa, chúng tôi cũng có thể giả
định mà không mất đi tính tổng quát rằngFe1 = e1 bằng cách soạn thảo với một ma trận đường chéo bổ
sung của biểu mẫu
- -
α
- -
D=- 1 -
α

trong đó hệ số α ∈ NS được định nghĩa bởi F (e1) = α−1e1.

Tổng hợp những điều trên, chúng ta có NS(0) = 0, F (e1) = e1, F (e2) = e2, F (e2+ sp {e1
}) =e2 + sp {e1 + e3} và F (l) = ae2 + sp {e1 + ae3}. Hãy để chúng tôi kiểm tra dòng nào
thuộc vềLNS (e2). Vì mỗi một trong số chúng giao với ba đường nói trên và vì chúng ta
có
ae2 + t (e1 + ae3) = (1 - ăn1) + ăn1 + e2 + te3),

nó theo sau điều đó từ mọi điểm te1, phát ra dòng {te1 + s (e2 + te3)}NS∈NS trong LNS (e2). Nói
cách khác, hình ảnh của bản đồNS bao gồm các điểm của biểu mẫu

{te1 + se2 + tse3 : NS ∈ NS, NS ∈ NS}.

Có thể dễ dàng kiểm tra rằng từ mọi điểm trên bề mặt này có tạo ra chính xác hai
đường thẳng, đường thẳng {te1 + s (e2 + te3)}NS∈NS mà chúng tôi đã thấy ở LNS (e2), và
dòng{se2 + t (e1 + se3)}NS∈NS do đó phải thuộc về LNS (e1).
Từ NS bị thương và lập bản đồ các đường trong L (e1, e2) trên các dòng, có tồn tại các hàm
sinh học f, g: NS → NS thỏa mãn các phương trình F (xe1) = f (x) e1 và F (xe2) = g (x) e2
cho tất cả NS ∈ NS. Theo giả định của chúng tôi, chúng tôi có NS(0) = NS(0) = 0 và NS(1) = NS(1) = 1.

Chúng tôi kết luận rằng đối với bất kỳ NS0, NS0 ∈ NS, chúng tôi có cho tất cả NS ∈ NS

F (t0, NS) ∈ f (t0) e1 + sp {e2 + f (t0) e3},

và cho tất cả NS ∈ NS

F (t, s0) ∈ g (s0) e2 + sp {e1 + g (s0) e3}.

Vì giao điểm của hai đường bất kỳ trong L (e1, e2) được ánh xạ đến giao điểm của các hình ảnh của họ,
chúng tôi nhận được rằng

F (t0, NS0) = f (t0) e1 + g (s0) e2 + f (t0) g (s0) e3

13
theo yêu cầu.

Nhận xét 2.8. Như trong Bổ đề2,6, chúng tôi lưu ý rằng bằng cách lập luận tương tự, Định lý 2,7 giữ cho
bất kỳ lĩnh vực nào NS 6 = Z2. TrongZ2, lý do duy nhất mà bằng chứng không giữ được là chúng tôi không
thể chọn một phần tử Một 6 = 0, 1. Nói cách khác, việc chứng minh yêu cầu ít nhất ba đường thẳng song
song trong mỗi họ, trong trường hợp Z2 không tồn tại.

Nhận xét 2.9. Lưu ý rằng hình ảnh củaNS không khác gì một hình ảnh tuyến tính của
hyperbolic-paraboloid {(x, y, xy)NS : NS ∈ NS, y ∈ NS}. Về bề mặt, người ta biết rằng đối với
một hình ảnh tuyến tính, chỉ có hai bề mặt không phẳng tồn tại trong NS3 được “cai trị
kép”, có nghĩa là chúng có hai tham số khác nhau về cơ bản như một sự kết hợp rời rạc
của các dòng. Một trong những bề mặt này là hyperbolic-paraboloid và bề mặt thứ hai là
hyperboloid quay, có thể được tham số hóa, chẳng hạn như {cos (s) - t tội(NS), tội(s) + t cos
(NS)NS }. Trong khi hình ảnh của một NS thỏa mãn các điều kiện của Định lý 2,7 được tự
động xử lý kép, nói chung là không đúng, như ví dụ cuối cùng cho thấy, mọi bề mặt được
xử lý kép đều có thể được tham số hóa theo cách tạo ra các đường bất cứ khi nào một
trong các tham số được giữ không đổi.
Định lý 2,7 có thể được suy luận một cách tương đối đơn giản từ cái gọi là "xác định các bề mặt
được xử lý kép trong NS3”. Để có bằng chứng cho định lý này, hãy xem ví dụ [13]. Tuy nhiên, chúng
tôi đã chọn đưa ra bằng chứng trực tiếp ở trên để làm cho sự giải thích được khép kín. Chúng tôi
nhận xét rằng Alexandrov trong bằng chứng của mình về thực tế là các đẳng cấu duy nhất bảo
tồn cấu trúc hình nón ánh sáng là bất biến là affine, đã sử dụng đặc tính đã nói ở trên theo cách
tương tự như cách mà các tác giả đã chứng minh kết quả đẳng cấu hình nón trong [4].

Trong bối cảnh các bề mặt được cai trị gấp đôi, chẳng hạn, bạn nên hỏi liệuNS3 có
thể được tham số hóa theo cách phi tuyến tính để nó được "cai trị ba lần", (câu trả lời
là "có", chỉ cần lấy
- -
NS
- -
F (s, t, r) = - NS -
st - r

kéo dài tất cả NS3 về mặt sinh học). “Được cai trị ba lần” ở đây chỉ có thể có nghĩa là định nghĩa
hạn chế hơn, cụ thể là có một tham số hóa trong đó, cố định hai tham số bất kỳ, tham số thứ
ba tạo ra một dòng, vì rõ ràng có vô số tham số khác nhau củaNS3 như một sự kết hợp của các
dòng tồn tại.
Khi nói về n-bề mặt cai trị trong NSNS nói chung n, m, người ta cũng có thể sử dụng các định nghĩa ít
hạn chế hơn, một trong hai định nghĩa đó là n các dòng khác nhau (có thể chung chung) thông qua

14
mọi điểm trên bề mặt, hoặc về sự tồn tại của n về cơ bản các tham số hóa khác nhau của bề mặt như
một sự kết hợp của các đường. Theo hiểu biết tốt nhất của chúng tôi, các bề mặt như vậy không được
đặc trưng chon 6 = 2. Trong phần tiếp theo, chúng tôi chỉ ra rằng những "được tham số hóa
n-bề mặt được cai trị ", tức là, hình ảnh của sinh vật"L ({etôi}n tôi =1) -collineations ”của NSn vào trong NSNS,

phải có dạng đa thức rất hạn chế.

2.4 Các cụm từ trong n hướng - Một dạng đa thức

Trong phần này, chúng tôi chứng minh Định lý 1,3. Chúng tôi chỉ ra rằng dạng đặc biệt của
phép va chạm mặt phẳng đã được đưa ra trong Định lý2,7, chuyển sang các chiều cao hơn
bằng cảm ứng. Lưu ý rằng thực sự, dạng đã cho trong Định lý1,3 chính xác là dạng được đưa
ra trong Định lý 2,7 ở đâu u1 = u(1,0), u2 = u(0,1), u3 = u(1,1). Chúng tôi sẽ không cung cấp các điều
kiện đủ để đảm bảo bản đồ bị hư hại.

Chứng minh Định lý 1,3. Bằng cách sáng tác NS với phép biến đổi tuyến tính lấy mỗi etôi
đến vtôi chúng tôi có thể giả định mà không mất đi tính tổng quát rằng vtôi = etôi. Nó sẽ thuận tiện cho chúng tôi
∑
để sử dụng các tọa độ sau đây. Cụ thể,F (x1, NS2,. . . , NSn): = NS ( n tôi =1 NStôietôi). Các

bằng chứng đi qua cảm ứng trên n, trường hợp n = 2 đã được giải quyết trong Định lý 2,7. Chúng tôi cho
rằng khiếu nại của chúng tôi giữ nguyên đối với (n - 1) và chứng minh điều đó cho n. Giả thuyết quy nạp,
được áp dụng cho hàm của (n - 1) biến NS(·,. . . , ·,NSNS, ·,. . . , ·)với NSNS tọa độ cố định để bằng nhau NSNS
ngụ ý rằng

∑ ∏
F (x1, NS2, ..., NSn) = u (NS
δ NS)
δk
NS k, x (NS
NS k ). (2.3)
δ∈ {0,1}n k6 =NS
δj =0

Tiên nghiệm, các phép phân NS

tích NSk, x có thể phụ thuộc vào giá trị của NSNS, cũng như các hệ
số vectơuδ, bao gồm hệ số u0(NSNS) = F (xNSeNS) (ở đây 0 = (0,..., 0)).
Mục đích của chúng tôi trước tiên là thể hiện
NS rằng NSk, x không phụ thuộc vào NSNS, và sau đó để cho
thấy rằng có một sự phản đối khác NSNS : NS → NS, sao cho tất cả các hệ số uδ phụ thuộc một cách mạnh
mẽ vào NSNS(NSNS). Điều này sẽ hoàn thành bằng chứng.

Tương tự với (2.3), sửa một biến khác NStôi (tôi 6 = NS) chúng tôi có thể viết NS như

∑ ∏
δk
F (x1, NS2, ..., NSn) = vδ(NStôi) NS k, x (NS
tôi k ). (2,4)
δ∈ {0,1}n k6 =tôi
δi =0

Hãy để chúng tôi giới thiệu một số ký hiệu đơn giản hóa chỉ mục: let δNS ∈ {0, 1}n biểu thị vectơ

15
với giá trị 1 bên trong NSNS mục nhập và giá trị 0 trong tất cả các mục khác và cho tôi 6 = NS, cho phépδtôi, j = δ

tôi + δNS. Chứng tỏ

NStôi, j(a, b) = F (aeNS + thì là ởtôi).

Tin học F (xNSeNS) sử dụng hai đại diện (2.3) và (2,4) chúng tôi nhận được

v0(0) + vδNS (0)NSNS,0(NSNS) = u0(NSNS) (2,5)

và tương tự, máy tính F (xtôietôi) chúng tôi nhận được

u0(0) + uδtôi(0)NStôi,0(NStôi) = v0(NStôi). (2,6)

Cho phép P 6 = tôi, j là bất kỳ chỉ mục nào khác. Từ hai đại diện củaF (xPeP) chúng ta có

u0(0) + uδP(0)NSP,0(NSP) = v0(0) + vδP(0)NSP,0(NSP) (2,7)

do đó bằng cách thiết lập NSP = 1 và sử dụng nó u0(0) = v0(0) = NS(0, 0, ..., 0) chúng tôi nhận được vδP(0) =u
δP(0). Lưu ý rằng uδP(0) 6 = 0, nếu không thì F (xPeP) sẽ độc lập với NSP, điều này mâu thuẫn với tính bất
thường của NS (tương tự, vδP(0) 6 = 0). Sử dụng phương trình (2,7) một lần nữa (trừ đi NS(0) và hủy bỏ uδP
(0)) chúng tôi hiểu điều đó NSP,0(NSP) = NSP,0(NSP), giữ cho tất cả P 6 = tôi, j. Viết NSsố Pi(NSP, NStôi) trong
hai hình thức của chúng tôi, chúng tôi nhận được

NSsố Pi(NSP, NStôi) = u0(0) + uδtôi(0)NStôi,0(NStôi) + uδP(0)NSP,0(NSP) + uδtôi, p(0)NStôi,0(NStôi)NSP,0(NSP) (2,8)

và

NSsố Pi(NSP, NStôi) = v0(NStôi) +vδP(NStôi)NSp, x (NS

tôi P) =
u 0(0) +uδtôi(0)NStôi,0(NStôi) +vδP(NStôi)NSp, x (NS
tôi P) (2,9)
(2,6)

So sánh hai phương trình này cho kết quả

vδP(NStôi)NSp, xtôi
(NSP) = uδP(0)NSP,0(NSP) + uδtôi, p(0)NStôi,0(NStôi)NSP,0(NSP) (2.10)

và bằng cách cắm vào NSP = 1 chúng tôi nhận được

vδP(NStôi) = uδP(0) + uδtôi, p(0)NStôi,0(NStôi) (2.11)

và chúng tôi đã thấy rằng sự phụ thuộc của vδP(NStôi) trên NStôi là affine-tuyến tính trong NStôi,0(NStôi).

16
 Sắp xếp lại phương trình (2,10) chúng ta có

NSp, tôi
x (NSP) vδP(NStôi) = NSP,0(NSP) [uδP(0) + uδtôi, p(0)NStôi,0(NStôi)]

tôi P) = NSvà P,0(NSP)

và phương trình cắm (2,11) vào nó (nhớ lại rằng vδP(NStôi) 6 = 0) chúng tôi nhận được NSp, x (NS

đặc biệt, NSp, x độc lập với NStôi

tôi. Tương tự, chúng tôi nhận đượcNSvì thế NSP : = NSP,0 (NS
NSp,P)x =
p, x=NS = NS
NSp,P,0
x (NSP) và

tôiCho
NS mọi P 6 = tôi, j.
Rõ ràng là các chỉ số tôi, j không đặc biệt, vì vậy người ta có thể lặp lại các cân nhắc và
so sánh đại diện đầu tiên (đối với NSNS) với một đại diện khác, cho một NSl (với l 6 = i, j).
Trong trường hợp đó, chúng tôi cũng sẽ nhận được điều đó NStôi, x độc lậpNS
của NSNS (và tương tự, NS
tôij, x độc lập với NStôi). Chúng tôi biểu thị NStôi : = NStôi,0 = NStôi,
NSx và

NSNS : = NSNS,0 = NSj, xtôi

.

Vì vậy, quay trở lại với hai đại diện của chúng tôi, chúng tôi có

[ ]
∑ ∏
F (x1, NS2, ..., NSn) = uδ(NSNS) NS
k (NS
δk k ) δtôi (NStôi),
NStôi (2.12)
δ∈ {0,1}n k6 =tôi, j
δj =0

và [ ]
∑ ∏
F (x1, NS2, ..., NSn) = vδ(NStôi) NS
k (NS
δk k) NSδ NS (NSNS).
NS (2.13)
δ∈ {0,1}n k6 =tôi, j
δi =0

Tiếp theo, chúng tôi chỉ ra rằng mỗi hệ số uδ(NSNS) trong đại diện (2,12) phụ thuộc một cách liên
quan vào NSNS(NSNS), đó là

uδ(NSNS) = wδ + yδNSNS(NSNS). (2,14)

cho một số wδ và yδ. Điều này được thực hiện bằng cách quy nạp vào số lượng “1 ” các mục nhập
trong δ, trong đó cơ sở cảm ứng được cho trong (2,5). Cho rằnguδ(NSNS) có biểu mẫu bắt buộc cho
δ với không quá n các mục nhập khác không. BộN + 1 tọa độ P1, P2, ..., PN +1 (tất cả đều khác
∑N +1
từ NS) và để δ̂ = δP1,P2,...,PN +1 =con đường ∑k =1 δPk. Chúng tôi sẽ chỉ ra rằnguδ̂(NSNS) phụ thuộc vào một
N +1
tiếp tục NSNS(NSNS). VìF (xNSeNS + k =1 eP ),
k
đại diện được đưa ra trong (2,13) cho
chúng tôi một biểu thức của hình thức w1 + w2NSNS(NSNS). So sánh với đại diện được đưa ra trong (
2,12), chúng ta có

17
 ∑
uδ(NSNS) = w1 + w2NSNS(NSNS)
δ∈ {0,1}n,
δk= 0, ∀k6 =P1,...PN +1

trong đó tổng ở phía bên trái lớn hơn các chỉ số δ tất cả các chỉ số này đều có n các mục nhập khác không

ngoại trừ δ̂. Sắp xếp lại các thuật ngữ và sử dụng giả thuyết quy nạp mà chúng tôi nhận được

uδ̂(NSNS) = v̂1 + v̂2NSNS(NSNS)

đối với một số vectơ v̂1, v̂2 ∈ NSn, theo yêu cầu.
Phương trình cắm (2,14) vào trong (2,12) và biểu thị NSNS = NSNS, wδ = uδ và yδ = uδ + δNS ,chúng ta nhận
được dạng phương trình (1.1) cho thứ nguyên n, như đã tuyên bố.
Tiếp theo chúng tôi cho thấy rằng NS ≥ n. Cuối cùng, hãy xem xét ánh xạ đa thức sai

F̃ (x1,. . . , NSn) = F (f−11 (NS1),. . . , NSn−1 (NSn)).

Một bản đồ như vậy phải thỏa mãn điều đó NS ≥ n. Ví dụ sau đây là kết quả của A.
Białynicki-Birula và M. Rosenlicht [6] mà nói rằng một ánh xạ đa thức sai P : NSn → NSn
cũng phải mang tính chất bề ngoài (trong trường hợp phức tạp, kết quả tương tự đã được
chứng minh vài năm sau đó và được biết đến với cái tên biểu tượng Ax-Grothendieck). Do
đó, người ta dễ dàng xác minh rằng không tồn tại đa thức sai phân từNSn
vào trong NSNS với m <n. Thật vậy, giả sử rằng P : NSn → NSNS là một ánh xạ đa thức phân
biệt, với m <n. Mà không mất tính tổng quát m = n - 1. Bộ NSn = 0. Bản đôP (x1, NS2,. . . , NS
n−1, 0): NSn−1 → NSn−1 là một ánh xạ đa thức không phân biệt, và do đó nó mang tính chất
thay đổi, mâu thuẫn với thực tế là P (x1,. . . , NSn) bị thương.

2.5 Thêm dấu (n + 1)NS phương hướng

Trong phần này, chúng tôi xem xét việc tiêm thuốc mà ánh xạ các đường trong n + 1 hướng chung
vào dòng. Như được hiển thị trong ví dụ2.1, chúng ta không thể suy luận mà không có giả thiết bổ
sung rằng các ánh xạ như vậy là phụ gia liên kết cho n ≥ 3. Tuy nhiên, sử dụng hướng bổ sung
trong đó các đường được ánh xạ vào các đường, chúng ta có thể mô tả các hạn chế hơn nữa đối với
dạng đa thức có thể có của các ánh xạ này, như đã cho trong Định lý 1,4.
Để chứng minh Định lý 1,4, chúng ta sẽ cần bổ đề sau liên quan đến các phép nhị
phân của đường thực NS (có giá trị trên một trường chung).

18
Bổ đề 2.10. Cho phép NS : NS → NS là một hàm bijective với NS(0) = 0 và NS(1) = 1.Giả sử
có một chức năng NS : NS → NS vậy nên

f (a + b) - f (b)
= G (b)
f (a)

Cho mọi Một 6 = 0 và mọi thứ NS ∈ NS. Sau đó, NS là chất phụ gia.

Bằng chứng. Đầu tiên, chúng tôi viết lại phương trình dưới dạng

f (a + b) - f (b) - f (a)
= H (b),
f (a)

đó là,
f (a + b) = f (a) + f (b) + f (a) H (b).

Từ tính đối xứng, chúng tôi nhận được điều đó (cho NS 6 = 0)

f (a + b) = f (a) + f (b) + f (b) H (a),

và như vậy

f (a) H (b) = f (b) H (a)

vì a, b 6 = 0. Điều này có nghĩa rằng

H (a) H (b)
=
f (a) f (b)
vì a, b 6 = 0 có nghĩa là đây là một hàm hằng số, giả sử α, do đó H (a) = αf (a) cho tất cả Một 6 = 0. Từ
NS(1) = 1, α = NS(1). Chúng tôi muốn thể hiện điều đó NS(1) = 0. Thật vậy, nếuNS(1) 6 = 0 Sau đó b =
f−1( -1 ) chúng tôi nhận được H (b) = -1, có nghĩa là f (a + b) = f (b), mâu thuẫn với tính bất thường của
NS(1)
NS. Vì thế, NS(1) = 0, kể từ đây NS ≡ 0 và vì thế NS là chất phụ gia.

Chứng minh Định lý 1,4. Theo sự thật 2.3, chúng tôi có thể giả định mà không mất đi tính tổng quát rằng
∑n
vtôi = etôi cho tất cả tôi ∈ {1,. . . ,n} và vn +1 = v = tôi =1 etôi. Theo định lý1,3, NS có một
đại diện
∑ ∏n δtôi
F (x) = uδ NStôi (NStôi). (2,15)
δ∈ {0,1}n tôi =1

Mục tiêu đầu tiên của chúng tôi là thể hiện rằng NStôi là chất phụ gia. Để đạt được điều này, hãy xem xétMỘT bản đồ nào etôi

cho chính nó cho tôi = 1,. . . ,n - 1 và en đến v. Sau đó cũng NS ◦ MỘT có một đại diện như vậy, vì vậy

19
điều đó
∑ ∏n δtôi
F (x) = vδ NStôi ((MỘT−1NS)tôi)

δ∈ {0,1}n tôi =1

và như (MỘT−1NS)tôi = NStôi - NSn vì tôi = 1,. . . ,n - 1 và (MỘT−1NS)n = NSn chúng tôi hiểu điều đó

∑ ∏n ∑ n∏
-1
uδ NStôi
δtôi (NStôi) = vδNSnδn(NSn) NS tôi
tôi (NS
δ tôi - NSn). (2,16)
δ∈ {0,1}n tôi =1 δ∈ {0,1}n tôi =1

Cắm tất cả các biến bằng 0, chúng ta thấy rằng v0 = u0và do đó chúng tôi có thể giả định rằng cả hai
đều bằng 0. Cắm tất cả các biến nhưng một biến bằng 0 chúng ta thấy rằng NSNS = NSNS
vì j = 1,. . . ,n - 1, và điều đó uδNS = vδNS (nhớ lại điều đó δNS được định nghĩa để δNS NS = 1 và
δNS= 0 vì tôi 6 = NS). Chúng tôi cũng nhận được điều đó
tôi

∑ n∏
-1
δtôi
uδnNSn(NSn) = vδNSnδn(NSn) NStôi (-NSn).
δ∈ {0,1}n tôi =1

Chỉ cắm tiếp theo NS1, NSn 6 = 0, sử dụng NS1 = NS1 và ký hiệu δ1,n = δ1 + δn, để có được

∑ n∏
-1
δ δn
vδ1NS1(NS1) + uδnNSn(NSn) + uδ1,nNS1(NS1)NSn(NSn) = vδNS1(NS1 - NSn) 1NSn (NSn) NStôi
δtôi (-NSn).
δ∈ {0,1}n tôi =2

(2.17)
Sử dụng phương trình trước, chúng ta nhận được,

∑ n∏
-1
vδ1NS1(NS1) +uδ1,nNS1(NS1)NSn(NSn) = vδ[NS1(NS1 -NSn)δ 1
- NS1(-NSn)δ1]NSδnn (NSn) NStôi
δtôi (-NSn)
δ∈ {0,1}n tôi =2

có thể được giảm thêm thành

∑ n∏
-1
δ
NS1(NS1) [vδ1 + uδ1,nNSn(NSn)] = [NS1(NS1 - NSn) - NS1(-NSn)] vδNSn n(NSn) NStôi
δtôi (-NSn)
δ∈ {0,1}n−1, tôi =2
δ1= 1

Đối với khác 0 NS1, chia cho NS1(NS1) để có được điều đó

[NS1(NS1 - NSn) - NS1(-NSn)] ∑ n∏

-1
δ
[vδ1 + uδ1,nNSn(NSn)] = vδNSn n(NSn) NStôi
δtôi (-NSn).
NS1(NS1)
δ∈ {0,1}n−1, tôi =2
δ1= 1

20
Điều quan trọng cần lưu ý ở đây, rằng vδ1 + uδ1,nNSn(NSn) 6 = 0 Cho mọi NSn vì nếu khôngF (x1e1
+ NSnen) sẽ đạt được cùng một giá trị độc lập với NS1 (như có thể được nhìn thấy từ phía bên
trái của (2,17)). Do đó, chúng ta thấy, vì phía bên trái không phụ thuộc vàoNS1
và khác 0, bên phải cũng không phụ thuộc vào NS1, và như vậy

NS1(a + b) - g1(NS)
= G (b),
NS1(Một)

Cho mọi Một 6 = 0 và NS ∈ NS (cho một số chức năng NS : NS → NS). Theo bổ đề 2,10, NS1 là chất
phụ gia. Tương tự,NSNS được coi là chất phụ gia cho tất cả j = 2,. . . ,n - 1. Trên thực tế, từ sự đối
xứng của các giả định, nó cũng theo đó NSn phải là chất phụ gia. Điều này tương đương với việc
xem xét một ánh xạ tuyến tính khácMỘT.
Mục tiêu tiếp theo của chúng tôi là thể hiện rằng uδ = 0 cho tất cả | δ
2
| ≥ n +2 . Để kết thúc, chúng ta hãy viết

lại Eq. (2,16) trên cánh đồng NS. Kể từ khi các chức năng NStôi, NStôi là chất phụ gia và NStôi(1) = NStôi(1) = 1,nó

sau đó kết thúc NS chúng là các chức năng nhận dạng. Kể từ đây

∑ ∏n ∑ n∏
-1
δtôi
uδ NS
tôiδ=
tôi
vδ NSδ
n
n
(NStôi - NSn) (2.18)
δ∈ {0,1}n tôi =1 δ∈ {0,1}n tôi =1

cho tất cả x = (x1,. . . , NSn) ∈ NSn.

Bộ 2 ≤ k ≤ n. Bộ NSk−1 = NSk = · · · = NSn. Phương trình của chúng ta có dạng

∑ ∑n ∑ k∏
-2
δ1
uδ NS1 · · · NSk−2
δ
· NSn
k−2
k−1 δtôi
= vδ NSδ
n
n
n)δtôi
(NStôi - NS
δ∈ {0,1}n δ∈ {0,1}n, tôi =1
δk−1= ··· = δn−1= 0

Bên tay phải là một đa thức có bậc không lớn hơn k - 1. Như vậy, so sánh
các hệ số của NS1 NS2 · · · NSk−2 NS2 n chúng tôi nhận được

∑
uδ = 0.
| δ | = k,
δ1= δ2= ··· = δk−2= 1

Bởi sự đối xứng của NS , chúng tôi kết luận rằng cho bất kỳ k−2 tọa độ tôi1, tôi2,. . . , tôik−2, chúng tôi
có cái đó
∑
MỘTk(tôi1,. . . , tôik−2): = uδ = 0. (2,19)
| δ | = k,
δtôi1 = ··· = δik−2 = 1

21
Để cho 2 ≤ k ≤ n, fiNS l ≤ k - 2 tọa độ (hoặc không) tôi1,. . . , tôil. Định nghĩa

∑ ∑
MỘTk(tôi1,. . . , tôil): = u,δ Ak := uδ.
| δ | = k, |δ|=k
δtôi1 = ··· = δIl = 1

( )
Có n−l
k−2−l
lựa chọn cho (k - 2) các chỉ số riêng biệt có chứa tôi1,. . . , tôil. Tất cả đều có thể
P
sự lựa chọn cho sự bổ sung k−2−l các chỉ số được liệt kê bởi {tôiP l +1,. . . , tôik−2}p =1, ...,( n−l
).
k−2−l
Vì vậy, (2,19) ngụ ý rằng

( k∑
n−l
- 2−l)
1
MỘTk(tôi1,. . . , tôil) = (
k−l
) MỘTk(tôi,...,
1 tôil, tôiPl +1,. . . , tôiPk−2) = 0. (2,20)
k−2−l p =1

Do đó, theo nguyên tắc bao gồm - loại trừ, (2,20) ngụ ý rằng

∑n ∑n
k
uδtôi1, ...,ik = MỘTk - MỘTk(tôiNS) + MỘTk(tôiNS, tôil) + · · · + (-1)n − k A (tôik +1,. . . , tôin) = 0
j = k +1 j, l = k +1
j <l

cho mọi hoán vị {tôi1,. . . , tôin} của {1,. . . ,n}. Kết luận ở trên, chúng tôi có rằnguδ =
0 cho mọi δ ∈ {0, 1}n với | δ | ≥ n +2 . 2
Lưu ý rằng chúng tôi đã sử dụng thực tế rằng n − k ≤ k−2 từ MỘTk (tôi1,. . . , tôil) chỉ được xác định
vì l ≤ k−2. Thật vậy, người ta không thể mong đợi kết luận giữ nguyên nếu không có giả định này
()
vì số phần tử trong tập hợp {u trong khi số lượng
( δ : |) δ | =k} Là n k
() n ()
phương trình cho tập hợp này, được cho trong (2,19) Là n . Rõ ràng, miễn là
k−2 k−2
< k
, một người có thể
n

luôn luôn tìm ra các nghiệm không tầm thường cho các phương trình này. Tuy nhiên, có thể dễ dàng kiểm tra rằng
() n ()n
k−2
≥ k
nếu và chỉ nếu k ≥ n +2 ,2và trong trường hợp này, chúng tôi có n - k ≤ k - 2.

Ví dụ 2.11. Như đã đề cập trong phần giới thiệu, Định lý 1,4 rõ ràng theo nghĩa là mức
độ của một đối chiếu đa thức sai trong n + 1 hướng dẫn chung trong NSn
có thể cao như n/2. Thật vậy, chúng ta hãy xây dựng một đa thức như vậy. Để đơn giản, chúng
ta hãy xây dựng một đa thứcNS : NS2n → NS2n cho một số kích thước chẵn 2n. Hãy xem xét bản
đồ sau:
- -
- ∑ ∏2n -
- 1, NS2,. . . , NS2n−1, NS2n +
F (x1,. . . , NS 2n) = -NS αn δtôi-
NStôi -,
δ∈ {0,1}2n tôi =1

|δ|=n

22
nơi αδ ∈ NS. Rõ ràng, NS là một sự đối chiếu bất lợi trong các hướng e1,. . . , e2n.
Từ F ((c1,. . . , NS2n) + t (e1,. . . , e2n)) là một đa thức trong NS, nó là đủ để lựa
chọnαδ sao cho các hệ số của NSk trong việc mở rộng F ((c1,. . . , NS2n) + t (e1,. . . , e2
n)) là tất cả 0, Cho mọi 2 ≤ k ≤ n và bất kỳ (NS1,. . . , NS2n) ∈ NS2n. Phương trình kết
quả cho mộtk là tổng sau bằng 0: tổng của tất cả các tích của n - k sau đó NSNS's,
với hệ số là những αδ mà các hệ số tương ứng δNS
là một. Đó là,
- - - -
- ∑ - - ∑ -
NS1 · · · NS n − k -- αδ-- + · · · + NSk + n +1 · · · NS -
2n - αδ-- = 0.
|δ|=n |δ|=n
δ1= ··· = δn − k= 1 δk + n +1= ··· = δ2n= 1

Đảm bảo rằng mỗi một trong các tổng trên bằng 0 sẽ kết thúc việc xây dựng của chúng tôi. Trong
đối số cuối cùng của chứng minh Định lý1,4, chúng tôi đã chỉ ra rằng tập phương trình này tương
đương với tập phương trình

∑
αδ = 0, tôi1,. . . , tôin−2 ∈ {1,. . . , 2n} .
|δ|=n
δtôi1 = ··· = δtrong−2 =1

()
Là số biến αδ Là 2n , lớn hơn số phương
n
trình()
2n , theo đó có một sự lựa chọn không tầm thường về αδnhư đã tuyên bố.
n−2
Trong NS4, bản đô

(NS1, NS2, NS3, NS4) 7 → (NS1, NS2, NS3, NS4 - NS2NS3 + NS2NS4)

là một công trình bê tông như vậy.

Đối với các kích thước kỳ lạ n, người ta có thể chỉ ra rằng có một cấu trúc tương tự của các đa
thức như vậy, nhưng ở mức độ ⌈n−1⌉.
2
Không rõ liệu có luôn tồn tại một đa thức bậc cực đại như vậy
hay không (tức là ⌈n⌉) được phép trong định lý của
2
chúng tôi. Việc chứng minh một tuyên bố như
vậy, nếu đúng, phải liên quan đến việc sử dụng không tầm thường thực tế là bản đồ bị tổn hại. Thí
dụ2.1 xác nhận tuyên bố này cho n = 3.

2.6 Trường hợp chiều thấp

Trong phần này, chúng tôi thảo luận về các trường hợp hai và ba chiều trong đó bản đồ NS
trong Định lý 1,4 hóa ra là chất phụ gia affine.

23
 ()n
Để đảm bảo tính cộng ái lực, người ta sẽ cần ít nhất n + 2
hướng dẫn trong các dòng

được ánh xạ vào các dòng. Để xem điều này, hãy lưu ý rằng chỉ cần cóuδ = 0 cho | δ | =2 bên trong
()
kết luận của Định lý 1,4, yêu cầu bổ sung n ít nhất
2
là các ràng buộc đối với các hệ
số này.
Vì n = 2, các điều kiện của Định lý 1,4 đã bao hàm tính cộng ái lực (xem Định lý
2,12). Vìn = 3 chúng tôi sẽ chỉ ra rằng năm 3−các hướng độc lập là đủ (xem Định lý
(1,6)).

2.6.1 Định lý cơ bản trong mặt phẳng

Vì n = 2, kết luận của Định lý 2,12 tình trạng NS có dạng

F (x1v1 + NS2v2) = u0 + f (x1) u1 + g (x2) u2

ở đâu f, g các chức năng phụ gia đang bật NS, và utôi ∈ NS2. Nói cách khác, Định lý
sau1,4 được ngụ ý:

Định lý 2.12. Cho phép n ≥ 2, cho phép v1, v2, v3 ∈ NS2 thì là ở 2−độc lập và để NS : NS2 → NSn
bị thương. Giả định rằngNS ánh xạ từng dòng trong L (v1, v2, v3) trên một dòng. sau đóNS là
phụ gia affine.

Nhận xét 2.13. Đối với trường hợp ánh xạ từ mặt phẳng đến chính nó (n = m = 2), điều kiện
song song được ngụ ý trực tiếp đơn giản vì hai đường thẳng bất kỳ trong mặt phẳng không
cắt nhau nếu và chỉ khi chúng song song. Do đó, trong trường hợp này, Định lý2,12 là một
trường hợp cụ thể dễ dàng của Định lý 1.1.

2.6.2 Một định lý cơ bản trong NS3

Trong phần này, chúng ta giải quyết trường hợp ba chiều, cụ thể là chứng minh Định lý 1,6. Trong
chứng minh, chúng tôi hoàn toàn mô tả đặc điểm của tất cả các dạng ánh xạ tổn thương lấy các
dòng lên các dòng trong bốn3−hướng độc lập (xem Ghi chú 2,14), và sau đó chỉ ra rằng đã cho
thêm một hướng trong đó các dòng được ánh xạ vào các dòng, chỉ còn lại các dạng phụ gia liên kết
(thực tế là một dòng theo hướng này).

Chứng minh Định lý 1,6. Nếu không làm mất đi tính tổng quát, chúng tôi có thể cho rằng NS(0)
= 0 và rằng {v1, v2, v3, v4} = {e1, e2, e3, v} ở đâu v = e1 + e2 + e3. Như {v1, v2,. . . , v5} Là 3-độc lập,
hướng v5, trong đó {truyền hình5}NS∈NS được ánh xạ thành một dòng, có dạng

24
u = e3 + ae1 + thì là ở2, với a, b 6 = 0, 1 và Một 6 = NS. Theo định lý 1,4 đối với trường hợp cụ thể này,
NS có dạng

F (x1, NS2, NS3) = Một1NS1(NS1) + Một2NS2(NS2) + Một3NS3(NS3) (2,21)

+ Một4NS1(NS1)NS2(NS2) + Một5NS1(NS1)NS3(NS3) + Một6NS2(NS2)NS3(NS3)

ở đâu NS1, NS2, NS3 : NS → NS là các phép toán phụ với NStôi(0) = 0 và NStôi(1) = 1, vàMột1, Một2,. . . ,
Một6 ∈ NS3 với Một4 + Một5 + Một6 = 0.
Xem xét ánh xạ F̃ (NS1, NS2, NS3): = F (f−1 1 (NS1), NS2−1(NS2), NS3−1(NS3)). Cắm
thực tế là Một4 + Một5 + Một6 = 0 vào trong (2,21) cho ra rằng F̃ có dạng

F̃ (x1, NS2, NS3) = Một1NS1 + Một2NS2 + Một3NS3 + Một4(NS1NS2 - NS2NS3) + Một5(NS1NS3 - NS2NS3). (2,22)

Từ NS là bị thương, nó theo sau rằng F̃ cũng bị thương. Ký hiệu ã =NS1(Một) và b̃ = NS2(NS)và lưu ý rằng
kể từ NS lập bản đồ đường {chuyển hướng, 1)}NS∈NS thành một dòng và kể từ NS1, NS2, NS3 là phụ gia, nó
theo sau rằng F̃ ánh xạ tất cả các điểm trong {N (ã, b̃, 1)}n∈n vào cùng một dòng. Cũng lưu ý rằng ã, b̃6 =
0, 1, theo sau bởi các thuộc tính của NS1 và NS2. Chúng tôi tiếp tục chứng minh bằng cách chia thành các
trường hợp.
Trường hợp 1: Một4 = 0. Lưu ý rằng trong trường hợp này, Một1, Một2, Một3 độc lập tuyến tính, nếu
không, chúng ta sẽ có F̃ (NS1, NS2, 0) = F̃ (0, 0, NS3) cho một số NS1, NS2, NS3, điều này sẽ mâu thuẫn với
thực tế là F̃ không bị ảnh hưởng. Đặc biệt, chúng tôi có thể viếtMột5 = αMột1 + βMột2 + γMột3
đối với một số hệ số α, β, γ ∈ NS. Bộ g (t) = f1 (t) - f2 (NS). Sau đó cho tất cả NS ∈ NS chúng tôi có cái
đó

F (t, t, t) = a1 [NS1 (t) + αf3 (t) g (t)] + a2 [NS2 (t) + βf3 (t) g (t)] + a3 [NS3 (t) + γf3 (t) g (t)].

Từ NS ánh xạ đường {(t, t, t)}NS∈NS thành một dòng, đi qua NS(0, 0, 0) = 0 vàNS(1, 1, 1) = Một1 +
Một2 + Một3, nó theo sau đó F (t, t, t) ∈ sp {Một1 + Một2 + Một3}. Từ {Một1, Một2, Một3}là cơ sở
của NS3, chúng ta có thể cân bằng hệ số của chúng trong công thức trên cho F (t, t, t) và suy ra
điều đó cho tất cả NS ∈ NS, g (t) + (α - β) f3 (t) g (t) = 0, mà bởi sự thiếu sót của NS3
ngụ ý rằng g (t) ≡ 0, và do đó NS1 (t) = f2 (t) = f3 (NS) cho tất cả NS ∈ NS. Đặc biệt, lưu ý rằng trong trường
hợp này ã 6 = b̃ như Một 6 = NS và NS1 = NS2. Chúng tôi biểu thị các chức năng giống hệt nhauNS1, NS2,
NS3 qua NS.
Trường hợp 1.1: Một5 = 0. Trong trường hợp này, phương trình Một4 +Một5 +Một6 = 0 ngụ ý rằng
Một6 = 0 và vì thế (2,21) có dạng F (x1, NS2, NS3) = Một1f (x1) +Một2f (x2) +Một3f (x3) mà cụ thể là

25
ngụ ý rằng NS là phụ gia kể từ khi NS là chất phụ gia.

Trường hợp 1.2: Một5 6 = 0. Nhớ lại điều đó Một5 = αMột1 + βMột2 + γMột3, do đó (2,22) có dạng

F̃ (x1, NS2, NS3) = Một1[NS1 + αNS3(NS1 - NS2)] + Một2[NS2 + βNS3(NS1 - NS2)] + Một3NS3[1 + γ (NS1 - NS2)].

()
Giả sử γ 6 = 0. Lưu ý rằng F̃ 0, 1 ,γ 1 ∈ sp {a, a1 2}, và do đó

1
NS (0, 1) = F̃ (NS1, NS
2 , 0)
γ

cho một số NS1, NS2 ∈ NS. Điều này mâu thuẫn với thực tế rằng F̃ là không xác định, và do đó γ = 0.Giả sử
α 6 = β. Sau đó, người ta có thể kiểm tra rằng

() ( )
-1 α β -1
NS 1, 0, = F̃ + 1, ,
α-β α-β α-β α-β

điều này mâu thuẫn với thực tế là F̃ là bị thương. Như vậy α = β. Lưu ý rằng α6 = 0 vì chúng tôi đã giả định

trường hợp này Một5 6 = 0.

Kể từ khi bản đồ F̃ {N (ã, b̃, 1)}n∈n vào đường thẳng đi qua F̃ (0, 0, 0) = 0 vàF̃ (ã, b̃, 1),
nó theo sau rằng F̃ (Nã, Nb̃, N) = λ (N) F̃ (ã, b̃, 1) cho một số λ (N). Tuy vậy,

F̃ (Nã, Nb̃, N) = N {a1[ã + αN (ã - b̃)] + a2[b̃ + αN (ã - b̃)] + a3}

và vì vậy F̃ (Nã, Nb̃, N) = λ (N) F̃ (ã, b̃, 1) ngụ ý ã = b̃, một mâu thuẫn.

Trường hợp 2: Một4 6 = 0. Lưu ý rằng trong trường hợp này, {Một1, Một2, Một4} độc lập tuyến tính. Thật vậy, giả

sửMột4 = αMột1 + βMột2 với α, β không phải cả hai 0. Giả sử α 6 = 0. sau đó

F̃ (x1, NS2, 0) = Một1NS1(1 + αNS2) + Một2NS2(1 + βNS1).

( ) ()
Lưu ý rằng F̃ 1, -1 α, 0 = F̃ 0, -(1 + β) , 0,α mâu thuẫn với thực tế là F̃ là bất thương.
Tương tự, nếu β 6 = 0 một người có thể tìm thấy NS′, NS′ 1, NS′2 sao cho F̃ (NS′ 1, NS′2, 0) = F̃ (NS ,′ 0, 0), vừa là
mâu thuẫn. Vì vậy, chúng tôi có thể viết

Một3 = α3Một1 + β3Một2 + γ3Một4, Một5 = α5Một1 + β5Một2 + γ5Một4

26
cho một số α3, β3, γ3, α5, β5, γ5 ∈ NS.
Trường hợp 2.1: sp {Một5} = sp {Một4}. Trong trường hợp này, α5 = β5 = 0 và F̃ có dạng

F̃ (x1, NS2, NS3) = Một1[NS1 + α3NS3] + Một2[NS2 + β3NS3] + Một4[NS1NS2 + γ5NS1NS3 - (1 + γ5)NS2NS3 + γ3NS3].

Hãy để chúng tôi kiểm tra xem những hạn chế nào được ngụ ý bởi thực tế rằng F̃ là gây hại. Giả sửF̃
(x1, NS2, NS3) = F̃ (y1, y2, y3). Chúng tôi sẽ sử dụng thực tế rằng {Một1, Một2, Một4} là cơ sở của NS3,
để so sánh các giá trị của F̃ trong từng tọa độ này một cách riêng biệt. Rõ ràng,NS3 = y3 ngụ ý rằng
NS1 = y1 và NS2 = y2. Giả sửd: = x3 - y3 6 = 0.
Các phương trình cho các hệ số của Một1 và Một2 ngụ ý rằng NS1 = y1 + α3NS và NS2 =y2 + β3
NS, tương ứng. Gắn những đặc điểm nhận dạng này vào phương trình cho các hệ số củaMột4,
sắp xếp lại các yếu tố và loại bỏ một yếu tố NS 6 = 0 đưa ra phương trình

y1(β3 - γ5) + y2(α3 + (1 + γ5)) = γ3 - α3β3d - γ5α3NS3 + (1 + γ5) β3NS3.

Phương trình trên ngụ ý rằng một điều kiện cần thiết cho sự mất tích của NS đó làα3 = - (1
+ γ5) và β3 = γ5. Nếu không, chúng ta có thể tìm ra lời giải cho phương trình này. Do đó,
chúng ta còn lại với phương trình

γ3 - α3β3d - 2α3β3NS3 = 0.

Rõ ràng, kể từ NS3 và NS 6 = 0 là các biến không có ràng buộc nào khác, chúng ta phải cóα
3β3 = 0 và γ3 6 = 0 để không có giải pháp với NS 6 = 0 cho phương trình này. Tóm lại những
điều trên, trong trường hợp này F̃ chỉ là vô hiệu nếu α3 = - (1 + γ5), β3 = γ5,α3β3 = 0 và γ3 6 =
0. Đặc biệt, α3 + β3 = -1. Do đó, một trong hai α3 = -1, β3 = 0 hoặcβ3 = -1, α3 = 0, và vì vậy F̃ là
một trong hai dạng

F̃ (x1, NS2, NS3) = Một1(NS1 - NS3) + Một2NS2 + Một4(γ3NS3 + NS2(NS1 - NS3))

hoặc dưới dạng

F̃ (x1, NS2, NS3) = Một1NS1 + Một2(NS2 - NS3) + Một4(γ3NS3 + NS1(NS2 - NS3)).

Lưu ý rằng hai dạng trên giống nhau tùy theo thành phần của F̃, từ cả bên trái và bên
phải, với phép biến đổi tuyến tính hoán đổi cho nhau Một1 và Một2 (và sửa chữaMột4).
Theo những sửa đổi tuyến tính này, tính tổn thương được bảo toàn và hướng thứ năm

27
(a, b, 1) được hoán đổi với hướng (ba, 1).
Giả sử γ3 = 0. Sau đó, ở dạng đầu tiên, chúng ta sẽ có F̃ (1, 0, 1) = F̃ (0, 0, 0),và ở dạng thứ
hai, chúng ta sẽ có F̃ (0, 1, 1) = F̃ (0, 0, 0), điều này mâu thuẫn với thực tế là F̃ là bị thương. Vì
vậy, γ3 6 = 0. Dễ dàng xác minh rằng trong trường hợp này F̃ của dạng trên là không xác định,
và do đó, để chứng minh định lý của chúng ta, chúng ta cần gọi hướng thứ năm trong đó một
đường thẳng được ánh xạ thành một đường. Như trong trường hợp 1, vì F̃ ánh xạ tất cả các
điểm trong {N (ã, b̃, 1)}n∈n thành đường thẳng đi qua cả F̃ (0, 0, 0) = 0 và F̃ (ã, b̃, 1),nó theo sau
đó
F̃ (Nã, Nb̃, N) = λ (N) F̃ (ã, b̃, 1)

cho một số λ (N). Tuy nhiên, ở dạng đầu tiên, chúng ta sẽ có

F̃ (Nã, Nb̃, N) = N [a1(ã - 1) + Một2b + a4(Nb̃ (ã - 1) + γ3)],

và vì vậy F̃ (Nã, Nb̃, N) = λ (N) F̃ (ã, b̃, 1) chỉ khi b̃ = 0 hoặc ã = 1, điều đó là không thể vìã, b̃ 6 = 0, 1.
Bằng cách kết nối tuyến tính của hai dạng, chúng ta sẽ nhận được rằng ở dạng thứ hai, các điểm {N
(ã, b̃, 1)}n∈n được ánh xạ thành một dòng chỉ khi ã = 0 hoặc b̃ = 1, điều này, một lần nữa, không thể
kể từ ă, b̃ 6 = 0, 1, một mâu thuẫn.Trường hợp 2.2: sp {Một4} =
6 sp {Một5}. Trong trường hợp này, chúng ta có α5 6 = 0 hoặc β5 6 = 0. Qua
(2,22), F̃ có dạng

F̃ (x1, NS2, NS3) = Một1(NS1 + α3NS3 + α5NS3(NS1 - NS2)) + Một2(NS2 + β3NS3 + β5NS3(NS1 - NS2))

+ Một4(NS1NS2 + γ3NS3 + γ5NS1NS3 - (1 + γ5)NS2NS3).

Chúng tôi cho thấy rằng trong trường hợp này, NS không bị thương. Bằng cách soạn F̃ với phép biến đổi
tuyến tính hoán đổi cho nhauMột1 và Một2 (và sửa chữa Một4), chúng tôi có thể giả định mà không mất đi
tính tổng quát rằng β5 6 = 0. Chúng tôi sẽ cho thấy rằng có tồn tại NS1, NS2, NS3 với NS3 6 = 0 như vậy màF̃
(x1, NS2, NS3) ∈ sp {Một1}. Để tìm những điểm như vậy, biểu thịd = x1 - NS2, và vì vậy chúng ta sẽ tìm một
lời giải cho hệ phương trình sau:

NS2 = -NS3 (β5d + β3) (2,23)

NS3 (γ3 + (1 + γ5) d - x1) = -NS1NS2 (2,24)
d = x1 - NS2 (2,25)

trong đó hai phương trình đầu tiên tương đương với các hệ số của Một2 và Một4 đến 0, tương ứng.

28
Đang cắm (2,23) vào trong (2,24) và chia cho NS3 6 = 0, chúng tôi nhận được

γ3 + (1 + γ5) d - x1 = NS1(β5d + β3),

và vì thế
γ3 + (1 + γ5) d
NS1 = . (2,26)
β5d + β3 + 1
Đang cắm (2,23) và (2,26) vào trong (2,25) sản lượng

γ3(1 + γ5)NS
+ NS3(β5d + β3) = NS. (2,27)
β5d + β3 + 1

Như β5 6 = 0, chúng tôi có thể chọn NS ∈ NS, nói, đủ lớn, sao cho cả hai (2,23) và (2,26) được
xác định rõ ràng và như vậy (2,27) giữ cho một số NS3 6 = 0. Kết luận ở trên, chúng tôi cho thấy
rằng có tồn tại NS1, NS2, NS3 với NS3 6 = 0 sao cho F̃ (NS1, NS2, NS3) = ca1 cho một sốNS ∈ NS. Do
đó, F̃ (NS, 0, 0) = F̃ (NS1, NS2, NS3), mâu thuẫn với thực tế là F̃ là bất thương. Điều này hoàn
thành việc xem xét trường hợp này, và do đó là bằng chứng.

Nhận xét 2,14. Trong chứng minh của Định lý này1,6 chúng tôi thực sự phân loại hoàn toàn tất cả
các dạng ánh xạ sai lệch có thể có của NS3 ánh xạ tất cả các đường theo bốn hướng ở vị trí chung
vào các đường. Bằng chứng cho thấy rằng, các sửa đổi tuyến tính rõ ràng và thành phần của các
tọa độ với các bản đồ sinh học đạt được0 tại 0 và 1 tại 1, những bản đồ như vậy là một trong hai
dạng

F (x1, NS2, NS3) = (NS1 + αNS3(NS1 - NS2), NS2 + αNS3(NS1 - NS2), NS3),

hoặc dưới dạng

F (x1, NS2, NS3) = (NS1 - NS3, NS2, αx3 + NS2(NS1 - NS3)),

trong đó ở cả hai dạng α 6 = 0. Chúng tôi cũng chỉ ra rằng, trong chứng minh, chỉ cần một đường thẳng cụ thể

theo hướng thứ năm, trong đó các đường song song được ánh xạ thành các đường, là cần thiết cho chứng

minh, đó là đường thẳng đáy điểm gốc.

2.7 Một ví dụ về một tập hợp đủ các hướng trong NSn

Trong phần này, chúng tôi đưa ra một ví dụ cho một tập hợp hữu hạn các hướng trong NSn mà theo
hướng này, một collineation bị nhiễm trùng phải là chất phụ gia affine. Cụ thể, hãy xem xét

29
 ()n
tập hợp sau đây của n + 2
+ 1 hướng.

S = {etôi : tôi ∈ {1,. . . ,n}} ∪ {etôi + eNS : tôi, j ∈ {1,. . . ,n}} ∪ {e1 + · · · + en}

Chúng tôi chứng minh những điều sau:

Định lý 2.15. Cho phép NS : NSn → NSn bị thương. Giả sử rằngNS ánh xạ từng dòng trong L (NS)trên một
dòng. sau đóNS được đưa ra bởi

∑n
F (x1,. . . , NSn) = f (xtôi) vtôi,
tôi =1

cho một số bijection phụ gia NS : NS → NS, và v1,. . . , vn ∈ NSn.

Bằng chứng. Theo định lý 1,4, NS có dạng

∑ ∏
F (x1,. . . , NSn) = uδ NStôi (NStôi)δtôi (2,28)
δ∈ {0,1}n

cho một số uδ ∈ NSn và các phép toán phụ gia NStôi : NS → NS với NStôi (1) = 1.
Tiếp theo, chúng tôi quan sát rằng NS ánh xạ các đường song song trong L (e1,. . . , en) lên các đường

thẳng song song. Thật vậy, chúng tôi đểv = α1e1 + + αnen ∈ NSnvà cho thấy điều đó NS (NSe1) và F (v + NSe1) là

song song. TừNSe1, e2 + NSe1, NSe2, NS (e1 + e2), và 1e2 + NS (e1 + e2)2nằm trên một mặt phẳng,

và tất cả đều được ánh xạ vào các dòng, dưới NS , nó theo sau đó NS (NSe 1), F (e1 + e2 + NSe1),
( )
NS (NSe2), NS (NS (e1 + e2)), và NS 1e 2 2 + NS (e1 + e2) trên
loi một mặt phẳng. Đặc biệt,
nó theo sau đó NS (NSe1) và F (e1 + e2 + NSe1) song song, và do đó NS (NSe1) song song với
F (α1e1 + α2e2 + NSe1). Tương tự, α1e1+ α2e2+ Re1, e3+ α1e1+ α2e2+ Re1, NSe3, α1e1+α2e2 + NS (
e1 + e3), và 1e3 + α1e1 + α2e22 + NS (e1 + e3) nằm trên một mặt phẳng, dẫn đến kết luận rằng F
(α1e1 + α2e2 + α3e3 + NSe1) song song với F (α1e1 + α2e2 + NSe1), và do đó song song với NS (
NSe1). Bằng cách áp dụng lặp đi lặp lại đối số trên, chúng tôi kết luận rằngF (v + NSe1) và
NS (NSe1) là song song. Tương tự,F (v + NSetôi) và NS (NSetôi)song song, cho bất kỳ tôi ∈ {
1,. . . ,n}. Do đó, chúng ta có thể áp dụng Định lý 1,2, ngụ ý rằng NS có dạng

F (x1,. . . , NSn) = u0 + NS1 (NS1) u1 + · · · + NSn (NSn) un

cho một số tiểu sử NStôi : NS → NS, và một số utôi ∈ NSn. Bằng cách so sánh biểu mẫu trên với biểu
mẫu được cho trong (2,28), nó theo sau đó NStôi = NStôi cho tất cả tôi, có nghĩa là NStôi là

30
phụ gia và do đó NS là phụ gia affine.
Cuối cùng, chúng tôi cho thấy rằng tất cả các chức năng NS1, NS2,. . . , NSn là giống hệt nhau. TừNStôi
tất cả đều phụ gia với NStôi (1) = 1, một mặt chúng ta có rằng đối với bất kỳ số hữu tỉ nào NS,

F (q, q,.., Q) = u0 + q (u1 + · · · + un).

Mặt khác, kể từ khi NS lập bản đồ đường NS (e1 + · · · + en) trên dòng aa, nó theo sau đó cho bất
kỳ NS ∈ NSn, F (x, x,..., X) = u0 + f (x) u1 + · · · + f (x) un song song với u1 + · · · + un. Do đó, chúng tôi
kết luận rằngNS1 (x) = · · · = NSn (NS), như đã tuyên bố.

3 Các định lý cơ bản của hình học xạ ảnh

3.1 Quan điểm khách quan

Trong phần của anh ấy, chúng tôi xem xét các điểm tương tự của kết quả của chúng tôi trong không gian
xạ ảnh. Điều tự nhiên là xem xét không gian xạ ảnh khi thảo luận về các bản đồ bảo tồn các đường. Trên
thực tế, định lý cơ bản cổ điển, cũng như các kết quả bổ sung trước đó theo tinh thần của lưu ý này, ban
đầu được xây dựng cho mặt phẳng xạ ảnh, như được mô tả trong Phần5.1. Trong phần này, chúng tôi
thảo luận và chứng minh các kết quả tương tự như vậy trong thiết lập xạ ảnh.
Hãy để chúng tôi giải thích khung chiếu xạ của chúng tôi. Không gian xạ ảnh tương ứng với
một không gian tuyến tínhE kết thúc NS (hoặc bất kỳ trường nào khác), được biểu thị bằng P (E).
Mỗi điểm trong P (E)tương ứng với một không gian con một chiều riêng biệt của E. Vì E = NSn,
không gian xạ ảnh thường được ký hiệu là P(NSn) = RPn−1. Vì chúng tôi muốn sử dụng ở đây các kết
quả chính của ghi chú này choNSn, sẽ hữu ích cho chúng tôi khi sử dụng cách nhúng tiêu chuẩn sau
của NSn vào trong NSPn:
RPn = NSn ∪ RPn−1. (3,1)

Để hiểu rõ về cách nhúng này, người ta có thể xem xét hai bản sao của NSn trong NSn +1.
Một là "cơ sở":NSn = sp {e1, ..., đn} và một bản sao "affine", đặt một đơn vị phía trên: en +1 +NSn.
Mỗi dòng thông qua điểm gốc nằm trongNSn tương ứng với một điểm xạ ảnh trongRPn−1và
mỗi dòng không nằm trong NSn giao nhau en +1 + NSn tại một điểm khác biệt tương ứng với
một điểm trong bản sao liên kết của NSn. Bằng cách này,RPn thu được dưới dạng tổng hợp của
bản sao liên kết của NSn, bằng cách thêm vào đó tất cả các hướng ở vô cực được biểu thị bằng
RPn−1.
Nhớ lại rằng trong trường hợp của NSn, chúng tôi thường giả định rằng các đường song song (theo các

hướng nhất định) được ánh xạ thành các đường không nhất thiết phải song song, đó là một khó khăn lớn.

31
Tuy nhiên, trong cài đặt xạ ảnh, khó khăn này không tồn tại vì tương tự xạ ảnh tự nhiên của
một họ các đường thẳng song song trong NSn là một họ các đường xạ ảnh cắt nhau tại một
điểm xạ ảnh chung. Để xem điều này, hãy xem một nhóm các dòng xạ ảnh trongRPn, tương
ứng với một họ các đường thẳng song song trong bản sao affine của NSn. Vì tất cả các đường
thẳng này đều song song nên chúng phải cắt nhau tại một điểm xạ ảnh duy nhất ở vô cùng.
Do đó, giả thiết hình học của chúng ta đương nhiên sẽ là tất cả các đường xạ ảnh đi qua vô số
điểm xạ ảnh cho trước đều được ánh xạ lên các đường xạ ảnh.
Tương tự trong NSPn của phép biến đổi affine (khả nghịch) trong NSn sẽ là các phép biến
đổi đường đạn, được biểu thị bằng PGLn + 1 (NS), cụ thể là ánh xạ của NSPn được tạo ra bởi các
phép biến đổi tuyến tính (khả nghịch) của NSn +1. Đặc biệt, các phép biến đổi như vậy ánh xạ
các đường xạ ảnh lên các đường xạ ảnh.

3.2 Sự kiện cơ bản và kết quả sơ bộ

Nhớ lại điều đó n + 2 điểm xạ ảnh ā1, ..., Mộtn +2 ∈ RP n được cho là ở vị trí chung
nếu có bất kỳ thang máy nào của họ Một1,. . . , Mộtn +2 ∈ NSn +1 ở vị trí chung (xem Phần 1,2). Chúng
ta sẽ sử dụng định lý sau (xem ví dụ, [18]) và các sự kiện cơ bản liên quan đến các phép biến đổi
đường đạn trong NSPn.

Định lý 3.1. Hãy để ā1, ..., Mộtn +2 và ¯NS

, ..., 1 ¯NSn +2 là hai tập hợp các điểm ở vị trí chung
trong RPn. Sau đó, tồn tại một phép biến đổi xạ ảnh-tuyến tính duy nhấtNS : RPn → RPn
như vậy mà f (ātôi) = NStôi vì tôi = 1, ..., n + 2.

Sự thật 3.2. Cho phép NS : RPn → RPn bản đồ n + 1 điểm p̄1, ..., Pn +1 ∈ RP nở vị trí chung
đến n + 1 điểm q̄1, ..., NSn +1 ∈ RPn ở vị trí chung. Sau đó, chúng tôi có thể giả định mà
không mất tính tổng quát rằng p̄tôi = ētôi và q̄tôi = ētôi vì tôi = 1, ..., n + 1 bằng cách sáng tác
NS với các phép biến đổi xạ ảnh-tuyến tính từ bên trái và từ bên phải: MỘT ◦ NS ◦ NS (
tồn tại bởi Định lý 3.1).

Sự thật 3.3. Cho phép NS : RPn → RPn. Giả sử rằng bản sao liên kết củaNSn (từ đại diện được đưa
ra trong (3.1)) là bất biến dưới NS , và biểu thị hạn chế của nó, bản sao liên kết này bằng cách
NS ′ : NSn → NSn. Cho phépNS ∈ GLn là một ma trận đường chéo trong NSn và để NS ∈ NSn. Khi
đó, tồn tại một phép biến đổi xạ ảnh-tuyến tính Ā∈ PGLn + 1 (NS) như vậy mà hạn chế(ĀF)′ của Ā
NS đến bản sao affine của NSn thỏa mãn (ĀNS)′ = DF ′ + NS. Cụ thể, sự gây ra

32
Chuyển đổi tuyến tính MỘT ∈ GLn +1 Là

- -
- -
- NS NS -
A = -- -
-
- -
0 ··· 0 1

Để chứng minh các định lý 1,7 và 1,8 chúng tôi sẽ cần một số kết quả sơ bộ.

Đề xuất 3.4. Cho phép n ≥ 2 và để một ánh xạ bị hại NS : RPn → RPn được đưa ra. Cho phépP1
,. . . , PNS ∈ RPn thì là ở NS ≤ n + 1 điểm chung và giả định rằng NS ánh xạ bất kỳ đường xạ ảnh
nào đi qua một trong các điểm p̄tôi lên một đường xạ ảnh. Chứng tỏF (p̄tôi) = q̄tôi.
Sau đó {q̄tôiNS
}tôi =1 chung chung và

NS(sp {p̄tôiNS
}tôi =1) = sp {q̄tôi}NStôi =1. (3.2)

Bằng chứng. Chứng minh tương tự như chứng minh bổ đề A.1và tiếp tục bằng cách cảm ứng
trên NS.Trường hợp m = 1 là tầm thường. Giả sử bổ đề là đúng cho (m - 1) và để chung chungP
1,. . . , PNS ∈ RPn được đưa ra. Vì theo giả thuyết quy nạp

NS(sp {p̄tôi}tôi
m−1=1 ) = sp {q̄tôim−1
}tôi =1 ,

-1 NS
giả định về tính bất thường ngụ ý rằng F (p̄NS) 6∈ sp {q̄tôi}NS tôi =1 , và vì vậy {q̄tôi}tôi =1 là chung chung.

Tiếp theo, chúng tôi chứng minh sự bình đẳng trong (3.2) bằng cách hiển thị bao gồm kép. Để đưa vào
NS
của LHS trong RHS trong phương trình (3.2) để x̄ ∈ sp {Ptôi}NS tôi =1 \ {Ptôi}tôi =1 và để l thì là ở
đường xạ ảnh nối x̄ và p̄NS. Kể từ {p̄NS tôi}tôi =1 chung chung, tồn tại một điểm
m−1
ȳ ∈ sp {p̄tôim−1
}tôi =1 vì vậy mà ȳ ∈ l. Theo giả thuyết quy nạp, F (ȳ) ∈ sp {q̄tôi} tôi =1 . Từ
F (p̄NS) ∈ sp {q̄tôi}NStôi =1, và NS ánh xạ mọi đường xạ ảnh qua PNS lên một xạ ảnh
dòng, nó theo sau đó F (l) ⊂ sp {q̄tôi}NS tôi =1. Đặc biệt,F (x̄) ∈ sp {q̄ NS tôi}tôi =1.

Đối với sự bao gồm thứ hai, hãy ȳ′ ∈ sp {q̄tôi}NStôi =1 \ {NStôiNS

}tôi =1 và để l′ trở thành người chụp ảnh

đường kết nối ȳ′ và q̄NS. Khi đó tồn tại một điểm xạ ảnh z̄′ ∈ sp {q̄tôi}m−1 tôi =1
vậy nên
m−1
z̄′ ∈ l′. Theo giả thuyết quy nạp, tồn tại một điểm xạ ảnh z̄∈ sp {p̄tôi} tôi =1 như là
điều đó F (z̄) = z̄′. Do đó, dòng xạ ảnhl đi qua p̄NS và z̄ được ánh xạ vào một đường
xạ ảnh đi qua NSNS và z̄′, cụ thể là l′. Đặc biệt, tồn tại một
điểm xạ ảnh ȳ ∈ sp {p̄ NStôi}tôi =1 mà F (ȳ) = ȳ′.

Các bổ đề phụ sau đây, liên quan đến ánh xạ của NS và NSn,

33
sẽ cho phép chúng ta kết nối giữa kết quả của các phần trước với cài đặt xạ ảnh.

Bổ đề 3.5. Cho phép n ≥ 2, Cho phép NS : NSn → NSn hãy là một sự phản đối thỏa mãn điều đó cho mọix =
(x1, NS2, ..., NSn)NS ∈ NSn,
∑n
F (x) = NStôi(NStôi) etôi

tôi =1

ở đâu NStôi : NS → NS là sự phân biệt với NStôi(0) = 0 và NStôi(1) = 1. Giả định rằng NS ánh xạ bất kỳ
dòng nào qua 0 thành một dòng. Sau đó,NS1 = NS2 = · · · = NSn và NS1 là phép nhân.

Bằng chứng. Đầu tiên, kể từ NS lập bản đồ đường đi qua e = e1 + e2 + · · · + en và thông qua nguồn
gốc thành một dòng, và kể từ F fixes nguồn gốc và điểm e, nó theo sau đó NS lập bản đồ đường sp
{e} vào chính nó. Vì vậy,NS1 = NS2 = · · · = NSn và chúng tôi biểu thị chức năng này bằng NS. Tiếp
theo, kể từ khi dòng qua 0 được ánh xạ thành các dòng xuyên qua 0, nó tuân theo điều đó với mọi
α = (α1, α2, ..., αn)NS ∈ NSn và mọi thứ NS ∈ NS chúng ta có

∑n ∑n
f (tαtôi) etôi = F (tα) = s (t) F (α) = s (t) f (αtôi) etôi
tôi =1 tôi =1

cho một số NS : NS → NS. Lưu ý rằng NS không phụ thuộc vào sự lựa chọn của α. Thật vậy, việc lựa chọnβ
= (β1, β2, ..., βn)NS với β1 = α1 6 = 0 chúng ta có

∑n ∑n
F (tβ) = f (tβtôi) etôi = g (t) f (βtôi) etôi
tôi =1 tôi =1

cho một số NS : NS → NS mà như NS, thỏa mãn g (t) f (α1) = f (tα1) = s (t) f (α1) và vì thế g (t) = s
(t). Thực tế là chúng ta có thể chọn, ví dụ, bất kỳ β2 có nghĩa là f (tβ2) = s (t) f (β2)bất cứ gì t, β2 ∈
NS. Cắm β2 = 1 chúng tôi nhận được s (t) = f (t) và vì thế NS là phép nhân.

Bổ đề 3.6. Cho phép NS : NS → NS là một mũi tiêm nhân đôi. Cho rằngg (x) = f (x + 1) - 1
cũng là phép nhân. sau đóf (x) = x Cho mọi NS ∈ NS.

Bằng chứng. Có thể dễ dàng kiểm tra rằng tính bất thường và tính nhân của NS và NS ngụ ý
rằngNS(0) = NS(0) = 0, NS(±1) = NS(±1) = ±1 và điều đó f (−a) = −f (a) và g (−a) = −g (a)Cho mọi
Một ∈ NS. Tiếp theo, sử dụng quan hệ g (x) + 1 = f (x + 1) và tính nhân tử của NS và NS chúng
tôi hiểu điều đó

g (ab + a + b) + 1 = f (ab + a + b + 1) = f (a + 1)f (b + 1) = g (a) + g (b) + g (ab) + 1

34
bất cứ gì a, b ∈ NS. Cắm vào y = b và x = (b + 1)Một chúng tôi nhận được

NS NS
g (x + y) = g ( ) + g (y) + g ( y)
y+1 y+1

Cho mọi NS và mọi thứ y 6 = -1. Vì vậy, cho bất kỳ NS 6 = 0 và y 6 = -1 chúng ta có

g (x + y) - g (y) 1 y
= NS( ) + NS( ).
g (x) 1+y 1+y

Chúng tôi muốn sử dụng Bổ đề 2,10 để kết luận rằng NS là chất phụ gia, nhưng chúng tôi vẫn
phải đối phó với trường hợp y = -1. Lặp lại ý tưởng chứng minh Bổ đề 2,10, chúng tôi có điều
đó cho mọi x, y 6 = 0, −1

g (x + y) - g (y) - g (x) 1 y
= NS( ) + NS( ) - 1 =: H (y)
g (x) 1+y 1+y

và vì thế g (x + y) - g (y) −g (x) = g (x) H (y). Bằng cách hoán đổi vai trò của NS và y, chúng tôi có
được phương trình g (x + y) - g (y) - g (x) = g (y) H (x), và vì vậy cho tất cả x, y 6 = 0, −1chúng tôi
có cái đó
H (y) H (a)
= .
g (y) g (a)
Vì vậy, H (x) = αg (x) đối với một số α không đổi ∈ NS và cho tất cả NS 6 = 0, −1.x Bằng cách cắm
= 1, và sử dụng các thuộc tính nói trên của NS chúng tôi kết luận rằng

1 1
α = H (1) = NS (1/2) + NS (1/2) - 1 = NS (1) + NS (1) - 1 = 0,
2 2

và vì thế g (x + y) = g (x) + g (y) cho tất cả x, y 6 = 0, −1. Từ NS (0) = 0, chúng tôi rõ ràng có điều đó g
(a + 0) = g (a) + g (0) cho tất cả Một ∈ NS. Hơn nữa, cho tất cả Một 6 = 1,

g (-1 + a) = g (- (1 - a)) = −g (1 - a) = −g (1) - g (a) = g (-1) + g (a),

và kể từ khi bình đẳng NS (1 - 1) = NS (1) + g (-1) cũng như vậy, chúng tôi kết luận rằng NS là
chất phụ gia. TừNS cũng là phép nhân, nó là bản sắc (điều này nổi tiếng và dễ chứng minh, ví
dụ người ta có thể chứng minh rằng phép nhân hàm ngụ ý tính đơn điệu và cùng với phép
cộng người ta có được tính tuyến tính) và như vậy f (x) = g (x + 1) - 1 = NS.

Bổ đề tiếp theo ngay lập tức được ngụ ý bởi Bổ đề 3.6.

Bổ đề 3.7. Cho phép NS : NS → NS là một mũi tiêm nhân đôi. Giả sử rằng cũng là chức năng

35
 f (x + 1) - 1
g (x) = là phép nhân. sau đóf (x) = x Cho mọi NS ∈ NS.
NS(2) - 1

Bằng chứng. Như đã nêu trong phần chứng minh Bổ đề 3.6, tính bất thường và tính nhân
của NSvà NS ngụ ý rằng NS(0) = 0 và g (-1) = −1. Cắm điện x = -1 vào công thức của NSngụ
ý rằng NS(2) = 2 và vì thế g (x) = f (x + 1) - 1. Theo bổ đề 3.6, f (x) = x Cho mọiNS ∈ NS.

Bổ đề 3.8. Cho phép n ≥ 2, Cho phép NS : NSn → NSn là một chất phụ gia. Cho rằngNS ánh xạ bất kỳ đường

nào đi qua một điểm nhất định NS0 ∈ NSn thành một dòng. Sau đó,NS là affine.

Bằng chứng. Cho phép l ⊂ NSn là bất kỳ dòng nào và chọn bất kỳ NS ∈ l. Bởi sự bổ sung của F, F
(l) = F (l - x + x0) + F (x - x0) mà theo giả định của chúng tôi, được chứa trong một dòng. Do đó,
theo bổ đề cơ bản cổ điển của hình học affine (cụ thể là Định lý5.2 phía dưới), NS là affine.

Mệnh đề 3.9. Cho phép n ≥ 2, Cho phép NS : NSn → NSn hãy là một sự phản đối thỏa mãn điều đó cho mọi
x = (x1, NS2, ..., NSn)NS ∈ NSn,
∑n
F (x) = NStôi(NStôi) etôi

tôi =1

ở đâu NStôi : NS → NS là sự phân biệt với NStôi(0) = 0 và NStôi(1) = 1. Cho phép NS0 ∈ NSn \ {0} là một
∑ n
vector của hình thức NS0 = tôi =1 αtôietôi ở đâu cho mỗi tôi, αtôi = 1 hoặc 0. Giả định rằng NS bản đồ
bất kỳ dòng nào qua điểm gốc và bất kỳ dòng nào qua NS0 thành một dòng. Sau đó,F (x) = x bất cứ gì NS.

Bằng chứng. Theo bổ đề 3.5, tất cả NStôigiống hệt nhau, vì vậy chúng tôi biểu thị chúng bằng NS, và NS là
phép nhân. Tiếp theo, chúng tôi xác định một hàmNS : NSn → NSn, như sau.

()
∑n ∑n ∑n f (x +tôiα) - αtôitôi etôi.
NS NStôietôi = NStôi(NStôi) etôi : = NS(
1 + αtôi) - αtôi
tôi =1 tôi =1 tôi = 1

Thật dễ dàng để kiểm tra điều đó cho mỗi tôi, gtôi(0) = 0 và NStôi(1) = 1. Hơn nữa, người ta có thể kiểm tra
rằng NS bản đồ các dòng qua 0 thành dòng, kể từ NS bản đồ các dòng qua NS0 thành dòng. Qua
Bổ đề 3.5, tất cả NStôilà giống hệt nhau, và nhân. Vì có ít nhất một
f (x + 1) - 1
mục lục tôi cho cái nàotôi = 1, nó theo sau đó là phép nhân, cũng như NS. Qua
NS(2) - 1
Bổ đề 3.7, f (x) = x.

36
3.3 Bằng chứng về các kết quả chính của phương pháp xạ ảnh

Trong phần này, chúng tôi chứng minh các Định lý 1,7 và 1,8.

Chứng minh Định lý 1,7. Theo đề xuất 3,4, F (p̄1), ..., F (p̄n +1) ở vị trí chung. Do đó, bởi Fact
3.2 chúng tôi có thể giả định mà không mất tính tổng quát rằng p̄tôi = ētôi vì tôi =
1, ..., n +1 và điều đó F (ētôi) = ētôi vì tôi = 1, ..., n +1. Chúng tôi xác định sp {ē1, ..., ēn} với NSPn−1
và nhớ lại đại diện (3.1) ở đâu NSPn = NSPn−1 ∪ NSn. Dự luật3,4cũng ngụ ý rằng NS(NSP
n−1) = NSPn−1, và vì thế NS(NSn) = NSn. Theo giả định của định lý,Pn +2 thuộc về bản sao
affine của NSn, và kể từ p̄n +2 6 = ēn +1, nó tương ứng với một điểmNS0 ∈ NSn \ {0}. Bằng
cách sáng tác NS với một phép biến đổi xạ ảnh-tuyến tính theo đường chéo từ bên
phải, chúng ta có thể giả sử rằng NS0 = e1 + · · · + ek.
Biểu thị hạn chế của NS đến bản sao affine của NSn qua NS ′ : NSn → NSnvà quan sát điều đó
NS ′ thỏa mãn các điều kiện của Định lý 1,2 và vì vậy nó có dạng đường chéo:

∑n
NS ′(NS1, ...., NSn) = NStôi(NStôi) etôi,

tôi =1

ở đâu NStôi : NS → NS là các phép phân tích. TừF (ēn +1) = ēn +1, NS ′(0) = 0 và NS ′ bản đồ các đường
thông qua điểm gốc thành các đường. Hơn thế nữa,NS ′ ánh xạ bất kỳ đường nào qua điểm tương
ứng của nó NS0 ∈ NSn thành một dòng. Theo sự thật3,3 chúng tôi có thể giả định mà không mất đi
tính tổng quát rằng NS ′(etôi) = etôi vì tôi = 1, ..., n bằng cách sáng tác NS với một phép biến đổi xạ
ảnh-tuyến tính theo đường chéo từ bên trái. Như vậyNStôi(0) = 0 và NStôi(1) = 1 cho tất cả tôi. Sau đó,
NS ′ thỏa mãn các điều kiện của Bổ đề 3,9 ngụ ý rằng NS ′ là ánh xạ danh tính. Tiếp theo, chúng tôi
giải thích tại saoF |NSPn−1 cũng là bản sắc. Hãy để p̄∈ NSPn−1 và lấy một dòng xạ ảnh l̄ bao gồm p̄ và p̄
n +2. Kể từ khi hạn chế củaNS để chứng minh bản sao của NSn là bản đồ nhận dạng, bất kỳ điểm xạ
ảnh nào trong l̄ khác với p̄ đều được ánh xạ tới chính nó. Vì, theo giả định, l̄ được ánh xạ vào một
đường, nên theo đó p̄ cũng phải được ánh xạ với chính nó. Do đó, cho đến các bố cục có phép biến
đổi xạ ảnh-tuyến tính,NS là bản đồ nhận dạng, có nghĩa là NS là một ánh xạ xạ ảnh-tuyến tính.

Chứng minh Định lý 1,8. Theo đề xuất 3,4, F (p̄1), ..., F (p̄n +1) là chung trong không gian con
xạ ảnh sp {F (p̄1), ..., F (p̄n)}. Do đó, bởi Fact 3.2 chúng tôi có thể giả định mà không mất
tính tổng quát rằng p̄tôi = ētôi và F (ētôi) = ētôi vì tôi = 1, ..., n +1. Chúng tôi xác định sp {ē1, ...,
ēn} vớiNSPn−1 và nhớ lại đại diện (3.1) ở đâu NSPn = NSPn−1 ∪ NSn. Dự luật3,4cũng ngụ ý
rằng NS(NSPn−1) = NSPn−1 và vì thế NS(NSn) = NSn.

37
 Biểu thị hạn chế của NS đến bản sao liên kết của nó NSn qua NS ′ : NSn → NSnvà quan sát
điều đóNS ′ thỏa mãn các điều kiện của Định lý 1.1, và vì thế NS ′ là phụ gia affine. Các giả thiết
của định lý về p̄n +2 ngụ ý rằng NS ′ cũng thỏa mãn các điều kiện của Bổ đề 3.8, và do đó nó là
affine. Theo sự thật3,3, chúng tôi có thể giả định mà không mất đi tính tổng quát rằng NS ′ là
ánh xạ danh tính. Tiếp theo, chúng tôi giải thích tại saoF |NSPn−1 cũng là bản sắc. Hãy để p̄∈ NSP
n−1 và lấy một dòng xạ ảnh l̄ bao gồm p̄ và p̄n +2. Kể từ khi hạn chế củaNS đến bản sao affine của
NSn là ánh xạ nhận dạng, bất kỳ điểm nào khác với p̄ được ánh xạ tới chính nó. Vì, theo giả
thiết, l̄ được ánh xạ vào một dòng, nên theo đó p̄ phải được ánh xạ với chính nó. Do đó, lên
đến bố cục với bản đồ xạ ảnh-tuyến tính,NS là bản đồ nhận dạng, và do đó nó là bản đồ xạ
ảnh-tuyến tính.

Nhận xét 3.10. Từ định lý1,8 và Định lý 1,7, người ta có thể suy ra một kết quả tương tự cho hình
cầu đơn vị NSn ⊆ NSn +1; Cho phépNS : NSn → NSn là một ánh xạ không xác định ánh xạ bất kỳ vòng
tròn lớn nào có chứa một điểm thuộc một tập hợp nhất định của n + 2 điểm (ví dụ: ở vị trí chung
hoặc với n + 1 ở vị trí chung trong NSn−1 ⊂ NSn và một điểm khác không có trong NSn−1, theo
Theorems 1,8 và 1,7) vào một vòng tròn lớn. sau đóNS được tạo ra bởi một bản đồ tuyến tính MỘT
∈ GLn +1 (NS). Thật vậy, qua bất kỳ điểm nào NS ∈ NSn vượt qua ít nhất hai vòng kết nối tuyệt vời
được ánh xạ vào các vòng kết nối tuyệt vời và do đó f (x) = −f (−x). Sau đó, chúng tôi có thể dán NS
đến -NS và tạo ra một ánh xạ sai lầm về NSPn thỏa mãn các điều kiện của Định lý 1,8 hoặc Định lý
1,7.

4 Điều gì xảy ra theo giả định liên tục

Trong phần này, chúng ta thảo luận về các kết quả thu được trước đây của chúng ta, khi chúng ta thêm
vào các giả định của các định lý, một giả định về tính liên tục. Rõ ràng, ở bất cứ nơi nào suy ra được tính
cộng ái lực, giả định về tính liên tục ngụ ý về tính tuyến tính (trên thực tế, ngay cả những hạn chế yếu
hơn như khả năng đo lường hoặc giới hạn cục bộ cũng bao hàm tính tuyến tính).
Điều gì kém rõ ràng hơn và điều mà chúng tôi chứng minh dưới đây trong Đề xuất 4.4 , đó có
phải là theo giả định về tính liên tục, điều kiện mà một ánh xạ NS : NSn → NSn lập bản đồ các đường
nhất định trên các đường có thể được thay thế bằng một giả định về độ thẳng hàng chung, cụ thể
là các đường được ánh xạ vào trong các dòng. Tuy nhiên, để chứng minh thực tế này, chúng ta
cũng cần giả định rằngNS là khách quan (và không chỉ gây thương tích như đã được giả định cho
đến nay). Thực tế này sẽ theo sau từ định lý miền bất biến nổi tiếng của Brouwer, trong đó nói rằng
bất kỳ ánh xạ liên tục sai nào từNSn đến NSNS là một ánh xạ mở (xem ví dụ: [số 8, Hệ quả 19.8]).
Quan sát tương tự cũng áp dụng đối với cài đặt xạ ảnh, mà chúng tôi đề cập trong Đề xuất

38
4,5 phía dưới.

Nhận xét trên có thể được áp dụng cho tất cả các kết quả chính trong ghi chú này.
Ví dụ, các phiên bản liên tục của Định lý1,4, 1,6, và 1,7 có thể được xây dựng tương
ứng như sau. Chúng tôi để người đọc kết hợp tất cả các kết quả khác với Mệnh đề4.4
và 4,5 để có được các phiên bản liên tục của chúng.

Định lý 4.1. Cho phép m, n ≥ 2. Cho phép v1,. . . vn +1 ∈ NSn ở vị trí chung. Cho phépNS :NSn
→ NSn là một ánh xạ bijective liên tục ánh xạ từng dòng trong L (v1,. . . , vn +1) thành một
dòng. sau đóNS là một ánh xạ đa thức có dạng

∑ ∏n
δtôi
(NS ◦ Cây rìu1,. . . , NSn) = uδ NStôi

δ∈ {0,1}n tôi =1

ở đâu MỘT ∈ GLn (NS) và uδ ∈ NSn thỏa mãn các điều kiện sau:

• uδ = 0 cho tất cả δ với | δ | ≥ n2 +2, và

• cho mỗi 2 ≤ k < n +22 và mọi thứ 0 ≤ l ≤ k - 2 chỉ số 1 ≤ tôi1 < · · · < tôil ≤ n,
∑
uδ = 0.
| δ | = k,
δtôi1 = ··· = δtôil =1

Định lý 4.2. Cho phép v1, v2,. . . , v5 ∈ NS3 thì là ở 3-sống độc lập. Cho phépNS : NS3 → NS3 là một ánh
xạ bijective liên tục ánh xạ từng dòng trong L (v1,. . . , v5) thành một dòng. sau đóNS là affine.

Định lý 4.3. Cho phép n ≥ 2. Hãy để p̄1, ..., Pn, Pn +1 ∈ NSP n chung chung và giả sử rằng một điểm
Pn +2 ∈ NSPn thỏa mãn điều đó p̄n +2 6∈ sp {p̄1, ..., Pn} và Pn +2 6 = p̄n +1. Cho phépNS : NSP n→ NSPn
là một ánh xạ đối tượng liên tục ánh xạ bất kỳ đường xạ ảnh nào có chứa một trong các điểm
p̄1, ..., Pn +2 thành một đường xạ ảnh. sau đóNS là một ánh xạ xạ ảnh-tuyến tính.

Bây giờ chúng tôi phát biểu và chứng minh thành phần cho phép chúng tôi chứng minh các định lý trên

dựa trên những định lý mà chúng tôi đã chứng minh:

Đề xuất 4.4. Cho phép NS : NSn → NSn là một ánh xạ bijective liên tục. Giả sử rằngNS ánh xạ một
đường nhất định l thành một dòng. sau đóNS bản đồ l trên một dòng.

Bằng chứng. Từ NS mang theo l thành một dòng, chúng tôi có thể thấy hạn chế của nó đối với l như một
hàm có giá trị thực được xác định trên dòng thực. Vì nó là liên tục và bị thương, nó cũng là một mở

39
ánh xạ, và do đó F (l) là một khoảng mở. Giả định rằngF (l) không phải là một dòng (đầy đủ).
Sau đó, tồn tại một điểm cuốiy ∈ NSn của khoảng thời gian mở F (l) không đạt được như hình
ảnh của một điểm trong l. Từ NS là vào, tồn tại một điểm NS 6∈ l như vậy màF (x) = y. Cho
phép MỘT là một tập hợp cởi mở xung quanh NS thỏa mãn điều đó MỘT ∩ l = ∅. Theo tính bất
biến của định lý miền, NS là một ánh xạ mở, và do đó F (A) là một tập hợp mở thỏa mãn điều
đó F (A) ∩ F (l) = ∅, một sự mâu thuẫn với thực tế rằng y ∈ F (A). Vì vậy NS bản đồ ltrên một
dòng.

Mệnh đề sau đây xử lý trường hợp liên tục xạ ảnh:

Đề xuất 4.5. Cho phép NS : RPn → RPn là một ánh xạ bijective liên tục. Giả sử rằngNS ánh xạ
một đường xạ ảnh nhất định l thành một đường xạ ảnh. sau đóNS bản đồ l lên một đường
xạ ảnh.

Bằng chứng. Vì định lý miền bất biến của Brouwer là một tuyên bố cục bộ, nó phù hợp với các
đa tạp chung (không có ranh giới), đặc biệt đối với RPn. Do đó, bằng chứng của Đề xuất
4,5 nghĩa đen giống như bằng chứng của Mệnh đề 4.4.

5 Định lý cơ bản - Một tài khoản lịch sử

Chúng tôi đã không tìm thấy một tài khoản có thể truy cập được về các dạng khác nhau và tổng quát của
các định lý cơ bản của hình học xạ ảnh và affine. Trong phần này, chúng tôi cố gắng đưa ra một danh
sách các kết quả đã biết để so sánh với kết quả của chúng tôi và để tham khảo trong tương lai.

Để đơn giản hóa giải trình, chúng tôi sẽ nêu kết quả cho trường NS, và chỉ ra, cùng với các
tham chiếu, khi chúng cũng hợp lệ cho các trường khác, chẳng hạn như NSvà ZP. Trong phần
5,6 dưới đây, chúng tôi sẽ thảo luận ngắn gọn về các cấu trúc cơ bản chung hơn mà các kết
quả đó giữ được.

5.1 Các định lý cổ điển về hình học xạ ảnh và affine

Có vẻ như sự xuất hiện sớm nhất của các định lý cơ bản trong tài liệu là dành cho
mặt phẳng xạ ảnh thực và trở lại với Von Staudt (1847), ví dụ, [10, trang 38]. Có lẽ
phiên bản hiện đại quen thuộc nhất là phiên bản sau, được ngụ ý bởi Định lý5,8
phía dưới ([2, Định lý 2.26]) bằng cách đặt cả hai vành chia cơ bản là
NS.
Định lý 5.1. Cho phép n ≥ 3. Cho phép NS : RPn → RPn là một sự phản đối. Giả định rằngNS lấy ba
điểm thẳng hàng bất kỳ thành điểm thẳng hàng. sau đóNS là xạ ảnh tuyến tính.

40
 Phiên bản cổ điển nhất của định lý cơ bản của hình học afin, là hệ quả đơn giản
của phép đối xạ ảnh của nó, và phát biểu như sau (xem ví dụ, [5, trang 52], cho
phép các trường cơ bản đều NS)

Định lý 5.2. Cho phép n ≥ 2. Cho phép NS : NSn → NSn là một sự phản đối. Giả định rằngNS lấy ba
điểm thẳng hàng bất kỳ thành điểm thẳng hàng. sau đóNS là affine.

Định lý 5.2 giữ cho các trường khác, chẳng hạn như C, ZP (P 6 = 2), và các vòng chia chẵn. Tuy
nhiên, trong những trường hợp chung như vậy, nên xem xét bản đồ bán liên kết thay vì bản đồ liên
kết. VìZ2, định lý nói chung không đúng, như đã được quan sát trong [9, Chú thích 12]. Trong cùng
một bài báo, các tác giả hoàn toàn phân tích trường hợp này.

5.2 Không có tính chủ quan

Người ta có thể loại bỏ giả định về tính khách quan khỏi các định lý cơ bản và thay thế chúng
bằng các điều kiện nhẹ nhàng khác. Ví dụ đầu tiên thu được bằng cách thay thế tính bề ngoài
bằng điều kiện các đường được ánh xạtrên dòng (như được giả định trong các kết quả chính
trong ghi chú này), xem ví dụ: [15, trang 925]:

Định lý 5.3. Cho phép n ≥ 2. Cho phép NS : NSn → NSn bị thương. Giả định rằngNS đưa bất kỳ dòng nào

vào một dòng. sau đóNS là affine.

Một kết quả hữu ích khác và tổng quát hơn được nêu trong [11, trang 122], như một hệ
quả dễ hiểu của Hilfssatz 3 của Lenz [14]:

Định lý 5.4. Cho phép n ≥ 2. Cho phép NS : NSn → NSn bị thương. Giả định rằngNS lấy ba điểm thẳng
hàng bất kỳ thành điểm thẳng hàng. Cũng giả sử rằngNS (NSn) không được chứa trong một dòng.
sau đóNS là affine.

5.3 Không có thương tích

Trong một tác phẩm của Chubarev và Pinelis [9], các tác giả đã chứng minh rằng có thể loại bỏ
giả định về tính bất thường khỏi định lý cơ bản. Họ cũng khái quát điều kiện cộng tuyến để có
NS-máy bay được ánh xạ vào NS-máy bay cho một số NS ∈ {1,. . .n - 1}, nơi mộtNS-máy bay là
một bản dịch của một NS-không gian con chiều. Hơn nữa, kết quả của chúng cũng giữ trong
một thiết lập chung của không gian vectơ trên các vòng chia. Họ cũng cẩn thận xử lý trường
hợp trong các trường cơ bản làZ2. VìNS kết quả chính của họ đọc như sau.

Định lý 5.5. Cho phép n ≥ NS ≥ 2. Cho phép NS : NSn → NSNS được mặt khách quan. Cho phépNS ∈ {1,. . . ,n - 1}.Giả định

rằng NS lấy mọi NS-máy bay trong NSn thành một NS-chiếc máy bay. sau đóNS là affine.

41
5.4 Tính cộng đồng trong một tập hợp các hướng hạn chế

Có vẻ như kết quả theo tinh thần của bài báo này, nơi người ta hạn chế họ các dòng mà tính
thẳng hàng được bảo tồn, đã được xem xét trong tài liệu chủ yếu về chiều n = 2. Đối với
trường hợp của mặt phẳng xạ ảnh thực, Kasner [12] đã chứng minh rằng một bản đồ tự phân
biệt hai lần là xạ ảnh-tuyến tính nếu nó ánh xạ từng dòng trong một “4-web "họ dòng thành
một dòng, trong đó"4-web ”bao gồm bốn họ đường ngang dọc, mỗi họ bao phủ miền của bản
đồ. Sau đó, vào những năm 1920, W. Blaschke và các đồng nghiệp của ông đã tuyên bố rằng
nguyên tắc này là đúng mà không có giả định về tính khác biệt (xem [7, P. 91]) và một bằng
chứng hoàn chỉnh về thực tế này đã được đưa ra vào năm 1935 bởi Prenowitz [19, Định lý V].

Đối với trường hợp chiều cao hơn, mặc dù định lý có vẻ cổ điển, chúng tôi không tìm thấy điều này
được nêu ở bất cứ đâu trong tài liệu. Một kết quả liên quan là của Shiffman [20, Định lý 3] trong đó ông
giả định rằng các phép đối chiếu được bảo toàn cho các điểm trên một tập hợp các đường mở (do đó rất
lớn). Tuy nhiên, kết quả của anh ấy (cũng như các kết quả đã nói ở trên cho mặt phẳng xạ ảnh) nằm
trong một khuôn khổ phong phú hơn chỉ liên quan đến các phân đoạn trong một tập con mở. Để chính
thức công bố kết quả của mình, chúng ta cần một số ký hiệu. Cho phépCPn biểu thị không gian xạ ảnh
phức tạp. Biểu thị liên hợp phức tạp của một hàmNS : CPn → CPn
bởi f̄. Cho phépLnNS, LnNS biểu thị tập hợp các đường trong xạ ảnh thực và phức n-các khoảng trắng.
Chúng tôi cung cấp các không gian xạ ảnh RPn, CPn và Grassmannians Ln NS, LnNS thông thường
cấu trúc liên kết hệ mét. Đối với một tập hợp conU ⊂ RPn chúng tôi viết L (U) = {L ∈ Ln NS : L ∩ U 6 = ∅}
(và tương tự cho một tập hợp con U ⊂ CPn). Shiffman đã chứng minh những điều sau:

Định lý 5.6. Cho phép n ≥ 2. Cho phép U là một tập hợp mở được kết nối trong RPn (CPn) và để L0 thì là ở
⋃
một tập hợp con mở của L (U) như vậy mà U ⊆ L0. Giả sử rằngf: U → RPn (f: U → CPn)
là một bản đồ thương tích liên tục như vậy f (L ∩ U) được chứa trong một dòng xạ ảnh cho tất
cả L ∈ L0. Sau đó, tồn tại một phép biến đổi xạ ảnh-tuyến tínhMỘT như vậy mà f = A |U
(và trong trường hợp phức tạp: f = A |U hoặc f̄ = A |U).

5.5 Các định lý cơ bản về windows

Định lý cơ bản cổ điển của hình học affine, ví dụ: Định lý 5.2, mô tả bản đồ tự của NSn các
đường hoặc đoạn bản đồ thành các phân đoạn. Các bản đồ như vậy hóa ra là affine. Trong
trường hợp xạ ảnh, các bản đồ như vậy trở thành xạ ảnh-tuyến tính. Trong Định lý Shiffman5,6
, kết luận tương tự cũng đúng khi miền của phép biến đổi là bất kỳ tập con mở nào được kết
nối của xạ ảnh n-không gian. Kết quả của anh ấy có thể được dịch sang

42
thiết lập affine, trong đó các bản đồ xạ ảnh-tuyến tính tạo ra một loại bản đồ bảo tồn phân đoạn đặc biệt khi bị

giới hạn trong một tập hợp con của NSn, được gọi là bản đồ tuyến tính phân số. Các bản đồ như vậy được định

nghĩa như sau. Cho phépNS ⊂ NSn là một miền chứa trong một nửa không gian. Sửa một sản phẩm vô hướng

〈・, ·〉 trên NSn và để MỘT là một bản đồ tuyến tính, b, c ∈ NSn hai vectơ và NS ∈ NS một số hằng số. Bản đồ

(tuyến tính phân số)

1
v→ (Av + b)
〈c, v〉 + NS

được xác định trên nửa không gian mở 〈c, v〉 <-NS và đang bảo toàn phân đoạn (và bị thương).

Trong [3, Định lý 2.17], các tác giả chứng minh định lý sau cho các miền lồi của NSn (hoặc
"cửa sổ"). Cũng như xây dựng kết quả của họ trong thiết lập affine, họ sử dụng một cách tiếp
cận khác với cách tiếp cận của Shiffman.

Định lý 5.7. Cho phép n ≥ 2 và để K ⊂ NSn là một tập hợp lồi với phần bên trong không rỗng. Giả sử
F: K → NSn là một bản đồ không xác định ánh xạ từng đoạn trong K thành một phân đoạn. sau đóNS
là một bản đồ tuyến tính phân số.

Nhiều tính chất khác của bản đồ tuyến tính phân số được nghiên cứu trong [3], cũng như
các điều kiện đủ buộc bản đồ tuyến tính phân số phải là affine.

5.6 Các cấu trúc cơ bản chung

Cho phép V, V ′ là hai không gian vectơ bên trái trên các trường k và k′ tương ứng. Giả sử
rằng tồn tại một đẳng cấuµ bản đồ nào k trên k′. Sau đó, một bản đồ λ:V → V ′ được gọi là
bán tuyến tính đối với µ nếu λ (ax + by) = µ (a) λ (x) + µ (b) λ (y) Cho mọi x, y ∈ Vvà tất cả a,
b ∈ k.
Bản đồ trắc nghiệm σ giữa hai không gian xạ ảnh V̄, V̄ ′ có kích thước bằng nhau được cho là
là một đối chiếu nếu đối với bất kỳ không gian con xạ ảnh nào Ū1, Ū2 ∈ V¯, Ū1 ⊆ Ū2 ngụ ý σU¯ 1⊆ σŪ2.
Có lẽ biến thể hiện đại nổi tiếng nhất của định lý cơ bản của hình học xạ ảnh,
với cấu trúc cơ bản chung nhất xuất hiện trong cuốn sách của Artin [2, Định lý
2.26]:

Định lý 5.8. Cho phép V và V ′ là (trái) không gian vectơ có kích thước bằng nhau n ≥ 3
vượt qua vòng chia k tương ứng k′và để V̄, V̄ ′ là các không gian xạ ảnh tương ứng. Cho
σ: V̄→ V̄ ′ là một tương ứng sinh học ánh xạ các điểm thẳng hàng với các điểm thẳng
hàng. Sau đó, tồn tại một đẳng cấuµ của k trên k′ và một bản đồ bán tuyến tính λ của
Vtrên V ′ (đối với µ) sao cho sự hợp nhất mà λ gây ra trên V̄ đồng ý với

43
σ trên các điểm của V̄. Nếu λ1 là một bản đồ bán tuyến tính khác liên quan đến phép đẳng
cấuµ1 của k trên k′ mà cũng tạo ra sự liên kết này sau đó λ1 (x) = λ (αx) cho một số cố địnhα
6 = 0 của k và đẳng cấu µ1 được đưa ra bởi µ1 (x) = µ (αxα−1). Đối với bất kỳ α nào6 = 0 bản
đồ λ (αNS) sẽ là bán tuyến tính và tạo ra sự đối chiếu giống như λ. Sự đẳng cấuµ do đó,
được xác định bởi tùy chọn tự động hóa bên trong của k.

Tồn tại các biến thể khác của các định lý cơ bản, chủ yếu liên quan đến cấu trúc cơ bản, mà
chúng tôi sẽ không nêu trong ghi chú này. Một ví dụ như vậy có thể được tìm thấy trong [16] cho
các mô-đun miễn phí trên các vòng cục bộ.

Phụ lục A Một định lý cơ bản trong điều kiện

Parallelism
Trong phụ lục này, chúng tôi chứng minh các định lý 1.1 và 1,2. Như đã đề cập trước đây, những kết quả này đã

được nêu và chứng minh trong một bối cảnh tổng quát hơn trong [4], nhưng bằng chứng của họ trong cài đặt

của chúng tôi đơn giản hơn nhiều. Hơn nữa, người ta cũng cần lưu ý tính đơn giản của các kết quả này, so với

kết quả của chúng tôi từ các phần trước.

Chúng ta bắt đầu với bổ đề đại số tuyến tính sau đây.

Bổ đề A.1. Cho phép 2 ≤ n. Cho phép v1,. . . , vn là các vectơ độc lập tuyến tính trong NSn. Cho phépNS : NS
n→ NSNS là một mũi tiêm, NS(0) = 0, và giả định NS ánh xạ từng dòng trong L (v1,. . . , vn)trên một dòng, và
hơn thế nữa, NS(L (vtôi)) = L (F (vtôi)). Nghĩa là, các đường thẳng song song trong họ được ánh xạ thành các
đường thẳng song song. Sau đó, những điều sau đây giữ cho mọi2 ≤ k ≤ n.

F (v1), F (v2),. . . , F (vk) độc lập tuyến tính, (A.1)

NS(sp {v1,. . . , vk}) = sp {F (v1),. . . , F (vk)}. (A.2)

Hơn thế nữa,

F (vk + sp {v1,. . . , vk−1}) = F (vk) + sp {F (v1),. . . , F (vk−1)} (A.3)

Chứng minh bổ đề A.1. Theo giả định,

F (x + sp {vtôi}) = F (x) + sp {F (vtôi)} (A.4)

cho tất cả vtôi và NS ∈ NSn.

44
 Tiếp theo, chúng tôi tiến hành bằng cách cảm ứng trên k Để chứng minh rằng (A.1) và (A.2) tổ chức.

Vìm = 1tuyên bố là tầm thường. Giả định rằng (A.1) và (A.2) giữ cho (k - 1). Giả định rằng

F (vk) ∈ sp {F (v1), ..., F (vk−1)}.

Sau đó, thực tế là (A.2) Giữ cho k - 1 ngụ ý rằng có tồn tại u ∈ sp {v1, ..., vk−1}như
vậy mà F (u) = F (vk). Tính thương vong củaNS ngụ ý rằng u = vk, mâu thuẫn với
thực tế rằng v1, ..., vk độc lập tuyến tính.
Tiếp theo, chúng tôi cho thấy rằng (A.2) Giữ cho k. Biểu thị phép chiếu lên sp {v2, ..., vk} dọc theo
v1 qua P1. Cho phépNS ∈ sp {v1, ..., vk}. Từx - P1NS ∈ sp {v1} nó theo sau từ (A.4) điều đó

F (x) ∈ F (P1x) + sp {F (v1)}.

Theo giả thuyết quy nạp, chúng ta có

F (P1NS) ∈ sp {F (v2), ..., F (vk)},

và vì thế F (x) ∈ sp {Truyền hình1), ..., Truyền hìnhk)}. Vì vậy, NS(sp {v1,. . . , vk}) ⊂ sp {F (v
1),. . . , F (vk)}.Đối với hướng ngược lại, hãy chọn một điểm y ∈ sp {F (v1),. . . , F (vk)}. Đi
quay song song với F (v1). Dòng này phải giao với không gian consp {F (v2),. . . , F (vk)}
tại một số điểm, theo giả thuyết quy nạp là F (z) với z ∈ sp {v2,. . . , vk}. Đi đường thẳng
song song vớiv1 và đi qua z. Theo giả định, dòng này được ánh xạ vào dòng nói trên,
và do đó y trong NS(sp {v1,. . . , vk}) theo yêu cầu.
Ở đây, người ta có thể dễ dàng nhận thấy rằng hình ảnh của NS thực tế là một không gian con của thứ nguyên

n, và như vậy mà không làm mất đi tính tổng quát m = n và NS là một từ chối. Hơn thế nữa,NS−1 ánh xạ tất cả các dòng

trong L (F (v1),. . . F (vn)) vào các đường thẳng, và các đường song song của họ này vào các đường thẳng song song.

Nó vẫn để chứng minh tài sản đó (A.3) giữ. Cho mỗitôi = 1, ..., k biểu thị các phép chiếu
lên sp {eNS}NS6 =tôi dọc theo vtôi qua Ptôi. Cho phépNS ∈ vk + sp {v1,. . . , vk−1} và định nghĩa đệ
quy y0 = NS và ytôi = Ptôiyi−1. Rõ ràng, chúng tôi cóyi−1 - ytôi ∈ sp {vtôi} vì 1 ≤ tôi ≤ m - 1và yk−1 =
vk. Vì vậy,F (yi−1) -F (ytôi) ∈ sp {F (vtôi)} cho mỗi tôi = 1,. . . ,k−1. Bằng cách viết,

F (x) = [F (x) - F (y0)] + [F (y0) - F (y1)] + · · · + [F (yk−2) - F (yk−1)] + T (yk−1),

45
chúng tôi đạt được F (x) ∈ F (vk) + sp {F (v1),. . . , F (vk−1)} và do đó

F (vk + sp {v1,. . . , vk−1}) ⊂ F (vk) + sp {F (v1),. . . , F (vk−1)}.

Áp dụng lý luận tương tự cho NS−1 chứng minh sự bình đẳng.

Tiếp theo chúng ta chứng minh Định lý 1,2:

Chứng minh Định lý 1,2. Không mất tính tổng quát (theo Sự thật 2,2 và Sự thật 2.3) chúng ta có thể
giả định rằng NS(0) = 0, {vtôi}ntôi =1 = {etôi}ntôi =1 là cơ sở tiêu chuẩn của NSn, và điều đó F (etôi) = etôi.
Ở đây chúng tôi sử dụng thực tế rằng F (vtôi) là độc lập tuyến tính, theo sau từ Bổ đề
A.1. Những giả định này sẽ dẫn đến các yếu tố tuyến tính bổ sungMỘT và NS trong phát biểu
của định lý.
Cho mỗi tôi = 1,. . . ,n và mọi thứ Một ∈ NS định nghĩa NStôi : NS → NS qua

F (aetôi) = NStôi(a) etôi.

Cho phép x = (x1, NS2, ..., NSn)NS ∈ NSn. Theo bổ đềA.1 chúng ta có

F (x) ∈ F (xtôietôi + spNS6 =tôi{eNS}) = F (xtôietôi) + spNS6 =tôi{F (eNS)} = NStôi(NStôi) etôi + spNS6 =tôi{eNS}.

Kể từ đây,

(F (x))tôi = NStôi(NStôi)

và vì thế
∑n
F (x) = NStôi(NStôi) etôi,

tôi =1

theo yêu cầu. Thực tế làNStôiđược giữ lại một cách tầm thường về mặt khách quan kể từ khi NS bản đồ các đường

trongL (e1,. . . , en) lên dòng.

Cuối cùng, chúng tôi chứng minh Định lý 1.1:

Chứng minh Định lý 1.1. Không mất tính tổng quát (theo Sự thật 2,2 và Sự thật 2.3) chúng ta có thể

giả định rằng NS(0) = 0, {vtôi}n tôi =1 = {etôi}ntôi =1 là cơ sở tiêu chuẩn của NSn, vn +1 = v = e1 +
· · · + en. Ở đây chúng tôi sử dụng thực tế rằngv1,. . . , vn +1 là n-sống độc lập. Những giả định này sẽ
dẫn đến hệ số tuyến tính bổ sungMỘT trong phát biểu của định lý. Tương tự, chúng tôi có thể giả
định mà không mất đi tính tổng quát rằngF (etôi) ∈ sp {etôi} cho tất cả tôi = 1,. . . ,n và điều đóF (v) =
v. Ở đây chúng tôi sử dụng thực tế rằng F (v1),. . . ,F (vn +1) là n-độc lập, mà

46
theo sau từ bổ đề A.1. Những giả định này sẽ dẫn đến các yếu tố tuyến tính bổ sung
NStrong phát biểu của định lý.
Theo định lý 1,2, tồn tại các chức năng sinh học NS1,. . . NSn : NS → NS như vậy mà

F (x) = (f1 (NS1),. . . ,NSn (NSn))NS

Cho mọi x = (x1,. . . , NSn)NS ∈ NSn.

Cho phép NS ∈ NS. từ NS mang dòng sp {v} vào chính nó, nó theo sau đó F (tv) = (f1 (NS) , . . . ,
NSn (NS))NS ∈ sp {v} và như vậy NS1 (t) = · · · = NSn (NS) cho tất cả NS ∈ NS. Nói cách khác,NS1,. . . , NSn
giống hệt nhau và được biểu thị từ đây trở đi bởi NS.
Tiếp theo chúng tôi cho thấy rằng NS là một chức năng phụ gia. Cho phépa, b ∈ NS. Kể từ khi dòng
đi qua thì là ở1và av + be1 song song với v, và kể từ khi NS ánh xạ tất cả các dòng trong L (v) lên các
đường song song với NS (sp {v}) = sp {v}, nó theo sau đó

F (av + be1) - F (được1) = F ((a + b) e1 + ae2 + · · · aen) - F (được1) ∈ sp {v}.

Bằng cách trình bày ở trên của NS , cùng với thực tế là NS (0) = 0, nó theo sau đó

(f (a + b), f (a), f (a), ..., f (a)) - (f (b), 0, 0,. . . , 0)∈ sp {v},

và như vậy f (a + b) - f (b) = f (a), như đã tuyên bố.

Người giới thiệu

[1] AD Alexandrov, Một đóng góp cho Chronogeometry, Canada. J. Math (1967), không.
2, 1119–1128.

[2] E. Artin, Đại số hình học, Wiley Classics Library, John Wiley & Sons Inc., New York,
1988, Tái bản của bản gốc năm 1957, A Wiley-Interscience Publication.

[3] S. Artstein-Avidan, D. Florentin và V. Milman, Đặt hàng đẳng cấu trên các hàm lồi
trong cửa sổ, Các khía cạnh hình học của giải tích hàm, Ghi chú Bài giảng Toán, tập.
2050, Springer, Heidelberg, 2012, trang 61–122.

[4] S. Artstein-Avidan và BA Slomka, Thứ tự các đẳng cấu trong hình nón và đặc điểm của
tính lưỡng tính đối với ellipsoid, Toán Chọna. (NS)18 (2012), không. 2, 391–415.

47
 [5] M. Berger, Hình học I, Universitext, Springer-Verlag, Berlin, 2009, Bản dịch từ bản gốc
tiếng Pháp năm 1977 của M. Cole và S. Levy, Bản dịch tiếng Anh năm 1987 được in
lần thứ tư.

[6] A. Białynicki-Birula và M. Rosenlicht, Các hình thái khách quan của các giống đại số thực,
Proc. Amer. Toán học. Soc.13 (Năm 1962), 200–203.

[7] W. Blaschke và G. Bol, Hình học der Gewebe. Topologische Fragen der
Differentialgeometrie,JW Edwards, Ann Arbor, Michigan, năm 1944.

[8] GE Bredon, Tôpô và hình học, Các văn bản sau đại học trong Toán học, tập. 139, Springer-
Verlag, New York, 1997, Bản in lần thứ ba đã được sửa chữa của bản gốc năm 1993.

[9] A. Chubarev và I. Pinelis, Định lý cơ bản của hình học không có 1-đến-1giả thiết,
Proc. Amer. Toán học. Soc.127 (1999), không. 9, 2735–2744.

[10] HSM Coxeter, Mặt phẳng xạ ảnh thực, Công ty sách McGraw-Hill, Inc., New
York, NY, 1949.

[11] PM Gruber, Các hình thái cuối của mạng lưới các cơ thể lồi, Ờ. Toán học. Bán
hàng. Univ. Hamburg62 (1992), 179–189.

[12] E. Kasner, Đặc tính của Collineations, Bò đực. Amer. Toán học. Soc2 (1903), 545–
546.

[13] M. Kriele, Không thời gian - cơ sở của thuyết tương đối rộng và hình học vi phân,Thuyết
minh bài giảng Vật lý. Sê-ri mới m: Sách chuyên khảo, tập. 59, Springer-Verlag, Berlin,
1999.

[14] H. Lenz, Einige Anwendungen der projektiven Geometrie auf Fragen der
Flächentheorie, Toán học. Nachr.18 (1958), 346–359.

[15] JA Lester, Các phép biến đổi bảo toàn khoảng cách, Sổ tay hình học tỷ lệ,
North-Holland, Amsterdam, 1995, trang 921–944.

[16] BR McDonald, Đại số hình học trên các vòng cục bộ, Marcel Dekker, Inc., New York-
Basel, 1976, Toán học thuần túy và ứng dụng, số 36.

[17] WF Pfeffer, Các phép biến đổi Lorentz của không gian Hilbert, Tạp chí Toán học
Hoa Kỳ 103 (1981), không. 4, 691–709.

48
[18] VV Prasolov và VM Tikhomirov, Hình học, Bản dịch của Sách chuyên khảo
Toán học, tập. 200, Hiệp hội Toán học Hoa Kỳ, Providence, RI, 2001, Dịch từ
bản gốc tiếng Nga năm 1997 bởi OV Sipacheva.

[19] W. Prenowitz, Đặc điểm của việc ghép máy bay trong thuật ngữ của họ đồng
nhất của các dòng, Bản tin của Hiệp hội Toán học Hoa Kỳ 38 (1903), không. 3,
564–599.

[20] B. Shiffman, Hình học xạ ảnh tổng hợp và định lý Poincaré về các biến thể tự động
của quả bóng, Enseign. Toán học. (2)41 (1995), không. 3-4, 201–215.

49