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

{{distinguish|trường vector}}[[Tập tin:Vector space illust.svg|phải|nhỏ|Không gian vectơ là một tập các đối tượng có định hướng (được gọi là các vectơ) có thể co giãn và cộng.]]
{{Cấu trúc đại số}}
Trong [[toán học]], '''không gian vectơ''' (hay còn gọi là không gian tuyến tính) là một tập hợp của các đại lượng gọi là vectơ, một đại lượng có thể cộng và nhân bởi một số, được gọi là [[Scalar (toán học)|vô hướng]]. Vô hướng thường được lấy là số thực, nhưng cũng có các không gian vectơ với nhân vô hướng là [[số phức]] hoặc [[số ảo]], hoặc tổng quát hơn là một trường bất kì. Toán tử cộng và nhân vô hướng phải thỏa mãn các điều kiện nhất định gọi là tiên đề, được liệt kê bên dưới. Để phân loại vô hướng là thực hay phức, ta thường dùng thuật ngữ không gian vectơ thực hoặc không gian vectơ phức.

[[Không gian Euclide|Không gian Euclid]] là một ví dụ của không gian vectơ. Chúng đại diện cho các đại lượng vô hướng như là lực: Mọi lực (cùng loại) có thể cộng với nhau để thu được lực thứ 3, và phép nhân vectơ lực với một số thực có thể thu được một vectơ lực. Cùng với đó, nhưng theo một cách hình học hơn, vectơ đại diện cho sự thay thế của mặt phẳng trong mặt phẳng hoặc trong không gian 3 chiều cũng từ không gian vectơ. vectơ trong không gian vectơ không cần thiết phải có một đại lượng dạng mũi tên như trong ví dụ của nó: vectơ được coi như là một đại lượng toán học với các tính chất cụ thể, đôi khi có thể mô tả một cách trực quan bằng một mũi tên.

Không gian vectơ là một phần trong đại số tuyến tính được quy định bởi [[Chiều (không gian vectơ)|số chiều]] của nó, nói một cách đại khái là số lượng các hướng độc lập trong không gian. Không gian vectơ vô hạn chiều xuất hiện tự nhiên trong toán phân tich, như là một không gian hàm, trong đó vectơ chính là các hàm. Những vectơ này được tổng quát với cấu trúc cộng thêm, được gọi là topology, cho phép xem xét các lỗi của tính địa phương và tính liên tục. topology được định nghĩa bởi norm hoặc tích vô hướng, được hiểu là có kí hiệu khoảng cách giữa các vectơ. Đây là trường hợp cụ thể của không gian Banach và không gian Hilbert, chúng là những khái niệm cơ bản trong toán học phân tích.

Các không gian [[vectơ]] quen thuộc là [[không gian Euclide|không gian Euclid]] hai chiều và ba chiều. Các vectơ trong các không gian này là các cặp [[số thực]] hay các bộ 3 số thực, có trật tự, và thường được biểu diễn như là một [[vectơ hình học]] với [[độ lớn]] và [[phương hướng]].

==Định nghĩa ==
Một vectơ được định nghĩa qua trường F là một tập V cùng với 2 toán tử thỏa mãn 8 tiên đề dưới đây. Theo đó, ''V'' × ''V''  kí hiệu cho phép nhân Cartesian của V với chính nó,  và → kí hiệu cho một ánh xạ từ một nhóm đến một nhóm khác

* Toán tử đầu tiên, được gọi là '''phép cộng vectơ''' hoặc đơn giản là phép cộng +: ''V'' × ''V'' → ''V,'' lấy 2 vectơ bất kì '''v''' và '''w''' và đánh dấu một vectơ thứ 3 được viết là '''v''' + '''w,''' được gọi là tổng của các vectơ.
* Toán tử thứ 2 được gọi là [[phép nhân vô hướng|'''phép nhân vô hướng''']]: ''F'' × ''V'' → ''V,'' lấy một vô hướng ''a'' bất kì và một vectơ '''v''', cho ta một vectơ khác ''a'''''v'''

