✨Phép đẳng cự

Trong toán học, một phép đẳng cự là một phép biến đổi bảo toàn khoảng cách giữa các không gian metric, thường được giả sử là một song ánh.

nhỏ| [[Hàm hợp|Hợp của hai phép đối xứng tạo thành một phép đẳng cự trực tiếp: trong trường hợp này, nó là một phép tịnh tiến.]]

Định nghĩa

Gọi X và Y là hai không gian metric với metric tương ứng d_X và d_Y. Một hàm f: X → Y được gọi là một phép đẳng cự hoặc bảo toàn khoảng cách nếu với mọi a, b ∈ X ta có

: $d\_Y!\backslash left(f(a),f(b)\backslash right)=d\_X(a,b).$

Đa tạp

Định nghĩa

Xét hai đa tạp Riemann $R\; =\; (M,\; g)$ và $R\text{'}\; =\; (M\text{'},\; g\text{'})$, và một phép vi phôi $f:\; R\; \backslash to\; R\text{'}$. $f$ được gọi là một phép đẳng cự nếu

: $g\; =\; f^\{*\}\; g\text{'},\; \backslash ,$

với $f^\{*\}\; g\text{'}$ là pull-back của $g\text{'}$ bởi $f$.

Tương đương, sử dụng push-forward $f\_\{*\}$,ta có với mọi trường vectơ $v,\; w$ trên $M$ (tức là các nhát cắt của phân thớ tiếp tuyến $\backslash mathrm\{T\}\; M$),

: $g(v,\; w)\; =\; g\text{'}\; \backslash left(f${*} v, f{*} w \right). \,

Nếu $f$ là một vi phôi địa phương sao cho $g\; =\; f^\{*\}\; g\text{'}$, thì $f$ được gọi là một đẳng cự địa phương.

Phạm trù

Phép đẳng cự là phép đẳng cấu trong phạm trù các không gian metric và trong phạm trù các không gian Riemann.

Định nghĩa về điểm liên hợp đẳng cự

Cho tam giác ABC. Lấy D,E,F thuộc BC, CA, AB. AD, BE, CF là các đường đồng quy khi đó ta lấy lần lượt các điểm D', E', F' sao cho chúng đối xứng với D, E, F qua trung điểm của BC, CA, AB. Khi đó AD', BE', CF' đồng quy tại một điểm gọi là điểm liên hợp đẳng cự (conjugate point) của giao điểm AD, BE, CF.