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 ...
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.