Espai afí
Històricament, la noció d'espai afí neix del problema creat per l'aparició de noves geometries, perfectament coherents, però diferents a la d'Euclides, i del seu axioma del paral·lelisme. Per aconseguir la seva l'harmonització, va caldre redefinir el concepte d'espai euclidià, excloent-hi el concepte de distància, i tot el que això representa, com longitud i angle. El resultat de tot això, va ser una geometria afí, on l'espai apareix com una estructura algebraica, molt propera a espai vectorial, del que n'ha estat alliberat posteriorment, donant lloc a l'àlgebra lineal.
Història
La demostració del cinquè postulat d'Euclides va originar la creació de les anomenades geometries no-euclideas. Durant aquesta revolució Euler va desenvolupar una nova geometria basada únicament en certs teoremes basats en els postulats I,II,V d'Euclides, d'aquesta formulació va esdevenir la geometria Afí.
Estudiada primerament per Euler i, de gran importància actual ja que es utilitzada en la Geometria de Minkowski de l'espai-temps, amb la geometria Afí ens aproximem al que passa en l'espai físic, on aparentment, no hi ha punts millors que altres. En aquesta geometria estudiarem objectes com rectes i plans y propietats com el paral·lelisme que respon a conceptes estudiats fa temps en geometria.
Definicions
1ª definició d'espai afí
Un espai afí sobre un cos <math>\mathbb{K}\,</math> és el triplet <math>(A, E,\varphi )\,</math> on:
- <math>A\,</math> és un conjunt no buit: <math>A\neq \emptyset\,</math>.
- <math>E\,</math> és un espai vectorial.
- <math>\varphi\,</math> és una aplicació <math>\varphi :A\times A\rightarrow E\,</math>, que anomenarem estructural, i que compleix:
1.
<math>\begin{array}{cccc} \varphi_p :& A &\rightarrow & E\\ & q &\mapsto & \varphi(p,q)\\ \end{array}\quad \text{ bijectiva } \forall p \in A </math>
2.
<math>\varphi (p,q)+\varphi (q,r)=\varphi (p,r)\,</math>, <math>\forall p, q, r \in A\,</math>.
Notarem
<math>\varphi (p,q) = \vec{pq}</math>
i escriurem que <math>p</math> i <math>q</math> són l'origen i l'extrem del vector <math>\vec{pq}</math>. Amb aquesta notació, la segona propietat de l'aplicació estructural <math>\varphi</math> es pot escriure com:
<math>\vec{pq} + \vec{qr} = \vec{pr}</math>
Els elements del conjunt <math>A\,</math> es diuen punts. <math>E</math> es diu espai vectorial associat a <math>A\,</math> i definim la dimensió de <math>A\,</math> com la dimensió de <math>E</math>
2ª definició d'espai afí
Un resultat que ens proporciona una caracterització equivalent d'un espai afí però més còmode en segons quines circumstàncies, és que tot espai afí és pot definir com a conjunt de translacions.
Sent <math>(A, E , \varphi )</math> un espai Afí. Donat <math>u \in E</math> , anomenarem translació de vector <math>u</math> a l'aplicació:
<math>\begin{array}{cccc}
T_u: & A &\rightarrow & A\\
& p &\mapsto & \varphi^{-1}_p(u)\\ \end{array}\quad </math>
És a dir, <math>T_u(p)</math> és un punt <math>q</math> tal que <math>\vec{pq}=u</math>
PROPIETATS:
1) <math>T_u \text{és bijectiva } \forall u \in E</math>
2) Si existeix <math> p \in A</math> tal que <math>T_u (p)= T_v (p)</math>, aleshores <math>u=v</math>
3)Donat <math>p, q \in A</math> . Existeix un, i nomes un <math>u \in E</math> tal que <math>T_u(p)= q</math>
Exemples d'espais afins
- Els sistemes d'equacions tenen estructura afí, on les solucions dels sistemes homogenis són elements de l'espai vectorial associat i les solucions particulars del sistema general són punts.
- L'espai afí definit pel triplet <math> ( \mathbb{R}^2,\mathbb{R}^2,\varphi )\,</math> on definim <math>\varphi\,</math> per <math>\varphi ((x_{1},y_{1}),(x_{2},y_{2}))=(x_{2}-x_{1},y_{2}-y_{1})\,</math>.
És l'espai afí de dimensió 2, o sigui, el pla afí.
- De forma més general, si <math>\mathbb{K}\,</math> és un cos qualsevol, l'espai afí canònic sobre <math>\mathbb{K}\,</math> de dimensió n és el triplet:
<math> \mathcal A^n ( \mathbb K ) = ( \mathbb K^n , \mathbb K^n , \varphi ) \,</math>
on <math> \mathbb K^n \,</math> és vist a la vegada com un espai de punts i un <math> \mathbb K \,</math>-espai vectorial, i l'aplicació <math>\varphi\,</math> està definida per:
<math> \varphi ( ( x_1 , x_2 , \dots , x_n ) , ( y_1 , y_2 , \dots , y_n ) )= ( y_1 - x_1 , y_2 - x_2 , \dots , y_n - x_n )\,</math>
Varietats lineals
Sigui <math>(A,E,\varphi )\,</math> un espai afí. Sigui <math>a \in A\,</math> un punt qualsevol, i <math>F\,</math> un subespai vectorial de <math>E\,</math>. Es diu varietat lineal que passa per <math>a\,</math> i té la direcció de <math>F\,</math>, el subconjunt de <math>A\,</math>
<math>\left\{ b\in A|\overrightarrow{ab}\in F\right\} \,</math>
Aquesta varietat lineal es pot designar per: <math>a+F=\left\{ b\in A;b=a+u,u\in F\right\}\,</math>.
PROPIETATS:
1. Si <math> b \in{a+F}\Rightarrow {b+F=a+F}</math>
2. Si <math>p,q \in{a+F} \Rightarrow{\vec{pq}\in{F}}</math>
Intersecció i suma de varietats lineals
Intersecció
La intersecció de dues varietats lineals, si no és buida, és una varietat lineal. Aquesta afirmació és una conseqüència de les següents proposicions:
- Dues varietats <math>V_1 = a + F</math> i <math>V_2 = b + G</math> es tallen si i només si
<math>\vec{ab}\in{F+G}</math>
- Si dues varietats <math>V_1 = a + F</math> i <math>V_2 = b + G</math> tenen un punt <math>c</math> en comú, aleshores
<math>V_1 \cap V_2 = c + ( F\cap G)</math>
Suma de varietats lineals
La unió de dues varietat lineals no és, en general, una varietat lineal. En el seu lloc, pot considerar-se la varietat mínima que conte un conjunt de varietats lineals donandes i que es defineix com, considerant <math> L_1 = a + F</math> i <math> L_2 = b + F</math>:
<math>L_1 \lor L_2 = a + (F + G + \langle \vec{ab} \rangle)</math>
on <math>\langle \vec{ab} \rangle</math> és l'espai vectorial generat pel vector <math>\vec{ab}</math>. Aquesta varietat mínima o generada per <math>L_1</math> i <math>L_2</math> s'anomena també varietat suma de <math>L_1</math> i <math>L_2</math>. En aquest cas notarem <math>(L_1 + L_2)</math>.
Fórmula de Grassman per varietats lineals
Les proposicions d'aquesta secció amb la definició de varietat suma o mínima ens permeten relacionar les dimensions resultants de les interseccions i sumes de varietats lineals de forma anàloga a les fórmules de Grassmann vectorials. Siguin <math> L_1 = a + F</math> i <math> L_2 = b + F</math> dues varietats lineals.
- Si <math>L_1\cap L_2 \neq \emptyset</math>:
<math>\text{dim } L_1 + L_2 = \text{dim }L_1 + \text{dim }L_2 - \text{dim }(L_1 \cap L_2)</math>
- Si <math>L_1\cap L_2 = \emptyset</math>:
<math>\text{dim } L_1 + L_2 = \text{dim }L_1 + \text{dim }L_2 - \text{dim }(F \cap G) + 1</math>
Noció de paral·lelisme
En un espai afí <math>(A,E,\varphi )\,</math>, dues varietats lineals <math>a+F, b+G\,</math> són paral·leles si <math>F\sub G\,</math>o <math>G\sub F\,</math>.
Cinquè axioma d'Euclides : En un espai afí , donat un punt <math>a\,</math> i una direcció qualsevol <math>F\,</math>, existeix una única varietat que passa pel punt <math>a\,</math>, i té a <math>F\,</math> com a direcció.