04.06.2013 Views

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

76 Capítulo 2. Compacidad, conexión y completitud<br />

de aplicaciones de la forma f(x) = x + u(x)h, donde u : E −→ R es una<br />

aplicación lineal y h es un vector del núcleo de u.<br />

Para una transvección definimos<br />

f(t, x) =x + tu(x)h,<br />

que es una transvección para todo t, es continua como aplicación [0, 1]× E −→ E,<br />

f0 =1yf1 = f.<br />

Una homotecia lineal es de la forma f(x) =rx. Definimos la aplicación<br />

f(t, x) = 1+t(r − 1) x. Como 1 + t(r − 1) > 0 siempre que r>0y0≤ t ≤ 1,<br />

tenemos que ft es una homotecia lineal para todo t. Claramente se cumplen<br />

también las otras propiedades.<br />

Aplicando la misma técnica de composición que en el caso de los movimientos<br />

llegamos a que todo automorfismo de E de determinante positivo cumple el<br />

teorema.<br />

Una biyección afín en E de determinante positivo es de la forma<br />

f(P )=O + v + f( −→<br />

OP),<br />

donde O es un punto arbitrario de E y f es un automorfismo de E de determinante<br />

positivo. Definimos f(t, P )=O + tv + ft( −→<br />

OP). Es fácil ver que esta<br />

aplicación cumple lo pedido.<br />

El teorema es falso para biyecciones afines de determinante negativo, pues<br />

con el mismo argumento que hemos empleado para las simetrías se llega a que<br />

la aplicación det ft es una aplicación continua en el espacio conexo [0, 1] tal que<br />

det f0 = 1, det f1 < 0 pero que nunca toma el valor 0, lo cual es imposible. Si<br />

un endomorfismo de E tiene determinante 0 su imagen tiene dimensión menor<br />

que E. Por consiguiente, cualquier aplicación que transforme continuamente un<br />

conjunto en su imagen por una biyección afín de E de determinante negativo,<br />

en un momento dado “aplanará” el espacio en una variedad afín de dimensión<br />

menor.<br />

Orientación Los resultados que acabamos de ver nos llevan a introducir un<br />

concepto de orientación en un espacio vectorial (aunque casi todo el razonamiento<br />

que sigue es independiente de lo anterior).<br />

Definición 2.28 Diremos que dos bases ordenadas de un espacio vectorial real<br />

de dimensión finita V tienen la misma orientación si el determinante de la matriz<br />

de cambio de base es positivo. Alternativamente, si existe un isomorfismo de<br />

determinante positivo que transforma una en otra.<br />

Es inmediato comprobar que las bases de V se dividen en dos clases de<br />

equivalencia, a las que llamaremos orientaciones de V . Si una base tiene una<br />

determinada orientación, al cambiar de signo uno cualquiera de sus vectores<br />

pasamos a una base con la orientación opuesta.

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

Saved successfully!

Ooh no, something went wrong!