Anda di halaman 1dari 119

Prof: Luis Ernesto Valdez

DEPARTAMENTO DE MATEMTICA
INSTITUTO DE ESTUDIOS SUPERIORES DE
ANDALGAL
REPBLICA
Sitio Web www.algebramoderna.webatu.com
E Mail: correo@algebramoderna.webatu.com









Prof: Luis Ernesto Valdez
DEPARTAMENTO DE MATEMTICA


INSTITUTO DE ESTUDIOS SUPERIORES DE
ANDALGAL CATAMARCA
REPBLICA ARGENTINA

www.algebramoderna.webatu.com
correo@algebramoderna.webatu.com



DEPARTAMENTO DE MATEMTICA
INSTITUTO DE ESTUDIOS SUPERIORES DE
www.algebramoderna.webatu.com
correo@algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez

www.algebramoderna.webatu.com
INDICE
Prlogo Algo de Historia Bibliografa 1
Captulo I Lgica Proposicional 2
La lgica, Conectivos lgicos 3
Las operaciones proposicionales 3
Tautologa, contradiccin y contingencia 6
Leyes lgicas 7
Circuitos lgicos 11
Razonamientos Deductivos 14
Leyes de inferencia 15
Teorema 16
Razonamiento Inductivo 17
Reduccin al absurdo .. 17
La funcin proposicional. Los cuantificadores 18
Negacin de un cuantificador 18
Trabajo Prctico N 1 20
Captulo II La Teora Conjuntista 22
Simbolismo de la Teora conjuntista 23
Conjunto, elemento y pertenencia 23
Formas de definir un conjunto 23
Conjuntos especiales 24
Cardinal de un conjunto . 24
Los conjuntos numricos 24
Los diagramas de Venn 25
Relaciones entre conjuntos La inclusin 26
Propiedades de inclusin . 26
Igualdad de conjuntos 26
Propiedades de la igualdad 26
Caracterizacin del conjunto vaco 27
Operaciones con conjunto Propiedades 27
Otras propiedades de las operaciones con conjuntos 33
La Diferencia Simtrica 35
Propiedades de la diferencia simtrica 35
Conjunto de Partes .. 36
Uniones disjuntas . 37
Par ordenado Producto Cartesiano.. 37
Trabajo Prctico N 2 38
Captulo III Relaciones Binarias .. 40
Definicin de relacin binaria 41
Dominio, Imagen, Representaciones grficas 41
Relacin inversa .. 42
Composicin de relaciones 42
Relaciones definidas en un conjunto 44
Posibles propiedades de las relaciones definidas en un conjunto 44
Relacin de equivalencia . 48
Clases de equivalencia Conjunto cociente 49
Particin de un Conjunto no vaco .. 49
Teorema Fundamental de las relaciones de equivalencias 49
Particin y relacin de equivalencia .. 51
Relacin de orden 52
Relacin de orden amplio 52
Relacin de orden estricto 53
Relacin de orden parcial 53
Relacin de orden total .. 53
Elementos distinguidos en una relacin de orden 53
Diagramas de Hasse 55
Conjunto bien ordenado 55
Trabajo Prctico N 3 55
Captulo IV Funciones 58
Funcin: Definiciones- Dominio y Codominio, Imagen 59
Representaciones grficas de una funcin 60
LGEBRA MODERNA Prof. Luis E. Valdez

www.algebramoderna.webatu.com
Clasificacin de las funciones 62
Funcin creciente .. 64
Funcin decreciente .. 64
Mximo de una funcin . 65
Mnimo de una funcin . 65
Funcin cncava 65
Funcin convexa 66
Punto de inflexin de una funcin .. 66
Cmo determinar el dominio real de una funcin real. 67
Funciones especiales .. 67
Composicin de Funciones . 69
Propiedades de la composicin de funciones . 69
La funcin inversa: Definicin 71
Teorema Fundamental de las funciones inversas 72
Funciones algebraicas y trascendentes 74
Trabajo Prctico N 4 84
Captulo V Induccin Completa Nmeros y Congruencias .. 87
Teorema de Induccin Completa 88
Principio de Induccin Completa 88
El smbolo de sumatoria .. 89
Propiedades de las sumatorias 90
Mximo Comn Divisor 90
Divisores y mltiplos 90
Propiedades de los divisores y mltiplos 91
Algoritmo de Euclides 91
Propiedades 91
Propiedades del Mximo Comn Divisor 93
Nmeros relativamente primos o primos entre s 93
Ecuaciones Diofnticas lineales . 94
Propiedades .. 94
Congruencia en mdulo n 96
Propiedad . 96
Trabajo Prctico N 5 97
Captulo VI Anlisis Combinatorio . 99
Factorial de un nmero 100
Simplificacin de factoriales . 100
Variaciones o arreglos sin repeticin . 100
Variaciones o arreglos con repeticin 101
Permutaciones simples o sin repeticin 102
Permutaciones con repeticin 102
Combinaciones simples o sin repeticin 102
Propiedades 103
Combinaciones con repeticin 105
Binomio de Newton .. 105
Tringulo de Tartaglia Pascal 106
Trabajo Prctico N 6 106
Captulo VII Estructuras Algebraicas .. 108
Ley de Composicin Interna 109
Estructura de Grupo .. 109
Propiedades de los grupos .. 110
Subgrupos .. 111
Condicin suficiente para la existencia de un subgrupo .. 112
Homomorfismo de Grupos 112
Homomorfismos especiales . 113
Estructura de Anillo 113
Estructura de Cuerpo 113
Trabajo Prctico N 7 114
El sitio web lgebra Moderna .. 115
Los tutoriales en video .. 116

- 1 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
PRLOGO
tendiendo las necesidades de los alumnos del 1 ao del Profesorado en Matemtica
del Instituto de Estudios Superiores de Andalgal de poder contar con un material
didctico que le sirva como apoyo en el aprendizaje del lgebra I (lgebra Moderna),
es que se presenta este apunte como parte integrante de un compendio de utilidades
ofrecidas en el sitio Web de la ctedra en la direccin www.algebramoderna.webatu.com,
en el que desarrolla la mayora de los contenidos de este espacio curricular.
Indudablemente este apunte, es acorde a los lineamientos curriculares oficiales e inicia
con la Lgica Proposicional, para seguir con la Teora Conjuntista y continuar con
Relaciones Binarias, Funciones, Induccin Completa y Divisibilidad, Anlisis Combinatorio y
Estructuras Algebraicas.
Espero que este elemento didctico pueda llegar al alumno de la mejor forma posible y
le sea til para el aprendizaje del lgebra I, base de otros espacios curriculares como
lgebra II, Anlisis Matemtico, Estadstica, Probabilidad, Geometra, Elemento de
Programacin Cientfica, etc.
UN POCO DE HISTORIA
El matemtico britnico George Boole (1815 1864) public en 1845 un libro titulado
Investigaciones sobre las leyes del pensamiento quien contribuy como base para el
desarrollo de la teora conjuntista. Ms tarde George Cantor (1843 1918) fund la Teora
Conjuntista propiamente dicha.
Ahora, la teora de nmeros es una de las ramas ms viejas de la matemtica. Los
libros Elementos de Euclides. Este matemtico vivi alrededor del ao 300 aos antes de
Cristo. A este autor se le debe el algoritmo de las divisiones sucesivas para obtener el
mximo comn divisor de dos nmeros.
Alrededor de 300 aos despus de Cristo, Diofanto de Alejandra escribi una obra de
13 libros titulada Aritmtica de las que slo se conservan seis. En esta obra aparece por
primera vez la notacin simblica para describir incgnitas y las expresiones polinmicas.
Aos ms tarde Pierre Fermat (1601 1665), contribuy al desarrollo de la teora de
nmeros y tuvo influencia en el anlisis, como lo reconociera Newton 50 aos ms tarde,
manejando la geometra analtica o de coordenadas que tambin fue estudiada por
Descartes y Pascal.
Fueron numerosos los matemticos que siguieron el desarrollo de los nmeros entre
los que se puede nombrar Leonhard Euler (1707 1783), Adrien Marie Legendre (1752
1833), Kart Friedrich Gauss (1777 1855).
Por otro lado el estudio de las estructuras algebraicas se la debe en un inicio a Joseph
Louis Lagrange (1736 1813), a Paolo Ruffini (1765 1822), Niels Henrik Abel (1802
1829) entre otros.
Por ltimo, Pascal, Fermat, Tartaglia (1500 1557), trabaj en las teora de las
probabilidades donde se aplica la combinatoria. Pero fue Isaac Newton, nacido en la
navidad de 1642, quien tuvo su primer trabajo matemtico en el desarrollo del binomio que
lleva su nombre.
BIBLOGRAFA DE CONSULTA
- lgebra I Rojo, Armando - Ed. El Ateneo - 1986
- Nmero, Grupos y Anillos Dorrosoro / Hernndez - Ed. Addison-Wesley
Iberoamericana Espaa, 1996
- Introduccin al Anlisis Matemtico Osn, Luis - Kapelusz, 1966
- lgebra II Rojo, Armando - Ed. El Ateneo 1973
A
- 2 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO I
LGICA PROPOSICIONAL
- 3 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
LA LGICA
La Lgica es la ciencia que estudia los modos y formas de raciocinio. La lgica es una ciencia
auxiliar de la Matemtica, pues ayuda a comprenderla, razonarla, etc.
Para iniciar los estudios de la lgica, es necesario analizar oraciones particulares de las
cuales se pueden decir que son VERDADERAS O FALSAS y reciben el nombre de proposiciones.-
Por ejemplo:
El nmero 5 es un nmero natural
Toda proposicin es representada por las ltimas letras minsculas del abecedario:
p, q, r, s, t, w
CONECTIVOS LOGICOS
Se denominan conectivos lgicos, a smbolos que permiten formar proposiciones con otras
proposiciones. Estos son:
Conectivo Nombre
~ - NO
v O INCLUYENTE
. Y
ENTONCES O IMPLICA
S Y SOLO S
v O EXCLUYENTE
Estos conectivos lgicos tienen una jerarqua en las operaciones, esta es: el NO en primer
lugar, luego el O INCLUYENTE y el Y, luego el IMPLICA, le sigue el S Y SOLO S y por ltimo el O
EXCLUYENTE.-
PROPOSICIONES SIMPLES Y COMPUESTAS
Una proposicin se dice que es simple si no est afectada por conectivos lgicos; caso
contrario, se dice que es compuesta.
Proposicin simple: p
Proposicin compuesta: pq
TABLA DE VALORES DE VERDAD
Una tabla de valores de verdad de una proposicin compuesta, es una tabla que se arma con
los posibles valores de verdad de las proposiciones simples para determinar el valor de verdad de la
proposicin compuesta.
OPERACIONES PROPOSICIONALES
LA NEGACIN
La negacin de la proposicin p es p, cuya tabla de valores de verdad es la siguiente:
p ~p
V F
F V
Esta tabla proviene de hacer un anlisis simple de una proposicin cualquiera, por ejemplo:
p: el 2 es un nmero natural. Esta proposicin es VERDADERA.
- 4 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Y negando la proposicin p queda:
p: NO ES CIERTO que el 2 es un nmero natural. Esta proposicin es FALSA
Ahora, busquemos una proposicin falsa, por ejemplo:
p: el 3 es un nmero natural. Esta proposicin es VERDADERA.
Y negando la proposicin p queda:
p: NO ES CIERTO QUE el 3 es un nmero natural. Lo cual es FALSA
DISYUNCIN O SUMA LOGICA
La disyuncin o suma lgica de las proposiciones p y q, es pvq, donde p y q se denominan
disyuntivos, y cuya tabla de valores de verdad es la siguiente:
Antes de armar esta tabla de valores de verdad, debemos saber cmo se obtiene la cantidad
de valores de verdad de la proposicin dada: para ello se recurre al anlisis combinatorio, y
concluimos que los valores de verdad se repiten y no interesa el orden, por lo tanto estamos en
presencia de un arreglo con repeticin de n elementos tomados de 2 en 2, o sea:
En nuestro caso particular, tendramos que la VALORES = 2
2
= 4
p q pvq
V V V
V F V
F V V
F F F
Esta tabla se explica con un ejemplo fcilmente:
P: estudio q: veo televisin
pq: estudio O veo televisin
Como este o es incluyente, lo que significa que LA VERDAD se dar cuando realice al
menos una de las acciones. Se tiene que la primera lnea es VERDADERA porque estoy
ESTUDIANDO Y VIENDO TV; la segunda lnea es VERDADERA ya que si bien no veo TV pero estoy
ESTUDIANDO; la tercera lnea es similar a la anterior y en la cuarta lnea se tiene QUE NO ESTOY
REALIZANDO NINGUNA DE LAS DOS ACCIONES, por lo tanto es FALSA.-
Como conclusin se puede decir que la disyuncin es verdadera si al menos unos de
los disyuntivos tambin lo es.-
CONJUNCIN O PRODUCTO LGICO
La conjuncin o producto lgico de las proposiciones p y q, es p.q, donde p y q se
denominan conjuntivos, y cuya tabla de valores de verdad es la siguiente:
p q p.q
V V V
V F F
F V F
F F F
s proposione n
nes proposicio n
A valores n
2

2 ' = =
- 5 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Esta tabla, al igual que la anterior, se explica con un ejemplo fcilmente:
p: estudio q: veo televisin
p.q: estudio Y veo televisin
El y nos est indicando que la proposicin ser VERDADERA si ambas acciones se
cumplen. Se tiene que la primera lnea es VERDADERA porque estoy ESTUDIANDO Y VIENDO TV;
la segunda lnea es FALSA ya que no veo TV aunque est ESTUDIANDO; la tercera lnea es similar
a la anterior y en la cuarta lnea se tiene QUE NO ESTOY REALIZANDO NINGUNA DE LAS DOS
ACCIONES, por lo tanto es FALSA.-
Como conclusin se puede decir que la conjuncin es verdadera si ambos conjuntivos
tambin lo son.-
LA IMPLICACIN O CONDICIONAL
La implicacin o condicional de las proposiciones p y q, es pq donde p se denomina
antecedente, y q consecuente, y cuya tabla de valores de verdad es la siguiente:
p q p q
V V V
V F F
F V V
F F V
Esta tabla de valores de verdad se la puede interpretar con el siguiente ejemplo:
p: apruebo
q: te presto el libro
O sea que la proposicin ser: Apruebo, ENTONCES te presto el libro
La VERDAD del condicional est basada en el cumplimiento del compromiso de aprobar. O
sea que: en la primera lnea aprob y le prest el libro, por lo tanto es VERDADERA; en la segunda
lnea aprob y no le prest el libro, lo que significa que no cumpl con el compromiso, por lo tanto es
FALSA; en la tercera lnea no aprob y le prest el libro, pero el hecho de no aprobar no est inserto
en el compromiso, por lo tanto cuando no apruebe, queda librado a prestar o no el libro, lo que
significa que ser VERDADERO al igual que la lnea cuatro.
En conclusin, la implicacin es FALSA cuando el antecedente es verdadero y el
consecuente es falso.
LA DOBLE IMPLICACIN O EL BICONDICIONAL
La doble implicacin o el bicondicional de las proposiciones p y q es pq cuya tabla de
valores de verdad es la siguiente:
p q pq
V V V
V F F
F V F
F F V
Esta operacin proposicional se la puede entender con el siguiente ejemplo:
p: te presto el libro
q: apruebo
Nuestra proposicin ser: te presto el libro SI Y SOLO SI apruebo
La VERDAD de esta proposicin se basa en el compromiso doble que existe, o sea que el
prstamo del libro se basa en la aprobacin solamente, lo que queda excluido el hecho de no
aprobar, por lo tanto en la primera lnea aprob y le prest el libro, lo que es VERDADERA; en la
- 6 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
segunda lnea aprob y no le prest el libro, lo indica que romp el compromiso, por lo tanto es
FALSA, en la tercera fila no aprob y le prest el libro, lo que es FALSA ya que el hecho de no
aprobar tambin est en el compromiso; y la cuarta lnea es VERDADERA, ya que no aprob y no le
prest el libro.-
Como conclusin se puede decir que la bicondicional es VERDADERO cuando ambas
proposiciones que lo componen son de igual valor de verdad.
LA DIFERENCIA SIMTRICA
La diferencia simtrica de las proposiciones p y q es p v q cuya tabla de valores de verdad
es la siguiente:
p q p v q
V V F
V F V
F V V
F F F
La explicacin de esta tabla de valores de verdad se basa en que este o es en sentido
excluyente, lo que significa que se puede dar una o bien la otra accin.-
Como conclusin se puede decir que la diferencia simtrica es VERDADERA, si ambas
proposiciones que la componen tienen distinto valor de verdad.-
CONDICIONES NECESARIA Y SUFICIENTE
En la tabla de valores de verdad del condicional, existen tres lneas donde es VERDADERA
(primera, segunda y tercera), pero de ellas, la tercera y la cuarta p es falsa y en la primera es
verdadera, entonces se dice que el antecedente p es condicin suficiente para q. Ahora, si el
antecedente p es verdadero, el consecuente q debe ser necesariamente verdadero para que la
implicacin lo sea, entonces se dice que el consecuente q es condicin necesaria para el
antecedente p.
TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA
Una proposicin compuesta se dice que es una tautologa si es VERDADERA
independientemente de los valores de verdad de las proposiciones simples que la componen.-
Por ejemplo la siguiente proposicin: ~(p . q) ~p v ~q
Para resolver esta tabla de valores de verdad, se debe comenzar por el parntesis de la
izquierda de la doble implicacin, teniendo en cuenta que es una conjuncin, luego se sigue por su
negacin. Luego seguimos con la parte derecha de la doble implicacin, o sea con la negacin de p y
de q, luego con estos valores se resuelve la disyuncin. Por ltimo se resuelve la doble implicacin
(operacin principal) con el ltimo resultado de la derecha (la negacin del parntesis) y el ltimo de
la izquierda (la disyuncin)
p q - (p . q) -p v -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
Una proposicin es una contradiccin si es FALSA independientemente de los valores de
verdad de las proposiciones simples que la componen.-
Por ejemplo:
p q p . q -p v -q
V V V F F F F
V F F F F V V
F V F F V V F
F F F F V V V
- 7 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Una proposicin es una contingencia si no es ni VERDADERA ni FALSA.-
Por ejemplo:
p q p . q -p v -q
V V V F F F F
V F F V F V V
F V F V V V F
F F F V V V V
LEYES LOGICAS
Se llaman leyes lgicas a todas aquellas proposiciones que son verdaderas.
1. INVOLUCIN
La negacin de la negacin de una proposicin es equivalente a la misma proposicin.
-(-p) p
Demostramos esta ley usando la tabla de valores de verdad:
p - (-p) p
V V F V V
F F V V F
2. LA IDEMPOTENCIA
De la disyuncin: La disyuncin de una misma proposicin, es equivalente a la misma
proposicin, o sea:
p v p p
Demostramos con una tabla de valores de verdad:
P (p v p) p
V V V V
F F V F
De la conjuncin: La conjuncin de una misma proposicin, es equivalente a la misma
proposicin, o sea:
p . p p
Demostramos con una tabla de valores de verdad:
p (p . p) p
V V V V
F F V F
3. ASOCIATIVIDAD
La disyuncin y la conjuncin son asociativas. O sea que:
(p v q) v r p v (q v r)
Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo
tanto tendrn 8 valores por cada proposicin dispuestas de la siguiente forma:
p q r (p v q) v r p v (q v r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V V V F
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F V F F
- 8 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
(p . q) . r p . (q . r)
Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo
tanto tendrn 8 valores por cada proposicin dispuestas de la siguiente forma:
p q r (p . q) . r p . (q . r)
V V V V V V V V
V V F V F V F F
V F V F F V F F
V F F F F V F F
F V V F F V F V
F V F F F V F F
F F V F F V F F
F F F F F V F F
4. CONMUTATIVIDAD
La disyuncin y la conjuncin son conmutativas
p v q q v p
Se demuestra con una tabla de valores de verdad:
p q p v q q v p
V V V V V
V F V V V
F V V V V
F F F V F
p . q q . p
Se demuestra con una tabla de valores de verdad:
p q p . q q . p
V V V V V
V F F V F
F V F V F
F F F V F
5. DISTRIBUTIVIDAD
De la conjuncin con respecto a la disyuncin: la conjuncin es distributiva con respecto a
la disyuncin.
(p v q) . r (p . r) v (q . r)
p q r (p v q) . r (p . r) v (q . r)
V V V V V V V V V
V V F V F V F F F
V F V V V V V V F
V F F V F V F F F
F V V V V V F V V
F V F V F V F F F
F F V F F V F F F
F F F F F V F F F
- 9 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
De la disyuncin con respecto a la conjuncin: la disyuncin es distributiva con respecto a
la conjuncin.
(p . q) v r (p v r) . (q v r)
6. IMPLICACIONES ASOCIADAS
Si se tiene en cuenta la implicacin y las posibilidades de negar o cambiar el antecedente por
el consecuente y/o viceversa, podemos concluir en lo siguiente:
p q Implicacin Directa
q p Implicacin Recproca
-p -q Implicacin Contraria
-q -p Implicacin Contra recproca
Con estas implicaciones podemos armar un cuadro visualmente entendible:
Las implicaciones contra - recprocas son equivalentes; o sea que:
p q -q -p
Demostramos esta ley lgica usando una tabla de valores de verdad:
p q p q -q -p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
p q r (p . q) v r (p v r) . (q v r)
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V V F F
F V V F V V V V V
F V F F F V F F V
F F V F V V V V V
F F F F F V F F F
RECPROCAS
C
O
N
T
R
A
R
I
A
S
C
O
N
T
R
A
R
I
A
S
-q -p
q p
RECPROCAS
-p -q
CONTRA - RECPROCAS
p q
- 10 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
7. LA DOBLE IMPLICACIN Y LA IMPLICACIN
La doble implicacin es equivalente a la conjuncin de la implicacin y su recproca. O sea:
p q (p q) . (q p)
Se demuestra usando una tabla de valores de verdad.
p q (pq) (p q) . (q p)
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
8. LA DIFERENCIA SIMTRICA Y LA DOBLE IMPLICACIN
La diferencia simtrica es equivalente a la negacin de la doble implicacin. O sea que:
p v q -(p q)
Se demuestra con una tabla de valores de verdad:
p q p v q - (p q)
V V F V F V
V F V V V F
F V V V V F
F F F V F V
9. LEYES DE DE MORGAN
De la conjuncin: La negacin de una conjuncin, es equivalente a la disyuncin de las
negaciones. O sea que:
-(p . q) -p v -q
Demostramos esta ley usando la tabla de valores de verdad:
p q - (p . q) -p v -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
De la disyuncin: La negacin de una disyuncin, es equivalente a la conjuncin de las
negaciones. O sea que:
-(p v q) -p . -q
p q - (p v q) -p . -q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V
10. NEGACION DE UNA IMPLICACIN
La negacin de una implicacin es equivalente a negacin de la disyuncin de la negacin del
antecedente y el consecuente. O sea:
-(p q) -(-p vq)
- 11 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
p q - (p q) - ( - p vq)
V V F V V F F V
V F V F V V F F
F V F V V F V V
F F F V V F V V
Ahora, aplicando la ley de De Morgan e Involucin en la disyuncin, queda:
-(p q) p . -q
O sea que se puede decir que la negacin de una implicacin tambin es equivalente a la
conjuncin del antecedente y la negacin de consecuente.
Ahora negando la negacin de la implicacin queda:
-[-(p q)] -[ -(-p v q)] -p v q
Pero la negacin de la negacin de la implicacin queda:
p q -p v q
O sea que la implicacin tambin es equivalente a la disyuncin de la negacin de
antecedente y el consecuente.-
Ahora, partiendo de la negacin de la negacin de una implicacin y aplicando involucin y
ley de De Moran, queda:
-[-(p q)] -[ -(-p v q)] -(p . -q)
O sea que:
p q -(p . -q)
Por lo tanto podemos decir que la implicacin es equivalente a la negacin de la conjuncin
del antecedente y la negacin del consecuente.
CIRCUITOS LGICOS
Haciendo un anlisis con las tablas de valores de verdad de la conjuncin y de la disyuncin,
podemos compararlo con circuitos elctricos, relacionando la VERDAD con la llegada de la corriente
al final de circuito. Cada proposicin es un interruptor, y as tenemos:
CIRCUITO EN SERIE
Este circuito tiene la particularidad de que sobre una misma lnea se encuentran los
interruptores, o sea que:
p q
Este circuito se relaciona con la conjuncin:
p q p . q
V V V
V F F
F V F
F F F
- 12 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
En la primera lnea p y q son VERDADEROS, lo que significa los interruptores estn cerrados o sea
que pasa la corriente por los dos. O sea que:
p q
En la segunda lnea p es VERDADERO y q FALSO, lo que significa que la corriente pasa hasta antes
de q. O sea que:
p q
En la tercera lnea p es FALSO y q VERDADERO, lo que significa que la corriente pasa hasta antes
de p. O sea que:
p q
En la cuarta lnea p es FALSO y q FALSO, lo que significa que la corriente pasa hasta antes de p. O
sea que:
p q
CIRCUITO EN PARALELO
Este est formado por dos lneas que tienen el mismo principio y el mismo fin y con un
interruptor en cada lnea.
p
q
Este circuito se relaciona con la disyuncin teniendo en cuenta que la VERDAD de esta proposicin
est basada en la llegada de la corriente al final del mismo. O sea:
p q pvq
V V V
V F V
F V V
F F F
V
F
F
F
- 13 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
En la primera lnea p y q son VERDADEROS, o sea que las llaves estn cerradas y pasa la corriente
por las dos lneas del circuito:
p
q
En la segunda lnea, p es VERDADERO y q FALSO, o sea que solamente la llave p est cerrada, lo
que deja pasar la corriente, o sea que:
p
q
En la tercera lnea, p es FALSO y q es VERDADERO, lo que significa que la corriente pasa por q,
entonces la disyuncin es VERDADERA, o sea:
p
q
En la cuarta lnea, p y q son FALSOS, por lo que tanto las llaves p y q estn abiertas, entonces la
disyuncin es FALSA ya que no llega la corriente hasta el final del circuito. O sea:
p
q
Ahora, el problema est cuando debemos armar un circuito lgico de proposiciones que no
son disyunciones ni conjunciones ni negaciones. En estos casos, se deben aplicar propiedades hasta
la reduccin a las mismas.-
V
V
V
F
- 14 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Por ejemplo aplicando sucesivamente la equivalencia de la diferencia simtrica y la doble implicacin,
la ley de De Morgan y la equivalencia de la negacin de una implicacin:
p v q -(pq) -[(pq) . (qp)] -(pq) v -(qp) (p .-q)v(q.-p)
Esta ltima proposicin est formada por negaciones en las proposiciones simples,
conjunciones y disyunciones. Observamos que la operacin principal es la disyuncin, por lo tanto el
circuito ser uno en paralelo, donde en cada una de las lneas de este ltimo son conjunciones o
circuitos en serie. O sea que:
p -q
q -p
RAZONAMIENTOS DEDUCTIVOS
Se llama razonamiento al par ordenado ({p
i
},c), cuya primera componente es un conjunto
finito de proposiciones denominadas premisas, y la segunda componente es otra proposicin
llamada conclusin.
Un razonamiento se dice que es deductivo, si la conclusin es evidencia de los valores de
verdad de las premisas.
Un razonamiento tambin se lo expresa como una implicacin, cuyo antecedente es la
conjuncin de las premisas, y la conclusin es el consecuente. O sea:
p
1
. p
2
. p
3
. ... . p
4
c
De un razonamiento no se dice que es verdadero o falso, sino, que ES VALIDO o NO
VALIDO.
Teniendo en cuenta que la conjuncin es verdadera cuando los conjuntivos tambin lo son, y
adems, que la implicacin es falsa cuando el antecedente es verdadero y el consecuente es falso,
se tiene slo tres posibilidades donde la conclusin es evidencia de la verdad de las premisas:
p
1
. p
2
. p
3
. ... . p
4
c
V V V
V F F
F V V
F V F
Entonces, un razonamiento deductivo se dice que es VLIDO, cuando no es posible que de
premisas VERDADERAS, se obtenga una conclusin FALSA.
Un razonamiento se los coloca en columna, enumerando las premisas, o sea que:
p
1
p
2
p
3
...........
p
n
________
c
- 15 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
LEYES DE INFERENCIAS:
Se llaman reglas de inferencias, a todo razonamiento deductivo vlido.-
Ley de Modus Ponens o Modus Ponendo: Si en un razonamiento se tiene una implicacin y el
antecedente, se obtiene como conclusin el consecuente. O sea que:
pq
p
______
q
Se demuestra fcilmente usando una tabla de valores de verdad:
p q (p q) .p q
V V V V V
V F F F V
F V V F V
F F V F V
Ley de Modus Tolens o Modus Tolendo: Si en un razonamiento se tiene una implicacin y la
negacin de consecuente, se concluye en la negacin del antecedente. O sea que:
pq
-q
______
-p
Se demuestra fcilmente usando una tabla de valores de verdad:
p q (p q) . -q -p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
Ley del silogismo disyuntivo: si en un razonamiento se tiene una disyuncin y la negacin de uno
de los disyuntivos, se obtiene como conclusin el otro disyuntivo. O sea que:
pvq pvq
-p -q
______ ______
q p
Se demuestra fcilmente usando una tabla de valores de verdad:
p q (p v q) . -p q
V V V F F V
V F V F F V
F V V V V V
F F F F V V
Ley del silogismo hipottico: si en un razonamiento se tiene dos implicaciones donde el
consecuente de una de ella, es antecedente de la otra, se obtiene como conclusin una tercera
implicacin, cuyo antecedente es el antecedente de la primera, y cuyo consecuente es el
consecuente de la segunda. O sea:
pq
qr
______
pr
- 16 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Se demuestra fcilmente usando una tabla de valores de verdad:
p q r (p q) . (q r) (pr)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Para determinar la validez de una razonamiento, se deben enumerar las premisas, aplicar
leyes a fin de reducir el razonamiento colocando a la derecha de la nueva estructura, la procedencia y
la justificacin. Cuando ya no se pueda reducir ms, se debe tener en cuenta que un razonamiento
deductivo es vlido NO ES POSIBLES QUE DE PREMISAS VERDADERAS SE OBTENGA UNA
CONCLUSIN FALSA.-
Esto significa que se toman todas las premisas VERDADERAS, y se debe concluir en la
conclusin VERDADERA. Por ejemplo:
1) pq 1) pq 1) pr De 1 y 2 LSH 1) -p 1 y 4 MT
2) -r-q 2) qr De 2 por I.C.R. 2) pvt 2) pvt
3) -(-p.-t) 3) pvt 3) ts 3) ts_
4) ts 4) ts 4) -r__ s
5) -r__ 5) -r__ s
s s
1) t 1 y 3 LSD
2) ts
s
Este ltimo da como conclusin s por la Ley de Modus Ponens. Pero de todas maneras,
analizamos este razonamiento teniendo en cuenta que las premisas son verdaderas, y en particular t,
y ts. Entonces lo nico que queda es que s tambin lo sea, por lo tanto de premisas verdaderas,
obtuvimos conclusin verdadera, lo que significa que el Razonamiento Deductivo es VALIDO.-
Nota: Se aclara que LSH es Ley del Silogismo Hipottico. LMT es Ley de Modus Tolens. Y LSD es
Ley del Silogismo Disyuntivo.
TEOREMA
Un teorema es un esquema vlido de razonamiento. Todo teorema tiene tres partes:
HIPTESIS, que est compuesta por proposiciones verdaderas o premisas, la TESIS o conclusin,
que es lo que se quiere demostrar, y la DEMOSTRACIN que son pasos lgicos que se siguen para
poder demostrar la TESIS. En conclusin, un teorema es una verdad no evidente pero si
demostrable.-
El siguiente teorema lo vamos a demostrar utilizando el mtodo deductivo, o sea que
utilizaremos proposiciones verdaderas, y trataremos de llegar a una conclusin verdadera.
En todo tringulo, la suma de los ngulos interiores es 180.
HIPTESIS
Sea el tringulo
A
bc a
TESIS
180 = + +
. . .
c b a
- 17 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
DEMOSTRACIN
Analizando el dibujo, nos damos cuenta que 180 ' ' = + +
. . .
c b a , pero como
. . . .
= = b b a a ' y ' por ser
alternos internos entre las paralelas A ab y , entonces 180 = + +
. . .
c b a
RAZONAMIENTO INDUCTIVO
Un razonamiento se dice que es inductivo, cuando partiendo de casos particulares, se puede
llegar a la conclusin en forma general.-
La siguiente propiedad se demuestra usando el razonamiento inductivo:
La suma de nmeros enteros es conmutativa
HIPTESIS
Sean a b
TESIS
a+b=b+a
DEMOSTRACIN
Como a y b son nmeros enteros, entonces particularizamos la demostracin usando nmeros
enteros, y resolviendo:
-3+2=2-3
-1=-1
5+2=2+5
7=7
100+8=8+100
108=108
-10+38=38-10
28=28
En general podemos decir que siendo a y b enteros, entonces a+b=b+a
REDUCCIN AL ABSURDO
Este mtodo de demostracin, se basa en que las implicaciones contra - recprocas son
equivalentes; o sea que pq -q-p, que sera lo mismo que HT -T-H, lo que significa que
partiendo de la negacin de la tesis y llegando a la negacin de la hiptesis (absurdo, ya que la
hiptesis siempre es verdadera) demuestra la verdad de hiptesis implica tesis. Podemos demostrar
la propiedad de los ngulos interiores de un tringulo por este mtodo:
En todo tringulo, la suma de los ngulos interiores es 180.
a
b
c
A a c
- 18 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
HIPTESIS
Sea el tringulo
A
bc a
TESIS
180 = + +
. . .
c b a
DEMOSTRACIN
Negamos la tesis, o sea que 180

