Xem mã nguồn của Ánh xạ

[[Tập tin:Ánh xạ liên tục giữa 2 topo.png | thumb|220x124px | right | Ánh xạ liên tục giữa hai topo]]
Trong [[toán học]], '''ánh xạ''' ([[Tiếng Anh]]: ''mapping/''  [[Từ Hán-Việt|Tiếng Hán]]:映射) là một khái niệm chỉ [[quan hệ hai ngôi]] giữa hai [[tập hợp (toán học)|tập hợp]] liên kết mỗi phần tử của tập hợp đầu tiên (được gọi là tập nguồn) với đúng một phần tử của tập hợp thứ hai (được gọi là tập đích). Tập nguồn và tập đích không nhất thiết phải là tập số thực hay tập con của tập số thực mà hoàn toàn có thể là tập hợp của các [[vector]], [[hàm giải tích]], [[biến ngẫu nhiên]], ... Nói cách khác, một ánh xạ biểu hiện một quy tắc hay thao tác biến đổi toán học nhất định từ một phần tử trên một không gian (tập hợp) sang đúng một phần tử (thường được gọi là ảnh) trên không gian (tập hợp) thứ hai. Các ánh xạ có thể là [[toàn ánh]], [[đơn ánh]] hoặc [[song ánh]] phụ thuộc vào tính chất của ảnh trên tập hợp thứ hai, và có thể được thể hiện bởi các [[toán tử]], ký hiệu toán học hoặc các phép toán từ sơ cấp tới cao cấp. Chẳng hạn, phép [[biến đổi Laplace]] là một ánh xạ từ tập chứa các hàm trên miền thời gian sang tập chứa các hàm trên miền tần số phức thông qua một phép biến đổi bằng [[tích phân]]. Hay một [[ma trận (toán học)|ma trận]] thường được sử dụng để thể hiện một [[biến đổi tuyến tính|ánh xạ tuyến tính]] giữa hai [[không gian Euclide]].

Khi hai tập hợp là hai tập [[số thực]] hoặc [[tập con]] của số thực, ánh xạ giữa hai tập này thường được gọi là ''[[hàm số]]''. Điều đó có nghĩa là hàm số được coi như một trường hợp đặc biệt của ánh xạ.

==Định nghĩa toán học==
Một ánh xạ f từ một [[tập hợp]] X vào một tập hợp Y (ký hiệu <math>f:X \to Y</math>) là một quy tắc cho mỗi phần tử x <math>\in</math> X tương ứng với một phần tử xác định y <math>\in</math> Y, phần tử y được gọi là [[Ảnh (toán học)|ảnh]] của phần tử x, ký hiệu <math>y=f(x)</math>,<ref name=":1">Hoàng Xuân Sính (1972), tr. 11</ref> nghĩa là <math>\forall x \in X, \exists! y \in Y, y= f(x)</math>.

Tập X được gọi là [[Tập xác định|tập nguồn]], tập Y được gọi là tập đích.<ref name=":1" />

Với mỗi <math>y \in Y</math>, tập con của X gồm các phần tử, có ảnh qua ánh xạ ''f'' bằng ''y'', được gọi là [[Ảnh (toán học)|tạo ảnh]] của phần tử ''y'' qua ''f'', ký hiệu là <math>f^{-1}(y)</math>. Ta có<math>f^{-1}(y)=\{x\in X | f(x)=y \}</math>.<ref name=":2">Hoàng Xuân Sính (1972), tr. 13</ref>

Với mỗi tập con <math>A \subset X</math>, tập con của Y gồm các phần tử là ảnh của <math>x \in A</math> qua ánh xạ f được gọi là ảnh của tập A ký hiệu là f(A). Ta có<math>f(A)= \{f(x) | x \in A \}</math>.<ref name=":2" />

Với mỗi tập con <math>B \subset Y</math>, tập con của X gồm các phần tử x có ảnh <math> f(x) \in B</math> được gọi là tạo ảnh của tập B ký hiệu là <math>f^{-1}(B)</math>. Ta có<math>f^{-1}(B) = \{x \in X | f(x)\in B\}</math>.<ref name=":2" />

Trong tương quan với khái niệm [[quan hệ (toán học)|quan hệ]], ta cũng có thể định nghĩa:
:Một ánh xạ <math>\mathcal F</math> từ tập X vào tập Y là một quan hệ <math>\mathcal F</math> từ X vào Y thoả mãn điều kiện: mọi phần tử <math>x \in X</math> đều có quan hệ <math>\mathcal F</math> với một và chỉ một phần tử <math>y \in Y</math>.

