REPBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA EDUCACIN SUPERIOR

UNIVERSIDAD NACIONAL EXPERIMENTAR SIMN RODRGUEZ.
NUCLEO: VALLES DEL TUY
CURSO: ALGEBRA LINEAL

INDUCCIN MATEMTICA

INTEGRANTE:
Jonathan Pealoza. C.I: 14.609.982

FACILITADOR: Lic. Ernesto M. Aquino.

Santa Teresa de Tuy, 11 Octubre 2013

INDICE

Pp

NDICE.....02
HISTORIA DE LA INDUCCIN MATEMTICA..................................04
INDUCCIN MATEMTICA 04
DEMOSTRACIONES POR INDUCCIN.......................05
LOS NMEROS ENTEROS Y SU ORDENACIN...07
EL PRINCIPIO DE INDUCCIN MATEMTICA09
PRIMER PRINCIPIO DE INDUCCIN MATEMTICA.09

PROPIEDAD (LGICA)...12

PROPOSICIN13

CONDICIONAL MATERIAL13

DEFINICION EL CONDICIONAL MATERIAL.14

PROPIEDADES FORMALES.............................15

DIFERENCIA ENTRE EL CONDICIONAL MATERIAL Y LA

IMPLICACION LOGICA..16

DEMOSTRACIN MATEMTICA.17

AXIOMA.........................................18
.

APLICACIONES LINEALES...19

DEFINICION DE APLICACIONES LINEALES19

PROPIEDADES DE LAS TRANSFORMACIONES

LINEALES.21

COMO FORMAR NUEVAS TRANSFORMACIONES LINEALES A

PARTIR DE OTRAS DADAS.22

TEOREMAS BSICOS DE LAS TRANSFORMACIONES23

CLASIFICACIN DE LAS TRANSFORMACIONES LINEALES..24

MATRIZ ASOCIADA A UNA TRANSFORMACIN LINEAL.24

BIBLIOGRAFA26

HISTORIA DE LA INDUCCIN MATEMTICA

La primera formulacin explcita sobre el principio de induccin
fue establecida por el fsico - matemtico Blaise Pascal en su
obra Trait du triangle arithmtique (1665).2
Blaise Pascal (Clermont Ferrand, 19 de junio 1623 Pars, 19 de
agosto de 1662) fue un matemtico, fsico, filosofo cristiano y escritor
francs.

Sus

contribuciones

naturales incluyen

el

diseo

las matemticas y

construccin

las ciencias

de calculadoras

mecnicas, aportes a la Teora de la probabilidad, investigaciones

sobre los fluidos y la aclaracin de conceptos tales como la presin y
el vaco. Despus de una experiencia religiosa profunda en 1654,
Pascal abandon las matemticas y la fsica para dedicarse a
la filosofa y a la teologa.
4

INDUCCIN MATEMTICA
En matemticas, la induccin es un razonamiento que permite
demostrar una infinidad de proposiciones, o una proposicin que depende
de un parmetro

que toma una infinidad de valores enteros. En

trminos simples, la induccin matemtica consiste en el siguiente

razonamiento:
Premisa mayor: El nmero entero

tiene la propiedad

Premisa menor: El hecho de que cualquier nmero entero

la propiedad

implica que

tenga

tambin la tiene (que se anota con el

smbolo de condicional material:

).

Conclusin: Todos los nmeros enteros a partir de

tienen la

propiedad .
Con ms rigor, el mtodo de induccin matemtica es el que realiza
la demostracin para proposiciones en las que aparece como variable un
nmero natural. Se basa en un axioma denominado principio de la
induccin matemtica.1

DEMOSTRACIONES POR INDUCCIN

El razonamiento para demostrar una proposicin cualquiera

mediante el esquema del razonamiento es como sigue. Llamemos
proposicin, donde

a la

es el rango.

Se demuestra que

(iniciacin de la induccin), es cierta.

Se demuestra que si se supone

, el primer valor que cumple la proposicin

hiptesis inductiva, entonces

condicin sobre el entero natural
5

como cierta y como

lo es tambin, y esto sin

(relacin de induccin).

Luego, demostrado esto, concluimos por induccin, que

es cierto

para todo natural .

La induccin puede empezar por otro trmino que
. Entonces
natural

ser vlido a partir del nmero

, digamos por

, es decir, para todo

Ejemplo:
Se tratara de demostrar por induccin la siguiente proposicin:

1. Se comprueba para n=1

Se tiene por tanto que la proposicin es verdadera para n=1

