Apuntes - Lógica Proposicional, Teoría de Conjuntos, Relaciones

Prof: Luis Ernesto Valdez
DEPARTAMENTO DE MATEMTICA
INSTITUTO DE ESTUDIOS SUPERIORES DE

ANDALGAL CATAMARCA
REPBLICA ARGENTINA
Sitio Web www.algebramoderna.eshost.es
E Mail: luis_valdez@arnet.com.ar
LGEBRA MODERNA Prof. Luis E. Valdez
INDICE
Prlogo Algo de Historia Bibliografa

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

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

2
En nuestro caso particular, tendramos que la VALORES = 2 = 4

p
V
V
F
F
q
V
F
V
F
pq
V
V
V
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 pq, donde p y q se
denominan conjuntivos, y cuya tabla de valores de verdad es la siguiente:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
-5-
Esta tabla, al igual que la anterior, se explica con un ejemplo fcilmente:

p: estudio
q: veo televisin
pq: 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
V
V
F
F
q
V
F
V
F
p q
V
F
V
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
V
V
F
F
q
V
F
V
F
pq
V
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-
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 q cuya tabla de valores de verdad
es la siguiente:
p
V
V
F
F
q
V
F
V
F
pq
F
V
V
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
V
V
F
F
q
V
F
V
F
- (p q)
F
V
V
F
V
F
V
F
-p
V F
V F
V V
V V
v
F
V
V
V
-q
F
V
F
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
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
-p v -q
F F F F
F F V V
F V V F
F V V V
-7-
Una proposicin es una contingencia si no es ni VERDADERA ni FALSA.Por ejemplo:

p
q
pq
-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
V
F
V
F
(-p)
F
V
V
V
V
F
2. LA IDEMPOTENCIA
De la disyuncin: La disyuncin de una misma proposicin, es equivalente a la misma
proposicin, o sea:
pvpp
Demostramos con una tabla de valores de verdad:
P
V
F
(p v p)
V
F
p
V
F
V
V
De la conjuncin: La conjuncin de una misma proposicin, es equivalente a la misma

proposicin, o sea:
ppp
Demostramos con una tabla de valores de verdad:
p
V
F
(p p)
V
F
p
V
F
V
V
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
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p v q)
V
V
V
V
V
V
F
F
vr
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
V
p v (q v r)
V
V
V
V
V
V
V
F
V
V
V
V
V
V
F
F
-8-
(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
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p q)
V
V
F
F
F
F
F
F
r
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
p
V
F
F
F
F
F
F
F
(q r)
V
F
F
F
V
F
F
F
4. CONMUTATIVIDAD
La disyuncin y la conjuncin son conmutativas
pvqqvp
Se demuestra con una tabla de valores de verdad:
p
V
V
F
F
q
V
F
V
F
pvq
V
V
V
V
V
V
F
V
qvp
V
V
V
F
pqqp
p
V
V
F
F
q
V
F
V
F
pq
V
V
F
V
F
V
F
V
qp
V
F
F
F
5. DISTRIBUTIVIDAD
De la conjuncin con respecto a la disyuncin: la conjuncin es distributiva con respecto a
la disyuncin.
(p q) r (p r) v (q r)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p q) r
V
V
V
F
V
V
V
F
V
V
V
F
F
F
F
F
V
V
V
V
V
V
V
V
(p r) v (q r)
V
V
V
F
F
F
V
V
F
F
F
F
F
V
V
F
F
F
F
F
F
F
F
F
-9-
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)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p q) v r
V
V
V
V
F
V
F
F
F
V
F
F
F
V
F
F
(p v r)
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
F
F
V
V
V
V
F
F
(q v r)
V
V
V
F
V
V
V
F
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:
RECPROCAS
pq
C
O
N
T
R
A
R
I
A
S
CONTRA - RECPROCAS
RECPROCAS
-p -q
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
V
V
F
F
q
V
F
V
F
p q -q -p
V
V F V F
F
V V F F
V
V F V V
V
V V V V
qp
C
O
N
T
R
A
R
I
A
S
-q -p
- 10 -
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
V
V
F
F
q
V
F
V
F
(pq)
V
F
F
V
(p q)
V
F
V
V
V
V
V
V
V
F
F
V
(q p)
V
V
F
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 q -(p q)
p
V
V
F
F
q
V
F
V
F
pq
F
V
V
F
V
V
V
V
- (p q)
F
V
V
F
V
F
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 -q
Demostramos esta ley usando la tabla de valores de verdad:
p
V
V
F
F
q
V
F
V
F
- (p q)
F
V
V
F
V
F
V
F
-p -q
V F F F
V F V V
V V 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 q) -p -q
p
V
V
F
F
10. NEGACION DE UNA IMPLICACIN
q
V
F
V
F
- (p q)
F
V
F
V
F
V
V
F
-p
V F
V F
V V
V V
-q
F F
F V
F F
V V
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 q)
p
V
V
F
F
q
V
F
V
F
- (p q)
F
V
V
F
F
V
F
V
V
V
V
V
- 11 -
- ( - p q)
F 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 q)] -p q
Pero la negacin de la negacin de la implicacin queda:
p q -p 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:
O sea que:
-[-(p q)] -[ -(-p q)] -(p -q)

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
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
- 12 -
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
V
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
F
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
F
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
F
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
V
V
F
F
q
V
F
V
F
pq
V
V
V
F
- 13 -
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
V
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
V
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
V
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
F
q
Ahora, el problema est cuando debemos construir 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.-
- 14 -
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 q -(pq) -[(pq) (qp)] -(pq) -(qp) (p -q)(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
-p
RAZONAMIENTOS DEDUCTIVOS
Se llama razonamiento al par ordenado ({pi},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:
p1 p2 p3 ... p4 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:
p1 p2 p3 ... p4
V
V
F
F
V
F
V
V
c
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:
p1
p2
p3
...........
pn
________
c
- 15 -
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
V
V
F
F
q
V
F
V
F
(p q) p
V
V
F
F
V
F
V
F
q
V
V
V
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
p
V
V
F
F
q
V
F
V
F
(p q)
V
F
F
F
V
F
V
V
-q
F
V
F
V
-p
V F
V F
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:
pq pq
-p
-q
______ ______
q
p
p
q
(p 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 -

p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p q)
V
V
F
F
V
V
V
V
(q r)
V
V
F
F
F
V
F
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
V
V
(pr)
V
F
V
F
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
2) -r-q
3) -(-p-t)
4) ts
5)
-r__
s
1) t
2) ts
s
1) pq
2) qr
3) pt
4) ts
5) -r__
s
De 2 por I.C.R.
1) pr
2) pt
3) ts
4) -r__
s
De 1 y 2 LSH
1) -p
2) pt
3) ts_
s
1 y 4 MT
1 y 2 LSD
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
TESIS
a b c 180
- 17 -
DEMOSTRACIN
Analizando el dibujo, nos damos cuenta que a ' b c ' 180 , pero como
a' a y c' c por ser
alternos internos entre las paralelas ab y A , entonces a b c 180
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.
- 18 -
HIPTESIS
Sea el tringulo a bc
TESIS
a b c 180
DEMOSTRACIN
a
Negamos la tesis, o sea que
a b c 180 ,
y como
a' a y c' c por ser alternos internos
entre las paralelas ab y A , entonces a ' b c ' 180 , lo que nos indica que
A no es una recta,
entonces tampoco 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:xN, de esta funcin proposicional ya se puede decir si es verdadera o falsa
- 19 -
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
.
x:P(x)
x : x 2
Negamos esta oracin y nos queda:
No es cierto que todos los nmeros enteros son impares

.
-x:P(x)
x : x 2
Y esto es equivalente a decir que:
Existen enteros que no son impares
.
x/-P(x)
x / x 2
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
.
x/P(x)
x / x 2
Negamos esta oracin y nos queda:
No es cierto que algunos nmeros enteros son impares

.
-x/P(x)
x / x 2
Y esto es equivalente a decir que:
Todos los nmeros enteros no son impares

.
x:-P(x)
x : x 2
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 -
-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
Negando el cuantificador queda:
x,y/x+y=0
-x,y/x+y=0 x/-y/x+y=0 x/y:x+y0
TRABAJO PRCTICO N 1
1) Construir la tabla de verdad de cada uno de las siguientes proposiciones:
a) (p q) r s
c) [(p q) (s q) r
e) p [q (s r)
b) (p q) (r q)
d) p (q r)
f) [p (r 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)
pq
p
ps
-p q
-(p r)
s -r
______
-r
b)
d)
-(p q) s
ps
pq
rs
p
___________
p
e)
(r s) p
-p q
pq
(q s) r
_________
r
f)
rs
pr
sq
- q -r
r
qt
____________
t
-p-q
rs
pr
qr
___________
r
g)
- q -r
ps
r
tq
________
q
i)
pq
rs
rq
qp
q
__________
qs
h)
-p
rs
pq
-q s
q -p
______
p
- 21 -
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)
c) X/[P(x) Q(x)
b) x/{P(x) [Q(x) R(x)

d) x:{[Q(x) R(x) 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 r
b) p q r
c) (p r) (q r)
d) p -q 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.
CAPTULO II
LA TEORA CONJUNTISTA
- 22 -
- 23 -
SIMBOLISMO QUE SE UTILIZA EN LA TEORA CONJUNTISTA

Smbolo
-()
(a,b)
>
<
ab
x:
x/
U
Q
R
C
Significado
Pertenece
No pertenece
Incluido en
Incluye a
Unin
Interseccin
Por (Producto cartesiano)
Menos
Conjunto vaco
Luego
Par ordenado a b
Mayor que
Mayor o igual que
Menor que
Menor o igual que
a divide a b
Para todo x se verifica
Existe x tal que
Conjunto universal
Conjunto de los nmeros naturales
Conjunto de los nmeros enteros
Conjunto de los nmeros racionales
Conjunto de los nmeros reales
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 .
De un elemento a un conjunto se puede decir que pertenece, y se denota:
aA
el elemento a pertenece al conjunto A
Por otro lado, se puede negar la pertenencia, y se denota:

