Zad 1 Neka su u afinom prostoru A dimenzije n dane hiperravnine π1 i π2 koje nisu paralelne.

Dokažite da je π1 ∩ π2 6= ∅
te da je dim(π1 ∩ π2 ) = n − 2.
Rj. S obzirom da hiperravnina ne može biti mimosmjerna s niti jednom ravninom, imamo da je π1 ∩ π2 6= ∅. Stoga je
dim(π1 + π2 ) = dim(π1 ) + dim(π2 ) − dim(π1 ∩ π2 ). (1)
Imamo π1 ⊆ π1 + π2 , a iz činjenice da ravnine π1 i π2 nisu paralelne slijedi π1 6= π1 + π2 pa je dim(π1 + π2 ) > n − 1, dakle
dim(π1 + π2 ) = n. Sada iz (1) slijedi dim(π1 ∩ π2 ) = n − 2.
Neka je A afini prostor nad vektorskim prostorom V. Neka su u A dane ravnine π1 i π2 takve da je π1 ∩ π2 = ∅.
Neka je W1 smjer od π1 , W2 smjer od π2 te W smjer od π1 + π2 . Na predavanjima je dokazano da je dim(π1 + π2 ) =
−−→ −−→
dim(π1 ) + dim(π2 ) − dim(W1 ∩ W2 ) + 1 te da za bilo koje A ∈ π1 , B ∈ π2 vrijedi W = W1 + W2 + [AB], gdje je [AB]
−−→
potprostor od V generiran vektorom AB.
Zad 2 Neka su u afinom prostoru A dane disjunktne ravnine π1 i π2 . Dokažite da je π1 k π2 ako i samo ako dim(π1 + π2 ) =
max{dim π1 , dim π2 } + 1.
Rj. Budući da su ravnine π1 i π2 disjunktne, imamo
dim(π1 + π2 ) = dim π1 + dim π2 − dim(W1 ∩ W2 ) + 1, (2)
gdje je W1 smjer od π1 , W2 smjer od π2 .
Pretpostavimo da je π1 k π2 . Tada je W1 ⊆ W2 ili W2 ⊆ W1 . Uzmimo da je W1 ⊆ W2 . Tada je dim π1 ≤ dim π2 ,
W1 ∩ W2 = W1 , dim(W1 ∩ W2 ) = dim π1 pa iz (2) slijedi dim(π1 + π2 ) = dim π2 + 1 = max{dim π1 , dim π2 } + 1. Isto dobivamo
u slučaju W2 ⊆ W1 .
Pretpostavimo sada da je dim(π1 + π2 ) = max{dim π1 , dim π2 } + 1. Uzmimo da je dim π1 ≤ dim π2 . Tada je
dim(π1 + π2 ) = dim π2 + 1. (3)
Iz (2) i (3) slijedi dim π1 = dim(W1 ∩ W2 ), dakle dim(W1 ) = dim(W1 ∩ W2 ). Iz ovoga zaključujemo da je W1 = W1 ∩ W2 pa
slijedi W1 ⊆ W2 . Prema tome ravnine π1 i π2 su paralelne. Isti zaključak dobivamo i u slučaju dim π2 ≤ dim π1 .
Zad 3 Neka su u afinom prostoru A dane ravnine π1 i π2 , neka je W1 smjer od π1 , W2 smjer od π2 te neka je dim(W1 ) = k1 ,
dim(W2 ) = k2 . Ako je dim(W1 ∩ W2 ) = l te ako su obje ravnine sadržane u nekoj ravnini dimenzije m, dokažite da je onda
k1 + k2 ≤ m + l − 1.
Rj. Neka je π ravnina dimenzije m takva da je π1 ⊆ π, π2 ⊆ π. Tada je π1 + π2 ⊆ π pa je
dim(π1 + π2 ) ≤ dim π = m. (4)
Ravnine π1 i π2 su disjunktne pa je
dim(π1 + π2 ) = dim π1 + dim π2 − dim(W1 ∩ W2 ) + 1 = k1 + k2 − l + 1
što zajedno sa (4) povlači k1 + k2 − l + 1 ≤ m pa je k1 + k2 ≤ m + l − 1.
Zad 4 Neka su π1 , π2 i π3 ravnine u afinom prostoru takve da je π1 ∩ π2 6= ∅, π1 ∩ π3 6= ∅, π2 ∩ π3 6= ∅.
(i) Dokažite da je (π1 ∩ π2 ) + (π1 ∩ π3 ) ⊆ π1 ∩ (π2 + π3 ).
(ii) Mora li vrijediti (π1 ∩ π2 ) + (π1 ∩ π3 ) = π1 ∩ (π2 + π3 )?
Rj. (i) Iz π2 ⊆ π2 + π3 slijedi π1 ∩ π2 ⊆ π1 ∩ (π2 + π3 ). Analogno dobivamo π1 ∩ π3 ⊆ π1 ∩ (π2 + π3 ) pa zaključujemo da je
(π1 ∩ π2 ) + (π1 ∩ π3 ) ⊆ π1 ∩ (π2 + π3 ).
(ii) Neka je u afinom prostoru R2 pravac π1 odreden točkama (0, 0) i (1, 1), pravac π2 točkama (0, 0) i (0, 1) te pravac π3
točkama (0, 0) i (1, 0). DZ
Zad 5 Neka je A afini prostor dimenzije n te neka su u A dane disjunktne ravnine π1 i π2 , pri čemu je dim π1 = k, dim π2 = l,
k ≤ l, takve da je π1 + π2 = A. Neka je S = {s ∈ {0, . . . , n} | postoji ravnina π dimenzije s takva da je π ⊆ π1 i π k π2 }.
Dokažite da je max S = k + l − n + 1.
Rj. Neka je s ∈ S. Tada postoji ravnina π takva da je dim(π) = s, π ⊆ π1 , π k π2 . Neka je W1 smjer od π1 , W2 smjer od π2
te W smjer od π. Iz π ⊆ π1 slijedi s ≤ k pa je s ≤ l. Zbog ovoga ne može vrijediti W2 ⊆ W, W2 6= W pa iz π k π2 slijedi
W ⊆ W2 . Iz π ⊆ π1 slijedi W ⊆ W1 pa je W ⊆ W1 ∩ W2 . Prema tome s ≤ dim(W1 ⊆ W2 ), ∀s ∈ S.
Neka je T ∈ π1 . Neka je π ravnina kroz točku T smjera W1 ∩ W2 . Tada je π ⊆ π1 , π k π2 pa je dim π ∈ S, dakle
dim(W1 ∩ W2 ) ∈ S. Na temelju ovoga zaključujemo da je max S = dim(W1 ∩ W2 ).
Budući da su ravnine π1 i π2 disjunktne, imamo dim(π1 + π2 ) = dim π1 + dim π2 − dim(W1 ∩ W2 ) + 1 iz čega slijedi
dim(W1 ∩ W2 ) = k + l − n + 1. Prema tome max S = k + l − n + 1.
Zad 6 Neka su u afinom prosoru A dane ravnine π1 i π2 koje nisu paralelne. Neka je dim π1 = k. Ako je π ravnina koja
nije sadržana u π1 + π2 te takva da je π k π1 , dim π = k, dokažite da su π i π2 mimosmjerne ravnine.
Rj. Neka je W smjer od π te W1 smjer od π1 . Imamo W1 ⊆ W ili W ⊆ W1 te dim(W1 ) = dim(W2 ) iz čega slijedi W = W1 .
Kada bi ravnine π i π2 bile paralelene, onda bi i ravnine π1 i π2 bile paralelne, što ne vrijedi. Prema tome π i π2 nisu
paralelne ravnine.
Pretpostavimo da je T ∈ π ∩ π2 . Tada je π ravnina kroz T smjera W, a zbog W = W1 očito imamo da je W sadržano u
smjeru od π1 + π2 . Iz ovoga slijedi π ⊆ π1 + π2 , što je kontradikcija. Prema tome π ∩ π2 = ∅ pa slijedi da su ravnine π i π2
mimosmjerne.