= + + c b a , y como
. . . .
= = b b a a ' y ' por ser alternos internos
entre las paralelas A ab y , entonces 180 ' ' = + +
. . .
c b a , lo que nos indica que A no es una recta,
entonces tampoco
A
abc es un tringulo (lo contrario a la hiptesis) lo que es un absurdo.
Y teniendo en cuenta las implicaciones contra - recprocas, HT es verdadera.
LA FUNCIN PROPOSICIONAL
Se llama funcin proposicional, a todo predicado u objeto directo que est ligado a una
variable, y que para un valor de dicha variable, la oracin se transforma en una proposicin
Por ejemplo:
P(x)= x es azul donde x es una variable o argumento
Ahora, si x = el auto, entonces queda:
P(el auto)= el auto es azul
LOS CUANTIFICADORES
Para poder trabajar con las funciones proposicionales se utilizan los cuantificadores, o sea
que se cuantifica la funcin proposicional. Los cuantificadores son dos: el cuantificador universal y el
cuantificador existencial:
Cuantificador Universal: x: para todo equis se verifica
Cuantificador Existencial: -x/ Existe equis tal que
Una funcin proposicional que est afectada por un cuantificador se puede decir que es Verdadera o
Falsa; por ejemplo
x:xeN, de esta funcin proposicional ya se puede decir si es verdadera o falsa
a
b
c
A a c
- 19 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
NEGACIN DE UN CUANTIFICADOR
Dentro del trabajo de la lgica cuantificacional, lo importante es poder negar un cuantificador:
NEGACIN DEL CUANTIFICADOR UNIVERSAL
Para poder llegar a entender la negacin del cuantificador universal, se debe recurrir a un
ejemplo:
Todos los nmeros enteros son impares
.
2 : = x x
x:P(x)
Negamos esta oracin y nos queda:
No es cierto que todos los nmeros enteros son impares
.
2 : = x x
-x:P(x)
Y esto es equivalente a decir que:
Existen enteros que no son impares
.
2 / = - x x
-x/-P(x)
En conclusin, se puede decir que si negamos un cuantificador universal es equivalente a
cambiarlo por el existencial y negar la funcin proposicional.-
O sea:
-x:P(x) -x/-P(x)
NEGACIN DEL CUANTIFICADOR EXISTENCIAL
Al igual que el anterior, para poder llegar a entender la negacin del cuantificador existencial,
se debe recurrir a un ejemplo:
Existen nmeros enteros que son impares
.
2 / = - x x
-x/P(x)
Negamos esta oracin y nos queda:
No es cierto que algunos nmeros enteros son impares
.
2 / = - x x
--x/P(x)
Y esto es equivalente a decir que:
Todos los nmeros enteros no son impares
.
2 : = x x
x:-P(x)
En conclusin, se puede decir que si negamos un cuantificador existencial es equivalente a
cambiarlo por el universal y negar la funcin proposicional.-
O sea:
- 20 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
--x/P(x) x:-P(x)
Por ejemplo:
Cualquiera que sea un entero, existe otro que sumado a l de cero
P(x,y)= x+y=0
x,-y/x+y=0
Negando el cuantificador queda:
-x,-y/x+y=0 -x/--y/x+y=0 -x/y:x+y=0
TRABAJO PRCTICO N 1
1) Construir la tabla de verdad de cada uno de las siguientes proposiciones:
a) (p . q) v r s b) (pv q)(r v q)
c) [(p q) . (s q) |v r d) p . (q v r)
e) p [q . (s v r)| f) [p . (r v s)| (p . q)
2) Reducir a negaciones, conjunciones y disyunciones las proposiciones del ejercicio anterior y
construir el correspondiente circuito lgico.
3) Determinar la validez o invalidez de los siguientes razonamientos deductivos:
a) p . q b) -p
p r . s
p s p q
-p v q -q v s
-(p . r) q -p
s -r ______
______ p
-r
d) -(p v q) . s e) (r . s) v p
p v s -p v q
p q p q
r . s (q . s) r
p _________
___________ r
p
f) r v s g) - q -r
p r p . s
s . q r
- q -r t q
r ________
q t q
____________
t
h) -p-q i) p v q
r . s r . s
pr r . q
q v r q p
___________ q
r __________
q s
- 21 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
4) Escribir en forma simblica las siguientes proposiciones, negarlas y luego retraducirlas al lenguaje
coloquial:
a) Si apruebo, t presto el libro
b) Ana es hermosa y buena
c) Estudio o bien, escucho msica, y adems lo hago con mis compaeros
d) Los sbados estudio o me junto con mis amigos
5) Negar lo siguientes cuantificadores:
a) x: [P(x) . Q(x)| b) -x/{P(x) [Q(x) v R(x)|}
c) -X/[P(x) Q(x)| d) x:{[Q(x) . R(x)| v P(x)}
6) Dado los siguientes enunciados de teoremas, determinar la Hiptesis y la tesis:
a) Teorema de Pitgoras:
En todo tringulo rectngulo, el cuadrado de la hipotenusa es igual a la suma del cuadrado de los
catetos
b) Teorema fundamental de la semejanza de tringulos
Si a un tringulo se le traza una paralela a uno de sus lados, sta determina dos tringulos
semejantes
c) Propiedad de los cuadrilteros
En todo cuadriltero, la suma de los ngulos interiores es igual de cuatro rectos
7) Reescriba las siguientes frmulas lgicas en lenguaje natural, siendo:
p: Juan vendr en el tren de las 8:15
q: Juan vendr en el tren de las 9:15
r: Juan tendr tiempo de visitarnos
a) -p q vr
b) p . q r
c) (p q) . (p v r)
d) p v -q r
e) (p v q) . (p r)
8) Reescriba los siguientes enunciados en lenguaje natural como frmulas del clculo proposicional
clsico:
a) Si M es negativo entonces Q es negativo. Si P es positivo, entonces Q es negativo. Por lo
tanto, si M es negativo o P es positivo, luego Q es negativo.
b) Si M es negativo entonces Q es negativo. Si P es positivo, entonces Q es negativo. Por lo
tanto, si M es negativo y P es positivo, luego Q es negativo.
c) Si miro al cielo y estoy alerta entonces o ver un plato volador o si no estoy alerta, no ver un
plato volador.
9) Determine si las siguientes oraciones en lenguaje natural son equivalentes:
a) Llueve o est nublado. No llueve. Est nublado.
b) Si me levanto temprano, estar cansado. Me levanto temprano. No estoy cansado.
c) Si hay sol, vamos al club. Si es sbado, vamos al club. Si hay sol y es sbado entonces
vamos al club.
d) La venta de casas cae si el inters sube. Los rematadores no estn contentos si la venta de
casas cae. El inters sube. Los rematadores estn contentos.
- 22 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO II
LA TEORA CONJUNTISTA
- 23 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
SIMBOLISMO QUE SE UTILIZA EN LA TEORA CONJUNTISTA
Smbolo Significado
e Pertenece
-(e) e No pertenece
c Incluido en
Incluye a
Unin
Interseccin
X Por (Producto cartesiano)
- Menos
C Conjunto vaco
Luego
(a,b) Par ordenado a b
> Mayor que
> Mayor o igual que
< Menor que
s Menor o igual que
a|b a divide a b
x: Para todo x se verifica
-x/ Existe x tal que
U Conjunto universal
N Conjunto de los nmeros naturales
Z Conjunto de los nmeros enteros
Q Conjunto de los nmeros racionales
R Conjunto de los nmeros reales
C Conjunto de los nmeros complejos
CONJUNTO, ELEMENTO Y PERTENENCIA
Para poder abordar la teora conjuntista, debemos tener presente tres conceptos
fundamentales: conjuntos elemento y pertenencia, los cuales son conceptos primitivos.
Todo conjunto se lo designa con una letra mayscula, por ejemplo A, B, C, etc. Y los
elementos con una letra minscula, por ejemplo a, b, c, etc. Ahora, la relacin que existe entre
elemento y conjunto es el de pertenencia, y se usa el smbolo e.
De un elemento a un conjunto se puede decir que pertenece, y se denota:
aeA el elemento a pertenece al conjunto A
Por otro lado, se puede negar la pertenencia, y se denota:
-( aeA) aeA el elemento a no pertenece al conjunto A
FORMAS DE DEFINIR UN CONJUNTO
Los conjuntos se pueden definir de dos formas: enumerando sus elementos (definido por
extensin), o enunciando una propiedad que caracteriza solamente a esos elementos (definido por
comprensin). Por ejemplo:
A = {1, 2, 3, 4} definido por extensin
A={xeN/x s 4} definido por comprensin (se lee El conjunto A est formado por todos los
elementos x que pertenecen a los nmeros naturales, tal que x es menor o igual que cuatro)
- 24 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CONJUNTOS ESPECIALES
CONJUNTO VACO
El conjunto vaco es aquel que carece de elementos.
Definido por extensin sera:
|={}
Definido por comprensin:
| = {x/x=x} se elige esta forma ya que no existe ningn elemento que sea distinto consigo
mismo
CONJUNTO UNITARIO
El conjunto unitario es aquel que tiene slo un elemento:
A={a} por extensin
A={x/x=a} por comprensin
CONJUNTO UNIVERSAL
El conjunto universal es el conjunto formado por todos los elementos de los cuales se est
hablando. Se lo simboliza con U.-
CARDINAL DE UN CONJUNTO
Definicin
Se llama cardinal de un conjunto a la cantidad de elementos que tiene el conjunto. El cardinal de un
conjunto se lo representa con #.
Por ejemplo:
A={-1,0,1, 2, 3, 4,7,9} #A = 8
LOS CONJUNTOS NUMRICOS
Los conjuntos numricos se fueron creando por la necesidad de solucionar problemas con las
operaciones algebraicas.
Los nmeros Naturales N
Primero se plante la necesidad de contar, y se crearon los nmeros naturales (N), o sea
N = {1,2,3,4...}
En este conjunto de nmeros se puede sumar y restar cuando el minuendo es mayor o igual
que el sustraendo.-
Los nmeros Enteros Z
Con el uso de los nmeros naturales se lleg a la conclusin de que no se podan resolver
diferencias donde el minuendo sea menor que el sustraendo, entonces ante el planteamiento de a b
donde a < b se crearon los nmeros negativos que unidos con los naturales dieron origen a los
nmeros enteros.-
Por otro lado tambin con los enteros se poda multiplicar y dividir si el dividendo era mltiplo
del divisor.
Los nmeros racionales Q
Para poder resolver las divisiones donde el dividendo no es mltiplo del divisor, se crearon las
expresiones fraccionarias y las expresiones decimales, que unidos con los enteros dieron origen a los
nmeros racionales.-
- 25 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Racionales proviene de poder expresar un nmero como una razn.
Por ejemplo:
2
7
2 : 7 =
Los nmeros reales R
Pero no todos los nmeros se los puede expresar como fraccin, y as lo determin Pitgoras
cuando al aplicar su teorema en un tringulo rectngulo de catetos igual a 1 se descubri:
2 1 1
2 2
= + = H .
Todo aquel nmero que no se los puede expresar como fraccin se denominan irracionales
que unidos con los racionales dieron origen a los nmeros reales.-
Los nmeros complejos C
Pero no todas las operaciones se pueden resolver en los nmeros reales, ya que no tiene
solucin las races de ndice par y radicando negativo, entonces se crearon los nmeros imaginarios,
que unidos a los reales dieron origen a los nmeros complejos.-
Para resolver estas races se lleg a una convencin donde i = 1 , o sea que por ejemplo:
i . 2 1 . 4 4 = =
Ahora, el valor de i . 2 1 . 2 1 . 16 16
4 4 4
= = =
Pero, usando estos nmeros y los reales podemos construir un nuevo conjunto numrico en
donde cada uno de ellos se forma con una parte real ms una imaginaria, o sea:
a+b.i
Estos nmeros se llaman nmeros complejos, y el conjunto formado por ellos se denomina
conjunto de los complejos.-
DIAGRAMAS DE VENN
Los diagramas de Venn es una forma de representar grficamente los conjuntos usando
figuras cerradas como circunferencias, tringulos, elipses, rectngulos, etc.
Por conveniencias se utiliza el rectngulo para graficar el conjunto universal, y las otras
figuras para cualquier otro conjunto:
- 26 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
RELACIONES ENTRE CONJUNTOS
Comparando los conjuntos podremos obtener una conclusin; esto es lo que se denomina
relaciones entre conjuntos.
INCLUSIN DE CONJUNTOS
Un conjunto est incluido en otro, s y solo s los elementos del primero tambin son del
segundo. Analticamente:
A c B xeA xe B
Propiedades de la Inclusin
Propiedad Reflexiva
Todo conjunto est incluido en s mismo.-
A c A xeA xe A aplicando la definicin
V V V V V
Como xeA es verdadero entonces A c A es verdadero, lo que significa que todo conjunto
est incluido en s mismo.-
Propiedad transitiva
Si un conjunto est incluido en otro, y este en un tercero, entonces el primero est incluido en
el tercero.-
A c B . B c C Ac C
Aplicando la definicin de inclusin y la Ley del Silogismo Hipottico, se tiene:
A c B . B c C (xeA xeB) . (xeB xeC) xeA xeC A c C
IGUALDAD DE CONJUNTOS
Definicin
Dos conjuntos son iguales cuando tienen exactamente los mismos elementos.
Ahora, para que dos conjuntos sean iguales es necesario que uno est incluido en el otro y
viceversa, por lo tanto se tienen:
A = B A c B . B c A
Teniendo en cuenta la definicin de igualdad de conjuntos, y que en la geometra se trabaja
con conjuntos de puntos, dos figuras o cuerpos que tienen las mismas dimensiones no son iguales
por que el lugar que ocupa cada uno de ellos en el espacio o en el plano, son distintos; en este caso
se habla de CONGRUENCIA.-
PROPIEDADES DE LA IGUALDAD DE CONJUNTOS
La igualdad de conjuntos cumple con las tres propiedades de una relacin, o sea que es
REFLEXIVA, SIMTRICA Y TRANSITIVA.
Propiedad Reflexiva
Todo conjunto es igual a s mismo
H) Sea el conjunto A
T) A = A
- 27 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
D) Como A c A A c A . A c A A = A
Esto es por la idempotencia de la conjuncin y por la definicin de igualdad
Propiedad Simtrica
H) Sea A = B
T) B = A
D) Como A = B A c B . B c A B c A . A c B B = A
Esto es aplicando la definicin de igualdad y la conmutatividad de la conjuncin
Propiedad Transitiva
Si un conjunto es igual a otro, y este es igual a un tercero, entonces el primero es igual al
tercero.
H) Sea A = B . B = C
T) A = C
D) Como
A = B . B = C (A c B . B c A) . (B c C . C c B)
(A c B . B c C) . (C c B . B c A) A c C . C c A A = C
Esto es aplicando definicin de igualdad, conmutatividad y asociatividad de la conjuncin, simetra de
la igualdad e idempotencia de la conjuncin.-
CARACTERIZACIN DEL CONJUNTO VACO
Al conjunto vaco lo caracterizan dos propiedades. Estas son:
1) El conjunto vaco est incluido en cualquier otro conjunto
H) Sea el conjunto A
T) C c A
D) Teniendo en cuenta la definicin de inclusin y la definicin de implicacin, se tiene:
C c A xeC xeA
V V F V V
Esto es dado que xeC es falso y xeA, por lo consiguiente la implicacin es verdadera, por lo tanto la
inclusin es verdadera.
2) El conjunto vaco es nico (unicidad)
H) Sean los conjuntos vacos C y C
T) C = C
D) Como C es un conjunto vaco y por la propiedad anterior se asegura que CcC
Ahora, como C tambin es un conjunto vaco, y por la propiedad anterior se tiene CcC.
Y teniendo en cuenta la definicin de igualdad se tiene:
C = C
OPERACIONES ENTRE CONJUNTOS
Toda operacin se caracteriza por tener un resultado. Las operaciones entre conjuntos dan
como resultado otros conjuntos.-
- 28 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
1. COMPLEMENTACIN
Sea el conjunto A. Se llama complemento del conjunto A, al conjunto formado por todos los
elementos del universal que no son de A.-
Simblicamente:
A
C
= {x e U/x e A}
Decir que:
x e A
C
x e A
En diagramas de Venn es:
Todo lo rayado son los elementos del conjunto universal que no son de A
Propiedades de la Complementacin
Involucin
El complemento del complemento de un conjunto, es igual al mismo conjunto
H) Sea el conjunto A
T) (A
C
)
C
= A
D) Partiendo de la definicin de inclusin, otras formas de negar, e involucin en la lgica, se
tiene
xe (A
C
)
C
xe A
C
~(xe A
C
) ~(xe A) ~[~(xe A)] xe A
Pero con esta demostracin no se demostr la igualdad, entonces:
xe (A
C
)
C
xe A [(xe (A
C
)
C
xe A)] . [xe A xe (A
C
)
C
]
(A
C
)
C
c A . A c (A
C
)
C
(A
C
)
C
= A
Esto es aplicando la equivalencia entre la doble implicacin y la implicacin y la definicin de
igualdad.-
Grficamente se demuestra:
(A
C
)
C
A
A U
A U A U
- 29 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Para el primer caso, lo que est rayado oblicuamente es el A
C
, y lo que est sombreado es
(A
C
)
C
2. LA INTERSECCIN
Sean los conjuntos A y B, se llama interseccin entre los conjuntos A y B al conjunto AB
formado por los elementos comunes. Lgicamente, hablar de elementos comunes, es hablar
de elementos que pertenecen a uno y al otro conjunto.-
O sea que:
A B = {xeU/xeA . xeB}
Ahora, decir que:
xe AB xeA . xeB
Grficamente se tiene:
Propiedades y elementos distinguidos de la interseccin
Idempotencia
La interseccin de un conjunto, es igual al mismo conjunto
H) Sea el conjunto A
T) A A = A
D) Aplicando la definicin de interseccin, la idempotencia de la conjuncin y la definicin de
igualdad, se tiene:
xe A A xeA . xeA xeA
A A = A
Asociatividad
La interseccin es asociativa
H) Sean los conjuntos A, B y C
T) A (B C) = (A B) C
D) Aplicando la definicin de interseccin, la asociatividad de la conjuncin y la definicin de
igualdad, se tiene:
xe A (B C) xeA . xe (B C) xeA . (xeB . xeC)
(xeA . xeB) . xeC xe(A B) . xeC xe(A B) C
A (B C) = (A B) C
- 30 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Grficamente es:
El primer grfico es A (B C), y el segundo (A B) C
La conmutatividad
La interseccin es conmutativa
H) Sean los conjuntos A y B
T) A B = B A
D) Aplicando la definicin de interseccin, la conmutatividad de la conjuncin y la definicin
de igualdad, se tiene:
xe A B xeA . xeB xeB . xeA xe B A
A B = B A
Grficamente sern los mismos dado que son dos conjuntos.-
Elemento neutro
El elemento neutro de la interseccin es el conjunto universal
H) Sea el conjunto A
T) A U = U A = A
D) Dado que el conjunto AcU A U = U A = A
Elemento absorbente
El elemento absorbente es el conjunto vaco
H) Sea el conjunto A
T) A C = A C= C
D) Dado que, por la caracterizacin del C, CcA A C = C A = C
3. UNIN DE CONJUNTOS
Definicin:
La unin de los conjuntos A y B es el conjunto AB formado por los elementos de A o
de B o de ambos. O sea que:
A B = {xeU/xeA v xeB}
Decir que:
xe A B xeA v xeB
- 31 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Grficamente:
Propiedades de la unin de conjuntos
Idempotencia
La unin de un conjunto, es igual al mismo conjunto
H) Sea el conjunto A
T) A A = A
D) Aplicando la definicin de unin, la idempotencia de la disyuncin y la definicin de
igualdad, se tiene:
xe A A xeA v xeA xeA
A A = A
Asociatividad
La unin es asociativa
H) Sean los conjuntos A, B y C
T) A (B C) = (A B) C
D) Aplicando la definicin de unin, la asociatividad de la disyuncin y la definicin de
igualdad, se tiene:
xe A (B C) xeA v xe (B C) xeA v (xeB v xeC)
(xeA v xeB) v xeC xe(A B) v xeC xe(A B) C
A (B C) = (A B) C
Grficamente:
El primer grfico es A (B C), y el segundo (A B) C
La conmutatividad
La unin es conmutativa
H) Sean los conjuntos A y B
T) A B = B A
- 32 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
D) Aplicando la definicin de unin, la conmutatividad de la disyuncin y la definicin de
igualdad, se tiene:
xe A B xeA v xeB xeB v xeA xe B A
A B = B A
Grficamente sern los mismos dado que son dos conjuntos.-
Elemento neutro
El elemento neutro de la unin es el conjunto vaco
H) Sea el conjunto A
T) A C = A C= A
D) Dado que, por la caracterizacin del C, CcA A C = C A = A
Elemento absorbente
El elemento neutro de la unin es el conjunto universal
H) Sea el conjunto A
T) A U = U A = U
D) Dado que el conjunto AcU A U = U A = U
4. DIFERENCIA ENTRE CONJUNTOS
Definicin
La diferencia entre los conjuntos A y B, donde A se llama minuendo y B sustraendo, es el
conjunto A B formado por todos los elementos de A que no son de B. Simblicamente:
A B = {xeU/xeA . xeB}
Ahora, si:
xe A B xeA . xeB
Corolario
Teniendo en cuenta la definicin de complemento, de interseccin y de igualdad, se tiene:
xe A B xeA . xeB xeA . xeB
C
xe A B
C
A B = A B
C
Grficamente es:
- 33 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
OTRAS PROPIEDADES
Leyes Distributivas
De la interseccin con respecto a la unin
La interseccin es distributiva con respecto a la unin
H) Sean los conjuntos A, B y C
T) A (B C) = (A B) (A C)
D) Teniendo en cuenta las definiciones de interseccin, unin e igualdad, y la propiedad
distributiva de la conjuncin con respecto a la disyuncin se tiene:
xe A (B C) xe A . xe (B C) xe A . (xeB v xeC)
(xe A . xeB) v (xe A . xeC) xe A B v xe A C
xe (A B) (A C)
A (B C) = (A B) (A C)
Grficamente:
Lo que est con gris en el primer caso es la unin, luego la interseccin es lo que est con
negro.-
Para el segundo caso, la unin de las dos intersecciones es lo que est con negro.-
De la unin con respecto a la interseccin
La unin es distributiva con respecto a la interseccin.
H) Sean los conjuntos A, B y C
T) A (B C) = (A B) (A C)
D) Teniendo en cuenta las definiciones de interseccin, unin e igualdad, y la propiedad
distributiva de la disyuncin con respecto a la conjuncin, se tiene:
xe A (B C) xe A v xe (B C) xe A v (xeB . xeC)
(xe A v xeB) . (xe A v xeC) xe A B . xe A C
xe (A B) (A C)
A (B C) = (A B) (A C)
Grficamente:
- 34 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
En el primer grfico, al conjunto A se lo une con la interseccin de B con C.
En el segundo al realizar la interseccin de las uniones se observa que los elementos
comunes son todos los de A y los de B y C, o sea la parte negra.-
Leyes de De Morgan
De la interseccin
El complemento de la interseccin de dos conjuntos, es igual a la unin de los complementos.
H) Sean los conjuntos A y B
T) (A B)
C
= A
C
B
C
D) Aplicando las definiciones de interseccin, complemento, unin y de igualdad, y la ley de
De Morgan para la conjuncin, se tiene:
xe (A B)
C
xe (A B) -[xe(A B)] -( xeA . xeB)
-(xeA) v -(xeB) xeA v xeB xeA
C
v xeB
C

