14.01.2013 Views

Spazi affini Def. Si dice spazio affine di dimensione n sul campo K la ...

Spazi affini Def. Si dice spazio affine di dimensione n sul campo K la ...

Spazi affini Def. Si dice spazio affine di dimensione n sul campo K la ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Spazi</strong> <strong>affini</strong><br />

<strong>Def</strong>. <strong>Si</strong> <strong><strong>di</strong>ce</strong> <strong>spazio</strong> <strong>affine</strong> <strong>di</strong> <strong>di</strong>mensione n <strong>sul</strong><br />

<strong>campo</strong> K <strong>la</strong> struttura An(K) costituita da:<br />

•A un insieme non vuoto (insieme dei punti);<br />

•Vn(K) uno <strong>spazio</strong> vettoriale;<br />

• f : A2 ↦→ Vn(K)<br />

(P, Q) ↦→ f((P, Q)) = v<br />

un’applicazione tale che<br />

1. ∀P ∈ A, ∀v ∈ V ∃! Q ∈ A tale che<br />

f((P, Q)) = v, e si pone v = � P Q<br />

2. ∀P, Q, R ∈ A, se v = � P Q e w = � QR<br />

allora v + w = � P R.<br />

Prop. In uno <strong>spazio</strong> <strong>affine</strong> valgono le seguenti<br />

regole <strong>di</strong> calcolo:<br />

1. ∀P ∈ A, � P P = 0;<br />

2. ∀P, Q, R ∈ A, � P Q = � P R ⇔ Q = R;<br />

3. ∀P, Q ∈ A, � P Q = 0 ⇔ P = Q;<br />

4. v = �<br />

P Q ⇒ −v = �<br />

QP<br />

5. ∀P1, P2, Q1, Q2 ∈ A,<br />

P1P2<br />

� = � Q1Q2 ⇔ � P1Q1 = � P2Q2;


Sottospazi lineari<br />

<strong>Def</strong>. <strong>Si</strong> <strong><strong>di</strong>ce</strong> tras<strong>la</strong>zione in<strong>di</strong>viduata dal vettore<br />

v ∈ Vn(K) <strong>la</strong> biiezione<br />

tv : A ↦→ A<br />

P ↦→ tv(P ) = Q<br />

dove v = �<br />

P Q.<br />

<strong>Def</strong>. In uno <strong>spazio</strong> <strong>affine</strong> An(K), si <strong><strong>di</strong>ce</strong> sotto<strong>spazio</strong><br />

lineare <strong>di</strong> <strong>di</strong>mensione h l’insieme <strong>di</strong><br />

tutti e soli i punti tras<strong>la</strong>ti <strong>di</strong> un punto P , detto<br />

origine, me<strong>di</strong>ante i vettori <strong>di</strong> un sotto<strong>spazio</strong><br />

<strong>di</strong> Vn(K) <strong>di</strong> <strong>di</strong>mensione h, sia V h(K), detto<br />

<strong>spazio</strong> <strong>di</strong> tras<strong>la</strong>zione. In simboli si scrive<br />

S h = [P ; V h(K)]<br />

<strong>Def</strong>. In An(K) i sottospazi lineari<br />

S0, <strong>di</strong> <strong>di</strong>mensione 0, si <strong>di</strong>cono punti;<br />

S1, <strong>di</strong> <strong>di</strong>mensione 1, si <strong>di</strong>cono rette;<br />

S2, <strong>di</strong> <strong>di</strong>mensione 2, si <strong>di</strong>cono piani;<br />

.<br />

Sn−1, <strong>di</strong> <strong>di</strong>mensione n − 1, si <strong>di</strong>cono iper-<br />

piani.


Proprietà <strong>di</strong> sottospazi lineari<br />

Prop.1 Ogni punto <strong>di</strong> S h = [P ; V h(K)] può essere<br />

scelto come origine.<br />

Prop.2 <strong>Si</strong>ano S h = [P ; V h(K)] e S k = [Q; V k(K)]<br />

sottospazi lineari <strong>di</strong> An(K), allora<br />

21 S h ⊆ S k ⇔ S h ∩ S k �= ∅ � V h ⊆ V k<br />

22 S h ∩ S k �= ∅ ⇒ S h ∩ S k = [P ; V h ∩ V k],<br />

dove P è un qualunque punto <strong>di</strong> S h ∩ S k.


Parallelismo fra sottospazi lineari<br />

<strong>Def</strong>. Due sottospazi lineari S h = [P ; V h(K)]<br />

e S k = [Q; V k(K)] si <strong>di</strong>cono paralleli se i loro<br />

spazi <strong>di</strong> tras<strong>la</strong>zione sono confrontabili per inclusione,<br />

cioè: V h ⊆ V k oppure V k ⊆ V h.<br />

Prop. Due sottospazi lineari paralleli e <strong>di</strong> ugual<br />

<strong>di</strong>mensione hanno lo stesso <strong>spazio</strong> <strong>di</strong> tras<strong>la</strong>zione.<br />

Prop. Due sottospazi lineari paralleli e <strong>di</strong> ugual<br />

<strong>di</strong>mensione, se sono <strong>di</strong>stinti, hanno intersezione<br />

vuota.


Sottospazi lineari <strong>di</strong> <strong>di</strong>mensione n = 1, 2<br />

<strong>Def</strong>. <strong>Si</strong>a s = [P ; V1] <strong>la</strong> retta <strong>di</strong> origine P e <strong>spazio</strong> <strong>di</strong><br />

