Subsecciones

A.1.1 Estructuras Algebricas Bsicas

A.1.2 Definicin de Espacio Vectorial
A.1.3 Bases
A.1.4 Cambio de Base
A.1 Espacios Vectoriales
A.1.1 Estructuras Algebricas Bsicas
Definicin A.1 Grupo
Un conjunto dotado de una operacin binaria tiene estructura de Grupo si la operacin satisface las
siguientes propiedades:
.1
Clausurativa (Cerradura)
.2
Asociativa
.3
!odulativa
.4
"nvertiva
Definicin A.# Grupo Conmutativo
Un conjunto dotado de una operacin binaria tiene estructura de Grupo Conmutativo o Grupo
Abeliano si la operacin satisface las propiedades de Grupo y:
.1
Con$utativa
E%e$plo A.1 El conjunto dotado con la operacin descrita en la tabla
tiene estructura algebrica de Grupo Conmutativo, en donde el mdulo 0 de es el elemento
E%e$plo A.# El conjunto dotado con la operacin suma usual no tiene estructura de grupo
porue no se satisface la propiedad clausurativa ! "# $in embargo, con la operacin
descrita en la tabla s% tiene estructura de Grupo
0
0 0
0
Definicin A.& Anillo
Un conjunto dotado de dos operaciones binarias y tiene estructura de Anillo si las operaciones
satisfacen las siguientes propiedades#
&ara la operacin
!.1
Clausurativa
!.2
Asociativa
!.3
!odulativa
!.4
"nvertiva
!."
Con$utativa
&ara la operacin
!.1
Clausurativa
!.2
Asociativa
&ara las dos operaciones
!.1
Distributiva respecto a #
Definicin A.' Anillo Modulativo
Un conjunto dotado de dos operaciones binarias y tiene estructura de Anillo 'odulativo o de
Anillo con Unidad si las operaciones satisfacen las propiedades de Anillo y adems la operacin
satisface:
!.1
!odulativa
Definicin A.( Anillo Conmutativo
Un conjunto dotado de dos operaciones binarias y tiene estructura de Anillo Conmutativo si las
operaciones satisfacen las propiedades de Anillo y adems la operacin satisface:
!.1
Con$utativa
Definicin A.) Campo
Un conjunto dotado de dos operaciones binarias y tiene estructura de Campo si tiene estructura de
Anillo Conmutativo con Unidad
E%e$plo A.& Algunos de los campos ms conocidos son los reales los complejos y el conjunto de
las funciones racionales de con coeficientes reales
A.1.# Definicin de Espacio Vectorial
$n espacio euclidiano o espacio %ectorial es el con&unto de n'adas ordenadas( tambien conocido por
espacio n'dimencional ) de denota por !
n
este es una sucesin de n n*meros reales e&emplo +a1(a2(...(an,
donde los %ectores !
n
se clasifican as-#
!
1
. espacio unidimensional( l-nea recta real.
!
2
. espacio bidimensional( pares ordenados.
!
3
. espacio tridimensional( terna ordenadas.
.......
!
n
. espacio n'dimencional( n'adas ordenadas.
$n espacio %ectorial es a/uel con&unto de %ectores /ue cumple las propiedades o a0iomas de la
suma de %ectores ) la multiplicacin por un escalar dic1as propiedades %istas en espacios n'dimensinales
!
n
o !
2
. $n espacio %ectorial es un espacio no %ac-o.
2odr-amos decir /ue un espacio %ectorial es la abstraccin de las propiedades de un espacio n'
dimencional ( debe tomarse en cuenta /ue en el espacio %ectorial no se especifica operaciones ni %ectores
entonces se puede usar cual/uier %ector ) cual/uier operacin se puede sustituir la suma de %ectores ) la
multiplicacin por un escalar( pero siempre cumpliendo todos las propiedades( siempre seria un espacio
%ectorial.
$n espacio %ectorial cumple con cuatro partes /ue son# un con&unto de %ectores( un con&unto de
escalares( ) dos operaciones. Estos forman un cuerpo /ue es igual a las estructuras algebraicas de dos
operaciones 3con&unto( operacin (operacin4 +un cuerpo,. 2ara comprobar /ue determinado con&unto es
un espacio %ectorial es preciso definir o especificar las propiedades de suma multiplicacin por un escalar
como %imos anteriormente tenemos /ue definir el elemento /ue act*a como cero +5, ) el negado de cada
elemento.
Definicin A.* Espacio Vectorial
$ea un conjunto y un campo# A los elementos de se les denomina (ectores, y a los
elementos de Escalares# tiene estructura de Espacio (ectorial sobre si est dotado de una
operacin binaria !suma vectorial" y una operacin entre elementos de y !&roducto por escalar"
ue cumplen las siguientes propiedades:
&ara la suma vectorial
V.1
Clausurativa
V.2
Asociativa
V.3
!odulativa
V.4
"nvertiva
V."
Con$utativa
&ara el producto por escalar
V.1
Clausurativa
V.2
Asociativa
V.3
!odulativa . es el mdulo de
V.4
Anulativa .En donde 5 es el mdulo de ( ) es el mdulo de
&ara las dos operaciones
V.1
Distributiva respecto a
V.2
Distributiva respecto a
Definicin A.+ Subespacio
Esto dice /ue si 6 es un sub con&unto del espacio %ectorial V entonces este es un sub espacio de V.
7i 6 es un espacio %ectorial ba&o las operaciones de suma ) multiplicacin por un escalar definidas en V.
2ara /ue 6 sea un sub espacio de V debe cumplir las propiedades de cierre de la suma ) la
multiplicacin por un escalar tambi8n debe cumplir la le) del elemento neutro ba&o la suma( el in%erso
ba&o la suma ) el neutro ba&o la multiplicacin por un escalar.
Bases
Definicin A., Combinacin Lineal
7e denomina combinacin lineal a u %ector V en un espacio %ectorial $ u un cuerpo 1.
7i los %ectores %1( %2( %3( ...( %n en u si V puede e0presarse como#
V . c1%1 9 c2%2 9 c3%3 9... 9 cn%n donde c son escalares del cuerpo 1.
)ependencia e *ndependencia +ineal:
2ara /ue un %ector tenga dependencia lineal este debe tener una solucin no tri%ial esto /uiere
decir /ue la combinacin lineal denotado as-# c1%1 9 c2%2 9 c3%3 . 5 ( sea /ue tiene una solucin *nica.
2ara comprobar la independencia :ineal.
7ea 7 . ;%1( %2( ...( %n < un con&unto de %ectores en un espacio %ectorial V entonces partiremos de la
ecuacin %ectorial c1%1 9 c2%2 9 c3%3 . 5 +/ue es la misma /ue combinacin lineal don de c son escalares,
se escribe un sistema 1omog8neo de ecuaciones lineales en %ariable c1( c2( ...( c= . despu8s se 1ace auss'
>ordn a la matri? aumentada para diagonal i?arla si la solucin de la diagonali?acion tiene solamente
solucin tri%ial c1( c2( c3 entonces 7 es linealmente independiente.
7i un con&unto 7.;%1( %2( ...( %3<( =4.2 es linealmente dependiente si solo si por lo menos uno de los
%ectores %& puede e0presarse como una combinacin lineal de los dems %ectores 7.
)*'E,$*-,:
En un con&unto 7.;%1 (%2( ...( %=< es un espacio %ectorial V este se denomina Base si cumple /ue si
es espacio %ectorial tiene una base con un numero finito de %ectores entonces V es de dimensin finita )
en caso contrario es de dimensin infinita.
.ase y )ependencia +ineal:
7i un con&unto finito 7.; %1 ( %2( ...( %n < es una base de un espacio %ectorial V si todo con&unto /ue
contiene mas de n %ectores de V es linealmente dependiente.
,umero de (ectores de una .ase:
7i un espacio %ectorial V tiene una base con n %ectores entonces toda base V tiene n %ectores.
)imensin de un Espacio (ectorial:
7i un espacio %ectorial V tiene una base con n %ectores entonces esa n es la dimensin de esa base
) se denota dim+V, . n.
@ericamente la dimensin se determina al 1allar el con&unto de %ectores linealmente
independientes /ue genera el sub espacio( este con&unto es una base del sub'espacio ) la dimensin del
mismo es el numero de %ectores /ue 1a) en la base.

2ara %er /ue una base en un espacio n'dimensional#
7iendo V su espacio %ectorial ) n . n entonces 7 . ; %1( %2(... (%n < en un con&unto de %ectores
linealmente independientes en V( entonces 7 es una base de V.
E&emplo# si 7 . ; %1( %2( ...( %n < genera a V( entonces 7 es una base de V
COORDENADAS Y CAMBIO DE BASE
Como %imos en la seccin /ue si . es una base para un espacio %ectorial (, entonces todo %ector / en (
puede e0presarse en una ) solo una forma como C.:. de los %ectores de .. :os coeficientes de la
combinacin lineal son las coordenadas de / en la base ..

Coordenadas
7ea una base del espacio %ectorial ( ) / un %ector en . tal /ue#
entonces los escalares se denominan coordenadas de / con respecto a la base ..
El %ector coordenado de / con respecto a . es el %ector de denotado por


OBSERVACIN
El orden de los %ectores en la base es importante. En las representaciones coordenadas la base . se supone
ordenada ) se llama base ordenada.
(Coordenadas en )
7upongamos /ue es un %ector de ) /ue es la base cannica
para ( entonces
En la notacin de los %ectores coordenados es igual a la notacin usual para componentes. Cuando un
%ector en se escribe como significa /ue los son los coordenados de / con
respecto a la base cannica +normal, de . En adelante se reser%ar el t8rmino componente para
significar coordenadas con respecto a la base normal $ de . :a letra $ la reser%aremos para las bases
cannicas de los espacios. 7i la base es la cannica( en lugar de escribir escribiremos
simplemente .
CAMBIO DE BASE
El cambio de base consiste en conocidas las coordenadas de un %ector respecto a una base .( encontrar las
coordenadas de dic1o %ector con respecto a otra base .0.
EJEMPLO 39
7ean
/( bases para el espacio %ectorial ) un %ector de .
a.Aallar las coordenadas de v con respecto a la base ..
b.Aallar las coordenadas de vcon respecto a la base cannica.
Solucin.
a. 7ean ( (
Este sistema tiene por solucin ( ( por tanto las coordenadas del %ector v con
respecto a la base . son ( es decir(
b. . :as coordenadas de v con respecto a la base cannica $ son
La inversa de la mari! de ransi"i#n
7i & es la matri? de transicin de una base . a una base .0 en ( entonces & es in%ertible ) la matri? de
transicin de .0a . es .
Encuentre el %ector de coordenadas de en con respecto a la base no normal.
.

Solucin.
:a solucin de este sistema es ( ( por
tanto ) el %ector coordenado con respecto a la base .
es
Este procedimiento se puede generali?ar para una base . ) un %ector / arbitrario
& se llama la matri? de transicin de la base . a la base $( es la matri? de coordenadas de / con
respecto a la base . ) es la matri? de coordenadas de / con respecto a la base $. Al multiplicar por la
matri? & se cambia a una matri? de coordenadas con respecto a la base . en una matri? de coordenadas
con respecto a la base $.
2ara efectuar un cambio de la base $0 a la base . se usa la matri? /ue es la matri? de transicin de la
base $ a la base . ) se escribe
Cambio de la base $ a la base ..
:o anterior significa /ue el problema del cambio de base del e&emplo 4.41 se puede representar por la
ecuacin matricial
BB7E!VACCDE
:as columnas de la matri? & se obtienen con los componentes de los %ectores de la base a la cual se /uiere
cambiar.
Mari! de ransi"i#n de $na %ase B a $na %ase B
7ean ) dos bases de ( entonces la matri? de transicin de . a
.0 puede determinarse mediante eliminacin de auss F >ordan en la matri? como se muestra a
continuacin
En la matri? .0 representa la matri? /ue tiene por columnas las componentes de los %ectores de la
base .0 respecti%amente( de forma similar . representa la matri? /ue tiene por columnas las componentes
de los %ectores de la base . respecti%amente.
EJEMPLO &'
7ean ) dos bases para .
a.Aallar la matri? de transicin de . a .0.
b.Aallar la matri? de transicin de .0 a ..
c. 7i ( 1allar
d. 7i ( 1allar

Solucin.
a.

:a matri? de transicin de . a .0 es .
b.:a matri? de transicin de la base .0 a la base . es
c.
d.
)efinicin de conjuntos ortonormales y conjuntos ortogonales:
En un con&unto de %ectores 7 de el espacio %ectorial V es producto interno es ortogonal si cada %ector
de ) seria espacio ortonormal si cada %ector 7 es unitario.
El conjunto de vectores v
1
, v
2
, . . ., v
n
es un conjunto ortonormal en V si
(v
i
, v
j
) = 0 para i
j
y
v
i
=
, ( 1 + vj v
. 1
$n con&unto ortogonal es linealmente independiente si s es un con&unto de %ectores diferentes de cero
) /ue pertenecen al espacio % con producto interno.
Sea V un espacio con producto interno y suponga que u y v estan en V. Entonces
i. y v son ortogonales si (u, v) = 0
i. !a norma de u, denota por u, esta dada por
U = , ( + u u
Nota: " la u se le pone do#le #arra para evitar con$usi%n con el valor a#soluto
E&E'(!) E&E'(!)
Dos vectores ortogonales en C
2
En *
2
los vectores (+, ,1) y (2, -i) son
ortogonales porque
((+, ,1), (2, -i)) = +.2 / (,i)(-i) = - / (,i)(,-i) = - 0- = 0 adem1s (+, ,i)) =
, ,+ + 3 G 3 i i +
. 15 .
&roceso para ortonormali1ar de Gram 2 $c3midt:
1, Ver si la base tiene producto interno +como )a lo %imos,.
2, Con%ertir la base a una base ortogonal.
7ea B . ; %1( %2( ...( %n <
H1 . %1
H2 . %2 F pro)H1 %2
Hn . %n F pro)H1 %3 ' I ' pro)H+n'1, %n
BJ . ; H1( H2( ...( Hn <
3, ) para ortonormali?ar ui . Hi K LLHiLL donde C . 1( 2( ...( n.
Donde BJJ . ; u1( u2( ...( un < es una base ortonormal.
-.A/S01.!AC"1/ES 2"/EA2ES
Eotacin standard de la transformada lineal es# V se denomina de @. 7i % pertenece a V ) H esta en 6(
@+%, . H donde H ser la imagen de % ba&o @( el con&unto de todas las imgenes se llama contradominio de
@ ) el con&unto de % de V tales /ue @+%, . H se llama preimagen de H.
:a definicin de transformacin lineal es /ue todo espacio %ectorial en V ) 6 se puede 1acer
transformacin lineal si cumplen con los a0iomas de la distribucin ba&o la suma + @+$ 9 V, . @+ $ , 9 @ +
% ,, ) la multiplicacin por un escalar +@+c$,. c@+u,,. Cumpliendo con lo anterior la transformada lineal
tiene sus propiedades /ue son #
1, @+5, . 5
2, @+'%, . ' @+%,
3, @+%'u, . @+%,'@+u,
4, 7- % . c1%1 9 c2%2 9 ... 9 cn%n entonces % . c1 @+%1,9 c2 @+%2,9 ... 9 cn @+%n,.
2ara definir una transformacion lineal por una matri? esta se notara as-# siendo a la matri? m 0 n la
funcion @ se definir @+%, . A% /ue suna transformacin lineal de !
n
en !
m
.
El n*cleo se puede encontrar definiendo la transformada as-. @+%, . 5 esto tambi8n se denomina
como Mernel de @ ) se denota Mer +@, para /ue sea n*cleo esta debe cumplir /ue A0 . 5.
:a dimensin del n*cleo se llama nulidad ) la dimensin del contradominio de @ se llama rango +si
A . matri? entonces el rango de @ %a ser . rango de A,.
Dimensin del dominio . dimensin del rango 9 dimensin del n*cleo.
:as transformaciones lineales puede ser uno a uno /ue son a/uellas /ue la preimagen de 6 consta
de un solo %ector( o sea( ser uno a uno para toda u ) % en V( @+u, . @+%,( tambi8n 1a) /ue tomar en cuenta
/ue =er+@, . 5. @ambi8n las transformadas lineales puede ser sobre si ) solo si el rango de @ es igual a la
dimensin de 6. N un transformacin lineal es bi)ectiba si es uno a uno ) sobre.
E/istencia de una transformacin inversa:
7ea @# !
n
O !
n
una transformada de una matri? standard. Debe cumplir las siguientes condiciones#
@ es in%ertible
@ es un isomorfismo
A es in%ertible
7i @ es in%ertible con matri? standard A( entonces la matri? standard de @
'1
es A
'1
.
$n caso especial seria cuando V 5 6 ) B . BJ( don de la matri? A /ue se denomina matri? de @ con
respecto a la base B. En este caso la matri? de la transformacin identidad es simplemente Cn.
:a matri? de transicin de un transformada lineal depende del espacio V.
:as matri? de transicin @ con respecto a la base B es diferente a la matri? @ con respecto a otra
base BJ.
AJP+V,QBJ O P @+V,QBJ es la forma directa a tra%8s de la matri? AJ.
2
'1
A2PVQBJ . @P+V,QBJ forma indirecta.
AJ . 2
'1
A2
Donde a es la matri? de @ con respecto a B( AJ es la matri? @ con respecto a BJ( 2 es la matri? de transicin
de BJ a B( 2
'1
es la matri? de transicin B a BJ