Professional Documents
Culture Documents
Srdjan Vukmirovi¢
septembar 2018.
Realna projektivna ravan
Denicija
Prava p∞ : x3 = 0 naziva se beskona£no daleka prava, a svaka
ta£ka B∞ (x1 : x2 : 0), koja joj pripada, beskona£no daleka ta£ka.
Primer
Odrediti homogene koordinate prave p : x − 2y + 5 = 0, a zatim
odrediti beskona£no daleku ta£ku dobijene projektivne prave.
Realna projektivna ravan
Denicija
Realna projektivna ravan je skup ta£aka RP 2 := {(x1 : x2 : x3 )},
pri £emu ne mogu sve tri homogene koordinate biti jednake nuli.
Moºemo identikovati RP 2 sa pro²irenom anom ravni.
RP 2 := {(x1 : x2 : x3 )} = {(x1 : x2 : x3 ) | x3 6= 0} ∪ {(x1 : x2 : 0)} =
x1 x2
= {( : : 1)} ∪ {(x1 : x2 : 0)} = R2 ∪ p∞ = R̄2 .
x3 x3
Primer
I : Za svake dve ta£ke A i B postoji jedinstvena prava p koja ih
sadrºi.
I 0 : Za svake dve prave a i b postoji jedinstvena ta£ka P koja im
pripada.
Realna projektivna ravan
Trotemenik, £etvorotemenik, . . .
Denicija
Trotemenik ABC je gura projektivne ravni koja se sastoji od tri
nekolinearne ta£ke A, B, C i tri prave AB, BC , CA njima odredjene.
Tri prave koje nisu konkurentne razbijaju projektivnu ravan na 4
oblasti! (obja²njenje)
Realna projektivna ravan
Dvorazmera
Denicija
Neka su A, B, C , D kolinearne ta£ke i vaºi:
→
− →
− →
− →
− →
− →
−
C = αA + βB, D = γ A + δB. (2)
Osobine dvorazmere:
a) (A, B, C , D) = (B, A, C , D)−1
Dokaz: Ako zamenimo uloge ta£kama A i B u formuli (4) tada
brojevi α i β , odnosno γ i δ menjaju uloge, pa se iz (5) dobija
traºeno tvrdjenje.
b) (A, B, C , D) = (C , D, A, B).
Dokaz: Relaciju (4) moºemo zapisati matri£no sa:
C α β A
= .
D γ δ B
Oznake vektora smo izostavili radi jednostavnosti zapisa. ta je
objekat na levoj strani prethodne formule?
Realna projektivna ravan
To zna£i da je:
→
− δ→− −β →
− →
− −γ →
− α→−
A = C + D, B = C + D. (4)
∆ ∆ ∆ ∆
−β α
β δ
(C , D, A, B) = ∆
δ
: ∆
−γ = : = (A, B, C , D). (5)
∆ ∆
α γ
Denicija
Parovi ta£aka A, B i C , D su harmonijski konjugovani (pi²emo
H(A, B; C , D)) ako (A, B, C , D) = −1.
Realna projektivna ravan
Teorema
Ako su a, b, c, d konkurentne prave i A ∈ a, B ∈ b, C ∈ c, D ∈ d
kolinearne ta£ke. Tada je (A, B, C , D) = (a, b, c, d).
Dokaz: Po deniciji vaºi:
β δ
(a, b, c, d) := :
α γ
→
− →
− →
− →
−
c = α→
−
a +βb, d = γ→
−
a +δb.
Pretpostavimo da A, B, C , D ∈ p . Odredimo preseke:
→
− →
− − →
− →
− →
−
c ×→
−
p = α(→
−
a ×→
−
p ) + β( b × →
p ), tj. C = α A + β B ,
→
− → →
− − →
− →
− →
−
d ×−
p = γ(→
−
a ×→
−
p ) + δ( b × →
p ), tj. D = γ A + δ B .
Zato je (A, B, C , D) = β
α : δ
γ = (a, b, c, d). t
u
Realna projektivna ravan
Posledica
Sredi²te duºi je konjugovano sa beskona£no dalekom ta£kom.
Dokaz: Neka je S sredi²te duºi AB, a P∞ beskona£no daleka
ta£ka prave AB. Na osnovu anog smisla dvorazmere dobijamo:
−→ −−−→ −−−→
AS AP∞ P∞ B
(A, B, S, P∞ ) = lim −→ : −−−→ = lim
P→P∞ SB P→P∞
−−−→ = − 1. t
u
P∞ B AP∞
Realna projektivna ravan
Denicija
Projektivno preslikavanje je ono koje preslikava ta£ku
M(x1 : x2 : x3 ) u ta£ku M 0 (x10 : x20 : x30 ) formulama
0
x1 p11 p12 p13 x1
λ x20 = p21 p22 p23 x2 , det(pij ) 6= 0. (6)
x30 p31 p32 p33 x3
λx 0 = Px, (7)
Realna projektivna ravan
λx = Cx 0 , gde je C = P −1 . (8)
Teorema
Projektivna preslikavanja £uvaju dvorazmeru.
Dokaz: Neka za slike A0 , B 0 , C 0 , D 0 ta£aka A, B, C , D vaºi
−
→ →
− −
→ −
→ →
− −
→
C 0 = α A0 + β B 0 , D 0 = γ A0 + δ B 0 .
odakle je
β δ
(A, B, C , D) = : = (A0 , B 0 , C 0 , D 0 ). t
u
α γ
Realna projektivna ravan
gde ni jedan od brojeva λ1 , λ2 , λ3 nije nula. Ako je, recimo, λ1 = 0, tada bi ta£ke
B, C , D bile kolinearne, suprotno pretpostavci.
−
→ −
→ −
→
Neka je P matrica £ije su kolone redom λ1 A , λ2 B i λ3 C . Preslikavanje f zadato sa
λx 0 = Px je traºeno preslikavanje. Za²to?
Realna projektivna ravan
Primer
Odrediti projektivno preslikavanje ravni koje ta£ke A0 , B0 , C0 , D0
slia u A(1 : 2 : 3), B(3 : 2 : 1), C (0 : 1 : 1), D(7 : 11 : 10).
Denicija
Ano preslikavanje ta£ku M(x, y ) preslikava u ta£ku M 0 (x 0 , y 0 ):
x0
a11 a12 x b1
= + , det(aij ) 6= 0. (9)
y0 a21 a22 y b2
−x30 X T x20 X T
0 0 p1
0 = x30 X T 0 −x10 X T p2 .
0 −x20 X T x10 X T 0 p3
Matrica tog sistema je formata 3 × 9, ali je ranga 2 (ako pomnoºimo
prvu vrstu sa x10 , drugu sa x20 , a tre¢u sa x30 i saberemo, dobijamo nula).
0
Zato se, za x3 6= 0, mogu posmatrati samo prve dve vrste te matrice, a
one su u koordinatnoj formi upravo (11). t
u
0
Primetimo da uslov x3 6= 0 u praksi ne predstavlja problem, jer je
preslikavanje zadato kona£nim ta£kama.
Realna projektivna ravan
A = UDV T ,
P̄ = T 0 PT −1 .
Primer
Na¢i transformaciju normalizacije ta£aka M1 (7 : 4 : 1),
M2 (6 : 4 : 2), M3 (5 : 2 : 0.5), M4 (0 : 0 : 10), M1 (−5 : −5 : −1).
Realna projektivna ravan