Inwolucja (matematyka): Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m drobne redakcyjne |
|||
Linia 7:
== Własności ==
*Każda inwolucja jest [[bijekcja|bijekcją]] (każdy morfizm-inwolucja jest izomorfizmem).
*Dla dowolnego ''k'' naturalnego mamy:
:<math>f^{2\cdot k} (x)=x\;</math>
:<math>f^{2\cdot k+1} (x)=f(x)\;</math>
Podobnie <math>i^{2\cdot n} = 1_X</math> oraz <math>i^{2\cdot n+1} = i</math> dla dowolnego morfizmu inwolucyjnego <math>i : X \rightarrow X</math>.
Linia 33 ⟶ 31:
:::s(x, y) := (y, x) dla każdego (x, y) ε A × A.
Zbiorem [[punkt stały|punktów stałych]] inwolucji s jest
:Δ <sub>A</sub> := { (x, x) : x ε A }.
Wiele inwolucji jest indukowanych przez opisaną wyżej inwolucję
*Zmiana znaku <math>f(x)=-x\;</math> jest inwolucją w zbiorze liczb całkowitych (a także wymiernych, rzeczywistych, zespolonych ...)
Linia 47 ⟶ 45:
*W rachunku macierzy inwolucjami są [[Macierz transponowana|transpozycja]], [[Macierz sprzężona (trywialnie)|sprzężenie]], [[sprzężenie hermitowskie]], [[macierz odwrotna]].
==
W [[geometria|geometrii]] euklidesowej inwolucjami są [[symetria|symetrie]] zwierciadlane, osiowe, środkowe, a także [[inwersja (geometria)|inwersja]]. Izometrie zwierciadlane zmieniają orietację przestrzeni. Izometria środkowa zmienia orientację nieparzystowymiarowej przestrzeni euklidesowej, ale zachowuje parzystowymiarowej.
|