xe A
C
B
C
(A B)
C
= A
C
B
C
Grficamente:
En el primer grfico, la interseccin es lo que est de blanco, lo que lo rodea (gris) es el
complemento.-
En el segundo, hay que unir los dos complementos, y justamente la parte central no es ni de
uno ni del otro, luego la unin son todos los elementos de cada complemento, o sea lo que
est de gris.-
De la unin
El complemento de la unin de dos conjuntos, es igual a la interseccin de los complementos:
H) Sean los conjuntos A y B
T) (A B)
C
= A
C
B
C
D) Aplicando las definiciones de interseccin, complemento, unin y de igualdad, y la ley de
De Morgan para la conjuncin, se tiene:
xe (A B)
C
xe (A B) -[xe(A B)] -( xeA v xeB)
-(xeA) . -(xeB) xeA . xeB xeA
C
. xeB
C

xe A
C
B
C
(A B)
C
= A
C
B
C
- 35 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Grficamente:
En el primer grfico el complemento de la unin es lo de gris.
En el segundo, el complemento de A son los elementos que estn a fuera de A, lo mismo que
los de B, ahora la interseccin son los comunes de afuera de A y de B, o sea lo que est de
gris.-
DIFERENCIA SIMTRICA
Definicin
La diferencia simtrica de los conjuntos A y B es A A B, formado por los elementos de la
unin entre A B y B A.
Simblicamente:
A A B = (A B) (B A)
Ahora, teniendo en cuenta que A B = A B
C
se tiene:
A A B = (A B
C
) (B A
C
)
Grficamente:
Propiedades de la diferencia simtrica
Conmutatividad
La diferencia simtrica es conmutativa
H) Sean los conjuntos A y B
T) A A B = B A A
D) Aplicando la definicin de diferencia simtrica y la propiedad conmutativa de la unin, se
tiene:
A A B = (A B) (B A) = (B A) (A B) = B A A
Asociatividad
La diferencia simtrica es asociativa
H) Sean los conjuntos A, B y C
- 36 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
T) A A (B A C) = (A A B) A C
D) Para demostrar esta propiedad se lo debe hacer desarrollando ambos miembros de la
igualdad y comparar sus resultados.-
Comenzamos con el primero, aplicando sucesivamente y convenientemente las definiciones
de diferencia simtrica, las propiedades distributivas, conmutativas, elemento neutro
A A (B A C) = [A (B A C)
C
] [(B A C) A
C
]
Por definicin de diferencia simtrica
= {A [(BC
C
) (CB
C
)]
C
} {[(BC
C
) (CB
C
)] A
C
}
Por definicin de diferencia simtrica
={A[(BC
C
)
C
(CB
C
)
C
]}(A
C
BC
C
) (A
C
B
C
C)
Por De Morgan y Distributiva
={A[(B
C
C) (C
C
B)]}(A
C
BC
C
) (A
C
B
C
C)
Por ley De Morgan e Involucin
={A[(B
C
C
C
)(B
C
B)(CC
C
)(CB)]}(A
C
BC
C
) (A
C
B
C
C)
Propiedad distributiva
= {A[(B
C
C
C
)CC(CB)]} (A
C
BC
C
) (A
C
B
C
C)
Por ser B
C
y B, C y C
C
conjuntos disjuntos
= {A[(B
C
C
C
) (CB)]} (A
C
BC
C
) (A
C
B
C
C)
Por ser el C neutro para la unin
= (ABC)(AB
C
C
C
)(A
C
BC
C
)(A
C
B
C
C) (I)
Propiedades distributivas y conmutativas
(A A B)A C = [(A A B) C
C
] [C (A A B)
C
]
Por definicin de diferencia simtrica
= {[(AB
C
) (BA
C
)]C
C
} {C[(AB
C
) (BA
C
)]
C
}
Por definicin de diferencia simtrica
=(AB
C
C
C
) (A
C
BC
C
){C[(AB
C
)
C
(BA
C
)
C
]}
Por De Morgan y Distributiva
=(AB
C
C
C
)(A
C
BC
C
){C[(A
C
B)(B
C
A)]}
Por ley De Morgan e Involucin
=(AB
C
C
C
) (A
C
BC
C
){C[(A
C
B
C
)(A
C
A)(BB
C
)(BA)]}
Propiedad distributiva
= (AB
C
C
C
)(A
C
BC
C
){C[(A
C
B
C
)CC(BA)]}
Por ser A
C
y A, B y B
C
conjuntos disjuntos
= (AB
C
C
C
)(A
C
BC
C
){C[(A
C
B
C
) (BA)]}
Por ser el C neutro para la unin
= (ABC)(AB
C
C
C
)(A
C
BC
C
)(A
C
B
C
C) (II)
Propiedades distributivas y conmutativas
de I y II y por propiedad transitiva de la igualdad, se tiene:
A A (B A C) = (A A B) A C
CONJUNTO DE PARTES
Es importante poder formar conjuntos cuyos elementos son otros conjuntos, es por eso, y
valindose de un conjunto y posibilidad que no dan sus elementos, podemos definir conjunto de
partes.
Definicin
Sea el conjunto A, se llama conjunto de partes de A al conjunto P(A) formado por todos los
conjuntos que se pueden armar con los elementos de A.-
Simblicamente:
P(A) ={X/X c A}
Dicho de otra forma:
X e P(A) X c A
- 37 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Por ejemplo:
Sea A = {1, 2, 3} P(A) = {{1},{2},{3},{1,2}{1,3},{2,3},{1,2,3},C}
Esto es dado que todo conjunto est incluido en s mismo, y que el vaco est incluido en cualquier
otro conjunto.
UNIONES DISJUNTAS
Cuando tenemos conjuntos disjuntos, o sea que no tienen elementos comunes, y se trata de
realizar una unin, estaremos en presencia de una unin disjunta.
Para ello designaremos de la siguiente forma con los conjuntos A y B
A B = A + B siempre que A B = C
Ahora el problema est en expresar como una unin disjunta a una unin de cualquier
conjunto. Para ello recurriremos a un grfico teniendo en cuenta los conjuntos A y B
Observando el grfico, se obtuvo el conjunto A y lo grisceo que son disjuntos. Ahora cmo
ser simblicamente?
A B = A (B A) = A (B A
C
) = A (A
C
B)
Por lo tanto podemos expresarlo como una unin disjunta, o sea que:
A (A
C
B) = A + (A
C
B)
Y por la propiedad transitiva de la igualdad, se tiene:
A B = A + (A
C
B)
Que es lo que justamente se quera llegar, expresar cualquier unin como una unin disjunta.-
PAR ORDENADO
Sean los conjuntos {a} y {a, b}. Se llama par ordenado (a, b) al conjunto {{a}, {a,b}}
O sea que
(a, b) = {{a}, {a,b}}
Donde a se denomina primera componente, y b, segunda componente
PRODUCTO CARTESIANO
Definicin
Sean los conjuntos A y B, se llama producto artesiano A X B al conjunto formado por todos
los pares ordenados cuyas primeras componentes son los elementos de A, y las segundas
componentes, los elementos de B.-
- 38 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Simblicamente es:
A X B = {(a,b)/aeA . beB}
Decir que:
(a,b)eAXB aeA . beB
Por ejemplo:
Sean los conjuntos:
A={1,2,3} y B={5,6}
AXB = {(1,5); (1,6); (2,5); (2,6); (3,5); (3,6)}
Como se puede observar, el nmero de elementos del producto cartesiano est dado por el producto
de la cantidad de elementos de A y de B.-
Ahora, tambin se puede trabajar con un solo conjunto, o sea hacer el producto
cartesiano (siendo A el conjunto) AXA=A
2
, por ejemplo:
A={1,2,3}
A
2
= {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
TRABAJO PRCTICO N 2
1) Dado los siguientes conjuntos, y teniendo en cuenta el Universal que figura a la par, definir los
mismos por comprensin:
a) A={0,1,2,3} U=Z b) B={-5,-4,-3,-2,-1,0, 1,2} U=Z
c) C={0,1,6,7,8} U=N d) D={9,10,16,17,22,23,24} U=N
2) Teniendo en cuenta el conjunto de los nmeros Reales, se llama intervalo a un subconjunto del
mismo (Reales).-
El intervalo es abierto cuando no se encuentran en el subconjunto los extremos que figuran
en l. O sea:
(a, b) intervalo abierto, a y b e (a, b)
El intervalo es cerrado si los extremos pertenecen a l. O sea:
[a, b| donde los extremos a y b e [a, b|
Y por supuesto, los intervalos pueden ser semiabiertos.-
Ahora, sea el conjunto de los nmeros reales, Definir los siguientes conjuntos por comprensin y
graficarlos en la recta numrica:
a) A=(-8, 1) b) B=[-4, 4) c) C=[100, 200| d) D= (0, 100|
3) Hacer el producto cartesiano de los siguientes conjuntos:
a) A={1,2,3} B={8,9} b) A={xeN/4<xs8} B={xeZ/-1sxs2}
4) Dadas las siguientes propiedades, demostrarlas en forma simblica y grfica, justificando los
razonamientos realizados:
a) A B = A (B - A) b) A - B = A - (A B)
c) (A B) - C = (A - C) (B - C) d) (A - B) - C = A - (B C)
e) A (B - C) = (A B) - (C -A) f) [A (B C)] B= (A B) (A C) B
C
5) Demostrar justificando los razonamientos realizados:
a) (A B) X C = (A X C) (B X C)
- 39 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
b) Teniendo en cuenta que #(A B) = #(A) + #(B) - #(A B), demostrar que:
#(A B C) = #(A) + #(B) + #(C) - #(A B) - #(A C) - #(B C) + #(A B C)
6) expresar como uniones disjuntas la siguiente operacin
A B C
7) Dado un conjunto cualquiera A. Se llama conjunto de partes de A, al conjunto formado por todos
conjuntos que se pueden formar con los elementos del conjunto A. En smbolo:
P(A)={X/XcA}
En base a la definicin anterior, determinar el conjunto de Partes de los siguientes conjuntos:
a) A = {1, 2, 3} b) B = {4,5,6,7,8}
c) C = { 0,5 ; 1; 1,5; 2} d) D = {a, b, c}
8) Determinar la operacin que corresponde a cada diagrama de Venn:
e) f)
g) h)
- 40 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO III
RELACIONES BINARIAS
- 41 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
RELACIONES BINARIAS
Al trabajar con conjuntos es imprescindible poder relacionarlos teniendo en cuanta la
veracidad de una proposicin. Estas relaciones son las que estudiaremos en este apunte.
Definicin
Sean los conjuntos A y B. Se llama relacin binaria entre los conjuntos A y B a un
subconjunto del producto cartesiano AXB, cuyos pares cumplen con una determinada proposicin.-
O sea que si R es la relacin entre los conjuntos A y B, entonces R c AXB
Por ejemplo:
Sean los conjuntos A = {1,2,3} y B = {5,6}
(x, y) e RcAXB x,y
AXB={(1,5), (1,6), (2,5), (2,6), (3,5), (3,6)}
Teniendo en cuenta la definicin de relacin, debemos buscar en el producto cartesiano
aquellos pares donde la primera componente divida a la segunda. O sea:
R = {(1,5), (1,6), (2,6), (3,6)}
Al conjunto A se lo denomina conjunto de partida y a B conjunto de llegada. Al conjunto
formado por todos los elementos de A que se relacionan con los elementos de B se denomina
Dominio, y al subconjunto de B que tienen antecedentes en A se llama Imagen.-
O sea que el Dominio de la relacin es el conjunto formado por todas las primeras
componentes de los pares de la relacin, y la Imagen es el conjunto formado por todas las segundas
componentes de los pares de la relacin.-
En nuestro ejemplo, se tiene:
D(R) = {1, 2, 3} y I(R) = {5,6}
Para graficar una relacin, se la puede hacer de tres formas:
En diagramas de Venn: se dibujan los dos conjuntos y se unen con flechas los elementos del
conjunto de partida que se relacionan con el de llegada. En nuestro ejemplo ser:
A B
La otra forma de graficar una relacin es utilizando un sistema de ejes coordenados
cartesianos, poniendo en el eje de las abscisas el conjunto de partida, y en el de las ordenadas, el
conjunto de llegada. Luego se trazan paralelas al otro eje por cada uno de los puntos de los ejes,
siendo el conjunto de los puntos de corte el producto cartesiano. Ahora en esta grfica, se encierran
con una curva cerrada los puntos que pertenecen a la relacin.-
1.
2.
3.
5.
6.
- 42 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
En nuestro caso ser:
Por ltimo, tambin se puede graficar en el sistema matricial (de matrices), colocando al
conjunto de partida en forma vertical y al de llegada en forma horizontal. Luego en las intersecciones
cuyos pares pertenezcan a la relacin se coloca el 1 y donde no, el 0. En nuestro caso ser:
B
A
5 6
1 1 1
2 0 1
3 0 1
Relacin inversa
Sea una relacin Rc AXB. Se dice que la relacin R
-1
es la relacin inversa de R, solamente
s R
-1
c BXA.-
O sea que R
-1
= {(y,x)/(x,y) e R}
En nuestro ejemplo, la relacin inversa es:
R
-1
= {(5,1), (6,1), (6,2), (6,3)}
COMPOSICIN DE RELACIONES
Dada dos relaciones: RcAXB y ScBXC. Se llama relacin compuesta a la relacin SoRcAXC
(R compuesto con S incluida en AXC) a la formada por los pares que tienen como primera
componente a las primeras componentes de los pares de R y como segunda componente a la
segundas de los pares de S, siempre que las segundas componentes de los pares de R sean primera
de los pares de S.
O sea que:
SoR = {(x,z) / (x,y) eR .(y,z) eS}
Dicho de otra forma:
(x,z) e SoRcAXC (x,y) eR . (y,z) eS
- 43 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Grficamente es:
Por ejemplo:
A = {1, 2, 3} B = {1,2,4} y
)
`

= 2 ,
4
1
,
2
1
C
La relacin R de AXB est formada por todos aquellos pares cuya segunda componente sean
el cuadrado de la primera.
La relacin S de BXC est formada por todos aquellos pares cuya segunda componente sean
la mitad de la primera.
(x,y) eRcAXB y=x
2
2
) , (
y
z BXC S z y = c e
AXB = {(1,1)(1,2)(1,4)(2,1)(2,2)(2,4)(3,1)(3,2)(3,4)}
R={(1,1)(2,4)}
, ) , ) , )
)
`

|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
= 2 , 4
4
1
, 4
2
1
, 4 2 , 2
4
1
, 2
2
1
, 2 2 , 1
4
1
, 1
2
1
, 1 BXC
, )
)
`

|
.
|

\
|
= 2 , 4
2
1
, 1 S
)
`

|
.
|

\
|
= ) 2 , 2 (
2
1
, 1 SoR
Partiendo de las definiciones, se tiene que la relacin SoR de AXC, est formada por todos
aquellos pares cuya segunda componente sea la mitad del cuadrado de la primera.
2
) , (
2
x
z AXC SoR z x = c e
, ) , ) , )
)
`

|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
|
.
|

\
|
= 2 , 3
4
1
, 3
2
1
, 3 2 , 2
4
1
, 2
2
1
, 2 2 , 1
4
1
, 1
2
1
, 1 AXC
)
`

|
.
|