-( aA) aA 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={xN/x 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 -
CONJUNTOS ESPECIALES
CONJUNTO VACO
El conjunto vaco es aquel que carece de elementos.
Definido por extensin sera:
={}
Definido por comprensin:
= {x/xx} 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 -
Racionales proviene de poder expresar un nmero como una razn.

Por ejemplo:
7:2
Los nmeros reales R
7
2
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:
H 12 12
2.
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
1 i , o sea que por ejemplo:
4 4. 1 2.i
Ahora, el valor de
16 4 16 .4 1 2.
1 2. i
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 -
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:
Propiedades de la Inclusin
A B xA x B
Propiedad Reflexiva
Todo conjunto est incluido en s mismo.A A xA x A aplicando la definicin
V V V V V
Como xA es verdadero entonces A 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 B B C A C
Aplicando la definicin de inclusin y la Ley del Silogismo Hipottico, se tiene:
A B B C (xA xB) (xB xC) xA xC A 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=BAB BA
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 -
D) Como A A A A A 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 B B A B A A B B = A
Esto es aplicando la definicin de igualdad y la conmutatividad de la conjuncin
Propiedad Transitiva
tercero.
Si un conjunto es igual a otro, y este es igual a un tercero, entonces el primero es igual al
H) Sea A = B B = C
T) A = C
D) Como
A = B B = C (A B B A) (B C C B)
(A B B C) (C B B A) A 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
T) A
D) Teniendo en cuenta la definicin de inclusin y la definicin de implicacin, se tiene:
A x xA
V
V F V V
Esto es dado que x es falso y xA, 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 y
T) =
D) Como es un conjunto vaco y por la propiedad anterior se asegura que
Ahora, como tambin es un conjunto vaco, y por la propiedad anterior se tiene .
Y teniendo en cuenta la definicin de igualdad se tiene:
=
OPERACIONES ENTRE CONJUNTOS
Toda operacin se caracteriza por tener un resultado. Las operaciones entre conjuntos dan
como resultado otros conjuntos.-
- 28 -
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:
C
A = {x U/x A}
Decir que:
C
xA xA
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
C C
T) (A ) = A
D) Partiendo de la definicin de inclusin, otras formas de negar, e involucin en la lgica, se
tiene
C C
x (A ) x A (x A ) (x A) [(x A)] x A
Pero con esta demostracin no se demostr la igualdad, entonces:
C C
C C
C C
x (A ) x A [(x (A ) x A)] [x A x (A ) ]
C C
C C
C C
(A ) A A (A ) (A ) = A
Esto es aplicando la equivalencia entre la doble implicacin y la implicacin y la definicin de
igualdad.Grficamente se demuestra:
C C
(A )
- 29 -
Para el primer caso, lo que est rayado oblicuamente es el A , y lo que est sombreado es
C C
(A )
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 = {xU/xA xB}
Ahora, decir que:
x AB xA xB
Grficamente se tiene:
Propiedades y elementos distinguidos de la interseccin

Idempotencia
La interseccin de un conjunto, es igual al mismo conjunto
T) A A = A
D) Aplicando la definicin de interseccin, la idempotencia de la conjuncin y la definicin de
igualdad, se tiene:
x A A xA xA xA
AA=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:
x A (B C) xA x (B C) xA (xB xC)
(xA xB) xC x(A B) xC x(A B) C
A (B C) = (A B) C
- 30 -
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:
x A B xA xB xB xA x B A
AB=BA
Grficamente sern los mismos dado que son dos conjuntos.Elemento neutro
El elemento neutro de la interseccin es el conjunto universal
T) A U = U A = A
D) Dado que el conjunto AU A U = U A = A
Elemento absorbente
El elemento absorbente es el conjunto vaco
T) A = A =
D) Dado que, por la caracterizacin del , A A = A =
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 = {xU/xA xB}
Decir que:
x A B xA xB
- 31 -
Grficamente:
Propiedades de la unin de conjuntos

Idempotencia
La unin de un conjunto, es igual al mismo conjunto
T) A A = A
D) Aplicando la definicin de unin, la idempotencia de la disyuncin y la definicin de
igualdad, se tiene:
x A A xA xA xA
AA=A
Asociatividad
La unin es asociativa
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:
x A (B C) xA x (B C) xA (xB xC)
(xA xB) xC x(A B) xC x(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
T) A B = B A
- 32 -
D) Aplicando la definicin de unin, la conmutatividad de la disyuncin y la definicin de

igualdad, se tiene:
x A B xA xB xB xA x B A
AB=BA
Grficamente sern los mismos dado que son dos conjuntos.Elemento neutro
El elemento neutro de la unin es el conjunto vaco
T) A = A = A
D) Dado que, por la caracterizacin del , A A = A = A
Elemento absorbente
El elemento neutro de la unin es el conjunto universal
T) A U = U A = U
D) Dado que el conjunto AU 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 = {xU/xA xB}
Ahora, si:
x A B xA xB
Corolario
Teniendo en cuenta la definicin de complemento, de interseccin y de igualdad, se tiene:
C
C
x A B xA xB xA xB x A B
C
AB=AB
Grficamente es:
- 33 -
OTRAS PROPIEDADES
Leyes Distributivas
De la interseccin con respecto a la unin
La interseccin es distributiva con respecto a la unin
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:
x A (B C) x A x (B C) x A (xB xC)
(x A xB) (x A xC) x A B x A C
x (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.
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:
Grficamente:
x A (B C) x A x (B C) x A (xB xC)
(x A xB) (x A xC) x A B x A C
x (A B) (A C)
A (B C) = (A B) (A C)
- 34 -
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.
C
C
C
T) (A B) = A B
D) Aplicando las definiciones de interseccin, complemento, unin y de igualdad, y la ley de
De Morgan para la conjuncin, se tiene:
C
Grficamente:
x (A B) x (A B) -[x(A B)] -( xA xB)

C
C
-(xA) -(xB) xA xB xA xB
C
C
x A B
C
C
C
(A B) = A B
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:
C
C
C
T) (A B) = A B
D) Aplicando las definiciones de interseccin, complemento, unin y de igualdad, y la ley de
De Morgan para la conjuncin, se tiene:
C
x (A B) x (A B) -[x(A B)] -( xA xB)

C
C
-(xA) -(xB) xA xB xA xB
C
C
x A B
C
C
C
(A B) = A B
- 35 -
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 B, formado por los elementos de la
unin entre A B y B A.
Simblicamente:
A B = (A B) (B A)
C
Ahora, teniendo en cuenta que A B = A B se tiene:
C
C
A B = (A B ) (B A )
Grficamente:
Propiedades de la diferencia simtrica