2. Hiptesis inductiva (n=h)

3. Tesis inductiva (n=h+1)

4. Demostracin de la tesis en base a la hiptesis

Se aplica la hiptesis de induccin:

(Sacando

factor

comn)

Por lo tanto, por verificarse la proposicin para n=1 y para n=k+1

siendo k cualquier nmero natural, la proposicin se verifica

LOS NMEROS ENTEROS Y SU ORDENACIN

Los nmeros enteros: Los nmeros enteros se definen como el
conjunto de los nmeros Z={...,-2,-1,0,1,2,3,...}. Dentro de este conjunto
est el subconjunto de los nmeros naturales, N= {1,2,3,4,...}. Es decir, el
subconjunto de los nmeros enteros positivos (mayores que 0).

Pueden definirse en Z dos operaciones internas

binarias + , : Z x Z Z,

las

que

llamamos suma y producto,

respectivamente. Estas operaciones cumplen las siguientes propiedades:

Cerradas: a+b Z y a.b Z, a,b Z

Conmutativas: a+b = b+a , a.b = b.a , a,b Z
Asociativas: a+(b+c) = (a+b)+c , a.(b.c) = (a.b).c , a,b Z
Existencia de elementos neutros: a+0 = a , a.1 = a , a Z
Existencia de elemento opuesto para la suma: a Z existe -a

Z tal que a + (-a) = 0

Cancelativa: Si a es distinto de 0, y a.b = a.c entonces b = c
Distributiva: a.(b+c) = a.b + a.c a,b,c Z

La ordenacin de los nmeros enteros: En Z se puede definir

una relacin de orden total, con el orden usual <. As, para cualesquiera
dos elementos distintos de Z, a<b o bien b<a. Es decir, Z es un
conjunto totalmente ordenado.

Esta relacin de orden total es compatible con la suma y el

producto:

a < b a+c < b+c, para todo entero c.

a < b a.c < b.c, para todo entero c mayor que 0

Dado un (A,<) conjunto ordenado y dado un subconjunto no vaco S

de A, se dice que:

c A es cota inferior de S si c < x, para todo x S

m S es mnimo de S si m < x, para todo x S

Se dice por tanto que S est acotado inferiormente si existe un

elemento c A que es cota inferior de S.

Axioma de buena ordenacin en (Z , <): Si X es un subconjunto

no vaco de Z y est acotado inferiormente, entonces X tiene mnimo
(habr pues siempre un primer elemento del conjunto).

Una consecuencia inmediata de esta propiedad es que un

subconjunto

de

los

nmeros

naturales

tambin

tendr

mnimo,

evidentemente.

EL PRINCIPIO DE INDUCCIN MATEMTICA

La induccin matemtica es un mtodo de demostracin que se

utiliza cuando se trata de establecer la veracidad de una lista infinita de
proposiciones. El mtodo es bastante natural para usarse en una variedad
de situaciones en la ciencia de la computacin. Algunas aplicaciones
tienen un sabor muy matemtico, tal como verificar que todo entero
positivo satisface cierta frmula. Otra utilizacin frecuente es la de
demostrar que un programa de computacin o que un algoritmo con ciclos
funciona como se espera.

PRIMER PRINCIPIO DE INDUCCIN MATEMTICA

Consideremos una lista de proposiciones p(1), p(2), p(3), ... con

ndices en los enteros positivos

. Todas las proposiciones p(n) son

verdaderas a condicin que:

(B) p(1) sea verdadera.

(I) p(n + 1) es verdadera siempre que p(n) lo sea.

Nos referimos a (B), es decir al hecho de p (1) es verdadera, como

la base de la induccin y nos referimos a (I) como el paso inductivo. En la
notacin del clculo proposicional (I) equivale decir que:

La implicacin p(n)

p(n + 1) es verdadera

Ejemplo:
Demostrar

(3k - 2) = 1/2(3n - n)

Demostracin: La n-sima proposicin p(n) es verdadera, esto es

(3k - 2) = 1/2(3n - n)
Ntese que:

p(1) = 1 = 1/2[3(1) - 1)] de aqu que 1 = 1

p(2) = 1 + 4 = 1/2[3(2) - 2)] de aqu que 5 = 5
p(3) = 1 + 4 + 7 = 1/2[3(3) - 3)] de aqu que 12 = 12

En particular, p(1) es verdadera por inspeccin y esto establece la

base de la induccin. Ahora supngase que p(n) es verdadera para
algn n, esto es:

(3k - 2) = 1/2(3n - n)