# Phép cộng vectơ có tính [[kết hợp]]: <p style="margin-left: 2em">Với mọi '''u''', '''v''', '''w''' <math>\in</math> ''V'', ta có '''u''' + ('''v''' + '''w''') = ('''u''' + '''v''') + '''w'''.</p>
# Phép cộng vectơ có tính [[giao hoán]]: <p style="margin-left: 2em">Với mọi '''v''', '''w''' <math>\in</math> ''V'', ta có '''v''' + '''w''' = '''w''' + '''v'''.</p>
# Phép cộng vectơ có [[phần tử đơn vị|phần tử trung hòa]]: <p style="margin-left: 2em">Có một phần tử '''0''' <math>\in</math> ''V'', gọi là ''[[vectơ không]]'', sao cho '''v''' + '''0''' = '''v''' với mọi '''v''' <math>\in</math> ''V''.</p>
# Phép cộng vectơ có [[Nghịch đảo phép cộng|phần tử đối]]: <p style="margin-left: 2em">Với mọi '''v''' ∈ V, có một phần tử '''w''' <math>\in</math> ''V'', gọi là ''[[Nghịch đảo phép cộng|phần ngược]]'' của '''v''', sao cho '''v''' + '''w''' = '''0'''.</p>
# Phép nhân vô hướng phân phối với phép cộng vectơ: <p style="margin-left: 2em">Với mọi ''a'' <math>\in</math> ''F'' và '''v''', '''w''' <math>\in</math> ''V'', ta có ''a'' ('''v''' + '''w''') = ''a'' '''v''' + ''a'' '''w'''.</p>
# Phép nhân vô hướng phân phối với phép cộng vô hướng: <p style="margin-left: 2em">Với mọi ''a'', ''b'' <math>\in</math> ''F'' và '''v''' <math>\in</math> ''V'', ta có (''a'' + ''b'') '''v''' = ''a'' '''v''' + ''b'' '''v'''.</p>
# Phép nhân vô hướng tương thích với phép nhân trong trường các số vô hướng: <p style="margin-left: 2em">Với mọi ''a'', ''b'' <math>\in</math> ''F'' và '''v''' <math>\in</math> ''V'', ta có ''a'' (''b'' '''v''') = (''ab'') '''v'''.</p>
# Phần tử đơn vị của trường ''F'' có tính chất của phần tử đơn vị với phép nhân vô hướng:  Với mọi '''v''' <math>\in</math> ''V'', ta có 1 '''v''' = '''v''', 1 ký hiệu [[Phần tử đơn vị|đơn vị của phép nhân]] trong ''F''.
# Với mọi x; y <math>\in</math> V,  ta có x + y <math>\in</math> V
# Với mọi x <math>\in</math> V và a <math>\in</math> V, ta có a.x <math>\in</math> V

Một cách chính xác, những tiên đề trên là cho một [[Mô-đun (toán học)|module]], do vậy không gian vectơ có thể được mô tả ngắn gọn là một "module trên một trường". Một không gian vectơ chỉ là một trường hợp đặc biệt của một module.

Để ý rằng trong định đề thứ 7, nói rằng ''a'' (''b'' '''v''') = (''ab'') '''v''', là không phải khẳng định về [[tính kết hợp]] của một toán tử, bởi vì có hai toán tử đang nói đến, nhân vô hướng: ''b'' '''v'''; và nhân trên trường số: ''ab''.

Có người cho thêm hai tính chất [[Đóng (toán học)|đóng]] trong định nghĩa của không gian vectơ:
# ''V'' đóng dưới phép cộng vectơ: <p style="margin-left: 2em">Nếu '''u''', '''v''' <math>\in</math> ''V'', thì '''u''' + '''v''' <math>\in</math> ''V''.</p>
# ''V'' đóng dưới phép nhân vô hướng: <p style="margin-left: 2em">Nếu ''a'' <math>\in</math> ''F'', '''v''' <math>\in</math> ''V'', thì ''a'' '''v''' <math>\in</math> ''V''.</p>

Tuy nhiên, nếu hiểu phép toán là [[ánh xạ]] trên [[tập xác định|miền]] ''V'' thì không cần thêm các tiên đề tính chất đóng trong định nghĩa không gian vectơ.

== Ví dụ ==
'''Không gian tọa độ'''

ví dụ đơn giản nhất của một không gian vectơ thông qua trường F chính là chính nó, kết hợp với tính chất cộng và nhân của nó. Một cách tổng quát hơn, tất cả chuỗi dài n:

(''a''<sub>1</sub>, ''a''<sub>2</sub>,..., ''a<sub>n</sub>'')

của tất cả các phần tử của F cấu tạo nên một không gian vectơ thường được kí hiệu bởi ''F<sup>n</sup>'' được gọi là không gian tọa độ.

'''Số phức và các trường mở rộng'''

