Khác biệt giữa bản sửa đổi của “Compact”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi Thẻ: Tẩy trống trang (hoặc lượng lớn nội dung) |
n Đã hủy sửa đổi của 117.4.36.105 (Thảo luận) quay về phiên bản của Thi Dinh Nguyen |
||
Dòng 1:
[[Tập tin:Compact spaces.png|nhỏ|Tập compact]]
Trong toán học, '''không gian compact''' là một khái niệm rất quan trọng của [[tô pô]]. Tùy theo không gian ta xét là [[không gian mêtric]] hay [[không gian Euclide]] mà có những định nghĩa khác nhau so với [[không gian tôpô|không gian tô pô]] tổng quát.
==Giới thiệu.==
Một ví dụ cơ bản về không gian compact là không gian con <math>\left[0,1\right]</math> của <math>\mathbb{R}</math> với topo Euclide. Tức là nếu lấy tập vô hạn phần tử rời nhau trong <math>\left[0,1\right]</math> thì tập đó sẽ chứa ít nhất một điểm tụ. Ví dụ tập
:<math>A=\left\{ \dfrac{1}{2},\dfrac{1}{3},\dfrac{2}{3},\dfrac{1}{4},\dfrac{3}{4}\ldots,\dfrac{1}{n},\dfrac{n-1}{n},\ldots\right\} </math>
thì <math>0</math> sẽ là một điểm tụ của <math>A</math>. Tổng quát hơn, [[định lý Heine-Borel]] cho ta <math>K</math> là không gian compact (không gian <math>K</math> là con của <math>\mathbb{R}</math> với topo Euclide) khi và chỉ khi <math>K</math> đóng và bị chặn trong <math>\mathbb{R}</math>. Vì vậy, những khoảng mở, nửa khoảng và <math>\mathbb{R}</math> là không compact.
Như ta đã biết, có nhiều cách định nghĩa một không gian compact, ví dụ như compact tổng quát, compact dãy.... Các định nghĩa sẽ phụ thuộc vào cấp độ tổng quát của không gian topo. Ví dụ:
* Không gian con của không gian Euclide là compact khi và chỉ khi nó đóng và bị chặn.
* Trong không gian metric, khái niệm compact dãy trùng với khái niệm compact tổng quát.
Tuy nhiên, trong không gian topo tổng quát, khái niệm compact dãy sẽ không tương đương với khái niệm compact tổng quát. Nghĩa là không gian <math>\left(X,\tau\right)</math> được gọi là compact khi và chỉ khi với mọi phủ mở của <math>X</math>, ta có thể trích ra một phủ con hữu hạn. Khi đó, một tập đóng và bị chặn trong không gian Euclide là compact tổng quát được chứng minh qua [[định lý Heine-Borel]].
==Định nghĩa==
Một [[không gian tôpô|không gian tô pô]] <math>X</math> được gọi là compact nếu mỗi [[Phủ (topo)|phủ mở]] của nó có [[Phủ (topo)|phủ con hữu hạn]]. Nếu không thì nó được gọi là không compact. Rõ hơn, cho <math>\left\{ U_{i}\right\} _{i\in I}</math> là một họ các tập mở của <math>X</math> sao cho
:<math>X=\bigcup_{i\in I}U_{i}</math>
thì có tập con hữu hạn <math>J</math> của <math>I</math> sao cho
:<math>X=\bigcup_{i\in J}U_{i}</math>.
===Không gian con compact===
Cho <math>A</math> là không gian con của [[không gian tôpô|không gian tô pô]] <math>X</math>. Cho <math>I</math> là một [[Phủ (topo)|phủ mở]] của <math>A</math>. Với mỗi <math>O\in I</math> là tập mở của <math>A</math>, thì ta có <math>U_{O}</math> mở trong <math>X</math> sao cho <math>O=U_{O}\cap A</math>. Vì vậy, ta có họ các tập mở <math>\left\{ U_{O}\mid O\in I\right\} </math> của <math>X</math> mà có hội chứa <math>A</math>. Nói cách khác, nếu có một họ <math>I</math> các tập mở trong <math>X</math> có hội chứa <math>A</math>, thì họ <math>\left\{ U\cap A\mid U\in I\right\} </math> là một phủ mở của <math>A</math>. Do đó, <math>A</math> là không gian compact con của <math>X</math> nếu cho họ <math>\left\{ U_{i}\right\} _{i\in I}</math> là họ các tập mở bất kì có phần hội chứa <math>A</math>, thì tồn tại <math>J\subset I</math> và <math>\left|J\right|<\infty</math> sao cho <math>\left\{ U_{j}\right\} _{j\in J}</math> có hội chứa <math>A</math>. Vì vậy, ta có thể định nghĩa không gian con <math>A</math> của <math>X</math> là compact qua hai cách: dùng họ phủ mở của <math>A</math> hoặc họ các tập mở trong <math>X</math> có hội chứa <math>A</math>.
==Những ví dụ==
===Topo tổng quát===
* Không gian topo <math>X</math> với <math>X</math> hữu hạn là không gian compact, vì nó chỉ có hữu hạn tập mở. Tổng quát hơn, nếu topo <math>\tau</math> có hữu hạn phần tử thì <math>X</math> là không gian compact (topo hiển nhiên là một ví dụ).
* Không gian topo <math>X</math> với [[tô pô phần bù hữu hạn]] là không gian compact.
===Giải tích và Đại số===
* Khoảng đóng <math>\left[0,1\right]</math> dưới topo Euclide là compact, điều này được suy ra từ [[định lý Heine - Borel]]. Khoảng mở <math>\left(0,1\right)</math> thì không compact vì ta có họ phủ mở
:<math>\left\{ \left(\dfrac{1}{n},1\right)\right\} _{n\in\mathbb{N}}</math>
là phủ <math>\left(0,1\right)</math> nhưng không trích ra được phủ con hữu hạn.
* <math>\mathbb{R}</math> với topo Euclide là không compact vì ta có họ phủ mở <math>\left\{ \left(-n,n\right)\right\} _{n\in\mathbb{N}}</math> phủ <math>\mathbb{R}</math> nhưng không trích ra được phủ con hữu hạn. Ta cũng có thể kết luận điều này vì <math>\mathbb{R}</math> [[Phép đồng phôi|đồng phôi]] với <math>\left(0,1\right)</math> với topo Euclide nhưng <math>\left(0,1\right)</math> không compact, dẫn đến <math>\mathbb{R}</math> không compact.
* [[Tập Cantor]] là compact dưới topo Euclide.
* Cho <math>K</math> là tập hợp các hàm số <math>f:\,\left[0,1\right]\rightarrow\left[0,1\right]</math> thỏa [[liên tục Lipschitz|điều kiện Lipschitz]]: tồn tại <math>C>0</math> sao cho <math>\forall f\in K</math> thì
:<math>\left|f\left(x\right)-f\left(y\right)\right|\le C\left|x-y\right|,\quad\forall x,y\in\left[0,1\right]</math>.
Ta có <math>K</math> là không gian metric với metric định bởi
:<math>d\left(f,g\right)=\sup_{x\in\left[0,1\right]}\left|f\left(x\right)-g\left(x\right)\right|</math>
là không gian compact. Điều này được suy ra từ [[định lý Arzela-Ascoli]].
==Ý nghĩa==
Ý nghĩa của khái niệm này: Để đưa những vấn đề mang tính địa phương về toàn cục, cần phải hữu hạn hóa quá trình [[vô tận|vô hạn]]. Nói cách khác, mỗi sự kiện phụ thuộc ở phạm vi địa phương (xét trong lân cận tại mỗi điểm thuộc A), toàn bộ tập A được bao phủ bởi tất cả các [[lân cận (toán học)|lân cận]] ấy. Nếu chỉ cần một số hữu hạn các lân cận ấy đủ để bao phủ A thì ta có thể chọn được những đại lượng lớn nhất, bé nhất liên quan đến tính hữu hạn này.
Trong [[tiếng Anh]], ''compact'' có nghĩa là "nén chặt, gọn gàng, tinh tế". Qua định nghĩa trên, ta thấy một tập compact khá gọn gàng: Tưởng chừng phải có vô hạn cái túi để đựng tập A nhưng thật ra chỉ cần hữu hạn cái là đủ.
Trước đây, một số nhà toán học Việt Nam đưa những thuật ngữ [[tiếng Việt]] để dịch khái niệm này như là "tập compact", "tập cơm nén" (quá thuần Viêt) hay "tập áp súc" (từ [[Từ Hán-Việt|Hán-Việt]]). Có lẽ không được hưởng ứng nhiều, ngày nay ta dùng luôn từ ''compact'', đôi khi phiên âm thành "com-pắc".
==Các định lý==
Khá nhiều định lý gắn chặt với tính chất compact của tập như:
* Ảnh [[hàm liên tục|liên tục]] của một không gian compact là compact.
* Tập con đóng của không gian compact là compact.
* Cho <math>f: X\to Y</math> là song ánh liên tục. Nếu <math>X</math> là compact và <math>Y</math> là Hausdorff, thì <math>f</math> là [[đồng phôi]].
* Không gian con compact của không gian Hausdorff là đóng.
* [[Định lý giá trị cực trị]]: một hàm trị thực liên tục trên một không gian compact có giá trị nhỏ nhất và giá trị lớn nhất.
* Hội hữu hạn những tập compact là compact.
* [[Định lý Tychonoff]]: tích của một họ các không gian compact là compact.
===Đặc trưng của tính compact===
Một không gian là compact nếu và chỉ nếu mỗi họ các [[Định lý về đặc trưng qua tập đóng của tập compact|tập đóng với tính chất giao hữu hạn]] có giao khác rỗng.
===Không gian Euclide===
Với tập con <math>A</math> của [[không gian Euclide]] <math>\mathbb{R}^n</math>, những tính chất sau là tương đương:
1. <math>A</math> là compact.
2. Mỗi [[Dãy (toán học)|dãy]] trong <math>A</math> có dãy con [[Giới hạn (toán học)|hội tụ]].
3. <math>A</math> là [[Tập đóng|đóng]] và bị chặn ([[định lý Heine-Borel]]).
===Không gian metric===
* Cho phủ mở của không gian metric compact, thì có một số <math>\varepsilon >0</math> sao cho quả cầu bán kinh <math>\varepsilon >0</math> chứa trong một thành phần của phủ mở. ([[số Lebesgue]])
* Một không gian metric là compact nếu và chỉ nếu mỗi [[Dãy (toán học)|dãy]] có dãy con [[Hội tụ (không gian tôpô)|hội tụ]].
==Tài liệu tham khảo==
* {{citation | last=[http://math.mit.edu/people/profile.php?pid=194 James Munkres] |title=Topology |publisher=Prentice Hall |year=2000 |isbn=0-13-181629-2}}.
| |||