10

Necesitamos demostrar que p(n + 1)

(3k 2) = 1/2[3(n + 1) - (n + 1)]

Tal como lo establece el paso inductivo.Utilizando p(n) tenemos que

(3k - 2) =

(3k - 2) + [3(k + 1) - 2]= 1/2(3k - k) + (3k + 1)

Para verificar p(n + 1) necesitamos comprobar que:

1/2(3k - k) + (3k + 1) = 1/2[3(k + 1) - (k + 1)]

Esto ya es un problema puramente algebraico, para lo cual se

trabajara con el lado izquierdo de la igualdad, esto es:
1/2(3k - k) + (3k + 1)

= 1/2(3k - k + 6k + 2)
= 1/2(3k + 5k + 2)
= 1/2(3k + 2)(n + 1)
= 1/2[3(k + 1) -1](k + 1)
= 1/2[3(k + 1) - (k + 1)]

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el

primer principio de induccin matemtica se concluye que p(n) es
verdadera

11

No siempre es necesario el uso del smbolo de sumatoria para

aplicar la induccin matemtica, puede tambin utilizarse parte del
desarrollo de la misma, como lo muestra el siguiente:

Ejemplo:
Demostrar por induccin que:
2 + 4 + ... + 2(n) = n(n + 1)

Demostracin: Nuestra n-sima proposicin p(n) es:

2 + 4 + ... + 2(n) = n(n + 1)

y ntese que:
p(1) = 2 = 1(2), donde 2 = 2
p(2) = 2 + 4 = 2(3), donde 6 = 6
p(3) = 2 + 4 + 6 = 3(4), donde 12 = 12
p(4) = 2 + 4 + 6+ 8 = 4(5), donde 20 = 20

As p (1) asegura 2= 1( 1 + 1) y como es verdadera por inspeccin

tal como lo establece la base de la induccin matemtica.

Para el paso inductivo, supongamos que p(n) es verdadera para

algn n, esto es
2 + 4 + ... + 2(n) = n(n + 1)

12

Es verdadera. Ahora queremos probar que para p(n + 1)

