13.01.2015 Views

Geometria / GA 2. Varietats lineals

Geometria / GA 2. Varietats lineals

Geometria / GA 2. Varietats lineals

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

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

Saved successfully!

Ooh no, something went wrong!