==Vài tính chất cơ bản==

*Ảnh của một [[tập hợp rỗng]] là một tập hợp rỗng
:<math>A=\empty \, \Leftrightarrow f(A)= \empty</math>
*Ảnh của tập hợp con là tập hợp con của ảnh
:<math> A \subset B </math><math>\Rightarrow f(A) \subset f(B)</math>
*Ảnh của phần giao nằm trong giao của phần ảnh
: <math>f(A \cap B) \subset f(A) \cap f(B)</math>
*Ảnh của phần hợp là hợp của các phần ảnh
:<math>f(A \cup B)=f(A)\cup f(B)</math>

==Toàn ánh, đơn ánh và song ánh==
[[Tập tin:Anh xa.JPG|phải]]
*[[Toàn ánh]] là ánh xạ từ X vào Y trong đó ảnh của X là toàn bộ tập hợp Y. Khi đó người ta cũng gọi f là ánh xạ từ X ''lên'' Y<ref name=":3">Hoàng Xuân Sính (1972), tr. 15</ref>
::<math>f(X)=Y</math>
:hay
::<math>\forall y\in Y, \exists x \in X: f(x) = y</math>
*[[Đơn ánh]] là ánh xạ khi các phần tử khác nhau của X cho các ảnh khác nhau trong Y. [[Đơn ánh]] còn được gọi là ánh xạ 1-1 vì tính chất này.<ref name=":4">Hoàng Xuân Sính (1972), tr. 14</ref>
:<math>\forall x_1,x_2 \in X: x_1\ne x_2 \Rightarrow f(x_1)\ne f(x_2)</math>
:hay
:<math>\forall x_1,x_2 \in X: f(x_1) = f(x_2) \Rightarrow x_1 =x_2</math>

*[[Song ánh]] là ánh xạ vừa là đơn ánh, vừa là toàn ánh. Song ánh vừa là ánh xạ 1-1 và vừa là ánh xạ "onto" (từ X lên Y).<ref name=":3" />

==Một số ánh xạ đặc biệt==
*'''[[Ánh xạ không đổi]]''' ([[ánh xạ hằng]]): là ánh xạ từ X vào Y sao cho mọi phần tử x <math>\in</math> X đều cho ảnh tại một phần tử duy nhất <math>y_0</math> <math>\in</math> Y.
*'''[[Ánh xạ đồng nhất]]''': là ánh xạ từ X vào chính X sao cho với mọi phần tử x trong X, ta có f(x)=x.<ref name=":4" />
*'''Ánh xạ nhúng''': là ánh xạ f từ tập con <math>X \subset Y</math> vào Y cho f(x)= x với mọi <math>x \in X</math> (cũng được gọi là ''đơn ánh chính tắc'').<ref name=":4" /> Khi đó ta ký hiệu f: X <math>\hookrightarrow</math> Y. Một quan niệm khác về ánh xạ nhúng là: nếu <math>f: X \to Y</math> là đơn ánh, khi xem f chỉ là ánh xạ từ X vào tập con <math>f(X) \subset Y</math>, f sẽ là song ánh. Lúc đó ta có tương ứng 1-1 giữa X với f(X) nên có thể thay thế các phần tử của tập con <math>f(X) \subset Y</math> bằng các phần tử của tập X. Việc này được gọi là nhúng X vào Y bằng đơn ánh f.

==Các phép toán==
===Ánh xạ hợp===
{{Chính|Hàm hợp}}
Cho hai ánh xạ <math>f: X \to Y</math> và <math>g: Y \to Z</math>. Hợp của hai ánh xạ f, g, ký hiệu là <math>g\circ f</math> là ánh xạ từ X vào Z, xác định bởi đẳng thức <math>(g\circ f)(x)=g (f(x))</math> (cũng được gọi là ''tích ánh xạ'' của f và g).<ref name=":3" />

Một số tính chất của ánh xạ hợp

* Nếu <math>(g\circ f)</math> là đơn ánh thì f là đơn ánh.
* Nếu <math>(g\circ f)</math> là toàn ánh thì g là toàn ánh.
* Nếu <math>(g\circ f)</math> là song ánh thì f và g đều là song ánh.