2 + 4 + ... + 2(n) + (2(n + 1) = (n + 1)((n + 1) + 1)

Es decir
2 + 4 + ... + 2(n) + (2n + 2) = (n + 1)(n + 2)

Tal como lo establece el paso inductivo.

Como p(n) es verdadera por hiptesis, y trabajando con el lado

izquierdo de la igualdad, temos que:

2 + 4 + ... + 2(n) + (2n +

= [2 + 4 + ... + 2n] + (2n +2)

2)
= n(n + 1) + (2n + 2)
= n(n + 1) + 2(n + 1)
= (n + 1)(n + 2)

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el

primer principio de induccin matemtica se concluye que p(n) es
verdadera

13

PROPIEDAD (LGICA)

En filosofa, lgica y matemtica, una propiedad es un atributo o

cualidad de un objeto. Por ejemplo, la sangre tiene la propiedad de
ser roja. Las propiedades tambin se pueden considerar objetos, y
pueden por lo tanto tener otras propiedades. Por ejemplo, el rojo tiene la
propiedad de ser un color. Las propiedades se expresan mediante
un concepto universal,1 que significan formalmente una clase bajo el
punto de vista lgico.

En la lgica aristotlica, las propiedades son uno de los modos de

relacin que

puede

haber

entre

el sujeto y

el predicado de

una proposicin segn el juicio categrico aristotlico.

PROPOSICIN
En filosofa y lgica, el trmino proposicin se usa para referirse a:1

Las entidades portadoras de los valores de verdad.1

Los

objetos

de

las

creencias

de

otras

actitudes

proposicionales.1

El significado de las oraciones demostrativas, como el Sol es

una estrella.1

Es un producto lgico del pensamiento que se expresa mediante el

lenguaje, sea ste un lenguaje comn o formalizado, cuando adopta la
forma de oracin gramatical, o simblico, cuando se expresa por medio
de signos o smbolos de un lenguaje formal. En Lgica tradicional se
14

distinguen la proposicin y el juicio, por cuanto la primera es el producto

lgico del acto por el cual se afirma o se niega algo de algo, mientras ese
acto constituye el juicio.

Para Aristteles, la proposicin es un discurso enunciativo

perfecto, que se expresa en un juicio que significa lo verdadero y lo falso
como juicio de trminos. Por eso el juicio es una afirmacin categrica, es
decir, incondicionada porque representa adecuadamente la realidad.

CONDICIONAL MATERIAL

El condicional material, tambin conocido como implicacin

material, condicional funcional de verdad o simplemente condicional, es
una constante lgica que conecta dosproposiciones. El condicional
material intenta ser la versin formal del condicional en el lenguaje
natural, el cual se expresa por medio de palabras como las siguientes:

Si llueve, entonces voy al cine.

Voy al cine si llueve.

Cuando llueve, voy al cine.

Simblicamente, el condicional material se suele denotar de las

siguientes maneras:

15

, y en ocasiones:

Donde A y B son proposiciones cualesquiera. Las variables A y B se

conocen respectivamente como el antecedente y el consecuente del
condicional.

En lgica

proposicional,

el

condicional

material

es

una funcin de verdad binaria, que devuelve falso cuando A es verdadera

y B es falsa, y devuelve verdadero en cualquier otro caso. En lgica de
predicados, puede ser visto como una relacin de subconjunto entre la
extensin de predicados (posiblemente complejos).

DEFINICION EL CONDICIONAL MATERIAL

El condicional material es una funcin de verdad que toma dos

valores de verdad (por lo general los valores de proposiciones) y
devuelve falso cuando el primer valor es verdadero y el segundo falso,
y verdadero en cualquier otro caso.
En otras palabras, la tabla de verdad del condicional material es la
siguiente:

16

Como se ve, el condicional material devuelve 0 (falso) slo cuando

el antecedente es verdadero y el consecuente falso. En todos los dems
casos, devuelve 1 (verdadero).

PROPIEDADES FORMALES

Algunas de las propiedades formales del condicional material son:

Distributividad:

Transitividad:

Conmutatividad:

Idempotencia:

Preservacin de la verdad: La interpretacin en virtud del cual

todas las variables se les asigna un valor de verdad de verdadero
produce un valor de verdad de verdadero como resultado de la
implicacin material.

DIFERENCIA ENTRE EL CONDICIONAL MATERIAL Y LA

IMPLICACION LOGICA

El condicional material no debe confundirse con la relacin

de implicacin lgica. Sin embargo, existe una estrecha relacin entre

17

ambos en la mayora de los sistemas lgicos, incluyendo la lgica clsica.

Por ejemplo, los siguientes principios se sostienen:

Si

, entonces

cualquiera y

, donde A es una frmula

es un conjunto de frmulas cualquiera. Este es

un caso particular delteorema de la deduccin.

Si

, entonces

. Esto es un caso particular del

inverso del teorema de la deduccin.

Tanto el condicional material como la consecuencia lgica

son montonas. Es decir, si

, entonces

si

, entonces

Estos principios, sin embargo, no valen en todos los sistemas

lgicos. Por ejemplo, no se sostienen en las lgicas no monotnicas.

La diferencia entre el condicional material y la implicacin lgica es

anloga la diferencia entre la operacin

y la operacin

en

la teora de conjuntos.

Ejemplo:

En el camino de
implicacin lgica

y material

la diferencia entre la

se puede ver en un clculo fcil:

18

DEMOSTRACIN MATEMTICA

El condicional material puede ser definido por medio de la

disyuncin

y la negacin.

universal

En matemticas, una demostracin matemtica o prueba es

un argumento deductivo
argumentacin

se

para

pueden

La

relacin

por

una afirmacin
usar

otras

y el cuantificador

matemtica.

afirmaciones

En

la

previamente

establecidas, tales como teoremas.

En principio una prueba se puede rastrear hasta afirmaciones

generalmente aceptadas, conocidas como axiomas. 1 2 Las pruebas
son ejemplos derazonamiento deductivo y se distinguen de
argumentos inductivos o empricos; una prueba debe demostrar que
una afirmacin es siempre verdadera (ocasionalmente al listar todos
los casos posibles y mostrar que es vlida en cada uno), ms que
enumerar muchos casos confirmatorios. Una afirmacin no probada
que se cree verdadera se conoce como conjetura.

19

Las pruebas emplean lgica pero normalmente incluyen una

buena parte de lenguaje natural, el cual usualmente admite alguna
ambigedad. De hecho, la gran mayora de las pruebas en las
matemticas escritas puede ser considerada como aplicaciones
de lgica informal rigurosa. Las pruebas puramente formales,
escritas en lenguaje simblico en lugar de lenguaje natural, se
consideran en teora de la prueba. La distincin entre pruebas
formales e informales ha llevado a examinar la lgica
matemtica histrica y actual, el cuasi-empirismo matemtico y
el formalismo matemtico. La filosofa de las matemticas concierne
al rol del lenguaje y la lgica en las pruebas, y en las matemticas
como lenguaje.

El hecho de no conocer ninguna demostracin de un teorema

no implica su no veracidad; slo la demostracin de la negacin de
este resultado implica que es falso.

AXIOMA

Un axioma es una proposicin que se considera evidente y

se acepta sin requerir demostracin previa. En un sistema
hipottico-deductivo es toda proposicin no deducida (de otras),
sino que constituye una regla general de pensamiento lgico, por
oposicin a los postulados.1
En lgica y matemticas, un axioma es una premisa que, por
considerarse evidente, se acepta sin demostracin, como punto de
partida para demostrar otras frmulas. Tradicionalmente los axiomas

20

se eligen de las consideradas afirmaciones evidentes, porque

permiten deducir las dems frmulas.

En lgica un postulado es una proposicin no necesariamente

evidente: una frmula bien formada (planteada) de un lenguaje
formal utilizada en una deduccin para llegar a una conclusin.
En matemtica se distinguen
axiomas lgicos y postulados.

dos

tipos

de

proposiciones:

APLICACIONES LINEALES

En matemtica una aplicacin lineal (tambin llamada funcin

lineal, transformacin lineal u operador lineal) es una aplicacin entre
dos espacios vectoriales, que preserva las operaciones de adicin de
vectores y multiplicacin por un escalar.

En lgebra abstracta y en lgebra lineal una aplicacin lineal es

un homomorfismo entre espacios vectoriales o en el lenguaje de la
teora un morfismo sobre la categora de los espacios vectoriales sobre
un cuerpo dado.

DEFINICION DE APLICACIONES LINEALES

21

Se denomina aplicacin lineal, funcin lineal o transformacin

lineal a toda aplicacin cuyo dominio y codominio sean espacios
vectoriales que cumpla la siguiente definicin:

Sean
campo

, y

espacios vectoriales sobre el mismo espacio o

una funcin de

en

lineal si para todo par de vectores

todo escalar

perteneciente a

.
y

Es una transformacin
pertenecientes a

y para

, se satisface que:

1.
2.

donde k es un escalar.

Ejemplo:

1. El mapa

que enva

en

(su conjugado) es

una transformacin lineal si consideramos a

como un

espacio vectorial. Sin embargo, no lo es si lo pensamos

como

-espacio vectorial, ya que

2. Dado un espacio vectorial cualquiera, podemos definir la

funcin identidad

, que

resulta una transformacin lineal.

22

3. Las homotecias:

con

i k > 1 se denominan dilataciones, si k < 1 se denominan

contracciones.
4. Dada

una

matriz

funcin

definida

como

la
es

una transformacin lineal. Gracias a la matriz asociada (leer

ms abajo en el artculo), podemos concluir que cualquier
transformacin lineal definida entre espacios vectoriales de
dimensin finita puede verse como multiplicar por una
matriz.

5. Sea V el conjunto de funciones continuas en y se define

: V V mediante

(f)(t) =
Ocurre que:

=c

para c

23

Por lo tanto, se cumplen (f +g) = (f) + (g) y (cf)= c(f)

para todo f y g en V y todo c en , o sea que es una aplicacin
lineal de V en V. 1

PROPIEDADES DE LAS TRANSFORMACIONES LINEALES

Sean

espacios vectoriales sobre

(donde

representa

el cuerpo) se satisface que:

Si
de

es lineal, se define el ncleo (ker) y la imagen (Im)

de la siguiente manera:

Es decir que el ncleo de una transformacin lineal est formado

por el conjunto de todos los vectores del dominio que tienen por imagen al
vector nulo del codominio.

El ncleo de toda transformacin lineal es un subespacio

vectorial del dominio:

24

1.

dado

que

(para

observar que

probar

esto,
).

2. Dados Dados

Se denomina nulidad a la dimensin del. ncleo

La imagen de una transformacin lineal est formada por el

conjunto de todos los vectores del codominio que son imgenes de al
menos algn vector del dominio.

La imagen de toda transformacin lineal es un subespacio del

codominio.

El rango de una transformacin lineal es la dimensin de la

imagen.

25

COMO FORMAR NUEVAS TRANSFORMACIONES LINEALES A

PARTIR DE OTRAS DADAS

Si f1: V W y f2: V W son lineales, entonces tambin lo es su

suma f1 + f2 (definida como (f1 + f2)(x) = f1(x) + f2(x)). Si f : V W es
lineal y a es un elemento del cuerpo K, entonces la funcin af, definida
como (af)(x) = a (f(x)), tambin es lineal.

Gracias a estas dos propiedades, y a que la funcin que enva todo

al elemento nulo es una aplicacin lineal, es que el conjunto de
transformaciones lineales f: V W forma un subespacio de las funciones
de V en W. A este subespacio se lo nota L(V,W) o Hom(V,W). La
dimensin de L(V,W) es igual al producto de las dimensiones de V y W.

Si f: V W y g: W Z son lineales entonces su

composicin gf: V Z tambin lo es.

Dado un espacio vectorial V, el espacio vectorial L(V,V), que se

nota usualmente como End (V), forma un lgebra asociativa sobre el
cuerpo base, donde la multiplicacin es la composicin y la unidad es la
transformacin identidad.

Si f: V W es una transformacin lineal biyectiva, entonces su

inversa tambin es transformacin lineal.

26

TEOREMAS BSICOS DE LAS TRANSFORMACIONES

Sea B = {vi: i J} base de V y C = {wi: i J} un

conjunto vectores de W no necesariamente distintos, entonces existe una
nica transformacin lineal T: V W que satisface:

Sea

una transformacin lineal.

Entonces

Como corolario bsico de este teorema, obtenemos que una

transformacin lineal de un espacio vectorial de dimensin finita en s
mismo es un isomorfismo si y slo si es un epimorfismo si y solo si es
un monomorfismo.

CLASIFICACIN DE LAS TRANSFORMACIONES LINEALES

27

Funcional lineal: A las transformaciones lineales

(donde

es el cuerpo base de V) las llamamos funcionales

lineales.

Monomorfismo: Si

es inyectiva, o sea si el nico

elemento del ncleo es el vector nulo.

Epimorfismo: Si

Isomorfismo:

es sobreyectiva (suryectiva).
Si

es biyectiva (inyectiva

sobreyectiva)

Endomorfismo: Se le llama a una transformacin lineal en el

que dominio y codominio coinciden.

Automorfismo: Se le llama a un endomorfismo biyectivo.

MATRIZ ASOCIADA A UNA TRANSFORMACIN LINEAL

Si V y W tienen dimensin finita y uno tiene elegidas bases en cada

uno de los espacios, entonces todo mapa lineal de V en W puede
representarse por una matriz. Recprocamente, toda matriz representa
una transformacin lineal.

Sean T:VW una transformacin lineal, B={v1, ..., vn} una base
de V, C={w1, ..., wm} base de W. Para calcular la matriz asociada a T en

28

las bases B y C debemos calcular T(vi) para cadai=1,...,n y escribirlo

como combinacin lineal de la base C:

T(v1)=a11w1+ ...+am1 wm, ..., T(vn)=a1nw1+ ...+amn wm.

La matriz asociada se nota C[T]B y es la siguiente:

Como un vector de W se escribe de forma nica como combinacin

lineal de elementos de C, la matriz es nica.

Gracias al teorema mencionado en la seccin Teoremas bsicos de

las transformaciones lineales en espacios con dimensin finita, sabemos
que

dada

cualquier

eleccin

de u1,..., un

existe

es

nica

la

transformacin lineal que enva vi en ui. Por lo tanto, dada A cualquier

matriz m n, existe y es nica la transformacin lineal T: VW tal
que C [T] B=A.

Adems,

las

matrices

asociadas

cumplen

que C [aT+bS] B = a C [T] B + b C [S] B para cualquier a,b, T,S L(V,W).

Por esto es que la aplicacin que hace corresponder cada transformacin
lineal con su matriz asociada es un isomorfismo entre L(V,W) y MnmC (K).

29

Si nos restringimos al caso V=W, C=B, tenemos adems que esta

aplicacin es un isomorfismo entre lgebras.

BIBLIOGRAFA

http://es.wikipedia.org/wiki/Inducci%C3%B3n_matem

%C3%A1tica#cite_note-1
http://es.wikipedia.org/wiki/Propiedad_(l%C3%B3gica)
http://www.dma.fi.upm.es/java/matematicadiscreta/aritmeticamodul

ar/enteros.html
http://mate.cucei.udg.mx/matdis/2ind/2ind4.htm
http://es.wikipedia.org/wiki/Proposici%C3%B3n_(l%C3%B3gica)
http://es.wikipedia.org/wiki/Demostraci%C3%B3n_matem

%C3%A1tica
http://es.wikipedia.org/wiki/Axioma

30