Không gian afin

Trong toán học, không gian afin (hoặc không gian aphin) là một cấu trúc hình học tổng quát tính chất của các đường thẳng song song trong không gian Euclide. Trong không gian afin, không định nghĩa một điểm đặc biệt nào làm gốc. Do đó, không vector nào có gốc cố định và không vector nào có thể liên kết được duy nhất với một điểm. Thay vào đó, các nhà toán học định nghĩa các vector nối giữa hai điểm trong không gian afin. Vì vậy, khi trừ hai điểm của không gian sẽ cho một vectơ, nhưng sẽ không có nghĩa khi cộng hai điểm trong không gian afin. Tương tự, có thể cộng một vectơ với một điểm trong không gian, kết quả thu được là một điểm mới tịnh tiến dọc theo vectơ từ điểm bắt đầu của vectơ.

Ví dụ của một không gian afin là một không gian con tuyến tính của một không gian vectơ được hiểu nằm xa từ gốc. Trong không gian số chiều hữu hạn, một không gian con afin tương ứng với tập hợp nghiệm của một hệ phương trình tuyến tính không thuần nhất. Vectơ chuyển dời cho không gian affine trong tập hợp nghiệm của hệ tuyến tính thuần nhất là một không gian con tuyến tính. Ngược lại, không gian con tuyến tính luôn luôn bao gồm điểm gốc của không gian vectơ.

Không gian afin có ít cấu trúc hơn so với không gian Euclide, nó không có tích trong (hay tích vô hướng) và do vậy không có cách nào để đo góc hay khoảng cách giữa hai vectơ.

==Miêu tả sơ lược==
Mô tả sau giúp hiểu dễ dàng hơn so với định nghĩa hình thức thường gặp: một không gian afin là những gì còn lại của một không gian vectơ sau khi đã quên điểm nào là điểm gốc (hoặc trong lời của nhà toán học người Pháp Macel Berger, "Một không gian afin không khác gì một không gian vector ngoại gốc mà chúng ta đang cố gắng quên đi, bởi sự thêm vào các tịnh tiến cho các ánh xạ tuyến tính"). Tưởng tượng hai nhân vật Alice và Bob; Alice biết điểm nào là điểm gốc thật, nhưng Bob lại tin rằng một điểm khác — điểm — là điểm gốc. Ta thêm vào hai vectơ và . Bob vẽ một mũi tên từ điểm song song và có độ lớn bằng vectơ và một mũi tên khác từ điểm song song và có độ lớn bằng vectơ , hai mũi tên tạo thành hình bình hành mà Bob nghĩ rằng đường chéo của nó là kết quả của , nhưng Alice biết rằng anh thực sự đã tính

Tương tự, Alice và Bob có thể tính được tổ hợp tuyến tính bất kỳ của và , hoặc của một tập hữu hạn các vectơ và nói chung sẽ nhận được các kết quả khác nhau. Tuy nhiên, nếu tổng các hệ số trong tổ hợp tuyến tính bằng 1, thì Alice và Bob thu được kết quả như nhau.

Nếu Bob tính tổ hợp 

thì Alice cũng thu được

Và mọi hệ số có tổng , Alice và Bob miêu tả cùng điểm với cùng tổ hợp tuyến tính nhưng với điểm gốc khác nhau.

Khi Alice biết "cấu trúc tuyến tính", thì cả Alice và Bob đều biết "cấu trúc afin"—tức là giá trị của tổ hợp afin, định nghĩa như là tổ hợp tuyến tính có tổng các hệ số bằng 1. Một tập hợp có cấu trúc afin là một không gian afin.

==Định nghĩa==
Không gian afin là một bộ formula_1 gồm một tập hợp không rỗng A, một không gian vectơ formula_2 trên trường formula_3 và phép toán tác dụng nhóm tự cho và chuyển tiếp của formula_2 (với phép cộng vectơ như là tác dụng nhóm) trên formula_5 (tức không gian afin là không gian thuần nhất chính cho tác dụng của "V".)

Cụ thể, không gian afin là tập hợp điểm cùng với ánh xạ

với những tính chất sau:
1. Tồn tại phần tử đồng nhất trái
- formula_7
2. Tính kết hợp
- formula_8
3. Tính duy nhất
- formula_9 tồn tại duy nhất một vectơ formula_10 sao cho formula_11 hay ánh xạ formula_12 là song ánh.