=== Ánh xạ nghịch đảo ===
Cho ánh xạ <math>f:X \to Y</math>là song ánh. Nếu tồn tại  ánh xạ <math>g: Y \to X</math> sao cho

<math>\forall x \in X: (g\circ f)(x) =x </math>

<math>\forall y \in Y: (f\circ g)(y) =y </math>

thì g được gọi là nghịch đảo, hay ánh xạ ngược, của f, ký hiệu là <math>f^{-1}</math>.

Ánh xạ f có nghịch đảo khi và chỉ khi f là song ánh.<ref>Hoàng Xuân Sính (1972), Định lí 5, tr. 16</ref>

=== Ánh xạ thu hẹp ===
Cho ánh xạ <math>f:X \to Y</math> và một tập con <math>E\subset X</math>. Ánh xạ thu hẹp của <math>f</math> về <math>E</math> là một ánh xạ từ <math>E</math> vào <math>Y</math>, ký hiệu <math>f|_E</math>, xác định bởi đẳng thức <math>f|_E(x)=f(x)</math>.<ref name=":0">Hoàng Xuân Sính (1972), tr.17</ref> Ánh xạ thu hẹp là duy nhất.

=== Ánh xạ mở rộng ===
Cho ánh xạ <math>f:X \to Y</math> và một tập hợp <math>F</math> sao cho <math>X\subset F</math>. Một ánh xạ mở rộng của <math>f</math> tới <math>F</math> là một ánh xạ <math>\tilde{f}</math> từ <math>F</math> vào <math>Y</math> sao cho <math>\forall x\in X:\tilde{f}(x)=f(x)</math>.<ref name=":0" /> Nói chung, với mỗi ánh xạ đã cho, có nhiều ánh xạ mở rộng khả dĩ.

