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 .