Không gian thương (tô pô)

Trong tô pô và các ngành liên quan của toán học, **không gian thương (quotient topology)** của một không gian tô pô theo một quan hệ tương đương (hai ngôi) là một không gian tô pô mới, được xây dựng bằng cách gán tô pô thương cho tập hợp thương tương ứng, tức là tô pô mịn nhất sao cho các phép chiếu chuẩn tắc trở thành liên tục. Nói cách khác, một tập hợp trong không gian thương là mở khi và chỉ khi tạo ảnh của nó là mở trong không gian ban đầu.

Nói một cách trực quan, **các điểm tương đương với nhau** trong quan hệ tương đương sẽ **được dính lại thành một điểm** trong không gian thương. Ví dụ, nếu ta coi hai điểm đối xứng trên mặt cầu là tương đương với nhau, ta sẽ thu được một không gian thương là mặt phẳng xạ ảnh.

## Định nghĩa
Cho \big(X,\tau_X\big) là một không gian tô pô, và \sim là một quan hệ tương đương trên X \big(nhắc lại, một quan hệ toán học 2 ngôi \sim trên một tập X là một tập con của X\times X, nghĩa là

\sim \subseteq{\displaystyle X\times X}\big). Tập hợp thương Q=X/\sim là tập hợp gồm tất cả các lớp tương đương trên X theo quan hệ \sim . Thông thường, lớp tương đương của một phần tử x\in X được ký hiệu là [x], hoặc \widetilde x, hoặc \overline x, nghĩa là: 
 [x]=\big\{y\in X\ \big|\ y\sim x\big\}     

 Q=\big(X/\sim\big)=\Big\{[x]\ \big|\ x\in X\Big\}
* Không gian thương Q được trang bị tô pô thương:
:\tau_Q = \Big\{U \subseteq Q\ \big|\ \big\{x\in X: [x] \in U\big\}\in \tau_X\Big\}
là tô pô mà các tập mở là các tập U\subseteq Q thỏa mãn tập \big\{x\in X: [x] \in U\big\} là mở trong \big(X,\tau_X\big).

* Một cách tương đương, các tập mở của không gian thương \big(Q,\tau_Q\big) là các tập U\subseteq Q sao cho dưới toàn ánh

 f:\ \big(X,\tau_X\big)\longrightarrow{\displaystyle {\big (}Q,\tau _{Q}{\big)}}

          x\longmapsto f(x)=[x]
nghịch ảnh f^{-1}\big(U\big) là mở trong \big(X,\tau_X\big).

* Tô pô thương là **[[tô pô cuối (final topology)]]** của tập hợp thương theo ánh xạ  x\longmapsto[x].

## Ánh xạ thương (quotient map)

* Một ánh xạ  f:\ \big(X,\tau_X\big)\longrightarrow{\displaystyle {\big (}X/\sim,\tau _{X/\sim}{\big)}} được gọi là **[[ánh xạ thương (identification map)]]** nếu nó toàn ánh và \bigg(U\in\tau_{X/\sim,\tau_{X/\sim}}\iff f^{-1}\big(U\big)\in\tau_X\bigg).

Một cách tương đương,  f là ánh xạ thương \iff f toàn ánh và  X/\sim  đươc trang bị tô pô cuối cùng theo f.

* Cho \big(X,\tau_X\big) là một không gian tô pô với quan hệ tương đương \sim . Khi đó '''ánh xạ chính tắc (canonical map) ''' **<math>q:\ \big(X,\tau_X\big)\longrightarrow{\displaystyle {\big (}X/\sim,\tau _{X/\sim}{\big)}}</math>** là một ánh xạ thương.

## Ví dụ

* **Phép dán (gluing).**  Các nhà tô pô học thường nói về việc dán các điểm lại với nhau. Cho không gian tô pô \big(X,\tau_X\big), dán 2 điểm x,y  trong X có nghĩa là ta xét không gian thương thu được từ quan hệ tương đương a\sim b\Leftrightarrow a=b  hoặc (a,b)=(x,y)  hoặc (a,b)=(y,x) .
* Xét hình vuông đơn vị với quan hệ tương đương  \sim  sinh bởi điều kiện tất cả các điểm biên đều tương đương, do đó ta lập được 1 lớp tương đương gồm tất cả điểm biên của [0,1]^2 . Khi đó \Big([0,1]^2/\sim\Big)\cong S^2 ,  với S^2  là một mặt cầu bất kỳ.

* **[[Không gian mở rộng (adjunction space)]].**   Tổng quát, cho không gian tô pô\big(X,\tau_X\big) và không gian con \big(A,\tau_A\big) với  \tau_A=\Big\{A\cap U\ \big|\ U\in\tau_X\Big\}. Ta có thể gộp tất cả phần tử của A thành một lớp tương đương và tất cả các phần tử của X\setminus A thành một lớp tương đương., nghĩa là

     \forall a\in A,\ [a]=A 

     \forall b\in X\setminus A,\ [b]=X\setminus A 
Khi đó, ta nhận được không gian thương được kí hiệu là X/A.  Mặt cầu 2 chiều đồng phôi với một hình tròn đóng, với biên được xác định bởi đúng một điểm: D^2/\partial D^2.

