Universidad Autnoma Chapingo

Departamento de Irrigacin
Apuntes de:
Algebra superior
Bernardino Cruz Cardona
Julio de 2007 a abril de 2008
ii
Contenido
Prlogo IV
CAPITULO 1
CONCPTO! P"LI#INA"! 1
1$1 CON%UNTO!& OP"ACION! CON CON%UNTO! 1
1$1$1 NOTACI'N D CON%UNTO! 1
1$1$( A)IO#A! D CON%UNTO! (
1$1$* OP"ACION! CON CON%UNTO!$ +
1$1$, "LACION! -
1$( .UNCION! /
1$($1 CONCPTO D .UNCI'N 0O APLICACI'N1 /
1$($( I2UALDAD D .UNCION! /
1$($* 2N"ALI3ACI'N D LA! OP"ACION!
D CON%UNTO!$
14
1$($,$ I#A2N D UNA .UNCI'N 11
1$($5$ CLA!I.ICACI'N D .UNCION! 1(
1$($6$ OP"ACION! CON .UNCION! 1,
1$*$ "LACION! 1+
1$*$1$ "LACION! D O"DN 1+
1$*$($ "LACION! D 7UIVALNCIA ((
1$,$ !T"UCTU"A! NU#8"ICA! (,
1$,$1$ LO! N9#"O! NATU"AL! (,
1$,$($ CON%UNTO! .INITO! : NU#"A;L! (+
1$,$*$ P"ODUCTO CA"T!IANO (-
1$5$ OP"ACION! (/
1$6$ !T"UCTU"A! AL2;"AICA! **
iii
CAPITULO (
!PACIO! VCTO"IAL! ,1
($1$ CONCPTO D !PACIO VCTO"IAL ,1
($( APLICACION! LINAL! D !PACIO! VCTO"IAL! ,*
($* P"ODUCTO D !PACIO! VCTO"IAL! ,,
($, !U;!PACIO! VCTO"IAL! ,5
($5 CO#;INACION! LINAL!& !U;!PACIO! 2N"ADO! ,6
($6 !PACIO COCINT< !U#A D !U;!PACIO! 54
($+ DPNDNCIA INDPNDNCIA LINAL 55
($- ;A!! : DI#N!I'N 64
;I;LIO2"A.IA$ 6/
iv
Prlogo
Desde =ue era estudiante del Departamento de Irrigacin he visto > sentido la
evolucin de la imparticin de los cursos de alge?ra< despu@s& como proAesor& he vivido
dicha evolucinB primero como alge?ra lineal& despu@s como Alge?ra !uperior$
#i actividad la?oral en el curso de Clge?ra comenDo supliendo a los proAesores =ue
venian impartiendo esta materia$ Desde ese entonces ha sido constante la preocupacin de
meEorar dicha imparticin& so?re todo& atendiendo a los temas =ue son Aundamentos
necesarios para cursos posteriores en la carrera de ingeniero en irrigacin$ n este sentido
los siguientes apuntes rescatan la eFperiencia de impartir dicho curso en varias ocaciones$
special @nAasis se ha puesto para rescatar las in=uietudes& o?servaciones positivas >
negativas =ue los estudiantes han mostrado o seGalado$
l presente tra?aEo se ha desarrollado durante el eEercicio del segundo aGo sa?Ctico
=ue el autor ha tomado$ !e ha puesto de relevancia la reAleFin& el anClisis > la conviccin
docente para plasmar por escrito estos apuntes$
!e ha planeado =ue estos apuntes tengan cinco capHtulos& hasta el momento se han
revisado tres > se han escrito dosB Conceptos preliminares > spacios vectoriales$ !e espera
=ue al terminar Eulio de (44- se ha>a terminado de escri?ir el tercer capHtulo > >a se ha>an
revisado ?i?liograAicamente el cuarto > el =uinto capHtulo$
"eitero mi agradecimiento por la comprensin > el apo>o ?rindado por los directivos
de Departamento de Irrigacin > de la Universidad Autnoma Chapingo& en los diAHciles
momentos =ue mi persona ha venido pasando$ Nuevamente agradeDco especialmente a mis
compaGeros proAesores =ue han tomado iniciativas solidarias hacia mi Aamilia > hacia un
servidor$ #i agradecimiento al !indicato de Tra?aEadores Acad@micos de la Universidad
Autnoma Chapingo 0!TAUACh1 por su solidaridad > apo>o reci?ido$

ProAesor ;ernardino CruD Cardona$ A?ril de (44-$
v
CAPITULO 1
CONCPTO! P"LI#INA"!
1$1 CON%UNTO!& OP"ACION! CON CON%UNTO!
Para comprender el concepto IconEuntoJ es necesario AormaliDarlo dentro del lenguaEe
usado& donde ad=uiera vida > sentido > se le pueda maneEar como idea< es decir& se pueda
pensar constructivamente con @l& para eFpresar por su conducto otras ideas mCs compleEas >
ela?oradas$ Luego entonces& para entender > maneEar el concepto conEunto el meEor camino
es no deAinirlo& sino& caracteriDarlo< esto es& ponerse de acuerdo respecto de unas cuantas
caracterHsticas de dicho concepto& las cuales variarCn segKn el uso =ue se haga del mismo$
!e iniciarC la caracteriDacin del concepto IconEuntoJ aceptando unos cuantos aFiomas& si
no son suAicientes se acordaran otros o se modiAicaran los >a eFistentes$ Lo importante es
acordar en cuales son estos aFiomas& en lo =ue signiAican > aceptar como verdadero ese
signiAicado$
1$1$1 NOTACI'N D CON%UNTO!
!e usarCn letras ma>Ksculas para denotar a los conEuntos > las letras minKsculas para
denotar a los elementos de un conEunto$
!i ) es un conEunto > sucede =ue no tiene elementos& entonces lo llamaremos conjunto
vaco > se denotara con el sHm?olo < si no es el conEunto vacHo& entonces ha de tener al
menos un elemento$
Para cuando sea posi?le eFhi?ir de alguna manera los elementos de un conEunto& @stos de
escri?irCn dentro del sHm?olo L M$ Por eEemplo& si el conEunto X tiene los elementosB mesa&
silla& gato& perro< entonces se escri?eB
{ } perro gato silla mesa & & &
o tam?i@n
{ } perro gato silla mesa X & & & =
> se lee diciendoB IX es el conEunto cu>os elementos son mesa& silla& gato& perroJ$
1
!i el conEunto X tiene los elementos
&$$$ &
( 1
x x
se escri?e
{ } $$$ & &
( 1
x x X =
Cuando no sea posi?le mostrar eFplHcitamente los elementos de un conEunto& se recurre a
eFhi?ir alguna propiedad compartida por todos los elementos$ !i P es la propiedad&
entonces se escri?eB
{ } P x X N =
para denotar al conEunto X cu>os elementos son las x =ue satisAacen la propiedad P$ Por
eEemplo& el conEunto de las letras de esta pCgina se denota asHB
{ } pgina esta de letra una es x x X N =
Cuando se escri?e
{ } b a X & =
& se esta diciendo =ue el conEunto X tiene los elementos a, b<
de esta Aorma se puede tam?i@n escri?ir
{ } a b X & =
< =ueda claro =ue slo se precisan
cuales son los elementos del conEunto& sin importar el orden en =ue se mencionan los
elementos de dicho conEunto$ !i se =uiere enAatiDar el orden de los elementos de un
conEunto& entonces se escri?eB
( ) b a X & =
asH se entiende =ue X es el conEunto ordenado cu>os elementos son a, b < precisamente en
este orden$
1$1$( A)IO#A! D CON%UNTO!
Axioma 1. Fisten tres conceptos primitivosB elementos, conjuntos > relacin es elemento
de.
l concepto relacin es elemento de se denota con el sHm?olo > se lee Ies elemento deJ$
Los elementos pueden tener la propiedad de ser elementos de algn conjunto$ Los
conEuntos pueden tener la propiedad de contener elementos.
l sHm?olo Knicamente se puede intercalar entre el sHm?olo de un elemento > el de un
conEunto$ !i x denota a un elemento > A denota a un conEunto& entoncesB
x A
(
es una proposicin$ Cuando esta proposicin sea verdadera se dice =ue x es un elemento de
A > se escri?e x A< n caso de =ue sea Aalsa& se dice =ue x no es un elemento de A > se
escri?e x

A$
Definicin 1. !i A > B son conEuntos& se dirC =ue A es un subconjunto de B& cuando todo
elemento de A sea elemento de B. sto se escri?e comoB
A B
> tam?i@n se puede leer como IA esta contenido en BJ o IB contiene a AJ$
n caso contrario& cuando al menos un elemento de A no sea elemento de B& se
dice =ue A no es subconjunto de B > se escri?eB
A

B
=ue tam?i@n se puede leer como IA esta no esta contenido en BJ o IB no
contiene a AJ$
O?serve =ue A B dice =ue si a A, esto implica =ue a B. Por lo =ue este aFioma pide
aceptar lo siguienteB
( ) ( ) A a B a A a B A
Axioma 2. !i A > B son dos conEuntos& se dice =ue A es igual a B > se escri?eB
B A =
cuando todo elemento de A es elemento de B >& recHprocamente& todo elemento
de B es tam?i@n elemento de A< o sea& am?os conEuntos contienen los mismos
elementos$ n caso contrario& cuando al menos un elemento no este en am?os
conEuntos& se escri?e B A > se dirC =ue A > B son distintos$
!e puede o?servar =ueB
( ) ( ) ( ) A B B A B A =
$ l procedimiento comKn para pro?ar la
igualdad de dos conEuntos es demostrar =ue las dos relaciones de contencin opuestas se
veriAican para ellos$
Axioma 3$ !ean a, b elementos& se dice =ue son iguales > se escri?eB
b a =
*
cuando todo conEunto =ue contenga al elemento a contenga tam?i@n al elemento
b >& recHprocamente& todo conEunto =ue contenga al elemento b contiene tam?i@n
al elemento a.
n caso contrario& cuando eFista a menos un conEunto =ue contenga como
elemento a uno de los elementos a o b & pero& no al otro& se dirC =ue a es
diAerente de b > se escri?e b a $
!im?licamenteB
( ) ( ) X todo para X b X a b a & =
( ) ( ) ( ) X a y X b que tal X X b y X a que tal X b a
Axioma 4$ !i A > B son conEuntos& entonces eFiste un conEunto C con la siguiente
propiedadB
C A > C B $
Axioma 5$ Fiste un conEunto =ue se denotarC con el sHm?olo > =ue tiene la siguiente
propiedadB
!i A es un conEunto& entonces es un su?conEunto de A< esto esB
A conjunto el sea que cualquiera para A & $
Definicin 2$ !i A es un conEunto& entonces P0A1 denota a la coleccin cu>os elementos son
los su?conEuntos de A< esto esB
{ } A X X A P = N 1 0
$
Axioma 6$ !i A es un conEunto& entonces P0A1 tam?i@n es un conEunto$
l conEunto P0A1 esta caracteriDado por
A X A P X 1 0
$ n particular&
resulta =ueB
1 0 A P A
>
1 0 A P
$
Al conEunto P0A1& cu>os elementos son los su?conEuntos de A suele llamarse conjunto de
las partes de A o tam?i@n conjunto potencia de A >a =ue si A contiene n elementos&
entonces P0A1 contiene
n
( elementos$
,
Axioma 7$ tiene las siguientes propiedadesB
a1 es un conEunto$
?1 es cerrado ?aEo las operaciones > & > ?aEo la negacin O & esto esB
!i
p q p q p entonces q p & & &
$
c1 !i p & q & entonces la veracidad o Aalsedad de
q p q p &
>
p

=ueda determinada por la siguiente ta?laB
p q p
q
p
q
O
p
V V V V .
V . V . .
. V V . V
. . . . V
Por lo anterior si p > q son proposiciones =ue se generan en la teorHa de
conEuntos 0por eEemplo
B A B A A x & &
1 entonces las proposiciones
p q p q p & &
tam?i@n pertenecen a la teorHa de conEuntos$
Definicin 3$ !ea p una proposicin cu>o suEeto x no esta deAinido< en tal caso se dice
=ue p es una proposicin abierta >& para enAatiDar la dependencia o variacin
de la veracidad o Aalsedad de p a medida =ue varHe el suEeto x& en lugar de
slo denotar a esta proposicin con p se escri?irCB
p0x1$
A la coleccin cu>os elementos son todos a=uellos entes x =ue tengan la
propiedad de =ue p0F1 sea verdadera& suele llamarse conjunto de !erdad de
la proposicin p"
{ } !erdadera es x p x 1 0 N
$
Por eEemplo& si p0x1 es la siguiente proposicinB
Ix es un numero par comprendido entre uno > nueveJ&
o?viamente no se aAirma =ue la letra x sea un nKmero par comprendido entre uno > nuevo<
lo =ue se aAirma es =ue x representa un numero par comprendido entre uno > nueve< en
consecuencia& no se puede aAirmar p0x1 es verdadera o Aalsa hasta =ue se conoDca su
conEunto de verdadB
{ } { } { } - & 6 & , & ( 1 0 N / & - $$$$& & ( & 1 = !erdadera es x p x
$
5
:a determinado este conEunto se sa?e =ue la proposicin p0x1 en realidad representa cuatro
proposiciones verdaderas 0cuando x tome alguno de los valores (&,&6 u -1 > tantas
proposiciones Aalsas como nKmeros no contenidos en el conEunto de verdad de p0x1 se
pongan en el lugar de x como suEetos de la proposicin$
Axioma 8$ !i A es un conEunto > p0x1 es una proposicin a?ierta =ue pertenece al conEunto
& entonces a=uellos elementos de A =ue pertenecen al conEunto de verdad de la
proposicin p0x1 Aorman un conEunto& o?viamente su?conEunto de AB
{ } A !erdadera es x p A x 1 0 N
Axioma 9$ !i A es un conEunto& entonces
A A
$
Con este aFioma se evita caer en la paradoEa de ;ertrand "ussell< no se acepta =ue un
conEunto sea elemento de si mismo$
Axioma 10$ Consid@rese =ue A > B son dos conEuntos$ !i se colectan todas las pareEas
ordenadas
( ) b a&
& donde el primer elemento a de la pareEa es un elemento de
A > el segundo elemento b es un elemento de B& entonces esta coleccin de
pareEas 0conEuntos ordenados con dos elementos& el primero de A > el segundo
de B1 tam?i@n es un conEunto =ue se denota asHB
( ) { } B b A a b a B A = & N &
&
> se le llama producto #cartesiano$ de los conjuntos A > B.
eEemploB si
{ } { } ( & 1 & & = = B y c b a A
entoncesB
{ }
{ } 1 & ( 0 & 1 & ( 0 & 1 & ( 0 & 1 & 1 0 & 1 & 1 0 & 1 & 1 0
1 ( & 0 & 1 1 & 0 & 1 ( & 0 & 1 1 & 0 & 1 ( & 0 & 1 1 & 0
c b a c b a A B
c c b b a a B A
=
=

Ntese =ue
A B B A
$ Tam?i@n o?s@rvese =ue los elementos del conEunto B A no
son elementos del conEunto A ni elementos del conEunto B& sino =ue son conEuntos
ordenados con dos elementos& el primero de A > el segundo de B.
!i
1 & 0 b a
>
1 & 0 d c
son elementos de
B A
& entonces
1 & 0 1 & 0 d c b a =
slo es
posi?le si se cumpleB
c a=
>
d b =
$
6
1$1$* OP"ACION! CON CON%UNTO!$
Teorema !i A > B son dos conEuntos< entonces eFiste un tercer conEuntoB
{ } B x A x x B A = N
llamado Iunin de A y B%$ ste conEunto esta caracteriDado por las siguientes
propiedadesB
a1
B A B B A A &
0esto esB B A es mCs grande =ue A > =ue
B$.
?1 !i X A > X B entonces
X B A
0es decirB si X es otro
conEunto mCs grande =ue A > =ue B & entonces B A es mCs chico =ue
X 1$
Teorema !ean A > B dos conEuntos< entoces eFiste un tercer conEunto B
{ } B x y A x x B A = N
Llamado Iinterseccin de A con BJ& caracteriDado por las siguientes
propiedadesB
a1 A B A > B B A 0esto esB B A esta contenido en A > B1$
?1 !i
A X
> B X & entonces B A X 0o sea =ueB cual=uier
su?conEunto X de am?os& A > de B, es mCs chico =ue B A 1$
Definicin Dos conEuntos A, B son aEenos si sucede =ueB
= B A
Teorema !i A > B son dos conEuntos< entonces eFiste un tercer conEunto denotado por el
sHm?olo
B A
> =ue se leerC A menos B o complemento de B relati!o al
conjunto A el cual se caracteriDa por tener la siguiente propiedadB

B A
es el conjunto mas grande de A que es ajeno a B.
ntonces
B A
es el conEunto deAinido porB
{ } B x A x N
$
+
Un caso de inter@s particular de la diAerencia de conEuntos es la anotada en la siguiente
deAinicinB
Definicin !ea A un conEunto > B un su?conEunto de A. l su?conEunto de A
{ } B x A x N
"eci?e el nom?re de complemento de B en A > se representa por
$ B C
A
!i
A x
& entonces
$ B C x B x
A

!on inmediatas las igualdades
= A C
A & A
C A =
>
B B C C
A A
= 1 0
$
Cuando del conteFto se deduDca claramente cuCl es el conEunto A&
sencillamente se anotarC
C
B o B C
en lugar de
B C
A
Como sucede en la siguiente deAinicinB
Definicin !uponga =ue B es un conEunto > =ue
& B
& donde & es el conEunto
universal< entonces
B C B B &
&
C
= =
se llama complemento de B.
l complemento de B en A suele denotarse tam?i@n por A ' B.
1$1$, "LACION!
!i A > B son conEuntos& entonces una relacin R entre A > B es un su?conEunto del
producto cartesiano
B x A
esto esB
B x A (
$
!i
B x A (
es una relacin& se dice =ueB
l dominio (
)
de la relacin R es el conEuntoB
{ } ( b a B b A a )
(
= 1 & 0 & N
La imagen (
*
de la relacin R esta dada por el conEuntoB
{ } ( b a A a B b *
(
= 1 & 0 & N
-
l codominio 0 o contradominio1 de la relacin ( es el conEunto B.

1$( .UNCION!$
1$($1 CONCPTO D .UNCI'N 0O APLICACI'N1$
DefinicinB !i A , B son dos conEuntos& se dice =ue una aplicacin 0o +uncin1 + de A en
B es un su?conEunto de
B x A
B x A +
cuando para todo
A x
&
x
es el primer elemento de un par de
+
& >
slo de un par< esto es& cuandoB
+ y x B y A x 1 & 0 & 1 0 1 0
P QP
1 & 0 1 & 0 0 y y + y x y + y x =
NotaB O?serve =ue una Auncin es una relacin especial$
!i
+
es una aplicacin 0o +uncin1 de A en B& se denota porB
B A + B
$
Cuando
+ y x 1 & 0
se escri?eB
1 0 x + y =
> se dice =ue
y
es la imagen de
x
en
+
& > =ue
x
es un antecedente de
y
por
+
$
!i se tiene
B A + B
se dice =ue
A
es el conjunto dominio > =ue
B
es el conjunto
contradominio 0o codominio1$
1$($( I2UALDAD D .UNCION!$
Dos aplicaciones 0o Aunciones1
B A + B
>
) C + B
son iguales si > solo si B
a1
C A=
<
?1
) B=
<
c1
A x x g x + = 1 0 1 0
$
Cual=uiera =ue sea el conEunto B& eFiste una sola aplicacin
B + B
/
> es Eustamente la aplicacin
= +
1$($* 2N"ALI3ACI'N D LA! OP"ACION! D CON%UNTO!$
!ean
A * &
dos conEuntos$ Una aplicacin
1 0 B A P * +
0=ue hace corresponder a cada elemento de * un su?conEunto de A1
es una +amilia de subconjuntos de A indiciada por el conEunto *.
!i
* i
& la imagen
1 0i +
de i se representa por i
A
$ La Aamilia + se representa
normalmente por * i i
A

1 0
$
La Knica Aamilia
B + 1 0 A P
de su?conEuntos de A indiciada por el conEunto reci?e el nom?re de +amilia !ac,a de
subconjuntos de A.
DefinicinB !ea * i i
A

1 0
una Aamilia de su?conEuntos de A$ Al su?conEunto de A
{ }
i
A x * i A x 1 0 N
se le llama reunin ! o unin " #e $a fami$ia * i i
A

1 0
< dicho su?conEunto de
A se representa por i * i
A

o por
i
* i
A

$
!i
A x
&
i i
* i
A x * i A x

1 0
$
!e pueden encontrar anotaciones similares a ( 1
A A
=ue representan reuniones de
Aamilias de dos conEuntos o mCs& pero& generalmente esta notacin es para pocos conEuntos$
DefinicinB !i * i i
A

1 0
es una Aamilia de su?conEuntos de A$ Al su?conEunto de A
{ }
i
A x * i A x 1 0 N
14
!e le llama interseccin de la familia * i i
A

1 0
> se le representa por
i * i
A

o por
i
* i
A

!i
A x
&
i i
* i
A x * i A x

1 0
Anotaciones como ( 1
A A
o similares& representan intersecciones de Aamilias Aormadas
por dos conEuntos o mCs& pero& generalmente esta notacin es para cuando se tienen pocos
conEuntos$
Un caso particular sucede cuando el conEunto Hndice * es el conEunto & en este caso si
i i
A 1 0
es la Aamilia vacia de su?conEuntos de A& entoncesB

i
i
A
>
A A
i
i
=

!i * i i
A

1 0
es una Aamilia de su?conEuntos de A& tam?i@n se cumplen las llamadas leyes
de morganB
C
i
* i
C
i
* i
A A

=

C
i
* i
C
i
* i
A A

=

1$($,$ I#A2N D UNA .UNCI'N
"ecordando =ue si
B A + B
es una aplicacin 0o Auncin1& entonces
B x A +

=ue veriAica las propiedades siguientesB
+ y x B y A x 1 & 0 & 1 0 1 0
P QP
1 & 0 1 & 0 0 y y + y x y + y x =
Ahora si
1 0
P
A P A
& la imagen de A

por f , denotada por

1 0
P
A +
& es el su?conEunto
de B
11
{ } 1 0 1 0 N 1 0
P P
x + y A x B y A + = =
n particular& la imagen de A por f es un su?conEunto de B al =ue se le llama imagen de f
> =ue se representa por
1 0 A +
o
1 0 + m *
& luego entonces
{ } B y x + A x B y + m * = = 1 0 1 0 N 1 0
!i
1 0
P
B P B
& se representa por
1 0
P 1
B +

a la denominada imagen reciproca de B
-
por f al su?conEunto de A siguiente"
{ } B x + A x B + =

1 0 0 N 1 0
P 1
.
n particular& siempre se tiene =ueB
A B + =

1 0
1
!i
B A + B
es una aplicacin se cumplen las siguientes las siguientes propiedadesB
11
1 0 0 1 0
i * i i * i
A + A +

=
(1
1 0 1 0
i * i i * i
A + A +


*1
1 0 1 0
P P P P P P
A + A + A A
,1
1 0 1 0
1 1
i * i i * i
B + B +

=
51
1 0 1 0
1 1
i * i i * i
B + B +

=
61
1 0 1 0
P P 1 P 1 P P P
B + B + B B


+1
1 0 1 0
P 1 P 1
B + C B C +
A B

=
-1
1 1 0 0
P 1 P
A + + A

/1
P P 1
1 0 0 B B + +

141
P P 1 P
1 0 0 1 0 B B + + A + B =

Donde
A A A A
i

P P P
& &
>
B B B B
i

P P P
& &
$
1$($5$ CLA!I.ICACI'N D .UNCION!$
DeAinicinB Una aplicacin 0o Auncin1
B A + B
es inyectiva cuando dos elementos
distintos de A tienen imCgenes distintas en B& esto es& cuandoB
1 0 1 0 1 < & 0
P P P
x + x + x x A x x
o ?ienB
P P
1 0 1 0 x x x + x +
$
1(
A las +unciones inyecti!as tam?i@n se le llama funciones 1 a 1 o univocas.
!i
B A + B
es una aplicacin in>ectiva& ademCs de las propiedades 1O14 anteriores& se
cumplen las siguientesB
111
1 0 1 0
i * i i * i
A + A +

=
1(1
1 1 0 0
P 1 P
A + + A

=
1*1
1 0 1 0
P P
A + C A C +
B A

DeAinicinB Una aplicacin 0o Auncin1
B A + B
es sobre si todo elemento de B es
imagen cuando menos un elemento de A& esto es& cuando cada elemento de B
posee al menos un antecedente& o sea& cuandoB
b a + A a B b = 1 0 1 0 1 0
es decirB
b a + A a B b = 1 0 1 0
o tam?i@nB
B A + = 1 0
$
!i
B A + B
es una aplicacin 0 o Auncin1 sobre& a las propiedades 1O1* se le pueden
aGadir las siguientesB
1,1
P P 1
1 1 0 0 B B + + =

151
1 0 1 0
P QP
A C + A + C
A B
=
DeAinicinB Una aplicacin 0o Auncin 1
B A + B
es biyectiva 0 o =ue es una biyeccin 1
cuando es inyecti!a > sobre$
Una +uncin biyecti!a
B A + B
ademCs de veriAicar las propiedades 1O15& veriAica la
propiedadB
161
1 0 1 0
P P
A + C A C +
B A
=
Considere la aplicacin ?i>ectiva
B A + B
$ !i
B b
&
b
posee un antecedente Knico$
ntonces el conEunto
{ }1 0
1
b +

posee eFactamente un elemento& =ue es el antecedente
de
b
$
1$($6$ OP"ACION! CON .UNCION!$
1*
1$($6$1$ Inversa de una Auncin$
DefinicinB Considere =ue
B A + B
es una aplicacin 0o Auncin1 ?i>ectiva$ l
su?conEuntoB
A x B +
1
deAinido por
+ y x + x y

1 & 0 1 & 0
1
es una aplicacin 0o Auncin1 de B en A$ ntonces se dice =ue
1
+
es la aplicacin (o
funcin) inversa de la aplicacin 0o Auncin1
+
$
O?serve =ue
1
+
tam?i@n es ?i>ectiva > =ue
+ + =
1 1
1 0
$
Otra Aorma de eFpresar a
1
+
es como sigueB
1 0 1 0
1
x + y y + x = =

$
!ea
B A + B
una aplicacin ?i>ectiva >
1
+
su inversa$ AdemCs considere =ue
$
P
B B
ntonces la notacin
1 0
P 1
B +

Tiene dos signiAicados$ Puede verse como la imagen de
P
B
por
1
+
& pero& tam?i@n puede
verse como la imagen reciproca de
P
B
por
+
$ sta dualidad de signiAicados es aparente&
pues en los hechos am?os signiAicados coinciden$
%onjunto& e'ui(otente&
DefinicinB Dos conEuntos A& B son equipotentes si entre ellos eFiste una aplicacin 0o
Auncin1 ?i>ectiva$
O?serve =ue el concepto de conEuntos e=uipolentes es una Aorma de eFpresar la idea
intuitiva de conEuntos Icon igual nKmero de elementosJ$
Las propiedades siguientes son inmediatas del concepto de conEuntos e=uipotentesB
a1 Todo conEunto es e=uipolente a si mismo$
1,
?1 !i A es e=uipotente a B& B es e=uipolente a A$
c1 !i A es e=uipotente a B > B es e=uipotente a C& A e=uipotente a C$

1$($6$($ Composicin de Aunciones$
Definicin !ean A& B > C conEuntos >
B A + B
&
) C g B
aplicaciones 0o
Aunciones1 > =ue el conEunto
B + m * 1 0
es un su?conEunto del conEunto
C$ ntonces la Auncin A en ) representada por
+ g
& es decirB
) A + g B
& esta deAinida porB
11 0 0 1 0 1 0 x + g x + g A x =
> se le llama la compuesta de f y g o =ue es la composicin de la funcin f
con la funcin g. sto es& la imagen de
x
por
+ g
es la imagen por g del
elemento
1 0 x +
de B. .ormalmente se puede escri?irB
1 0 & 1 0 0 1 0 1 & 0 y g . x + y B y + g . x = =
NotaB el proceso de o?tener la compuesta de + y g no podrHa aplicarse > carecerHa de todo
sentido si el conEunto B no Auera un su?conEunto del conEunto C.
l sHm?olo I
+ g
J se leeB I
+
seguida de
g
J o I
+
compuesta con
g
J$
O?s@rvese =ue si se tiene las Aunciones
B A + B
>
) C g B
> ademCs de =ue
C B =
o
C B
< entonces podemos veriAicar =ue
g + + g
$ n consecuencia
se acepta =ue el proceso de componer Aunciones no es conmutativo& esto es& el orden en =ue
se aplican las recetas si altera el resultado$
!i A& B& C& )& /, 0 son conEuntos& donde
/ ) y C B
$ ntonces si se consideran
las Aunciones
0 / 1 y ) C g B A + B B & B
se tiene =ue
+ g 1 + g 1 1 0 1 0 =
& >a =ueB
111 0 0 0 11 0 0 1 0 1 0 x + g 1 x + g 1 x + g 1 = =
>
111 0 0 0 11 0 0 1 0 1 0 x + g 1 x + g 1 x + g 1 = =
para cual=uier
x
contenido en el dominio de
+
$
15
Lo anterior demuestra =ue si tres Aunciones se pueden componer& entonces la composicin
es asociati!a.
!i
A A
P
& entonces
1 0 0 1 0
P P
A + g A + g =
$
!i
) )
P
& entonces
11 0 0 1 0 1 0
P 1 P 1
) g + ) + g

=
$
!i
+
>
g
son in>ectivas&
+ g
lo es tam?i@n$
!i
+
>
g
son so?re&
+ g
lo es tam?i@n$
!i
+
>
g
son ?i>ectivas&
+ g
lo es tam?i@n > ademCs
1 1 1
1 0

= g + + g
$
DefinicinB !i A es un conEunto& la Auncin id
A
B
A A
se llama funcin idntica de A 0 o
aplicacin idntica de A1& =ue tam?i@n se representa por *
A
, > =ue esta
determinada porB
x x id A x
A
= 1 0 1 0
$
O?servese =ue id
A
es una Auncin 0 o aplicacin1 ?i>ectiva$
!i
B A + B
es una aplicacin& entoncesB
+ *d +
A
=
>
+ + *d
B
=
&
esto es& la composicin de Aunciones admite neutro derec1o y neutro i.quierdo.
!i
A
>
B
son dos conEuntos&
B A + B
una aplicacin ?i>ectiva >
A B +

B
1

su inversa$ ntonces se cumple =ueB
A
id + + =

1
>
B
id + + =
1

Considere a
B A + B
>
A B g B
dos aplicacionesB
!i A
id + g =
entonces
+
es in>ectiva >
g
es so?re
16
!i A
id + g =
> B
id g + =
& entonces
+
>
g
son ?i>ectivas >
g + =
1
$
!ea
B A + B
una aplicacin >
A A
P
$ ntonces se llama restriccin de
+
a
P
A
>
se representa por
P
R
A
+
la aplicacinB
B A
A
+
P
B
P
R
=ue esta dada por
1 0 1 0
P
R 1
P
0 x + x
A
+ A x =
$ .ormalmenteB
1 0 R
P
P
B x A + +
A
=
!i
A
es un conEunto > A A
P
$ La aplicacin
A A i
P
B
esta?lecida por x x i A x = 1 0 1 0
P
es in>ectiva< esta aplicacin se denomina
inyeccin cannica del su?conEunto
P
A en el conEunto A$ s evidente =ue
i
es la
restriccin de
A
id a
P
A
$ AdemCs& si
B A + B
es una aplicacin > P
R
A
+
es su
restriccin a
P
A & entonces
i + +
A
=
P
R
$
1$*$ "LACION!$
1$*$1$ "LACION! D O"DN$
DefiniccinB !i
A
>
B
son dos conEuntos no vacHos& una relacin R deAinida entre
A
>
B
es cual=uier su?conEunto del producto cartesiano
B x A
& esto esB
B x A (
$
!i
(
es una relacin entre
A
>
B
& con
A a
>
B b
& entonces
a
esta
en relacin con
b
& si
( b a 1 & 0
$ sto se escri?e normalmente comoB
b ( a
> se dice =ue I
a
esta en relacionado con
b
por la relacin
(
J$
!i
(
es una relacin entre
A
>
B
& > sea
A a
< entonces puede suceder =ue el
conEunto
{ } { } ( b a B b b ( a B b = 1 & 0 N N
1+
sea vacHo o tenga varios elementos < esto es& =ue
A a
no est@ en relacin con algKn
elemento de
B
& o =ue lo est@ con mCs de uno$
NotaB o?serve =ue una aplicacin 0o Auncin1 es una relacin$
!ea
(
una relacin so?re
A
& esto es&
A x A (
< sea A A
P
$ !e llamarC restriccin
de R a
P
A , a la relacin so?re
P
A =ue se representa por P
R
A
(
& deAinida porB
1 0 R
P P
P
A x A ( (
A
=
$
De otra Aorma& si
A b a &
&
b ( a b ( a
A

P
R
$
DefinicinB !ea
(
una relacin del conEunto
A
en si mismo< entoncesB
11
(
es refle!iva
1 0 A a a ( a
(1
(
es simtrica
1 0 a ( b b ( a
*1
(
es antisimetrica
1 0 b a a ( b y b ( a =
,1
(
es transitiva
1 0 c ( a c ( b y b ( a
!i
(
es una relacin so?re
A
=ue cumple alguna de las propiedades 0reAleFiva& sim@trica&
antisim@trica &transitiva1 anteriores > P
R
A
(
es la restriccin de
(
a algKn su?conEunto de
P
A de
A
& la restriccin P
R
A
(
cumple tam?i@n dicha propiedad$
DefinicinB Una relacin
(
so?re
A
serC una relacin de orden& o simplemente un
orden& cuando sea re+lexi!a, antisim2trica y transiti!a$
!uelen emplearse sHm?olos como
& &
para designar relaciones de orden$
!i

es un orden en
A
& se dice =ue el par
1 & 0 A
es un conEunto ordenado$
!i se considera el conEunto ordenado
1 & 0 A
$ Cuando
y x
0 o sea cuando
1 1 & 0 y x
se escri?irC tam?i@n
x y
se dirC entonces =ue I
x
es menor o igual
=ue
y
J > =ue I
y
es ma>or o igual =ue
x
J$
1-
!e escri?irC
x
S
y
o
y
T
x
para representarB
y x
>
y x
> se dirC =ue I
x
es menor 0o estrictamente menor 1 =ue
y
J > tam?i@n =ue I
y
es
ma>or 0o estrictamente ma>or 1 =ue
x
J
!i
1 & 0 A
es un conEunto ordenado > A A
P
& la restriccin P
A

es tam?i@n un orden
so?re
P
A $ !e dirC =ue es el orden inducido en
P
A por

$ !i no ha> posi?ilidad de
conAusin& este orden inducido se representarC tam?i@n por

$
Definicin !i
1 & 0 A
es un conEunto ordenado > A A
P
$ !e dice =ue un elemento
x
de
P
A es un m"nimo 0 o primer elemento1 de
P
A cuando
y x A y 1 0
P
$
s decir& cuando
x
es menor o igual =ue cada elemento de
P
A $
!e dice =ue un elemento
x
de
P
A es un m#!imo 0 o $ltimo elemento1 de
P
A
cuando
x y A y 1 0
P
$
n general&
P
A puede o no poseer mHnimo o mCFimo$ !i
P
A tiene elementos mHnimo o
mCFimo& estos son Knicos$
Definicin !i
1 & 0 A
es un conEunto ordenado > A A
P
$ !e dice =ue un elemento
x
de
P
A es un m"nimal de
P
A cuando
P
A y >
x y x y =
$
s decir cuando ningKn elemento de
P
A es estrictamente menor =ue
x
$
!e dice =ue un elemento
x
de
P
A es un ma!"mal de
P
A cuando
P
A y >
x y y x =
$
s decir cuando ningKn elemento de
P
A es estrictamente ma>or =ue
x
$
P
A puede no tener minimales& o tener uno& o tener varios diAerentes< lo mismo ocurre con
los maFimales$
1/
!i
P
A posee un mHnimo& entonces
P
A posee un Knico minimal& =ue es Eustamente el
mHnimo$
!i
P
A posee un mCFimo& entonces
P
A posee un Knico maFimal& =ue es Eustamente el
mCFimo$
Definicin !i
1 & 0 A
es un conEunto ordenado > A A
P
$ !e dice =ue un elemento
x
de
A
es una cota inferior de
P
A cuando y x A y 1 0
P
$ !e dice
=ue un elemento
x
de
A
es una cota superior de
P
A cuando
x y A y 1 0
P
$
Luego entonces un mHnimo de
P
A es siempre una cota inAerior& mientras =ue una cota
inAerior de
P
A puede 0si no pertenece a
P
A 1 no ser un mHnimo de
P
A $ Incluso es posi?le
=ue
P
A posea una o varias cotas inAeriores sin =ue posea mHnimo$ sta misma situacin
sucede anClogamente entre las cotas superiores > el mCFimo$
!i
P
A admite alguna cota inAerior& se dice =ue
P
A estC acotado inferiormente& si
P
A
admite alguna cota superior& se dice =ue
P
A estC acotado superiormente.
P
A estC acotado
cuando lo estC superior e inAeriormente$
DefinicinB !ea
1 & 0 A
un conEunto ordenado > A A
P
$ !upngase =ue
P
A esta
acotado inAeriormente > repres@ntese por * el su?conEunto de
A
Aormado por
las cotas inAeriores de
P
A $ !i el conEunto * admite un mCFimo
x
& se dice
=ue
x
es el e!tremo inferior 0o simplemente el inferior1 de
P
A $ !i eFiste el
eFtremo inAerior de
P
A estC caracteriDado por las siguientes propiedadesB
y x A y 1 0
P
x . y . A y 1 1 0 0
P
$
La primera eFpresa =ue
x
es una cota inAerior de
P
A > la segunda =ue
x
es
el mCFimo de las cotas inAeriores de
P
A
(4
O?serve =ue si eFiste el eFtremo inAerior de
P
A & como es un mCFimo 0del conEunto * 1&
serC necesariamente Knico$
!i
P
A admite un eFtremo inAerior
x
>
P
A x & entonces
x
es el mHnimo de
P
A
$
"ecHprocamente& si
P
A posee un mHnimo
x
& entonces es el eFtremo inAerior de
P
A
$
DefinicinB Ahora supngase =ue
P
A
esta acotado superiormente< repres@ntese por 3 el
conEunto de las cotas superiores de
P
A
$ !i el conEunto 3 admite un mHnimo
x
& se dice =ue
x
es el e!tremo superior 0o simplemente el superior1 de
P
A
$ l superior
x
de
P
A
& si eFiste& esta caracteriDado por las propiedades
siguientesB
x y A y 1 0
P
. x . y A y 1 1 0 0
P
$
!i
P
A admite un eFtremo superior
x
>
P
A x & entonces
x
es el mCFimo de
P
A
$
"ecHprocamente& si
P
A posee un mCFimo
x
& entonces es el eFtremo superior de
P
A
$
DefinicinB !ea
1 & 0 A
un conEunto ordenado$ !e dice =ue

es un orden total& o =ue

1 & 0 A
es un conEunto totalmente ordenado& cuandoB
x y o y x A y x 1 & 0
$
n un conEunto totalmente ordenado& la negacin de la proposicin
y x
0=ue se escri?e a veces
x y
1 coincide con la proposicin
x
T
y
$
!i es un orden total so?re
A
> A A
P
& entonces el orden inducido en
P
A
por es
tam?i@n un orden total$
n un conEunto totalmente ordenado& los minimales > maFimales de un su?conEunto 0si
eFisten1 son Knicos > coinciden con el mHnimo > el mCFimo del su?conEunto$
(1
DefinicinB !i
1 & 0 A
es un conEunto ordenado$ !e dice =ue es un buen orden& o =ue
1 & 0 A
es un conEunto bien ordenado) cuando cada su?conEunto
P
A
de
A
&
no vacHo& admite un mHnimo$
Todo conEunto ?ien ordenado estC totalmente ordenado$
1$*$($ "LACION! D 7UIVALNCIA
DefinicinB Una relacin
(
so?re un conEunto
A
es una relacin de equivalencia cuando
es re+lexi!a, sim2trica y transiti!a.
2eneralmente las relaciones de e=uivalencia se denotan empleando sHm?olos del tipoB
& & =
!i es una relacin de e=uivalencia so?re
A
$ Cuando
x
y
0o sea&
1 & 0 y x
1 se
dirC =ue I
x
es e=uivalente a
y
J$ #eEor aKn& dado =ue
x
es e=uivalente a
y
entonces
y
es e=uivalente a
x
0propiedad sim@trica1& se dirC =ue I
x
e
y
son e=uivalentes$
DefinicinB !ea una relacin de e=uivalencia so?re
A
> A A
P
$ La restriccin P
A
es tam?i@n una relacin de e=uivalencia en
P
A & =ue se denominarC relacin
de equivalencia inducida en
P
A por $
!i no ha> posi?ilidad de conAusin& la relacin de e=uivalencia inducida podrC ser
representada por $
DefinicinB Considere a una relacin de e=uivalencia so?re
A
>
A x
$ l conEunto
de los elementos de
A
=ue son e=uivalentes 0por 1 a
x
es un su?conEunto
de
A
=ue reci?e el nom?re de clase de equivalencia de
x
$ ste su?conEunto
se representarC por
x
C
0o tam?i@n por o 1 $ ntonces se tiene =ueB
{ x A y C
x
N = } y $
O?serve =ue las siguientes proposiciones son e=uivalentesB
a1
x y
?1 y
C x
c1 x
C y
((
d1 y x
C C =
Las clases de e=uivalencia por una relacin cumplen las siguientes propiedadesB
11
x
C x A x 1 0
(1
y C . y
x
&
.
*1 x A x
C A

=
,1 !i
= =
y x y x
C C o C C entonces A y x & &
Las dos Kltimas propiedades se resumen diciendo =ue las clases de e=uivalencia Aorman una
particin de
A
$
DefinicinB !i se tiene una relacin de e=uivalencia so?re
A
$ Al conEunto Aormado por
las clases de e=uivalencia por esa relacin se le llama con%unto cociente de
A
por la relacin $ !e representa porB
N A
$
O?serve =ue los elementos del conEunto cociente son su?conEuntos de
A
& esto esB
N A
1 0 A P
DefinicinB !ea una relacin de e=uivalencia so?re
A
>
N A
el conEunto cociente$
La aplicacin
A j B
N A
dada porB
x
C x j A x = 1 0 1 0
=ue envHa cada elemento de
A
a su clase de e=uivalencia& es so?re > reci?e el
nom?re de sobreyeccin cannica del conEunto
A
en el cociente
N A
$
1$,$ !T"UCTU"A! NU#8"ICA!$
1$,$1$ LO! N9#"O! NATU"AL!$
;aEo el supuesto de =ue se conoce intuitivamente el conEunto N de los nKmeros naturales&
N
{ } $$$$$$$$ & * & ( & 1 =
&
> la relacin de orden

=ue es usual en @l$

(*
strictamente los nKmeros naturales no inclu>en al 4$ "ara veD tiene importancia el hecho
de =ue estos nKmeros comiencen a contarse por el 4 o por el 1$
l conEunto ordenado
0
N ,
1
tiene las siguientes propiedades ?CsicasB
11
0
N ,
1
e& un conjunto *ien or#ena#o$ Todo su?conEunto no vacHo de N tiene
un primer elemento$ specHAicamente N posee un primer elemento& =ue es el 1 04
para la versin =ue comienDa con este nKmero1$
!i
n
N& el conEunto
{ m
N
} n m> N
admite un primer elemento =ue es el
sucesor de
n
$ "epres@ntese al sucesor de
n
por
1 0n s
el cual se caracteriDa por
I$
& 1 0 n n s >
II$
1 0n s m n m >
$
se acostum?ra escri?ir
1 + n
en lugar de
1$ 0n s
(1 %a#a n+mero natura$ #i&tinto #e 1 a#mite un antece&or. sto es& si
1 n
& el
conEunto
{ m
N
} n m< N
admite un mCFimo & al =ue se le llama antecesor de
n
$ l antecesor de
n
se representa por
1 0n a
> se caracteriDa por
I$
n n a < 1 0
&
II$
1 0n a m n m <
s comKn denotar a
1 0n a
por
1 n
& >a =ue
1 1 0 + n a
,ro(o&icinB !ea
3
N; supngase =ue
a1
3 1
?1
3 n 3 n + 1
$
ntonces
= 3
N.
Otra Aorma de enunciar esta proposicin es a trav@s del llamado principio de recurrencia o
principio de induccin.
(,
Teorema principio de induccin$ !ea una proposicin a?ierta cu>o campo de variacin es
el conEunto N$ supongase =ueB
a1
1 1 0 p
es cierta&
?1
1 1 0 1 0 + n p n p
&
ntonces
1 0n p
es cierta cual=uiera =ue sea
n
N $
!i se prue?a a1 > ?1 se prue?a la propiedad
1 0n p
para todos los nKmeros naturales$
O?serve =ue lo =ue se de?e pro?ar en ?1 no es la verdad de
1 1 0 + n p
& sino la verdad de la
implicacin
1 1 0 1 0 + n p n p
<
es decir& se trata de demostrar
1 1 0 + n p
suponiendo =ue
1 0n p
$ A este supuesto se le
llama hiptesis de recurrencia o hiptesis por induccin$
Otro enunciado similar ala proposicin anterior es la siguienteB
,ro(o&icinB !ea
3
N. supngase =ue
a1
3 1
&
?1
3 n 3 n + 1 $$$$& & 1
$M
ntonces
= 3
N.
De este resultado se o?tiene el siguiente principio de induccin modiAicado =ue se le
conoce como principio de induccin completa.
Teorema principio de induccin completaB !ea
1 0n p
a?ierta& donde la varia?le toma
valores en el conEunto N. supngase =ue
a1
1 1 0 p
es cierta$
?1
1 1 0 1 0 &$$$$$$& 1 1 0 + n p n p p
$
ntonces
1 0n p
es cierta cual=uiera =ue sea
n
N.
n este Kltimo teorema& la hiptesis de recurrencia consiste en suponer =ue
1 0 & $$$$$ & 1 1 0 n p p
son todas ciertas$
Otras variantes de la anterior proposicin sonB
(5
!i 3 N > si
a1
3 n
4 &
?1
3 n 3 n + 1
&
entonces { } { = + n n n $$$$$$$$ & 1 &
4 4
N
} 3 n n
4
N
.
!i 3 N > si
a1
3 n
4 &
?1
3 n 3 n + 1
& para 1 4
n n n <
&
entonces { } { = n n n
1 4
$$$$$& & N
} 3 n n n
1 4
N
.
;asados en estas proposiciones > enunciados similares al principio de induccin& se pueden
pro?ar las proposiciones del tipo
1 0n p
para todos los nKmeros naturales ma>ores o iguales
=ue uno dado& o todos los comprendidos entre dos nKmeros dados& segKn sea el caso$
!uponiendo conocidas la suma > producto de nKmeros naturales$ Las siguientes son
propiedades importantes =ue relacionan la suma& el producto > el orden entre numeros
naturalesB
a1
m n p m p n = + = +
&
?1
m n mp np = =
&
c1
m n n +
&
d1
p m p n m n + +
&
e1
p m p n m n + < + <
&
A1
mp np m n
&
g1
mp np m n < <
$
1$,$($ CON%UNTO! .INITO! : NU#"A;L!$
Definicin &n conjunto A es +inito cuando es e=uipotente a un conEunto de la Aorma
{ } n $$$$& & ( & 1
&
(6
> entonces se dice =ue
n
es el nKmero de elementos de A& o =ue A tiene
n
elementos$
l conEunto

se dice =ue es Ainito > =ue tiene 4 elementos$

!i A es Ainito >
A B
& entonces B tam?i@n es Ainito > el nKmero de elementos de B es
menor o igual =ue el de A$
!i A es Ainito& entonces
1 0 A P
tam?i@n lo es& > si A tiene
n
elementos&
1 0 A P
tiene
n
(
elementos$
EemploB el conEunto N es inAinito$
DefinicinB &n conjunto es numerable cuando es e=uipotente a N.
n particular N es numera?le$
Los conEuntos numera?les son inAinitos 0como N1$

!e dice =ue la Aamilia * i i
A

1 0
de su?conEuntos de un conEunto A es +inita cuando lo es
el conEunto * de Hndices< cuando * tiene
n
elementos se dice =ue la Aamilia tiene
n
elementos$
Las Aamilias de
n
elementos& generalmente se indician por el conEunto
{ } n & $$$$$ & ( & 1
$
Para la Aamilia { } n i i
A
& $$$$$$ & ( & 1
1 0
& normalmente se emplea la notacin
n
A A A & $$$$$ & &
( 1
o tam?i@n notaciones como
P P P
& A A o
P P P P P P
& & A A A para cuando la
Aamilia tiene ( o * elementos$
!ean
P
A >
P P
A dos su?conEuntos Ainitos de un conEunto A< entonces
P P P
A A tam?i@n es
Ainito$ AdemCs& si =
P P P
A A & el numero de elementos de
P P P
A A es la suma del
numero de elementos de
P
A mas el de
P P
A $
(+
1$,$*$ P"ODUCTO CA"T!IANO$
Anteriormente se esta?leci este concepto para dos conEuntos< se puede deAinir con ma>or
generalidad$ n seguida se harC para una cantidad Ainita de conEuntos$
l par ordenado
1 & 1 & 0 0
* ( 1
x x x
se representa por
1 & & 0
* ( 1
x x x
> se dice =ue es una
terna ordenada< donde
1
x es el primer elemento&
(
x es el segundo elemento > *
x
es el
tercer elemento de la terna$
AnClogamente
1 & $$$ & & 0
( 1 n
x x x
representa al par ordenado
1 $$$$$$& & 1 & 1 & 1 & 0 00 $$$$$$ 0
, * ( 1 n
x x x x x
> se dice =ue es una nOupla ordenada$
DefinicinB !en n
A A A $$$$$$& & &
( 1 conEuntos$ !e representa por
n
A A A $$$$$$
( 1
l conEunto de las nOuplas ordenadas
1 & $$$ & & 0
( 1 n
x x x
&
Con
n n
A x A x A x & $$$ & &
( ( 1 1
& o sea el conEunto
1 $$$$$$ 1 1 00 $$$$$$ 0
* ( 1 n
A A A A
l conEunto n
A A A $$$$$$
( 1 reci?e el nom?re de producto cartesiano
de n
A A A $$$$$$& & &
( 1 $
Cuando
A A A A
n
= = = = $$$$$$
( 1 se representa el producto cartesiano por
n
A $ n este
caso& sus elementos son las nOuplas ordenadas
1 & $$$ & & 0
( 1 n
x x x
con
A x x x
n
$$$$$$& & &
( 1
$
DefinicinB Una Aamilia * i i
A

1 0
de su?conEunto de un conEunto
A
es numerable cuando
lo es el conEunto
*
de Hndices$
(-
s Arecuente =ue una Aamilia numera?le est@ indiciada por N.
1$5$ OP"ACION!
DefinicinB Una operacin interna so?re un conEunto
A
0o simplemente una operacin1
es una Auncin 0o aplicacin1
A A A B
es decir& es una regla de correspondencia =ue a cada elemento
A A y x 1 & 0
le asocia de manera Knica un tercer elemento de
A
$
Para representar operaciones se emplean sHm?olos de tipo
& & & & +

!i
A A A +B
es una operacin so?re
A
& la imagen
1 & 0 y x +
de
1 & 0 y x
por
la operacin
+
se representa por
y x +
$
Algunas veces se suprime el sHm?olo de la operacin > simplemente se escri?e
xy
& so?re
todo cuando se tra?aEa con la operacin
U U
Definicione&B Consid@rese la operacin so?re
A
A A A +B
ntoncesB
11
U U +
es conmutativa cuando
x y y x A y x + = + 1 & 0
.
(1
U U +
es asociativa cuando
. y x . y x A . y x + + = + + 1 0 1 0 1 & & 0
.
*1
A e
es un elemento neutro 0 o una unidad 1 de la operacin
U U +
cuando
x x e e x A x = + = + 1 0
$
(/
!i una operacin posee un elemento neutro& este es necesariamente
Knico$
,1 !i
U U +
admite elemento neutro
e
$ ntonces si A x x
P
& < se
dice =ue
P
x es simtrico 0o tam?i@n opuesto o inverso1 de
x
respecto de la operacin
U U +
cuando e x x x x = + = +
P P
$
O?serve =ue& si
P
x es sim@trico de
x
& entonces
x
lo es de
P
x $
!i la operacin
U U +
es asociativa& cada elemento
A x
posee a
lo sumo un sim@trico$
51 Consid@rense las operaciones
A A A +B
>
A A A B V
$
I V - es distributiva a la i&quierda respecto de I W I cuando
1$ 0 1 0 1 0 1 & & 0 . x y x . y x A . y x + = +
61 I V - es distributiva a la derec'a respecto de I W I cuando
1$ 0 1 0 1 0 1 & & 0 x . x y x . y A . y x + = +
I V - es distributiva respecto de I W I cuando lo es a am?os lados$
!i I V - es conmutativa > es distri?utiva respecto de I W I a uno de los
lados& lo es tam?i@n al otro$
+1 !i
A A A +B
es una operacin so?re A$ : si A A
P
& se dice
=ue
P
A
es cerrado para la operacin I W I cuando
P P
& A y x A y x + $
!i
P
A
es cerrado para I W I & la aplicacin
P P P
A A A
*4
es una operacin so?re
P
A
=ue se denominarC restriccin de I W I a
P
A

0 o tam?i@n operacin inducida en
P
A
por I W I 1 > se representa
generalmente por el mismo sHm?olo I W I$
!i I W I es asociativa o conmutativa >
P
A
es cerrado para la operacin&
la restriccin a
P
A
es tam?i@n asociativa o conmutativa$
!i
P
A
es cerrado para dos operaciones I W I > I V I so?re A > si I V I
es distri?utiva respecto de I W I & lo mismo ocurre con sus restricciones a
P
A
$
DefinicinB !ea
B A&
dos conEuntos $ Una operacin e!terna so?re
A
con dominio de
operadores en
B
es una aplicacin
A A B
La operacin eFterna hace corresponder a cada par ordenado de elementos de
B > A un elemento de A$
s comKn representar las operaciones eFternar con los sHm?olos

>

!i
A A B B
es una operacin eFterna so?re A >
A B y x 1 & 0
& la imagen
1 & 0 y x
del par por la operacin se representa por
y x
& > Arecuentemente por
xy
$
-1 !ea
A A B B
una operacin so?re A$ !ea A A
P
$ !e
dice =ue
P
A
es cerrado para la operacin eFterna
U $ U
cuando
P P
& A xy A y B x
*1
DefinicinB !i
P
A
es cerrado para
U $ U
la aplicacin
P P
A A B =ue es una
operacin eFterna so?re
P
A
con dominio de operadores en
B
< se llama
restriccin de
U $ U
a
P
A
> se le representa generalmente por el mismo
sHm?olo$
!ea la aplicacin
A A A B
&
=ue puede considerarse como operacin interna & pero tam?i@n& como una operacin eFterna
so?re
A
& para cuando el dominio de operadores es el propio conEunto
A
$ Ahora
considere =ue A A
P
$ l hecho de =ue
P
A
sea cerrado para
U U
tiene distinto
signiAicado segKn se considere la operacin
U U
como interna o como eFterna$
!i se considera a
U U
como interna&
P
A
es cerrado cuando
P P
& A y x A y x $
!i se considera como eFterna&
P
A
es cerrado cuando
P P
& A y x A y A x $
sto es&
P
A
puede ser cerrado en el primer caso sin serlo en el segundo$
AdemCs& si
P
A
es cerrado en am?os casos& la restriccin de
U U
a
P
A
es para el primer
caso la aplicacin
P P P
A A A &
> para el segundo
P P
A A A $
*(
1$6$ !T"UCTU"A! AL2;"AICA!$
Definicin Una estructura algebraica en un conEunto X es un sistema
1 & $$$$$ & & & 0
( 1 n
X
Aormado por un conEunto X > una coleccin de
n
operaciones distintas n
& $$$$$ & &
( 1 en X $
DefinicinB Un grupo
1 & 0 + A
es una estructura alge?raica Aormada por un conEunto A
> una operacin
U U+
en A& la cual tiene las siguientes propiedadesB
g11
1 0 1 0 1 & & 0 . y x . y x A . y x + + = + +
&
g(1
x e x x e A x A e = + = + 1 0 1 0
&
g*1 e x x x x A x A x = + = +
P P P
1 0 1 0 &
es decir& la operacin es asociativa& posee elemento neutro > cada elemento del
conEunto admite un inverso o sim@trico ?aEo la operacin$
l grupo
1 & 0 + A
es conmutativo cuando la operacin es conmutativa& es
decir cuando
gc1
x y y x A y x + = + 1 & 0
$
Para grupos cu>a operacin se represente por
U U+
& suele emplearse el sHm?olo 4 para el
elemento neutro& > el inverso o sim@trico de
x
suele escri?irse
x
< la eFpresin
x y
representa entonces
1 0 x y +
$ Para grupos cu>a operacin se represente por
U U
& se
emplea 1 para el elemento neutro >
1
x para el inverso de
x
$
**
DefinicinB Un anillo
1 & & 0 + A
es una estructura alge?raica Aormada por un conEunto
A
> dos operaciones en
A
&
A A A +B
>
A A A B
&
las cuales veriAican las siguientes propiedadesB
a11
1 & 0 + A
es un grupo conmutativo$
a(1
1 0 1 0 1 & & 0 . y x . y x A . y x =
&
a*1
1 0 1 0 1 0 1 & & 0 . y . x . y x A . y x + = +
&
a,1
1 0 1 0 1 0 1 & & 0 y . x . y x . A . y x + = +
$
s decir& en un anillo una de las operaciones cumple con las propiedades de grupo
conmutativo& ademCs& la segunda operacin es asociativa > es distri?utiva con respecto a la
otra operacin$
n la primera operacin 0la =ue Aorma el grupo conmutativo1 el elemento neutro se
representa siempre por 4< el inverso u opuesto o sim@trico se representa siempre por
x
$
Un anillo&
1 & & 0 + A
& es conmutativo cuando la segunda operacin es conmutativa 0la
primera siempre lo es1 & esto es& cuando
Ac1
x y y x A y x = 1 & 0
$
Un anillo&
1 & & 0 + A
& es unitario cuando la segunda operacin admite un elemento
neutro& o sea& cuando
au1
x e x x e A x A e = = 1 0 1 0
$
Cuando eFiste este elemento neutro& se le llama unidad del anillo > se representa
generalmente por 1$
*,
!ea
1 & & 0 + A
un anillo unitario con unidad 1 >
A x
$ !i eFiste un elemento
A x
P
tal =ue
1
P P
= = x x x x &
es decir&
P
x es el inverso de
x
respecto de la operacin
U U
$ ntonces se dice =ue
x
es
inversible& su inverso es Knico& > suele representarse por
1
x $
EemploB l conEunto de los nKmeros enteros Z
{ } $ $$$$$$$$$$ & ( & 1 & 4 & 1 & ( $$$$$$& =

con la suma > el producto ordinarios& es un anillo conmutativo > unitario$ Los elementos
inversi?les son 1 > O1$
Consid@rese el anillo
1 & & 0 + A
$ !i
A y x &
& la notacin
y x
representa a
1 0 y x +
$ ntonces es ACcil compro?ar las siguientes propiedades
a1
1 0 1 0 1 0 1 & & 0 . x y x . y x A . y x =
&
?1
1 0 1 0 1 0 1 & & 0 x . x y x . y A . y x =
&
c1
4 4 4 1 0 = = x x A x
$
!ea
1 & & 0 + A
un anillo$ !i
A y x &
> sucede =ue
& 4 & 4 y x
>
4 = y x
&
se dice =ue
x
e
y
son dos divisores del 4 del anillo$
DefinicinB !e dice =ue
1 & & 0 + A
es un anillo "ntegro 0o anillo de integridad) cuando
no eFisten divisores de 4$
*5
EemploB el anillo Z de los nKmeros enteros es integro$
DefinicinB Una estructura alge?raica
1 & & 0 + A
es un campo 0o cuerpo para los
europeos1 si esta Aormada por un conEunto A > dos operaciones
A A A +B
>
A A A B
so?re
A
=ue veriAican las propiedades siguientesB
c11
1 & & 0 + A
es un anillo&
c(1 1 & 0
V
A es un grupo& donde
V
A
es el conEunto
{ } 4
V
A
C A = & o sea el complemento de
{ } 4
en A$
Como consecuencia de la propiedad c(1 la restriccin
V
A
de
U V U
admite un elemento
neutro 1& es decir& un elemento tal =ue
A 1
>
x x x A x = = 1 1 1 0
$
Por otro lado se sa?e =ue
4 1 4 4 1 = =
& resulta entonces =ue 1 es el neutro para
U V U
> no solo para su restriccin& es decir& el anilllo
1 & & 0 + A
es unitario$
Como
P
1 A & resulta =ue
4 1
> por esto
A
tiene al menos dos elementos$
Tam?i@n por c(1 cada elemento
A x
tal =ue
4 x
admite un inverso 0denotado por
1
x 1 respecto de
U V U
$ ste hecho muestra =ue
A
no posee divisores de 4$ Un cuerpo es
un anillo integro$
DefinicinB l campo
1 & & 0 + A
es conmutativo la segunda operacin es conmutativa& es
decir& cuando
cc1
x y y x A y x = 1 & 0
$
DefinicinB Un campo
1 & & 0 + A
es de caracter"stica ( cuando
1 W1 X 4
l conEunto de los nKmeros racionales Q& el conEunto de los nKmeros reales R > el
conEunto C de los nKmeros compleEos& la suma > producto ha?ituales& son campos
conmutativos > no son de caracterHstica ($
Definicin !i
1 & 0 + A
>
& 0B 1
son dos grupos >
B A + B
Una aplicacin $
!e dice =ue
+
es un 'omomorfismo de grupos cuando
1 0 1 0 1 & 0 x + y x + A y x = +

1 0 y +
&
> =ue
+
es un isomorfismo de grupos cuando ademCs
+
es ?i>ectiva$
!i
+
es un homomorAismo& entonces
B A
+ 4 1 4 0 = &
donde
B A
y 4 4 son los respectivos elementos neutros de los grupos$
*6
!i
A x
& entonces
1 0 1 0 x + x + =
donde
x
es el inverso de
x
para
U U+
>
1 0x +
es el inverso de
1 0x +
para U
U
DefinicinB !ean
1 & & 0 + A
>
& 0B 1 &
dos anillos >
B A + B
una aplicacin$
!e dice =ue
+
es un 'omomorfismo de anillos cuando
1 0 1 0 1 & 0 x + y x + A y x = +

1 0 y +
&
1 0 1 0 1 0 1 & 0 y + x + y x + A y x =
&
> =ue
+
es un isomorfismo de anillos cuando ademCs
+
es ?i>ectiva$
Cuando
+
es un homomorAismo o un isomorAismo de anillos es tam?i@n un
homomorAismo o un isomorAismo entre grupos
1 & 0 + A
>
& 0B 1
$
.u*/ru(o&) i#ea$e&) &u*ani$$o&) &u*cam(o&.
DefinicinB !ea
1 & 0 + A
un grupo$ !ea A A
P
$ !e dice =ue
P
A es un subgrupo de A
cuando
sg11 =
P
A )
sg(1
P P
& A y x A y x $
!i
P
A es un su?grupo de
A
& se cumplen las propiedades siguientesB
a1
P
4 A &
?1
P P
A x A x &
c1
P
A es cerrado para
U U+
$
!i
P
A es un su?grupo de
1 & 0 + A
& entonces 1 & 0
P
+ A es tam?i@n un grupo$ !u elemento
neutro es el de
A
$ !i
P
A x & su opuesto en
P
A es el mismo =ue tenia en
A
$ !i era
conmutativo&
P
A tam?i@n lo es$
{ } 4
>
A
son dos su?grupos de
A
< se dice =ue son los su?grupos ItrivialesJ$ Cual=uier
su?grupo diAerente de @stos se dice =ue es propio.
!ean
A
>
B
dos grupos >
B A + B
un homomorAismo de grupos$ !i
P
A es un
su?grupo de
A
& entonces 1 0
P
A + es un su?grupo de
B
$ n particular& la imagen de
+
&
*m
1 0A + + =
& es un su?grupo de
B
$
!i
P
B es un su?grupo de
B
& entonces 1 0
P 1
B +

es un su?grupo de
A
$ n particular
{ } { }
B B
x + A x + 4 1 0 N 4
1
= =

es un su?grupo de
A
=ue se representa por
+ 4er
> =ue se denomina ncleo de
+
$
+
es una aplicacin in>ectiva si > slo si { }
A
+ 4er 4 = $
*+
!i
1 & 0 + A
es un grupo > * i i
A

1 0
es una Aamilia de su?grupos de
A
& entonces
i * i
A

es tam?i@n un su?grupo de A$
DefinicinB !ea
1 & & 0 + A
un anillo$ !ea A A
P
$ !e dice =ue
P
A es un subanillo de A
cuando
sa11
P
A &
sa(1
P P
& A y x A y x
sa*1
P P
& A y x A y x
o?serve =ue
P
A es un su?grupo de
1 & 0 + A
$
!i
P
A es un su?anillo de
A
& entonces se cumplen
a1
P
4 A &
?1
P P
A x A x &
c1 U U U U
P
+ y para cerrado es A $
!i
P
A es un su?anillo de
1 & & 0 + A
& entonces 1 & & 0
P
+ A es un anillo& > si
A
es es
conmutativo& tam?i@n lo es
P
A $ !in em?argo&
A
puede ser unitario sin =ue
P
A lo sea$
La interseccin de una Aamilia de su?anillos de
A
es tam?i@n un su?anillo de
A
$
{ } 4
>
A
son su?anillos de
A
$
DefinicinB !ea
1 & & 0 + A
un anillo$ !ea
A *
$ !e dice =ue
*
es un ideal de A
cuando
id11
*
&
id(1
* y x * y x &
&
id*1
* y x * y A x &
&
id,1
* x y * y A x &
$
Cuando
*
veriAica las tres primeras propiedades se dice =ue es un ideal a la i.quierda<
cuando veriAica las dos primeras > la Kltima es un ideal a la derec1a.
Todo ideal de
A
es un su?anillo& pero& la propiedad reciproca no es cierta$
!ean
A
>
B
dos anillos >
B A + B
un homomorAismo de anillos$ !i
P
A es un
su?anillo de
A
& entonces 1 0
P
A + es un su?anillo de
B
$ Pero si
*
es un ideal de
A
&
1 0* +
puede no ser un ideal de
B
$ n particular&
1 0 Im A + + =
es un su?anillo de
B
$
!i
P
B es un su?anillo de B & entonces 1 0
P 1
B +

es un su?anillo de
A
& > si * es un
ideal de B & 1 0
1
* +

es un ideal de
A
$
l nKcleo de
+
{ }
B
x + A x + 4er 4 1 0 N = = &
s un ideal de
A
$
*-
l homomorAismo
+
es una aplicacin in>ectiva si > solo si
{ }
A
+ 4er 4 = $
!i
1 & & 0 + A
es un anillo > 5 j j
*

1 0
es una Aamilia de ideales de
A
& entonces
j 5 j
*

tam?i@n es un ideal de
A
$
DefinicinB !ea
0
K
1 & & +
$ !ea K

P
K $ se dice =ue K
P
es un su?campos de K
cuando
sc11
1
K
P
,
sc(1
y x&
K
P
y x
K
P
&
sc*1
y x&
K
P
y x
K
P
&
sc,1
& x
K
P

1
4 & x x K
P
&
> entonces se dice =ue K es un supercampo de K
P
$
!i K
P
es un su?campos de K & tam?i@n es un su?anillo de K.
!i K
P
es un su?campos de K & entonces
0
K
P
1 & & +
es un campo& conmutativo
cuando K lo es& con el mismo cero > la misma unidad de K.
La interseccin de una Aamilia de su?campos de K es tam?i@n un su?campos de K.
{ } 4
no es un su?campo pues no contiene a 1$
!i
0
K
P
1 & & +
es un campo& es en particular un anillo$ !us Knicos ideales son
{ } 4
> K
$
EemploB Q es un su?campo de R& > Q > R son su?campos de C$
*/
CAPITULO (
!PACIO! VCTO"IAL!
($1$ CONCPTO D !PACIO VCTO"IAL$
DefinicinB )n espacio vectorial
1 & & 0 /
so?re un campo conmutativo& es un sistema
Aormado por un conEunto / &cu>os elementos se les llama !ectores< una
operacin interna so?re / llamada suma de !ectores
/ / / B
( 1 ( 1
1 & 0 ! ! ! ! + =
> una operacin eFterna so?re / llamada producto escalar
/ / 4 B
! ! = 1 & 0
=ue veriAicanB
a1
1 & 0 /
es un grupo conmutativo& es decir
ev11
1 0 1 0 1 & & 0 . y x . y x / . y x + + = + +
&
ev(1 x x x / x /
/ / /
= + = + 4 4 1 0 1 4 0 &
ev*1
/
x x x x / x / x 4 1 0 1 0
P P P
= + = +
0tal
P
x serC designado por
x
1 &
ev,1
x y y x / y x + = + 1 & 0
<
?1 AdemCs la operacin eFterna cumple con
ev51
x x 4 / x 1 0 1 0 1 & 0 1 0 =
&
0el producto escalar se ha de asociar con el producto
del campo1
ev61
x x / x = 1 1 0
&
0el elemento neutro del producto del campo tam?i@n
ha de ser el neutro para el producto escalar1
,4
ev+
x x x 4 / x + = + 1 0 1 & 0 1 0

&
0el producto escalar se ha de distri?uir con la suma del
campo 41
ev-1
y x y x 4 / y x + = + 1 0 1 0 1 & 0

&
0el producto escalar se ha de distri?uir con la suma del
espacio vectorial1$
A los elementos del campo 4 se les llama escalares > suelen representarse por minKsculas
griegas$
Las operaciones de / & se representan generalmente por los mismos sHm?olos =ue las del
campo 4 & suelen llamarse IsumaJ > Iproducto eFternoJ$
y x
representa
1 0 y x +
> & si
N & 4 x
representa x
1
$
!ea / un espacio vectorial$ l aFioma 0ev(1 asegura =ue / posea al menos un elementoB
el elemento
/
4 $
!i
{ } x / =
es un conEunto =ue posee un solo elemento > 4 es un campo c / onmutativo.
la Armula
x x x = +
deAine la Knica operacin interna so?re / & > la Armula
x x 4 = 1 0
deAine la Knica operacin eFterna posi?le so?re / $ Con estas operaciones& / es un
espacio vectorial so?re 4 >
/
x 4 = $ ste espacio vectorial se representa por
{ } 4
$
Cuando se escri?e
{ } 4 /
se =uiere decir =ue el espacio vectorial / posee al menos dos
elementos & o sea =ue eFiste un vector
/ x
tal =ue
/
x 4 $
,1
Todo campo conmutativo Y posee al menos dos elementos& luego para el espacio vectorial
4 se tiene =ue
{ } 4 4
$
,ro(o&icinB !i
/
es un espacio vectorial& se cumplen las siguientes propiedadesB
a1
y x y x / y x 4 = 1 0 1 & 0 1 0
&
?1
/ /
4 4 4 1 0 = &
c1
x x / x 4 = 1 0 1 0 1 0
&
d1
x x x / x 4 = 1 0 1 0 1 & 0
&
e1
/
x / x 4 4 1 0 = &
A1
& 1 0 1 0 1 0 x x / x 4 =
g1
/ /
x o x 4 4 4 = = = $
($( APLICACION! LINAL! D !PACIO! VCTO"IAL!$
Definicin !ean
/
&
P
/ dos espacios vectoriales so?re el mismo cuerpo conmutativo 4
> sea
P
B / / + una aplicacin $
+
es una aplicacin lineal 0 o tam?i@n
un 'omomorfismo de espacios vectoriales " cuando
ln11
1 0 1 0 1 0 1 & 0 y + x + y x + / y x + = +
&
ln(1
1 0 1 0 1 0 1 0 x + x + / x 4 =
&
o lo e=uivalente a lo anterior
ln1
1 0 1 0 1 0 1 & 0 1 & 0 y + x + y x + / y x 4 + = +
O?serve =ue en @stas Armulas intervienen dos sumas distintas& la de
/
> la de
P
/ & aKn
cuando se use el mismo sHm?olo para am?as sumas$ Lo mismo sucede para con los dos
productos$
!i
+
es una aplicacin lineal&
+
es en particular un homomorAismo entre los grupos
1 & 0 + /
& 1 & 0
P
+ / $
,(
La aplicacin compuesta de dos aplicaciones lineales es lineal$
De una aplicacin lineal =ue ademCs sea ?i>ectiva se dice =ue es un isomorfismo.
!i
+
es un isomorAismo& la aplicacin inversa
1
+ es tam?i@n un isomorAismo$ La
aplicacin compuesta de dos isomorAismos es un isomorAismo$
!i entre dos espacios vectoriales
/
>
P
/ eFiste un isomorAismo
P
B / / + & se dice
=ue
/
>
P
/ son isomor+os > se escri?e
/
P
/
De una aplicacin lineal de un espacio vectorial
/
en sH mismo se dice =ue es un
endomor+ismo de
/
$
,ro(o&icinB !i
P
B / / + es una aplicacin&
a1
1 0 1 0 x + x + =
&
?1
1 0 1 0 1 0 y + x + y x + =
&
c1 P
4 1 4 0
/
/
+ =
&
d1
1 0 $$$$$ 1 0 1 $$$$$ 0
1 1 1 1 n n n n
x + x + x x + + + = + +
$
($* P"ODUCTO D !PACIO! VCTO"IAL!$
DefinicinB !ean
1
/ >
(
/ dos espacios vectoriales so?re el mismo campo 4$ !o?re el
producto cartesiano
( 1
/ / se deAinen las operaciones
1 & 0 1 & 0 1 & 0
( ( 1 1 ( 1 ( 1
y x y x y y x x + + = +
>
1 & 0 1 & 0
( 1 ( 1
x x x x =
donde 4 / y x / y x & & & &
( ( ( 1 ( 1
$ Con estas operaciones
( 1
/ / es un espacio vectorial so?re 4 =ue se denomina espacio producto
de
1
/ por
(
/ > se denota por
( 1
/ / $
,*
AnClogamente se deAine el producto
n
/ / / $$$$$$
( 1
de n espacios vectoriales
so?re 4.
n
/ representa el espacio producto n
/ / / $$$$$$
( 1 cuando
/ / / /
n
= = = = $$$$$$
( 1 $
Por eEemplo& sea 4 un campo conmutati!o.
n
4 es el espacio producto del espacio vectorial
4 por sH mismo n veces$ "ecuerde =ue& como conEunto
n
4 esta Aormado por nOuplas
1 $$$$$$& & 0
1 n

de elementos de 4 $
AsH es como se o?tienen en particular los espacios R
n
> C
n
=ue se utiliDan con
Arecuencia$
($, !U;!PACIO! VCTO"IAL!$
DefinicinB !ea
/
un espacio vectorial so?re 4 >
/ 0
$ !e dice =ue
0
es un
subespacio vectorial de
/
cuando
sev11
0
&
sev(1
0 y x 0 y x + &
&
sev*1
0 x 0 x 4 &
&
es decir& cuando
0
es no vacHo > cerrado para las operaciones de
/
$
stas tres propiedades se pueden sustituir por
sev11
0
&
sev(1
0 y x 0 y x 4 + & & &
$
!i
0
es un su?espacio de
/
& se cumplen las propiedades siguientesB
a1 0
/
4 &
?1
0 x 0 x
$
!i
0
es un su?espacio de
/
& entonces
0
& con las operaciones inducidas por las de
/
&
es tam?i@n un espacio vectorial so?re 4. su elemento neutro es el de
/
$ !i
0 x
& su
opuesto en
0
es el mismo =ue tenHa en
/
$
!i
0
es un su?espacio de
/
& entonces
0
es un su?grupo de
1 & 0 + /
$
,,
!i
0
es un su?espacio de
/
& aplicando la propiedad 0sev,1 > el principio de induccin
resulta =ue
0 x x 0 x x 4
n n n n
+ + $$$$$$ $$$$$$& & & $$$$$$& &
1 1 1 1 $
!ea
/
un espacio vectorial$
{ } 4
>
/
son siempre su?espacios de
/
< se le llama
su?espacios tri!iales$ Los otros su?espacios de
/
se les llama propios$
Para la relacin de orden dada en
1 0/ P
por la inclusin&
{ } 4
es el menor su?espacio de
/
& > el propio
/
es el ma>or$
l conEunto

no es un su?espacio de
/
& pues no veriAica 0sev11$
!ea
/
espacio vectorial >
/ x
$ l conEunto
{ } 4 x N
es un su?espacio de
/
& =ue se suele denotar por
x 4
$ Para
4 = x
& se tiene =ue
{ } 4 = x 4
$
DefinicinB !ea 0 un su?espacio del espacio vectorial
/
$ La aplicacin
x x
/ 0 i

B
=ue envHa cada vector
0 x
a sH mismo es lineal e in>ectiva$ sta aplicacin
reci?e el nom?re de inyeccin canonica del su?espacio 0 en el espacio
/
$
($5 CO#;INACION! LINAL!& !U;!PACIO! 2N"ADO!$
!ea
A
un conEunto >
1 $$$$$& & & 0
( 1 n
a a a
una nOupla ordenada de
A
& es decir & un elemento del producto cartesiano
n
A $ Cuando
A
es un espacio vectorial& se dice =ue
1 $$$$$& & & 0
( 1 n
a a a
es un &i&tema de
A
de n
elementos$
,5
!e dice =ue cada i
a
es un Ielemento del sistemaJ$ l conEunto de estos elementos es un
su?conEunto de
A
=ue reci?e el nom?re de IconEunto de los elementos del sistemaJ$
Un sistema
1 $$$$$& & & 0
( 1 n
a a a
de n elementos de
A
se puede considerar como una
aplicacin
A *
de un conEunto
*
de n elementos 0generalmente el conEunto
{ } n $$$$$& & ( & 1
1 en
A
< una
aplicacin =ue a cada
* i
hace corresponder el elemento i
a
de
A
$
Cuando esta aplicacin es in>ectiva& o sea& cuando
j i
a a j i
&
!e suele decir =ue los elementos de
1 $$$$$& & & 0
( 1 n
a a a
son Idistintos dos a dosJ$
Por eEemploB
( ) 1 ( & 4 0 & 1 4 & 1 0 & 1 4 & 4 0 & 1 4 & 1 0
es un sistema de , elementos de R
(
. l
conEunto de los elementos del sistema es
{ } 1 ( & 4 0 & 1 4 & 4 0 & 1 4 & 1 0
o sea& es un conEunto de * elementos$
DefinicinB !ea
/
un espacio vectorial >
1 $$$$$$& & 0
1 p
x x
un sistema de
/
$ !e dice
=ue todo elemento de
/
de la Aorma

=
= + +
p
i
i i p p
x x x
1
1 1
$$$$$$
$
es una combinacin lineal de
1 $$$$$$& & 0
1 p
x x
$
n particular& los vectores p
x x $$$$$$& &
1 son todos de esa Aorma& >a =ue
p i i
x x x x 4 $$$$$$ 1 $$$$$$$ 4
1
+ + + + =
o sea =ue son com?inacin lineal de
1 $$$$$$& & 0
1 p
x x
$
DefinicinB !ea
/
un espacio vectorial >
1 $$$$$$& & 0
1 p
x x
un sistema de
/
$ l
conEunto de los vectores de
/
=ue son com?inacin lineal de
,6
1 $$$$$$& & 0
1 p
x x
es un su?espacio vectorial de
/
< se dice =ue es el
subespacio generado por el sistema
1 $$$$$$& & 0
1 p
x x
> se representa por
p
x x & $$$$$$$ &
1 $
"ecuerde =ue
p p
x x x x $$$$$$& & $$$$$$& &
1 1

!i
0
es un su?espacio de
/
>
p
x x 0 & $$$$$ &
1
=
&
se dice =ue
1 $$$$$$& & 0
1 p
x x
es un sistema generador de
0
& o tam?i@n =ue I
1 $$$$$$& & 0
1 p
x x
genera a
0
J$ O?serve =ue esto implica =ue
0 x x
p
$$$$$$& &
1 & o
sea =ue
1 $$$$$$& & 0
1 p
x x
es tam?i@n un sistema de
0
$
!i en un espacio vectorial
/
eFiste un sistema 0Ainito1 generador de
/
&
1 $$$$$$& & 0
1 p
x x
& esto es
p
x x / & $$$$$ &
1
=
&
se dice =ue
/
es un espacio vectorial de dimensin finita.
n particular& si
1 $$$$$$& & 0
1 p
x x
es un sistema del espacio vectorial
/
& el su?espacio
p
x x & $$$$$$$ &
1 es un espacio vectorial de dimensin Ainita$
!i
/ x
& el su?espacio
x
generado por el sistema
( ) x
es
x 4
$ !i
4
&
entonces
x x =
& o sea&
x 4 x 4 =
$ n general& si
4 & $$$$$$ & 4
1

p

&
entonces
p p p
x x x x &$$$$$$& $$$$$& &
1 1 1
=
$
,ro(o&icinB !i uno de los elementos
i
x
de un sistema
1 & $$$$$$ & 0
1 p
x x
de
/
es
com?inacin lineal del sistema
1 & $$$$$ & & $$$$$& & 0
1 1 1 p i i
x x x x
+ de pO1
vectores Aormado por los restantes& entonces
p i i p
x x x x x x & $$$$ & & & $$$$$$ & & $$$$$$ &
1 1 1 1 +
=
$
,+
,ro(o&icinB La interseccin i * i
0

de una Aamilia cual=uiera * i i

0

1 0
de
su?espacios de un espacio vectorial
/
es un su?espacio de
/
$
DefinicinB !ea
/
un espacio vectorial >
/ A
$ La interseccin de todos los
su?espacios de
/
es un su?espacio< precisamente es el menor su?espacio =ue
contiene a
A
0el menor para el orden dado en
1 0/ P
por la inclusin1$ !e
llama subespacio generado por el conEunto
A
> se le representa por
A
$
!i
0
es un su?espacio de
/
& es evidente =ue
0 0 =
$
!i
0
es un su?espacio de
/
&
A
un su?conEunto de
/
>
A 0 =
&
se dice =ue
A
es un con%unto generador de
0
& o tam?i@n =ue I
A
genera
0
J$
O?serve =ue esto implica =ue
0 A
$
!e puede demostrar sin diAicultad =ue& si
3
>
P
3 son su?conEuntos de un espacio
vectorial
/
tales =ue
P
3 3 & entonces
P
3 3
$
Los dos conceptos de su?espacio generado se relacionan como sigueB !ea
/
un espacio
vectorial& entonces
a1 !i
1 & $$$$$$ & 0
1 p
x x
es un sistema de
/
>
3
es el conEunto de los elementos del
sistema entonces p
x x 3 & $$$$$ &
1
=
$
?1 !i
3
es un su?conEunto de
/
0posi?lemente inAinito1 >
3
& el su?conEunto
de
/
Aormado por todas las com?inaciones lineales de los distintos sistemas
0Ainitos1 de
3
es un su?espacio de
/
$ ste su?espacio coincide con
3
$
($6 !PACIO COCINT< !U#A D !U;!PACIO!$
!ea
/
un espacio vectorial so?re
4
>
0
un su?espacio de
/
$ !i
/ y x &
& se
escri?e
0 x y si y ( x
0
$
0
( es una relacin de e=uivalencia so?re
/
$
,-
La clase de e=uivalencia de un elemento
/ x
0
( es
{ } 0 . . x + = N
&
este conEunto se representa por
0 x +
0conEunto Aormado por los vectores =ue son suma de
x
> de un vector de
0
1$ n particular& la clase

4
& la del cero de
/
& es
0
$
!e representa el conEunto cociente de
/
por la relacin
0
( mediante el sHm?olo
0 / N $
: se cumplen las propiedades siguientesB
a1
P
x >
P
y
1 0
P P
y x y x

+ +
?1
P
x y 4
1 0
P
x x


$
sto es natural teniendo en cuenta =ue 0 es un su?grupo de
1 & 0 + /
$
DefinicinB !ea
/
un espacio vectorial so?re 4&
0
un su?espacio de
/
>
0 / N
el
conEunto cociente$ Las Armulas
W
1 0 y x

+ =
>
1 0 x

=
$
DeAinen una IsumaJ de clases > un IproductoJ de una clase por un escalar$
O?s@rvese =ue el calculo de W > se eAectKa utiliDando elementos
particulares&
x
e
y
& de las clases< sin em?argo& las propiedades& arri?a
mencionados& garantiDan =ue el resultado o?tenido no depende del
representante =ue se ha>a elegido en cada clase$
Con estas operaciones&
0 / N
es un espacio vectorial so?re 4, al =ue se llama
espacio vectorial cociente de
0
por
0
$
La aplicacin
x
&
7ue envHa a cada elemento de / a su clase de e=uivalencia& es lineal > so?re$ "eci?e el
nom?re de sobreyeccin cannica de / en el cociente
0 / N
$
,/
0 / / j N B
La reunin de una Aamilia de su?espacios de un espacio vectorial
/
no es & en general& un
su?espacio de
/
$ !lo en casos triviales la unin de los su?espacios es un su?espacio$
A continuacin se vera cuCl es el menor su?espacio =ue contiene a la reunin de un numero
Ainito de su?espacios$ n particular el caso en =ue los su?espacios son dos$
DefinicinB !ea
/
un espacio vectorial >
( 1
& 0 0 dos su?espacios de
/
$ l
su?conEunto de
/
{ }
( ( 1 1 ( 1
& N 0 x 0 x x x +
s un su?espacio de
/
< se le llama subespacio suma de
( 1
0 y 0 > se
representa
( 1
0 0 + $
!e cumple =ue
( 1 ( ( 1 1
0 0 0 y 0 0 0 + + &
O sea
( 1 ( 1
0 0 0 0 + $
AdemCs
( 1 ( 1
0 0 0 0 + =
&
es decir&
( 1
0 0 + es el menor su?espacio =ue contiene al conEunto
( 1
0 0 $
Cuando
( 1
0 0 es un su?espacio& entonces
( 1
0 0 + X
( 1
0 0 $ n particular&
/ / 0 = +
1
> { } 4
1
= 0 $
DefinicinB !ea
/
un espacio vectorial&
1
0 >
(
0 dos su?espacios >
( 1
0 0 0 + = $ !i
0 x
&
x
se puede eFpresar como
( 1
x x x + =
donde
1 1
0 x >
( (
0 x $ Por lo general esta Aorma de descomponer
x
no es Knica$
Cuando para cada
( 1
0 0 0 x + = se tiene
( 1
x x x + =
54
con
1 1
0 x >
( (
0 x & en Aorma Knica& se dice =ue
0
es suma directa
de
1
0 >
(
0 > se escri?e
( 1
0 0 0 = $
,ro(o&icin !ea
/
un espacio vectorial >
0
&
1
0 >
(
0 su?espacios de de
/
$ Las
siguientes son e=uivalentesB
i$
( 1
0 0 0 = &
ii$
( 1
0 0 0 + = > { } 4
( 1
= 0 0 $
1 0 1 0 ii i
$ !i
1 0i
es cierta&
( 1
0 0 0 + = $ AdemCs& si
( 1
0 0 x &
x x + =4
>
4 + =x x
!on dos Aormas 0distintas si
4 x
1 de descomponer
x
en la suma de un vector de
1
0
con otro de
(
0 $ :a =ue por hiptesis la descomposicin es Knica& necesariamente
4 = x
& lo =ue demuestra =ue { } 4
( 1
= 0 0 $
i ii
$ !upngase =ue
ii
es cierta$ n particular $
( 1
0 0 0 + = AdemCs si
0 x
>
( 1
x x x + = >
P
(
P
1
x x x + =
con
1
P
1 1
& 0 x x >
(
P
( (
& 0 x x & resulta entoces =ue
(
P
(
P
1 1
x x x x = &
luego
P
1 1
x x = >
P
( (
x x = & lo =ue demuestra =ue la Aorma descomponer
x
es Knica $
Por tanto
( 1
0 0 0 = $
!i
/
es un espacio vectorial >
0
&
1
0 >
(
0 su?espacios tales =ue
( 1
0 0 0 = &
entonces
0
( 1
0 0
>a =ue la aplicacin
0 0 0
( 1
51
( 1 ( 1
1 & 0 x x x x +
es un isomorAismo$
DefinicinB !ea
/
un espacio vectorial >
1
0 >
(
0 su?espacios tales =ue
( 1
0 0 / = $
ntonces se dice =ue
1
0 >
(
0 son su?espacios suplementarios 0uno del
otro1 de
/
$
!i
1
0 es un su?espacio de
/
&
1
0 admite siempre un suplementario$ Por otra parte& un
su?espacio puede tener varios suplementarios$
!i
/
es un espacio vectorial >&
1
0 >
(
0 su?espacios tales =ue
( 1
0 0 / = &
entonces
(
0
1
N 0 /
x
&
=ue envHa cada vector
x
de
(
0 0=ue tam?i@n es de
/
1 a su clase de e=uivalencia por
la relacin
1
0
(
& es un isomorAismo
,ro(o&icinB n un espacio vectorial
/
& todos los su?espacios suplementarios a uno dado
son isomorAos entre sH$
DefinicinB !ea
/
un espacio vectorial > n
0 0 0 $$$$$& & &
( 1 su?espacios de
/
$ l
su?conEunto de
/
{ }
n n n
0 x 0 x 0 x x x x + + + & $$$$$ & & N $$$$$
( ( 1 1 ( 1
es un su?espacio de
/
< se le llama subespacio suma de
n
0 0 0 & $$$$ & &
( 1 > se representa por
n
0 0 0 + + + $$$$
( 1 $
O?serve =ueB n n
0 0 0 0 0 0 = + + + $$$$$ $$$$
( 1 ( 1 $
5(
DefinicinB !ea
/
un espacio vectorial&
n
0 0 0 $$$$$& & &
( 1
su?espacios >
n
0 0 0 0 + + + = $$$$
( 1 $
Cada
0 x
es una suma
n
x x x x + + + = $$$$$
( 1
&
con n n
0 x 0 x 0 x & $$$$$$ & &
( ( 1 1 $ Cuando cada
0 x
posee una
Knica descomposicin de esta Aorma& se dice =ue
0
es una suma directa de
n
0 0 0 $$$$$& & &
( 1 > se escri?e n
0 0 0 0 = $$$$$$
( 1 $
,ro(o&icinB !ea
/
un espacio vectorial > n
0 0 0 0 $$$$$& & & &
( 1 su?espacios de
/
$
Las propiedades siguientes son e=uivalentesB
i$ n
0 0 0 0 = $$$$$$
( 1 &
ii$
n
0 0 0 0 + + + = $$$$$$
( 1
> ademCs&
{ } 4 1 $$$$$$$$ 0
1 1
= + +
+ i i
0 0 0
para
$ 1 & $$$$$$$ & 1 = n i
!i
n
0 0 0 0 $$$$$& & & &
( 1
son su?espacios de un espacio vectorial
/
tales =ue
n
0 0 0 0 = $$$$$$
( 1 &
entonces
0
n
0 0 0 $$$$$$
( 1
Puesto =ue la aplicacin
0 0 0 0
n
$$$$$$
( 1
n n
x x x x x x + + + $$$$$$ 1 & $$$$ & & 0
( 1 ( 1
es un isomorAismo$
($+ DPNDNCIA INDPNDNCIA LINAL$
!ea
/
un espacio vectorial so?re 4 >
1 & $$$$ & 0
1 p
x x
un sistema de
/
$ l vector 4
esa siempre com?inacin lineal de
1 & $$$$ & 0
1 p
x x
& puesto =ue
p
x x 4 $$$$$$ 4 4
1
+ + =
$
Pero es posi?le =ue el vector 4 sea com?inacin lineal de
1 & $$$$ & 0
1 p
x x
en alguna otra
Aorma diAerente de @sta 0de la trivial1& es decir& es posi?le =ue
5*
p p
x x 4 $$$$$$ 4
1 1
+ + =
con escalares no todos nulos$
DefinicinB !ea
/
un espacio vectorial so?re 4 >
1 & $$$$ & 0
1 p
x x
un sistema de
/
$ !e
dice =ue el sistema es linealmente independiente 0libre 1 cuando la Knica Aorma
en =ue el vector 4 es com?inacin lineal del sistema es la trivial& es decir&
cuando
! li1 "
4 $$$$$$ 4 $$$$$$
1 1 1
= = = = + +
p p p
x x
&
> se dice =ue es linealmente dependiente 0ligado1 cuando el vector 4 es
com?inacin lineal del sistema en alguna Aorma distinta de la trivial& o sea&
cuando
! ld1 " Fisten p
&$$$$$$$&
1 no todos nulos& tales =ue
4 $$$$$$
1 1
= + +
p p
x x
$
La propiedad 0li11 es e=uivalente a la siguienteB
! li( " Cada vector
x
de p
x x & $$$$ &
1 es& de Aorma Knica& una com?inacin
lineal
p p
x x x + + = $$$$$$
1 1 de
1 & $$$$ & 0
1 p
x x
$
"ecuerde =ue& por deAinicin& todo vector
x
de p
x x & $$$$ &
1 es una com?inacin lineal
de
1 & $$$$ & 0
1 p
x x
< lo =ue aAirma ! li( " es =ue la igualdad p p
x x x + + = $$$$$$
1 1 es
cierta para un Knico grupo de escalares p
x & $$$$$$ &
1
=
$
La propiedad 0 li11 es tam?i@n e=uivalente a
!li*" p p
x 4 x 4 x x = $$$$$$ & $$$$ &
1 1 &
=ue aAirma =ue la suma p p
x 4 x 4 x x + + = $$$$$$ & $$$$ &
1 1 es directa$
La propiedad !ld1" es e=uivalente a la siguienteB
!ld(" Uno de los vectores
i
x
del sistema
1 & $$$$ & 0
1 p
x x
es com?inacin lineal
de los restantes& o sea&
5,
p p i i i i i
x x x x x + + + + + =
+ +
$$$$$ $$$$$$
1 1 1 1 1 1 $
sta propiedad !ld(" no signiAica =ue& en un sistema ligado& cada vector del sistema sea
com?inacin lineal de los restantes$ n general& no se puede decir para =u@ vector o
vectores del sistema !ld(" es cierta$
!i
1 & $$$$ & 0
1 p
x x
es linealmente independiente 0o linealmente dependiente1& cual=uier
reordenacin del sistema posee el mismo carCcter& o sea si
q
es una permutacin de
{ } p & $$$$ & ( & 1
los sistemas
1 & $$$$ & 0
1 p
x x
>
1 & $$$$ & 0
1 0 1 1 0 p q q
x x
!on am?os linealmente independientes o am?os linealmente dependientes$
!i
1 & $$$$ & 0
1 p
x x
es linealmente independiente& entonces todos los i
x
son no nulos$ !i
4 =
i
x
& se tendrHa
4 4 $$$$$ 1 $$$$$$ 4
1
= + + + +
p i
x x x
> el sistema serHa linealmente dependiente$
Todo sistema =ue contenga al vector 4 es linealmente dependiente$
!i
1 & $$$$ & 0
1 p
x x
el linealmente independiente& entonces el sistema es in>ectivo& es
decir& los i
x
son todos distintos entre si$ :a =ue si
j i
> j i
x x =
) tendrHa
4 4 $$$$$$ 1 1 0 $$$$$$ 1 $$$$$$ 4
1
= + + + + + +
p j i
x x x x
<
luego el sistema serHa linealmente dependiente$
,ro(o&icinB !i
1 & $$$$ & 0
1 p
x x
es linealmente independiente >
1 & & $$$$ & 0
1 1 + p p
x x x
es linealmente dependiente& entonces
p p
x x x & $$$$$ &
1 1

+
DemostracinB
Fisten 1 1
& $$$$& &
+ p p

=ue no todos son nulos< tales =ue
4 $$$$
1 1 1 1
= + + +
+ + p p p p
x x x
$
55
!i
4
1
=
+ p

& entonces
1 & $$$$ & 0
1 p
x x
serHa linealmente dependiente& luego
entonces
4
1

+ p

resultando =ue 1 + p
x
se puede escri?ir como
com?inacin lineal de & de la siguiente Aorma
p
p
p
p
p
x x x
1
1
1
1
1
$$$$$$
+ +
+
=

$
Por lo =ue p p
x x x & $$$$$ &
1 1

+ $
,ro(o&icinB
a1 !i
1 & $$$$ & 0
1 p
x x
es linealmente independiente >
p i 1
& entonces
1 & $$$$ & 0
1 i
x x
es linealmente independiente$
?1 !i
1 & $$$$ & 0
1 p
x x
es linealmente dependiente& entonces
1 $$$$ & $$$$ & 0
1 1 n p p
x x x x + + +
+ es linealmente dependiente& cual=uiera =ue sean
los vectores n p
x x & $$$$ &
1 + $
DemostracinB
a1 Como
1 & $$$$ & 0
1 p
x x
es linealmente independiente&
4 $$$$$$ 4 $$$$
1 1 1
= = = = + +
p p p
x x
<
entonces& si
4 $$$$
1 1
= + +
i i
x x
resulta =ue
4 4 $ $$$ 4 $$$$
1 1 1
= + + + + +
+ p i i i
x x x x
&
por lo tanto
4 $$$$$$
1
= = =
i

& lo =ue demuestra =ue
1 & $$$$ & 0
1 i
x x
es
linealmente independiente$
?1 !i
1 & $$$$ & 0
1 p
x x
es linealmente dependiente& entonces
1 $$$ & $$$ & 0
1 1 n p p
x x x x + + +
+ ha de ser linealmente dependiente& en caso
contrario& aplicando a1& resultarHa =ue
1 & $$$$ & 0
1 p
x x
es linealmente
independiente$
Por lo anterior > la reordenacin de sistemas se puede aAirmar =ue si se suprimen vectores
de un sistema linealmente independiente se o?tiene un sistema linealmente independiente& >
si se aGaden vectores a un sistema linealmente dependiente se o?tiene un sistema
linealmente dependiente$
56
Un sistema
1 0x
con un solo vector es linealmente independiente si
4 x
& > el
linelmente dependiente si
4 = x
$
!i un sistema 1 & 0
( 1
x x de dos vectores es linealmente dependiente& se dice =ue
1
x >
(
x
con colineales$ !i este es el caso& se tiene =ue
( 1
x x = & o ?ien
1 (
x x = < pero& no
necesariamente am?as cosas$
,ro(o&icinB !i
1 & $$$ & 0
1 1 + p
y y
es un sistema cu>os
1 + p
vectores son com?inacin
lineal de un sistema
1 & $$$$ & 0
1 p
x x
de
p
vectores& entonces
1 & $$$ & 0
1 1 + p
y y
es linealmente dependiente$
DemostracinB Por induccin so?re
p
$
Para
1 = p
es cierto< >a =ue& si
& &
1 ( 1
x y y
se tiene
1 ( 1 1
& x y x y = = & entonces 4
( 1
= y y $ !i
4
o
4
&
esto prue?a =ue
1 & 0
( 1
y y
es linealmente dependiente< si
4 = =
&
entonces 4
( 1
= =y y > por tanto tam?i@n linealmente dependiente$
!upngase cierta la proposicin para
1 p
$ sean entonces
p p
x x y y y & $$$$ & & $$$ & &
1 1 ( 1

+ &
es decir&
$ $$$$$
$$ $$$$$$$$$$ $$$$ $$$$$$$$$ $$$$
$$$
1 1 1 1
1 1 11 1
p p p p p
p p
x y
x x y
+ + +
+ + =
+ + =


!i 4
1
= y & el sistema
1 & & $$$ & 0
1 1 + p p
y y y
es linealmente dependiente< si
4
1
y & alguno de los i
y
1 es no nulo< supngase =ue
4
11

$
Consid@rese =ue los vectores
P
1
P
(
& $$$ &
+ p
y y
deAinidos por
1
1 1
1 1
1
P
1 1
1 1
1 *
*
P
* 1
1 1
1 (
(
P
(
& $$$$$ & & y y y y y y y y y
p
p p

+
+ +
= = =
$
ntonces se tiene
5+
p p
x x y y & $$$$ & & $$$ &
(
P
1
P
(

+
Pero& como se ha supuesto cierta la proposicin para
1 p
& resulta =ue
1 & $$$ & 0
P
1
P
( + p
y y
es linealmente dependiente$ s decir& eFisten
1 (
& $$$ &
+ p

no todos nulos tales =ue
4 $$$$$
P
1 1
P
( (
= + +
+ + p p
y y
Zaciendo la sustitucin de
P
1
P
(
& $$$ &
+ p
y y
se o?tiene
4 $$$$
1 1 ( ( 1
= + + +
+ + p p
y y y
&
donde
1 $$$$ 0
1
1 1 1 1 * * 1 ( (
1 1
+ +
+ + + =
p p

$
Como alguno de los 1 (
& $$$ &
+ p

es no nulo& el sistema
1 & $$$ & 0
1 1 + p
y y
el linealmente dependiente$ AsH se completa la
demostracin$
%oro$arioB !ea
1 & $$$$ & 0
1 p
x x
un sistema generador del espacio vectorial / $ ntonces
cual=uier sistema de / =ue tenga mCs de
p
vectores es linealmente
dependiente$
Teorema !ea
/
un espacio vectorial so?re 4 >
1 & $$$$ & 0
1 n
x x
un sistema de
/
$ Las
siguientes proposiciones son e=uivalentesB
11
1 & $$$$ & 0
1 n
x x
es linealmente independiente > es un sistema generador
de
/
$
(1 Cada vector
/ x
es de Aorma Knica& una com?inacin lineal
n n
x x x + + = $$$$
1 1 de
1 & $$$$ & 0
1 n
x x
$
*1
n
x 4 x 4 x 4 / = $$$$$
( 1
$
,1
1 & $$$$ & 0
1 n
x x
es un sistema generador de
/
>& ademCs ninguno de
los sistemas de los 1 n vectores =ue resultan de suprimir algKn vector
de
1 & $$$$ & 0
1 n
x x
genera
/
$
5-
51
1 & $$$$ & 0
1 n
x x
es un sistema linealmente independiente >& ademCs& el
sistema
1 & & $$$$ & 0
1 1 + n n
x x x
de 1 + n vectores es linealmente
dependiente& cual=uiera =ue sea el vector
/ x
n

+1 $
($- ;A!! : DI#N!I'N$
Definicin !ea
/
un espacio vectorial$ !e dice =ue un sistema
1 & $$$$ & 0
1 n
x x
de
/
&
=ue es linealmente independiente > =ue genera a
/
& es una base de
/
$
TeoremaB l su?conEunto
1 & $$$$ & 0
1 n
x x
del espacio vectorial
/
es una ?ase de
/
si& >
solo si cada vector
/ x
es eFpresado de manera Knica como una
com?inacin lineal de
1 & $$$$ & 0
1 n
x x
$
DemostracinB
!upngase =ue
1 & $$$$ & 0
1 n
x x
es una ?ase de
/
$ !ea
/ x
un vector
ar?itrario de
/
$ Fisten entonces escalares n
& $$$$ &
1 tales =ue
n n
x x x + + = $$$$
1 1 $
!upngase =ue
x
tiene otra representacin & como sigue
n n
x x x
P
1
P
1
$$$$ + + =
$
ntonces
n n
x x + +$$$$
1 1 n n
x x
P
1
P
1
$$$$ + + = &
es decir&
4 1 0 $$$$ 1 0
P
1
P
1 1
= + +
n n n
x x
$
Ahora& considerando =ue
1 & $$$$ & 0
1 n
x x
es una ?ase de
/
& entonces los
vectores n
x x & $$$$ &
1 son linealmente independientes$ Por tanto
4 1 0 $$$$ 1 0
P
1
P
1 1
= + +
n n n
x x
5/
implica =ue
4 1 0
P
=
i i

es decir
n i
i i
& $$$ & 1 &
P
= =
< lo =ue demuestra
=ue la representacin de
/ x
como com?inacin lineal de la ?ase
1 & $$$$ & 0
1 n
x x
es Knica$
"ecHprocamente& suponiendo =ue cada
/ x
se representa de manera Knica
como com?inacin lineal de
1 & $$$$ & 0
1 n
x x
$ n tal caso se tiene =ue
/ x x
n
= & $$$$ &
1 $ !lo Aalta veriAicar =ue los vectores
1 & $$$$ & 0
1 n
x x
son
linealmente independientes$ Consid@rese la com?inacin lineal
4 $$$$
1 1
= + +
n n
x x
<
esta eFpresin es la representacin del vector
/ 4
como com?inacin lineal
de los vectores
1 & $$$$ & 0
1 n
x x
$ Pero trivialmente el vector 4 tiene tam?i@n la
representacin
4 4 $$$$ 4
1
= + +
n
x x
$
Pero& como se supuso =ue todo vector
/ x
tiene una representacin Knica& se
tiene =ue concluir =ue
4 $$$$
( 1
= = = =
n

& decir& =ue los vectores
1 & $$$$ & 0
1 n
x x
son linealmente independientes > por tanto son una ?ase de / $
!i
1 & $$$$ & 0
1 n
x x
es una ?ase de / >
/ x
& entonces el Knica representacin de
x

como com?inacin lineal de la ?ase
1 & $$$$ & 0
1 n
x x
n n
x x x + + = $$$$
1 1
!e dice =ue los escalares n
& $$$$ &
1 son las coordenadas del vector
x
en la ?ase
1 & $$$$ & 0
1 n
x x
> se representa a
x
escri?iendo
1 & $$$$ & 0 1
1
1 & $$$$ & 0
n
x x n
x =
O tam?i@n
1 0 1
1 & $$$$ & 0
i
x n
x =
!i
1 & $$$$ & 0
1 n
a a
es una ?ase de / & la aplicacin
n n n
n
x x
/ 4
+ +

$$$$$ 1 & $$$$ & 0

1 1 1
64
es un isomorAismo entre los espacios vectoriales
n
4 > / $ La aplicacin inversa de este
isomorAismo 0=ue tam?i@n es un isomorAismo1 envHa cada vector de / a la nOupla Aormada
por sus coordenadas en la ?ase$
Lo anterior tiene gran importancia en lo siguienteB
a1 !i 1 0 1
1 & $$$$ & 0
i
a n
x x x =
> 1 0 1
1 & $$$$ & 0
i
a n
y y y =
& entonces
1 0 1 1
1 $$$$ 0
i
a n n
y x y x y x + + + + = +
$
?1 !i 1 0 1
1 & $$$$ & 0
i
a n
x x x =
>
4
& entonces
1 0 1
1 & $$$$ & 0
i
a n
x x x =
$
c1 !i 1 0 1
1 & $$$$ & 0
i
a n
x x x =
> 1 0 1
1 & $$$$ & 0
i
a n
y y y =
& > si
n i para i i
y x
$$$$& & 1 =
=
& entonces
y x =
$
d1 !i
n
n
4 1 & $$$$ & 0
1

& eFiste un vector de / cu>as coordenadas en
1 & $$$$ & 0
1 n
a a
son n
& $$$$ &
1 & > es el vector n n
a a + +$$$$
1 1 $
Teorema Dos ?ases cuales=uiera de un espacio vectorial / tienen el mismo nKmero de
elementos $
Demostracin
!uponga =ue
1 & $$$$ & 0
1 n
a a
>
1 & $$$$ & 0
1 m
b b
dos ?ases de / & entonces
m n =
< >a =ue si
m n <
& el sistema
1 & $$$$ & 0
1 m
b b
serHa linealmente
dependiente& lo =ue por hiptesis no puede se cierto$ Por tanto am?as ?ases
tienen el mismo nKmero de elementos$
Para ?ases =ue son conEuntos inAinitos& el teorema anterior tam?i@n es cierto en el sentido
siguienteB dos ?ases cuales=uiera de un espacio vectorial son e=uipolentes$
!i
1 & $$$$ & 0
1 n
a a
es una ?ase de / >
n
6 p
es una permutacin de
{ } n & $$$$ & ( & 1
&
entonces
1 & $$$$$ & 0
1 0 1 1 0 n p p
a a
es una ?ase de / $
61
!i
1 & $$$$ & 0
1 n
a a
es una ?ase de / >
4 & $$$$ & 4
1

n

& entonces
1 & $$$$ & 0
1 1 n n
a a
es una ?ase de / $
,ro(o&icinB !ea / un espacio vectorial de dimensin Ainita >
1 & $$$$ & 0
1 p
x x
un
sistema de / & linealmente independiente$ ntonces eFiste algKn sistema
1 & $$$$ & 0
1 n
x x
de / & con
p n
& cu>os primeros p vectores son
p
x x & $$$$ &
1 & =ue es una ?ase de / $
DemostracinB
TeoremaB !i / es un espacio vectorial de dimensin Ainita >
{ } 4 /
& eFiste una ?ase de
/ $
DemostracinB
Como
{ } 4 /
& eFiste
/ x
&
4 x
< el sistema de un solo vector
1 0 x
es
linealmente independiente >& aplicando la anterior proposicin& o ?ien es una
?ase& o ?ien ha> una ?ase =ue lo prolonga$
DefinicinB !ea / un espacio vectorial de dimensin Ainita >
{ } 4 /
$ / admite una
?ase& > ademCs todas las ?ases de / tienen el mismo nKmero de vectores$ !e
deAine la dimensin de / como el nKmero de vectores en alguna 0> por tanto
en cual=uiera1 ?ase de / $

La dimensin del espacio vectorial / se denota por
/ dim
$
,ro(o&icinB !ea / un espacio vectorial de dimensin
n
< entoncesB
a1 Todo sistema =ue tenga 1 + n o mCs es linealmente dependiente&
?1 Todo sistema linealmente independiente tiene a lo sumo
n

elementos&
c1 Todo sistema generador de / tiene por lo menos
n
elementos$
6(
%oro$arioB !i
1 & $$$$ & 0
1 p
x x
es un sistema generador de un espacio vectorial / &
entonces
p / dim
$
%oro$arioB !ea / un espacio de dimensin
4 n
>
1 & $$$$ & 0
1 n
x x
un sistema de /
con
n
elementos< entonces son e=uivalentes las siguientes proposicionesB
i$
1 & $$$$ & 0
1 n
x x
es una ?ase de / &
ii$
1 & $$$$ & 0
1 n
x x
es linealmente independiente&
iii$
1 & $$$$ & 0
1 n
x x
genera a / $
,ro(o&icinB !ean / >
P
/
dos espacios vectoriales so?re 4 >
P
B / / + un
isomorAismo$ !i
1 & $$$$ & 0
1 n
x x
es una ?ase de / & entonces
1 1 0 & $$$$ & 1 0 0
1 n
x + x +
es una ?ase de
P
/
$
DemostracinB
!i
4 1 0 & $$$$ & 1 0
1 1
=
n n
x + x +
"esulta =ue
1 4 0 4 1 & $$$$ & 0
1 1
+ x x +
n n
= =
Como
+
es in>ectiva& entonces
4 $$$$
1 1
= + +
n n
x x
>& como
1 & $$$$ & 0
1 n
x x
es linealmente independiente
4 $$$$
1
= = =
n

&
lo =ue demuestra =ue
1 1 0 & $$$$ & 1 0 0
1 n
x + x +
es linealmente
independiente$
!i
P
/ y & como
+
es so?re& resulta =ue eFiste
/ a
con
y a + = 1 0
$
Pero
n n
x x a + + = $$$$
1 1 &
luego
6*
1 0 $$$$ 1 0 1 0
1 1 n n
x + x + a + y + + = =
$
sto demuestra =ue
1 1 0 & $$$$ & 1 0 0
1 n
x + x +
genera a
P
/ >& como
1 1 0 & $$$$ & 1 0 0
1 n
x + x +
es linealmente independiente& se conclu>e =ue es
una ?ase de
P
/ $
,ro(o&icinB
a1 !i / >
P
/ son isomorAos >
n / = dim
& entonces n / =
P
dim $
?1 Dos espacios vectoriales de dimensin Ainita son isomorAos si > slo si
tienen la misma dimensin$
,ro(o&icinB !ea / un espacio vectorial >
1 & $$$$ & 0
1 p
x x
un sistema de / $ l
su?espacio p
x x & $$$$ &
1 es siempre de dimensin Ainita >
p x x
p
& $$$ & dim
1 $
La dimensin es igual a
p
si > slo si
1 & $$$$ & 0
1 p
x x
es linealmente
independiente& en @ste caso es una ?ase de p
x x & $$$$ &
1 $
DemostracinB
1 & $$$$ & 0
1 p
x x
es un sistema generador de p
x x & $$$$ &
1 & lo cual
demuestra la primera aAirmacin$ AdemCs& si
1 & $$$$ & 0
1 p
x x
es linealmente
independiente& es un sistema linealmente independiente > generador de
p
x x & $$$$ &
1 & luego entonces es una ?ase >
p x x
p
= & $$$$ & dim
1 $
"eciprocamente& si la dimensin es p& entonces
1 & $$$$ & 0
1 p
x x
es
linealmente independiente$
TeoremaB !ea / un espacio vectorial de dimensin Ainita > 0 un su?espacio de / $
a1 0 es tam?i@n de dimensin Ainita >
/ 0 dim dim
$
?1 !i
/ 0 dim dim =
& entonces
/ 0 =
$
DemostracinB
6,
Para cuando
{ } 4 = 0
las dos propiedades son evidentes& pues
4 dim /
<
supngase entonces =ue
{ } 4 0
< entonces
4 dim =n /
$
a1 Fiste un vector
0 x
no nulo& luego en
0
eFiste al menos un sistema
linealmente independiente$
Consid@rese todos los sistemas
1 & $$$$$ & 0
1 q
x x
de 0 =ue son
linealmente independientes$ Como son al mismo tiempo sistemas
linealmente independientes de / & resulta =ue
n q
$ l conEunto de
nKmeros naturales
q
para los =ue eFiste un sistema de ese tipo estC
contenido en
{ } n & $$$$ & 1
> es Ainito$ !ea
p
el mCFimo de tales nKmeros
q
$
l nKmero
p
veriAica =ueB
Fisten
0 x x
p
$$$$ &
1 tales =ue
1 & $$$$ & 0
1 p
x x
el linealmente
independiente$
Cual=uiera =ue se
0 x
p

+1 & el sistema
1 & & $$$$ & 0
1 1 + p p
x x x
es
linealmente dependiente$

n p
$
Por lo anterior
1 & $$$$ & 0
1 p
x x
es una ?ase de 0 $ Luego 0 es de
dimensin Ainita & con
$ dim dim / 0
?1 !i
4 dim dim = = n / 0
& sea
1 & $$$$ & 0
1 n
x x
una ?ase de 0 <
esta ?ase es un sistema linealmente independiente& luego tam?i@n es un
sistema linealmente independiente de / > por tanto una ?ase de / $
ntonces resulta =ue
/ x x 0
n
= = & $$$ &
1 $
!ea / un espacio vectorial so?re 4 $ Los su?espacios de dimensin 1 se denominan
rectas vectoriales< son los su?espacios de la Aorma
{ } 4 x x x 4 = = N
&
con
4 x
$
65
!i / es de dimensin 4 n & los su?espacios de dimensin 1 n se denominan
'iperplanos vectoriales.
,ro(o&icinB !ea / un espacio vectorial de dimensin 4 n & 0 un su?espacio de / de
dimensin
p
con
n p < < 4
>
1 & $$$$ & 0
1 p
a a
una ?ase de 0 $ Fisten
vectores n p
a a & $$$$ &
1 + tales =ue
1 & $$$$ & & & $$$$ & 0
1 1 n p p
a a a a
+ es
una ?ase de / $
,ro(o&icinB !ea / un espacio vectorial de dimensin Ainita$
a1 !ea 0 un su?espacio de / < 0 admite un suplementario$
?1 !i p
0 0 0 / = $$$$
( 1 > si para todo
p i & $$$$ & 1 =
<
1 & $$$ & 0
1 i n i
a a
es una ?ase de i
0
& entonces
1 & $$$ & & $$$ & & & $$$ & 0
( ( ( 1 1 1 1 1 p p n n n
a a a a a
es una ?ase de / $
c1 !i
( 1
0 0 / = & entonces
( 1
dim dim dim 0 0 / + = $
DefinicinB !ea / un espacio vectorial >
1 & $$$$ & 0
1 p
x x
un sistema de / $ !e
denomina rango de
1 & $$$$ & 0
1 p
x x
> se denota por
1 & $$$$ & 0
1 p
x x rg
a la dimensin del su?espacio p
x x & $$$$ &
1 $
O?serve =ue
p x x rg
p
1 & $$$$ & 0
1
> =ue
p x x rg
p
= 1 & $$$$ & 0
1 si > slo si
1 & $$$$ & 0
1 p
x x
es linealmente independiente$
!i ademCs
n / = dim
& entonces
n x x rg
p
1 & $$$$ & 0
1 $
66
;I;LIO2"A.IA$
Cardenas& Zum?erto< Lluis& milio< "aggi& .rancisco< Tomas& .rancisco$ IA$/e*ra
.u(eriorJ& ditorial trillas& #@Fico& 1//5$
.regoso& Arturo$ I0o& e$emento& #e $a matem1tica) $/ica 2 teora #e conjunto&J&
ditorial trillas& #@Fico& 1/++$
.regoso& Arturo$ I0o& e$emento& #e $a matem1tica 2) funcione&J& ditorial trillas&
#@Fico& 1/+/$
Zerstein& I$N$ IA$/e*ra mo#ernaJ& ditorial trillas& #@Fico& (446$
Pita "uiD& Claudio$ IA$/e*ra $inea$J& ditorial #c2ra[ Zill& #@Fico&1//1$
"e>es 2uerrero& Araceli$ IA$/e*ra &u(eriorJ& ditorial Thomson& #@Fico& (445$
"oEo& %esKs$ IA$/e*ra $inea$J&
a
(
edicin& ditorial #c2ra[ Zill& spaGa& (44+$
6+