17.01.2015 Views

Geometria / GA 1. Espai afí

Geometria / GA 1. Espai afí

Geometria / GA 1. Espai afí

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Geometria</strong> / <strong>GA</strong><br />

<strong>1.</strong> <strong>Espai</strong> <strong>afí</strong><br />

© S. Xambó<br />

Prerequisits<br />

‐ cos K (, , , , , ...). 1<br />

‐ K‐espai vectorial. 2<br />

Definició d’espai <strong>afí</strong><br />

Exemple: classe lateral d’un subespai vectorial<br />

Algunes propietats del vector <br />

Diferència de punts<br />

Translacions<br />

Complements<br />

A. Definició alternativa d’espai <strong>afí</strong><br />

B. Un altre exemple d’espai <strong>afí</strong><br />

Notes


2<br />

Definició d’espai <strong>afí</strong><br />

Ingredients<br />

- K, un cos (dels seus elements en diem escalars)<br />

- A, un conjunt (dels seus elements en diem punts)<br />

- V, un K‐espai vectorial (dels seus elements en diem vectors)<br />

- Una aplicació<br />

: , , <br />

(en diem aplicació estructural).


3<br />

Axiomes<br />

Axioma d’homogeneïtat. Per a tot punt P i tot<br />

vector existeix un únic punt tal que .<br />

Aquest punt serà denotat , o, per raons<br />

que veurem després (pàg. 8), .<br />

<br />

<br />

<br />

L’axioma d’homogeneïtat també es pot expressar dient que per a tot<br />

punt , l’aplicació<br />

és bijectiva.<br />

: , <br />

,<br />

<br />

Llei d’addició. .


4<br />

Dimensió. La dimensió de l’espai <strong>afí</strong> , , és, per definició, dim .<br />

Posarem dim per denotar‐la, és a dir,<br />

dim dim .<br />

Un espai <strong>afí</strong> de dimensió 0 es redueix a un punt.<br />

Una recta <strong>afí</strong> és un espai <strong>afí</strong> de dimensió <strong>1.</strong><br />

Un pla <strong>afí</strong> és un espai <strong>afí</strong> de dimensió 2.


5<br />

Exemple: classe lateral d’un subespai vectorial<br />

Sigui V un subespai vectorial 3 d’un K‐espai vectorial E.<br />

Sigui a un vector de E i posem<br />

| <br />

(és la classe lateral de mòdul ). Com que la diferència de dos<br />

elements i és<br />

,<br />

podem considerar l’aplicació : , , .<br />

, , és un espai <strong>afí</strong>. 4<br />

El cas 0 i ens mostra, en particular, que tot espai vectorial <br />

es pot considerar com un espai <strong>afí</strong>. En aquest cas els punts i els vectors<br />

són la mateixa cosa: , i si , , , .


6<br />

Algunes propietats del vector <br />

Proposició<br />

<strong>1.</strong> <br />

2. <br />

<br />

<br />

3. .<br />

Prova<br />

<br />

<br />

<strong>1.</strong> (addició); per tant, . I si , llavors<br />

, d’on per l’axioma d’homogeneïtat.<br />

2. , d’on .<br />

3. .


7<br />

Diferència de punts<br />

Escollim un punt com a origen, i posem, per a tot punt ,<br />

Com que<br />

.<br />

,<br />

tenim la relació . Com que l’expressió no depèn de ,<br />

això suggereix que una notació adient per al vector és <br />

(diferència de punts). D’ara endavant usarem les dues notacions<br />

indistintament.<br />

<strong>1.</strong> 0<br />

<br />

<br />

2. .<br />

3.


8<br />

Translacions<br />

La translació definida per un vector és l’aplicació<br />

tal que .<br />

(notació : també es denota ).<br />

Proposició. Són equivalents<br />

<strong>1.</strong> 0<br />

2. <br />

3. té punts fixos.<br />

Prova. 12. Si 0, i , llavors 0<br />

i . Per tant,<br />

per a tot punt .<br />

23. Òbvia.<br />

3<strong>1.</strong> Si per algun , <br />

0.


9<br />

El grup de les translacions<br />

El conjunt Π de les aplicacions bijectives de en forma un grup 5<br />

amb la composició:<br />

.<br />

Proposició. L’aplicació<br />

Π, ,<br />

és un monomorfisme de grups (homomorfisme 6 injectiu).<br />

La imatge d’aquest homomorfisme és el<br />

grup de les translacions de .<br />

Prova<br />

Si i , llavors <br />

i <br />

,<br />

, i<br />

.<br />

Per tant, i l’aplicació és un homomorfisme. Com que<br />

equival a 0, aquest homomorfisme és injectiu.


10<br />

Complements<br />

A. Definició alternativa d’espai <strong>afí</strong><br />

Un espai <strong>afí</strong> es pot també definir partint de les propietats bàsiques de<br />

l’operació introduïda a la pàgina 3. Aquesta aplicació satisfà les<br />

propietats següents:<br />

• per a qualssevol i , .<br />

• Per a tot , l’aplicació tal que és bijectiva.<br />

Doncs bé, si en la definició d’espai <strong>afí</strong> canviem l’aplicació per una<br />

aplicació : tal que:<br />

1) , , ,, i<br />

2) per a tot , l’aplicació : , , , és bijectiva,<br />

llavors l’estructura , , defineix un espai <strong>afí</strong> , , posant<br />

, .<br />

L’axioma 1) es correspon a l’axioma d’addició de i l’axioma 2) a la<br />

propietat d’homogeneïtat.


B. un altre exemple d’espai <strong>afí</strong><br />