Conmutatividad
La diferencia simtrica es conmutativa
T) A B = B A
D) Aplicando la definicin de diferencia simtrica y la propiedad conmutativa de la unin, se
tiene:
A B = (A B) (B A) = (B A) (A B) = B A
Asociatividad
La diferencia simtrica es asociativa
- 36 -
T) A (B C) = (A B) 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
C
A (B C) = [A (B C) ] [(B C) A ]
Por definicin de diferencia simtrica
C
C C
C
C
C
= {A [(BC ) (CB )] {[(BC ) (CB )] A
C C
C C
C
C
C
C
=A[(BC ) (CB ) ](A BC ) (A B C)
Por De Morgan y Distributiva
C
C
C
C
C
C
={A[(B C) (C B)](A BC ) (A B C)
Por ley De Morgan e Involucin
C
C
C
C
C
C
C
C
={A[(B C )(B B)(CC )(CB)](A BC ) (A B C)
Propiedad distributiva
C
C
C
C
C
C
= {A[(B C )(CB)] (A BC ) (A B C)
C
C
Por ser B y B, C y C conjuntos disjuntos
C
C
C
C
C
C
= {A[(B C ) (CB)] (A BC ) (A B C)
Por ser el neutro para la unin
C
C
C
C
C
C
= (ABC)(AB C )(A BC )(A B C) (I)
Propiedades distributivas y conmutativas
C
(A B) C = [(A B) C ] [C (A B) ]
C
C
C
C
C C
= {[(AB ) (BA )]C {C[(AB ) (BA )]
C
C
C
C
C C
C C
=(AB C ) (A BC )C[(AB ) (BA ) ]
Por De Morgan y Distributiva
C
C
C
C
C
C
=(AB C )(A BC )C[(A B)(B A)]
Por ley De Morgan e Involucin
C
C
C
C
C
C
C
C
=(AB C ) (A BC ){C[(A B )(A A)(BB )(BA)]
Propiedad distributiva
C
C
C
C
C
C
= (AB C )(A BC ){C[(A B )(BA)]
C
C
Por ser A y A, B y B conjuntos disjuntos
C
C
C
C
C
C
= (AB C )(A BC ){C[(A B ) (BA)]
Por ser el neutro para la unin
C
C
C
C
C
C
= (ABC)(AB C )(A BC )(A B C) (II)
Propiedades distributivas y conmutativas
de I y II y por propiedad transitiva de la igualdad, se tiene:
A (B C) = (A B) 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:
Dicho de otra forma:
P(A) =X/X A}
X P(A) X A
- 37 -
Por ejemplo:
Sea A = {1, 2, 3} P(A) = {{1},{2},{3},{1,2}{1,3},{2,3},{1,2,3},}
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 =
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?
C
A B = A (B A) = A (B A ) = A (A B)
Por lo tanto podemos expresarlo como una unin disjunta, o sea que:
C
A (A B) = A + (A B)
Y por la propiedad transitiva de la igualdad, se tiene:
C
A B = A + (A 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 -
Simblicamente es:
A X B = {(a,b)/aA bB}
Decir que:
(a,b)AXB aA bB
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
2
cartesiano (siendo A el conjunto) AXA=A , por ejemplo:
A={1,2,3}
2
A = {(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 (a, b)
El intervalo es cerrado si los extremos pertenecen a l. O sea:
[a, b donde los extremos a y b [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={xN/4<x8} B={xZ/-1x2}
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
5) Demostrar justificando los razonamientos realizados:

a) (A B) X C = (A X C) (B X C)
- 39 -
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
ABC
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/XA}
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)
g)
f)
h)
CAPTULO III
RELACIONES BINARIAS
- 40 -
- 41 -
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 AXB
Por ejemplo:
Sean los conjuntos A = {1,2,3} y B = {5,6}
(x, y) RAXB xy
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}
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
1.
2.
3.
5.
6.
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.-
- 42 -
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:
A
B
1
2
3
1
0
0
1
1
1
Relacin inversa
-1
Sea una relacin R AXB. Se dice que la relacin R es la relacin inversa de R, solamente
s R BXA.-1
-1
O sea que R = {(y,x)/(x,y) R}

En nuestro ejemplo, la relacin inversa es:
-1
R = {(5,1), (6,1), (6,2), (6,3)}
COMPOSICIN DE RELACIONES
Dada dos relaciones: RAXB y SBXC. Se llama relacin compuesta a la relacin SoRAXC
(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) R (y,z) S}
Dicho de otra forma:
(x,z) SoRAXC (x,y) R (y,z) S
- 43 -
Grficamente es:
Por ejemplo:
A = {1, 2, 3}
B = {1,2,4} y
1 1
C , , 2
2 4
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.
2
(x,y) RAXB y=x
( y, z ) S BXC z
y
2
AXB = {(1,1)(1,2)(1,4)(2,1)(2,2)(2,4)(3,1)(3,2)(3,4)}
R={(1,1)(2,4)}
1 1
1 1
1 1
BXC 1, 1, 1,2 2, 2, 2,2 4, 4, 4,2
2 4
2 4
2 4
S 1, 4,2
2
SoR 1, ( 2,2)
2
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.
x2
2
1 1
1 1
1 1
AXC 1, 1, 1,2 2, 2, 2,2 3, 3, 3,2
2 4
2 4
2 4
SoR 1, ( 2,2)
2
( x, z ) SoR AXC z
- 44 -
Grficamente queda:
RELACIONES DEFINIDAS EN UN CONJUNTO

Sea el conjunto A, se llama relacin definida en un conjunto, al subconjunto del producto
2
cartesiano AXA o A .
O sea que:
2
R es una relacin definida en A RA .

Por ejemplo:
Sea A={1,2,3}
2
(x,y)RA x y
Hacemos primero el producto cartesiano, o sea
2
A = {(1,1)(1,2)(1,3) (2,1)(2,2)(2,3) (3,1)(3,2)(3,3)}

2
La relacin estar formada por todos aquellos pares de A 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
2
La relacin RA es reflexiva, solamente s todos los elementos de A tienen pares de

componentes iguales en la relacin.2
RA es reflexiva x: xA (x,x)R
Por ejemplo:
Si A = {1,2,3} y
(x,y) RA x y
A = {(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 -
2. PROPIEDAD NO REFLEXIVA
2
La propiedad no reflexiva, es la negacin de la reflexividad. Entonces, la relacin RA 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:
2
Ejemplo
RA es No reflexiva (x:xA (x,x)R) x/( xA (x,x)R)

x/xA (x,x)R
Si A = {1,2,3} y
(x,y) RA x y y 2
A = {(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
2
elementos iguales en la relacin. O sea que R de A es No Reflexiva.3. PROPIEDAD ARREFLEXIVA
2
Una relacin R de A es Arreflexiva, si no tiene pares de componentes iguales en la relacin.

O sea que:
2
RA es Arreflexiva x:xA (x,x) R

Por ejemplo:
Si A = {1,2,3} y
(x,y) RA x < y
A = {(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:
2
RA es simtrica x,y: (x,y)R (y,x)R

Por ejemplo:
Si A = {1,2,3} y
(x,y) RA 2x+y
A = {(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 -
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:
2
RA es no simtrica (x,y: (x,y)R (y,x)R)

x/(y: (x,y)R (y,x)R)
x, y/[(x,y)R (y,x)R)]
x, y/(x,y)R (y,x)R)
Esto es aplicando la negacin de un cuantificador, y la negacin de la implicacin.Por ejemplo:
Si A = {1,2,3} y
(x,y) RA 2x+y y1
A = {(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:
2
RA es asimtrica x,y: (x,y)R (y,x)R

Por ejemplo:
Si A = {1,2,3} y
(x,y) RA x<y
A = {(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:
2
RA es transitiva x,y,z: (x,y)R (y,z)R (x,z)R

Por ejemplo:
Si A = {1,2,3} y
(x,y) RA 2x+y
A = {(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 -
(1,1) y el (1,3) estos generan el (1,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:
2
RA es no transitiva (x,y,z: (x,y)R (y,z)R (x,z)R)

x/(y,z: (x,y)R (y,z)R (x,z)R)
x,y/(z: (x,y)R (y,z)R (x,z)R)
x,y,z/ [(x,y)R (y,z)R (x,z)R]
x,y,z/ (x,y)R (y,z)R (x,z)R
Esto es aplicando la negacin de un cuantificador y la negacin de una implicacin.Por ejemplo:
Si A = {1,2,3} y
(x,y) RA 3x+y
A = {(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) R. 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:
2
RA es atransitiva x,y,z: (x,y)R (y,z)R (x,z)R

Por ejemplo:
Si A = {1,2,3} y
(x,y) RA x+y=3
A = {(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:
2
RA es antisimtrica x,y: (x,y)R (y,x)R x=y
Por ejemplo:
Si A = {1,2,3} y
- 48 -
(x,y) RA xy
A = {(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
2
y Transitiva.-
La relacin RA se dice que es de equivalencia, si y slo si es Reflexiva, Simtrica
Una relacin de equivalencia se la denota con , y si (a,b) entonces se dice que a

es equivalente con b y se denota ab. Con esta notacin, las propiedades quedaran denotadas:
Reflexiva:
2
A es reflexiva x: xA (x,x)
2
A es reflexiva x: xA xx
Simtrica:
2
A es simtrica x,y: (x,y) (y,x)

2
A es simtrica x,y: xy yx
Transitiva:
2
A es transitiva x,y,z: (x,y) (y,z) (x,z)

2
A es transitiva x,y,z: xy yz xz
Por ejemplo:
Probar que la siguiente relacin es de equivalencia:
Si A = {1,2,3} y
xy A 2x-y
A = {(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:
Simtrica ya que:
11 11
11, 22 y 33
13 31 22 22 31 13
33 33
Transitiva ya que:
11 11 11 11 13 13 22 22 22 13 31 11
13 33 13 31 11 31 31 13 33 33 33 33
- 49 -
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 Km. O sea:
2
A , Km ={xA/xm}
Dicho de otra forma, xKm xm
En el ejemplo que se ha dado anteriormente es:
K1 = {1,3}
K2 = {2} y K3 = {1,3}, lo que significa que la K1 = K3
CONJUNTO COCIENTE
Se llama conjunto cociente al conjunto formado por todas las clases de equivalencias,
A
y se denota
. O sea:
A
K i / i I 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:
A
K 1 , K 2 1,32
y el conjunto de ndices es: I = {1,2}
PARTICIN DE UN CONJUNTO NO VACO

Sea el conjunto A , se dice que {Ki/iI} es una particin de A, si y slo si se cumplen los
siguientes axiomas:
A1) Todo elemento del conjunto de ndice determina un subconjunto de particin no vaco. O sea:
u: uI Ku
A2) Elementos distintos del conjunto de ndice, determinan subconjuntos de particin disjuntos. O sea:
uv Ku Kv =
A3) Todos los elementos del conjunto A, pertenecen a algn subconjuntos de particin, lo que
significa que la particin cubre todo el conjunto. O sea:
aA,uI/ a 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 A1 ya
que
K-1, K0 y K3. La A2 tambin se cumple ya que: -10 K-1 K0 =; el -13 K-1K3=; y
03 K0K3=. Por otro lado, todos los elementos de A pertenecen a algn subconjunto de
particin. En diagramas de Venn ser:
- 50 -
TEOREMA FUNDAMENTAL DE LAS RELACIONES DE EQUIVALENCIAS

Sea una definida en un conjunto A, entonces existe un conjunto de ndices I A, tal que todo uI
existe un KuA, 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,
2
Sea A I A/ uI, KuA,
Siendo I formado por un representante de cada clase,
Tesis
1) u:uI Ku
2) ab aKu bKu
3) Ku Kv Ku = Kv
4) uv Ku Kv =
5) aA,uI/aKu
Demostracin
1) Como A aA. Pero por hiptesis, en A se define una relacin de equivalencia, y en
particular es reflexiva aa, y por definicin de clase de equivalencia se tiene que aKa.
Ahora, como IA uKa ua au aKu Ku.
2) Para poder demostrar esta proposicin, debemos desdoblar la doble implicacin. O sea:
a) ab aKu bKu
ab aKb por definicin de clase de equivalencia.
Ahora, supongamos que uKb ub bubKu por definicin de clase.
Pero ab bu au aKu.
b) aKu bKu ab
Como aKu bKu au bu au ub ab
- 51 -
3) Esta proposicin se demuestra teniendo en cuenta la definicin de igualdad de conjuntos, o sea

Ku = Kv Ku Kv Kv Ku
Ku Kv a Ku Kv a Ku a Kv au av ua av uv
Ahora:
Sea yKu yu uv yv yKv
y por ley del silogismo hipottico y definicin de inclusin, se tiene: Ku Kv (I)
Ahora, sea zKv zv vu zu zKu
y por ley del silogismo hipottico y definicin de inclusin, se tiene: Kv Ku (II)
Y teniendo en cuenta la definicin de igualdad de conjuntos se tiene que si
Ku Kv Kv Ku Kv = Ku
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:
Ku Kv aKu Kv aKu a Kv au av ua av uv
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). uv Ku Kv = ES VERDADERO
5) como A a A aa aKa
Ahora, supongamos que uKa ua au aKu, y por la propiedad anterior, Ku=Ka, lo que
significa que todo el conjunto A est cubierto por todas las clases de equivalencia.PARTICIN Y RELACIN DE EQUIVALENCIA
Propiedad
Sea {Ku / uI} una particin del conjunto A. Entonces queda inducida una relacin de equivalencia en
A.Hiptesis
Sea A
Sea {Ku / uI} una particin de A
Tesis
2
Queda inducida A
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) R x Ku y Ku (A)
Reflexividad
Supongamos que x Ku x Ku x Ku por idempotencia de la conjuncin, y por la definicin (A)
2
se tiene que (x,x) R A
Simetra
Tomemos (x,y) R x Ku y Ku y Ku x Ku (y,x) R
- 52 -
Transitividad
Tomemos (x,y) R (y,z) R x Ku y Ku y Ku z Ku, y en particular podemos decir que
x Ku z Ku (x,z) 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:
K1 = {1}
K2 = {2,3} K4 = {4}
Y por definicin de clase de equivalencia, todo elemento que pertenece a una clase es equivalente
con el ndice, o sea que:
11 22 23 32 33 44, 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:
2
x y (x,y) R A
: 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:
Relacin de orden amplio
Parcial
Amplio
Total
Relacin de Orden
Estricto Parcial
Total
2
Una relacin es de orden amplio si es reflexiva, antisimtrica y transitiva. O sea que sea RA es de
orden amplio si es:
Reflexiva:
x:xA x x
Antisimtrica:
x, y: x y y x x = y
Transitiva:
x,y,z: x y y z x z
- 53 -
Relacin de orden estricto

Una relacin es de orden estricto si es Arreflexiva, Asimtrica y Transitiva. O sea:
Arreflexiva:
x:xA (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:
2
RA es de orden parcial xA, y A/-(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:
2
RA es de orden total xA, y: xy x y y x

ELEMENTOS DISTINGUIDOS DE UNA RELACIN DE ORDEN
Sea el conjunto A ordenado por una relacin de orden
Primer elemento
El elemento a A es primer elemento si y slo si precede a todos los dems.
aA es primer elemento x:xA a x
ltimo elemento
El elemento b A se llama ltimo elemento, si y slo si todo elemento de A precede a b.bA es ltimo elemento x:xA xb
Elementos minimales
El objeto m A es un elemento minimal si y slo si no existe un elemento distinto que lo
anteceda.
m A es un minimal xA: x m m = x
Elementos maximales
El objeto n A es un elemento maximal si y slo si no existe un elemento distinto que lo siga.
n A es un maximal xA: n x n = x
- 54 -
Cotas inferiores
de X
El objeto a A es una cota inferior del subconjunto XA, si y slo si precede a todo elemento
Cotas superiores
de X
aA es una cota inferior de XA xX ax
El objeto b A es una cota superior del subconjunto XA, si y slo si sigue a todo elemento
bA es una cota superior de XA xX xb
Supremo o cota superior mnima

El elemento s A es un supremo del subconjunto XA, si y slo si es el primer elemento del
conjunto de cotas superiores.nfimo o cota inferior mxima
El elemento i A es un nfimo del subconjunto XA, 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:
Es antisimtrica ya que:
Es transitiva ya que:
Ahora si:
a(-1,1) aa
ab ba a=b
ab bc ac
ab ab ba
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 -
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={xN/2x5}
(x,y) R A X B xy
b) A= {xZ/ -1x< 6}
B={xN/ x<3}
(x,y) R A X B 2x + y
c) A= {a, b, c, d, e}
B={1, 2, 3}
(x,y) R A X B x es vocal
d) A={-1, 0, 1, 2}
B={xN/ x<5}
2
(x,y) R A X B y = x
2.) Considerado los conjuntos:
A={1, 2, 3, 4, 5}
B={1, 4, 6, 16}
C={2, 3, 8, 10}
- 56 -
y sean las relaciones:

y
(x,y) R A X B y= x
(y,z) S B X C z = 2
Se pide:
Determinar R y S por extensin. Definir la composicin S R 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)
b)
c)
d)
A= {1, 2, 3}
B= {x Z/ -2 x < 4}
C= {x N/ 4< x <8}
D= {x Z/ -4 x <2}
(x,y) R A x < y
2
(x,y) R B x = y
2
(x,y) R C x = y + 2
2
(x,y) R D y = x + 1
4. En R 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)
b)
c)
A= {1, 2, 3}
xy x y
A= {4, 5, 6, 7} ab 2a - b
C= {x Z/ 2x -4 x 7}
xy 2x + 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:
probar que es de equivalencia
xy x - 1 = y - 1
8. En R se define:
2
probar que es de equivalencia
xy x - x = y - y
9. En [-1, 1 R se define:
2
probar que es de equivalencia.-
xy x = y
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
A = {x R/ x
1
n N}
n
- 57 -
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.-
CAPTULO IV
FUNCIONES
- 58 -
- 59 -
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 f 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)B
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 fAXB 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
xA,yB/(x,y)f
Unicidad
Los elementos de A tienen una sola imagen en B
(x,y)f (x,z)f y = z
Definicin
Se llama funcin a toda relacin entre dos variables, en la 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 -
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:
f : / f ( x) 2 x 1
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
P1(-2,-5)
-1
f(-3)=2.(-1)-1= -3
P2(-1,-3)
0
f(0)=2.0-1=-1
P3(0, -1)
1
f(1)=2.1-1=1
P4(1, 1)
2
f(2)=2.2-1=3
P5(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:
f : / f ( x)
Como se observa, la pendiente es
3
x 1
4
3
3
, y como se sabe que sta est dada por m tg ,
4
4
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 -
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:
f : A B / f ( x) a.x 2 b.x c
Donde a.x se llama trmino cuadrtico, a coeficiente cuadrtico, b. x 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(xv , yv), lo que se reduce el problema en determinar xv primero y luego
reemplazarlo en la funcin para el yv.Usando la frmula para determinar las races de una ecuacin de segundo grado, o sea:
x1, 2
b b 2 4.a.c
2.a
Haciendo un razonamiento bsico, concluimos que:
xv
b0 b
2.a
2.a
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 P1(0,c), el otro punto ser P2(2.xv, 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:
f ( x) 3.x 2 2.x 1
Determinamos primero el vrtice, o sea:
xv
b (2) 1
2.a
2 .3
3
- 62 -
Reemplazamos este valor en la funcin para obtener la otra coordenada, o sea:

2
Lo que significa que:
1
1 2
2
1
y v 3. 2. 1 1
3
3 3
3
3
1 2
V ,
3 3
Ahora, el punto P1(0,1) por ser 1 la ordenada al origen, y el otro ser:
1
2
P2 2. ,1 P2 ,1
3
3
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:
f : A B es inyectiva x1 , x2 : x1 x2 f ( x1 ) f ( x2 )
Ahora, por implicaciones contrarrecprocas se tiene:
f : A B es inyectiva x1 , x2 : f ( x1 ) f ( x2 ) x1 x2
Esto significa que para poder probar que una funcin es inyectiva, basta igualar la ecuacin de la
misma para x1 y x2 y a travs de procedimientos, el que sea necesario, llegar a la igualdad de ellos.Ejemplo:
Sea la funcin:
f : / f ( x)
1 3 1
x
3
2
Hacemos:
- 63 -
f ( x1 ) f ( x2 )
1 3 1 1 3 1
x1 x 2
3
2 3
2
y cancelando, queda:
1 3 1 3
x1 x 2
3
3
y simplificando queda:
x13 x 23
x1 3 x 23
x1 x 2
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:
f : A B es sobreyecti va y B , x A / f ( x ) y
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:
f : / f ( x)
Esta funcin es lo mismo que:
1 3 1
x
3
2
1 3 1
1
1
1
x x 3 y x 3 3. y
3
2
3
2
2
Ahora: este valor es un nmero real? S ya que y es un real y los otros nmeros tambin lo son,
por lo tanto x, entonces:
3

1 1
1 1
f 3 3. y 3 3. y

2 3
2 2

1 1
1 1
f 3 3. y .3 . y

2 3
2 2

1
1 1
f 3 3. y y

2
2 2

1
f 3 3. y y

2
f ( x) y
y R, x 3 3. y R /
2
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 -
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.
y f ( x) es creciente en (a, b) x1 (a, b), x 2 (a, b) : x 2 x1 f ( x 2 ) f ( x1 )
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.
y f ( x) es decreciente en (a, b) x1 (a, b), x 2 (a, b) : x 2 x1 f ( x 2 ) f ( x1 )
- 65 -
MXIMO DE UNA FUNCIN

La funcin y=f(x) presenta un mximo en x0(a,b), si la funcin en x0 es mayor que la funcin
en cualquier otro valor de dicho intervalo.
y f ( x) presenta un mximo en x0 f ( x0 ) f ( x0 x), x (a, b)
MNIMO DE UNA FUNCIN

La funcin y=f(x) presenta un mnimo en x0(a,b), si la funcin en x0 es menor que la funcin
en cualquier otro valor de dicho intervalo.
y f ( x) presenta un mnimo en x0 f ( x0 ) f ( x0 x), x (a, b)
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 -
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 x0 (a,b) si la funcin en ese punto cambia
la concavidad.
- 67 -
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
f ( x)
x2 2
x 1
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:
g ( x) log3x 2
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:
D (g ) ;
3
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:
h( x ) 2 x 3 x 1
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:
FUNCIONES ESPECIALES
D (h) ;
3
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:
f : A B es constante f ( x) k
- 68 -
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:
i : A A / i ( x) x
Esta se lee identidad de x

O sea que si aA i(a)=a, y as para todos los valores de A. En diagrama de Venn ser:
A
a
b
c
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 AR y BR. Sea el producto cartesiano AxB, en donde un
punto cualquiera P(a,b) pueden determinarse dos funciones llamadas proyecciones de la siguiente
manera:
P1 : AxB A / P1 (a, b) a
P2 : AxB B / P2 (a, b) b
Grficamente:
- 69 -
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:
:A
A
/ x A : ( x ) Ku x Ku
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 yB tal que y=f(x), y z=g(y), con zC y xA,
o sea:
- 70 -
PROPIEDADES
ASOCIATIVIDAD DE LAS COMPOSICIN DE FUNCIONES
La composicin de funciones es asociativa.
H) Sean las funciones
f :AB
g:BC
T)
h:C D
ho( gof ) (hog )of
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
hacemos:
gof : A C
ho( gof )( x) hog f ( x) hg f ( x) (a )
h:C D
Esto es aplicado la definicin de composicin de funciones a gof, y luego a hog[f(x)]

Ahora:
f :AB
(hog )of ( x) (hog ) f ( x) hg f ( x)
hog : B D
(b)
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:
x1 , x2 : f ( x1 ) f ( x2 ) x1 x2
Pero por otro lado z=g(y) tambin es inyectiva, entonces:

Ahora:
y1 , y2 : g ( y1 ) g ( y2 ) y1 y2
gof ( x1 ) gof ( x2 )
Pero por definicin de composicin se tiene:
g f ( x1 ) g f ( x2 )
Pero g es inyectiva, entonces las variables de g son iguales, entonces:

Pero f es inyectiva, entonces:
f ( x1 ) f ( x2 )
x1 x2
gof:AC es inyectiva (por definicin de inyectividad).-
- 71 -
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 B, x A / f ( x) y
Adems z=g(y) es sobreyectiva, entonces:
z C , y B / g ( y) z
Ahora, teniendo en cuenta la composicin de funciones y por hiptesis y por las aseveraciones
hechas anteriormente, tenemos:
g f ( x) gof ( x)
gof ( x) z
Pero,
z C, x A / g f ( x) g ( y) z
por definicin de composicin de funciones, lo que se tiene que
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=iA
fog=iB, 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 f : / f ( x) 3.x 1
Como y=f(x) entonces despejamos x, y se tiene:
3.x y 1
y 1
x
g ( y)
3
(1)
-1
Esta es la funcin inversa, que cambiando la variable x por f (x) e y por x queda:
( x)
x 1
3
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:
gof ( x) g f ( x)
g f ( x )
Reemplazando a f(x) se tiene:
- 72 -
f ( x) 1
3
3.x 1 1
3
3 .x
g f ( x)
3
g f ( x ) x i ( x )
g f ( x )
gof ( x ) i ( x )
Por otro lado se tiene:
fog( y) f g ( y)
f g ( y) 3.g ( y) 1
Y reemplazando g(y) se tiene:
y 1
1
3
f g ( y ) 3 .
f g ( y) y 1 1
f g ( y ) y i ( y )
fog( y) iR ( y)
Lo que significa que la funcin inversa de f es:
( x)
x 1
3
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)=iA(x)=x adems fog(y)=iB(y)=y
Hacemos:
Pero como admite inversa, entonces:
Y por definicin de identidad, se tiene:
Lo que significa que es INYECTIVA (2)
gof ( x1 ) gof ( x2 )
i A ( x1 ) i A ( x2 )
x1 x2
Ahora:
- 73 -
y iB ( y) fog( y) B, x i A ( x) gof ( x) A / f ( x) f gof ( x)

