✨Ánh xạ

thumb|220x124px | right | Ánh xạ liên tục giữa hai topo Trong toán học, ánh xạ (Tiếng Anh: mapping/ Tiếng Hán:映射) là một khái niệm chỉ quan hệ hai ngôi giữa hai 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 thường được sử dụng để thể hiện một á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 $f:X\; \backslash to\; Y$) là một quy tắc cho mỗi phần tử x $\backslash in$ X tương ứng với một phần tử xác định y $\backslash in$ Y, phần tử y được gọi là ảnh của phần tử x, ký hiệu $y=f(x)$, nghĩa là $\backslash forall\; x\; \backslash in\; X,\; \backslash exists!\; y\; \backslash in\; Y,\; y=\; f(x)$.

Tập X được gọi là tập nguồn, tập Y được gọi là tập đích.

Với mỗi tập con $A\; \backslash subset\; X$, tập con của Y gồm các phần tử là ảnh của $x\; \backslash in\; A$ qua ánh xạ f được gọi là ảnh của tập A ký hiệu là f(A). Ta có$f(A)=\; \{f(x)\; |\; x\; \backslash in\; A\; \}$. ::$f(X)=Y$ :hay ::$\backslash forall\; y\backslash in\; Y,\; \backslash exists\; x\; \backslash in\; X:\; f(x)\; =\; y$ *Đơ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. :$\backslash forall\; x\_1,x\_2\; \backslash in\; X:\; x\_1\backslash ne\; x\_2\; \backslash Rightarrow\; f(x\_1)\backslash ne\; f(x\_2)$ :hay :$\backslash forall\; x\_1,x\_2\; \backslash in\; X:\; f(x\_1)\; =\; f(x\_2)\; \backslash Rightarrow\; x\_1\; =x\_2$

*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).

Ánh xạ thu hẹp

Cho ánh xạ $f:X\; \backslash to\; Y$ và một tập con $E\backslash subset\; X$. Ánh xạ thu hẹp của $f$ về $E$ là một ánh xạ từ $E$ vào $Y$, ký hiệu $f|\_E$, xác định bởi đẳng thức $f|\_E(x)=f(x)$. Ánh xạ thu hẹp là duy nhất.

Ánh xạ mở rộng

Cho ánh xạ $f:X\; \backslash to\; Y$ và một tập hợp $F$ sao cho $X\backslash subset\; F$. Một ánh xạ mở rộng của $f$ tới $F$ là một ánh xạ $\backslash tilde\{f\}$ từ $F$ vào $Y$ sao cho $\backslash forall\; x\backslash in\; X:\backslash tilde\{f\}(x)=f(x)$. 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 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 Ánh xạ liên tục: Ánh xạ f từ x₀ $\backslash in$ X lên Y sao cho với mỗi lân cận W của f(x₀) đều tồn tại lân cận V của x₀ trong X (V $\backslash subset$ X) sao cho f(V) $\backslash subset$ W được gọi là ánh xạ liên tục tại x₀ 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 $\backslash in$ X Ánh xạ đồng phôi: f:X→Y là ánh xạ song ánh, liên tục và ánh xạ ngược $f^\{-1\}$ 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 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ơ 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 $\backslash in$ 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ở $\backslash in$ 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ạ đồng luân Á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