* Xét không gian \mathbb R với tô pô Euclide, với quan hệ tương đương x\sim y\Leftrightarrow (x-y)\in\mathbb Z. Khi đó \mathbb R/\sim đồng phôi với đường tròn đơn vị S^1  qua phép đồng phôi  [x]\longmapsto e^{\frac{2\pi}{x}} .
* Tổng quát hóa của ví dụ trước:  cho \big(G,\cdot,\tau_G\big)  là một nhóm tô pô tác động liên tục lên không gian tô pô \big(X,\tau_X\big) . Xét quan hệ tương đương trong X  bởi  x\sim y\Leftrightarrow\exists z\in G:\ x,y\in\mathcal O_z, với  \mathcal O_z=G\cdot z=\big\{g\cdot z \ \big|\ g\in G\big\} là quỹ đạo của z bởi tác động liên tục của G lên tập hợp tất cả nhóm con của G. Khi đó X/\sim được gọi là **không gian quỹ đạo (orbit space)**, kí hiệu là X/G. Trong ví dụ trước, G=\mathbb Z tác động tịnh tiến lên \mathbb R. Không gian quỹ đạo \mathbb R/\mathbb Z đồng phôi với S^1 .

***Ghi chú:   <math>\mathbb R/\mathbb Z</math>*** là một khái niệm vẫn còn mơ hồ. Nếu hiểu theo nghĩa \mathbb Z là một nhóm với phép cộng tác động lên \mathbb R thì không gian thương đồng phôi với đường tròn. Nếu hiểu theo nghĩa  \mathbb Z là một không gian con của \mathbb R thì không gian thương đồng phôi với vô hạn đếm được cánh hoa giao nhau tại 1 điểm.

## Tính chất

* Cho **<math>{\displaystyle \big(Y,\tau_Y\big)}</math>** là một không gian thương của **<math>{\displaystyle \big(X,\tau_X\big)}</math>**. Ánh xạ thương  **<math>q:\ \big(X,\tau_X\big)\longrightarrow{\displaystyle \big(Y,\tau_Y\big)}</math>**,  là đặc trưng trong các toàn ánh do tính chất sau:

cho không gian tô pô \big(Z,\tau_Z\big)  và  **<math>f:\ \big(Y,\tau_Y\big)\longrightarrow\big(Z,\tau_Z\big)</math>**, khi đó f liên tục \ifff\circ q liên tục.

* Không gian thương X/\sim cùng với ánh xạ thương  **<math>q:\ X\longrightarrow X/\sim</math>** được đặc trưng bởi '''tính phổ dụng''' **(universal property)** : nếu ánh xạ**<math>g:\ \big(X,\tau_X\big)\longrightarrow\big(Z,\tau_Z\big)</math>** là liên tục và thỏa mãn g(a)=g(b),\ \forall a,b\in X:\ a\sim b,  thì khi đó \exists ! **<math>f:\ \big(X/\sim,\tau_{X/\sim}\big)\longrightarrow\big(Z,\tau_Z\big)</math>** sao cho  g=f\circ q.           Ta nói g *là một ánh xạ hạn chế thương.*   Do đó, các ánh xạ liên tục được xác định trên X/\sim chính là các ánh xạ được sinh bởi các ánh xạ liên tục được xác định trên X theo quan hệ tương đương (theo nghĩa là chúng gửi các phần tử tương đương vào cùng một tạo ảnh). Tiêu chí này được sử dụng nhiều khi nghiên cứu không gian thương.
* Cho toàn ánh liên tục **<math>q:\ X\longrightarrow X/\sim</math>**. Ta có thể đặt câu hỏi với điều kiện nào thì **<math>q</math>** là một ánh xạ thương ? Điều kiện đủ là **<math>q</math> **là ánh xạ mở (điều này tương đương với **<math>q</math> **là ánh xạ đóng).  Lưu ý rằng đây là điều kiện đủ chứ không phải điều kiện cần (nhắc lại: cho 2 mệnh đề P và Q, nếu P đúng **<math>\Rightarrow</math>** Q đúng thì P là điều kiện đủ của Q và Q là điều kiện cần của P)  Ta có thể dễ dàng xây dựng các ví dụ về ánh xạ thương mà không phải là ánh xạ mở.   Đối với các nhóm tô pô, ánh xạ thương là ánh xạ mở.

## Tương quan với các khái niệm tô pô khác
Sự tách (separation)

* Nói chung, hệ tiên đề tách là không đúng đối với các không gian thương. Không gian thương X/\sim không nhất thiết kế thừa các tính chất tách của X, và X/\sim có thể có những tính chất tách mà X không có.
* X/\sim là không gian T_1 \iff mọi lớp tương đương là đóng trong X.
* Nếu ánh xạ thương là ánh xạ mở, thì X/\sim  là Hausdorff \iff \sim là một tập con đóng trong không gian tích \big(X\times X,\rho\big) với \rho là tô pô tích  (nhác lại, một quan hệ toán học 2 ngôi \sim trên một tập X là một tập con của X\times X, nghĩa là \sim \subseteq{\displaystyle X\times X}).

Tính liên thông (connectedness)

* Nếu một không gian là liên thông (hoặc liên thông đường) thì mọi không gian thương của nó cũng liên thông (hoặc liên thông đường)
* Nếu một không gian là đơn liên (hoặc co rót được-contractible space) thì không gian thương của nó không nhất thiết có các tính chất đó.

Tính compact

* Nếu một không gian là compact thì mọi không gian thương của nó cũng compact.
* Nếu một không gian là compact địa phương thì không gian thương của nó không nhất thiết compact địa phương.

Số chiều (Dimension)

* Số chiều tô pô của một không gian thương có thể lớn hơn hoặc bé hơn số chiều của không gian ban đầu. Đường cong phủ không gian cho ta các ví dụ như vậy.

## Thư mục
*

## Liên kết ngoài
*
*Không gian thương  tại omarine

## Đọc thêm
*
*