Tập hợp các số phức '''C''', chính là, một số có thể viết dưới dạng ''x+iy'' cho mọi số thực x và y trong đó i là đơn vị ảo, cấu thành nên một không gian vectơ thông qua số thực với phép cộng và nhân thông thường

(''x'' + ''iy'') + (''a'' + ''ib'') = (''x'' + ''a'') + ''i''(''y'' + ''b'') và ''c'' ⋅ (''x'' + ''iy'') = (''c'' ⋅ ''x'') + ''i''(''c'' ⋅ ''y'') cho mọi số x,y,a,b và c

==Xem thêm==
*[[Vectơ (toán học và vật lý)]]
*[[Không gian con]]
*[[Đại số tuyến tính]]
*[[Không gian mêtric|Không gian metric]]
*[[Không gian định chuẩn]]

==Tham khảo==

* {{Citation|last1=Artin|first1=Michael|author1-link=Michael Artin|title=Algebra|publisher=[[Prentice Hall]]|isbn=978-0-89871-510-1|year=1991}}
* {{Citation|last1=Blass|first1=Andreas|title=Axiomatic set theory (Boulder, Colorado, 1983)|publisher=[[American Mathematical Society]]|location=Providence, R.I.|series=Contemporary Mathematics|mr=763890|year=1984|volume=31|chapter=Existence of bases implies the axiom of choice|pages=31–33}}
* {{Citation|last1=Brown|first1=William A.|title=Matrices and vector spaces|publisher=M. Dekker|location=New York|isbn=978-0-8247-8419-5|year=1991|url=https://archive.org/details/matricesvectorsp0000brow}}
* {{Citation|last1=Lang|first1=Serge|author1-link=Serge Lang|title=Linear algebra|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-0-387-96412-6|year=1987}}
* {{Citation|last1=Mac Lane|first1=Saunders|author1-link=Saunders Mac Lane|title=Algebra|edition=3rd|pages=193–222|isbn=978-0-8218-1646-2|year=1999}}
* {{Citation|last1=Meyer|first1=Carl D.|title=Matrix Analysis and Applied Linear Algebra|url=http://www.matrixanalysis.com/|publisher=[[Society for Industrial and Applied Mathematics|SIAM]]|isbn=978-0-89871-454-8|year=2000}}
* {{Citation|last1=Roman|first1=Steven|title=Advanced Linear Algebra|publisher=[[Springer-Verlag]]|location=Berlin, New York|edition=2nd|series=Graduate Texts in Mathematics|isbn=978-0-387-24766-3|author-link=Steven Roman|pages=|year=2005|volume=135}}
* {{Citation|last1=Spindler|first1=Karlheinz|title=Abstract Algebra with Applications: Volume 1: Vector spaces and groups|publisher=CRC|isbn=978-0-8247-9144-5|year=1993}}
* {{Citation|last1=van der Waerden|first1=Bartel Leendert|author1-link=Bartel Leendert van der Waerden|title=Algebra|publisher=[[Springer-Verlag]]|location=Berlin, New York|edition=9th|isbn=978-3-540-56799-8|year=1993|language=de}}

* {{Citation|last1=Bourbaki|first1=Nicolas|author1-link=Nicolas Bourbaki|title=Topological vector spaces|publisher=[[Springer-Verlag]]|location=Berlin, New York|series=Elements of mathematics|isbn=978-3-540-13627-9|year=1987}}
* {{Citation|last1=Bourbaki|first1=Nicolas|author1-link=Nicolas Bourbaki|title=Integration I|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-3-540-41129-1|year=2004}}
{{tham khảo}}
==Liên kết ngoài==
{{thể loại Commons|Vector spaces}}
* [http://bachkhoatoanthu.vass.gov.vn/noidung/tudien/Lists/GiaiNghia/View_Detail.aspx?ItemID=11916 Không gian vectơ] {{Webarchive|url=https://web.archive.org/web/20160919193930/http://bachkhoatoanthu.vass.gov.vn/noidung/tudien/Lists/GiaiNghia/View_Detail.aspx?ItemID=11916 |date=2016-09-19 }} trên [[Từ điển bách khoa Việt Nam]]


{{Toán học}}
{{Kiểm soát tính nhất quán}}
{{Đại số tuyến tính}}
{{Đại số}}
{{Sơ thảo toán học}}

[[Thể loại:Đại số tuyến tính]]
[[Thể loại:Khái niệm vật lý]]
[[Thể loại:Lý thuyết nhóm]]