f ( x) fogof ( x)
Pero por la propiedad asociativa de la composicin de funciones, queda:
f ( x) ( fog)of ( x)
Y aplicando la definicin de composicin, se tiene:
f ( x) ( fog) f ( x)
Pero f(x)=y, entonces:
f ( x) ( fog )( y)
Y por hiptesis esta ltima composicin es la iB, lo que significa:
f ( x) y
Esto demuestra que la funcin f es SOBREYECTIVA (3)

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:
gof ( x) g f ( x)
Pero por lo dicho anteriormente y=f(x), entonces:
gof ( x) g ( y )
Por la misma razn que la anterior x=g(y), entonces
gof ( x) x i A ( x)
Por otro lado se tiene:
fog( y) f g ( y)
Pero por lo dicho anteriormente x=g(y), entonces:
fog ( y ) f ( x)
Por la misma razn que la anterior y=f(x), entonces
fog( y) y iB ( y)
Luego la funcin f admite inversa, y es la funcin g

Habiendo demostrado estas dos partes, qued demostrado el teorema.-
- 74 -
Con este teorema, dada una funcin, con tan slo estudiar si es que es biyectiva, sabremos
que admite inversa, por ejemplo:
f : / f ( x)
Probemos que esta funcin es inyectiva, o sea:
1 3
x 2
2
f ( x1 ) f ( x2 )
1 3
1
x 1 2 x 23 2
2
2
1 3 1 3
x x2
2 1 2
x 13 x 23
x 1 3 x 23
x1 x2
Ahora probemos que es sobreyectiva:
Para demostrar, debemos despejar x de la funcin, o sea:
x 2. y 2
Aplicando la definicin de funcin sobreyectiva, se tiene:
y B, x 2. y 2 / f ( x )
1
( 2. y 2) 1
2
1
1
f ( x ) .2 . y .2 1
2
2
f ( x) y 1 1
f ( x) y
1
x 1
2
f ( x)
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:
x 2. y 2 2.( y 1)
Siendo sta la funcin inversa, o sea:
( x) 2.( x 1)
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:
fA B / f ( x) y m.x b
Donde:
- 75 -
y se llama variable dependiente

