Está en la página 1de 6

MARCO ANTONIO ALPACA

Espacio cociente. Se concluye la seccin al describir otra operacin del subespacio, la formacin del espacio cociente de un espacio vectorial con respecto a un subespacio. Este nuevo espacio vectorial se forma mediante la identificacin de los vectores en ciertos subconjuntos del espacio vectorial dado, que es una construccin encontrada en toda el lgebra. Procediendo ahora a los detalles, vamos a considerar un espacio vectorial V con un subespacio fijo U. El primer paso es definir algunos subconjuntos llamados clases contiguas: la clase adjunta de U que contiene un vector dado v es el subconjunto de V,

Observe que la clase adjunta

realmente contiene el vector v ya que

. Observe tambin que la clase adjunta puede ser representado por cualquiera de sus elementos en el sentido de que para todo .

Una caracterstica importante de las clases contiguas de un subespacio dado es que son disjuntos, es decir, que no se superponen. Lema 3.4 Si U es un subespacio de un espacio vectorial V, entonces las clases contiguas distintas de U son disjuntas. As, V es la unin disjunta de todas las clases contiguas distintas de U. Prueba Supongamos que las clases contiguas y ambas contienen un vector x: vamos a demostrar que estas clases contiguas son iguales. Por hiptesis existen vectores u1, u2 en U tales que

De ah

donde

, y en consecuencia

, ya que

, como se afirm. .

Por ltimo, V es la unin de todas las clases contiguas de U ya que

El conjunto de todas las clases contiguas de U en V est escrito como

MARCO ANTONIO ALPACA

Una buena manera de pensar acerca de es que sus elementos se presentan mediante la identificacin de todos los elementos de una clase adjunta, de modo que cada clase adjunta ha sido " comprimido " a un solo vector.

El siguiente paso en la construccin es convertir en un espacio vectorial mediante la definicin de la suma y la multiplicacin escalar sobre l. Hay definiciones naturales para estas operaciones, es decir,

, donde v, escalar.

y c es un

Aunque estas definiciones parecen naturales, algunos deben utilizarse con cuidado. Para una clase adjunta puede ser representado por cualquiera de sus vectores, de modo que debemos asegurarnos de que las definiciones que acabamos de dar no dependan de la eleccin de v y w en las clases contiguas

Para verificar esto, supongamos que se tiene elegido diferentes representantes, digamos

para

para

. Entonces

donde

. En consecuencia

, de modo que

. Tambin

y de aqu

. Estos argumentos muestran que nuestras definiciones son libres respecto de la dependencia en la eleccin del representante de la clase adjunta.

MARCO ANTONIO ALPACA

Teorema 3.5 Si U es un subespacio de un espacio vectorial V sobre un campo F, entonces es un espacio vectorial sobre F donde la suma y la multiplicacin escalar se han definido anteriormente: tambin el vector nulo es de Prueba es . y el negativo

Tenemos que comprobar que los axiomas de espacio vectorial cumple para , que es una tarea totalmente rutinaria. Como ejemplo, vamos a verificar una de las leyes distributivas. Como definicin y como . Entonces por

, por definicin es igual a

que

. Esto establece la ley distributiva. La verificacin de los otros axiomas se deja al lector como ejercicio. Tambin es fcil comprobar que 0 es el vector nulo y

es el negativo de . Ejemplo 5.3.8 Supongamos que tomamos U como el subespacio nulo del espacio vectorial V: entonces consta de todos los , es decir, los subconjuntos de un elemento de V. Mientras que no es el mismo espacio vectorial que V, los dos espacios son claramente mucho por igual: esto se puede hacer preciso al decir que son isomorfos (ver 6.3).

En el extremo opuesto, podramos tomar U = V. Ahora contiguas espacio vectorial nulo.

consta de las clases es un

, es decir, hay slo un elemento. As que

Pasemos a los ejemplos ms interesantes de la formacin de clase adjunta. Ejemplo 3.9 Sea S el conjunto de todas las soluciones de un sistema lineal consistente

MARCO ANTONIO ALPACA

de m ecuaciones con n incgnitas sobre un campo F. Si

B= 0,

entonces S es un subespacio de , es decir, el espacio solucin U del sistema lineal homognea asociado . Sin embargo, si , entonces S no es un subespacio: pero vamos a ver que es una clase adjunta del subespacio U. Dado que el sistema es consistente, existe al menos una solucin, digamos X 1. Supongamos que X es otra solucin. Entonces tenemos

y . Restando la primera de estas ecuaciones con respecto a la segunda, se encuentra

, de modo que

y , donde U es el espacio de solucin del sistema . De aqu todas las soluciones de pertenecen a la clase adjunta y as .

Por el contrario, considerar cualquier donde . Entonces

, por ejemplo

. En consecuencia

Estas consideraciones han establecido el siguiente resultado. Teorema 3.6 Sea un sistema lineal consistente. Sea X1 cualquier solucin fija del sistema y sea U el espacio de soluciones del sistema lineal homogneo asociado

. Entonces, el conjunto de todas las soluciones del sistema lineal es la clase adjunta .

Nuestro ltimo ejemplo de la formacin de clase adjunta es una geomtrica. Ejemplo 3.10 Sean A y B sean vectores en R3 que representan segmentos de lneas no paralelos en el espacio de 3 dimensiones. Entonces el subespacio

, tiene dimensin 2 y consta de todos los

MARCO ANTONIO ALPACA

. Los vectores en U estn representados por segmentos de lneas, trazados del origen, que yace en un plano P. Ahora se elige con . ,

Un vector tpico en la clase adjunta

tiene la forma de

, con

, es decir ,

Ahora los puntos

que yacen

en el plano P1 pasan a travs del punto , que es paralelo al plano P. Esto se ve al formar el segmento de lnea que une dos de tales puntos. Los elementos de corresponden a los puntos en el plano P1: este ltimo se denomina un convertidor del plano P. Dimensin de un espacio cociente. Concluimos el estudio al observar una frmula simple para la dimensin de un espacio cociente de un espacio vectorial de dimensin finita. Teorema 3.7 Sea U un subespacio de un espacio vectorial V de dimensin finita. Entonces . Prueba Si U = 0, entonces y , que claramente tiene la misma dimensin que V. As, la frmula es vlida en este caso.

Ahora como y se elige una base podemos extender esto a una base

de U. Mediante 5.1.4

de V. Aqu, por supuesto . Un elemento tpico v de V tiene la forma son escalares. A continuacin

y , donde

los

, ya que

MARCO ANTONIO ALPACA

. De aqu

genera el espacio cociente Por otro lado, si

, entonces

, de manera que este vector es una combinacin lineal de

. Dado que los una base de y aqu

son linealmente independientes, se deduce que forman

. En consecuencia

También podría gustarte