Bằng cách chọn một gốc, , ta có thể đồng nhất với , biến thành không gian vectơ. Ngược lại, bất kỳ không gian vectơ là một không gian afin trên chính nó.

===Phép trừ và tiên đề Weyl===
"Tính duy nhất" đảm bảo xác định phép trừ giữa hai phần tử bất kỳ của , tạo thành một vectơ trong :
Ta có thể định nghĩa một cách tương đương không gian afin là tập hợp điểm cùng với một không gian vectơ , và ánh xạ trừ 

với những tính chất sau đây:
1. formula_16 tồn tại duy nhất điểm formula_17 sao cho formula_18 và
2. formula_19.

Hai tính chất này được gọi là tiên đề Weyl.

===Tổ hợp afin===
Khi chọn gốc bất kỳ, với hai điểm , trong và đại lượng vô hướng , tồn tại duy nhất phần tử trong ký hiệu bằng formula_20 sao cho

Có thể chỉ ra được phần tử này là độc lập với cách chọn gốc . Ngoài tổ hợp tuyến tính sao cho tổng các hệ số bằng 1, các tổ hợp tuyến tính khác của các điểm không có ý nghĩa gì trong không gian afin.

==Ví dụ==
- Khi tìm kết quả của phép cộng 4 + 3 hay phép trừ 4 - 2 bằng cách đếm số bên phải hay bên trái của trục số, thì trục số được coi là không gian afin một chiều.
- Bất kỳ lớp lân cận của không gian con của một không gian vectơ là không gian afin trên không gian con đó.
- Nếu là một ma trận và nằm ở một trong các cột của nó, tập hợp nghiệm của phương trình là một không gian afin trên không gian con của các nghiệm của hệ .
- Nghiệm của một phương trình vi phân tuyến tính không thuần nhất tạo thành một không gian afin trên các nghiệm tương ứng của phương trình tuyến tính thuần nhất.
- Tổng quát hóa các ví dụ trên, nếu là một ánh xạ tuyến tính và thuộc ảnh của nó, thì tập nghiệm của phương trình là lớp lân cận của nhân , và do đó là không gian afin trên .

== Không gian con afin ==
Một "không gian con afin" (đôi khi gọi là "đa tạp tuyến tính") của không gian vectơ là một tập con đóng của tổ hợp afin các vectơ trong không gian. Ví dụ tập hợp

là không gian afin, với formula_23 là họ các vectơ trong ; không gian này gọi là "mở rộng afin" của những điểm này. Để chứng tỏ nó quả thực là không gian afin, nhận thấy rằng tập này mang tác dụng chuyển tiếp của không gian con vectơ của 

Không gian con afin này có thể miêu tả một cách tương đương như là lớp lân cận của -tác dụng

với là phần tử bất kỳ của , hay là tập lớp tương đương của ánh xạ thương . Cách chọn cho ra một điểm cơ sở của và một đồng nhất của với , nhưng không có cách chọn tự nhiên, hoặc đồng nhất tự nhiên của với .

Phép biến đổi tuyến tính là một hàm bảo tồn mọi tổ hợp tuyến tính; và phép biến đổi afin là một hàm bảo tồn mọi tổ hợp afin. Một không gian con tuyến tính là một không gian con afin chứa gốc, hay một cách tương đương, đó là một không gian con đóng dưới tổ hợp tuyến tính.

Ví dụ, trong formula_26, gốc tọa độ, đường thẳng, mặt phẳng đi qua gốc và toàn bộ không gian là không gian con tuyến tính, trong khi các điểm, đường thẳng và mặt phẳng nói chung và toàn bộ không gian là không gian con afin.

==Tổ hợp afin và phụ thuộc afin==
"Tổ hợp afin" là một tổ hợp tuyến tính của các hệ số có tổng bằng 1. Giống như định nghĩa của tập các vectơ độc lập tuyến tính nếu không một vectơ nào trong số đó là tổ hợp tuyến tính của các vectơ còn lại, do vậy chúng là "độc lập afin" nếu không một vec tơ nào là tổ hợp afin của các vectơ còn lại. Tập hợp các tổ hợp tuyến tính của một tập các vectơ là "mở rộng tuyến tính" của chúng và luôn luôn là không gian con tuyến tính; tập hợp mọi tổ hợp afin là "mở rộng afin" của chúng và luôn luôn là không gian con afin. Ví dụ, mở rộng afin của tập chứa 2 điểm là đường thẳng nối hai điểm; mở rộng afin của tập chứa ba điểm không cùng nằm trên một đường thẳng là mặt phẳng chứa ba điểm đó.