\
|
= ) 2 , 2 (
2
1
, 1 SoR
- 44 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Grficamente queda:
RELACIONES DEFINIDAS EN UN CONJUNTO
Sea el conjunto A, se llama relacin definida en un conjunto, al subconjunto del producto
cartesiano AXA o A
2
.
O sea que:
R es una relacin definida en A RcA
2
.
Por ejemplo:
Sea A={1,2,3}
(x,y)eRcA
2
x s y
Hacemos primero el producto cartesiano, o sea
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
La relacin estar formada por todos aquellos pares de A
2
cuyas primeras componentes sean
menores o iguales que las segundas. O sea:
R = {(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)}
POSIBLES PROPIEDADES DE LAS RELACIONES DEFINIDAS EN UN CONJUNTO
Analizando una relacin y sus pares ordenados, puede o no cumplir con las siguientes
propiedades de las relaciones:
1. PROPIEDAD REFLEXIVA
La relacin RcA
2
es reflexiva, solamente s todos los elementos de A tienen pares de
componentes iguales en la relacin.-
RcA
2
es reflexiva x: xeA (x,x)eR
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
x s y
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)}
Los elementos de A son 1, 2 y 3, y en la relacin estn (1,1) (2,2) y (3,3), o sea que todos los
elementos de A determinan pares de componentes iguales en la relacin, o sea que es
REFLEXIVA.-
- 45 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
2. PROPIEDAD NO REFLEXIVA
La propiedad no reflexiva, es la negacin de la reflexividad. Entonces, la relacin RcA
2
es no
reflexiva si algunos elementos de A no tienen pares de componentes iguales en la relacin.
Esto se obtiene negando el cuantificador de la propiedad anterior, y aplicando la negacin de
una implicacin:
RcA
2
es No reflexiva ~(x:xeA (x,x)eR) -x/~( xeA (x,x)eR)
-x/xeA . (x,x)eR
Ejemplo
Si A = {1,2,3} y (x,y) eRcA
2
x s y . y = 2
A
2
= {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,1)(1,3)(2,3)(3,3)}
En esta relacin tenemos los pares de componentes iguales (1,1) y (3,3); pero los elementos
de A son el 1,2,3, lo que significa que algunos elementos de A determinan pares de
elementos iguales en la relacin. O sea que R de A
2
es No Reflexiva.-
3. PROPIEDAD ARREFLEXIVA
Una relacin R de A
2
es Arreflexiva, si no tiene pares de componentes iguales en la relacin.
O sea que:
RcA
2
es Arreflexiva x:xeA (x,x) e R
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
x < y
A
2
= {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,2)(1,3)(2,3)}
En este caso, ningn elemento de A determina pares de componentes iguales en la relacin.
Por lo tanto es Arreflexiva.-
4. PROPIEDAD SIMTRICA
Una relacin definida en un conjunto es simtrica, si y slo si todos los pares de la relacin
determinan pares de componentes conmutadas en la relacin. O sea:
RcA
2
es simtrica x,y: (x,y)eR (y,x)eR
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
2|x+y
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,1)(1,3)(2,2)(3,1)(3,3)}
Observando esta relacin que todos los pares tienen pares de componentes conmutadas en
la relacin, por lo tanto es Simtrica.-
- 46 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
5. PROPIEDAD NO SIMTRICA
Una relacin es no simtrica, si algunos de los pares de la relacin no tienen pares de
componentes conmutadas en la relacin. Esta propiedad es la negacin de la simetra, o sea:
RcA
2
es no simtrica ~(x,y: (x,y)eR (y,x)eR)
-x/~(y: (x,y)eR (y,x)eR)
-x,- y/~[(x,y)eR (y,x)eR)]
-x,- y/(x,y)eR . (y,x)eR)
Esto es aplicando la negacin de un cuantificador, y la negacin de la implicacin.-
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
2|x+y . y=1
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,3)(2,2)(3,3)}
Es no simtrica, pues est el (1,3) y no est el (3,1), lo que significa que es No simtrica.-
6. PROPIEDAD ASIMTRICA
Una relacin es asimtrica si todos los pares de la relacin no tienen pares de componentes
conmutadas en la relacin. O sea que:
RcA
2
es asimtrica x,y: (x,y)eR (y,x)eR
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
x<y
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,2)(1,3)(2,3)}
En esta relacin, todos los pares ordenados no tienen pares de componentes conmutadas en
la misma relacin, por lo tanto es Asimtrica.-
7. PROPIEDAD TRANSITIVA
Una relacin es transitiva solamente s todos los pares cumplen que: eligiendo dos de ellos, la
segunda componente del primero, es primera componente del segundo, estos generan un tercer par
en la relacin, cuya primera componente es la primera del primero, y la segunda es la segunda del
segundo. O sea:
RcA
2
es transitiva x,y,z: (x,y)eR . (y,z)eR (x,z)eR
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
2|x+y
A
2
= {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,1)(1,3)(2,2)(3,1)(3,3)}
Tomamos dos pares que cumplan con el antecedente de la implicacin:
- 47 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
(1,1) y el (1,3) estos generan el (1,3)
(1,1) y el (1,1) estos generan el (1,1)
(1,3) y el (3,1) estos generan el (1,1)
(1,3) y el (3,3) estos generan el (1,3)
(2,2) y el (2,2) estos generan el (2,2)
(3,1) y el (1,1) estos generan el (3,1)
(3,1) y el (1,3) estos generan el (3,3)
(3,3) y el (3,1) estos generan el (3,1)
(3,3) y el (3,3) estos generan el (3,3)
8. PROPIEDAD NO TRANSITIVA
Como en las anteriores, la no transitividad es la negacin de la transitividad, o sea que una
relacin es no transitiva solamente s algunos pares de la relacin no cumplen con las condiciones de
la transitividad. Simblicamente:
RcA
2
es no transitiva ~(x,y,z: (x,y)eR . (y,z)eR (x,z)eR)
-x/~(y,z: (x,y)eR . (y,z)eR (x,z)eR)
-x,-y/~(z: (x,y)eR . (y,z)eR (x,z)eR)
-x,-y,-z/ ~[(x,y)eR . (y,z)eR (x,z)eR]
-x,-y,-z/ (x,y)eR . (y,z)eR . (x,z)eR
Esto es aplicando la negacin de un cuantificador y la negacin de una implicacin.-
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
3|x+y
A
2
= {(1,1)(1,2)(1,3)(2,1)(2,2)(2,3)(3,1)(3,2)(3,3)}
R = {(1,2)(2,1)(3,3)}
Observamos que con el par (3,3) cumple la condicin de transitividad, pero con los pares (1,2)
y (2,1) no, ya que el par (1,1) eR. Por lo tanto es No transitiva.-
9. PROPIEDAD ATRANSITIVA
Una relacin es atransitiva, si ninguno de los pares de la relacin cumplen con las
condiciones de la transitividad. O sea que:
RcA
2
es atransitiva x,y,z: (x,y)eR . (y,z)eR (x,z)eR
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
x+y=3
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,2)(2,1)}
Observamos esta relacin que tiene slo dos pares, y no existe el tercer par, por lo tanto
ninguno de los pares cumple con la condicin de transitividad, o sea que es Atransitiva.-
10. PROPIEDAD ANTISIMTRICA
Una relacin es antisimtrica, si existen pares de componentes conmutadas en la relacin,
tienen que ser aquellos cuyas componentes son iguales. O sea:
RcA
2
es antisimtrica x,y: (x,y)eR . (y,x)eR x=y
- 48 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Por ejemplo:
Si A = {1,2,3} y (x,y) eRcA
2
xsy
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
R = {(1,1)(1,2)(1,3)(2,2)(2,3)(3,3)}
En esta relacin, los nicos pares de componente conmutadas son aquellos que tienen las
mismas iguales, por lo tanto es Antisimtrica.-
RELACIN DE EQUIVALENCIA
La relacin RcA
2
se dice que es de equivalencia, si y slo si es Reflexiva, Simtrica
y Transitiva.-
Una relacin de equivalencia se la denota con ~, y si (a,b)e~ entonces se dice que a
es equivalente con b y se denota a~b. Con esta notacin, las propiedades quedaran denotadas:
Reflexiva:
~cA
2
es reflexiva x: xeA (x,x)e~
~cA
2
es reflexiva x: xeA x~x
Simtrica:
~cA
2
es simtrica x,y: (x,y)e~ (y,x)e~
~cA
2
es simtrica x,y: x~y y~x
Transitiva:
~cA
2
es transitiva x,y,z: (x,y)e~ . (y,z)e~ (x,z)e~
~cA
2
es transitiva x,y,z: x~y . y~z x~z
Por ejemplo:
Probar que la siguiente relacin es de equivalencia:
Si A = {1,2,3} y x~y e~cA
2
2|x-y
A
2
= {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}
~ = {(1,1)(1,3)(2,2)(3,1)(3,3)}
Es de equivalencia pues es:
Reflexiva ya que:
1~1, 2~2 y 3~3
Simtrica ya que:
1~1 1~1 1~3 3~1 2~2 2~2 3~1 1~3 3~3 3~3
Transitiva ya que:
1~1 . 1~1 1~1 1~1 . 1~3 1~3 2~2 . 2~2 2~2 1~3 . 3~1 1~1
1~3 . 3~3 1~3 3~1 . 1~1 3~1 3~1 . 1~3 3~3 3~3 . 3~3 3~3
- 49 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CLASES DE EQUIVALENCIA
Sea una relacin de equivalencia definida en un conjunto A, se llama clase de
equivalencia de m, al conjunto formado por todos los elementos de A que son equivalentes con m, y
se denota con K
m
. O sea:
~cA
2
, K
m
={xeA/x~m}
Dicho de otra forma, xeK
m
x~m
En el ejemplo que se ha dado anteriormente es:
K
1
= {1,3} K
2
= {2} y K
3
= {1,3}, lo que significa que la K
1
= K
3
CONJUNTO COCIENTE
Se llama conjunto cociente al conjunto formado por todas las clases de equivalencias,
y se denota
~
A
. O sea:
{ } I i K
A
i
e =
~
/ donde I se llama conjunto de ndices
El conjunto de ndices se forma con un representante de cada clase de equivalencia.
En el ejemplo anterior, el conjunto cociente es:
{ } { }{ } { } 2 3 , 1 ,
2 1
= =
~
K K
A
y el conjunto de ndices es: I = {1,2}
PARTICIN DE UN CONJUNTO NO VACO
Sea el conjunto A = C, se dice que {K
i
/ieI} es una particin de A, si y slo si se cumplen los
siguientes axiomas:
A
1
) Todo elemento del conjunto de ndice determina un subconjunto de particin no vaco. O sea:
u: ueI K
u
= C
A
2
) Elementos distintos del conjunto de ndice, determinan subconjuntos de particin disjuntos. O sea:
u=v K
u
K
v
= C
A
3
) Todos los elementos del conjunto A, pertenecen a algn subconjuntos de particin, lo que
significa que la particin cubre todo el conjunto. O sea:
aeA,-ueI/ a e Ku
Por ejemplo:
Sea A = {-1,0,1,2,3,4}, y sea la particin {{-1}{0,1,2}{3,4}}
En este caso el conjunto de ndices ser I={-1,0,3}, y si observamos en la particin se cumple A
1
ya
que
K
-1
=C, K
0
=C y K
3
=C. La A
2
tambin se cumple ya que: -1=0 K
-1
K
0
=C; el -1=3 K
-1
K
3
=C; y
0=3 K
0
K
3
=C. Por otro lado, todos los elementos de A pertenecen a algn subconjunto de
particin. En diagramas de Venn ser:
- 50 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
TEOREMA FUNDAMENTAL DE LAS RELACIONES DE EQUIVALENCIAS
Sea una ~ definida en un conjunto A=C, entonces existe un conjunto de ndices Ic A, tal que todo ueI
existe un K
u
cA, siendo el conjunto de ndices formado por un representante de cada clase, de tal
manera que cumpla con las siguientes proposiciones:
1) Todo elemento del conjunto de ndice, determina una clase no vaca.
2) Dos elementos de A son equivalentes si y slo si pertenece a una misma clase.
3) Clases no disjuntas son iguales.
4) Elementos distintos del conjunto de ndice, determinan clases disjuntas.
5) Todo elemento del conjunto A pertenece a alguna clase de equivalencia. O sea que, todas las
clases de equivalencias cubren a todo el conjunto A como una particin.
Hiptesis
Sea A=C,
Sea ~cA
2
-Ic A/ ueI,- K
u
cA,
Siendo I formado por un representante de cada clase,
Tesis
1) u:ueI K
u
=C
2) a~b aeK
u
. beK
u
3) K
u
K
v
= C K
u
= K
v
4) u=v K
u
K
v
= C
5) aeA,-ueI/aeK
u
Demostracin
1) Como A=C -aeA. Pero por hiptesis, en A se define una relacin de equivalencia, y en
particular es reflexiva a~a, y por definicin de clase de equivalencia se tiene que aeK
a
.
Ahora, como IcA ueK
a
u~a a~u aeK
u
K
u
=C.
2) Para poder demostrar esta proposicin, debemos desdoblar la doble implicacin. O sea:
a) a~b aeK
u
. beK
u
a~b aeK
b
por definicin de clase de equivalencia.
Ahora, supongamos que ueK
b
u~b b~ubeK
u
por definicin de clase.
Pero a~b . b~u a~u aeK
u
.
b) aeK
u
. beK
u
a~b
Como aeK
u
. beK
u
a~u . b~u a~u . u~b a~b
- 51 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
3) Esta proposicin se demuestra teniendo en cuenta la definicin de igualdad de conjuntos, o sea
K
u
= K
v
K
u
c K
v
. K
v
c K
u
K
u
K
v
= C - ae K
u
K
v
ae K
u
. ae K
v
a~u . a~vu~a . a~vu~v
Ahora:
Sea yeK
u
y~u . u~v y~v yeK
v
y por ley del silogismo hipottico y definicin de inclusin, se tiene: K
u
c K
v
(I)
Ahora, sea zeK
v
z~v . v~u z~u zeK
u
y por ley del silogismo hipottico y definicin de inclusin, se tiene: K
v
c K
u
(II)
Y teniendo en cuenta la definicin de igualdad de conjuntos se tiene que si
K
u
c K
v
. K
v
c K
u
K
v
= K
u
4) Esta proposicin la demostraremos utilizando el mtodo de reduccin al absurdo, o sea HT
-T-H, lo que nos lleva a negar la tesis, o sea:
K
u
K
v
= C - aeK
u
K
v
aeK
u
. ae K
v
a~u . a~v u~a . a~v u~v
ESTO CONTRADICE LA HIPTESIS, PUES LOS ELEMENTOS DEL CONJUNTO DE NDICE NO
PUEDEN SER EQUIVALENTES YA QUE SE HA DICHO QUE ESTE CONJUNTO EST FORMADO
POR UN REPRESENTANTE DE CADA CLASE DE EQUIVALENCIA (ABSURDO).-
u=v K
u
K
v
= C ES VERDADERO
5) como A=C ae A a~a aeK
a
Ahora, supongamos que ueK
a
u~a a~u aeK
u
, y por la propiedad anterior, K
u
=K
a
, lo que
significa que todo el conjunto A est cubierto por todas las clases de equivalencia.-
PARTICIN Y RELACIN DE EQUIVALENCIA
Propiedad
Sea {K
u
/ ueI} una particin del conjunto A. Entonces queda inducida una relacin de equivalencia en
A.-
Hiptesis
Sea A=C
Sea {K
u
/ ueI} una particin de A
Tesis
Queda inducida ~cA
2
Demostracin
Para poder demostrar esta propiedad, primero debemos definir una relacin diciendo que un par
ordenado pertenece a la relacin, si ambas componentes pertenece a uno mismo conjunto de
particin. O sea:
(x,y) e R xe K
u
. y e K
u
(A)
Reflexividad
Supongamos que x e K
u
x e K
u
. x e K
u
por idempotencia de la conjuncin, y por la definicin (A)
se tiene que (x,x) e Rc A
2
Simetra
Tomemos (x,y) e R xe K
u
. y e K
u
ye K
u
. x e K
u
(y,x) e R
- 52 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Transitividad
Tomemos (x,y) e R . (y,z) e R xe K
u
. ye K
u
. y e K
u
. z e K
u
, y en particular podemos decir que
x e K
u
. z e K
u
(x,z) e R.
Luego la relacin R es de equivalencia.-
Por ejemplo:
Determinar la relacin de equivalencia definida en A={1,2,3,4} teniendo en cuenta la particin de A
{{1}{2,3}{4}}.-
Cada uno de los elementos de la particin es una clase de equivalencia, o sea:
K
1
= {1} K
2
= {2,3} K
4
= {4}
Y por definicin de clase de equivalencia, todo elemento que pertenece a una clase es equivalente
con el ndice, o sea que:
1~1 . 2~2 . 2~3 . 3~2 . 3~3 . 4~4, lo que nos da la relacin de equivalencia como:
~ = {(1,1)(2,2)(2,3)(3,2)(3,3)(4,4)}
y el conjunto de ndices es:
I={1,2,4}
RELACIN DE ORDEN
Al tener un conjunto numrico, es importante analizar si est ordenado o no. Para eso se
trabaja con una relacin denominada de orden. Antes de poder definir esta relacin, definiremos
preceder teniendo en cuenta que:
Un nmero precede a otro si y slo si, el par formado por esos elementos pertenecen a la relacin. O
sea:
x ( y (x,y) e R c A
2
( : signo preceder
Ahora, las relaciones pueden ser de orden amplio o estricto, y en cada una de estas se dividen en
orden amplio parcial o total, y de orden estricto parcial o total. O sea:

Total
Parcial
Estricto
Total
Parcial
Amplio
Orden de Relacin
Relacin de orden amplio
Una relacin es de orden amplio si es reflexiva, antisimtrica y transitiva. O sea que sea RcA
2
es de
orden amplio si es:
Reflexiva:
x:xeA x ( x
Antisimtrica:
x, y: x ( y . y ( x x = y
Transitiva:
x,y,z: x ( y . y ( z x ( z
- 53 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Relacin de orden estricto
Una relacin es de orden estricto si es Arreflexiva, Asimtrica y Transitiva. O sea:
Arreflexiva:
x:xeA ~(y ( x)
Asimtrica
x,y: x ( y ~(y ( x)
Transitiva:
x,y,z: x ( y . y ( z x ( z
Relacin de orden parcial
Una relacin de orden es parcial, si algunos elementos del conjunto no preceden a otro del mismo
conjunto. O sea:
RcA
2
es de orden parcial -xeA, -y eA/-(x ( y) . -(y ( x)
Relacin de orden total
Una relacin es de orden total si todos los elementos del conjunto se ordenan por la relacin definida
en l. O sea:
RcA
2
es de orden total xeA, y: x=y x ( y v y ( x
ELEMENTOS DISTINGUIDOS DE UNA RELACIN DE ORDEN
Sea el conjunto A ordenado por una relacin de orden (
Primer elemento
El elemento a e A es primer elemento si y slo si precede a todos los dems.
aeA es primer elemento x:xeA a( x
ltimo elemento
El elemento b e A se llama ltimo elemento, si y slo si todo elemento de A precede a b.-
beA es ltimo elemento x:xeA x(b
Elementos minimales
El objeto m e A es un elemento minimal si y slo si no existe un elemento distinto que lo
anteceda.
m e A es un minimal xeA: x( m m = x
Elementos maximales
El objeto n e A es un elemento maximal si y slo si no existe un elemento distinto que lo siga.
n e A es un maximal xeA: n( x n = x
- 54 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Cotas inferiores
El objeto a e A es una cota inferior del subconjunto XcA, si y slo si precede a todo elemento
de X
aeA es una cota inferior de XcA xeX a(x
Cotas superiores
El objeto b e A es una cota superior del subconjunto XcA, si y slo si sigue a todo elemento
de X
beA es una cota superior de XcA xeX x(b
Supremo o cota superior mnima
El elemento s e A es un supremo del subconjunto XcA, si y slo si es el primer elemento del
conjunto de cotas superiores.-
nfimo o cota inferior mxima
El elemento i e A es un nfimo del subconjunto XcA, si y slo si es el ltimo elemento del
conjunto de cotas inferiores.-
De estas definiciones se deduce que:
a) Que en todo conjunto ordenado puede o no tener primer y/o ltimo elemento.
b) Que en todo conjunto ordenado pueda que no existan elementos minimales y/o maximales, y
en el caso de que existen, pueden no ser nicos
c) Que en todo conjunto ordenado pueden existir o no cotas superiores o inferiores, y por otro
lado, pueden no ser nicas.-
d) Si existen cotas, pueden tener o no nfimos y/o supremos, ya que en todo conjunto ordenado,
no necesariamente debe tener primer y/o ltimo elemento.-
Por ejemplo:
Sea el intervalo abierto (-1, 1) donde se define la relacin de menor o igual
Es reflexiva, puesto que:
ae(-1,1) asa
Es antisimtrica ya que:
asb . bsa a=b
Es transitiva ya que:
asb . bsc asc
Ahora si:
a=b asb v bsa
Las tres primeras nos estn indicando que esta relacin es de orden amplio y la ltima nos
indica que es de orden total.-
Como el intervalo es abierto, entonces no tiene primer ni ltimo elemento. Por otro lado no
existen elementos minimales ni maximales, pero hay infinitas cotas inferiores ya que son todos
aquellos reales menores o iguales a 1. de igual forma, existen infinitas cotas superiores, y son
aquellos reales mayores o iguales a 1. No tiene ni nfimo ni supremo, ya que tendran que ser el 1 y
el 1 respectivamente, pero no pertenecen al intervalo.-
Ejemplo:
Sea el conjunto A = {2, 3, 6, 9, 12, 36} ordenado por la relacin de divisibilidad.-
a) Es reflexiva ya que todo nmero es divisible por si mismo.-
- 55 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
b) Es antisimtrica un nmero divide a otro y este al primero, solamente se da en el caso de que
ellos sean iguales.-
c) Es transitiva ya que si un nmero divide a otro y este a un tercero, entonces el primero divide
al tercero.-
d) Por ltimo existen elementos que no dividen al siguiente como es el caso del 2 y el 3.-
De a), b) y c) deducimos que esta relacin es de orden amplio; y de c) que es de orden parcial.-
Ahora, como no existe en A un elemento que sea divisor de todos los dems entonces carece
de primer elemento, pero tiene ltimo elemento y es el 36 ya que es divisible por todos los anteriores.
Este tambin es el elemento maximal, y como el 2 y el 3 dividen a los que los siguen, son los
elementos minimales. Con respecto a las cotas inferiores, no existen, pero la superior es el 36 y
tambin es el supremo.-
DIAGRAMAS DE HASSE
El diagrama de Hasse se construye partiendo de los elementos ordenados de un conjunto y
teniendo en cuenta la relacin que lo orden y utilizando flechas. En nuestro caso anterior es:
En este diagrama, la flecha indica quien divide a quien: el 2 divide al 6 al 12 y al 36 como
indica el sentido de la flecha. El 3 divide al 9 y al 36 por un lado, y al 6, al 12 y al 36 por el otro, como
indica el sentido de la flecha.-
CONJUNTO BIEN ORDENADO
Un conjunto est bien ordenado por una relacin de orden, si y solo si est totalmente
ordenado, y adems todo subconjunto no vaco tiene primer elemento.-
TRABAJO PRCTICO N 3
1.) Dada los conjuntos siguientes, realizar la relacin correspondiente, determinar el dominio e
imagen de dicha relacin, relacin inversa y graficarlas en sus tres tipos:
a) A={1, 2, 3} B={xeN/2sxs5}
(x,y) e R c A X B x,y
b) A= {xeZ/ -1sx< 6} B={xeN/ x<3}
(x,y) e R c A X B 2,x + y
c) A= {a, b, c, d, e} B={1, 2, 3}
(x,y) e R c A X B x es vocal
d) A={-1, 0, 1, 2} B={xeN/ x<5}
(x,y) e R c A X B y = x
2
2.) Considerado los conjuntos:
A={1, 2, 3, 4, 5} B={1, 4, 6, 16} C={2, 3, 8, 10}
- 56 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
y sean las relaciones:
(x,y) e R c A X B y= x
2
(y,z) e S c B X C z =
y
2
Se pide:
- Determinar R y S por extensin.-
- Definir la composicin S o R c A X C por extensin y determinar qu forma tiene.-
- Determinar el dominio e imagen de cada relacin.-
3. Sea los siguientes conjuntos, determinar la relacin, clasificarla, determinar el dominio e imagen y
graficarla en las tres formas:
a) A= {1, 2, 3} (x,y) e R c A
2
x < y
b) B= {x e Z/ -2 s x < 4} (x,y) e R c B
2
,x, = y
c) C= {x e N/ 4< x <8} (x,y) e R c C
2
x = y + 2
d) D= {x e Z/ -4 s x <2} (x,y) e R c D
2
y = x + 1
4. En R
2
se define la relacin ~ mediante
(x,y) ~ (x,y) y = y
Probar que es de equivalencia, determinar las clases de equivalencia, un conjunto de ndices y
el conjunto cociente.-
5. Dado los siguientes conjuntos, probar la relacin de equivalencia, determinar las clases de
equivalencias y el conjunto cociente:
a) A= {1, 2, 3} x~y xs y
b) A= {4, 5, 6, 7} a~b 2,a - b
c) C= {x e Z/ 2,x . -4s x s7} x~y 2,x + y
6. El conjunto {{a},{b,c}{d}} es una particin de A={a, b, c, d}. Obtener la relacin de equivalencia
asociada.-
7. En R se define:
x~y ,x - 1, = ,y - 1,
probar que es de equivalencia
8. En R se define:
x~y x
2
- x = y
2
- y
probar que es de equivalencia
9. En [-1, 1| c R se define:
x~y x
2
= y
2
probar que es de equivalencia.-
10. Sea el conjunto A = {1, 2, 3, 4, 5} y se considera la relacin menor o igual. Obtener los elementos
maximales y minimales, como as tambin las cotas superiores e inferiores del subconjunto {2, 3}.-
11. En R, ordenado por la relacin de menor o igual, se considera
- 57 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
A = {x e R/
n
x
1
= . n e N}
investigar si A tiene primero y ltimo elemento, si est bien ordenado y si admite cotas, nfimo
y/o supremo.-
12. Determinar de qu orden es la relacin del ejercicio 10.-
- 58 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO IV
FUNCIONES
- 59 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
FUNCIONES
Definicin
Sean los conjuntos A y B, se llama funcin a toda relacin de A X B donde a cada elemento del
conjunto A se lo relaciona con uno y slo un elemento del conjunto B.-
Toda funcin se la denota con las siguientes letras: f, g, h, F, G, H, etc.
Teniendo en cuenta la definicin, podemos asegurar que si f es una funcin, entonces fc AXB, y
se denota:
f: AB se lee f es una funcin o aplicacin del conjunto A en el B
Por conveniencia, al conjunto A se lo denomina conjunto de partida, y al B conjunto de llegada o
codominio.-
Ahora como la funcin es una relacin donde todos los elementos de A tienen imagen nica,
entonces el dominio de la funcin es el conjunto A, y la imagen de la funcin est incluida en el
conjunto B. O sea:
A: conjunto de partida
B: conjunto de llegada o codominio.-
D(f)=A dominio de la funcin f
I(f)cB Imagen de la funcin f
Utilizando los diagramas de Venn se puede representar una funcin de la siguiente forma:
Analizando la anterior definicin, podemos formular la siguiente:
Definicin
La relacin fcAXB es una funcin si cumple con las siguientes condiciones de existencia y
unicidad:
Existencia
Todo elemento de A se relaciona con algn elemento de B
xeA,-yeB/(x,y)ef
Unicidad
Los elementos de A tienen una sola imagen en B
(x,y)ef . (x,z)ef y = z
Definicin
Se llama funcin a toda relacin entre dos variables, en la que a todo valor de la primera, lo
relaciona con uno y solo un valor de la segunda. A la primera variable se la denomina "variable
independiente" y a la segunda "variable dependiente"
Si la funcin es y = f(x), la variable "x" es la independiente y la "y" es la dependiente (los valores
de "y" dependen de los valores de "x").-
- 60 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
REPRESENTACIN GRFICA DE LAS FUNCIONES
Toda funcin, al ser una relacin especial, se la puede representar grficamente en un sistema de
ejes coordenados cartesianos. Pero para ello se debe tener en cuenta fundamentalmente los
conjuntos numricos donde estn definidas y el mtodo a usar para su grfica.-
El mtodo de la tabla de valores
Este mtodo se lo usa para graficar cualquier tipo de funciones, aunque en algunos casos no es
preciso.
Por ejemplo:
Graficar las siguientes funciones:
1 2 ) ( / : = J J x x f f
Armamos una tabla con valores tentativos y centrales de las abscisas, y de la siguiente forma:
x f(x)=2x 1 Punto
-2 f(-2)=2.(-2).2-1 = -5 P
1
(-2,-5)
-1 f(-3)=2.(-1)-1= -3 P
2
(-1,-3)
0 f(0)=2.0-1=-1 P
3
(0, -1)
1 f(1)=2.1-1=1 P
4
(1, 1)
2 f(2)=2.2-1=3 P
5
(2, 3)
1. El mtodo de los puntos:
Este mtodo tiene distintas formas de trabajarlo segn el tipo de funcin:
Para la funcin lineal
Se basa fundamentalmente en ubicar la pendiente de la funcin. Para ello se utiliza su
concepto. Por ejemplo:
Sea la funcin:
1
4
3
) ( / : = J J x x f f
Como se observa, la pendiente es
4
3
, y como se sabe que sta est dada por
4
3
tg = = o m ,
entonces se concluye que el cateto opuesto es 3 y el cateto adyacente es 4. Por otro lado
tambin se sabe que 1 es la ordenada al origen, lo que lo marcamos, ahora, a partir de all
se debe correr 4 lugares hacia la derecha (cateto adyacente), y como 3 es positivo subimos
estos lugares (cateto opuesto), este es el ltimo punto, y como dos puntos pertenecen a una y
slo una recta, entonces, por estos se la traza, o sea:
- 61 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Ahora si la pendiente fuera negativa, la tangente tambin lo sera, por lo tanto el cateto
opuesto se lo trazara hacia abajo.-
Para la funcin cuadrtica
La funcin cuadrtica tiene la forma:
c x b x a x f B A f + + = . . ) ( / :
2
Donde
2
.x a se llama trmino cuadrtico, a coeficiente cuadrtico, x b. trmino lineal, b
coeficiente lineal y c trmino independiente u ordenada al origen.-
La grfica de una funcin cuadrtica es una parbola simtrica respecto al eje paralelo a las
ordenadas y que pasa por el vrtice.-
Para poderla graficarla se deben trazar tres puntos. Este es principalmente el vrtice que lo
denotaremos V(x
v
, y
v
), lo que se reduce el problema en determinar x
v
primero y luego
reemplazarlo en la funcin para el y
v
.-
Usando la frmula para determinar las races de una ecuacin de segundo grado, o sea:
a
c a b b
x
. 2
. . 4
2
2 , 1

=
Haciendo un razonamiento bsico, concluimos que:
a
b
x
v
. 2

=
Como ya se dijo, basta reemplazar este valor en la funcin para obtener la otra coordenada.-
Teniendo en cuenta que es simtrica, y sabiendo que la parbola corta a las ordenadas en
c, entonces otro de los puntos es P
1
(0,c), el otro punto ser P
2
(2.x
v
, c).-
Si la funcin tiene la ordenada al origen nula, se deben tomar dos valores cualesquiera de las
abscisas para calcular las ordenadas correspondientes.-
Por ejemplo:
1 . 2 . 3 ) (
2
+ = x x x f
Determinamos primero el vrtice, o sea:
3
1
3 . 2
) 2 (
. 2
=

=

=
a
b
x
v
- 62 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Reemplazamos este valor en la funcin para obtener la otra coordenada, o sea:
3
2
1
3
2
3
1
1
3
1
. 2
3
1
. 3
2
= + = + |
.
|

\
|
=
v
y
Lo que significa que:
|
.
|

\
|
3
2
,
3
1
V
Ahora, el punto P
1
(0,1) por ser 1 la ordenada al origen, y el otro ser:
|
.
|

\
|
|
.
|

\
|
1 ,
3
2
1 ,
3
1
. 2
2 2
P P
Ahora con estos tres puntos se puede graficar:
CLASIFICACIN DE LAS FUNCIONES
Analizando la definicin de funciones, se puede llegar a concluir que para clasificarlas a las
mismas se debe tener en cuenta el codominio, as tenemos:
FUNCIN INYECTIVA
f:AB es inyectiva si y slo si elementos distintos del dominio tienen imgenes distintas. O sea:
) ( ) ( : , inyectiva es :
2 1 2 1 2 1
x f x f x x x x B A f = =
Ahora, por implicaciones contrarrecprocas se tiene:
2 1 2 1 2 1
) ( ) ( : , inyectiva es : x x x f x f x x B A f = =
Esto significa que para poder probar que una funcin es inyectiva, basta igualar la ecuacin de la
misma para x
1
y x
2
y a travs de procedimientos, el que sea necesario, llegar a la igualdad de ellos.-
Ejemplo:
Sea la funcin:
2
1
3
1
) ( / :
3
+ = J J x x f f
- 63 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Hacemos:
) ( ) (
2 1
x f x f =
2
1
3
1
2
1
3
1
3
2
3
1
+ = + x x
y cancelando, queda:
3
2
3
1
3
1
3
1
x x =
y simplificando queda:
3
2
3
1
x x =
3
3
2 1
x x =
2 1
x x =
Esta funcin es inyectiva.
FUNCIN SOBREYECTIVA O SURYECTIVA
f:AB es sobreyectiva si y slo si todos los elementos del Codominio tienen preimagen. O sea:
y x f A x B y B A f = e - e ) ( / , va sobreyecti es :
Esto significa que para determinar si una funcin es sobreyectiva se deben estudiar los elementos
del dominio en lo que respecta al conjunto, despejando de la funcin dada x y valuando luego en la
funcin para determinar si realmente f(x)=y.-
Por ejemplo sea:
2
1
3
1
) ( / :
3
+ = J J x x f f
Esta funcin es lo mismo que:
3
3 3
2
1
. 3
2
1
3
1
2
1
3
1
|
.
|

\
|
= = + = y x y x x y
Ahora: este valor es un nmero real? S ya que y es un real y los otros nmeros tambin lo son,
por lo tanto xeJ, entonces:
+
|
|
.
|

\
|
|
.
|

\
|
=
|
|
.
|

\
|
|
.
|

\
|
e |
.
|

\
|
= - e
2
1
2
1
. 3
3
1
2
1
. 3 /
2
1
. 3 ,
3
3 3 3
y y f R y x R y
+ |
.
|

\
|
/
/
=
|
|
.
|

\
|
|
.
|

\
|

2
1
2
1
. 3 .
3
1
2
1
. 3
3
y y f
+ =
|
|
.
|

\
|
|
.
|

\
|

2
1
2
1
2
1
. 3
3
y y f
=
|
|
.
|

\
|
|
.
|

\
|
y y f
3
2
1
. 3
y x f = ) (
Todo esto es aplicando la propiedad cancelativa y reemplazando x. Esta funcin es
Sobreyectiva.-
FUNCIN BIYECTIVA
Una funcin es biyectiva si y slo si es inyectiva y sobreyectiva.
- 64 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CONCLUSIN:
Haciendo un anlisis sobre la clasificacin de las funciones, podemos concluir que:
1. Una funcin puede ser inyectiva, solamente
2. Una funcin puede ser sobreyectiva, solamente
3. Una funcin puede ser inyectiva y sobreyectiva (biyectiva)
4. Una funcin puede no ser inyectiva ni sobreyectiva
FUNCIN CRECIENTE
La funcin y=f(x) es creciente en el intervalo (a, b), si para valores mayores del intervalo, la
funcin toma valores mayores.
) ( ) ( : ) , ( ), , ( ) , ( ) (
1 2 1 2 2 1
x f x f x x b a x b a x b a en creciente es x f y > > e e =
FUNCIN DCRECIENTE
La funcin y=f(x) es decreciente en el intervalo (a, b), si para valores mayores del intervalo, la
funcin toma valores menores.
) ( ) ( : ) , ( ), , ( ) , ( ) (
1 2 1 2 2 1
x f x f x x b a x b a x b a en e decrecient es x f y < > e e =
- 64 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CONCLUSIN:
Haciendo un anlisis sobre la clasificacin de las funciones, podemos concluir que:
1. Una funcin puede ser inyectiva, solamente
2. Una funcin puede ser sobreyectiva, solamente
3. Una funcin puede ser inyectiva y sobreyectiva (biyectiva)
4. Una funcin puede no ser inyectiva ni sobreyectiva
FUNCIN CRECIENTE
La funcin y=f(x) es creciente en el intervalo (a, b), si para valores mayores del intervalo, la
funcin toma valores mayores.
) ( ) ( : ) , ( ), , ( ) , ( ) (
1 2 1 2 2 1
x f x f x x b a x b a x b a en creciente es x f y > > e e =
FUNCIN DCRECIENTE
La funcin y=f(x) es decreciente en el intervalo (a, b), si para valores mayores del intervalo, la
funcin toma valores menores.
) ( ) ( : ) , ( ), , ( ) , ( ) (
1 2 1 2 2 1
x f x f x x b a x b a x b a en e decrecient es x f y < > e e =
- 64 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CONCLUSIN:
Haciendo un anlisis sobre la clasificacin de las funciones, podemos concluir que:
1. Una funcin puede ser inyectiva, solamente
2. Una funcin puede ser sobreyectiva, solamente
3. Una funcin puede ser inyectiva y sobreyectiva (biyectiva)
4. Una funcin puede no ser inyectiva ni sobreyectiva
FUNCIN CRECIENTE
La funcin y=f(x) es creciente en el intervalo (a, b), si para valores mayores del intervalo, la
funcin toma valores mayores.
) ( ) ( : ) , ( ), , ( ) , ( ) (
1 2 1 2 2 1
x f x f x x b a x b a x b a en creciente es x f y > > e e =
FUNCIN DCRECIENTE
La funcin y=f(x) es decreciente en el intervalo (a, b), si para valores mayores del intervalo, la
funcin toma valores menores.
) ( ) ( : ) , ( ), , ( ) , ( ) (
1 2 1 2 2 1
x f x f x x b a x b a x b a en e decrecient es x f y < > e e =
- 65 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
MXIMO DE UNA FUNCIN
La funcin y=f(x) presenta un mximo en x
0
e(a,b), si la funcin en x
0
es mayor que la funcin
en cualquier otro valor de dicho intervalo.
) , ( ), ( ) ( ) (
0 0 0
b a x x x f x f x en mximo un presenta x f y e A > =
MNIMO DE UNA FUNCIN
La funcin y=f(x) presenta un mnimo en x
0
e(a,b), si la funcin en x
0
es menor que la funcin
en cualquier otro valor de dicho intervalo.
) , ( ), ( ) ( ) (
0 0 0
b a x x x f x f x en mnimo un presenta x f y e A < =
FUNCIN CNCAVA
Una funcin y=f(x) es cncava en el intervalo (a,b) si los puntos de la misma estn por arriba de
los puntos de la tangente a curva en un punto interior de dicho intervalo.
- 65 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
MXIMO DE UNA FUNCIN
La funcin y=f(x) presenta un mximo en x
0
e(a,b), si la funcin en x
0
es mayor que la funcin
en cualquier otro valor de dicho intervalo.
) , ( ), ( ) ( ) (
0 0 0
b a x x x f x f x en mximo un presenta x f y e A > =
MNIMO DE UNA FUNCIN
La funcin y=f(x) presenta un mnimo en x
0
e(a,b), si la funcin en x
0
es menor que la funcin
en cualquier otro valor de dicho intervalo.
) , ( ), ( ) ( ) (
0 0 0
b a x x x f x f x en mnimo un presenta x f y e A < =
FUNCIN CNCAVA
Una funcin y=f(x) es cncava en el intervalo (a,b) si los puntos de la misma estn por arriba de
los puntos de la tangente a curva en un punto interior de dicho intervalo.
- 65 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
MXIMO DE UNA FUNCIN
La funcin y=f(x) presenta un mximo en x
0
e(a,b), si la funcin en x
0
es mayor que la funcin
en cualquier otro valor de dicho intervalo.
) , ( ), ( ) ( ) (
0 0 0
b a x x x f x f x en mximo un presenta x f y e A > =
MNIMO DE UNA FUNCIN
La funcin y=f(x) presenta un mnimo en x
0
e(a,b), si la funcin en x
0
es menor que la funcin
en cualquier otro valor de dicho intervalo.
) , ( ), ( ) ( ) (
0 0 0
b a x x x f x f x en mnimo un presenta x f y e A < =
FUNCIN CNCAVA
Una funcin y=f(x) es cncava en el intervalo (a,b) si los puntos de la misma estn por arriba de
los puntos de la tangente a curva en un punto interior de dicho intervalo.
- 66 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
FUNCIN CONVEXA
Una funcin y=f(x) es convexa en el intervalo (a,b) si los puntos de la misma estn por debajo
de los puntos de la tangente a la curva en un punto cualquiera de dicho intervalo.
PUNTO DE INFLEXIN DE UNA FUNCIN
Una funcin y=f(x) presenta un punto de inflexin en x
0
e(a,b) si la funcin en ese punto cambia
la concavidad.
- 66 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
FUNCIN CONVEXA
Una funcin y=f(x) es convexa en el intervalo (a,b) si los puntos de la misma estn por debajo
de los puntos de la tangente a la curva en un punto cualquiera de dicho intervalo.
PUNTO DE INFLEXIN DE UNA FUNCIN
Una funcin y=f(x) presenta un punto de inflexin en x
0
e(a,b) si la funcin en ese punto cambia
la concavidad.
- 66 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
FUNCIN CONVEXA
Una funcin y=f(x) es convexa en el intervalo (a,b) si los puntos de la misma estn por debajo
de los puntos de la tangente a la curva en un punto cualquiera de dicho intervalo.
PUNTO DE INFLEXIN DE UNA FUNCIN
Una funcin y=f(x) presenta un punto de inflexin en x
0
e(a,b) si la funcin en ese punto cambia
la concavidad.
- 67 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CMO DETERMINAR EL DOMINIO REAL DE UNA FUNCIN REAL
A fin determinar el dominio de una funcin, se tienen en cuenta tres reglas denominadas
Reglas fundamentales del clculo. Estas son:
REGLA 1: Toda divisin por cero no es un nmero real
Esta regla es fundamental, dado que, pensando en el dominio perteneciente en los nmeros
reales, la divisin por cero no tiene cociente real, es imaginario, por lo tanto, si un valor que pueda
tomar la variable diese un resultado dividido en cero, la funcin no tendra imagen en ese punto, lo
que nos obligara a exceptuarlo. Por ejemplo
Sea
1
2
) (
2

+
=
x
x
x f
Observamos que para esta funcin que para x=1 quedara el denominador anulado, ese
resultado no es un nmero real, por lo que para que esta expresin sea funcin, el dominio no debe
tener el 1 dado que este valor no tiene imagen. O sea que:
REGLA 2: El logaritmo de un nmero menor o igual a cero no es un nmero real
Esta regla nace tiendo en cuenta el clculo del logaritmo, es as que, si en una funcin el
argumento del logaritmo tiene variable independiente, este argumento debe ser mayor que cero para
la funcin tenga imagen en ese valor. Por ejemplo:
, ) 2 3 log ) ( = x x g
Teniendo en cuenta lo expresado anteriormente, queda que 3x 2>0, por lo que , con lo que
todos los valores inferiores a este, quedan fuera del dominio de esta funcin. O sea que:
|
.
|

\
|
+ = ;
3
2
) (g D
REGLA 3: Toda raz de ndice par y radicando negativo, no es un nmero real
Como se sabe, esta regla es clara, por lo que cuando se tenga una funcin donde figure una
raz y en el radicando se encuentre la variable independiente, se debe tener en cuenta que el
radicando no debe ser negativo, dado que este valor no tendra una imagen real, con lo que se lo
debe exceptuar del dominio. Por ejemplo:
1 3 2 ) ( = x x x h
Con esta funcin, tenemos que tener en cuenta que el radicando 3x - 10, con lo que , lo que
los valores menores a este quedaran exceptuados del dominio ya que los mismos no tendran
imagen real. O sea que:
|
.
|

+ = ;
3
1
) (h D
FUNCIONES ESPECIALES
FUNCIN CONSTANTE
La funcin f:AB se llama constante si para todo elemento del dominio, le hace corresponder
como imagen un nico elemento K del codominio.
O sea que:
k x f B A f = ) ( constante es :
- 68 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Su grfica ser una recta que corta a las ordenadas en k y siempre paralela al eje de las abscisas.
O sea:
Trabajando con los nmeros reales observamos que elementos distintos del conjunto de partida o
dominio tienen siempre la misma imagen k, por lo tanto no es inyectiva. Por otro lado, de todos los
elementos del codominio, solamente k tiene preimagen, por lo tanto no es sobreyectiva.-
Ahora, esta funcin puede tener otra forma, por ejemplo x=k, su grfica cortar al eje de las abscisa
en k y ser paralela a las ordenadas.-
LA FUNCIN IDENTIDAD
La funcin identidad es aquella a la que a todo elemento del dominio le hace corresponder como
imagen ese mismo elemento, o sea:
x x i A A i = ) ( / :
Esta se lee identidad de x
O sea que si aeAi(a)=a, y as para todos los valores de A. En diagrama de Venn ser:
A
Haciendo un estudio de esta funcin se tiene que:
- La funcin es inyectiva ya que cada uno de los elementos del dominio es imagen de s mismo, y
ellos son distintos.
- La funcin es sobreyectiva ya que todos los elementos del dominio tambin son imagen.-
- Como conclusin podemos decir que esta funcin es biyectiva.-
LA FUNCIN PROYECCIN
Sea el conjunto R, sean los conjuntos AcR y BcR. Sea el producto cartesiano AxB, en donde un
punto cualquiera P(a,b) pueden determinarse dos funciones llamadas proyecciones de la siguiente
manera:
b b a P B AxB P
a b a P A AxB P
=
=
) , ( / :
) , ( / :
2 2
1 1
Grficamente:
a
b
c
- 69 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
LA FUNCIN CANNICA
Sea una relacin de equivalencia ~ definida en un conjunto A, por supuesto a partir de ella se
generan las clases de equivalencias y el conjunto cociente.
Se llama funcin cannica a aquella definida desde el conjunto A hasta el conjunto cociente, de tal
manera que a cada elemento del conjunto A le hace corresponder la clase a la que pertenece. O sea:
Ku x Ku x A x
A
A e . = e
~
) ( : / :
Esta funcin es sobreyectiva, ya que todos los elementos del conjunto cociente (clases de
equivalencias), tienen algn antecedente en el conjunto A, pero no es inyectiva ya que varios
elementos de A tienen la misma imagen en el conjunto cociente.-
COMPOSICIN DE FUNCIONES
Sean dos funciones, f:AB . g:BC, se llama composicin de las funciones f y g a la funcin
gof:AC/gof(x)=g[f(x)], siempre que exista un elemento yeB tal que y=f(x), y z=g(y), con zeC y xeA,
o sea:
PROPIEDADES
ASOCIATIVIDAD DE LAS COMPOSICIN DE FUNCIONES
La composicin de funciones es asociativa.
H) Sean las funciones
D C h
C B g
B A f

