Professional Documents
Culture Documents
Izometrie I Podobieństwa
Izometrie I Podobieństwa
Izometrie I Podobieństwa
Geometria A
1 / 12
Geometria A
1 Izometrie
2 Podobieństwa
2 / 12
Geometria A
Izometrie
Definicja 1
Przekształcenie afiniczne f : En → En nazywamy izometrią przestrzeni
kartezjańskiej En , gdy f jest bijekcją spełniającą warunek
Twierdzenie 2
Przekształcenie f : En → En jest izometrią wtedy i tylko wtedy, gdy f jest
przekształceniem afinicznym oraz przekształcenie styczne f˜: Rn → Rn do f jest
automorfizmem euklidesowym.
3 / 12
Geometria A
Izometrie
Twierdzenie 3
1 Przekształcenie identycznościowe idEn jest izometrią przestrzeni En .
2 Jeżeli f , g : En → En są izometriami, to złożenie g ◦ f : En → En jest
izometrią.
3 Jeżeli f : En → En jest izometrią, to odwzorowanie odwrotne
f −1 : En → En jest izometrią.
4 / 12
Geometria A
Izometrie
Twierdzenie 4
Obrót afiniczny na płaszczyźnie jest izometrią przestrzeni E 2 .
Twierdzenie 5
Translacja o wetkor jest izometrią przestrzeni En .
5 / 12
Geometria A
Izometrie
Twierdzenie 6
Odwzorowanie σH jest izometrią przestrzeni En .
6 / 12
Geometria A
Izometrie
Twierdzenie 8
Załóżmy, że H jest podprzestrzenią przestrzeni kartezjańskiej En . Wówczas:
H jest zbiorem punktów stałych rzutu prostopadłego πH oraz symetrii
prostopadłej σH , tzn.
{X ∈ En : πH (X ) = X } = H, {X ∈ En : σH (X ) = X } = H;
πH (En ) = H;
σH jest inwolucją, tzn. σH ◦ σH = idEn .
7 / 12
Geometria A
Izometrie
Definicja 9
Niech H będzie podprzestrzenią w przestrzeni En .
Jeśli H = {P} jest zbiorem jednopunktowym, to symetrię prostopadłą σH
nazywamy środkową.
Jeśli H jest prostą, to symetrię prostopadłą σH nazywamy osiową.
Jesli H jest hiperpłaszczyną, to symetrię prostopadłą σH nazywamy
hiperpłaszczyznową i oznaczamy τH .
Twierdzenie 11 (Cartana-Dieudonne)
Każda izometria n-wymiarowej afinicznej przestrzeni euklidesowej jest
złożeniem co najwyżej n + 1 symetrii hiperpłaszczyznowych.
8 / 12
Geometria A
Podobieństwa
Definicja 12
Przekształcenie afiniczne f : En → En nazywamy podobieństwem
o współczynniku λ > 0, gdy f jest bijekcją spełniającą warunek
dla każdych X , Y ∈ En .
9 / 12
Geometria A
Podobieństwa
Twierdzenie 13
1 Przekształcenie identycznościowe idEn jest podobieństwem przestrzeni En
o współczynniku λ = 1.
2 Jeżeli f : En → En jest podobieństwem o współczynniku λ1 oraz
g : En → En jest podobieństwem o współczynniku λ2 , to złozenie
g ◦ f : En → En jest jest podobieństwem o współczynniku λ1 · λ2 .
3 Jeżeli f : En → En jest jest podobieństwem o współczynniku λ, to
odwzorowanie odwrotne f −1 : En → En jest podobieństwem
o współczynniku λ1 .
10 / 12
Geometria A
Podobieństwa
Stwierdzenie 14
Jednokładność JOa : En → En o środku w punkcie O i skali a jest
podobieństwem przestrzeni En o współczynniku |a|.
11 / 12
Geometria A
Podobieństwa
Twierdzenie 15
Każde podobieństwo f : En → En jest złożeniem JOa ◦ h pewnej izometrii
h : En → En oraz jednokładności JOa : En → En .
Wniosek 16
Każde podobieństwo f : En → En jest złożeniem pewnej jednokładności oraz co
najwyżej n + 1 symetrii hiperpłaszczyznowych.
12 / 12