Hệ vectơ

là phụ thuộc tuyến tính nếu tồn tại một vô hướng , mà tất cả không đều bằng 0, và thỏa mãn
Tương tự chúng là "phụ thuộc afin" nếu tồn tại vô hướng sao cho:
một điều kiện đảm bảo rằng () có ý nghĩa như là một vectơ dịch chuyển.

==Đối tượng hình học miêu tả bằng điểm và vectơ==
Trong không gian afin, các đối tượng hình học có cách miêu tả khác nhau (mặc dù có liên hệ với nhau) dựa trên các điểm (phần tử của ) và vectơ (phần tử của ). Cách miêu tả vectơ coi đối tượng hình học qua phép biến đổi tịnh tiến là như nhau.
==Tiên đề==
Không gian afin thường được nghiên cứu bằng các công cụ tọa độ của hình học giải tích hoặc bằng các không gian vectơ tương đương. Nó cũng được nghiên cứu thông qua hình học tổng hợp (synthetic geometry) dựa trên các tiên đề, mặc dù cách tiếp cận này ít phổ biến hơn. Có một số hệ tiên đề khác nhau của không gian afin.

Mặt phẳng affine thỏa mãn các tiên đề sau :
(trong đó hai đường thẳng được gọi là song song nếu chúng không có điểm chung):
- Hai điểm bất kỳ nằm trên một đường thẳng duy nhất.
- Cho một điểm và một đường thẳng, có duy nhất một đường thẳng đi qua điểm đó và song song với đường thẳng kia
- Có ít nhất ba điểm không thẳng hàng.

Cũng giống như mặt phẳng affine trên các trường (hoặc vành chia), có nhiều mặt phẳng phi-Desargues thỏa mãn các tiên đề này. đưa ra định nghĩa cho không gian affine nhiều chiều.

== Liên hệ với không gian xạ ảnh ==
Không gian affine là không gian con của không gian xạ ảnh: có thể thu được một mặt phẳng affine từ mặt phẳng xạ ảnh bất kỳ bằng cách bỏ đi một đường thẳng và mọi điểm nằm trên đường thẳng đó, và ngược lại bất kỳ mặt phẳng affine nào có thể dùng để xây dựng lên mặt phẳng xạ ảnh bằng cách thêm vào một đường thẳng nằm ở vô tận mà các điểm của nó tương đương với lớp các đường thẳng song song.

Hơn nữa, các phép biến đổi của không gian xạ ảnh bảo tồn không gian affine (một cách tương đương, giữ siêu phẳng ở vô tận bất biến như là một tập hợp) và giữ các phép biến đổi của không gian affine. Ngược lại, bất kỳ phép biến đổi tuyến tính affine nào cũng đều mở rộng duy nhất cho phép biến đổi tuyến tính xạ ảnh, do vậy nhóm affine là nhóm con của nhóm xạ ảnh. Ví dụ, phép biến đổi Möbius (các phép biến đổi đường thẳng xạ ảnh phức, hay mặt cầu Riemann) là affine (phép biến đổi của mặt phẳng phức) nếu và chỉ nếu chúng cố định điểm ở vô tận.

Tuy nhiên, không thể xạ ảnh hóa một không gian affine, do vậy không gian xạ ảnh không là không gian thương của không gian affine: ta chỉ có thể xạ ảnh hóa một không gian "vectơ", do không gian xạ ảnh là gồm các đường thẳng "đi qua một điểm cho trước," và không có điểm phân biệt trong không gian affine. Nếu chọn một điểm cơ sở (coi là không), thì một không gian affine trở thành không gian vectơ, mà do đó có thể xạ ảnh hóa, nhưng điều này đòi hỏi phải lựa chọn.

== Thư mục tham khảo ==
=Xem thêm=
- Không gian vectơ
- Không gian Euclide
- Không gian định chuẩn
- Không gian
- Không gian xạ ảnh