:
:
:
T) of hog gof ho ) ( ) ( =
D) Como la composicin de funciones est definida slo para tres conjuntos, o dos funciones,
debemos trabajar estas para poder aplicar dicha definicin para las tres funciones. Para ello
desarrollamos ambos miembros de la igualdad de la tesis:
- 70 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
j | { } j | { } ) ( ) ( ) ( ) )( (
:
:
a x f g h x f g ho x gof ho
D C h
C A gof
= =
)
`

Esto es aplicado la definicin de composicin de funciones a gof, y luego a ho{g[f(x)]}


Ahora:
j | j | { } (b) ) ( ) ( ) ( ) ( ) (
:
:
x f g h x f hog x of hog
D B hog
B A f
= =
)
`

Esto es aplicando la definicin de composicin en la operacin principal y luego en la secundaria.-


Ahora, de (a) y (b), y por transitividad se tiene:
ho(gof)=(hog)of
COMPOSICIN DE FUNCIONES INYECTIVAS
La composicin de funciones inyectivas es inyectiva
H) Sea f:AB . g:BC inyectivas
T) gof:AC es inyectiva
D) Teniendo en cuenta que y=f(x) es inyectiva, entonces:
2 1 2 1 2 1
) ( ) ( : , x x x f x f x x = =
Pero por otro lado z=g(y) tambin es inyectiva, entonces:
2 1 2 1 2 1
) ( ) ( : , y y y g y g y y = =
Ahora:
) ( ) (
2 1
x gof x gof =
Pero por definicin de composicin se tiene:
j | j | ) ( ) (
2 1
x f g x f g =
Pero g es inyectiva, entonces las variables de g son iguales, entonces:
) ( ) (
2 1
x f x f =
Pero f es inyectiva, entonces:
2 1
x x =
gof:AC es inyectiva (por definicin de inyectividad).-
COMPOSICIN DE FUNCIONES SOBREYECTIVAS
La composicin de funciones sobreyectivas, es sobreyectiva
H) Sea f:AB . g:BC sobreyectivas
T) gof:AC es sobreyectiva
D) Como y=f(x) es sobreyectiva, entonces:
y x f A x B y = e - e ) ( / ,
Adems z=g(y) es sobreyectiva, entonces:
z y g B y C z = e - e ) ( / ,
Ahora, teniendo en cuenta la composicin de funciones y por hiptesis y por las aseveraciones
hechas anteriormente, tenemos:
j | z y g x f g A x C z = = e - e ) ( ) ( / ,
- 71 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Pero, j | ) ( ) ( x gof x f g = por definicin de composicin de funciones, lo que se tiene que
z x gof = ) (
Luego
gof:AC es sobreyectiva
COMPOSICIN DE FUNCIONES BIYECTIVAS
La composicin de funciones biyectivas, es biyectiva
H) Sea f:AB . g:BC biyectivas
T) gof:AC es biyectiva
D) Por definicin, una funcin es biyectiva solamente si es inyectiva y sobreyectiva, y teniendo en
cuenta las demostraciones de composicin de funciones inyectivas y composicin de funciones
sobreyectivas, se demuestra esta propiedad.-
FUNCIN INVERSA
Definicin:
Una funcin f: AB, admite inversa si y slo si existe una funcin g:BA de modo que gof=i
A
.
fog=i
B
, y la funcin g es la inversa de la funcin f.-
Si f es la funcin, la inversa de f se denota con f
-1
.-
Por ejemplo:
Sea 1 . 3 ) ( / : = J J x x f f
Como y=f(x) entonces despejamos x, y se tiene:
1 . 3 + = y x
) (
3
1
y g
y
x =
+
= (1)
Esta es la funcin inversa, que cambiando la variable x por f
-1
(x) e y por x queda:
3
1
) (
1
+
=

x
x f
Ahora, si sta es la funcin inversa tiene que cumplir con las condiciones establecidas por la
definicin. Para ello partamos de la expresin (1), o sea:
j | ) ( ) ( x f g x gof =
j |
3
1 ) (
) (
+
=
x f
x f g
Reemplazando a f(x) se tiene:
j |
3
1 1 . 3
) (
/ + /
=
x
x f g
j |
3
. 3
) (
/
/
=
x
x f g
j | ) ( ) ( x i x x f g
J
= =
) ( ) ( x i x gof
J
=
Por otro lado se tiene:
j | ) ( ) ( y g f y fog =
j | 1 ) ( . 3 ) ( = y g y g f
- 72 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Y reemplazando g(y) se tiene:
j | 1
3
1
. 3 ) (
/
+
/ =
y
y g f
j | 1 1 ) ( / / + = y y g f
j | ) ( ) ( y i y y g f
J
= =
) ( ) ( y i y fog
R
=
Lo que significa que la funcin inversa de f es:
3
1
) (
1
+
=

x
x f
TEOREMA FUNDAMENTAL DE LAS FUNCIONES INVERSAS
Con este teorema se pretende simplificar la determinacin si una funcin admite inversa, utilizando
la clasificacin de funciones.-
TEOREMA
Una funcin admite inversa si y slo si es biyectiva
f:AB admite inversa es biyectiva
Para demostrar este teorema, debemos desdoblar la doble implicacin, o sea
H) f:AB admite inversa
T) f es biyectiva
D) Para poder demostrar esta parte del teorema, debemos hacerlo teniendo en cuenta que si la
funcin es biyectiva, entonces es inyectiva y sobreyectiva
Por otro lado, como la funcin admite inversa (hiptesis), entonces:
gof(x)=i
A
(x)=x adems fog(y)=i
B
(y)=y
Hacemos:
) ( ) (
2 1
x gof x gof =
Pero como admite inversa, entonces:
) ( ) (
2 1
x i x i
A A
=
Y por definicin de identidad, se tiene:
2 1
x x =
Lo que significa que es INYECTIVA (2)
Ahora:
j | = e = = - e = = ) ( ) ( / ) ( ) ( , ) ( ) ( x gof f x f A x gof x i x B y fog y i y
A B
, ) j | ) ( ) ( x gof fo x f =
Pero por la propiedad asociativa de la composicin de funciones, queda:
j | ) ( ) ( ) ( x of fog x f =
Y aplicando la definicin de composicin, se tiene:
j | ) ( ) ( ) ( x f fog x f =
Pero f(x)=y, entonces:
) )( ( ) ( y fog x f =
Y por hiptesis esta ltima composicin es la i
B
, lo que significa:
y x f = ) (
Esto demuestra que la funcin f es SOBREYECTIVA (3)
- 73 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Luego, de (2) y (3), la funcin f es BIYECTIVA (por definicin de funcin biyectiva)
Demostremos ahora la segunda parte:
H) f:AB es biyectiva
T) f admite inversa
D) Para poder demostrar esta parte del teorema, debemos encontrar una funcin g:BA, siempre
que exista f:AB de tal forma que x=g(y), si y=f(x).-
Ahora, para que g sea funcin debe cumplir con las condiciones de existencia y unicidad.-
Bajo las condiciones descriptas anteriormente, como f es biyectiva, y en particular sobreyectiva,
entonces todos los elementos de B tienen antecedente en A por f, lo que significa que todos los
elementos de B tienen imagen en A por g (existencia).
Por otro lado, como f es inyectiva, entonces distintos elementos de A tienen imagen distinta en B por
f, lo que significa que por g, los elementos de B tienen una y slo una imagen (unicidad).
Luego g:AB es funcin
Ahora como f y g son funciones, podemos hacer la composicin de ellas y obtener una conclusin:
j | ) ( ) ( x f g x gof =
Pero por lo dicho anteriormente y=f(x), entonces:
) ( ) ( y g x gof =
Por la misma razn que la anterior x=g(y), entonces
) ( ) ( x i x x gof
A
= =
Por otro lado se tiene:
j | ) ( ) ( y g f y fog =
Pero por lo dicho anteriormente x=g(y), entonces:
) ( ) ( x f y fog =
Por la misma razn que la anterior y=f(x), entonces
) ( ) ( y i y y fog
B
= =
Luego la funcin f admite inversa, y es la funcin g
Habiendo demostrado estas dos partes, qued demostrado el teorema.-
Con este teorema, dada una funcin, con tan slo estudiar si es que es biyectiva, sabremos
que admite inversa, por ejemplo:
2
2
1
) ( / :
3
+ = J J x x f f
Probemos que esta funcin es inyectiva, o sea:
) ( ) (
2 1
x f x f =
2
2
1
2
2
1
3
2
3
1
/ + = / + x x
3
2
3
2
1
2
1
1
x x =
3
2
3
1
x x =
3
3
2
1
x x =
- 74 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
2 1
x x =
Ahora probemos que es sobreyectiva:
Para demostrar, debemos despejar x de la funcin, o sea:
2 . 2 = y x
Aplicando la definicin de funcin sobreyectiva, se tiene:
1
2
1
) ( / 2 . 2 , + = J e = - e x x f y x B y
1 ) 2 . 2 (
2
1
) ( + = y x f
1 2 .
2
1
. 2 .
2
1
) ( + /
/
/
/
= y x f
1 1 ) ( / + / = y x f
y x f = ) (
Hemos probado que esta funcin es biyectiva, por lo tanto admite inversa (atento al teorema
fundamental de las funciones inversas). Pero ahora debemos determinar esta funcin inversa, o sea:
De acuerdo a lo que se trabaj:
) 1 .( 2 2 . 2 = = y y x
Siendo sta la funcin inversa, o sea:
) 1 .( 2 ) (
1
=

x x f
FUNCIONES ALGEBRAICAS Y TRASCENDENTES
Definicin:
Una funcin es ALGEBRAICA, si las operaciones de la expresin son algebraicas, caso contrario
se llaman TRASCENDENTES (trascienden el campo del lgebra)
FUNCIONES ALGEBRAICAS
LA FUNCIN LINEAL O DE PRIMER GRADO
La funcin f:AB es lineal o de primer grado, si su expresin algebraica de una sola variable es
de primer grado, y tiene la forma:
b x m y x f B fA + = = . ) ( /
Donde:
y se llama variable dependiente
x se denomina variable independiente
m se denomina pendiente
mx se denomina trmino lineal
b se denomina trmino independiente
- 75 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
La grfica de esta funcin es una recta que donde el punto P(0,b) pertenece a ella, por ello b se
denomina tambin ordenada al origen. O sea:
De acuerdo a la grfica de la funcin podemos concluir que
b x tg y x tg b y
x
b y
tg + = =

= . . o o o
Lo que significa que la pendiente m es la tangente trigonomtrica del ngulo que forma la recta
con la horizontal o el eje de las abscisas, o sea:
m=tg o
Ahora, haciendo un estudio de la tangente, observamos que sta es positiva si el ngulo est
comprendido en el primer cuadrante, o sea cuando la recta va desde el 3 al 1 cuadrante, o sea
cuando los valores de la funcin crecen al crecer los valor de la variable. La tangente es negativa
cuando el ngulo es mayor que
2
t
y menor que 2t, que es en el caso en el que la grfica de la
funcin va desde el 2 al 4 cuadrante, o sea cuando los valores de que la funcin decrecen si crecen
los de la variable. Las siguientes grficas corresponden a las funciones lineales.
1
3
1
= x y
- 76 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Si se est trabajando con los nmeros Reales, El dominio de esta funcin son los reales y la
imagen tambin los reales, o sea que la funcin lineal est definida de los reales a los reales:
D(f)=R I(f)=R
Esta funcin es inyectiva, ya que para valores distinto del conjunto de los reales, la funcin toma
valores distintos, y es sobreyectiva ya que todos los nmeros reales tienen preimgen por esta
funcin, lo que significa que esta funcin es Biyectiva.
Ahora, teniendo en cuenta el teorema fundamental de las funciones inversas, la funcin lineal
admite inversa, y se la determina despejando la variable x, o sea:
m
b y
x x m b y b x m y

= = + = . .
y cambiando las variables tenemos la forma de la funcin inversa de la lineal:
m
b x
x f

=

) (
1
LA FUNCIN CUADRTICA O DE SEGUNDO GRADO
Se llama funcin cuadrtica a aquella cuya expresin algebraica en una sola variable es de gado
dos.
La funcin cuadrtica tiene la forma:
c x b x a y x f B A f + + = = . . ) ( / :
2
Con a=0
Donde:
y es la variable dependiente
x la variable independiente
a.x
2
es el trmino cuadrtico
a es el coeficiente cuadrtico
b.x es el trmino lineal
b es el coeficiente lineal
c es el trmino independiente
Dado que el cuadrado de nmeros opuestos es siempre positivo, la grfica de esta funcin es una
parbola, cuyas ramas estarn para el lado positivo del eje de las ordenadas si a es positivo, caso
contrario si a es negativo.-
O sea:
Funcin positiva las ramas de la parbola hacia arriba
Funcin negativa las ramas de la parbola hacia abajo
2
4
5
+ = x y
- 77 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Supongamos que la grfica de la funcin c bx ax y + + =
2
es la siguiente:
Ahora, los ceros de esta funcin, son los valores de x donde la funcin toma el valor cero, que
son ni ms ni menos, que los puntos de corte entre la grfica de la funcin y el eje de las abscisas,
que en la grfica las muestra con x
1
y x
2
. En definitiva, y en realidad, estos valores son las races de
la ecuacin cuadrtica, las que cumplen con lo siguiente:
a
b
x x

= +
2 1
Para pode graficar la funcin cuadrtica, es imprescindible determinar el vrtice de la misma, que
es el punto donde cambiar el crecimiento la funcin y justamente esta vrtice es punto del eje de
simetra y los ceros de la funcin son puntos simtricos axialmente con respecto al eje de simetra, lo
que significa que:
a
b x x
2 2
2 1

=
+
Pero la semisuma del primer miembro es el valor de x que corresponde al vrtice, entonces
a
b
x
V
2

=
La siguiente grfica es de la funcin:
1 . 4 . 2 ) (
2
+ = x x x f
Ahora, el:
1
2 . 2
4
. 2
=

=
V V V
x x
a
b
x
La recta roja es el eje de simetra que pasa por el x
V
, esto significa que los puntos de la parbola
que se encuentran a la misma altura y opuestos con respecto a este eje son simtricos axialmente.-
1
x
2
x
v
x
v
y
- 78 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Ahora, como el x
v
es punto del eje de simetra, observamos que el corrimiento de la parbola en
forma horizontal depende de los signos de loa valores de los coeficientes cuadrtico y lineal,
sabiendo que si x
v
>0, la parbola se corre hacia la derecha con respecto a las ordenadas, si x
v
=0, el
eje de simetra son las ordenadas, y si x
v
<0, la parbola se corre hacia la izquierda respecto al eje de
las ordenadas. O sea:
O sea que:

> . <
< . >
>
0 0
0 0
0 si derecha la Hacia
b a
b a
x
v
Eje y es el eje de simetra si x=0, solamente se da si b=0

< . <
> . >
<
0 0
0 0
0 si izquierda la Hacia
b a
b a
x
v
Adems la parbola corta a las ordenada en c, ya que P(0,c) pertenece a la parbola
La grfica de la funcin dada es la siguiente:
Los puntos de corte de la funcin con el eje de las abscisas son los denominados ceros de la funcin,
o sea que es el valor que toma x para que y=0
Estudiemos ahora la funcin:
2 . 6 . 3 ) (
2
= x x x f
De antemano podemos asegurar que la parbola est corrida hacia la derecha, corta al eje de las
ordenadas en 2 y
1
3 . 2
) 6 (
. 2
=

=

=
a
b
x
v
5 2 1 . 6 1 . 3
2
= =
v
y
Esto significa que V(1, -5)
- 79 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
La grfica de esta funcin es:
Ahora, el dominio de esta funcin son todos los reales, y la imagen son los reales partiendo del y
v
inclusive.-
Ya que esta funcin no es biyectiva, entonces no admite inversa, solamente en algunos casos y
bajo algunas condiciones.-
DOS FUNCIONES TRASCENDENTES
LA FUNCIN EXPONENCIAL
Se llama funcin exponencial a la funcin:
X
a x f f = J J
+
) ( / : a>0 . a=1
Dada las condiciones anteriormente mencionadas, tenemos dos casos posibles:
1. Que a>1, por ejemplo f(x)=2
x
, cuya grfica es la siguiente:
- 80 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
La caracterstica de esta funcin es que es creciente, corta a las ordenadas en 1 y el eje de las
abscisas es asntota a la curva. El dominio son los reales, y la imagen los reales positivos.-
2. Cuando 0<a<1, por ejemplo:
X
x f |
.
|

\
|
=
2
1
) (
Cuya grfica es:
La funcin es decreciente, corta al eje de las ordenadas en 1, el eje de las abscisas es asntota a
la curva, el Dominio son los reales y la Imagen lo reales positivos.-
Si clasificamos la funcin exponencial observamos que bajo las condiciones planteadas sta es
biyectiva ya que es inyectiva porque para valores distintos de los reales, la funcin tiene imgenes
distintas; y es sobreyectiva por que todos los elementos del conjunto de llegada, o sea los reales
positivos, tienen preimgenes distintas.-
LA FUNCIN LOGARTMICA
Como la funcin exponencial es biyectiva, entonces admite inversa.-
Recordemos primero qu es el logaritmo de un nmero:
c
a
a b c b = = log
Lo que significa que calcular el logaritmo en base a de un nmero b, es encontrar el exponente
c a la que hay que elevar la base para obtener el argumento b.
As por ejemplo, log
3
81= 4, ya que 3
4
=81.-
Con esta idea, y partiendo de la funcin exponencial se tiene:
) ( log / : ) ( / :
1
x f x f a x f f
a
x
= J J = J J
+ +
O sea que la funcin logartmica est dada por:
x x f f
a
log ) ( / : = J J
+
- 81 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Como esta funcin es la inversa de la exponencial y la base a es tambin la base de la
exponencial, entonces se dan los siguientes casos:
Para a>1, por ejemplo: f(x)=log
2
x tiene la siguiente grfica:
Observamos que la grfica es creciente, corta a las abscisas en 1 y el eje de las ordenadas es
asntota de la curva. Por otro lado el dominio son los reales positivos y la imagen todos los reales.-
Probemos para el caso de que 0<a<1, por ejemplo:
x x f
2
1
log ) ( =
La grfica de esta funcin es:
La funcin es decreciente, corta al eje de las abscisas en 1, y el eje de las ordenadas es asntota
de la curva. Por otro lado, el dominio son los reales positivos y la imagen todos los reales.-
Para el caso de que a=1 (base 1), no queda definida la funcin logartmica.-
- 82 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
COMPARACIN ENTRE LA FUNCIN EXPONENCIAL Y LA LOGARTMICA
Construiremos las grficas de las siguientes funciones:
X
x f 3 ) ( = x x f
3
log ) ( =
En estos casos, la grfica azul es para la primera, y la verde para la segunda, lo que a simple vista
observamos que son grficas simtricas respecto a la diagonal que pasa por el origen de
coordenadas, lo que nos indica que estas son funciones inversas.-
Haremos el mismo razonamiento para el caso de:
X
x f |
.
|

\
|
=
2
1
) ( x x f
2
1
log ) ( =
- 83 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
TRABAJO PRCTICO N 4
1. Dada las siguientes funciones, graficarlas:
a. 2 5 4 ) ( / :
2
= x x x f R R f
b. 6 3 3 ) ( / :
2
+ = x x x f R R f
c. 2 ) ( / :
2
= x x f R R f
d.
3
3 5 ) ( / : + = x x f R R f
e. x x f R R f . 2 log ) ( / : =
+
f. 1 ) ( / :
0
+ =
+
x x f Z Z f
g. 2 ) ( / :
2
+ = x x x f R N f
h. { } ) ( ) ( / 1 , 0 , 1 : x sig x f Z f =
i. ) ( ) ( / : x sig x f R R f =
j. x x x f R R f ln ) ( / : + =
k. { }
3
2
3
) ( / 2 :

+
=
x
x
x f R R f
2. Sean los conjuntos A={1,2,3} y B={2,3}, representar y clasificar
b a b a f Z B A f = 3 ) , ( / :
3. Dado A={1,2,3} y B={2,3}, definir por tabla y clasificar f:P(A)P(B)/f(X)=B X.
4. En los siguientes casos, determinar gof:
a.
1 ) ( / :
5 3 ) ( / :
2
+ =
+ =
+
+
x x g R R g
x x x f R R f
- 83 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
TRABAJO PRCTICO N 4
1. Dada las siguientes funciones, graficarlas:
a. 2 5 4 ) ( / :
2
= x x x f R R f
b. 6 3 3 ) ( / :
2
+ = x x x f R R f
c. 2 ) ( / :
2
= x x f R R f
d.
3
3 5 ) ( / : + = x x f R R f
e. x x f R R f . 2 log ) ( / : =
+
f. 1 ) ( / :
0
+ =
+
x x f Z Z f
g. 2 ) ( / :
2
+ = x x x f R N f
h. { } ) ( ) ( / 1 , 0 , 1 : x sig x f Z f =
i. ) ( ) ( / : x sig x f R R f =
j. x x x f R R f ln ) ( / : + =
k. { }
3
2
3
) ( / 2 :

+
=
x
x
x f R R f
2. Sean los conjuntos A={1,2,3} y B={2,3}, representar y clasificar
b a b a f Z B A f = 3 ) , ( / :
3. Dado A={1,2,3} y B={2,3}, definir por tabla y clasificar f:P(A)P(B)/f(X)=B X.
4. En los siguientes casos, determinar gof:
a.
1 ) ( / :
5 3 ) ( / :
2
+ =
+ =
+
+
x x g R R g
x x x f R R f
- 83 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
TRABAJO PRCTICO N 4
1. Dada las siguientes funciones, graficarlas:
a. 2 5 4 ) ( / :
2
= x x x f R R f
b. 6 3 3 ) ( / :
2
+ = x x x f R R f
c. 2 ) ( / :
2
= x x f R R f
d.
3
3 5 ) ( / : + = x x f R R f
e. x x f R R f . 2 log ) ( / : =
+
f. 1 ) ( / :
0
+ =
+
x x f Z Z f
g. 2 ) ( / :
2
+ = x x x f R N f
h. { } ) ( ) ( / 1 , 0 , 1 : x sig x f Z f =
i. ) ( ) ( / : x sig x f R R f =
j. x x x f R R f ln ) ( / : + =
k. { }
3
2
3
) ( / 2 :

+
=
x
x
x f R R f
2. Sean los conjuntos A={1,2,3} y B={2,3}, representar y clasificar
b a b a f Z B A f = 3 ) , ( / :
3. Dado A={1,2,3} y B={2,3}, definir por tabla y clasificar f:P(A)P(B)/f(X)=B X.
4. En los siguientes casos, determinar gof:
a.
1 ) ( / :
5 3 ) ( / :
2
+ =
+ =
+
+
x x g R R g
x x x f R R f
- 84 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
b.
2
2
2
: / ( )
5
: / ( )
x
f Z R f x
g R R g x x
+
=
=
c.
: / ( ) 6
: / ( ) 9
f N R f x x
g R R g x x
= +
= +
d.
x x g R R g
x x f R R f
sen ) ( / :
5
8
) ( / :
=
+ =
5. Las funciones f:AB y g:BC son tales que gof es sobreyectiva. Demostrar que g es
sobreyectiva.
6. Clasificar las siguientes funciones:
a.
2
3
5 ) ( / : + = x x f R R f
b. 1 3 ) ( / :
2
+ = x x x f R R f
c. 1 2
2
1
) ( / :
2 3
+ =
+
x x x x f R R f
d.
x
x f R R f
2
4 ) ( / : =
+
e.
2
2 ) ( / : x x f R R f =
+
f. 3 2 ) ( / : + = x x f Z Z f
g. 1 ) ( / : + = x x f R R f
h.
3
2 ) ( / : = x x f R R f
i. j | x x f R f cos ) ( / 1 , 1 : =
7. Sean las funciones f:ZQ y g:QZ, tales que:
2
) (
2
x
x f = y ) ( ) ( x ent x g =
Encontrar fog y gof y calcular gof(-2) y fog(-0,5)
8. Graficar las siguientes funciones realizando el estudio correspondiente:
a. x x f R R f
2
log ) ( / : =
b.
x
x g R R g |
.
|

\
|
=
2
3
) ( / :
c. x x h R R h . 3 log ) ( / :
3
1
=
d.
x
x j R R j 3 ) ( / : =
9. Determinar el dominio dentro de los reales de las siguientes funciones:
a. 2 3 ) ( = x x f
b. 1 ) ( = x x g
c.
2
1
) (
2
+

=
x
x
x h
d.
3
5
2
) (
+
=
x
x j
- 85 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
e.
4
1
) (
2
3

=
x
x
x k
f. 3 cos ) ( + = x x l
g. 2 tg ) ( = x x m
h. ) 1 2 ( sen ) ( = x x p
10. Dada las grficas de las siguientes funciones, determinar con que dominio son inyectivas:
a
b
- 86 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
11. Determinar la funcin inversa de cada de las siguientes funciones
a. 1 4 ) ( / : = J J x x f f
b.
4
2
) ( / :
+
= J J
x
x g g
c. 3 2 ) ( / : = J J x x h h
d.
2
3
) ( / :
2
+ = J J x x F F
c
d
- 87 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO V
INDUCCIN COMPLETA
NMEROS Y CONGRUENCIAS
- 88 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
LA INDUCCIN COMPLETA
TEOREMA DE INDUCCIN COMPLETA
Todo subconjunto de N que incluya al 1, a h y al siguiente de h, es igual a N.-
Hiptesis
Sea ScN, 1eS
Si heS h+1eS
Tesis
S = N
Demostracin
Como por hiptesis ScN, tendremos que demostrar que NcS para que sean iguales.-
Ahora, supongamos C=ScN y distinto de S, de acuerdo con el principio de conjunto bien ordenado,
S tiene que tener un mnimo m, pero por hiptesis 1eS, entonces m=1. Pero por otra parte, como m
es natural, tiene que ser:
m>1 m 1>0
Ahora, como m 1 < m por ser m el mnimo de S m 1 e S.-
Pero de acuerdo a la hiptesis tenemos:
m 1 e S (m 1) + 1 e S m e S
Pero esta proposicin contradice lo estipulado, donde m es el mnimo de S NcS (1)
Luego, por hiptesis y (1) N = S
PRINCIPIO DE INDUCCIN COMPLETA
Sea la funcin proposicional P(n), donde n e N. Si ocurre que P(1) es verdadera, y adems P(h) es
verdadera, y de aqu se deduce que P(h+1) es verdadera, entonces P(n) es verdadera
Hiptesis
P(1) es verdadera
h:P(h) P(h+1)
Tesis
n:P(n) es Verdadera
Demostracin
Teniendo en cuenta el teorema anterior, si P(h) es verdadera para un nmero finito de naturales de
ScN. Y como por hiptesis P(1) es verdadera, entonces 1eS, y heS h+1eS, entonces NcS, lo que
significa P(n) es verdadera para todos los n de N
Por ejemplo:
Demostrar que los n primeros nmeros naturales es
2
) 1 ( + n n
Para ello hacemos:
Para n=1
1 1
2
2
1
2
) 1 1 .( 1
1 = =
+
=
- 89 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Esto significa que P(1) es verdadero
Planteamos una hiptesis donde n=h (P(h) verdadera), entonces
2
) 1 .(
... 5 4 3 2 1
+
= + + + + + +
h h
h
Ahora la tesis para n=h+1
2
) 1 1 ).( 1 (
) 1 ( ... 4 3 2 1
+ + +
= + + + + + + +
h h
h h
Demostracin
Por hiptesis, y teniendo en cuenta los h primeros trminos tenemos:
2
) 2 ).( 1 (
) 1 (
2
) 1 .( + +
= + +
+ h h
h
h h
Y sacando comn denominador, tenemos:
2
) 2 ).( 1 (
2
) 1 .( 2 ) 1 .( + +
=
+ + + h h h h h
Y sacando factor comn (h+1) queda:
2
) 2 ).( 1 (
2
) 2 ).( 1 ( + +
=
+ + h h h h
Esto indica que P(h+1) es verdadera, lo que significa que esta se cumple para todos los naturales.-
EL SMBOLO DE SUMATORIA
En ms de una oportunidad debemos resumir una suma de trminos ya sea infinita o finita, para ello
recurrimos a un smbolo llamado de sumatoria (_). Por ejemplo sea:
5 4 3 2 1
a a a a a + + + + la que la escribimos resumida de la siguiente forma:
_
=
5
1 i
i
a
Donde {1,2,3,4,5}eI (conjunto de ndices), i=1 se denomina extremo inferior, 5 extremo superior.-
Sea por ejemplo:
n
n
i
i
a a a a a + + + + =
_
=
...
3 2 1
1
,
o sea la suma de los trminos desde a
1
hasta a
n
variando de 1 en 1.
Ahora, sea por ejemplo:
2 2 2 2 2
5 4 3 2 1 + + + + , el problema es encontrar una expresin que nos permita expresar esta
frmula como sumatoria, y aqu observamos que el que aumente de 1 en 1 es la base de la potencia,
o sea que es i
2
, lo que significa que la sumatoria queda:
_
=
5
1
2
i
i
Para desarrollar la sumatoria hacemos:
6 .
2
1
5 .
2
1
4 .
2
1
3 .
2
1
2 .
2
1
1
2
1
0
2
1
.
2
1
6
0
+ + + + + + =
_
= i
i
- 90 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
y se resolvemos obtenemos el valor de la sumatoria.-
PROPIEDADES DE LA SUMATORIA
1) La sumatoria de la suma es igual a la suma de las sumatorias
_ _ _
= = =
+ = +
n
i
n
i
i i
n
i
i i
b a b a
1 1 1
) (
Demostracin:
Desarrollando la sumatoria se tiene:
) ( ... ) ( ) ( ) (
2 2 1 1
1
n n
n
i
i i
b a b a b a b a + + + + + + = +
_
=
Agrupando las a y las b tenemos
) ... ( ) ... ( ) (
2 1 2 1
1
n n
n
i
i i
b b b a a a b a + + + + + + + = +
_
=
Y transformando cada uno de los parntesis en sumatoria queda:
_ _ _
= = =
+ = +
n
i
n
i
i i
n
i
i i
b a b a
1 1 1
) (
2) La sumatoria de una constante por trmino genrico, es igual a la constante por la sumatoria
_ _
= =
=
n
i
i
n
i
i
a k a k
1 1
.
Demostracin:
Sea:
n
n
i
i
a k a k a k a k a k . ... . . . .
3 2 1
1
+ + + + =
_
=
Sacando factor comn K, queda:
) ... .( .
3 2 1
1
n
n
i
i
a a a a k a k + + + + =
_
=
Y transformando el parntesis en sumatoria, se tiene:
_ _
= =
=
n
i
i
n
i
i
a k a k
1 1
.
MXIMO COMN DIVISOR
DIVISORES Y MLTIPLOS
Sean los nmeros enteros a y b, se dice que a divide a b s y solo si existe otro entero
c tal que b=axc. En smbolos:
c a b Z c b a Z b Z a = e - e . e / Sean
a|b: se lee a divide a b
- 91 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Ahora, si a divide a b, entonces se dice b es mltiplo de a, y se denota
-
= a b
PROPIEDADES
Propiedad 1
Si un nmero divide a otro, entonces divide al producto de este por otro nmero, o sea:
a|b a|b.n
Demostracin
Si a|b -c/b=a.c Ahora, multiplicamos ambos miembros por el nmero n, entonces se tiene:
b.n=a.(c.n) pero c.n es un nmero entero, lo que significa que b.n=a.c
1
a|b.n
Propiedad 2
Si un nmero divide a otro, entonces divide a su opuesto, o sea:
a|b a|-b
Demostracin
Teniendo en cuenta la propiedad 1 se tiene que si a|b a|b.(-1) a|-b
Propiedad 3
Si un nmero divide a otros dos, entonces divide a su suma o a su diferencia, o sea:
a|b . a|c a|(b c)
Demostracin
Como a|b . a|c -d,-e/b=a.d . c=a.e, y sumando y restando miembro a miembro, se tiene:
b c = a.d a.e = a.(d e) pero de es un nmero entero, lo que significa que a|(b c)
ALGORITMO DE EUCLIDES
El mximo comn divisor de dos nmeros, es el divisor mayor de ambos nmeros.
El Algoritmo de Euclides es un procedimiento paso a paso que nos permite determinar el
mximo comn divisor de los nmeros a y b, denotndose MCD(a,b). Las siguientes propiedades
justifican este algoritmo.
Propiedad 1
Si a, b y r son nmeros enteros tales que a=c.b+r, entonces MCD(a,b)=MCD(b,r)
Demostracin:
Partimos de la suposicin de que el MCD(a,b)=p b p a p . , y teniendo en cuenta la definicin de
divisores, se tiene que s p b t p a Z s Z t . . / , = . = e - e -
Ahora, despejando de la hiptesis el nmero r, y reemplazando por lo demostrado anteriormente y
operando, se tiene:
) . .( . . . . c s t p c s p t p c b a r = = =
Esto significa que r p p c s t r = ). . ( , lo que concluimos que r p b p . MCD(b,r)=p.
- 92 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Luego por propiedad transitiva de la igualdad, tenemos que:
MCD(a,b)=MCD(b,r)
Propiedad 2
Si a y b son dos nmeros enteros no nulos tales que b|a, entonces MCD(a,b)=b
Indudablemente, si b|a . b|b MCD(a,b)=b
Basndonos en estas dos propiedades desarrollaremos el Algoritmo de Euclides, y para esto
recordaremos la definicin de cociente:
Dividendo = divisor x Cociente + Resto.
Ahora, sean aeZ . beZ, a=0 . b=0, el algoritmo de la divisin implica la existencia de dos nmeros
naturales c
0
y r
1
, tales que podamos hacer el cociente entre a y b:
0 1 1
. , 0 a c b r r b = + s <
Si r
1
=0, entonces el MCD(a,b)=b, esto justificndolo con la Propiedad 2, caso contrario hacemos
nuevamente la divisin entre b y r
1
, obteniendo c
1
y r
2
, y teniendo en cuenta que la Propiedad 1 nos
dice que MCD(a,b)=MCD(b,r
1
), entonces:
1 1 2 2 1
. , 0 b c r r r r = + s <
Si r
2
= 0, entonces el MCD(a,b)=r
1
, caso contrario seguimos con el mismo razonamiento y llegamos al
paso i, donde:
2 1 1 1
. , 0
i i i i i i
r c r r r r

= + s <
Ahora, como 0 ...
2 1
> > > > r r b , es evidente que en un nmero finito n de pasos con b n s ,
llegaremos a un resto r
n
=0, es decir que
1 1 2
.

=
n n n
r c r , esto implica que
2 1 n n
r r , y por la
Propiedad 2
1 1 2
) , (

=
n n n
r r r MCD , y teniendo en cuenta la Propiedad 1, queda:
1 1 2 2 1 1
) , ( ... ) , ( ) , ( ) , (

= = = = =
n n n
r r r MCD r r MCD r b MCD b a MCD
Ahora, para determinar el mximo comn divisor por este algoritmo hacemos el siguiente cuadro:
c
1
c
2
c
3
. c
n-1
c
n
a b r
1
r
2
. r
n-2
r
n-1
r
1
r
2
r
3
r
4
. 0
MCD(a,b)=|r
n-1
|
Por ejemplo: Obtener en MCD(441,24)
Hacemos el cociente entre 441 y 24
18
009
201
24 441
- 93 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
18 9 0 , 9 18 24 441 < s + =
Hacemos el cociente entre 24 y 9
2 06
9 24
9 6 0 , 6 2 9 24 < s + =
Hacemos el cociente entre 9 y 6:
1 3
6 9
6 3 0 , 3 1 6 9 < s + =
Hacemos el cociente entre 6 y 3
2 0
3 6
3 0 0 , 0 2 3 6 < s + =
De acuerdo a lo que establece el algoritmo, tenemos:
3 ) 3 , 6 ( ) 6 , 9 ( ) 9 , 24 ( ) 24 , 441 ( = = = = MCD MCD MCD MCD
Haciendo el cuadro expuesto anteriormente, se tiene:
18 2 1 2
441 24 9 6 3
9 6 3 0
MCD(441, 24) = 3
PROPIEDAD LINEAL DEL MXIMO COMN DIVISOR
Si a y b son dos nmeros enteros no nulos y MCD(a,b)=p, existen dos nmeros enteros u y v, tales
que p=a.u+v.b
Demostracin
Supongamos que p=r
n-1
. Puesto que para todo i, r
i-2
=c
i-1
.r
i-1
+r
i
, y de acuerdo con las frmulas
obtenidas en la descripcin del Algoritmo de Euclides, se tiene que:
2 3 1 3 3 2 2 1
1 1 2 2 1 1
0 1 1 0
. .
. .
. .
r c r r r r c r
r c b r r r c b
b c a r r b c a
= + =
= + =
= + =
2 2 3 1 1 2 2 3
. .
.......... ..........

= + =
n n n n n n n n
r c r r r r c r
Ahora, haciendo u
i-1
=1 . v
i-1
= - c
i-2
y as sucesivamente, tenemos:
4 3 5 3 3
3 2 4 2 2
2 1 3 1 1
. .
. .
. .



+ =
+ =
+ =
n n n n n
n n n n n
n n n n n
r v r u r
r v r u r
r v r u r
b v a u r
r v b u r
r v r u r
. .
. .
. .
1 1 1
1 2 3 3
2 3 1 3 3
+ =
+ =
+ =
Pero como
1 2 3 3 2 1
... r r r r r r p
n n n
= = = = = = =

entonces
b v a u p . .
1 1
+ =
Ejemplo:
En nuestro ejemplo anterior, el MCD(441,24)=3. Para ello se hizo uso de las siguientes igualdades:
441=18.24+9 24=2.9+6 9=1.6+3
Teniendo en cuenta estas igualdades, al 3 se lo puede expresar como:
3=9-6=9-(24 - 2.9)=-24+3.(441-18.24)=3.441-55.24
De esto deducimos que u=3, y que v=-55
- 94 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
NMEROS RELATIVAMENTE PRIMOS O PRIMOS ENTRE S
Dos nmeros enteros no nulos a y b son relativamente primos, si el MCD(a,b)=1
ECUACIONES DIOFANTICAS LINEALES
Se llama ecuacin diofntica a aquella de varias variables que tienen soluciones enteras.
Una ecuacin es lineal diofntica si tiene la forma c by ax = + .-
Propiedades
Propiedad 1
Sean a, b y c tres nmeros enteros con MCD(a,b)=d, la ecuacin c by ax = + tiene solucin entera s
y slo si d|c.
Demostracin
Si la ecuacin c by ax = + tiene soluciones enteras, existen ueZ y veZ tales que c v b u a = + . . .
Como MCD(a,b)=d, entonces a=p.d y b=q.d con p, q nmeros enteros, entonces:
) . . .( . . . . . . v q u p d v d q u d p v b u a c + = + = + =
Lo que est en el parntesis es un nmero entero, entonces c=k.d d|c
Propiedad 2
Sean a, b y c nmeros enteros; si x
0
eZ, y
0
eZ es una solucin particular de la ecuacin diofntica
, todas las soluciones enteras de esta ecuacin son de la forma:
n
d
b
x x
0
+ = , n
d
a
y y
0
= , con neZ, y donde MCD(a,b)=d
Demostracin
Como x
0
e y
0
es una solucin de c by ax = + , entonces c by ax = +
0 0
.
Ahora hacemos:
|
.
|

\
|
+ |
.
|

\
|
+ = + n
d
a
y b n
d
b
x a y b x a . . . .
0 0
Y aplicando la propiedad distributiva, se tiene:
n
d
a b
y b n
d
a b
x a y b x a
.
.
.
. . .
0 0
+ + = +
Y cancelando queda:
0 0
. . . . y b x a y b x a + = +
Lo que significa que n
d
b
x
0
+ e n
d
a
y
0
es solucin de c by ax = + .
Pero como (x
0
, y
0
) es solucin de la ecuacin, entonces x x
0
= 0 e y y
0
= 0, por lo tanto:
- 95 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
0 ) .( ) .(
0 0
= + y y b x x a
Haciendo un pasaje de trminos se tiene:
) .( ) .(
0 0
y y b x x a =
Que es lo mismo que:
) .( ) .(
0 0
y y b x x a = (1)
Dividiendo ambos miembros por d, queda:
) ( ) (
0 0
y y
d
b
x x
d
a
= (2)
Como el MCD(a, b)=d 1 , = |
.
|

\
|
d
b
d
a
MDC ya que
d
a
y
d
b
son primos entre s
Por otro lado, y de acuerdo a la igualdad 2, n
d
a
y y Z n y y
d
a
/ ) (
0 0
= e - , lo que significa
que:
n
d
a
y y
0
= (I)
Sustituyendo el valor de y en la igualdad 1 se tiene:
|
.
|

\
|
+ = n
d
a
y y b x x a . ) .(
0 0 0
Cancelando queda:
n
d
a b
x x a
.
) .(
0
=
Despejando, se tiene:
n
d a
a b
x x
.
.
0
/
/
=
Despejando x se tiene:
n
d
b
x x
0
+ = (II)
De I y II, queda demostrado el teorema.-
Ejemplo:
Determinar las soluciones positivas de la siguiente ecuacin diofntica:
- 96 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
20.x + 50.y = 430
Observamos que el MCD(20, 50)=10 y como 10|430, entonces se asegura que la ecuacin tiene
soluciones enteras.-
Ahora busquemos una solucin particular, y lo haremos teniendo en cuenta el algoritmo de Euclides,
donde 50 = 2.20 + 10 10 = 50 20.2, por lo tanto:
430 = 43.10 = 43.(50 2.20) = 43.50 86.20
Lo que significa que x
0
= -86 y que y
0
= 43.
Ahora, aplicando el teorema anterior, se tiene:
Z n n
d
b
x x e + = con
0
Z n n
d
a
y y e = con
0
Reemplazando queda:
n x
10
50
86 + =
n y
10
20
43 =
Pero las soluciones deben ser positivas, entonces n puede tomar los valores 18, 19, 20 y 21
solamente, lo que significa que las soluciones son:
, ) 7 , 4 18
10
20
43 , 18
10
50
86 |
.
|