x se denomina variable independiente
m se denomina pendiente
mx se denomina trmino lineal
b se denomina trmino independiente
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
tg
y b
y b tg .x y tg .x b
x
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
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 y menor que 2, 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.
- 76 -
1
x 1
3
5
x2
4
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:
y m.x b y b m.x x
y b
m
y cambiando las variables tenemos la forma de la funcin inversa de la lineal:
f 1 ( x)
xb
m
LA FUNCIN CUADRTICA O DE SEGUNDO GRADO

Se llama funcin cuadrtica a aquella cuya expresin algebraica en una sola variable es de gado
dos.
- 77 -
La funcin cuadrtica tiene la forma:
f : A B / f ( x) y a.x 2 b.x c
Con a0
Donde:
y es la variable dependiente
x la variable independiente
2
a.x 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
Para pode graficar la funcin cuadrtica, es imprescindible determinar el vrtice de la misma, que
es el punto donde cambiar de signo la funcin. Este tema ya fue visto anteriormente.La siguiente grfica es de la funcin:
Ahora, el:
xV
f ( x) 2.x 2 4.x 1
b
4
xV
xV 1
2.a
2 .2
La recta roja es el eje de simetra que pasa por el xV, 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.Ahora, como el xv 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 xv>0, la parbola se corre hacia la derecha con respecto a las ordenadas, si xv=0, el
eje de simetra son las ordenadas, y si xv<0, la parbola se corre hacia la izquierda respecto al eje de
las ordenadas. O sea:
O sea que:
a 0 b 0
Hacia la derecha si x v 0
a 0 b 0
Eje y es el eje de simetra si x=0, solamente se da si b=0
a 0 b 0
Hacia la izquierda si xv 0
a 0 b 0
- 78 -
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:
Estudiemos ahora la funcin:
f ( x ) 3. x 2 6. x 2
De antemano podemos asegurar que la parbola est corrida hacia la derecha, corta al eje de las
ordenadas en 2 y
b ( 6)
1
2.a
2 .3
y v 3 .1 2 6 .1 2 5
xv
Esto significa que V(1, -5)

La grfica de esta funcin es:
- 79 -
Ahora, el dominio de esta funcin son todos los reales, y la imagen son los reales partiendo del yv
inclusive.Ya que esta funcin no es biyectiva, entonces no admite inversa, solamente en algunos casos y
bajo algunas condiciones.LA FUNCIN EXPONENCIAL
Se llama funcin exponencial a la funcin:
f : / f ( x) a X
Con a>0 a1
Dada las condiciones anteriormente mencionadas, tenemos dos casos posibles:
x
1. Que a>1, por ejemplo f(x)=2 , cuya grfica es la siguiente:
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.-
- 80 -
2. Cuando 0<a<1, por ejemplo:
1
f ( x)
2
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:
log a b c b a c
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.
4
As por ejemplo, log3 81= 4, ya que 3 =81.Con esta idea, y partiendo de la funcin exponencial se tiene:
f : / f ( x) a x f
: / x log a f ( x )
O sea que la funcin logartmica est dada por:
f : / f ( x ) log a x
- 81 -
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)=log2 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 y la
concavidad es hacia abajo.Probemos para el caso de que 0<a<1, por ejemplo:
f ( x ) log 1 x
La grfica de esta funcin es:
- 82 -
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, y la
concavidad es hacia arriba.Para el caso de que a=1 (base 1), no queda definida la funcin logartmica.COMPARACIN ENTRE LA FUNCIN EXPONENCIAL Y LA LOGARTMICA
Construiremos las grficas de las siguientes funciones:
f ( x) 3 X
f ( x ) log 3 x
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:
1
f ( x)
2
f ( x ) log 1 x
- 83 -
FUNCIN DEFINIDA A TROZOS

En matemticas, una funcin definida a trozos (tambin conocida como funcin por partes) es
una funcin cuya definicin (la regla que define la dependencia) cambia dependiendo del valor de
la variable independiente. Matemticamente, una funcin real f (definida a trozos) de una variable real
x es la relacin cuya definicin est dada por varios conjuntos disjuntos de su dominio (conocidos
como subdominios).
Por ejemplo:
x, si x 0
x f ( x)
x, si x 0
- 84 -
TRABAJO PRCTICO N 4
1. Dada las siguientes funciones, graficarlas:
b.
f : R R / f ( x) 4 x 2 5 x 2
f : R R / f ( x) 3x 2 3x 6
c.
f : R 2 , 2 R / f ( x) x 2 2
d.
f : R R / f ( x) 3 5 x 3
e.
f.
f : R R / f ( x) log 2.x
f : Z Z 0 / f ( x ) x 1
g.
f : N R / f ( x) x 2 x 2
a.
j.
f : Z 1,0,1/ f ( x) sig( x)
f : R R / f ( x) sig ( x)
f : R R / f ( x) x ln x
k.
f : R 2 R / f ( x) 3
h.
i.
2.
Sean
3.
4.
Dado A={1,2,3} y B={2,3}, definir por tabla y clasificar f:P(A)P(B)/f(X)=B X.

En los siguientes casos, determinar gof:
b.
c.
d.
6.
conjuntos
A={1,2,3}
f : A B Z / f (a, b) 3a b
a.
5.
los
x3
x2
B={2,3},
representar
clasificar
f : R R / f ( x) x 2 3x 5
g : R R / g ( x) x 1
x2 2
5
2
g : Z Z / g ( x) x
f : Z Z / f ( x)
f : N N / f ( x) x 6
g : N R / g ( x) x 9
8
5
g : R R / g ( x ) sen x
f : R R / f ( x)
Las funciones f:AB y g:BC son tales que gof es sobreyectiva. Demostrar que g es
sobreyectiva.
Clasificar las siguientes funciones:
a.
b.
c.
d.
3
2
f : R R / f ( x) x 2 3x 1
1
f : R R / f ( x) x 3 2 x 2 x 1
2
f : R R / f ( x) 4 2 x
f : R R / f ( x) 5 x
f.
f : R R / f ( x) 2 x 2
f : Z Z / f ( x) 2 x 3
g.
f : R R / f ( x)
e.
x 1
h.
i.
7.
f : R R / f ( x) 3 x 2
f : R 1,1/ f ( x) cos x
Sean las funciones f:ZQ y g:QZ, tales que:
f ( x)
x2
y g ( x) ent ( x)
2
Encontrar fog y gof y calcular gof(-2) y fog(-0,5)

8.
Graficar las siguientes funciones realizando el estudio correspondiente:

a.
f : R R / f ( x) log2 x
x
b.
c.
3
g : R R / g ( x)
2
h : R R / h( x ) log 1 3.x
3
9.
d.
j : R R / j ( x) 3
Determinar el dominio dentro de los reales de las siguientes funciones:
a.
f ( x) 3x 2
b.
g ( x)
c.
h( x )
d.
j ( x)
e.
k ( x)
x 1
2
x 1
x2
2
3
x5
x3
x2
1
4
f.
l ( x ) cos x 3
g.
m ( x ) tg
h.
x2
p( x) sen (2 x 1)
10. Dada las graficas de las siguientes funciones, determinar con que dominio son inyectivas:
a.
- 85 -
c.
d.
11. Determinar la funcin inversa de cada de las siguientes funciones
f : / f ( x) 4 x 1
x2
b. g : / g ( x )
4
c. h : / h( x ) 2 x 3
3
d. F : / F ( x ) x 2
2
a.
- 86 -
CAPTULO V
INDUCCIN COMPLETA
NMEROS Y CONGRUENCIAS
- 87 -
- 88 -
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 SN, 1S
Si hS h+1S
Tesis
S=N
Demostracin
Como por hiptesis SN, tendremos que demostrar que NS para que sean iguales.Ahora, supongamos SN y distinto de S, de acuerdo con el principio de conjunto bien ordenado,
S tiene que tener un mnimo m, pero por hiptesis 1S, entonces m1. 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 S.Pero de acuerdo a la hiptesis tenemos:
m 1 S (m 1) + 1 S m S
Pero esta proposicin contradice lo estipulado, donde m es el mnimo de S NS (1)
Luego, por hiptesis y (1) N = S
PRINCIPIO DE INDUCCIN COMPLETA
Sea la funcin proposicional P(n), donde n 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
SN. Y como por hiptesis P(1) es verdadera, entonces 1S, y hS h+1S, entonces NS, lo que
significa P(n) es verdadera para todos los n de N
Por ejemplo:
Demostrar que los n primeros nmeros naturales es
n ( n 1)
2
Para ello hacemos:

Para n=1
1.(1 1)
2
1 11
2
2
- 89 -
Esto significa que P(1) es verdadero

Planteamos una hiptesis donde n=h (P(h) verdadera), entonces
1 2 3 4 5 ... h
h.( h 1)
2
Ahora la tesis para n=h+1
1 2 3 4 ... h (h 1)
(h 1).(h 1 1)
2
Demostracin
Por hiptesis, y teniendo en cuenta los h primeros trminos tenemos:
h.(h 1)
(h 1).(h 2)
(h 1)
2
2
Y sacando comn denominador, tenemos:
h.(h 1) 2.(h 1) (h 1).(h 2)
2
2
Y sacando factor comn (h+1) queda:
(h 1).(h 2) (h 1).(h 2)
2
2
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:
a1 a 2 a3 a 4 a5 la que la escribimos resumida de la siguiente forma:
a
i 1
Donde {1,2,3,4,5}I (conjunto de ndices), i=1 se denomina extremo inferior, 5 extremo superior.Sea por ejemplo:
n
a
i 1
a1 a 2 a3 ... a n , o sea la suma de los trminos desde a1 hasta an variando de 1 en 1.
Ahora, sea por ejemplo:
12 2 2 32 4 2 5 2 , 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,
5
o sea que es i , lo que significa que la sumatoria queda:
i 1
Para desarrollar la sumatoria hacemos:

6
2 .i 2 0 2 1 2 .2 2 .3 2 .4 2 .5 2 .6
i 0
- 90 -
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 1
i 1
i 1
(ai bi ) ai bi
Demostracin:
Desarrollando la sumatoria se tiene:
n
(a
i 1
bi ) (a1 b1 ) (a 2 b2 ) ... (a n bn )
Agrupando las a y las b tenemos

n
(a
i 1
bi ) (a1 a 2 ... a n ) (b1 b2 ... bn )
Y transformando cada uno de los parntesis en sumatoria queda:

n
i 1
i 1
i 1
(ai bi ) ai bi
2) La sumatoria de una constante por trmino genrico, es igual a la constante por la sumatoria
n
k.a
i 1
k ai
i 1
Demostracin:
Sea:
n
k.a
i 1
k .a1 k .a 2 k .a3 ... k .a n
Sacando factor comn K, queda:

n
k.a
i 1
k .(a1 a 2 a3 ... a n )
Y transformando el parntesis en sumatoria, se tiene:

n
k.a
i 1
k ai
i 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:
Sean a Z b Z a b c Z / b a c
a|b: se lee a divide a b
- 91 -
Ahora, si a divide a b, entonces se dice b es mltiplo de a, y se denota b a

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.c1 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 p a p b , y teniendo en cuenta la definicin de
divisores, se tiene que
t Z , s Z / a p.t b p.s
Ahora, despejando de la hiptesis el nmero r, y reemplazando por lo demostrado anteriormente y

operando, se tiene:
r a b.c p.t p.s.c p.(t s.c)

Esto significa que r (t s.c ). p p r , lo que concluimos que p b p r MCD(b,r)=p.
- 92 -
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 aZ bZ, a0 b0, el algoritmo de la divisin implica la existencia de dos nmeros
naturales c0 y r1, tales que podamos hacer el cociente entre a y b:
a c 0 .b r1 ,
0 r1 b
Si r1=0, entonces el MCD(a,b)=b, esto justificndolo con la Propiedad 2, caso contrario hacemos
nuevamente la divisin entre b y r1, obteniendo c1 y r2, y teniendo en cuenta que la Propiedad 1 nos
dice que MCD(a,b)=MCD(b,r1), entonces:
b c1 .r1 r2 ,
0 r2 r1
Si r2 = 0, entonces el MCD(a,b)=c1, caso contrario seguimos con el mismo razonamiento y llegamos al

paso i, donde:
ri 2 c i 1 .ri 1 ri ,
0 ri ri 1
Ahora, como b r1 r2 ... 0 , es evidente que en un nmero finito n de pasos con n b ,

llegaremos a un resto rn=0, es decir que
rn 2 c n 1 .rn 1 , esto implica que rn 1 rn 2 , y por la
Propiedad 2 MCD ( rn 2 , rn 1 ) rn 1 , y teniendo en cuenta la Propiedad 1, queda:
MCD ( a , b ) MCD (b, r1 ) MCD ( r1 , r2 ) ... MCD ( rn 2 , rn 1 ) rn 1

Ahora, para determinar el mximo comn divisor por este algoritmo hacemos el siguiente cuadro:
c1
c2
c3
.
cn-1
cn
a
b
r1
r2
.
rn-2
rn-1
r1
r2
r3
r4
.
0
MCD(a,b)=|rn-1|
Por ejemplo: Obtener en MCD(441,24)
Hacemos el cociente entre 441 y 24
441 24
201 18
009
441 24 18 9,
0 9 18
- 93 -
24 9
06 2
24 9 2 6,
06 9
Hacemos el cociente entre 9 y 6:
9 6
3 1
9 6 1 3,
03 6
6 3
0 2
6 3 2 0,
00 3
De acuerdo a lo que establece el algoritmo, tenemos:
MCD(441,24) MCD(24,9) MCD(9,6) MCD(6,3) 3

Haciendo el cuadro expuesto anteriormente, se tiene:
18
24
6
441
9
2
9
3
1
6
0
2
3
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=rn-1. Puesto que para todo i, ri-2=ci-1.ri-1+ri, y de acuerdo con las frmulas
obtenidas en la descripcin del Algoritmo de Euclides, se tiene que:
a c0 .b r1 r1 a c0 .b
b c1 .r1 r2 r2 b c1 .r1
r1 c 2 .r2 r3 r3 r1 c3 .r2
....................
rn 3 c n 2 .rn 2 rn 1 rn 1 rn 3 c n 2 .rn 2
Ahora, haciendo ui-1=1 vi-1= - ci-2 y as sucesivamente, tenemos:
Pero como
p rn 1
r3 u 3 .r1 v3 .r2
rn 1 u n 1 .rn 3 v n 1 .rn 2
r3 u 3 .b v 2 .r1
rn 2 u n 2 .rn 4 v n 2 .rn 3
rn 3 u n 3 .rn 5 v n 3 .rn 4
r1 u1 .a v1 .b
rn 2 rn 3 ... r3 r2 r1 entonces
p u1 .a v1 .b
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
NMEROS RELATIVAMENTE PRIMOS O PRIMOS ENTRE S
Dos nmeros enteros no nulos a y b son relativamente primos, si el MCD(a,b)=1
- 94 -
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 ax by c .Propiedades
Propiedad 1
Sean a, b y c tres nmeros enteros con MCD(a,b)=d, la ecuacin ax by c tiene solucin entera s
y slo si d|c.
Demostracin
Si la ecuacin ax by c tiene soluciones enteras, existen uZ y vZ tales que a.u b.v c .
Como MCD(a,b)=d, entonces a=p.d y b=q.d con p, q nmeros enteros, entonces:
c a.u b.v p.d .u q.d .v d .( p.u q.v )

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 x0Z, y0Z es una solucin particular de la ecuacin diofntica
, todas las soluciones enteras de esta ecuacin son de la forma:
b
x x 0 n ,
d
a
y y 0 n ,
d
con nZ, y donde MCD(a,b)=d
Demostracin
Como x0 e y0 es una solucin de ax by c , entonces
ax0 by 0 c .
Ahora hacemos:
b
a
a.x b. y a. x0 n b. y 0 n
d
d
Y aplicando la propiedad distributiva, se tiene:
a.x b. y a.x 0
b.a
b.a
n b. y 0
n
d
d
Y cancelando queda:
a.x b. y a.x 0 b. y 0
Lo que significa que x 0
b
a
n e y 0 n es solucin de ax by c .
d
d
Pero como (x0, y0) es solucin de la ecuacin, entonces x x0 = 0 e y y0 = 0, por lo tanto:
a.( x x 0 ) b.( y y 0 ) 0
- 95 -
Haciendo un pasaje de trminos se tiene:
a.( x x 0 ) b.( y y 0 )
Que es lo mismo que:
a.( x x0 ) b.( y 0 y )
(1)
Dividiendo ambos miembros por d, queda:
a
b
( x x0 ) ( y 0 y )
d
d
Como el MCD(a, b)=d
(2)
a b
a b
MDC , 1 ya que
y
son primos entre s
d d
d d
Por otro lado, y de acuerdo a la igualdad 2,
a
a
( y 0 y ) n Z / y 0 y n , lo que significa
d
d
que:
a
y y 0 n (I)
d
Sustituyendo el valor de y en la igualdad 1 se tiene:
a.( x x0 ) b. y 0 y 0 n
d
Cancelando queda:
a.( x x 0 )
Despejando, se tiene:
x x0
b.a
n
d
b.a
n
a .d
Despejando x se tiene:
b
x x 0 n (II)
d
De I y II, queda demostrado el teorema.Ejemplo:
Determinar las soluciones positivas de la siguiente ecuacin diofntica:
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.-
- 96 -
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 x0 = -86 y que y0 = 43.
Ahora, aplicando el teorema anterior, se tiene:
b
x x0 n con n Z
d
a
y y 0 n con n Z
d
Reemplazando queda:
50
n
10
20
y 43 n
10
x 86
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:
50
20
86 18,43 18 4,7
10
10
50
20
86 19,43 19 9,5
10
10
50
20
86 20,43 20 14,3
10
10
50
20
86 21,43 21 19,1
10
10
CONGRUENCIA EN MDULO n
Los nmeros a y b son congruentes en mdulo n si n divide a su diferencia, o sea:
a Z b Z son congruente s en mdulo n n a b

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:
(a, b) R Z 2 n a b
Para demostrar que la congruencia en mdulo n es una relacin de equivalencia, se debe demostrar
que es reflexiva, simtrica y transitiva:
- 97 -
Reflexiva
Todo nmero divide al cero, por lo tanto:
n 0 n a a (a, a ) R
Simtrica
De acuerdo a lo definido se tiene:
(a, b) R n | a b n | (a b).(1) n | b a (b, a) R

Esto es teniendo en cuenta las propiedades 1, 2 y 3 de divisores y mltiplos
Transitiva
Supongamos que:
(a, b) R (b, c) R n | a b n | b c n | a b b a n | a c (a, c) R

Lo que queda demostrada que la congruencia en mdulo n es una relacin de equivalencia.
ECUACIONES CON CONGRUENCIAS EN MDULO n
Sea la ecuacin:
ax b(n)
Donde a y b son nmeros enteros y n es un entero positivo. Usando la congruencia en mdulo n
se deduce que la ecuacin anterior se satisface cuando existe yZ tal que:
ax b y.n
Lo que significa que esta ecuacin queda:
a.x y.n b
Ejemplo:
Encontrar las soluciones de la ecuacin
4.x 2(6) .
Si x es una solucin entera de la ecuacin, entonces existe un entero y tal que
4.x 2 6. y , es
decir que 4.x 6. y 2 , y como el MCD(6,4) = 2. Y teniendo en cuenta la propiedad 1 de las

ecuaciones diofnticas, tiene infinitas soluciones, y la Propiedad 2 nos explica como calcularas:
Teniendo en cuenta el Algoritmo de Euclides, decimos que 6 = 1.4 + 2, y -4 (-6)=2. Por lo tanto x0=1, y0=-1 y es una solucin particular.
El resto de las soluciones tienen la forma:
x 1 3.n
y 1 2.n con nZ
TRABAJO PRCTICO N 5
Escribir como sumatoria:
1) 1 3 5 7 9 11 15
x1 x2 x3 ... xn
n
1 1 1
1
1
1
1
1
3)

4 9 16 25 36 49 64 81
2)
4) 0 2 8 26 ... 2186
5) 2 5 8 11 14 ... 29
6) 1 7 26 79 241 727
7)
1 1
1
1
1