tras<strong>la</strong>zione V1. Lo <strong>spazio</strong> vettoriale V1 si <strong><strong>di</strong>ce</strong> anche<br />

<strong>di</strong>rezione del<strong>la</strong> retta s.<br />

N.B. Due rette parallele hanno <strong>la</strong> stessa <strong>di</strong>rezione<br />

<strong>Def</strong>. <strong>Si</strong>a α = [P ; V2] il piano <strong>di</strong> origine P e <strong>spazio</strong> <strong>di</strong><br />

tras<strong>la</strong>zione V2. Lo <strong>spazio</strong> vettoriale V2 si <strong><strong>di</strong>ce</strong> anche<br />

giacitura del piano α.<br />

N.B. Due piani paralleli hanno <strong>la</strong> stessa giacitura.<br />

<strong>Def</strong>. <strong>Si</strong> <strong>di</strong>cono incidenti:<br />

- due rette oppure un piano ed una retta aventi esat-<br />

tamente un punto in comune;<br />

- due piani aventi in comune esattamente una retta.<br />

<strong>Def</strong>. Due rette appartenenti ad uno stesso piano si <strong>di</strong>-<br />

cono comp<strong>la</strong>nari. Due rette non comp<strong>la</strong>nari si <strong>di</strong>cono<br />

sghembe.<br />

Prop. In An(K) con n ≥ 3<br />

1. esistono rette sghembe;<br />

2. date due rette sghembe r ed s, esistono<br />

due piani paralleli α e β tali che r ⊆ α e s ⊆ β.


Punti, rette e piani: proprietà<br />

Prop. In An(K), con n ≥ 2<br />

1. per due punti <strong>di</strong>stinti passa una ed una so<strong>la</strong> retta;<br />

2. per due rette <strong>di</strong>stinte, parallele o incidenti, passa<br />

uno ed un solo piano;<br />

3. due rette comp<strong>la</strong>nari aventi intersezione vuota<br />

sono parallele;<br />

4. per un punto passa una ed una so<strong>la</strong> retta paralle<strong>la</strong><br />

ad una retta data;<br />

5. per un punto passa uno ed un solo piano parallelo<br />

ad un piano dato;<br />

6. per tre punti non allineati passa uno ed un solo<br />

piano;<br />

7. una retta avente due punti <strong>di</strong>stinti in un piano<br />

giace interamente nel piano;<br />

8. per un punto passano almeno due rette <strong>di</strong>stinte.<br />

Prop. In A3(K)<br />

1. una retta ed un piano aventi intersezione vuota<br />

sono paralleli;<br />

2. due piani aventi intersezione vuota sono paralleli;<br />

3. due piani <strong>di</strong>stinti aventi in comune un punto<br />

hanno in comune una retta passante per quel punto;<br />

4. per una retta passano almeno due piani <strong>di</strong>stinti.


Mutua posizione <strong>di</strong> punti, rette e piani<br />

<strong>Si</strong>ano r ed s due rette <strong>di</strong> An(K) con n ≥ 2<br />

r∩s<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∅<br />

⎧<br />

⎨<br />

⎩<br />

comp<strong>la</strong>nari ⇔ parallele e <strong>di</strong>stinte<br />

non comp<strong>la</strong>nari, cioè sghembe<br />

{P } incidenti (ovviamente comp<strong>la</strong>nari)<br />

r = s coincidenti<br />

(ovviamente comp<strong>la</strong>nari e parallele)<br />

<strong>Si</strong>ano⎧α ed s un piano e una retta <strong>di</strong> A3(K)<br />

⎪⎨ ∅ paralleli e <strong>di</strong>sgiunti<br />

α ∩ s {P } incidenti<br />

⎪⎩<br />

s <strong>la</strong> retta è inclusa nel piano<br />

(ovviamente paralleli)<br />

<strong>Si</strong>ano ⎧α<br />

ed β due piani <strong>di</strong> A3(K)<br />

⎪⎨ ∅ paralleli e <strong>di</strong>sgiunti<br />

α ∩ β {r} incidenti<br />

⎪⎩<br />

α = β coincidenti<br />

(ovviamente paralleli)


Segmento. Punto me<strong>di</strong>o. <strong>Si</strong>mmetria<br />

centrale<br />

<strong>Def</strong>. In An(K), dove K è un <strong>campo</strong> or<strong>di</strong>nato,<br />

siano H, K ∈ A. <strong>Si</strong>a s <strong>la</strong> retta per H e K.<br />

<strong>Si</strong> <strong><strong>di</strong>ce</strong> segmento <strong>di</strong> estremi H e K l’insieme<br />

HK = {Q ∈ s | � HQ = k � HK, con 0 ≤ k ≤ 1}<br />

<strong>Def</strong>. In An(K) si <strong><strong>di</strong>ce</strong> punto me<strong>di</strong>o <strong>di</strong> HK il<br />

punto M = tv(H), dove v = 1 2 �<br />

HK.<br />

<strong>Def</strong>. In An(K) il punto K si <strong><strong>di</strong>ce</strong> simmetrico<br />

del punto H rispetto al punto C se C è il<br />

punto me<strong>di</strong>o del segmento HK. Il punto C<br />

è detto centro <strong>di</strong> simmetria e <strong>la</strong> simmetria è<br />

detta simmetria centrale.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!