\
|
+
, ) 5 , 9 19
10
20
43 , 19
10
50
86 |
.
|

\
|
+
, ) 3 , 14 20
10
20
43 , 20
10
50
86 |
.
|

\
|
+
, ) 1 , 19 21
10
20
43 , 21
10
50
86 |
.
|

\
|
+
CONGRUENCIA EN MDULO n
Los nmeros a y b son congruentes en mdulo n si n divide a su diferencia, o sea:
b a n n Z b Z a e . e mdulo en s congruente son
Para denotar que los nmeros a y b son congruentes en mdulo n, usamos a b(n)
Propiedad
La congruencia en mdulo n es una relacin de equivalencia
Demostracin
Antes de todo, definimos la relacin:
b a n Z R b a c e
2
) , (
- 97 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Para demostrar que la congruencia en mdulo n es una relacin de equivalencia, se debe demostrar
que es reflexiva, simtrica y transitiva:
- 98 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Reflexiva
Todo nmero divide al cero, por lo tanto:
R a a a a n n e ) , ( 0
Simtrica
De acuerdo a lo definido se tiene:
R a b a b n b a n b a n R b a e e ) , ( | ) 1 ).( ( | | ) , (
Esto es teniendo en cuenta las propiedades 1, 2 y 3 de divisores y mltiplos
Transitiva
Supongamos que:
R c a c a n a b b a n c b n b a n R c b R b a e / + / . e . e ) , ( | | | | ) , ( ) , (
Lo que queda demostrada que la congruencia en mdulo n es una relacin de equivalencia.
TRABAJO PRCTICO N 5
Escribir como sumatoria:
1) = + + + + + + 15 11 9 7 5 3 1
2) =
+ + + +
n
x x x x
n
...
3 2 1
3) = + + + + + + +
81
1
64
1
49
1
36
1
25
1
16
1
9
1
4
1
4) = + + + + + 2186 ... 26 8 2 0
5) = + + + + + + 29 ... 14 11 8 5 2
6) = + + + + + 727 241 79 26 7 1
7) = + +
100
1
64
1
36
1
16
1
4
1
8) Demostrar por el mtodo de induccin completa
a)
_
=
+
= |
.
|