4 16 36 64 100
8) Demostrar por el mtodo de induccin completa

i
2 n 1
2
a) 2 n
3
i 1 3
n
n(n 1)(2n 1)
2
b) i
6
i 1
n
n 2
c) i (n i ) (n 1)
6
i 1
1 1 1
1
1
d)
... n 1 n
2 4 8
2
2
n 1
e) 3 10
10 n 1
n
f)
2 n2 n
n
g)
i.i! (n 1)!1
i 1
n
h) i i
i 1
i 1
n
n
i) 3 8 5
n
1 xn
si x1
1 x
i 1
n
i
n2
k) i 2
2n
i 1 2
n 1
j)
xi
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
a b
MDC , 1
c c
- 98 -
12)
13)
14)
15)
- 99 -
Si p y q son dos nmeros primos entre s, demostrar que si p|q.m p|m

Si MCD(a,b,c), probar que MCD(MCD(a,b),c)=MCD(a,MCD(b,c))
Si MCD(a, b)=1, probar que MCD(a+b, a b)=1 MCD(a+b, a b)=2
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.
18) Resolver las siguientes ecuaciones:
a) 26x 13(91)
b) 35x -5(75)
c) 9x -3(12)
CAPTULO VI
ANLISIS COMBINATORIO
- 100 -
- 101 -
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
0
Se llama factorial a la funcin f:N N tal que:
f ( 0) 1
f (1) 1
f (n) n. f (n 1)
El factorial de un nmero cualquiera n, se lo simboliza n!., o sea que la definicin de factorial queda:
0! 1
1! 1
n! n.( n 1)!
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:
8! 8.7.6.5.4.3.2.1
8 .7 .6 .5 .4
3!
3 .2 .1
Pero 3.2.1 = 3!, entonces:
8! 8.7.6.5.4.3!
8 .7 .6 .5 .4
3!
3!
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 -
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 Anm y se lee arreglo sin repeticin o simple de m elementos tomados
de n en n, o bien V nm y se lee variacin sin repeticin o simple de m elementos tomados de n en n
Teniendo en cuenta el ejemplo anterior, podemos hacer:
24 4!
4!
que generalizando queda:

2 2! (4 2)!
m!
Anm
(m n)!
A24 12
VARIACIONES O ARREGLOS CON REPETICIN

En el caso de que de un conjunto se pueda escoger ms de un elemento por 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 iguales elementos, y dos conjuntos son distintos si difieren en su orden o en
sus elementos. Esto ser:
AA
BA
CA
DA
AB
BB
CB
DB
AC
BC
CC
DC
AD
BD
CD
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
AAA
ABA
ACA
ADA
AEA
BAA
BBA
BCA
BDA
AAB
ABB
ACB
ADB
AEB
BAB
BBB
BCB
BDB
AAC
ABC
ACC
ADC
AEC
BAC
BBC
BCC
BDC
AAD
ABD
ACD
ADD
AED
BAD
BBD
BCD
BDD
AAE
ABE
ACE
ADE
AEE
BAE
BBE
BCE
BDE
BEA
CAA
CBA
CCA
CDA
CEA
DAA
DBA
DCA
A, B, C, D, E
BEB BEC
CAB CAC
CBB CBC
CCB CCC
CDB CDC
CEB CEC
DAB DAC
DBB DBC
DCB DCC
BED
CAD
CBD
CCD
CDD
CED
DAD
DBD
DCD
BEE
CAE
CBE
CCE
CDE
CEE
DAE
DBE
DCE
DDA
DEA
EAA
EBA
ECA
EDA
EEA
DDB
DEB
DDC
DEC
EAC
EBC
ECC
EDC
EEC
DDD
DED
DDE
DEE
EAE
EBE
ECE
EDE
EEE
EAB
EBB
EAD
EBD
ECD
EDD
EED
ECB
EDB
EEB
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 A' mn . Ahora:
A' 42 16 4 2
A' 53 125 5 3
O sea que en definitiva:
- 103 -
A' mn m n
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 Pm. Atendiendo la
definicin, la permutacin de m elementos es un arreglo de m elementos tomados de m en m. O sea:
Pm Amm
m!
m! m!
m!
(m m)! 0! 1
Por ejemplo: De cuntas formas se pueden ordenar 5 libros distintos en un estante?

P5 = 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 P10 ya que se repiten las blancas (3), las azueles (2) y las rojas (5). O sea que por estos
casos se tendra:
P3 =3! = 6 (para las blancas), P2=2 (para las azules) y P5 = 5! = 120 (para las rojas), y estos
conjuntos son iguales ya que no se diferencian por el color. Estamos en presencia de una
permutacin con repeticin de 10 elementos en grupos de 3, 2 y 5, y esto ser:
3, 2, 5
P'10
La frmula general ser:
P10
10!
3628800
2520
P3 .P2 .P5 3!.2!.5! 6.2.120
P 'm, , ,...,
Pm
m!
P .P .P ...P !. !. !... !
Donde m es el total de elementos, es el nmero del primer grupo de elementos iguales, el

segundo, 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 C nm , y en nuestro
caso particular, ser:
C 34 4
24
4!
6 3!.(4 3)!
Para el caso de m y n, se tiene:
C nm
- 104 -
m!
n!.(m n)!
PROPIEDADES
1) C 0m 1
Demostracin:
C 0m
m!
m!
1
0!.(m 0)! 1.m!
Esto es teniendo en cuenta que 0! = 1 y simplificando.2) C mm 1

Demostracin:
C mm
m!
m!
1
m!.(m m)! m!.0!
Esto es teniendo en cuenta que 0! = 1 y simplificando.3) C nm C mm n

Demostracin:
C mm n
m!
m!
C nm
(m n)!.(m m n)! (m n)!.n!
Esto es aplicando la definicin y cancelando m.4) C nm C nm11 C nm 1

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

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

n.(m 1)! (m n).(m 1)!
C nm11 C nm1
n.(m n).(n 1)!.(m n 1)!
(m 1)!.(n m n)
C nm11 C nm1
n.(m n).(n 1)!.(m n 1)!
(m 1)!.m
C nm11 C nm1
n.(m n).(n 1)!.(m n 1)!
(m 1)!.m
C nm11 C nm1
n.(n 1)!.(m n)(m n 1)!
.m!
C nm11 C nm1
n!.(m n)!
m1
m1
Cn1 Cn Cnm
C nm11 C nm1
- 105 -
5) C nm C nm1 C nm11
Demostracin:
Partiendo de la demostracin anterior, y haciendo k=m+1 m=k-1 y
s=n+1n=s-1, se tiene:
C nm C nm1 C sk11 C sk 1 C sk C nm11
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 C' mn . En frmulas ser:
C ' mn C nm n 1
BINOMIO DE NEWTON
Desde nuestros estudios en la escuela media o EGB o Polimodal es que conocemos que:
2
2
2
3
3
2
2
3
(a + b) = a + 2.a.b + b
y que (a + b) = a + 3.a .b + 3.a.b + b
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
a b n C in .a n i .b i
i 0
Esta igualdad se demuestra con el mtodo de induccin completa. O sea que:

Para n = 0
(a b) 0 C 00 .a 00 .b 0
11
Hiptesis
Para n=k
a b k Cik .a k i .b i
Tesis
Para n=k+1
i 0
k 1
a b k 1 Cik 1 .a k 1i .b i
i 0
Demostracin
Partiendo del primer miembro, aplicando producto de potencias de igual base, y lo estipulado
por la hiptesis y luego distribuyendo, se tiene:
a b k 1 a b k .a b
k
a b k 1 (a b). Cik .a k i .b i
i 0
i 0
i 0
- 106 -
a bk 1 a. Cik .a k i .b i b. Cik .a k i .b i
Ahora, introduciendo a en la primera sumatoria, y b en la segunda, queda:
k
i 0
i 0
i 0
i 0
a bk 1 Cik .a.a k i .b i Cik .a k i .b.b i

Aplicando producto de potencia de igual base, se tiene:
a bk 1 Cik .a k i 1 .b i Cik .a k i .b i 1
Ahora extraemos el primer trmino de la primera sumatoria, y el ltimo de la segunda sumatoria. O
sea:
k
k 1
i 1
i 0
a bk 1 C0k .a k i 1 .b 0 Cik .a k i 1 .b i Cik .a k i .b i 1 C kk .a k k .b k 1

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
i 1
j 1
a bk 1 C0k .a k 1 .b 0 Cik .a k i 1 .b i C kj1 .a k j 1 .b j Ckk .a 0 .b k 1

Pero cambiando j por i, se tiene:
k
i 1
i 1
a b k 1 C0k .a k 1 .b 0 Cik .a k i 1 .b i Cik1 .a k i 1 .b i C kk .a 0 .b k 1

Tomamos una sola sumatoria hasta k, y se tiene:
k
a bk 1 C0k .a k 1 .b 0 (Cik Cik1 ).a k i 1 .b i C kk .a 0 .b k 1

i 1
Y por la propiedad 4 aplicada a las suma de las combinatorias, que:

k
a b k 1 C0k .a k 1 .b 0 Cik 1 .a k i 1 .b i C kk .a 0 .b k 1
i 1
Y haciendo C kk C kk11 1 y
combinaciones, queda:
C 0k C 0k 1 1 , teniendo en cuenta una propiedad de las
a bk 1 C0k 1 .a k 1 .b 0 Cik 1 .a k i 1 .b i C kk11 .a 0 .b k 1

i 1
Introduciendo el primer trmino y el ltimo trmino en la sumatoria, queda:

k 1
a b k 1 Cik 1 .a k i 1 .b i
i 0
Por ejemplo:
Desarrollar el siguiente binomio:
5
a b 5 Ci5 .a 5i .b i
i 0
a b 5
C 05 .a 5 0 .b 0 C15 .a 51 .b 1 C 25 .a 5 2 .b 2 C 35 .a 53 .b 3 C 45 .a 5 4 .b 4 C 55 .a 55 .b 5
a b 5
a 5 5 .a 4 .b 10 .a 3 .b 2 10 .a 2 .b 3 5 .a .b 4 b 5
- 107 -
TRINGULO DE TARTAGLIA PASCAL

Utilizando la propiedad 4) de combinaciones, se puede construir un tringulo con los valores
que sern los coeficientes de un binomio de Newton. Este es:
C 00
C 01
C 02
C12
C 03
C 04
C 05
C 06
O sea que:
1
8
1
7
1
6
28
C13
C14
C15
C16
1
5
21
4
15
56
C 22
C 23
C 33
C 24
C 25
C 26
C 11
C 34
C 35
C 36
1
3
10
35
1
2
6
20
70
C 44
C 45
C 46
1
3
10
35
C 55
C 56
1
4
15
56
1
5
21
C 66
1
6
28
1
7
1
8
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 nmeros diferentes 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
7) Calcular n y p en la siguiente igualdad
V2x C 2x 450
C p2n 2 C102 n p
C 2n C 3n 1 7
8) Calcular n en la siguiente igualdad:
5
C 4n 2
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 -
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:
5
a)
1
1
a b.c
3
5
b) x. y 2 z 3
3
c)
d)
5 2 3
2 3
x y z 0,5.a b
4
1,2.ab
8,1.c.d 3
10
e)
9 2 2
.a b
3
8
CAPTULO VII
ESTRUCTURAS ALGEBRAICAS
- 109 -
- 110 -
LEY DE COMPOSICIN INTERNA

