Xem mã nguồn của Không gian afin

[[hình:Gilbert tessellation.svg|nhỏ|phải|Các đoạn thẳng trong không gian afin 2 chiều.]]
Trong toán học, '''không gian afin''' (hoặc '''không gian aphin''') là một [[cấu trúc (toán học)|cấu trúc]] hình học tổng quát [[hình học afin|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ó [[không gian tích trong|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ơ.<ref>{{chú thích web|title=Lecture 2: Euclidean spaces, Affine spaces,. and homgeneous spaces in general|author=Jeanne Clell|publisher=Department of Mathematics, University of Colorado|url=http://math.colorado.edu/~jnc/lecture2.pdf|format=pdf|access-date =30 tháng 11 năm 2014}}</ref>

==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 (hình học)|tịnh tiến]] cho các [[ánh xạ]] tuyến tính"<ref>{{Harvard citation no brackets | Berger | 1987 | p=32}}</ref>). 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 {{math|'''p'''}} — là điểm gốc. Ta thêm vào hai vectơ {{math|'''a'''}} và {{math|'''b'''}}. Bob vẽ một mũi tên từ điểm {{math|'''p'''}} song song và có độ lớn bằng vectơ {{math|'''a'''}} và một mũi tên khác từ điểm {{math|'''p'''}} song song và có độ lớn bằng vectơ {{math|'''b'''}}, 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 {{math|'''a''' + '''b'''}}, nhưng Alice biết rằng anh thực sự đã tính
:{{math|size=120%|'''p''' + ('''a''' − '''p''') + ('''b''' − '''p''')}}.

Tương tự, Alice và Bob có thể tính được [[tổ hợp tuyến tính]] bất kỳ của {{math|'''a'''}} và {{math|'''b'''}}, 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 
:{{math|size=120%|λ'''a''' + (1 − λ)'''b'''}}

thì Alice cũng thu được
:{{math|size=120%|1='''p''' + λ('''a''' − '''p''') + (1 − λ)('''b''' − '''p''') = λ'''a''' + (1 − λ)'''b'''}}.

Và mọi hệ số có tổng {{math|1=λ + (1 − λ) = 1}}, 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ộ <math>(A,V)</math> gồm một tập hợp không rỗng A, một [[không gian vectơ]] <math>V</math> trên [[trường]] <math>\mathbb{F}</math> và phép toán [[tác dụng nhóm]] tự cho và chuyển tiếp của <math>V</math> (với phép cộng vectơ như là tác dụng nhóm) trên <math>A</math> (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 {{mvar|A}} cùng với ánh xạ
:<math>l\colon V \times A \to A,\; (\mathbf{v}, a) \mapsto \mathbf{v} + a</math>

với những tính chất sau:<ref name="Berger1987">{{Harvard citation no brackets | Berger | 1987 | p=33}}</ref><ref>{{citation | last1=Snapper|first1=Ernst|last2=Troyer|first2=Robert J. |title = Metric Affine Geometry| year=1989|page=6}}</ref><ref>{{Citation|author=Tarrida, Agusti R.|chapter=Affine spaces|year=2011|pages=1–2|url=http://books.google.com/books?id=UZvxUBzraGAC&pg=PA1|title=Affine Maps, Euclidean Motions and Quadrics|isbn=9780857297105}}</ref>
# Tồn tại phần tử đồng nhất trái
#: <math>\forall a \in A,\; \mathbf{0} + a = a</math>
# Tính kết hợp
#: <math>\forall \mathbf{v}, \mathbf{w} \in V, \forall a \in A,\; \mathbf{v} + (\mathbf{w} + a) = (\mathbf{v} + \mathbf{w}) + a</math>
# Tính duy nhất
#: <math>\forall b \in A,</math> tồn tại duy nhất một vectơ <math>\mathbf{v} \in V,</math> sao cho <math> b = a + \mathbf{v}</math> hay ánh xạ <math>\ V \to A\colon \mathbf{v} \mapsto \mathbf{v} + a\quad</math> là [[song ánh]].

(do ''V'' là [[nhóm Abel]], nên không có sự khác nhau giữa tác dụng bên phải hay bên trái, vì vậy có thể đặt vectơ ở bên phải.)

Bằng cách chọn một gốc, {{mvar|o}}, ta có thể đồng nhất {{mvar|A}} với {{mvar|V}}, biến {{mvar|A}} thành không gian vectơ. Ngược lại, bất kỳ không gian vectơ {{mvar|V}} 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 {{mvar|A}}, tạo thành một vectơ trong {{mvar|V}}:
:<math> a \,-\, b\; </math> là vectơ duy nhất trong {{mvar|V}} sao cho <math> \left(a \,-\, b\right) \,+\, b \;=\; a</math>.
Ta có thể định nghĩa một cách tương đương không gian afin là tập hợp điểm {{mvar|A}} cùng với một không gian vectơ {{mvar|V}}, và ánh xạ trừ 
:<math>\operatorname{\phi}:\; A \,\times\, A \;\to\; V,\; \left(a,\, b\right) \,\mapsto\, b \,-\, a \;\equiv\; \overrightarrow{ab}</math>

với những tính chất sau đây:<ref>{{Harvard citation no brackets | Nomizu | Sasaki | 1994 | p=7}}
</ref>
# <math> \forall p \,\in\, A,\; \forall \mathbf{v}\,\in\, V</math> tồn tại duy nhất điểm <math> q \,\in\, A</math> sao cho <math> q \,-\, p \;=\; \mathbf{v}</math> và
# <math> \forall p,\, q,\, r \,\in\, A,\; (q \,-\, p) \,+\, (r \,-\, q) \;=\; r \,-\, p</math>.

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

===Tổ hợp afin===
Khi chọn gốc {{mvar|o}} bất kỳ, với hai điểm {{mvar|a}}, {{mvar|b}} trong {{mvar|A}} và đại lượng [[vô hướng (toán học)|vô hướng]] {{mvar|&lambda;}}, tồn tại duy nhất phần tử trong {{mvar|A}} ký hiệu bằng <math>\lambda a + (1-\lambda)b</math> sao cho
:<math>(\lambda a + (1 - \lambda)b) - o = \lambda (a - o) + (1 - \lambda)(b - o).</math>

Có thể chỉ ra được phần tử này là độc lập với cách chọn gốc {{mvar|o}}. 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 {{mvar|V}} của một không gian vectơ là không gian afin trên không gian con đó.
*Nếu {{mvar|T}} là một [[ma trận]] và {{math|'''b'''}} nằm ở một trong các [[không gian cột|cột]] của nó, tập hợp nghiệm của phương trình {{math|1=''T'' '''x''' = '''b'''}} là một không gian afin trên không gian con của các nghiệm của hệ {{math|1=''T'' '''x''' = 0}}.
*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 {{math|''T'': ''V'' → ''W''}} là một ánh xạ tuyến tính và {{math|'''y'''}} thuộc ảnh của nó, thì tập nghiệm {{math|'''x''' ∈ ''V''}} của phương trình {{math|1=''T'' '''x''' = '''y'''}} là lớp lân cận của nhân {{mvar|T }}, và do đó là không gian afin trên {{math|Ker ''T'' }}.

== 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ơ {{mvar|V}} 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
:<math>A=\Bigl\{\sum^N_i \alpha_i \mathbf{v}_i \Big| \sum^N_i\alpha_i=1\Bigr\}</math>

là không gian afin, với <math>\scriptstyle \{ \mathbf{v}_i \}_{i\in I}</math> là họ các vectơ trong {{mvar|V}}; 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ơ]] {{mvar|W}} của {{mvar|V}}

:<math>W=\Bigl\{\sum^N_i \beta_i\mathbf{v}_i \Big| \sum^N_i \beta_i=0\Bigr\}.</math>

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 {{mvar|W}}-tác dụng

:<math>S=\mathbf{p}+W,\,</math>

với {{mvar|p}} là phần tử bất kỳ của {{mvar|A}}, hay là tập lớp tương đương của [[ánh xạ thương]] {{math|''V'' → ''V''/''W''}}. Cách chọn {{mvar|p}} cho ra một điểm cơ sở của {{mvar|A}} và một đồng nhất của {{mvar|W}} với {{mvar|A}}, nhưng không có cách chọn tự nhiên, hoặc đồng nhất tự nhiên của {{mvar|W}} với {{mvar|A}}.

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 <math>\scriptstyle {\mathbb R^3}</math>, 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==
{{chính|Tổ hợp 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ơ
:{{math|size=120%|'''v'''<sub>1</sub>, '''v'''<sub>2</sub>, …, '''v'''<sub>''n''</sub>}}

là phụ thuộc tuyến tính nếu tồn tại một vô hướng {{math|''a''<sub>1</sub>, ''a''<sub>2</sub>, …, ''a''<sub>''n''</sub>}}, mà tất cả không đều bằng 0, và thỏa mãn
{{NumBlk|:|{{math|1=''a''<sub>1</sub>'''v'''<sub>1</sub> + ''a''<sub>2</sub>'''v'''<sub>2</sub> + ⋯ + ''a''<sub>''n''</sub>'''v'''<sub>''n''</sub> = '''0'''}}|{{EquationRef|1}}}}

Tương tự chúng là ''phụ thuộc afin'' nếu tồn tại vô hướng sao cho:
:<math> \sum_{i=1}^n a_i = 0 </math>
một điều kiện đảm bảo rằng ({{EquationNote|1}}) 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 (hình học)|điểm]] (phần tử của {{mvar|A}}) và vectơ (phần tử của {{mvar|V }}). 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.
{| class="wikitable"
!Đối tượng hình học
!Điểm
!Vectơ
 |-
 |Một điểm
 |Một điểm ''P''
 |không ([[không gian vectơ không]])
 |-
 |[[Đường thẳng]] (1-không gian con)
 |Được xác định bởi 2 điểm
 |Một vectơ khác 0 [[nhân vô hướng|nhân với một vô hướng]] khác 0
 |-
 |[[Đoạn thẳng]]
 |Hai điểm độc lập:<br/>''P'', ''Q''
 |Một vectơ <math>\overrightarrow{PQ}</math><br/>hoặc hai vectơ phụ thuộc <math>\overrightarrow{PQ}</math> và <math>\overrightarrow{QP}</math>
 |-
 |[[Mặt phẳng]] (2-không gian con)
 |Xác định bởi 3 điểm không nằm trên cùng một đường thẳng
 |[[Không gian con tuyến tính]] 2 chiều,<br/>được xác định từ 2 vectơ độc lập tuyến tính
 |-
 |[[Tam giác]]
 |Ba điểm (độc lập):<br/>△''P'' ''Q'' ''R''
 |Ba vectơ có liên hệ với nhau<br/><math>\overrightarrow{PR} = \overrightarrow{PQ} + \overrightarrow{PQ}</math>, hay<br/><math>\overrightarrow{PQ} + \overrightarrow{QR} + \overrightarrow{RP} = 0</math>,<br/>hoặc chỉ là 2 vectơ độc lập
 |-
 |[[Hình bình hành]]
 |Bốn điểm: ▱''P'' ''Q'' ''R'' ''S''<br/>hoặc điểm thứ tư xác định bởi 3 điểm
 |Hai vectơ độc lập:<br/><math>\overrightarrow{PQ} = \overrightarrow{SR}</math><br/><math>\overrightarrow{PS} = \overrightarrow{QR}</math>
 |}

==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.

{{harvtxt|Coxeter|1969|p=192}} tiên đề hóa hình học afin (trên trường số thực) như bằng [[hình học thứ tự]] (ordered geometry) cùng với dạng affine của [[định lý Desargues]] và một tiên đề nói rằng trong một mặt phẳng có nhiều nhất một đường thẳng đi qua một điểm không cắt một đường thẳng cho trước.

Mặt phẳng affine thỏa mãn các tiên đề sau {{harv|Cameron|1991|loc=chapter 2}}:
(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. {{harv|Cameron|1991|loc=chapter 3}} đưa ra định nghĩa cho không gian affine nhiều chiều.

== Liên hệ với không gian xạ ảnh ==
[[Tập tin:Affine space, projective space, vector space.svg|thumb|Không gian affine là không gian con của không gian xạ ảnh, mà là thương với không gian vectơ.]]
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 [[song song|đườ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ỳ [[biến đổi afin|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.

==Tham khảo==
{{tham khảo}}

== Thư mục tham khảo ==
*{{Citation|author=Berger, Marcel|chapter=Affine spaces|title=Problems in Geometry|publisher=Springer-Verlag|year=1984|isbn=978-0-387-90971-4|url=http://books.google.com/books?id=VXRppKJwpaAC&pg=PA11}}
*{{Citation | last1=Berger | first1=Marcel | title=Geometry I | publisher=Springer | location=Berlin | isbn= 3-540-11658-3 | year=1987}}
*{{Citation | last1=Cameron | first1=Peter J. | title=Projective and polar spaces | url=http://www.maths.qmul.ac.uk/~pjc/pps/ | publisher=Queen Mary and Westfield College School of Mathematical Sciences | location=London | series=QMW Maths Notes | mr=1153019 | year=1991 | volume=13}}
*{{Citation | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=Harold Scott MacDonald Coxeter | title=Introduction to Geometry | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-50458-0 | year=1969 | mr=123930}}
*{{citation | last1=Snapper|first1=Ernst|last2=Troyer|first2=Robert J. | title = Metric Affine Geometry | publisher=Dover Publications | year=1989|edition=Dover edition, first published in 1989|isbn=0-486-66108-3}}
*{{citation | last1=Nomizu|first1=K.|last2=Sasaki|first2=S. | title = Affine Differential Geometry| publisher=Cambridge University Press | year=1994|edition=New|isbn=978-0-521-44177-3}}
*{{Citation|author=Tarrida, Agusti R.|chapter=Affine spaces|title=Affine Maps, Euclidean Motions and Quadrics|publisher=Springer|year=2011|isbn=978-0-85729-709-9|url=http://books.google.com/books?id=UZvxUBzraGAC&pg=PA1}}

=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]]

==Liên kết ngoài==
*{{MathWorld | urlname=AffineSpace | title=Không gian afin}}
*{{planetmath reference|id=7013|title=Không gian afin}}
{{Chủ đề chiều}}
{{Kiểm soát tính nhất quán}}

[[Thể loại:Hình học afin]]
[[Thể loại:Đại số tuyến tính]]