\
|
n
i
n
n
i
1
1
3
2
2
3
2
b)
_
=
+ +
=
n
i
n n n
i
1
2
6
) 1 2 )( 1 (
c)
_
=
=
n
i
n
n
i n i
1
2
) 1 (
6
) (
d)
n n
2
1
1
2
1
...
8
1
4
1
2
1
= + + + +
e) 1 10 10 3
1
+ +
+ n n
f) n n +
2
2
g)
_
=
+ =
n
i
n i i
1
1 )! 1 ( ! .
- 99 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
h)
_ _
= =
|
.
|

\
|
=
n
i
n
i
i i
1
2
1
3
i)
n n
5 8 3
j)
_

=
1
1
1
1
n
i
n
i
x
x
x si x=1
k)
_
=
+
=
n
i
n i
n i
1
2
2
2
2
9) Determinar el MCD usando el algoritmo de Euclides de
a) 63 y 49
b) 619 y 93
c) 521 y 2187
d) 1253 y 436
e) 472 y 34
10) Probar que si a, b y m son nmeros enteros positivos, MCD(m.a, m.b)=m.MCD(a, b)
11) Probar que si c=MCD(a, b) entonces 1 , = |
.
|

\
|
c
b
c
a
MDC
12) Si p y q son dos nmeros primos entre s, demostrar que si p|q.m p|m
13) Si MCD(a,b,c), probar que MCD(MCD(a,b),c)=MCD(a,MCD(b,c))
14) Si MCD(a, b)=1, probar que MCD(a+b, a b)=1 MCD(a+b, a b)=2
15) Hallar todas las soluciones enteras de las ecuaciones diofnticas:
a) 2.x + 3.y = 7
b) 21.x 35.y =-14
c) 6.x + 9.y = 36
d) 20.x + 30.y = 500
16) De cuantas formas posibles se pueden tener $330 repartidas en billetes de $10 y $20?
17) Si a>0, b>0 y MCD(a, b)=1, probar que todo x>a.b puede escribirse como a.u + b.v = x, con u y v
positivos.
- 100 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO VI
ANLISIS COMBINATORIO
- 101 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
INTRODUCCIN
El Anlisis Combinatorio es una parte de la matemtica que se ocupa de resolver los
problemas de ordenacin de conjuntos y sus elementos. Para resolver se deben definir
principalmente factorial, Arreglos o Variaciones, Permutaciones y Combinaciones.-
FACTORIAL
Se llama factorial a la funcin f:N
0
N tal que:

=
=
=
) 1 ( . ) (
1 ) 1 (
1 ) 0 (
n f n n f
f
f
El factorial de un nmero cualquiera n, se lo simboliza n!., o sea que la definicin de factorial queda:

=
=
=
)! 1 .( !
1 ! 1
1 ! 0
n n n
Aplicando la definicin en forma sucesiva, se tiene:
n! = n.(n-1)!
=n.(n-1).(n-2)!
=n.(n-1).(n-2).(n-3)!
=n.(n-1).(n-2).(n-3)...3.2.1!
As por ejemplo:
2! = 2.1 = 2 3! = 3.2.1 = 6 4! = 4.3.2.1 = 24
SIMPLIFICACIN DE FACTORIALES
Para simplificar un factorial con otro factorial, se deben descomponer segn su desarrollo, o
sea por ejemplo:
4 . 5 . 6 . 7 . 8
1 . 2 . 3
1 . 2 . 3 . 4 . 5 . 6 . 7 . 8
! 3
! 8
= =
Pero 3.2.1 = 3!, entonces:
4 . 5 . 6 . 7 . 8
! 3
! 3 . 4 . 5 . 6 . 7 . 8
! 3
! 8
= =
VARIACIONES O ARREGLOS SIN REPETICIN
Se denomina arreglo o variacin sin repeticin de un conjunto de m elementos tomados de n
en n, al nmero de conjuntos distintos formado por n elementos de los m dados, teniendo en cuenta
que dos conjuntos son distintos si difieren en sus elementos o en el orden en que fueron colocados.-
Por ejemplo el conjunto formado por las siguientes letras, queriendo formar conjuntos de a
dos letras, o sea un arreglo de 4 elementos tomados de 2 en 2:
A, B, C, D
- 102 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
AB AC AD
BA BC BD
CA CB CD
DA DB DC
O sea que el arreglo de 4 elementos tomados de 2 en 2, es 12
Todo arreglo se lo denota como
m
n
A y se lee arreglo sin repeticin o simple de m elementos tomados
de n en n, o bien
m
n
V y se lee variacin sin repeticin o simple de m elementos tomados de n en n
Teniendo en cuenta el ejemplo anterior, podemos hacer:
)! 2 4 (
! 4
! 2
! 4
2
24
12
4
2

= = = = A que generalizando queda:


)! (
!
n m
m
A
m
n

=
VARIACIONES O ARREGLOS CON REPETICIN
En el caso de que de un conjunto se pueda escoger un elemento ms de una vez para formar
una variacin o un arreglo, estamos en presencia de un arreglo con repeticin. Por ejemplo:
Sea el conjunto formado por A, B, C, D y se quieren formar conjuntos de dos letras, pudiendo
ser ellos formados por las mismas, y dos conjuntos son distintos si difieren en su orden o en sus
elementos. Esto ser:
AA AB AC AD
BA BB BC BD
CA CB CC CD
DA DB DC DD
Esto es un arreglo con repeticin (se pueden repetir los elementos en un mismo conjunto) de
4 elementos tomados de 2 en 2, y su resultado es 16.
Ahora realicemos en mismo trabajo, pero aumentando al conjunto un elementos ms y
tomemos de a tres elementos. O sea
A, B, C, D, E
AAA AAB AAC AAD AAE BEA BEB BEC BED BEE DDA DDC DDE EAD
ABA ABB ABC ABD ABE CAA CAB CAC CAD CAE DEA DEC DEE EBD
ACA ACB ACC ACD ACE CBA CBB CBC CBD CBE EAA EAC EAE ECD
ADA ADB ADC ADD ADE CCA CCB CCC CCD CCE EBA EBC EBE EDD
AEA AEB AEC AED AEE CDA CDB CDC CDD CDE ECA ECC ECE EED
BAA BAB BAC BAD BAE CEA CEB CEC CED CEE EDA EDC EDE ECB
BBA BBB BBC BBD BBE DAA DAB DAC DAD DAE EEA EEC EEE EDB
BCA BCB BCC BCD BCE DBA DBB DBC DBD DBE DDB DDD EAB EEB
BDA BDB BDC BDD BDE DCA DCB DCC DCD DCE DEB DED EBB
O sea que el total de conjuntos posibles de formar con los 5 elementos tomados de 3 en 3 y
que se pueden repetir sus elementos, es 125
El arreglo con repeticin de m elementos tomados de n en n se denota como
m
n
A' . Ahora:
2 4
2
4 16 ' = = A y
3 5
3
5 125 ' = = A
- 103 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
O sea que en definitiva:
n m
n
m A = '
PERMUTACIONES SIMPLES O SIN REPETICIN
Las permutaciones simples o sin repeticin de m elementos se define como la cantidad de
conjuntos que se pueden formar con los m elementos tomados de m en m, siendo distintos dos de
ellos si su orden es distinto. La denotacin de permutacin de m elementos es P
m
. Atendiendo la
definicin, la permutacin de m elementos es un arreglo de m elementos tomados de m en m. O sea:
!
1
!
! 0
!
)! (
!
m
m m
m m
m
A P
m
m m
= = =

= =
Por ejemplo: De cuntas formas se pueden ordenar 5 libros distintos en un estante?
P
5
= 5! = 120
PERMUTACIONES CON REPETICIN
Supongamos que se tienen 10 bolas de las cuales 3 son blancas, 2 son azueles y 5 rojas con
las cuales se las quiere determinar la cantidad de formas que se las puede ordenar. No se podra
aplicar la P
10
ya que se repiten las blancas (3), las azueles (2) y las rojas (5). O sea que por estos
casos se tendra:
P
3
=3! = 6 (para las blancas), P
2
=2 (para las azules) y P
5
= 5! = 120 (para las rojas), y el orden en
cada uno de estos conjuntos no se pueden diferenciar ya que sus elementos son iguales por el color.
Estamos en presencia de una permutacin con repeticin de 10 elementos en grupos de 3, 2 y 5, y
esto ser:
2520
6.2.120
3628800
! 5 !. 2 !. 3
! 10
. .
'
5 2 3
10 5 , 2 , 3
10
= = = =
P P P
P
P
La frmula general ser:
! !... !. !.
!
... . .
'
,..., , ,
c o | o
c o | o
c o | o
m
P P P P
P
P
m
m
= =
Donde m es el total de elementos, o es el nmero del primer grupo de elementos iguales, | el
segundo, o el tercero, etc.
COMBINACIONES SIMPLES O SIN REPETICIN
Combinaciones sin repeticin de m elementos tomados de n en n es la cantidad de conjuntos
de n elementos que se pueden formar con los m elementos, teniendo en cuenta que dos conjuntos
son diferentes si difieren nicamente en sus elementos.-
Por ejemplo: Sea el conjunto formado por A, B, C, D, Cuntos conjuntos de tres elementos
distintos se pueden formar con ellos?
ABC ABD ACD BCD
Observamos que la respuesta es 4.-
Ahora la combinacin de m elementos tomados de n en n se denota con
m
n
C , y en nuestro
caso particular, ser:
)! 3 4 !.( 3
! 4
6
24
4
4
3

= = = C
Para el caso de m y n, se tiene:
)! !.(
!
n m n
m
C
m
n

=
- 104 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
PROPIEDADES DE LAS COMBINACIONES SIMPLES
1) 1
0
=
m
C
Demostracin:
1
! . 1
!
)! 0 !.( 0
!
0
= =

=
m
m
m
m
C
m
Esto es teniendo en cuenta que 0! = 1 y simplificando.-
2) 1 =
m
m
C
Demostracin:
1
! 0 !.
!
)! !.(
!
= =

=
m
m
m m m
m
C
m
m
Esto es teniendo en cuenta que 0! = 1 y simplificando.-
3)
m
n m
m
n
C C

=
Demostracin:
m
n
m
n m
C
n n m
m
n m m n m
m
C =

=
+
=