Sea el conjunto G , se llama Ley de Composicin Interna a la funcin:
* : G 2 G /* (a, b) a * b
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:
* : G 2 G /* (a, b) a * b
A2) * es asociativa, o sea:
a G, b G, c G : (a * b) * c a * (b * c)
A3) Existe un elemento e neutro, o sea:
e G / a G : e * a a * e a
A4) Existencia del electo inverso para todo elemento de G, o sea:
a G, a' G / a * a' a'*a 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 G, b G : a * b b * a
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, *) donde a*b =a+b+a.b, probar que es un grupo abeliano:
A1) * es una ley de composicin interna en Q
* : Q 2 Q /* (a, b) a * b a b a.b Z
Esto lo justifica que la adicin y la multiplicacin de nmeros racionales es otro racional.
- 111 -
A2) * es asociativo en Q
(a * b) * c (a * b) c (a * b).c a b a.b c (a b a.b).c a b c a.b a.c b.c a.b.c
a * (b * c) a (b * c) a.(b * c) a b c b.c a.(b c b.c) a b c b.c a.b a.c a.b.c

Como los segundos miembros son iguales, entonces los primeros tambin lo son, luego:
(a * b) * c a * (b * c)
A3) Existencia del elemento neutro (e):
e Q / a Q : a * e a e a.e a e a.e 0 e.(1 a) 0 e 0

Ahora, hacemos:
e * a 0 a 0 .a a
Por lo tanto el elemento neutro es e=0
A4) Existencia del elemento inverso para cualquier elemento de Q, o sea:
a Q, a ' Q / a * a ' e a a ' a.a ' 0 a ' a.a ' a a ' (1 a ) a a '
a
1 a
Ahora probamos con:
a '*a
a
a
a a.(1 a ) a 2 a a a 2 a 2
a a '
0e
1 a
1 a
1 a
1 a
Por lo tanto el elemento inverso es a '
a
1 a
Con estas cuatro demostraciones aseguramos que (Q,*) es un grupo

Ahora hacemos:
A5) Probamos la conmutatividad
a Q, b Q : a * b a b a.b b a b.a b * a
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:
a) (a * c) * c' (b * c) * c' a * (c * c' ) b * (c * c' ) a * e b * e a b
b)
- 112 -
c'*(c * a) c'*(c * b) (c'*c) * a (c'*c) * b e * a e * b a b
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 aG 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 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 si:
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 -
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 HG
Sea xH yH x * y H
Tesis
(H, *) es subgrupo de (G, *)
Demostracin:
Para demostrar que (H, *) es subgrupo, debemos demostrar que es grupo, entonces:
A3) Existencia del elemento neutro
x H x H x * x ' H e H
Esto es teniendo en cuenta la hiptesis y que x * x =e
A4) Existencia del elemento inverso
e H x H e * x ' H x ' H
Esto es teniendo en cuenta la hiptesis y la demostracin anterior

A1) La ley es cerrada para H
x H y H x H y' H x * ( y' )' H x * y H

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 HG, basta demostrar que xH yH x * y H
para que (H, *) sea subgrupo de (G, *)
HOMOMORFISMO DE GRUPOS
Definicin
Sean (G1, *) y (G2, ) dos grupos, y f:G1G2, la funcin f se llama homomorfismo de grupos, si para
todo x, y G1, se verifica que:
f ( x * y) f ( x) f ( y)
En diagrama de Venn se observa:

G1
- 114 -
G2
f(x)
f(y)
x*y
f(x)f(y)
HOMOMORFISMOS ESPECIALES
Sea f:G1 G2 un homomorfismo, se dice que:
1.
2.
3.
4.
f es un monomorfismo si f es inyectiva
f es un epimorfismo si f es sobreyectiva
f es un isomorfismo si f es biyectiva
f es un automorfismo si f es un isomorfismo entre un mismo grupo
Ejemplos
x
x+y
x y
1. f(x)=e es un monomorfismo de (R, +) en (R, ) donde f(x + y) =e =e .e =f(x).f(y)
n
2. La funcin f:(Z, +) ({-1, 1}, ) dada por f(n)=(-1) es un epimorfismo ya que
f (n m) (1) n m f (n). f (m)
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 (a.b).c a.(b.c) para todo a, b y c de A.
P3) El producto es doblemente distributivo con respecto a la suma:
a.(b c) a.b a.c y (b c).a b.a c.a 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 aA: 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:
(Q,+,) es un cuerpo
- 115 -
TRABAJO PRCTICO N 7
1.
Determinar si los siguientes pares son Grupos:

a. (G, *) tal que G ={x/x=2.k+1 k Z} y * es el producto ordinario
b. (G, *) tal que G={x/x=3.k kZ} y * es la adicin ordinaria
c.
2.
3.
5.
6.
7.
8.
d. (G, *) tal que G x / x 2 k Z y * es el producto ordinario

Sea (R, +)/a*b=2.a.b, demostrar que (R, +) es un grupo abeliano.
2
En Q se considera * definida por:
2
4.
(G, *) tal que G a b. 2 / a Q b Q y * es el producto ordinario
a, b* c, d a.c, b.c d
Demostrar que (Q , *) es un grupo

n
Sean los grupos (Z, +) y (G, *), y la funcin f:ZG tal que f(n) = a con a G. Demostrar que f es
un morfismo.
Sea (R, *) tal que a * b a b. 2 . Demostrar que (R, *) es un grupo.
Sea un homomorfismo del grupo G en el grupo G, y H un subgrupo de G. Demostrar que su
-1
preimagen f (H) es un subgrupo de G.
Si (G, *) es un subgrupo que verifica que x * x =e, para todo x G, demostrar que (G, *) es un
grupo conmutativo.
2
En Z se define la adicin y el producto mediante:
( x, y) ( x' , y' ) ( x x' , y y' )

( x, y).( x' , y' ) ( x.x' ,0)
Demostrar que (Z , +, ) es un anillo.

2
9. Si (A, +) es un grupo abeliano y se define :A A tal que a.b=0. Demostrar que (A, +, ) es un
anillo.
2
10. Se considera la suma habitual de pares ordenados en Z y el producto definido por:
2
(a, b).(a' , b' ) (a.a' , a.b'b.a' )
Demostrar que (Z , +, ) es un anillo.

Apuntes - Lógica Proposicional, Teoría de Conjuntos, Relaciones

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes - Lógica Proposicional, Teoría de Conjuntos, Relaciones

Cargado por

Copyright:

Formatos disponibles

Prof: Luis Ernesto Valdez

INSTITUTO DE ESTUDIOS SUPERIORES DE

LGEBRA MODERNA Prof. Luis E. Valdez

Prlogo Algo de Historia Bibliografa

LGEBRA MODERNA Prof. Luis E. Valdez

LGEBRA MODERNA Prof. Luis E. Valdez

tendiendo las necesidades de los alumnos del 1 ao del Profesorado en Matemtica

lgebra I Rojo, Armando - Ed. El Ateneo - 1986

LGEBRA MODERNA Prof. Luis E. Valdez

LGEBRA MODERNA Prof. Luis E. Valdez

TABLA DE VALORES DE VERDAD

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

p: NO ES CIERTO QUE el 3 es un nmero natural. Lo cual es FALSA

DISYUNCIN O SUMA LOGICA

n valores A'2n proposiciones 2 n proposiones

En nuestro caso particular, tendramos que la VALORES = 2 = 4

Esta tabla se explica con un ejemplo fcilmente:

pq: estudio O veo televisin

CONJUNCIN O PRODUCTO LGICO

LGEBRA MODERNA Prof. Luis E. Valdez

Esta tabla, al igual que la anterior, se explica con un ejemplo fcilmente:

Esta tabla de valores de verdad se la puede interpretar con el siguiente ejemplo:

LA DOBLE IMPLICACIN O EL BICONDICIONAL

Esta operacin proposicional se la puede entender con el siguiente ejemplo:

LGEBRA MODERNA Prof. Luis E. Valdez

La explicacin de esta tabla de valores de verdad se basa en que este o es en sentido

CONDICIONES NECESARIA Y SUFICIENTE

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

Una proposicin es una contradiccin si es FALSA independientemente de los valores de

LGEBRA MODERNA Prof. Luis E. Valdez

Una proposicin es una contingencia si no es ni VERDADERA ni FALSA.Por ejemplo:

De la conjuncin: La conjuncin de una misma proposicin, es equivalente a la misma

LGEBRA MODERNA Prof. Luis E. Valdez

LGEBRA MODERNA Prof. Luis E. Valdez

De la disyuncin con respecto a la conjuncin: la disyuncin es distributiva con respecto a

Las implicaciones contra - recprocas son equivalentes; o sea que:

LGEBRA MODERNA Prof. Luis E. Valdez

7. LA DOBLE IMPLICACIN Y LA IMPLICACIN

8. LA DIFERENCIA SIMTRICA Y LA DOBLE IMPLICACIN

De la disyuncin: La negacin de una disyuncin, es equivalente a la conjuncin de las

La negacin de una implicacin es equivalente a negacin de la disyuncin de la negacin del

LGEBRA MODERNA Prof. Luis E. Valdez

Ahora, aplicando la ley de De Morgan e Involucin en la disyuncin, queda:

-[-(p q)] -[ -(-p q)] -(p -q)

Por lo tanto podemos decir que la implicacin es equivalente a la negacin de la conjuncin

Este circuito se relaciona con la conjuncin:

LGEBRA MODERNA Prof. Luis E. Valdez

LGEBRA MODERNA Prof. Luis E. Valdez

LGEBRA MODERNA Prof. Luis E. Valdez

Por ejemplo aplicando sucesivamente la equivalencia de la diferencia simtrica y la doble

Entonces, un razonamiento deductivo se dice que es VLIDO, cuando no es posible que de

LGEBRA MODERNA Prof. Luis E. Valdez

Ley de Modus Tolens o Modus Tolendo: Si en un razonamiento se tiene una implicacin y la

LGEBRA MODERNA Prof. Luis E. Valdez

Se demuestra fcilmente usando una tabla de valores de verdad:

LGEBRA MODERNA Prof. Luis E. Valdez

a' a y c' c por ser

alternos internos entre las paralelas ab y A , entonces a b c 180

En general podemos decir que siendo a y b enteros, entonces a+b=b+a

LGEBRA MODERNA Prof. Luis E. Valdez

a' a y c' c por ser alternos internos

entonces tampoco abc es un tringulo (lo contrario a la hiptesis) lo que es un absurdo.