Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Geometria</strong> / <strong>GA</strong><br />
<strong>2.</strong> <strong>Varietats</strong> <strong>lineals</strong><br />
© S. Xambó<br />
Varietat lineal<br />
– Definició<br />
– Espai director<br />
– Dimensió<br />
– Punts, rectes, plans, hiperplans<br />
Equació paramètrica vectorial<br />
<strong>Varietats</strong> <strong>lineals</strong> paral·leles<br />
Intersecció de varietats <strong>lineals</strong><br />
Suma (o unió) afí de varietats <strong>lineals</strong><br />
Fórmula de les dimensions. Exemples<br />
Complements: Espai afí quocient<br />
Notes
2<br />
Varietat lineal<br />
Una varietat lineal d’un espai afí , , és un subconjunt de de la<br />
forma<br />
,<br />
on és un subespai vectorial i .<br />
La dimensió de , dim, és dim .<br />
Lema<br />
<br />
• Si , , llavors .<br />
• Com que | , de fet tenim |, .<br />
Prova<br />
Per definició de , existeixen , tals que<br />
, .<br />
Llavors<br />
, .
3<br />
El lema anterior mostra que el subespai queda unívocament determinat<br />
per . Direm que és l’espai director de (i posem per indicar<br />
aquesta dependència). Si ,…, és una base d’, diem que és un sistema<br />
de vectors directors de .<br />
Exemples<br />
• Una varietat lineal de dimensió 0 té la forma 0 , on <br />
és un punt. Amb la identificació , podem dir que les varietats<br />
de dimensió 0 són els punts de .<br />
• Si l’espai afí té dimensió n (cosa que es sol denotar escrivint ),<br />
l’única varietat lineal de dimensió n és tot .<br />
• Les varietats <strong>lineals</strong> de dimensió 1 s’anomenen rectes i les de dimensió<br />
2, plans. Un vector director d’una recta és un vector no nul del seu<br />
espai director (que és de dimensió 1).<br />
• Les varietats <strong>lineals</strong> de dimensió 1 de s’anomenen hiperplans.<br />
Notem que els hiperplans de són rectes i que els de són<br />
plans.
4<br />
Proposició<br />
, , és un espai afí.<br />
Per a tot punt , .<br />
Prova<br />
La primera part és conseqüència del lema i del fet que , , és un espai<br />
afí.<br />
Per a la segona part, si ( ) aleshores<br />
,<br />
atès que per ser un subespai vectorial.<br />
Remarca. La dimensió d’una varietat lineal , dim, ha estat<br />
definida com dim . Com que queda unívocament<br />
determinat per , el mateix passa amb dim i per tant dim està<br />
ben definida.
5<br />
Teorema. Si i són varietats <strong>lineals</strong> i , llavors<br />
dim dim , amb igualtat si i només si .<br />
Prova. Posem , .<br />
La inclusió implica (pel lema, pàg. 2). Per tant,<br />
dim dim .<br />
Això prova que dim dim.<br />
En cas de donar‐se la igualtat dim dim, tindrem<br />
dim dim , d’on .<br />
Sigui . Llavors i<br />
<br />
(la darrera igualtat per la proposició, pàg. 4).
6<br />
Equació paramètric vectorial<br />
Donat un punt i un sistema de vectors directors ,…, d’una varietat<br />
lineal , tot punt de es pot escriure de manera única en la forma<br />
, ,…, .<br />
Adonem‐nos que ,…, són les components del vector en<br />
la base ,…, .<br />
D’aquesta relació en diem que és una equació paramètrica vectorial de L.<br />
Exemple. Donats dos punts diferents, hi ha una única recta que els conté.<br />
Si els punts són i , la recta és<br />
o bé,<br />
,<br />
, .
7<br />
<strong>Varietats</strong> <strong>lineals</strong> paral·leles<br />
Es diu que dues varietats <strong>lineals</strong> i són paral·leles, i escrivim per<br />
denotar‐ho, si l’espai director d’una està contingut en l’espai director de<br />
l’altra. Amb símbols<br />
.<br />
Si tenen la mateixa dimensió,<br />
.<br />
En el cas de dues rectes i , amb vectors directors i ,<br />
tal que ,<br />
és a dir, i són paral·leles si i només si els corresponents vectors<br />
directors són proporcionals.<br />
Definició. Si és una varietat lineal de dimensió , i un punt,<br />
<br />
és l’única varietat lineal de dimensió paral·lela a <br />
<br />
que passa per . Diem que és la varietat lineal <br />
paral·lela a per . La figura il·lustra el cas 1.
8<br />
Remarca<br />
El conjunt de les varietats <strong>lineals</strong> amb un espai director donat té estructura<br />
d’espai afí, amb espai estructural / (v. l’entrada Espai afí<br />
quocient a Complements).<br />
Intersecció<br />
Teorema. Si la intersecció de dues o més varietats <strong>lineals</strong> és no buida, llavors<br />
aquesta intersecció és una varietat lineal, i el seu espai director és la<br />
intersecció dels corresponents espais directors.<br />
Prova. Farem el cas de la intersecció de dues varietats <strong>lineals</strong> i . El cas<br />
general es demostra d’una manera similar.<br />
Posem i . Sigui (existeix, ja que per hipòtesi<br />
). Llavors i , amb la qual cosa és<br />
clar que<br />
.<br />
Corol·lari. Si i són paral·leles i , llavors o bé o bé<br />
.
9<br />
Suma afí<br />
Siguin i varietats <strong>lineals</strong>. Si és qualsevol varietat<br />
lineal que conté i , llavors i , , de<br />
manera que<br />
,<br />
és a dir,<br />
.<br />
Ara bé, és clar que la varietat<br />
<br />
conté i , amb la qual cosa<br />
és la varietat lineal més petita que conté i .<br />
En particular, no depèn dels punts i usats per descriure i<br />
. A més, ha de coincidir amb , ja que aquesta<br />
és la varietat lineal més petita que conté i .<br />
Posarem per denotar i diem que és la suma afí de i .
10<br />
Proposició. Les condicions següents són equivalents:<br />
1. .<br />
<strong>2.</strong> Existeixen , tals que .3<br />
3. Per a qualssevol i , .<br />
Prova. Si , podem escollir un punt i aleshores<br />
.<br />
I si ( , ), llavors<br />
.<br />
Corol·lari. La condició és suficient per tal que .<br />
Exemple. Si és una varietat lineal no paral·lela a un hiperplà , llavors<br />
, ja que té dimensió 1 i .
11<br />
Teorema (fórmula de les dimensions)<br />
dim dim dim dim si <br />
1 dim dim dim si <br />
Prova<br />
dim dim <br />
dim si <br />
1dim si <br />
Ara<br />
dim dim dim dim <br />
dim dim dim ,<br />
per la fórmula de les dimensions d’àlgebra lineal, i això estableix la fórmula,<br />
per la proposició anterior i el fet que en el cas tenim<br />
dim dim .
12<br />
Exemple. Si és un punt exterior a una varietat lineal , llavors<br />
dim dim 1.<br />
Casos particulars: Si i són dos punts diferents,<br />
llavors (la recta que uneix <br />
<br />
i ). Si és un punt exterior a una recta , llavors<br />
<br />
és un pla.<br />
Exemple. Si és un hiperplà i una varietat lineal no paral·lela a , llavors<br />
dim dim 1.<br />
En efecte, i es tallen, ja que (v. l’Exemple de la<br />
pàg. 10). Així doncs val el primer cas de la fórmula de les dimensions i<br />
dim dim dim dim <br />
1dimdim1.<br />
Casos particulars: Dues rectes no paral·leles del pla<br />
es tallen en un punt.
Un pla de l’espai talla una recta no paral·lela en un<br />
punt.<br />
<br />
<br />
13<br />
<br />
<br />
Dos plans no paral·lels de<br />
l’espai es tallen en una recta.<br />
Exemple. La suma afí de dues rectes no paral·leles és:<br />
– un pla si les rectes es tallen<br />
– una varietat de dimensió 3 si no es tallen (en aquest cas es diu que les<br />
rectes es creuen).<br />
Exemple. Si i són varietats <strong>lineals</strong> paral·leles de la mateixa dimensió<br />
, llavors<br />
si ,<br />
<br />
dim 1 si <br />
<br />
(la figura il·lustra el cas de dues rectes paral·leles distintes).
14<br />
Complements: Espai afí quocient<br />
Sigui , un espai afí de dimensió i un subespai vectorial de .<br />
Sigui el conjunt de varietats <strong>lineals</strong> de que tenen espai director i<br />
posem /. 1<br />
Finalment, considerem l’aplicació<br />
, , ,<br />
on i són punts arbitraris de i , respectivament.<br />
Vegem primer que està ben definida, és a dir, que no depèn<br />
de l’elecció de i . En efecte, si i , llavors<br />
i . Per tant,<br />
,<br />
d’on .
15<br />
Proposició. ,, és un espai afí.<br />
Prova:<br />
Llei d’addició. Si és una tercera varietat lineal amb i<br />
, llavors<br />
, , , .<br />
Axioma d’homogeneïtat. Fixem i considerem l’aplicació<br />
: , , , .<br />
L’aplicació és exhaustiva: si , posem i ;<br />
llavors i .<br />
L’aplicació és injectiva: si , són tals que , i<br />
prenem , , llavors , que equival a<br />
, d’on . Per tant .
Notes<br />
1. Recordem que / és l’espai quocient de per , i que hi ha una<br />
aplicació lineal exhaustiva /, , tal que si<br />
i només si . Amb aquesta representació, la suma queda definida<br />
per i el producte per escalars per<br />
. L’element neutre de la suma és 0.<br />
16