! )!. (
!
)! )!.( (
!
Esto es aplicando la definicin y cancelando m.-
4)
1 1
1

+ =
m
n
m
n
m
n
C C C
Demostracin:
Partiendo del segundo miembro, y aplicando la definicin, sacando comn denominador y
sacando factor comn, se tiene:
)! 1 !.(
)! 1 (
)! 1 1 )!.( 1 (
)! 1 (
1 1
1
n m n
m
n m n
m
C C
m
n
m
n

+
+

= +

)! 1 )!.( 1 .(
)! 1 (
)! 1 ).( )!.( 1 (
)! 1 (
1 1
1


+


= +

n m n n
m
n m n m n
m
C C
m
n
m
n
)! 1 )!.( 1 ).( .(
)! 1 ).( ( )! 1 .(
1 1
1

+
= +

n m n n m n
m n m m n
C C
m
n
m
n
)! 1 )!.( 1 ).( .(
) )!.( 1 (
1 1
1

+
= +

n m n n m n
n m n m
C C
m
n
m
n
)! 1 )!.( 1 ).( .(
)!. 1 (
1 1
1


= +

n m n n m n
m m
C C
m
n
m
n
)! 1 )( )!.( 1 .(
)!. 1 (
1 1
1


= +

n m n m n n
m m
C C
m
n
m
n
)! !.(
! .
1 1
1
n m n
m
C C
m
n
m
n

= +

m
n
m
n
m
n
C C C = +

1 1
1
- 105 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
5)
1
1 1
+
+ +
= +
m
n
m
n
m
n
C C C
Demostracin:
Partiendo de la demostracin anterior, y haciendo k=m+1m=k-1 y
s=n+1n=s-1, se tiene:
1
1
1 1
1 1
+
+

+
= = + = +
m
n
k
s
k
s
k
s
m
n
m
n
C C C C C C
COMBINACIONES CON REPETICIN
Para el caso de las combinaciones con repeticin de m elementos tomados de n en n,
simplemente diremos que es igual a la combinacin simple de m+n-1, tomados de n en n, y siendo su
denotacin
m
n
C' . En frmulas ser:
1
'
+
=
n m
n
m
n
C C
BINOMIO DE NEWTON
Desde nuestros estudios en la escuela media, EGB o Polimodal, conocemos que:
(a + b)
2
= a
2
+ 2.a.b + b
2
y que (a + b)
3
= a
3
+ 3.a
2
.b + 3.a.b
2
+ b
3
Esto es lo que se denomina el cuadrado y el cubo de un binomio. Estos son casos
particulares de lo que conoce con el nombre de binomio de Newton, y que se generaliza en lo
siguiente:
, )
_
=

= +
n
i
i i n n
i
n
b a C b a
0
. .
Esta igualdad se demuestra con el mtodo de induccin completa. O sea que:
Para n = 0
1 1
. . ) (
0 0 0 0
0
0
=
= +

b a C b a
Hiptesis
Para n=k
, )
_
=

= +
k
i
i i k k
i
k
b a C b a
0
. .
Tesis
Para n=k+1
, )
_
+
=
+ + +
= +
1
0
1 1 1
. .
k
i
i i k k
i
k
b a C b a
Demostracin
Partiendo del primer miembro, aplicando producto de potencias de igual base, y lo estipulado por la
hiptesis y luego distribuyendo, se tiene:
, ) , ) , ) b a b a b a
k k
+ + = +
+
.
1
, )
_
=
+
+ = +
k
i
i i k k
i
k
b a C b a b a
0
1
. . ). (
- 106 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
, )
_ _
=

=
+
+ = +
k
i
i i k k
i
k
i
i i k k
i
k
b a C b b a C a b a
0 0
1
. . . . . .
Ahora, introduciendo a en la primera sumatoria, y b en la segunda, queda:
, )
_ _
=

=
+
+ = +
k
i
i i k k
i
k
i
i i k k
i
k
b b a C b a a C b a
0 0
1
. . . . . .
Aplicando producto de potencia de igual base, se tiene:
, )
_ _
=
+
=
+ +
+ = +
k
i
i i k k
i
k
i
i i k k
i
k
b a C b a C b a
0
1
0
1 1
. . . .
Ahora extraemos el primer trmino de la primera sumatoria, y el ltimo de la segunda sumatoria. O
sea:
, )
_ _

=
+ +
=
+ + +
+ + + = +
1
0
1 1
1
1 0 1
0
1
. . . . . . . .
k
i
k k k k
k
i i k k
i
k
i
i i k k
i
i k k k
b a C b a C b a C b a C b a
Pero, haciendo j=i+1, entonces i=j-1, y si i=0 j-1=0 j=1, llegando hasta k y reemplazando en la
segunda sumatoria, queda:
, )
_ _
=
+ +

=
+ + +
+ + + = +
k
j
k k
k
j j k k
j
k
i
i i k k
i
k k k
b a C b a C b a C b a C b a
1
1 0 1
1
1
1 0 1
0
1
. . . . . . . .
Pero cambiando j por i, se tiene:
, )
_ _
=
+ +

=
+ + +
+ + + = +
k
i
k k
k
i i k k
i
k
i
i i k k
i
k k k
b a C b a C b a C b a C b a
1
1 0 1
1
1
1 0 1
0
1
. . . . . . . .
Tomamos una sola sumatoria hasta k, y se tiene:
, )
1 0
1
1
1
0 1
0
1
. . . ). ( . .
+
=
+

+ +
+ + + = +
_
k k
k
k
i
i i k k
i
k
i
k k k
b a C b a C C b a C b a
Y por la propiedad 5 aplicada a las suma de las combinatorias, que:
, )
1 0
1
1 1 0 1
0
1
. . . . . .
+
=
+ + + +
+ + = +
_
k k
k
k
i
i i k k
i
k k k
b a C b a C b a C b a
Y haciendo 1
1
1
= =
+
+
k
k
k
k
C C y 1
1
0 0
= =
+ k k
C C , teniendo en cuenta una propiedad de las
combinaciones, queda:
, )
1 0 1
1
1
1 1 0 1 1
0
1
. . . . . .
+ +
+
=
+ + + + +
+ + = +
_
k k
k
k
i
i i k k
i
k k k
b a C b a C b a C b a
Introduciendo el primer trmino y el ltimo trmino en la sumatoria, queda:
, )
_
+
=
+ + +
= +
1
0
1 1 1
. .
k
i
i i k k
i
k
b a C b a
Por ejemplo:
Desarrollar el siguiente binomio:
, )
_
=

= +
5
0
5 5 5
. .
i
i i
i
b a C b a
, )
5 5 5 5
5
4 4 5 5
4
3 3 5 5
3
2 2 5 5
2
1 1 5 5
1
0 0 5 5
0
5
. . . . . . . . . . . . b a C b a C b a C b a C b a C b a C b a

+ + + + + = +
, )
5 4 3 2 2 3 4 5 5
. . 5 . . 10 . . 10 . . 5 b b a b a b a b a a b a + + + + + = +
- 107 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
TRINGULO DE TARTAGLIA PASCAL
Utilizando la propiedad 5 de combinaciones, se puede construir un tringulo con los valores
que sern los coeficientes de un binomio de Newton. Este es:
0
0
C
1
1
1
0
C C
2
2
2
1
2
0
C C C
3
3
3
2
3
1
3
0
C C C C
4
4
4
3
4
2
4
1
4
0
C C C C C
5
5
5
4
5
3
5
2
5
1
5
0
C C C C C C
6
6
6
5
6
4
6
3
6
2
6
1
6
0
C C C C C C C
O sea que:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
1 7 21 35 35 21 7 1
1 8 28 56 70 56 28 8 1
Cmo se arma el tringulo de Pascal?
1) Se comienza con el 1 en el medio.
2) En todos los casos, los extremos son 1
3) Los otros se forman sumando los elementos de a la par de la lnea anterior.
TRABAJO PRCTICO N 6
1) De cuntas maneras se pueden colocar 12 libros en un estante?
2) Cuntos diferente de 6 cifras pueden formarse con los dgitos 1, 2, 3, 4, 5, 6, 7, 8, 9, y en los
cuales no se repita ningn nmero?
3) De cuantas formas diferentes pueden acomodarse 7 personas en un banco?
4) Si una cuadrilla tiene 14 hombres de cuantas maneras pueden seleccionarse 11 de ellos?
5) Hallar el nmero de personas que asistieron a una reunin, si al despedirse se contaron 78
apretones de mano?
6) Hallar el valor de x que satisfaga la igualdad 450
2 2
=
x x
C V
7) Calcular n y p en la siguiente igualdad
n
p
n
p
C C
2
10
2
2
=
8) Calcular n en la siguiente igualdad:
5
7
2
4
1
3 2
=
+
+
+
n
n n
C
C C
9) De cuntas maneras se pueden colocar 12 libros en un estante si tres de ellos deben estar
juntos?
10) Cuntos nmeros de 3 cifras se pueden formar con 0, 1, 2, 3, 4 y 5 pudindose repetir los
nmeros?
11) Cuntos polgonos determinan 10 puntos del plano, sabiendo que 3 cualesquiera no estn
alineados?.-
12) Cuntos cdigos simblicos de cuatro letras se pueden formar con las letras PDQX sin
repeticiones?
13) Cuntos nmeros de 5 dgitos se pueden formar con los dgitos 0, 1, 2, 3, 4?
14) De cuntas maneras pueden estacionarse 6 bicicletas en una hilera?
15) Una mujer se prepara para salir de paseo. Se vestir con 1 de 6 vestidos, con un par de zapatos
de 8 que tiene y podr ir a 1 de 7 restaurantes que hay en la ciudad. De cuntas maneras puede
realizar las actividades?
- 108 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
16) De cuntas maneras pueden arreglar la letras del conjunto {P, D, Q, W, T, Z} para formar
cdigos ordenados de 3 letras sin repeticin?
17) De cuntas maneras pueden arreglar la letras del conjunto {P, D, Q, W, T, Z} para formar
cdigos ordenados de 3 letras pudindose repetir las letras?
18) De cuntas maneras pueden asignarse 3 personas a 5 oficinas individuales?
19) Un aula especial tiene 10 pares de audfonos para estudiantes con dificultades auditivas
Cuntas combinaciones posibles de estudiantes y audfonos se pueden dar si 7 estudiantes de
la clase necesitan utilizar los audfonos?
20) Cuntas patentes de vehculos se pueden formar utilizando los dgitos 0, 1, 2, 3, 4, 5 si se
permiten repeticiones?
21) Cuntos cdigos ordenados se pueden formar utilizando 4 letras del conjunto {A, B, C, D, E} si
las letras:
a) no se pueden repetir?
b) S se pueden repetir?
c) No se pueden repetir y el cdigo debe empezar con la letra D?
d) No se pueden repetir y los cdigos deben terminar con la combinacin DE?
22) En un examen un estudiante debe seleccionar 6 preguntas de 10 sin importar el orden De
cuntas maneras puede realizarse la seleccin?
23) Cuntas lneas rectas estn determinados por 8 puntos si no hay tres de ellos alineados?
24) En un Senado existen 58 miembros del partido poltico A y 42 del partido B, se deben armar las
Comisiones de trabajo donde habr 6 miembros del partido A y 4 del partido B. Cuntas
Comisiones se pueden formar?
25) Hay 8 puntos en un crculo Cuntos tringulos se pueden inscribir con estos puntos como
vrtices?
26) Desarrollar los siguientes binomios:
a) = |
.
|

\
|
+
5
.
5
1
3
1
c b a
b) = |
.
|

\
|
+
9
3 2
.
3
4
z y x
c) = |
.
|

\
|

10
3 2 3 2
. 5 , 0
4
5
b a z y x
d) , ) =
5
3 2
. . 1 , 8 . 2 , 1 d c ab
e) = |
.
|

\
|

7
2
3
2
.
8
9
b a
- 109 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
CAPTULO VII
ESTRUCTURAS ALGEBRAICAS
- 110 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
LEY DE COMPOSICIN INTERNA
Sea el conjunto G = C, se llama Ley de Composicin Interna a la funcin:
b a b a G G * ) , ( /* : *
2
=
Esto significa que si operamos mediante * entre dos elementos de G, se obtiene otro
elemento de G
ESTRUCTURAS ALGEBRAICAS
ESTRUCTURA DE GRUPO
El par (G,*) es una estructura de grupo si y slo si cumple con los siguientes axiomas:
A1) * es una ley de composicin interna, o sea:
b a b a G G * ) , ( /* : *
2
=
A2) * es asociativa, o sea:
) * ( * * ) * ( : , , c b a c b a G c G b G a = e e e
A3) Existe un elemento e neutro, o sea:
a e a a e G a G e = = e e - * * : /
A4) Existencia del electo inverso para todo elemento de G, o sea:
e a a a a G a G a = = e - e '* ' * / ' ,
Ahora, si adems de estas propiedades cumple con la propiedad conmutativa el grupo se denomina
conmutativo o abeliano, o sea:
A5) * es conmutativa, o sea:
a b b a G b G a * * : , = e e
Por ejemplo:
(Z,+) con Z es el conjunto de nmeros enteros y + la operacin adicin ordinaria, y es un grupo
abeliano.
(Q, ) siendo Q el conjunto de nmeros racionales y el producto ordinario, no es un grupo, ya que el
0 no posee inverso.
(Q-{0}, ) es un grupo abeliano.
Ejemplo:
Sea (Q-{1}, *) donde a*b =a+b+a.b, probar que es un grupo abeliano:
A1) * es una ley de composicin interna en Q-{1}
{ } } 1 { . * ) , ( /* } 1 { } 1 { : *
2
e + + = = Q b a b a b a b a Q Q
Esto lo justifica que la adicin y la multiplicacin de nmeros racionales es otro racional.
- 111 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
A2) * es asociativo en Q-{1}
c b a c b c a b a c b a c b a b a c b a b a c b a c b a c b a . . . . . ). . ( . ). * ( ) * ( * ) * ( + + + + + + = + + + + + + = + + =
c b a c a b a c b c b a c b c b a c b c b a c b a c b a c b a . . . . . ) . .( . ) * .( ) * ( ) * ( * + + + + + + = + + + + + + = + + =
Como los segundos miembros son iguales, entonces los primeros tambin lo son, luego:
) * ( * * ) * ( c b a c b a =
A3) Existencia del elemento neutro (e):
0 0 ) 1 .( 0 . . * : } 1 { / } 1 { = = + = + = + + = e e - e a e e a e a e a e a e a Q a Q e
Ahora, hacemos:
a a a a e = + + = . 0 0 *
Por lo tanto el elemento neutro es e=0
A4) Existencia del elemento inverso para cualquier elemento de Q-{1}, o sea:
a
a
a a a a a a a a a a a a e a a Q a Q a
+

= = + = + = + + = e - e
1
' ) 1 ( ' ' . ' 0 ' . ' ' * / } 1 { ' }, 1 {
Ahora probamos con:
e
a
a a a a
a
a a a a
a
a
a a
a
a
a a = =
+
+ +
=
+
+ +
=
+

+ +
+

= 0
1 1
) 1 .(
1
'
1
'*
2 2 2
Por lo tanto el elemento inverso es
a
a
a
+

=
1
'
Con estas cuatro demostraciones aseguramos que (Q-{1},*) es un grupo
Ahora hacemos:
A5) Probamos la conmutatividad
a b a b a b b a b a b a Q b Q a * . . * : } 1 { }, 1 { = + + = + + = e e
Esto es aplicando la propiedad conmutativa de la adicin y del producto.
PROPIEDADES DE LOS GRUPOS
Propiedad 1: Propiedad cancelativa de los grupos
Sea (G,*) un grupo, entonces se verifica
a) a * c = b * c a = b
b) c * a = c * b a = b
Demostracin
Teniendo en cuenta la existencia del inverso en el grupo, aplicamos la composicin al inverso de c,
o sea c y adems la propiedad asociativa, y se tiene:
- 112 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
a) b a e b e a c c b c c a c c b c c a = = = = * * ) ' * ( * ) ' * ( * ' * ) * ( ' * ) * (
b) b a b e a e b c c a c c b c c a c c = = = = * * * ) '* ( * ) '* ( ) * '*( ) * '*(
Propiedad 2
El elemento neutro en una estructura de grupo es nico, o sea:
Sean e y e neutros en (G,*) e = e
Demostracin
Como e es neutro e * e = e
Como e es neutro e * e = e
Y por transitividad, se tiene que e = e
Propiedad 3
El elemento inverso de un elemento de (G, *) es nico
Sean a y a inversos de a a = a
Demostracin:
Como a es inverso de a a * a = e
Como a es inverso de a a * a= e
Luego a * a = a * a y aplicando la propiedad cancelativa queda a = a
Propiedad 4
El inverso del inverso de un elemento de (G, *) es el mismo elemento
(a)=a
Demostracin:
Sea aeG a * a = e
Por otro lado (a) * a=e
O sea que a * a = (a) * a y aplicando la propiedad cancelativa, queda a = (a)
Propiedad 5
El inverso de una composicin es igual a la composicin de los inversos.
(a * b) =a * b
Demostracin:
Se sabe que a * b * a * b =e
Y por otro lado que (a * b) * (a * b) = e
Luego se tiene: a * b * (a * b) = (a * b) * (a * b) y cancelado se llega a: a * b = (a * b)
Propiedad 6
Sea (G, *) un grupo. Las siguientes propiedades son equivalentes:
a) (G, *) es un grupo abeliano
b) (a * b) = a * b a, b e G
O sea que:
(G, *) es grupo abeliano (a * b) = a * b
Demostracin:
Si se cumple la primera, o sea que si (G, *) es un grupo abeliano, por la propiedad anterior se cumple
que (a * b) = a * b = b * a
Ahora s:
a b a b b a b a * )' ' )'*( ' ( )' ' )'*( ' ( * = = =
Con lo que se demuestra que (G, *) es un grupo abeliano.
SUBGRUPOS
Sea el grupo (G, *) y sea un subconjunto H de G, se dice que H es un subgrupo de (G, *) si y slo si
(H, *) es grupo.
- 113 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
Por ejemplo:
Sea (Z, +) es un subgrupo de (Q, +) siendo + la adicin ordinaria.
CONDICIN SUFICIENTE PARA LA EXISTENCIA DE UN SUBGRUPO
Hiptesis
Sea (G, *) un grupo
Sea C=HcG
Sea xeH . yeH x * y eH
Tesis
(H, *) es subgrupo de (G, *)
Demostracin:
Para demostrar que (H, *) es subgrupo, debemos demostrar que es grupo, entonces:
A3) Existencia del elemento neutro
H e H x x H x H x e e e . e ' *
Esto es teniendo en cuenta la hiptesis y que x * x =e
A4) Existencia del elemento inverso
H x H x e H x H e e e e . e ' ' *
Esto es teniendo en cuenta la hiptesis y la demostracin anterior
A1) La ley es cerrada para H
H y x H y x H y H x H y H x e e e . e e . e * )' ' ( * '
Esto es teniendo en cuenta lo que expresa la hiptesis, una de las propiedades de los grupos
y las demostraciones anteriores
A2) La asociatividad
Este axioma se demuestra teniendo en cuenta todas las demostraciones anteriores.
Esto significa que si se tiene un grupo (G, *) y HcG, basta demostrar que xeH . yeH x * y eH
para que (H, *) sea subgrupo de (G, *)
HOMOMORFISMO DE GRUPOS
Definicin
Sean (G
1
, *) y (G
2
, ) dos grupos, y f:G
1
G
2
, la funcin f se llama homomorfismo de grupos, si para
todo x, y e G
1
, se verifica que:
) ( ) ( ) * ( y f x f y x f =
- 114 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
En diagrama de Venn se observa:
G
1
f G
2
HOMOMORFISMOS ESPECIALES
Sea f:G
1
G
2
un homomorfismo, se dice que:
1. f es un monomorfismo si f es inyectiva
2. f es un epimorfismo si f es sobreyectiva
3. f es un isomorfismo si f es biyectiva
4. f es un automorfismo si f es un isomorfismo entre un mismo grupo
Ejemplos
1. f(x)=e
x
es un monomorfismo de (R, +) en (R, ) donde f(x + y) =e
x+y
=e
x
.e
y
=f(x).f(y)
2. La funcin f:(Z, +) ({-1, 1}, ) dada por f(n)=(-1)
n
es un epimorfismo ya que
) ( ). ( ) 1 ( ) ( m f n f m n f
m n
= = +
+
ESTRUCTURA DE ANILLO
Definicin
Un conjunto A con dos operaciones binarias cerradas que denotaremos con + (suma) y (producto),
se llama anillo si se cumplen las siguientes propiedades:
P1) (A, +) es un Grupo abeliano
P2) el producto es asociativo, o sea ) . .( ). . ( c b a c b a = para todo a, b y c de A.
P3) El producto es doblemente distributivo con respecto a la suma:
c a b a c b a . . ) .( + = + y a c a b a c b . . ). ( + = + para todo a, b y c de A
Si el producto es conmutativo, entonces el anillo se llama conmutativo
Ahora, si existe un elemento que lo simbolizaremos con 1, tal que para todo aeA: a.1=1.a=a, se dice
que el anillo es con unidad y el elemento 1 recibe el nombre de unidad.-
Ejemplos:
(Z, +, ) es un anillo conmutativo con unidad
ESTRUCTURA DE CUERPO
Definicin
Un anillo conmutativo con unidad (A, +, ) es un cuerpo si (A {0}, ) es un grupo.
Por ejemplo:
x
y
x*y
f(x)
f(y)
f(x)f(y)
- 115 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
(Q,+,) es un cuerpo
TRABAJO PRCTICO N 7
1. Determinar si los siguientes pares son Grupos:
a. (G, *) tal que G ={x/x=2.k+1 . k eZ} y * es el producto ordinario
b. (G, *) tal que G={x/x=3.k . keZ} y * es la adicin ordinaria
c. (G, *) tal que { } Q b Q a b a G e . e + = / 2 . y * es el producto ordinario
d. (G, *) tal que { } Z k x x G
k
e . = = 2 / y * es el producto ordinario
2. Sea (R, +)/a*b=2.a.b, demostrar que (R, +) es un grupo abeliano.
3. En Q
2
se considera * definida por:
, ) , ) , ) d c b c a d c b a + = . , . , * ,
Demostrar que (Q
2
, *) es un grupo
4. Sean los grupos (Z, +) y (G, *), y la funcin f:ZG tal que f(n) = a
n
con a e G. Demostrar que f es
un morfismo.
5. Sea (R, *) tal que 2 . * b a b a + = . Demostrar que (R, *) es un grupo.
6. Sea un homomorfismo del grupo G en el grupo G, y H un subgrupo de G. Demostrar que su
preimagen f
-1
(H) es un subgrupo de G.
7. Si (G, *) es un subgrupo que verifica que x * x =e, para todo x e G, demostrar que (G, *) es un
grupo conmutativo.
8. En Z
2
se define la adicin y el producto mediante:
) ' , ' ( ) ' , ' ( ) , ( y y x x y x y x + + = +
) 0 , ' . ( ) ' , ' ).( , ( x x y x y x =
Demostrar que (Z
2
, +, ) es un anillo.
9. Si (A, +) es un grupo abeliano y se define :A
2
A tal que a.b=0. Demostrar que (A, +, ) es un
anillo.
10. Se considera la suma habitual de pares ordenados en Z
2
y el producto definido por:
) ' . ' . , ' . ( ) ' , ' ).( , ( a b b a a a b a b a + =
Demostrar que (Z
2
, +, ) es un anillo.
- 116 -
www.algebramoderna.webatu.com
LGEBRA MODERNA Prof. Luis E. Valdez
EL SITIO WEB LGEBRA MODERNA
El sitio web lgebra Moderna fue diseado por la ctedra con la finalidad de brindar a los
alumnos del primer ao del Profesorado en Matemtica del IES Andalgal, una herramienta
tecnolgica educativa de ayuda para el aprendizaje de los contenidos de lgebra I y a la
vez, que sirva como una extensin, desde el Instituto hacia la comunidad mundial.-
Este sitio es de tipo 1.5, se encuentra en la direccin www.algebramoderna.webatu.com y
ofrece el desarrollo de todos los contenidos en lnea con enlaces internos con los distintos
temas relacionados con el desarrollado; este apunte en formato PDF (para ser
descargados), diapositivas en Microsoft PowerPoint (para ser descargadas), videos
tutoriales, de todos los ncleo temticos, para ser vistos en lnea y en formato de Windows
Media Video para ser descargados, softwares educativos (para ser descargados)
desarrollados por la ctedra, enlaces tiles, etc. Su manejo es sencillo, ya que posee un
men a la izquierda de la pantalla que le permite al visitante fcilmente poder acceder a
todas las prestaciones y servicios.-
Adems, tambin se ofrece un correo electrnico en la direccin
correo@algebramoderna.webatu.com con el que los alumnos pueden realizar distintas
consultas referentes a contenido de la ctedra.-
LOS TUTORIALES EN VIDEO
Este apunte contiene un DVD con los tutoriales sobre las teoras de cada una de las
unidades didcticas de la ctedra. -
Prof. Luis Ernesto Valdez
Docente de la Ctedra
lgebra I del Profesorado de Matemtica
Para el Nivel Secundario
IES Andalgal