==Các khái niệm ánh xạ khác (dịch từ tiếng Anh)==
*[[Ánh xạ xạ ảnh]]
*''Canonical map'' [[Ánh xạ chính tắc]]
*''Classifying map'' [[Ánh xạ phân loại]]
*[[Ánh xạ bảo giác]]: ánh xạ bảo toàn [[độ lớn]] của các [[góc]], nghĩa là góc giữa các [[tiếp tuyến]] với hai [[đường cong]] bất kì (tại [[giao điểm]] của chúng) bằng góc giữa các tiếp tuyến với các ảnh của hai đường đó (tại giao điểm tương ứng). Một [[Hàm chỉnh hình|hàm song chỉnh hình]] là một ánh xạ bảo giác.
*[[Ánh xạ không đổi]]
*[[Ánh xạ tiếp lên]]
*[[Hàm liên tục|Ánh xạ liên tục]]:
**Ánh xạ f từ x<sub>0</sub> <math>\in</math> X lên Y sao cho với mỗi [[tập hợp lân cận|lân cận]] W của f(x<sub>0</sub>) đều tồn tại lân cận V của x<sub>0</sub> trong X (V <math> \subset </math> X) sao cho f(V) <math> \subset </math> W được gọi là ánh xạ liên tục tại x<sub>0</sub> lên Y
**Ánh xạ Y = f(X) được gọi là ánh xạ liên tục từ X vào Y nếu nó liên tục với mọi x <math> \in </math> X
*[[Phép đồng phôi|Ánh xạ đồng phôi]]: f:X→Y là ánh xạ song ánh, liên tục và ánh xạ ngược <math>f^{-1}</math> cũng liên tục. Khi đó X và Y được gọi là hai không gian, hai tập hợp [[đồng phôi]] hay [[tương đương tô pô]]
*''Contour map'' [[Phương ánh các đường nằm ngang]]
*''Contraction mapping'' [[ánh xạ co]] là ánh xạ của không gian mêtric vào chính nó, sao cho khoảng cách giữa hai điểm bất kì bị giảm đi qua ánh xạ đó. Người ta chứng minh rằng, nếu [[không gian mêtric]] là đủ thì mỗi ánh xạ co bao giờ cũng có một và chỉ một [[điểm bất động]] x, tức là F(x) = x {{chính|Nguyên lý điểm bất động}}
*''Equivariant map'' [[Ánh xạ đẳng biến]]
*''Evaluation map'' [[Ánh xạ định giá]]
*''Excission map'' [[Ánh xạ cắt]]
*''Fibre map'' [[Ánh xạ phân thớ]], [[ánh xạ các không gian phân thớ]]
*''Identification map'' [[Ánh xạ đồng nhất hoá]]
*''Inclusion map'' [[Ánh xạ nhúng chìm]]
*''Interior map'' [[Ánh xạ trong]]
*''Involutory map'' [[Ánh xạ đối hợp]]
*''Light map'' [[Ánh xạ chuẩn gián đoạn]] (khắp nơi có các điểm gián đoạn)
*''Lowering map'' [[Ánh xạ hạ thấp]]
*''Regular map'' [[Ánh xạ chính quy]]
*''Simplicial map'' [[Ánh xạ đơn hình]]
*''Tensor map'' [[Ánh xạ tenxơ|Ánh xạ]] [[tenxơ]]
*''Affine mapping'' [[Ánh xạ afin]]
*''Analytic mapping'' [[Ánh xạ giải tích]]
*''Bicontinuous mapping'' [[Ánh xạ song liên tục]]
*''Chain mapping'' [[Ánh xạ chuỗi]], [[ánh xạ dây chuyền]]
*''Closed mapping'' [[Ánh xạ đóng]]: f:X→Y được gọi là ánh xạ đóng nếu với mọi [[tập]] A đóng <math>\in</math> X đều có f(A) là [[tập đóng]] trong Y 
*''Open mapping'' [[Ánh xạ mở]]: f:X→Y được gọi là ánh xạ mở nếu với mọi [[tập]] A mở <math>\in</math> X đều có f(A) là [[tập mở]] trong Y 
*''Diferentiable mapping'' [[Ánh xạ khả vi]]
*''Epimorphic mapping'' [[Ánh xạ toàn hình]]
*''Homomorphous mapping'' [[Ánh xạ đồng cấu]]
*''Homotopic mapping'' [[Ánh xạ dây chuyền đồng luân|Ánh xạ đồng luân]]
*[[Phép đẳng cự|Ánh xạ đẳng cự]]
*''Isotonic mapping'' [[Ánh xạ bảo toàn thứ tự]]
*[[Ánh xạ tuyến tính]]
*''Meromorphic mapping'' [[Ánh xạ phân hình]]
*''Monomorphic mapping'' [[Ánh xạ đơn cấu]]
*''Monotone mapping'' [[Ánh xạ đơn điệu]]
*''Non-alternating mapping'' [[Ánh xạ không thay phiên]]
*''Norm-preserving mapping'' [[Ánh xạ bảo toàn chuẩn]]
*''One-to-one mapping'' Ánh xạ một-một, hai chiều, ([[song ánh]])
*''Perturbation mapping'' [[Ánh xạ lệch]]
*''Preclosed mapping'' [[Ánh xạ tiền đóng]]
*''Pseudoconformal mapping'' [[Ánh xạ giả bảo giác]]
*''Quasi-conformal mapping'' [[Ánh xạ tựa bảo giác]]
*''Quasi-open mapping'' [[Ánh xạ tựa mở]]
*''Rational mapping'' [[Ánh xạ hữu tỷ]]
*''Sense-preserving mapping'' [[Ánh xạ bảo toàn chiều]]
*''Slit mapping'' [[Ánh xạ lên miền có lát cắt trong]]
*''Starlike mapping'' [[Ánh xạ hình sao]]
*''Symplectic mapping'' [[Ánh xạ đối ngẫu]] ximplectic
*''Topological mapping'' [[Ánh xạ tô pô]]
*''Univalent mapping'' [[Ánh xạ đơn diệp]]

==Xem thêm==
*[[Tập hợp]]
*[[Lý thuyết tập hợp]]
*[[Nhóm (đại số)]]
*[[Hàm số]]
*[[Ánh xạ xạ ảnh]]
*[[Tô pô]]

==Ghi chú==
{{tham khảo}}

== Liên kết ngoài ==
{{Cổng thông tin|Toán học}}
* {{Britannica|363594|Mapping (mathematics)}}
* Hoàng Xuân Sính, ''Đại số đại cương (tái bản lần thứ tám)'', 1972, Nhà xuất bản Giáo dục
{{Toán học}}
{{Logic toán}}
{{Kiểm soát tính nhất quán}}

[[Thể loại:Ánh xạ| ]]
[[Thể loại:Hàm số và ánh xạ]]
[[Thể loại:Khái niệm cơ bản trong lý thuyết tập hợp]]