Sigui un espai vectorial de dimensió i un subespai vectorial.<br />

Sigui , el conjunt de les aplicacions lineals 7 : <br />

tals que per a tot de . Sigui , el conjunt de les<br />

aplicacions lineals : tals que 0 per a tot de . Notem<br />

que i són subconjunts de l’espai vectorial , de les aplicacions<br />

lineals de en i que és subespai vectorial. Definim : <br />

de manera que , . Notem que és efectivament de<br />

. Llavors ,, és un espai <strong>afí</strong>.<br />

La dimensió d’aquest espai <strong>afí</strong> és , on posem per denotar la<br />

dimensió de . En efecte, hi ha un isomorfisme natural /, i<br />

/, té dimensió .<br />

L’isomorfisme /, ve donat per , on<br />

: / és la projecció natural (recordem que una aplicació lineal<br />

: té la forma , amb /,, si i només si<br />

ker , és a dir, si i només si ).<br />

11


Remarca. Donada una aplicació lineal : tal que 1 per a<br />

tot , posem ker. Llavors tenim<br />

0 i dim .<br />

És clar, a més, que , on : és la projecció de en <br />

corresponent a la descomposició .<br />

Posant<br />

, | 0,dim ,<br />

resulta que tenim una bijecció<br />

, , , ker<br />

(en l’altre direcció, ). Per tant, , té estructura d’espai <strong>afí</strong><br />

de dimensió .<br />

Els dibuixos de la pàgina següent ho il·lustren per diversos casos.<br />

12


13<br />

2,1<br />

3,1<br />

3,2


14<br />

Notes<br />

<strong>1.</strong> denota el cos dels nombres racionals, el cos dels nombres reals i<br />

el cos dels nombres complexos.<br />

El cos dels residus de nombres enters mòdul un nombre primer p, , és<br />

un cos de p elements, que usualment denotem 0, 1,..., 1, però en el<br />

benentès que la suma i el producte es fan mòdul p. Per exemple,<br />

0,1, amb 110; 0,1,2, amb 120, 221 i<br />

22<strong>1.</strong><br />

Un nombre enter positiu és el cardinal d’un cos si i només si té la forma<br />

, on és un nombre primer i un nombre enter positiu. A més,<br />

aquest cos és únic llevat isomorfisme, i es denota <br />

(es diu que és, en<br />

honor al seu descobridor, el cos de Galois de elements, i per això<br />

també es denota , de les inicials angleses de Galois Field).<br />

2. Recordem que un espai vectorial sobre K, o un K‐espai vectorial, és un<br />

conjunt E dotat d’una suma definida per a qualssevol , i


15<br />

un producte definit per a tot i tot , amb les propietats<br />

següents:<br />

• E és un grup abelià respecte de la suma, és a dir, es compleixen les<br />

propietats<br />

- associativa: <br />

- commutativa: <br />

- element neutre: Existeix 0 tal que 0 (aquest element 0<br />

és únic)<br />

- existència d’oposat: per a tot , existeix – amb <br />

0 (no és difícil provar que, per a cada , l’element – és únic).<br />

• distributiva: i .<br />

(és fàcil veure que 1 per a tot ).<br />

• identitat: 1 .


16<br />

3. Si , diem que és un subespai vectorial si 0, quan<br />

, i quan i .<br />

Per exemple, si ,…, , llavors el conjunt<br />

,…, | ,…, ,<br />

és a dir, el conjunt de totes les combinacions lineals de ,…, , és un<br />

subespai vectorial de .<br />

4. Siguin , , . Llavors, en aquest cas, , i<br />

, de manera que <br />

. Això prova que compleix la llei de l’addició.<br />

Fixem ara (). Per un variable<br />

( variable), , de manera que : és<br />

l’aplicació<br />

,<br />

que és bijectiva (l’aplicació inversa és ).


17<br />

5. Un conjunt dotat d’una operació interna , , <br />

és diu que és un grup si l’operació és<br />

‐ associativa: , qualssevol que siguin , , .<br />

‐ té element neutre : per a tot .<br />

‐ tot element té un simètric : .<br />

L’element neutre és únic. Cada element té un únic simètric, el qual<br />

usualment es denota .<br />

Un subconjunt de és un subgrup si , quan , i<br />

quan .<br />

6. Si , i , són dos grups, es diu que una aplicació : és un<br />

homomorfismes si i només si per a qualssevol<br />

, . El nucli de és ker | , on és el neutre<br />

de . És immediat comprovar que ker és un subgrup de .<br />

7. Si i són ‐espais vectorials i : una aplicació, diem que <br />

és lineal si i qualssevol que<br />

siguin , i . Adonem‐nos que la primera condició és que sigui


18<br />

un homomorfisme de grups additius. El nucli de , ker <br />

| 0, és un subespai vectorial de i la imatge de ,<br />

im | , és un subespai de ’.<br />

El conjunt , de les aplicacions lineals de en té estructura<br />

d’espai vectorial amb les operacions i definides per les regles<br />

i per a tot <br />

(, , , ).<br />

Si ,…, és una base de i <br />

,…, són vectors arbitraris de ,<br />

existeix una única aplicació lineal : tal que .<br />

De fet, si existeix ha de complir<br />

,<br />

i aquesta relació ens dóna la unicitat i l’existència ja que, en variar<br />

,…, , la combinació lineal ens dóna tots<br />

els vectors de i, per un donat, els coeficients ,…, són únics.<br />

Proposició. dim , dimdim .

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

Saved successfully!

Ooh no, something went wrong!