Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ndice general
1. Introduccin a la lgica matemtica
1.1. Clculo proposicional . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Conectivos proposicionales . . . . . . . . . . . . . . .
1.1.2. Frmulas bien formadas . . . . . . . . . . . . . . . .
1.1.3. Frmulas lgicamente equivalentes (FLE) . . . . . . .
1.1.4. Tautologa . . . . . . . . . . . . . . . . . . . . . . . .
1.1.5. Leyes de la lgica . . . . . . . . . . . . . . . . . . . .
1.1.6. Utilizando las leyes de la lgica proposicional . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
la validez
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
9
11
11
13
14
15
17
20
22
25
25
29
34
37
38
40
42
42
43
44
49
49
49
50
53
57
61
62
NDICE GENERAL
3. Tcnicas de demostracin
3.1. Tcnica de demostracin directa. . . . . . . . . . . .
3.2. Tcnica de demostracin indirecta . . . . . . . . . . .
3.2.1. Tcnica de demostracin por contra-recproca
3.2.2. Tcnica de demostracin por contradiccin. .
3.3. Tcnica de demostracin por disyuncin de casos . .
3.4. Tcnica de demostracin por contraejemplo . . . . .
3.5. Tcnica de demostracin por induccin matemtica .
3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
65
65
67
67
69
72
78
82
94
4. Relaciones de recurrencia
4.1. Mtodo de Iteracin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
97
98
5. Conjuntos
5.1. El conjunto potencia . . . . . . . . .
5.2. Producto cartesiano . . . . . . . . . .
5.3. Operaciones de conjuntos . . . . . . .
5.4. Identidades en conjuntos . . . . . . .
5.5. Uniones e intersecciones generalizadas
5.6. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6. Funciones
6.1. Conceptos fundamentales . . . . . . . . . . . .
6.2. Funciones inyectivas (o funciones uno a uno) .
6.3. Funciones sobreyectivas . . . . . . . . . . . . .
6.4. Funciones biyectivas . . . . . . . . . . . . . .
6.5. Funciones inversas y composicin de funciones
6.6. Grfica de una funcin . . . . . . . . . . . . .
6.7. Ejercicios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7. Relaciones
7.1. Relacin binaria . . . . . . . . . . . . . . . . . . . . . .
7.2. Funciones como relaciones . . . . . . . . . . . . . . . .
7.3. Relaciones en un conjunto . . . . . . . . . . . . . . . .
7.4. Propiedades de las relaciones . . . . . . . . . . . . . . .
7.4.1. Propiedad de reflexividad . . . . . . . . . . . .
7.4.2. Propiedad de simetra . . . . . . . . . . . . . .
7.4.3. Propiedad de antisimetra . . . . . . . . . . . .
7.4.4. Propiedad de transitividad . . . . . . . . . . . .
7.5. Combinacin de relaciones . . . . . . . . . . . . . . . .
7.6. Composicin y potencia de relaciones . . . . . . . . . .
7.7. Representacin de relaciones . . . . . . . . . . . . . . .
7.7.1. Representacin de relaciones utilizando matrices
7.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
118
118
120
123
125
125
.
.
.
.
.
.
.
129
129
131
131
132
132
135
136
.
.
.
.
.
.
.
.
.
.
.
.
.
139
139
140
140
142
142
143
143
143
145
145
146
146
150
NDICE GENERAL
8. Relaciones de equivalencia
8.1. Clases de equivalencia . . . . . . .
8.2. Clases de equivalencia y particiones
8.3. Conjuntos parcialmente ordenados .
8.4. Ejercicios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
153
155
155
157
161
NDICE GENERAL
Captulo 1
Introduccin a la lgica matemtica
1.1.
Clculo proposicional
Definicin de proposicin:
Una proposicin es un enunciado declarativo que puede ser calificado sin ambigedad
como verdadero o falso. En este anlisis no se tendrn en cuenta proposiciones que
requieran una opinin individual y que por lo tanto, no pueden ser verdaderas o falsas.
Las siguientes declaraciones son ejemplos de proposiciones:
Matemticas Discretas es una materia que se evala en el Examen de Calidad
de la Educacin Superior (ECAES) en el programa acadmico de Ingeniera de
Sistemas
El promedio a nivel nacional en el ECAES de Ingeniera de Sistemas fue de 110.3
puntos en el ao 2007
El cuadernillo de ingls tenia 40 preguntas en el ECAES de Ingeniera de Sistemas
del ao 2008
Las siguientes declaraciones son ejemplos de lo que no es una proposicin:
Atltico Nacional es el mejor equipo del ftbol colombiano
lvaro Uribe ha sido el mejor presidente de los colombianos
Los prximos juegos deportivos nacionales sern ganados por el departamento del
Valle
Las proposiciones pueden considerarse como primitivas, ya que en realidad no se
pueden descomponer en partes ms simples.
Las proposiciones primitivas se utilizan con conectivos lgicos para formar proposiciones compuestas.
1.1.1.
Conectivos proposicionales
p
F
V
q
V
F
V
F
pq
V
V
V
F
q
V
F
V
F
pq
V
F
F
F
q
V
F
V
F
pq
V
F
V
V
q
V
F
V
F
pq
V
F
F
V
Ejemplo 1:
Se tienen las siguientes dos proposiciones:
p : 2 es un nmero irracional
q : un ao bisiesto tiene 366 das
las dos proposiciones p y q son verdaderas, como V V es verdadero, entonces las
proposiciones p y q son equivalentes.
Ejemplo 2:
Se tienen las siguientes dos proposiciones:
p : 2+3=7
q : 4 es un nmero impar
las dos proposiciones p y q son falsas, como F F es verdadero, entonces las proposiciones p y q son equivalentes.
1.1.2.
10
Definicin:
Una FBF del clculo proposicional es aquella frmula que se ajusta a cualquiera de
estos casos:
1. Toda variable proposicional aislada es una FBF
2. Si A es una FBF, entonces (A) es una FBF
3. Si A y B son FBF, entonces tambin lo son:
(A) (B),
(A) (B),
(A) (B), y
(A) (B).
4. Una frmula es bien formada si lo es como resultado de aplicar los casos 1, 2 y 3
un nmero finito de veces.
Ejemplo 3:
La frmula ((p) ( (q))) (( ( (p))) (q)) es una frmula bien formada?
Para determinar si la frmula es bien formada, sea A0 la frmula que represente
a sta, si A0 se puede obtener al aplicar un nmero finito de pasos los casos 1, 2 y 3
entonces la frmula es bien formada, para esto se tiene:
A0 = ((p) ( (q))) (( ( (p))) (q)), como el conectivo principal de la
frmula es la implicacin, entonces A0 se puede representar como A0 = (A1 ) (B1 )
donde A1 = (p) ( (q)) y B1 = ( ( (p))) (q). En el anlisis de las frmulas
A1 y B1 se tiene:
A1 = (p) ( (q)), A1 puede ser reescrita como A1 = (A2 ) (B2 ), con A2 = p
y B2 = (q), con B2 = (B3 ) y B3 = q. Como A2 y B3 son variables
proposicionales aisladas entonces stas son FBF; como B2 es la negacin de una
FBF entonces sta tambin es una FBF; como la frmula A1 es la conjuncin de
las FBF A2 y B2 entonces A1 es tambin una FBF.
B1 = ( ( (p))) (q), B1 puede ser reescrita como B1 = (A4 ) (B4 ), con
A4 = ( (p)) y B4 = q, como B4 es una variable proposicional aislada
entonces es una FBF. La frmula A4 puede ser reescrita como A4 = (A5 )
donde A5 = (p) que puede ser reescrita como A5 = (A6 ) y A6 = p, como
A6 es una variable proposicional aislada entonces es una FBF; A5 es la negacin
de una FBF entonces sta tambin es una FBF; A4 es la negacin de A5 que
es una FBF entonces A4 tambin es una FBF. Como la frmula B1 es la doble
implicacin entre las FBF A4 y B4 entonces B1 es tambin una FBF.
11
1.1.3.
Ejemplo 4:
Se tienen las siguientes frmulas A = (p q) y B = p q, son las frmulas
A y B lgicamente equivalentes?
Para dar respuesta a sta pregunta se har uso de las tablas de verdad, para lo cual se
tiene:
p q
V V
V F
F V
F F
p
F
F
V
V
q
F
V
F
V
pq
F
V
F
F
(p q)
V
F
V
V
pq
V
F
V
V
como las columnas de la tabla que indican los valores para las frmulas (p q)
y p q son iguales entonces stas frmulas son lgicamente equivalentes.
1.1.4.
Tautologa
Ejemplo 5:
La frmula ((p q) p) ( q) es una tautologa?
Para dar respuesta a esta pregunta se har uso de las tablas de verdad, para lo cual se
tiene:
12
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
pq
V
F
V
V
(p q) p)
F
F
V
V
((p q) p) ( q)
V
V
F
V
la nica posibilidad para que el consecuente sea falso es cuando la variable proposicional
q toma valor verdadero; tener en cuenta que la asignacin de valor para la variable
proposicional q aplica para toda la expresin
(( p q ) ( p )) ( q )
|{z}
|{z}
V
|
{z
}
| {zV }
V
F
|
{z
}
F
la nica posibilidad para que el antecedente sea verdadero es cuando la variable proposicional p toma valor falso; tener en cuenta que la asignacin de valor para la variable
proposicional p aplica para todas las ocurrencias de dicha variable en la expresin
p q ) ( p )) ( q )
|{z}
|{z}
|{z}
|{z}
F
V
F
|
| {zV }
{z
} | {z }
V
V
F
|
{z
}
V
|
{z
}
((
1.1.5.
13
Leyes de la lgica
La siguiente tabla contiene las principales leyes de la lgica en el clculo proposicional, donde A, B y C son frmulas bien formadas. Para una mayor claridad con respecto al alcance de una negacin en un frmula bien formada en el clculo proposicional,
entonces se usar en la tabla y en el resto de ejercicios de la seccin, la representacin
A en vez de A, donde A es una frmula bien formada.
Nmero
Equivalencia Lgica
Nombre Ley
1.
A A
2.
AB AB
Ley de De Morgan
2.
AB AB
Ley de De Morgan
3.
AB BA
Ley conmutativa
3.
AB BA
Ley conmutativa
4.
A (B C) (A B) C
Ley asociativa
4.
A (B C) (A B) C
Ley asociativa
5.
A (B C) (A B) (A C)
Ley distributiva
5.
A (B C) (A B) (A C)
Ley distributiva
6.
AA A
Ley de idempotencia
6.
AA A
Ley de idempotencia
7.
AF A
Ley de identidad
7.
AV A
Ley de identidad
8.
AA V
Ley inversa
8.
AA F
Ley inversa
9.
AV V
Ley de dominacin
9.
AF F
Ley de dominacin
10.
A (A B) A
Ley de absorcin
10.
A (A B) A
Ley de absorcin
11.
(A B) (B A)
Ley de transposicin
14
1.1.6.
Ejemplo 6:
Simplificar la siguiente proposicin compuesta [(x y) (x y)] x utilizando las
leyes de la lgica proposicional. En cada paso especificar la regla que se utiliz.
Utilizando las leyes de la lgica proposicional la simplificacin es la siguiente:
[(x y) (x y)] x
[(x y) (x y)] x, equivalencia lgica de la implicacin.
[(x y) (x y)] x, ley de De Morgan.
[(x y) (x y)] x, ley de De Morgan y ley de doble negacin.
[((x y) x) ((x y) y)] x, ley distributiva.
[((x x) (x y)) ((x y) (y y))] x, ley distributiva.
[(F (x y)) ((x y) F )] x, ley inversa.
[(x y) (x y)] x, ley de identidad.
(x y) ((x y) x), ley asociativa.
(x y) x ley de Absorcin
(x x) (y x), ley distributiva.
V (y x), ley inversa
(y x), ley de identidad.
y x, equivalencia lgica de la implicacin.
Se puede utilizar tablas de verdad, como mecanismo adicional, para verificar si el resultado obtenido en la simplificacin es correcto. Es importante tener en cuenta que la
validez del resultado de la simplificacin, depende nica y exclusivamente, del correcto
uso de las leyes de la lgica proposicional, donde, en cada paso de la simplificacin se
garantizar que se tiene una proposicin compuesta lgicamente equivalente a la proposicin compuesta original.
x
V
V
F
F
y
V
F
V
F
(x y) (x y) [(x y) (x y)] x
F
V
V
V
V
F
F
V
yx
V
V
F
V
15
Ejemplo 7:
Utilizando las leyes de la lgica proposicional simplificar la siguiente proposicin compuesta [(p q) (p q)] [(p q) (p q)].
Los pasos de la simplificacin son los siguientes:
[(p q) (p q)] [(p q) (p q)]
[(p q) (p q)] [(p q) (p q)], equivalencia lgica implicacin.
[(p q) (p q)] [(p q) (p q)], ley de De Morgan.
[(p p) q] [(p q) (p q)], ley distributiva .
[F q] [(p q) (p q)], ley inversa.
[q] [(p q) (p q)], ley de identidad.
q [ p (q p) q ], ley asociativa.
q [ p (p q) q ], ley conmutativa.
q [( p p) (q q )], ley asociativa.
q [F (q q )], ley inversa.
q F , ley de dominacin.
q, ley de identidad.
1.1.7.
Conectivo X-OR (
q
V
F
V
F
pq
F
V
V
F
Ejemplo 8:
Determinar sin utilizar tablas de verdad si la proposicin compuesta (x y) (x y)
es una tautologa.
16
Ejemplo 9:
Demostrar utilizando las leyes de la lgica proposicional, que la proposicin compuesta
(p q) (p q) es lgicamente a la proposicin compuesta p q.
La demostracin se justifica con cada uno de los siguientes pasos:
(p q) (p q) (p q) (p q), ley de De Morgan
(p q) (p q), ley de doble negacin
(p q) ((p q) (p q)), equivalencia lgica del X-OR
(p q) ((p q) (p q)), ley de De Morgan
(p q) ((p q) (p q)), ley de De Morgan
[(p q) (p q)] (p q), ley asociativa
[((p q) p) ((p q) q)] (p q), ley distributiva
[((q p) p) ((p q) q)] (p q), ley conmutativa
[(q (p p)) (p (q q))] (p q), ley asociativa
[(q F ) (p q)] (p q), Leyes inversa y de idempotencia
[F (p q)] (p q), ley de dominacin
17
1.1.8.
Conectivo NOR ()
Ejemplo 10:
Demostrar que el conectivo NOR es un conectivo completo.
Sugerencia: Para que el conectivo NOR sea un conectivo completo se debe presentar
el equivalente de los siguientes conectivos principales utilizando nicamente el
conectivo NOR:
18
Ejemplo 11:
Representar la proposicin (p q) (q r) slo con el conectivo NOR ()
Para resolver este ejercicio ms fcilmente, primero se simplificar la proposicin compuesta y luego sobre dicha simplificacin se buscar la representacin utilizando nicamente el conectivo NOR, para esto se tiene:
(p q) (q r) (p q) (q r), equivalencia lgica de la implicacin.
19
Ejemplo 12:
Demostrar utilizando las leyes de la lgica proposicional que las proposiciones compuestas (p q) (p q) y ((p p) q) ((p p) q) son lgicamente equivalentes.
Los pasos que justifican la demostracin son los siguientes:
(p q) (p q)
(p q) (p q), ley de De Morgan.
(p q) ((p q) (q p)) , equivalencia lgica doble implicacin.
(p q) ((p q) (q p)), equivalencia lgica de la implicacin.
p q, ley de absorcin.
(p q) (p q), ley de la idempotencia.
(p q) (p q), ley de la doble negacin.
(p q) (p q), ley de De Morgan.
(p q) (p q), equivalencia lgica del NOR.
20
1.1.9.
Conectivo NAND ()
Ejemplo 13:
Demostrar que el conectivo NAND es un conectivo completo.
De forma similar como se demostr que el conectivo NOR es un conectivo completo,
tambin se demuestra que el conectivo NAND es un conectivo completo, de esta forma
se debe representar los conectivos , , , y , utilizando nicamente el
conectivo NAND.
Representacin de la negacin utilizando nicamente el NAND:
p p p, ley de idempotencia
p p, equivalencia lgica de la NAND.
21
Ejemplo 14:
Representar la proposicin (p q) q utilizando slo con el conectivo NAND (), y
donde se utilice la mnima cantidad de estos.
Para utilizar la mnima cantidad de conectivos NAND, en necesario simplificar primero
la proposicin compuesta, para luego, sobre la simplificacin buscar el equivalente uti-
22
1.1.10.
Ejercicios
23
24
1.2.
25
Reglas de inferencia
Las reglas de inferencia son utilizadas en la lgica proposicional, para demostrar que
una conclusin se sigue lgicamente de un conjunto de hiptesis, al utilizar una serie
de pasos que involucran reglas de inferencia y/o leyes de la lgica proposicional.
1.2.1.
Regla de inferencia
Tautologa
Nombre
p
pq
p (p q)
Adicion
pq
p
(p q) p
Simplifacin
p
q
pq
[(p) (q)] (p q)
Conjuncin
p
pq
q
[p (p q)] q
Modus Ponens
q
pq
p
[q (p q)] p
Modus Tollens
[(p q) (q r)] (p r)
Silogismo Hipottico
[(p q) p] q
Silogismo Disyuntivo
[(p q) (p r)] (q r)
Resolucion
pq
qr
pr
pq
p
q
pq
p r
qr
26
Ejemplo 15:
El siguiente razonamiento es un ejemplo de la regla de inferencia de adicin:
Antonio es una persona joven. Por lo tanto, Antonio es una persona joven o Antonio
es una persona saludable.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : Antonio es una persona joven
q : Antonio es una persona saludable
El razonamiento puede ser reescrito ahora como la regla de inferencia de adicin:
p
pq
Ejemplo 16:
El siguiente razonamiento es un ejemplo de la regla de inferencia de simplificacin:
Antonio es una persona joven y Antonio es una persona saludable. Por lo tanto, Antonio es una persona joven.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : Antonio es una persona joven
q : Antonio es una persona saludable
El razonamiento puede ser reescrito ahora como la regla de inferencia de simplificacin:
pq
p
Ejemplo 17:
El siguiente razonamiento es un ejemplo de la regla de inferencia de conjuncin:
Rosa es elegida presidenta de la junta de accin comunal. Elena ingresa a la junta de
accin comunal. Por lo tanto, Rosa es elegida presidenta de la junta de accin comunal
y Elena ingresa a la junta de accin comunal.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : Rosa es elegida presidenta de la junta de accin comunal
q : Elena ingresa a la junta de accin comunal
27
Ejemplo 18:
El siguiente razonamiento es un ejemplo de la regla de inferencia de Modus Ponens:
Si Lina gana 100 millones de pesos en la lotera, entonces, Jos renunciar a su trabajo. Lina gan 100 millones de pesos en la lotera. Por lo tanto, Jos renunciar a su
trabajo.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : Lina gana 100 millones de pesos en la lotera
q : Jos renuncia a su trabajo
El razonamiento puede ser reescrito ahora como la regla de inferencia de Modus Ponens:
pq
p
q
Ejemplo 19:
El siguiente razonamiento es un ejemplo de la regla de inferencia de Modus Tollens:
Si Lina gana 100 millones de pesos en la lotera, entonces, Jos renunciar a su trabajo.
Se sabe que Jos no renunci a su trabajo. Por lo tanto, Lina no gan 100 millones de
pesos en la lotera.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : Lina gana 100 millones de pesos en la lotera
q : Jos renuncia a su trabajo
El razonamiento puede ser reescrito ahora como la regla de inferencia de Modus Tollens:
pq
q
p
28
Ejemplo 20:
El siguiente razonamiento es un ejemplo de la regla de inferencia de silogismo hipottico:
Si hoy es un da lluvioso, entonces no debemos tener un asado hoy. Si no debemos tener
un asado hoy, entonces debemos tener un asado maana, Por lo tanto, si hoy es un da
lluvioso, entonces debemos tener un asado maana.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : Hoy es un da lluvioso
q : No debemos tener un asado hoy
r : Debemos tener el asado maana
El razonamiento puede ser reescrito ahora como la regla de inferencia de silogismo
hipottico:
pq
qr
pr
Ejemplo 21:
El siguiente razonamiento es un ejemplo de la regla de inferencia de silogismo disyuntivo:
La billetera de Carlos est en su bolsillo o la billetera de Carlos est en la mesa. Se
sabe que la billetera de Carlos no est en su bolsillo. Por lo tanto, la billetera de Carlos
est en la mesa.
A partir del enunciado del razonamiento se obtienen las proposiciones:
p : La billetera de Carlos est en su bolsillo
q : La billetera de Carlos est en la mesa
El razonamiento puede ser reescrito ahora como la regla de inferencia de silogismo
disyuntivo:
pq
p
q
1.2.2.
29
Ejemplo 22:
Determinar si el siguiente razonamiento es vlido:
g
ge
ek
kl
lm
mb
b
En la solucin de todos los ejemplos de esta seccin, se numeran cada una de las hiptesis, para despus poder referenciar a cada una de las stas en las razones que justifican
cada uno de los resultados en los pasos. Por ejemplo, para referenciar a la hiptesis 4
se utiliza H4 . De forma similar, para referenciar el resultado del paso i del anlisis, se
utilizar Pi .
La numeracin de las hiptesis es la siguiente:
1.
2.
3.
4.
5.
6.
g
ge
ek
kl
lm
mb
b
Los pasos, resultados y razones que se necesitan para demostrar la validez del razonamiento son los siguientes:
Pasos
Resultados
Razones
1.
2.
e
k
3.
4.
5.
l
m
b
30
Ejemplo 23:
Mostrar o refutar que las hiptesis p (q r), q p y p implican la conclusin r.
El razonamiento se puede reescribir como:
1. p (q r)
2. q p
3. p
r
Los pasos y razones necesarios para obtener la conclusin a partir de las hiptesis, son:
Pasos
1.
2.
3.
Resultados
Razones
q
qr
r
Ejemplo 24:
En el siguiente razonamiento ya se han enumerado las hiptesis, determinar su validez.
1. p r
2. p q
p (r q)
La justificacin de la validez del razonamiento se apoya en los siguientes pasos, resultados y razones:
Pasos
1.
2.
3.
4.
5.
Resultados
Razones
pr
pq
(p r) (p q)
p (r q)
p (r q)
31
Utilizando las leyes de la lgica, las reglas de inferencia y las hiptesis originales, se
obtiene la conclusin del razonamiento, por lo tanto el razonamiento es vlido.
Ejemplo 25:
Determinar si el siguiente razonamiento es vlido. En el razonamiento las hiptesis ya
estn numeradas.
1.
2.
3.
4.
pq
qs
rs
pr
r
Los pasos, resultados y razones necesarios para deducir la conclusin a partir de las
hiptesis, el uso de las leyes de la lgica proposicional y del uso de las reglas de inferencia, son:
Pasos
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Resultados
Razones
(p r) (p r)
ps
rs
sr
sr
pr
pr
(p r)
pr
r
Ley de De Morgan en P7
Regla de Silogismo Disyuntivo entre P1 y P8
Regla de simplificacin en P9
Ejemplo 26:
Determinar si el siguiente razonamiento es vlido:
(p q) r
rs
(p s) t
(q s) u
ut
32
(p q) r
rs
(p s) t
(q s) u
ut
La validez del razonamiento se obtiene con los siguientes pasos, resultados y razones:
Pasos
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
Resultados
Razones
(p r) (q r)
pr
pr
ps
ps
t
qr
qr
qs
qs
u
ut
ut
Ley distributiva en H1
Regla de Simplificacin del P1
Equivalencia lgica de la implicacin del P2
Regla de Silogismo Hipottico entre P3 e H2
Equivalencia lgica de la implicacin del P4
Regla Modus Ponens entre P5 e H3
Regla de Simplificacin del P1
Equivalencia lgica de la implicacin del P7
Regla de Silogismo Hipottico entre P8 e H2
Equivalencia lgica de la implicacin del P9
Regla Modus Ponens entre P10 e H4
Regla de Adicin entre P11 y P6
Equivalencia lgica de la implicacin del P12
Ejemplo 27:
Mostrar o refutar que las hiptesis q p, p r, r s y (q s) (t s) implican la
conclusin t.
El razonamiento se puede reescribir numerando las hiptesis de la siguiente forma:
33
qp
pr
rs
(q s) (t s)
t
Pasos
1.
2.
3.
4.
5.
6.
7.
8.
Resultados
Razones
pr
p
r
s
q
qs
ts
t
Ley de De Morgan en H2
Regla de Simplificacin del P1
Regla de Simplificacin del P1
Regla Modus Ponens entre P3 e H3
Regla de Silogismo disyuntivo entre P2 e H1
Regla de Conjuncin entre P5 y P4
Regla Modus Ponens entre P6 e H4
Regla de Simplificacin del P7
Se obtiene la conclusin del razonamiento a partir del conjunto de hiptesis, y del adecuado uso tanto, de las leyes de la lgica proposicional, como de las reglas de inferencia.
Por lo tanto el razonamiento es correcto.
Ejemplo 28:
Determinar si el siguiente razonamiento es vlido:
1.
2.
3.
4.
ur
(r s) (p t)
q (u s)
t
qp
Los pasos y razones que se necesitan para demostrar la validez del razonamiento son
los siguientes:
34
Pasos
Resultados
Razones
1.
(r s) (p t)
2.
((r s) p) t
Ley asociativa en P1
3.
4.
5.
6.
7.
8.
9.
((r s) p)
(r s) p
r (s p)
r (s p)
u (s p)
u (s p)
(u s) p
10.
11.
12.
(u s) p
(u s) p
qp
1.2.3.
Ejercicios
1. Escribir cada uno de los siguientes argumentos en forma simblica, despus determine por reglas de inferencia si cada uno de stos es vlido:
a) Si Carlos va a la carrera de autos, entonces Elena se enojar. Si Rafael juega
cartas toda la noche, entonces Carmen se enojar. Si Elena o Carmen se
enojan, le avisarn a Vernica (su abogado). Vernica no ha tenido noticias
de estas dos clientes. En consecuencia, ni Carlos fue a la carrera ni Rafael
jug cartas toda la noche.
b) Si Rosa Mara obtiene el puesto de supervisor y trabaja mucho, entonces
obtendr un aumento. Si obtiene el aumento, entonces comprar un auto
nuevo. Ella no ha adquirido un auto nuevo. Por lo tanto, Rosa Mara no ha
obtenido el puesto de supervisor o no ha trabajado mucho.
c) Si la banda no pudiera tocar rock o las bebidas no llegasen a tiempo, entonces
la fiesta de Ao Nuevo tendra que cancelarse y Alicia se enojara. Si la fiesta
se cancelara, habra que devolver el dinero. No se devolvi el dinero. Por lo
tanto, la banda pudo tocar rock.
d ) Si Toms tiene 17 aos, entonces es de la misma edad de Juana. Si Jos no
tiene la misma edad de Toms, entonces Jos tiene distinta edad que Juana.
Toms tiene 17 aos y Jos tiene la misma edad que Juana. Por lo tanto, Jos
tiene la misma edad que Toms y Toms tiene la misma edad que Juana.
35
a) (q p)
(q r)
(p r)
r
b) ((p q) r)
(r s)
((p s) t)
((q s) u)
(t u)
c) r t
qr
qp
p
qut
u
d) p
pq
rq
sr
st
36
1.3.
37
Lgica de predicados
Ejemplo 29:
La expresin x > 3 se puede representar como P (x) : x > 3, donde la variable x es el
sujeto de la expresin y Es mayor que 3 es el predicado o propiedad que el sujeto de
la expresin puede tener y que es representado por P (x). La expresin P (x) tomar el
valor de verdad de la funcin proposicional P evaluada en x.
Una vez que le es asignado un valor a la variable x, la expresin P (x) se convierte
en una proposicin y tiene un valor de verdad determinado.
38
Ejemplo 30:
Sea el predicado P (x) : x > 3, donde el universo del discurso (dominio de las xs ) es el
conjunto de los nmeros naturales. Cules son los valores de verdad de P (2) y P (6)?
P (2) : 2 > 3, como es falso que 2 sea mayor que 3 entonces P (2) es Falso.
P (6) : 6 > 3, como es verdadero que 6 sea mayor que 3 entonces P (6) es Verdadero.
1.3.1.
Cuantificador universal
Ejemplo 31:
Sea el predicado V (x) : x es una vocal, donde el universo del discurso es el conjunto de
letras del alfabeto espaol. Cul es la interpretacin en palabras y el valor de verdad
de la expresin x V (x)?
Para la expresin x V (x) la interpretacin en palabras es: Toda letra del alfabeto
espaol es una vocal, cuyo valor de verdad es falso, porque las letras consonantes no
son vocales.
Ejemplo 32:
Representar la siguiente expresin en el clculo de predicados: Todo lo que brilla es
oro.
Sean los predicados B(x) : x brilla, O(x) : x es oro, donde el universo del discurso es
el conjunto de metales; de esta forma la expresin Todo lo que brilla es oro se puede
representar por: x (B(x) O(x)).
Ejemplo 33:
Representar por medio del clculo de predicados la expresin: Todo estudiante universitario en Colombia ha estudiado trigonometra.
39
Ejemplo 34:
Sea el predicado Q(x) : x < 2, donde el universo del discurso es el conjunto de los
nmeros reales. Cul es el valor de verdad de x Q(x)?
Q(x) no es verdadera para todos los nmeros reales x, por ejemplo Q(4) es falsa, por
lo tanto x Q(x) es falsa.
Cuando todos los elementos del universo del discurso pueden ser listados, por ejemplo, x1 , x2 , x3 , . . . , xn se tiene que el valor de verdad de x P (x) es el mismo que el
que se obtiene por la conjuncin P (x1 ) P (x2 ) P (x3 ) P (xn ), de este modo
x P (x) solo es verdadero si todo P (xi ) es verdadero, donde 1 i n.
Ejemplo 35:
Cul es el valor de verdad de x P (x), donde se tiene el predicado P (x) : x2 < 10 y
el universo del discurso consiste del conjunto de los nmeros entero positivos que no
sobrepasen al 4?
La expresin x P (x) toma el mismo valor de verdad que la conjuncin de las proposiciones:
P (1) P (2) P (3) P (4) (12 < 10) (22 < 10) (32 < 10) (42 < 10)
(1 < 10) (4 < 10) (9 < 10) (16 < 10)
(Vo )
Fo
(Vo )
(Vo )
(Fo )
40
1.3.2.
Cuantificador existencial
Ejemplo 36:
Sea el predicado V (x) : x es una vocal, donde el universo del discurso es el conjunto de
letras del alfabeto espaol. Cul es la interpretacin en palabras y el valor de verdad
de la expresin x V (x)?
Para la expresin x V (x) la interpretacin en palabras es: Algunas letras del alfabeto
espaol son vocales, cuyo valor de verdad es cierto.
Ejemplo 37:
Sea el predicado Q(x) : x = x + 1, Cul es el valor de verdad de x Q(x) donde el
universo del discurso es el conjunto de los nmeros reales?
Como Q(x) es falsa para todo nmero real x entonces x Q(x) es falsa.
Cuando todos los elementos del universo del discurso pueden ser listados, por ejemplo x1 , x2 , x3 , . . . , xn , se tiene que el valor de verdad de x P (x) es el mismo que el
que se obtiene por la disyuncin P (x1 ) P (x2 ) P (x3 ) P (xn ); de este modo
x P (x) es verdadero cuando al menos un solo P (xi ) es verdadero, donde 1 i n.
Ejemplo 38:
Cul es el valor de verdad de x P (x), donde se tiene el predicado P (x) : x2 > 10 y
el universo del discurso consiste del conjunto de los nmeros entero positivos que no
sobrepasen al 4?
La expresin x P (x) toma el mismo valor de verdad que la disyuncin de las proposiciones:
P (1) P (2) P (3) P (4) (12 > 10) (22 > 10) (32 > 10) (42 > 10)
(1 > 10) (4 > 10) (9 > 10) (16 > 10)
(Fo )
Vo
(Fo )
(Fo )
(Vo )
41
Ejemplo 39:
Se tienen los siguientes predicados C(x) : x tiene un computador, A(x, y) : x
y y son amigos. El universo del discurso para las variables de los predicados es el
conjunto de estudiantes de la institucin. El significado en palabras de la expresin:
x (C(x) y (C(y) A(x, y))), es: Todo estudiante de la institucin tiene computador
o es amigo de algn estudiante de la institucin que tiene computador.
Ejemplo 40:
Se tiene el siguiente predicado S(x, y) : x + y = 0, donde el universo del discurso de las
variables del predicado es el conjunto de los nmeros reales. El significado en palabras
de la expresin: x y S(x, y), es: Para cada nmero real x existe un nmero real y tal
que la suma de x y y es igual a cero.
Ejemplo 41:
Sea el predicado T (x, y): x y, donde el universo del discurso es x, y {1, 2, 3, 4, 5}.
A continuacin se presentan las interpretaciones en palabras y los valores de verdad de
algunas de las formas como se puede cuantificar el predicado T (x, y)
Para la expresin x y T (x, y) la interpretacin en palabras es: Todo nmero
entre 1 y 5 es mayor o igual a todo nmero entre 1 y 5, cuyo valor de verdad es
falso.
Para la expresin x y T (x, y) la interpretacin en palabras es: Todo nmero
entre 1 y 5 es mayor o igual a algn nmero entre 1 y 5, cuyo valor de verdad es
cierto.
Para la expresin x y T (x, y) la interpretacin en palabras es: Existe un nmero
entre 1 y 5 que es mayor o igual a todos los nmeros entre 1 y 5, cuyo valor de
verdad es cierto.
Para la expresin x y T (x, y) la interpretacin en palabras es: Existe un nmero
entre 1 y 5 que es mayor o igual a algn nmero entre 1 y 5, cuyo valor de verdad
es cierto.
Para la expresin y x T (x, y) la interpretacin en palabras es: Todo nmero
entre 1 y 5 es menor o igual a algn nmero entre 1 y 5, cuyo valor de verdad es
cierto.
Para la expresin x y T (y, x) la interpretacin en palabras es: Existe un nmero
entre 1 y 5 que es menor o igual a todo nmero entre 1 y 5, cuyo valor de verdad
es cierto.
42
1.3.3.
Variables ligadas
1.3.4.
Alcance de un cuantificador
Ejemplo 42:
Se tiene el siguiente predicado M (x, y) : x > y, donde el universo del discurso es el
conjunto de los nmeros naturales. En la expresin x M (x, y) la variable x est ligada
por el cuantificador existencial, mientras que la variable y est libre porque no est
ligada por un cuantificador y no le ha sido asignado ningn valor.
Ejemplo 43:
Sea la siguiente expresin del clculo de predicados: x [y (P (x, y) Q(x, y)) R(x)],
los diferentes alcances de los cuantificadores son presentados en la siguiente expresin:
x [y (P (x, y) Q(x, y)) R(x)]
|
{z
}
|
Alcance de y
{z
Alcance de x
Ejemplo 44:
Sean los predicados M (x, y) : x y, I(x, y) : x + y = 10, el universo del discurso de
las variables de los predicados es el conjunto de los nmeros enteros. En la siguiente
expresin del clculo de predicados x (y M (x, y) I(x, y)) todas las ocurrencias de
la variable y estn ligadas?
Segn la expresin, la variable y en el predicado I(x, y) no est ligada porque el alcance
del cuantificador existencial es nicamente el predicado M (x, y).
43
Ejemplo 45:
Sea el siguiente predicado M (x, y) : x < y, donde el universo del discurso es el conjunto de los nmeros enteros (Z). Cul es la interpretacin en palabras y el valor de
verdad de x x M (x, x)?.
La interpretacin en palabras de x x M (x, x) es: Para todo nmero entero dicho
nmero es estrictamente menor que el mismo, el valor de verdad de esta interpretacin
es falso.
El ejemplo anterior deja en evidencia un serio problema que se puede presentar en
el clculo de predicados, donde la misma variable x es cuantificada de forma diferente
bajo el alcance de la misma variable para otro cuantificador, esto siempre se debe evitar.
Ejemplo 46:
Para el predicado y el universo del discurso del ejemplo anterior, Cul es la interpretacin en palabras y el valor de verdad de y x P (x, y)?
La interpretacin en palabras de y x P (x, y) es: Existe un nmero entero que es
mayor que todos los nmeros enteros, cuyo valor de verdad es falso porque los nmeros
enteros no estn acotados superiormente.
Ejemplo 47:
Sea el predicado N (x, y) : x y, donde el universo del discurso es el conjunto de los
nmeros naturales (N). Cul es la interpretacin en palabras y el valor de verdad de
x y N (x, y)?
La interpretacin en palabras de x y N (x, y) es: Existe un nmero natural que es
menor o igual a todos los nmeros naturales, cuyo valor de verdad es cierto porque los
nmeros naturales estn acotados inferiormente, dicho nmero es el cero.
1.3.5.
Negaciones y cuantificadores
Es normal tener la negacin de una expresin cuantificada, por ejemplo la negacin de la siguiente expresin: Todo estudiante universitario colombiano ha estudiado trigonometra sera : No es el caso que cada estudiante universitario colombiano
ha estudiado trigonometra, o Hay algn estudiante universitario en Colombia que no
ha estudiado trigonometra.
Si se tiene el predicado P (x) : x ha estudiado trigonometra, donde el universo del discurso son los estudiantes universitarios colombianos, entonces x (P (x)) =
x (P (x)).
44
Ejemplo 48:
Cul es la negacin de la siguiente expresin: Hay un poltico honesto?
Sea el predicado H(x) : x es honesto, donde el universo del discurso es el conjunto de los
polticos, la expresin: Hay un poltico honesto puede ser representada por x H(x),
luego la negacin es x H(x) que significa: Ningn poltico es honesto, o que puede
tambin ser visto como: x H(x) que significa: Todo poltico es deshonesto.
Ejemplo 49:
Cul es la negacin de la siguiente expresin x (x2 x)?, donde el universo del discurso
es el conjunto de los nmeros enteros.
Primero que todo el significado en palabras de la expresin x (x2 x) es: el cuadrado
de cualquier nmero entero x es mayor o igual al nmero entero x, ahora la negacin
de la expresin es: x (x2 x) = x (x2 x) = x (x2 < x), donde el significado
en palabras de la expresin x (x2 x) es: no es cierto que el cuadrado de cualquier
nmero entero x es mayor o igual a nmero entero x. El significado en palabras de la
expresin x (x2 x) es: existe algn nmero entero x para el cual no se cumple que
el cuadrado del nmero entero x sea mayor o igual al nmero entero x. Por ltimo,
el significado en palabras de la expresin x (x2 < x) es: existe algn nmero entero x
para el cual se cumple que el cuadrado del nmero entero x es menor al nmero entero
x.
1.3.6.
Ejercicios
1. Se definen los siguientes predicados con sus smbolos. Escriba cada enunciado
simblicamente. Hacer uso de los cuantificadores adecuados.
D(x): x es un da, S(x): x es soleado, L(x): x es lluvioso
a) Todos los das son soleados
b) Algunos das son lluviosos
c) Todo da que es soleado no es lluvioso
d ) Algunos das son soleados y lluviosos
e) Ningn da es soleado y lluvioso a la vez
f ) Solo es da soleado el da lluvioso
2. Si A(x): x es un automvil, R(x): x es rpido, L(x): x es lento. Escriba cada
enunciado simblicamente. Atencin a los cuantificadores.
a) Algunos automviles son rpidos y lentos.
b) Algunos automviles son rpidos.
c) Ningn automvil es lento y rpido a la vez.
45
46
P(a,b)
F
P(b,a)
F
P(b,b)
V
47
P (x) : x es primate
A(x) : x es arbreo
R(x) : x es roedor
Escribir en palabras el significado de la siguiente expresin:
a) x(P (x) A(x)) x(R(x) A(x))
b) x(P (x) A(x)) x(( R(x)) A(x))
c) x((P (x) A(x)) R(x))
d ) x(R(x) (P (x) A(x)))
9. Sean los siguientes predicados:
O(x) : x es un organismo
M (x) : x es molusco
D(x) : x es domstico
Escribir en palabras el significado de la siguiente expresin:
a) (x(O(x) D(x))) (x(O(x) M (x))) ( x(O(x) D(x) M (x)))
b) x(M (x) O(x))
c) x(D(x) O(x))
d ) x((O(x) M (x)) D(x))
48
Captulo 2
Sucesiones y sumatorias
2.1.
Definicin: La funcin piso asigna al nmero real x el entero ms grande que sea menor
o igual a x. La funcin piso de x se denota por x.
Ejemplo 1:
1
=0
21 = 1
3,00000001 = 3
3,78 = 4
4,99999999 = 4
3,78 = 3
Definicin: La funcin techo asigna al nmero real x el entero ms pequeo que sea
mayor o igual a x. La funcin techo de x se denota por x.
Ejemplo 2:
1
=1
1
2 =0
2
2.1.1.
3,00000001 = 4
3,78 = 3
4,99999999 = 5
3,78 = 4
a) x = n si y solo si n x < n + 1
b) x = n si y solo si n 1 < x n
c) x = n si y solo si x 1 < n x
49
50
a) x = x
b) x = x
4.
a) x + n = x + n
b) x + n = x + n
Ejemplo 3:
1
2
1
n + + n + +
= n + n = 2n
| {z 2}
menor que 1
Por lo tanto 2x = x + x + 12 = 2n
Caso donde 12 :
2(n + ) = 2n +
= 2n + 1
2
|{z}
1
+
| {z 2}
n + + n +
= n + n + 1 = 2n + 1
Por lo tanto 2x = x + x + 12 = 2n + 1
2.2.
Sucesiones
2.2. SUCESIONES
51
Definicin: Una sucesin es una funcin del conjunto de los nmeros naturales o del
conjunto de los nmeros enteros positivos a un conjunto S. Se usa la notacin Sn para
denotar la imagen del nmero n en el conjunto S, de esta misma forma, Sn representa al
trmino ubicado en la posicin n de la sucesin. Se usa la notacin {Sn } para denotar
todo el rango de la funcin. Las sucesiones son descritas listando los trminos de la
sucesin en el orden como se va incrementando el subndice.
Ejemplo 4:
n
.
2n
Los elementos de la sucesin, comenzando en S1 , son:
S1 =
S2 =
S3 =
S4 =
S5 =
1
21
2
22
3
23
4
24
5
25
..
.
n
Sn = n
2
de esta forma se tiene que la lista de trminos de la sucesin es:
1 2
3
4
5
n
, 2 , 3 , 4 , 5 , ... , n
1
2 2
2
2
2
2
Ejemplo 5:
La sucesin {Sn } con Sn = 1 + 2 n es una progresin aritmtica con trmino inicial
a = 1 y diferencia comn d = 2.
Los elementos de la sucesin, comenzando en n = 0, son:
S0 = 1 + 2 0 = 1 + 0 = 1
52
=1+21=1+2=3
=1+22=1+4=5
=1+23=1+6=7
=1+24=1+8=9
..
.
Sn = 1 + 2 n
S1
S2
S3
S4
de esta forma se tiene que la lista de trminos de la sucesin es la lista de los nmeros
enteros positivos impares: 1, 3, 5, 7, 9, . . . , 1 + 2 n.
Ejemplo 6:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros seis trminos siguientes: 1, 5, 9, 13, 17 y 21.
Entre un par de trminos consecutivos de la sucesin hay una diferencia constante de
4, se tiene como primer trmino de la sucesin al nmero 1, por este motivo la sucesin
1, 5, 9, 13, 17, 21, . . ., es una progresin aritmtica con primer trmino a = 1 y
diferencia constante d = 4.
La forma como se generan los primeros seis trminos de la sucesin por medio de la
progresin aritmtica es:
a + 0 d,
1 + 0 4,
1 + 0,
1,
a + 1 d,
1 + 1 4,
1 + 4,
5,
a + 2 d,
1 + 2 4,
1 + 8,
9,
a + 3 d,
1 + 3 4,
1 + 12,
13,
a + 4 d,
1 + 4 4,
1 + 16,
17,
a+5d
1+54
1 + 20
21
Ejemplo 7:
La sucesin {Sn } con Sn = 2n
a = 1 y razn constante r = 2.
= 20
= 21
= 22
= 23
= 24
=1
=2
=4
=8
= 16
53
..
.
S n = 2n
de esta forma se tiene que la lista de trminos de la sucesin es:
1, 2, 4, 8, 16, . . . , 2n
Ejemplo 8:
La sucesin {Sn } con Sn = 2 3n
a = 2 y razn constante r = 3.
2.3.
Cuando es difcil deducir una posible frmula para generar el n-simo trminos
de una sucesin, entonces, las siguientes son algunas de las preguntas que se deben
formular:
La sucesin tiene siempre el mismo trmino?
Los trminos son obtenidos de trminos previos y la suma de alguna cantidad
o los trminos son obtenidos de una cantidad que depende de la posicin en la
sucesin?
Los trminos son obtenidos de trminos previos y la multiplicacin de alguna
cantidad o los trminos son obtenidos de una cantidad que depende de la posicin
en la sucesin?
Los trminos son obtenidos por la combinacin de trminos en una cierta forma?
Hay ciclos entre los trminos de la sucesin?
54
Ejemplo 9:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros 10 trminos siguientes: 3, 9, 15, 21, 27, 33, 39, 45, 51 y 57.
Para la sucesin de este ejemplo aplica la pregunta: Los trminos son obtenidos de
trminos previos y la suma de alguna cantidad o los trminos son obtenidos de una
cantidad que depende de la posicin en la sucesin?.
Con respecto a la primera opcin de la pregunta la siguiente frmula recursiva permite
generar el n-simo trmino de la sucesin:
S1 = 3
Sn = Sn1 + 6, para n 2.
Con respecto a la segunda opcin de la pregunta se puede determinar que el n-simo
trmino de la sucesin nicamente depende de su posicin, ya que la sucesin es una
progresin aritmtica, donde el primer trmino es a = 3 y la diferencia comn entre
dos trminos consecutivos de la sucesin es d = 6, por lo tanto la frmula que genera
el n-simo trmino de la sucesin es:
Sn = 3 + n 6, para n 0.
Ejemplo 10:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
8
primeros cinco trminos siguientes: 1, 23 , 49 , 27
y 16
81
Para la sucesin de este ejemplo aplica la pregunta: Los trminos son obtenidos de
trminos previos y la multiplicacin de alguna cantidad o los trminos son obtenidos
de una cantidad que depende de la posicin en la sucesin?.
Con respecto a la primera opcin de la pregunta la siguiente frmula recursiva permite
generar el n-simo trmino de la sucesin:
S1 = 1
Sn = 23 Sn1 , para n 2.
Con respecto a la segunda opcin de la pregunta se puede determinar que el n-simo
trmino de la sucesin nicamente depende de su posicin, ya que la sucesin es una
progresin geomtrica, donde el primer trmino es a = 1 y la razn constante entre dos
trminos consecutivos de la sucesin es r = 23 , por lo tanto la frmula que genera el
n-simo trmino de la sucesin es:
( )n ( )n
Sn = 1 23 = 23 , para n 0.
55
Ejemplo 11:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros seis trminos siguientes: 1, 3, 6, 10, 15, 21, . . .
Para la sucesin de este ejemplo aplica la pregunta: Los trminos son obtenidos de
trminos previos y la suma de alguna cantidad o los trminos son obtenidos de una
cantidad que depende de la posicin en la sucesin?.
Con respecto a la primera opcin de la pregunta la siguiente frmula recursiva permite
generar el n-simo trmino de la sucesin:
S1 = 1
Sn = Sn1 + n, para n 2.
Con respecto a la segunda opcin de la pregunta se puede determinar que el n-simo
trmino de la sucesin nicamente depende de su posicin de la siguiente forma:
Sn =
n(n+1)
,
2
para n 1.
Ejemplo 12:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros seis trminos siguientes: 1, 1, 2, 6, 24, 120, . . .
Para la sucesin de este ejemplo aplica la pregunta: Los trminos son obtenidos de
trminos previos y la multiplicacin de alguna cantidad o los trminos son obtenidos
de una cantidad que depende de la posicin en la sucesin?.
Con respecto a la primera opcin de la pregunta la siguiente frmula recursiva permite
generar el n-simo trmino de la sucesin:
S0 = 1
Sn = n Sn1 , para n 1.
Con respecto a la segunda opcin de la pregunta se puede determinar que el n-simo
trmino de la sucesin nicamente depende de su posicin de la siguiente forma:
Sn = n!, donde n 0
Ejemplo 13:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros 16 trminos siguientes: 1, 2, 2, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4 y 4.
Para la sucesin de este ejemplo aplica la segunda opcin de la pregunta: Los trminos son obtenidos de trminos previos y la suma de alguna cantidad o los trminos
son obtenidos de una cantidad que depende de la posicin en la sucesin?. Se puede
56
Ejemplo 14:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros 15 trminos siguientes: 1, 1, 1, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3 y 3.
Para la sucesin de este ejemplo aplica la segunda opcin de la pregunta: Los trminos son obtenidos de trminos previos y la suma de alguna cantidad o los trminos
son obtenidos de una cantidad que depende de la posicin en la sucesin?. Se puede
determinar que el n-simo trmino de la sucesin nicamente depende de su posicin
de la siguiente forma:
Sn =
n , para n 1.
Ejemplo 15:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros 10 trminos siguientes: 2, 7, 24, 77, 238, 723, 2180, 6553, 19674 y 59039.
Para la sucesin de este ejemplo aplica la pregunta: Los trminos son obtenidos por
la combinacin de trminos en una cierta forma?.
El n-simo trmino de la sucesin depende del resultado de una potencia de 3 menos
una cantidad especifica con respecto a la posicin del trmino en la sucesin. La frmula
es la siguiente:
Sn = 3n n, para n 1.
Ejemplo 16:
Encontrar una frmula para generar el n-simo trmino de la sucesin que tiene los
primeros nueve trminos siguientes: 0, 1, 1, 0, 1, 1, 0, 1, 1, . . .
Para la sucesin de este ejemplo aplica la pregunta: Hay ciclos entre los trminos de
la sucesin?.
De forma cclica los elementos 0, 1 y 1 se siguen presentado en la sucesin. Una
frmula que garantiza la generacin cclica de los trminos es la siguiente:
S0 = 0
S1 = 1
S2 = 1
Sn = S(n
mod 3) ,
para n 3.
2.4. SUMATORIAS
57
2.4.
Sumatorias
Si
i=m
Ejemplo 17:
La suma de los primeros 50 trminos de la sucesin {Sn } donde el n-simo trmino de
la sucesin est definido por Sn = 2nn puede ser representada por medio de sumatorias
como:
50
i
1
2
3
4
50
= 1 + 2 + 3 + 4 + + 50
i
2
2
2
2
2
2
i=1
Ejemplo 18:
Cul es el resultado que se obtiene de
i?
i=1
8
El resultado es el siguiente:
i = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 = 36.
i=1
Teorema:
n
i = 1 + 2 + 3 + + n =
i=1
n(n + 1)
, para n Z+ .
2
Demostracin:
Sea S = 1 + 2 + 3 + + n, como el orden de los sumandos no altera el resultado
entonces S = n + (n 1) + (n 2) + + 1
S=
S=
1
n
+
2
+
3
+ +
+ (n 1) + (n 2) + +
n
1
2S = (n + 1) + (n + 1) + (n + 1) + + (n + 1)
|
{z
}
n veces
58
2S = n(n + 1)
S=
n(n + 1)
2
n(n+1)
,
2
para n Z+ .
Ejemplo 19:
Obtener una frmula que sea la solucin de la siguiente suma de trminos:
2 + 4 + 6 + 8 + + 2 n, para n Z+ .
2 + 4 + 6 + 8 + + 2 n = 2 1 + 2 2 + 2 3 + 2 4 + + 2 n
= 2 (1 + 2 + 3 + 4 + + n)
( n )
=2
i
(
=2
i=1
n(n + 1)
2
= n(n + 1)
Por lo tanto
2 i = 2 + 4 + 6 + 8 + + 2 n = n(n + 1)
i=1
Ejemplo 20:
Obtener una frmula que sea la solucin de la siguiente suma de trminos:
1 + 3 + 5 + 7 + + 2n 1, para n Z+ .
1 + 3 + 5 + + 2 n 1 = 2 1 1 + 2 2 1 + 2 3 1 + + 2 n 1
= (2 1 + 2 2 + 2 3 + + 2 n) (1| + 1 + 1{z+ + 1})
n veces
= 2 (1 + 2 + 3 + 4 + + n) n
( n )
= 2
i n
(
= 2
i=1
n(n + 1)
2
= n(n + 1) n
= n2 + n n
2.4. SUMATORIAS
59
= n2
Por lo tanto
(2 i 1) = 1 + 3 + 5 + + 2 n 1 = n2 .
i=1
(2n)
(2n)
+
(2n)
{z
+ + (2n)
n veces
2S = n(2n)
S = n2
Como S es igual a 1 + 3 + 5 + + 2n 1 entonces 1 + 3 + 5 + + 2n 1 = n2 , para
n Z+ .
Teorema:
Si a y r son nmeros reales con r = 0, entonces:
a (n + 1)
si r = 1
a ri =
n+1
i=0
a r
si r = 1
r1
Demostracin:
Se debe demostrar cada uno de los dos casos del teorema de forma independiente, si los
dos casos se cumplen entonces queda demostrada la validez del teorema
Caso donde r = 1
n
i=0
a 1i =
i=0
a1=
i=0
a=a
{za + + a} = a (n + 1).
|+a+a+
n+1 veces
60
a rn+1
S (1 r) = a a rn+1
S=
a a rn+1
1r
S=
1 a a rn+1
1
1r
S=
a + a rn+1
1 + r
S=
a rn+1 a
r1
Ejemplo 21:
Obtener una frmula que sea la solucin de la siguiente suma de trminos:
n
i 2i = 1 21 + 2 22 + 3 23 + 4 24 + + n 2n , para n Z+ .
i=1
Los trminos que se estn sumando no pertenecen originalmente a una serie geomtrica,
pero se puede hacer un manejo de los trminos para que la solucin de la sumatoria de
trminos de la serie geomtrica pueda ser utilizada. El manejo es el siguiente:
n
i=1
i 2i = 1 21 + 2 22 + 3 23 + 4 24 + + n 2n
2.4. SUMATORIAS
61
n
= (21 ) + (22 + 22 ) + (23 + 23 + 23 ) + + (2| n + 2n + 2{z
+ + 2n})
n veces
2i +
i=1
(
=
i=2
2
i
i=0
=n
2i +
)
i
i=3
i=0
(
2
i
i=0
= n (2n+1
2 + +
i=0
= n (2
)
i
(
+ +
i=0
(
n+1
n1
i=0
)
2
2
i
n1
)
2
i=0
i=0
)
(21 1) + (22 1) + (23 1) + + (2n 1)
(
)
1) (21 + 22 + 23 + + 2n ) n
(
)
1) n + (21 + 22 + 23 + + 2n )
(
( n ))
i
1)
n +
2
= n (2n+1 1)
= n (2n+1
2 +
i=0
= n (2n+1
2i
i=n
i=0
i
2i + +
1)
= n (2n+1 1)
(
n +
n +
i=1
n
2
i
i=0
))
i
i=0
(2n+1 1) 1
))
= n (2n+1 1) (n + 2n+1 2)
= n 2n+1 n + n 2n+1 + 2
= n 2n+1 2n+1 + 2
= (n 1) 2n+1 + 2
n
Por lo tanto
i 2i = (n 1) 2n+1 + 2.
i=1
2.4.1.
i=1
n
i=1
i=
n
(n + 1), para n Z+ .
2
i2 =
n(n + 1)(2n + 1)
, para n Z+ .
6
62
i3 =
n2 (n + 1)2
, para n Z+ .
4
i4 =
i=1
n
i=1
n
a ri =
i=0
arn+1 a
, donde r = 0, r = 1 y n N.
r1
Si | r| < 1 y r = 0, entonces
a ri =
i=0
n
a
, para i N.
1r
i 2i = (n 1)2n+1 + 2, para n Z+ .
i=1
n
i=1
2.5.
i
2i
=2
n+2
, para n Z+ .
2n
Ejercicios
v
u
)3
(
u
39652
2,7
1,3 t
mod 3
, 2(n1)
mod 3
)) mod 2, para n Z+ .
b) S(0) = 1
S(n) = S(n 1) + (M in(2n
mod 4
, 2(n1)
mod 4
)) mod 2, para n Z+ .
c) S(0) = 1
S(n) = S(n 1) + (M in(2n
mod 5
, 2(n1)
mod 5
)) mod 2, para n Z+ .
d ) S(0) = 1
S(n) = S(n 1) + (M in(3n
mod 5
, 3(n1)
mod 5
)) mod 3, para n Z+ .
4. Encontrar una frmula para generar el n-simo trmino de cada una de las sucesin
que tienen los primeros trminos:
2.5. EJERCICIOS
63
3
2
14
4
16
+ 3 41
+ . . . + n (n2 45 ), donde n
5
5
45
+ 124
+ . . . + (2n 2nn ), donde n Z+ .
8
16
+
Z+ .
64
Captulo 3
Tcnicas de demostracin
3.1.
La tcnica de demostracin directa es tradicionalmente la ms utilizada en matemticas, en sta tcnica se parte de la hiptesis (H) para llegar a la conclusin (C), H C.
Definicin: El nmero entero n es par si existe un nmero entero k tal que n = 2k y
n es un nmero entero impar si existe un nmero entero k tal que n = 2k + 1.
Ejemplo 1:
Utilizando la tcnica de demostracin directa, demostrar que si n es un nmero entero
impar, entonces n2 es un nmero entero impar.
En la tcnica de demostracin directa para este ejemplo se tiene que la hiptesis es: n
es un nmero entero impar y que la conclusin es: n2 es un nmero entero impar.
Para demostrar que Hip
otesis Conclusi
on, entonces se considera que la hiptesis es
verdadera y se termina demostrando que la conclusin tambin es verdadera.
Si n es un nmero entero impar entonces, n = 2k + 1 , donde k Z. Por lo tanto se
tiene que:
n2 = (2k + 1)2
= 4k 2 + 4k + 1
= 2(2k 2 + 2k) + 1
= 2t + 1, donde t = 2k 2 + 2k y t Z
Por tanto como n2 es de la forma 2t + 1 la cual es la representacin de un nmero entero
impar, por lo tanto, se ha demostrado de forma directa que: si n es un nmero entero
65
66
Ejemplo 2:
Demostrar que la suma de n enteros positivos consecutivos cualesquiera es divisible por
n solo cuando n es un nmero entero impar positivo.
Sea m un nmero entero positivo (m Z+ ), m es el primer nmero de la secuencia de
n nmeros enteros consecutivos que se van a tomar, de esta forma se tiene:
m + (m + 1) + (m + 2) + + (m + (n 1))
|
{z
}
n enteros positivos consecutivos
= (m + m + m + + m) + (0 + 1 + 2 + + (n 1))
{z
}
|
n veces
= n(m) + (1 + 2 + + (n 1))
(n 1)(n)
= n(m) +
2
[
]
n1
=n m+
2
n1
2
Ahora para que n x sea divisible por n se necesita que x sea un nmero entero, esto
se logra siempre y cuando el nmero n sea un entero impar porque al restarle el uno
se obtiene un nmero par que al dividirlo por dos genera un nmero entero, la suma
del entero m con el entero que es el resultado de la fraccin genera como resultado un
nmero entero. De esta forma queda demostrado que la suma de n enteros positivos
consecutivos cualesquiera es divisible por n solo cuando n es un nmero entero impar
positivo.
= n x, donde x = m +
Ejemplo 3:
Demostrar utilizando la tcnica de demostracin directa que la suma de dos nmeros
racionales es un nmero racional.
1
2
67
p
t
y s = , donde p, t Z y
q
u
3.2.
3.2.1.
68
Ejemplo 4:
Demostrar utilizando la tcnica de demostracin por contra-recproca que si el producto
de dos nmeros enteros es par entonces uno por lo menos de los dos nmeros enteros
es par.
La representacin del resultado en la forma H C es la siguiente:
Si m n es par, entonces m es par o n es par.
La representacin del resultado en la forma C H es la siguiente:
Si m es impar y n es impar, entonces m n es impar.
Como m y n son nmeros enteros impares entonces tienen la representacin m = 2t + 1
y n = 2s + 1 para nmeros enteros t y s, por lo tanto:
m n = (2t + 1) (2s + 1)
= 4ts + 2t + 2s + 1
= 2(2ts + t + s) + 1
= 2r + 1, donde r = 2ts + t + s
de esta forma queda demostrado que m n es un nmero entero impar. Al demostrar la
validez de C H tambin queda demostrada la validez de H C, por lo tanto es
cierto que si el producto de dos nmeros enteros es par entonces uno por lo menos de
los dos nmeros enteros es par.
Ejemplo 5:
Demostrar utilizando la tcnica de demostracin por contra-recproca que si 3n + 2 es
un nmero entero impar, entonces n es un nmero entero impar.
La representacin del resultado en la forma H C es la siguiente:
Si 3n + 2 es un nmero entero impar, entonces n es un nmero entero impar.
La representacin del resultado en la forma C H es la siguiente:
Si n es un nmero entero par, entonces 3n + 2 es un nmero entero par.
69
3.2.2.
Ejemplo 6:
Demostrar utilizando la tcnica de demostracin por contradiccin que si 3n + 2 es un
nmero entero impar, entonces n es un nmero entero impar.
La representacin del resultado en la forma H C es la siguiente:
Si 3n + 2 es un nmero entero impar, entonces n es un nmero entero impar.
70
Ejemplo 7:
Determinar si el siguiente razonamiento es valido:
1.
2.
3.
4.
(p q) r
rs
(p s) t
(q s) u
ut
(p q) r
rs
(p s) t
(q s) u
5. u t
Fo
Pasos
Razones
1.
2.
(p r) (q r)
pr
Equivalencia Lgica H1
Ley de simplificacin del P1
3.
4.
5.
6.
7.
8.
9.
10.
ut
ut
t
rs
ps
t
tt
Fo
Equivalencia Lgica H5
Equivalencia Lgica P3
Ley de simplificacin del P4
Equivalencia Lgica H2
Ley de resolucin entre P2 y P6
Ley Modus Ponens entre P7 e H3
Ley de conjuncin entre P5 y P8
Equivalencia Lgica P9
71
Como se obtiene una contradiccin (Fo ) entonces queda demostrada la validez del razonamiento original por medio del uso de la tcnica de demostracin por contradiccin.
Ejemplo 8:
Determinar si el siguiente razonamiento es valido:
1.
2.
3.
4.
ur
(r s) (p t)
q (u s)
t
qp
ur
(r s) (p t)
q (u s)
t
qp
Fo
72
Pasos
Razones
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
qp
qp
q
p
pt
pt
us
rs
rs
ur
us
us
Equivalenca Lgica H5
Equivalenca Lgica P1
Ley de Simplificacin P2
Ley de Simplificacin P2
Ley de Conjuncin entre P4 e H4
Equivalenca Lgica P5
Ley Modus Ponens entre P3 e H3
Ley Modus Tollens entre P6 e H2
Equivalenca Lgica P8
Equivalenca Lgica H1
Ley de Resolucin entre P10 y P9
Equivalenca Lgica P11
13.
14.
(u s) (u s)
Fo
Como se obtiene una contradiccin (Fo ) entonces queda demostrada la validez del razonamiento original por medio del uso de la tcnica de demostracin por contradiccin.
3.3.
73
Ejemplo 9:
Probar o refutar utilizando el mtodo de demostracin por disyuncin de casos que
n(n2 + 5) es divisible por 6, para n N.
Cualquier nmero natural n est en alguno de los siguientes seis casos, donde k N:
caso 1: n = 6k, el nmero n es un mltiplo de seis.
caso 2: n = 6k + 1, el nmero n es un mltiplo de seis ms uno.
caso 3: n = 6k + 2, el nmero n es un mltiplo de seis ms dos.
caso 4: n = 6k + 3, el nmero n es un mltiplo de seis ms tres.
caso 5: n = 6k + 4, el nmero n es un mltiplo de seis ms cuatro.
caso 6: n = 6k + 5, el nmero n es un mltiplo de seis ms cinco.
Ahora se tienen que demostrar cada uno de los seis casos, para lo cual se tiene:
caso 1: n = 6k:
n(n2 + 5) = 6k((6k)2 + 5)
= 6k(36k 2 + 5)
= 6(36k 3 + 5k)
= 6z, donde z = 36k 3 + 5k y z N.
Se cumple el caso 1, porque cualquier nmero que es mltiplo de 6 tambin es
divisible por 6.
caso 2: n = 6k + 1 :
n(n2 + 5) = (6k + 1)((6k + 1)2 + 5)
= (6k + 1)(36k 2 + 12k + 1 + 5)
= (6k + 1)(36k 2 + 12k + 6)
= (6k + 1) 6 (6k 2 + 2k + 1)
= 6 (6k + 1)(6k 2 + 2k + 1)
= 6z donde z = (6k + 1)(6k 2 + 2k + 1) y z N.
Se cumple el caso 2, porque cualquier nmero que es mltiplo de 6 tambin es
divisible por 6.
74
caso 3: n = 6k + 2:
n(n2 + 5) = (6k + 2)((6k + 2)2 + 5)
= (6k + 2)(36k 2 + 24k + 4 + 5)
= (6k + 2)(36k 2 + 24k + 9)
= 2 (3k + 1) 3 (12k 2 + 8k + 3)
= 2 3 (3k + 1)(12k 2 + 8k + 3)
= 6 (3k + 1)(12k 2 + 8k + 3)
= 6z, donde z = (3k + 1)(12k 2 + 8k + 3) y z N.
Se cumple el caso 3, porque cualquier nmero que es mltiplo de 6 tambin es
divisible por 6.
caso 4: n = 6k + 3 :
n(n2 + 5) = (6k + 3)((6k + 3)2 + 5)
= (6k + 3)(36k 2 + 36k + 9 + 5)
= (6k + 3)(36k 2 + 36k + 14)
= 3 (2k + 1) 2 (18k 2 + 18k + 7)
= 3 2 (2k + 1)(18k 2 + 18k + 7)
= 6 (2k + 1)(18k 2 + 18k + 7)
= 6z, donde z = (2k + 1)(18k 2 + 18k + 7) y z N.
Se cumple el caso 4, porque cualquier nmero que es mltiplo de 6 tambin es
divisible por 6.
caso 5: n = 6k + 4
n(n2 + 5) = (6k + 4)((6k + 4)2 + 5)
= (6k + 4)(36k 2 + 48k + 16 + 5)
= (6k + 4)(36k 2 + 48k + 21)
= 2 (3k + 2) 3 (12k 2 + 16k + 7)
= 2 3 (3k + 2)(12k 2 + 16k + 7)
= 6 (3k + 2)(12k 2 + 16k + 7)
= 6z, donde z = (3k + 2)(12k 2 + 16k + 7) y z N.
Se cumple el caso 5, porque cualquier nmero que es mltiplo de 6 tambin es
75
divisible por 6.
caso 6: n = 6k + 5:
n(n2 + 5) = (6k + 5)((6k + 5)2 + 5)
= (6k + 5)(36k 2 + 60k + 25 + 5)
= (6k + 5)(36k 2 + 60k + 30)
= (6k + 5) 6 (6k 2 + 10k + 5)
= 6 (6k + 5)(6k 2 + 10k + 5)
= 6z, donde z = (6k + 5)(6k 2 + 10k + 5) y z N.
Se cumple el caso 6, porque cualquier nmero que es mltiplo de 6 tambin es
divisible por 6.
Como se cumplen todos los seis casos entonces queda demostrado utilizando la tcnica
de demostracin por disyuncin de casos que n(n2 + 5) es divisible por 6, para n N.
Ejemplo 10:
Probar o refutar que el cuadrado de todo nmero natural, es un mltiplo de 5, difiere
de un mltiplo de 5 en 1.
Cualquier nmero natural n est en alguno de los siguientes cinco casos, donde m N:
caso 1: n = 5m, el nmero n es un mltiplo de cinco.
caso 2: n = 5m + 1, el nmero n es un mltiplo de cinco ms uno.
caso 3: n = 5m + 2, el nmero n es un mltiplo de cinco ms dos.
caso 4: n = 5m + 3, el nmero n es un mltiplo de cinco ms tres.
caso 5: n = 5m + 4, el nmero n es un mltiplo de cinco ms cuatro.
Ahora se tienen que demostrar cada uno de los cinco casos, para lo cual se tiene:
caso 1: n = 5m:
n2 = (5m)2
= 52 m2
= 5(5m2 )
= 5 z, donde z = 5m2 y z N.
Se cumple el caso 1, porque el nmero que se obtiene es un mltiplo de cinco.
76
caso 3: n = 5m + 2:
n2 = (5m + 2)2
= 52 m2 + 2 5 2m + 4
= 52 m2 + 5 4m + 5 1
= 5(5m2 + 4m + 1) 1
= 5z 1, donde z = 5m2 + 4m + 1 y z N.
Se cumple el caso 3, porque el nmero que se obtiene es un mltiplo de cinco
menos uno.
caso 4: n = 5m + 3:
n2 = (5m + 3)2
= 52 m2 + 2 5 3m + 9
= 52 m2 + 5 2 3m + 10 1
= 5(5m2 + 6m + 2) 1
= 5z 1, donde z = 5m2 + 6m + 2 y z N.
Se cumple el caso 4, porque el nmero que se obtiene es un mltiplo de cinco
menos uno.
caso 5: n = 5m + 4:
n2 = (5m + 4)2
= 52 m2 + 2 5 4m + 16
= 52 m2 + 5 2 4m + 15 + 1
= 5(5m2 + 8m + 3) + 1
77
= 5z + 1, donde z = 5m2 + 8m + 3 y z N.
Se cumple el caso 5, porque el nmero que se obtiene es un mltiplo de cinco ms
uno.
Como se cumplen todos los cinco casos entonces queda demostrado utilizando la tcnica
de demostracin por disyuncin de casos que el cuadrado de todo nmero natural, es
un mltiplo de 5, difiere de un mltiplo de 5 en 1.
Ejemplo 11:
Probar o refutar que n2 1 es divisible por 8 para los nmeros enteros impares.
Cualquier nmero entero n est en alguno de los siguientes ocho casos, donde k Z:
caso 1: n = 8k, el nmero n es un mltiplo de ocho.
caso 2: n = 8k + 1, el nmero n es un mltiplo de ocho ms uno.
caso 3: n = 8k + 2, el nmero n es un mltiplo de ocho ms dos.
caso 4: n = 8k + 3, el nmero n es un mltiplo de ocho ms tres.
caso 5: n = 8k + 4, el nmero n es un mltiplo de ocho ms cuatro.
caso 6: n = 8k + 5, el nmero n es un mltiplo de ocho ms cinco.
caso 7: n = 8k + 6, el nmero n es un mltiplo de ocho ms seis.
caso 8: n = 8k + 7, el nmero n es un mltiplo de ocho ms siete.
En el anlisis slo se consideraran los casos 2, 4, 6 y 8 porque estos son los que representan a los nmeros enteros impares. Para la demostracin de estos cuatro casos se
tiene:
caso 2: n = 8k + 1:
n2 1 = (8k + 1)2 1
= 64k 2 + 16k + 1 1
= 8(8k 2 + 2k)
= 8z, donde z = 8k 2 + 2k y z N
Se cumple el caso 2, porque cualquier nmero que es mltiplo de 8 tambin es
divisible por 8.
78
caso 4: n = 8k + 3:
n2 1 = (8k + 3)2 1
= 64k 2 + 48k + 9 1
= 64k 2 + 48k + 8
= 8(8k 2 + 6k + 1)
= 8z, donde z = 8k 2 + 6k + 1 y z N
Se cumple el caso 4, porque cualquier nmero que es mltiplo de 8 tambin es
divisible por 8.
caso 6: n = 8k + 5:
n2 1 = (8k + 5)2 1
= 64k 2 + 80k + 25 1
= 64k 2 + 80k + 24
= 8(8k 2 + 10k + 3)
= 8z, donde z = 8k 2 + 10k + 3 y z N
Se cumple el caso 6, porque cualquier nmero que es mltiplo de 8 tambin es
divisible por 8.
caso 8: n = 8k + 7:
n2 1 = (8k + 7)2 1
= 64k 2 + 8(14)k + 49 1
= 64k 2 + 8(14)k + 48
= 8(8k 2 + 14k + 6)
= 8z, donde z = 8k 2 + 14k + 6 y z N
Se cumple el caso 8, porque cualquier nmero que es mltiplo de 8 tambin es
divisible por 8.
Como se cumplen todos los cuatro casos que representan nmeros enteros impares,
entonces queda demostrado utilizando la tcnica de demostracin por disyuncin de
casos que n2 1 es divisible por 8 para todo n que es un nmero entero impar.
3.4.
79
Ejemplo 12:
Demostrar o refutar si el siguiente razonamiento es valido:
1. p (q r)
2. q (p r)
(p q) r
Para este ejemplo primero que todo se va a tratar de determinar la validez del razonamiento por medio de la tcnica de demostracin directa al hacer uso de las dos
hiptesis, de equivalencias lgicas y de reglas de inferencia para llegar a la conclusin,
de esta forma se tiene:
1.
2.
3.
4.
5.
Pasos
Razones
p (q r)
q (p r)
q (p r)
(q (p r)) (q (p r))
q (p r)
Equivalencia Lgica de H1
Equivalencia Lgica del P1
Equivalencia Lgica del P2
Ley de conjuncin entre P3 e H2
Equivalencia Lgica del P4
No se llego a la conclusin, esto indica que posiblemente el razonamiento no es correcto, como se intuye que el razonamiento no es vlido entonces se va a buscar una asignacin de valores de verdad para las variables proposicionales que hagan que todas las
hiptesis sean verdaderas y la conclusin sea falsa, para esto se debe tener en cuenta
que el razonamiento puede ser representado de forma equivalente por la expresin:
[(p (q r)) (q (p r))] [(p q) r]
donde si todas las hiptesis son verdaderas entonces el antecedente de la implicacin
sera verdadero y si la conclusin es falsa entonces el consecuente de la implicacin sera
falso los que llevara a que la implicacin fuera falsa, o dicho de forma equivalente, lo
que hara que el razonamiento sea falso. En la exploracin de la posible asignacin de
valores de verdad para las variables proposicionales que hagan que el razonamiento sea
falso se tiene:
80
en consecuencia, la asignacin de los valores p : Vo , q : Fo , r : Fo , hacen que el razonamiento sea falso, por lo tanto dicha asignacin de valores son un contraejemplo de la
validez del razonamiento.
Ejemplo 13:
Es posible probar que
)
( )
2n
n
=2
+ n2 , para n Z+ donde n 2?.
n
2
81
[
]
4!
2!
= 2
+4
2! 2!
0! 2!
[
]
4 3 2!
2!
= 2
+ 4
2! 2!
0! 2!
[ ]
43
1
= 2
+ 4
2!
0!
[ ]
43
1
= 2
+ 4
2
1
6 = 2+4
6 = 6
La frmula se cumple para n = 2
Evaluacin de la frmula en n = 3:
(
)
( )
2(3)
3
= 2
+ 32
3
2
( )
( )
3
6
+ 32
= 2
2
3
[
]
6!
3!
= 2
+ 9
(6 3)! 3!
(3 2)! 2!
[
]
3!
6!
= 2
+9
3! 3!
1! 2!
[
]
3 2!
6 5 4 3!
= 2
+ 9
3! 3!
1! 2!
[ ]
654
3
= 2
+ 9
3!
1!
[ ]
654
3
= 2
+ 9
6
1
[ ]
54
= 2 3 + 9
1
20 = 6 + 9
20 = 15
La frmula no se cumple para n = 3.
Como se encontrn un valor de n para el cual no se cumple la frmula, entonces queda
demostrado por contra ejemplo que la frmula es falsa.
82
3.5.
Ejemplo 14:
Probar o refutar utilizando la tcnica de demostracin por induccin matemtica que:
n
i = 1 + 2 + 3 + ... + n =
i=1
n(n + 1)
, para n Z+
2
i=1
i = 1 + 2 + 3 + ... + n =
n(n + 1)
, donde n Z+
2
Recordar que una proposicin slo puede tomar de forma precisa el valor verdadero
(Vo ) o el valor falso (Fo ), nada ms. Ahora se consideran los tres pasos de la tcnica
por induccin matemtica:
83
Paso base n = 1:
1
p(1) =
i=1
1(1 + 1)
=1
| 2 {z
}
|i=1 {z }
resultado a partir de la sumatoria de t
erminos
Paso inductivo n = k:
k
k(k + 1)
i = 1 + 2 + 3 + ... + k =
p(k) =
, se asume que la proposicin p(k)
2
i=1
es verdadera, esto quiere decir, que se asume que se cumple la siguiente igualdad
k(k + 1)
1 + 2 + 3 + ... + k =
.
2
Paso post-inductivo n = k + 1:
p(k + 1) =
k+1
i=1
i = |1 + 2 + 3{z+ . . . + k} +(k + 1) =
(k + 1)(k + 2)
2
k(k + 1)
(k + 1)(k + 2)
+ (k + 1) =
2
2
[k
] (k + 1)(k + 2)
(k + 1) + 1 =
2
2
[ k + 2 ] (k + 1)(k + 2)
=
(k + 1)
2
2
(k + 1)(k + 2)
(k + 1)(k + 2)
=
2
2
Se cumple la igualdad, por lo tanto la proposicin p(k + 1) es verdadera, como
se cumplen los tres pasos de tcnica de demostracin por induccin matemtica
entonces queda demostrada la validez de la solucin de la sumatoria originalmente
planteada.
Ejemplo 15:
Probar o refutar utilizando la tcnica de demostracin por induccin matemtica que:
n
i=1
i2 = 12 + 22 + 32 + . . . + n2 =
n(n + 1)(2n + 1)
, para n Z+
6
84
i2 = 12 + 22 + 32 + . . . + n2 =
i=1
n(n + 1)(2n + 1)
, donde n Z+
6
n(n + 1)(2n + 1)
cumple o no la igualdad
i2 =
. Ahora se consideran los tres pasos
6
i=1
de la tcnica por induccin matemtica:
Paso base n = 1:
1
p(1) =
|i=1
i2 = 12 = 1
{z
1(1 + 1)(2(1) + 1)
1(2)(3)
=
=1
6
6
|
{z
}
resultado a partir de la f ormula
Paso inductivo n = k:
k
k(k + 1)(2k + 1)
i2 = 12 + 22 + 32 + . . . + k 2 =
p(k) =
, se asume que la proposi6
i=1
cin p(k) es verdadera, esto quiere decir, que se asume que se cumple la siguiente
k(k + 1)(2k + 1)
.
igualdad 12 + 22 + 32 + . . . + k 2 =
6
Paso post-inductivo n = k + 1:
p(k+1) =
k+1
2
i2 = 1| 2 + 22 + 3{z
+ . . . + k}2 +(k+1)2 =
i=1
(k + 1)(k + 1 + 1)(2(k + 1) + 1)
6
k(k + 1)(2k + 1)
(k + 1)(k + 2)(2k + 2 + 1)
+ (k + 1)2 =
6
6
[
]
k(2k + 1)
(k + 1)(k + 2)(2k + 3)
(k + 1)
+ (k + 1) =
6
6
]
[
(k + 1)(k + 2)(2k + 3)
k(2k + 1) + 6(k + 1)
=
(k + 1)
6
6
[ 2
]
2k + k + 6k + 6
(k + 1)(k + 2)(2k + 3)
(k + 1)
=
6
6
[ 2
]
2k + 7k + 6
(k + 1)(k + 2)(2k + 3)
(k + 1)
=
6
6
85
b b2 4ac
k=
2a
en la ecuacin cuadrtica que estamos trabajando se tiene que a = 2, b = 7 y
c = 6, al reemplazar en la frmula se tiene:
72 (4)(2)(6)
7 49 48
7 1
7 1
k=
=
=
=
22
4
4
4
de donde se obtienen las races reales distintas
7
7 1
8
= = 2,
4
4
6
3
7 + 1
k=
= = ,
4
4
2
k=
k = 2,
k=
k+2=0
3
,
2
2k + 3 = 0
Ejemplo 16:
Demostrar utilizando la tcnica de induccin matemtica que:
n
(
3
i = 1 + 2 + 3 + ... + n =
i=1
n(n + 1)
2
)2
, para n Z+
i=1
(
3
i = 1 + 2 + 3 + ... + n =
n(n + 1)
2
)2
, para n Z+
86
n(n + 1)
3
cumple o no la igualdad
i =
. Ahora se consideran los tres pasos de la
2
i=1
tcnica por induccin matemtica:
Paso base n = 1:
1
p(1) =
(
3
i =1 =1
|i=1
{z
=
|
1(1 + 1)
2
)2
1(2)
=
2
{z
)2
= 12 = 1
}
Paso inductivo n = k:
)2
k(k + 1)
p(k) =
i = 1 + 2 + 3 + ... + k =
, se asume que la proposi2
i=1
cin p(k) es verdadera, esto quiere decir, que se asume que se cumple la siguiente
(
)2
k(k
+
1)
igualdad 13 + 23 + 33 + . . . + k 3 =
.
2
k
Paso post-inductivo n = k + 1:
p(k + 1) =
k+1
i=1
(
3
i = |1 + 2 + 3{z + . . . + k} +(k + 1) =
(k + 1)(k + 1 + 1)
2
k(k + 1)
2
)2
(
3
+ (k + 1) =
(k + 1)(k + 2)
2
)2
(
)2
k 2 (k + 1)2
(k + 1)(k + 2)
3
+ (k + 1) =
4
2
[ 2
] (
)2
4(k + 1)
(k + 1)(k + 2)
2 k
(k + 1)
+
=
4
4
2
] (
)2
[ 2
(k + 1)(k + 2)
2 k + 4k + 4
=
(k + 1)
4
2
[
]
(
)2
2
(k + 1)(k + 2)
2 (k + 2)
(k + 1)
=
22
2
(
)2
(k + 1)(k + 2)
(k + 1)2 (k + 2)2
=
22
2
)2
(k + 1)(k + 2)
2
)2
(
=
(k + 1)(k + 2)
2
87
)2
Ejemplo 17:
Demostrar utilizando la tcnica de induccin matemtica que:
n
i
1
2
3
n
n+2
= 1 + 2 + 3 + . . . + n = 2 n , para n Z+
i
2
2
2
2
2
2
i=1
1
2
3
n
n+2
i
= 1 + 2 + 3 + . . . + n = 2 n , para n Z+
p(n) =
i
2
2
2
2
2
2
i=1
i
cumple o no la igualdad
= 2 n+2
. Ahora se consideran los tres pasos de la
2i
2n
i=1
i
1
1
=
=
2i
21
2
{z
}
|i=1
p(1) =
1+2
3
4 3
1
=2 1 =2 =
=
2
2
2}
{z2
|
resultado a partir de la f ormula
Paso inductivo n = k:
k
i
p(k) =
= 211 + 222 + 233 + . . . + 2kk = 2 k+2
, se asume que la proposicin p(k)
2i
2k
i=1
es verdadera, esto quiere decir, que se supone que se cumple la siguiente igualdad
1
+ 222 + 233 + . . . + 2kk = 2 k+2
.
21
2k
88
Paso post-inductivo n = k + 1:
p(k + 1) =
k+1
i
1
2
3
k
k+1+2
k+1
=
+
+
+
.
.
.
+
+
=
2
3
2i |2 22 2{z
2k}
2k+1
2k+1
i=1
Se reemplaza por su equivalente
en el paso inductivo
k+3
k+2 k+1
+
=
2
2k
2k+1
2k+1
(
)
k+2 2
k+1
k+3
2
+ k+1 = 2 k+1
k
2
2
2
2
2
2k + 4 k + 1
k+3
2 k+1 + k+1 = 2 k+1
2
2
2
]
[
k+3
2k + 4 k + 1
2
k+1 = 2 k+1
k+1
2
2
2
[
]
2k + 4 (k + 1)
k+3
2
= 2 k+1
k+1
2
2
]
[
2k + 4 k 1)
k+3
=
2
2
2k+1
2k+1
[
]
k + 3
k+3
2
= 2 k+1
k+1
2
2
2
k+3
k+3
=
2
2k+1
2k+1
Ejemplo 18:
Demostrar por la tcnica de induccin matemtica que:
n
i=1
2
2
2
2
2
2
=
+
+
+ ... +
=2
, para n Z+
i(i + 1)
1(2)
2(3)
3(4)
n(n + 1)
n+1
i=1
2
2
2
2
2
2
=
+
+
+ ... +
=2
i(i + 1)
1(2) 2(3) 3(4)
n(n + 1)
n+1
89
2
2
cumple o no la igualdad
= 2 n+1
. Ahora se consideran los tres pasos de la
i(i+1)
i=1
p(1) =
|i=1
2
2
=
=1
i(i + 1)
1(2)
{z
}
2
2
=2
=2 =21=1
| 1+1
{z 2
}
resultado a partir de la f ormula
Paso inductivo n = k:
k
2
2
= 1(2)
+
p(k) =
i(i+1)
i=1
2
2(3)
2
3(4)
+ ... +
2
k(k+1)
= 2
2
,
k+1
se asume que la
proposicin p(k) es verdadera, esto quiere decir, que se supone que se cumple la
2
2
2
2
2
siguiente igualdad 1(2)
+ 2(3)
+ 3(4)
+ . . . + k(k+1)
= 2 k+1
.
Paso post-inductivo n = k + 1:
p(k+1) =
k+1
i=1
2
2
2
2
2
+
=
+ ... +
= 2
i(i + 1)
1(2)
k(k + 1) (k + 1)(k + 2)
k+1+1
{z
}
|
Se reemplaza por su equivalente
en el paso inductivo
2
2
2
+
=2
k+1
(k + 1)(k + 2)
k+2
2 (
1 )
2
2
1
=2
k+1
k+2
k+2
2
2 (k + 2 1)
=2
2
k+1
k+2
k+2
2 (k + 1)
2
2
=2
k+1 k+2
k+2
2
2
2
=2
k+2
k+2
90
Ejemplo 19:
Demostrar por la tcnica de induccin matemtica que 7n 2n es mltiplo de 5, para
n N.
Para el desarrollo de la demostracin considerar que se tiene la proposicin p(n) =
7n 2n = 5 p, para p N. La proposicin p(n) tomar el valor verdadero (Vo ) o falso
(Fo ) dependiendo de si se cumple o no que 7n 2n es mltiplo de 5. Ahora se consideran
los tres pasos de la tcnica por induccin matemtica:
Paso base n = 0:
p(0) = 70 20 = 1 1 = 0 = 5(0)
la proposicin p(0) es verdadera porque al evaluar 70 20 se obtiene como resultado el nmero 0 el cual es mltiplo de 5.
Paso inductivo n = k:
p(k) = 7k 2k = 5 m, para m Z+ . Se asume que la proposicin p(k) es
verdadera, esto quiere decir, que 7k 2k da como resultado un nmero entero
mltiplo de 5.
Paso post-inductivo n = k + 1:
p(k + 1) = 7k+1 2k+1 = 5 r
7 7k 2 2k = 5 r
(5 + 2) 7k 2 2k = 5 r
5 7k + 2 7k 2 2k = 5 r
5 7k + 2 (7k 2k ) = 5 r
| {z }
Se reemplaza por
su equivalente en
el paso inductivo
5 7k + 2 (5m) = 5 r
5 (7k + 2m) = 5 r
5 r = 5 r, donde r = 7k + 2m
Se cumple la igualdad, por lo tanto la proposicin p(k + 1) es verdadera, como se
cumplen los tres pasos de la tcnica de demostracin por induccin matemtica
entonces queda demostrada la validez de que cuando se evala la expresin 7n 2n
para n N se obtiene como resultado un nmero natural que es mltiplo de 5.
91
Ejemplo 20:
Demostrar utilizando la tcnica de induccin matemtica que:
( ) ( ) ( )
(
) ( )
n
n
n
n
n
+
+
+ +
+
= 2n , donde n N
0
1
2
n1
n
Esta demostracin es importante hacerla porque ser utilizada en el Captulo de Conjuntos, cuando se trabaje la cardinalidad del conjunto potencia de un conjunto A.
Para la demostracin primero se debe recordar el Tringulo de Pascal, el cual es:
1
1
1
1
4
5
1
..
.
2
3
1
1
6
1
1
3
6
10
15
1
4
10
20
..
.
15
1
..
.
(1 )
(2)
(2)
(2 )
(3)
(3 )
(3)
(4)
(4)
(4 )
(4)
(5)
(5 )
(5)
(5 )
(5)
(5)
(6 )
(6)
(6)
(6 )
(6)
(3 )
(4 )
(6)
0
..
.
..
.
(6 )
6
..
.
92
( )
n
= 1
r
(
)
)
(
n1
n1
+
r1
r
si r = 0
si n = r
si n > r 1
n
n
n
n
n
n
p(n) =
=
+
+
+ +
+
= 2n , para n N
i
0
1
2
n
1
n
i=0
la proposicin p(n) tomar (el )
valor verdadero (Vo ) o falso (Fo ) dependiendo de si se
n
n
cumple o no la igualdad
= 2n . Ahora se consideran los tres pasos de la tcnica
i
i=0
por induccin matemtica:
Paso base n = 0:
( )
0 ( )
0
0!
0
1
=
=
=
=1=
p(0) =
0
i
0!
0!
1
1
|i=0
{z
} resultado
2| 0 {z
= 1}
a partir de la f ormula
Paso inductivo n = k:
( ) ( ) ( ) ( )
(
) ( )
k
k
k
k
k
k
k
=
+
+
+ +
+
= 2k ,
p(k) =
i
0
1
2
k1
k
i=0
se asume que la proposicin p(k) es verdadera, esto quiere decir, que se supone
que se cumple la siguiente igualdad:
( ) ( ) ( )
(
) ( )
k
k
k
k
k
+
+
+ +
+
= 2k .
0
1
2
k1
k
Paso post-inductivo n = k + 1:
p(k + 1) =
)
k+1 (
k+1
i=0
(
=
) (
)
(
) (
)
k+1
k+1
k+1
k+1
+
++
+
= 2k+1
0
1
k
k+1
93
[ ]
2 2k = 2k+1
2k+1 = 2k+1
Se cumple la igualdad, por lo tanto la proposicin p(k + 1) es verdadera, como
se cumplen los tres pasos de tcnica de demostracin por induccin matemtica
entonces queda demostrada la validez de la solucin de la sumatoria originalmente
planteada.
94
3.6.
Ejercicios
1. Probar o refutar cada uno de los siguientes tems utilizando alguno de los mtodos
de demostracin:
a) La suma de dos nmeros enteros pares es un entero par.
b) La suma de dos nmeros enteros impares es un entero par.
c) La suma de un nmero entero impar con un nmero entero par es un nmero
entero impar.
d ) Si el producto de dos nmeros enteros es par, entonces alguno de los dos
nmeros que se esta multiplicando es par.
e) Si el producto de dos nmeros enteros es impar, entonces los dos nmeros
que se esta multiplicando son impares.
f ) El cuadrado de todo nmero entero es un nmero entero no negativo.
g) Si el cuadrado de n no es divisible por 2 entonces n no es divisible por 2.
h) Si un nmero entero es divisible por 4 entonces es divisible por 2.
i) Si n es un entero positivo, entonces n es par si y nicamente si 7n + 4 es par.
j ) La suma de cualquier nmero entero n con n2 es par.
k ) Si n es un nmero entero y n3 + 1 es impar, entonces n es par.
l ) Si n es un nmero entero y n3 + 5 es par, entonces n es impar.
m) Si n es un nmero entero y 3n + 2 es par, entonces n es par.
( )
(
) (
) (
)
n
n
n
n+2
n)
+2
+
=
, para n r 2
r
r1
r2
r
( ) (
) (
)
(
) (
) (
)
n
n+1
n+2
n+r1
n+r
n+r+1
)
+
+
++
+
=
0
1
2
r1
r
r
donde n, r son nmeros enteros positivos.
o) p
pq
q (r s) t r
s t
p) p q
qs
r s
p r
p
q) La suma de 4 enteros positivos consecutivos cualquiera es divisible por 4.
r ) La suma de 5 enteros positivos consecutivos cualquiera es divisible por 9.
3.6. EJERCICIOS
95
2. Probar o refutar cada uno de los siguientes tems utilizando el mtodo de demostracin por casos:
a) El producto de cualesquiera 3 enteros positivos consecutivos es divisible por
6.
b) El producto de cualesquiera 4 enteros positivos consecutivos es divisible por
12.
c) La diferencia entre los cuadrados de dos nmeros enteros impares es divisible
por 8. La demostracin se tiene que cumplir para cualquier pareja de nmeros
enteros impares.
d ) n(n2 + 5) es divisible por 3, para n Z+ , n 1
e) El cuadrado de cualquier nmero entero positivo finaliza con un 0, 1, 4, 5, 6
o 9. (Ayuda: Sea n = 10k + j donde j = 0, 1, ..., 9). Probar si es necesario
cada uno de los diez casos y concluir.
f ) El cubo de cualquier nmero entero positivo finaliza con un 0, 1, 2, 4, 5, 6, 7
u 8. (Ayuda: Sea n = 10k + j donde j = 0, 1, ..., 9). Probar si es necesario
cada uno de los diez casos y concluir.
g) El cuadrado de todo nmero entero, es un mltiplo de 3, difiere de un
mltiplo de 3 en 1.
h) El cuadrado de todo nmero entero, es un mltiplo de 4, difiere de un
mltiplo de 4 en 1.
3. Probar o refutar cada uno de los siguientes tems utilizando el mtodo de demostracin por Induccin Matemtica:
a) 1(2) + 2(3) + 3(4) + 4(5) + . . . + n(n + 1) =
b) 0 + 3 + 8 + . . . + (n2 1) =
n(2n+5)(n1)
,
6
c) 0 + 7 + 26 + . . . + (n3 1) =
n2 (n+1)
,
3
para n Z+ , n 1.
para n Z+ , n 1.
n(n(n+1)2 4)
,
4
d ) 1 23 + 2 53 + . . . + n (n 13 ) =
n(n+1)(n+2)
,
3
para n Z+ , n 1.
para n Z+ , n 1.
n(2n1)(2n+1)
,
3
para n Z+ , n 1.
g) 1 21 + 2 22 + 3 23 + 4 24 + . . . + n 2n = 2n+1 (n 1) + 2, para
n Z+ , n 1.
h)
3
1(3)
3
3(5)
3
5(7)
3
7(9)
+ ... +
3
(2n1)(2n+1)
i)
1
1(2)
1
2(3)
1
3(4)
1
4(5)
+ ... +
1
n(n+1)
j ) 14 + 24 + 34 + 44 + . . . + n4 =
n
,
n+1
3n
,
2n+1
para n Z+ , n 1.
para n Z+ , n 1.
n(n+1)(2n+1)(3n2 +3n1)
,
30
para n Z+ , n 1.
96
1
2n
< 2, para n 0.
Ayuda:
Probar que 1 + 12 + 14 + . . . + 21n = 2 21n , para n 0, con lo cual se sigue
que: 1 + 12 + 14 + . . . + 21n < 2, para n 0.
l ) 11n 6 es divisible por 5, para n Z+ , n 1.
m) 32n + 7 es divisible por 8, para n Z+ , n 1.
n) n3 n es divisible por 3, para n Z+ , n 1.
Captulo 4
Relaciones de recurrencia
A menudo es posible encontrar relaciones entre los elementos de una sucesin. Estas
relaciones se llaman relaciones de recurrencia.
Una relacin de recurrencia para una sucesin ao , a1 , a2 , . . ., an es una ecuacin que
relaciona an con alguno (o algunos) de sus antecesores ao , a1 , a2 , . . ., an1 y la suma o
multiplicacin de alguna cantidad.
Ejemplo 1:
En el ejemplo 9 del Captulo 2 de Sucesiones y Sumatorias se pide que se genere una
frmula para calcular el n-simo trmino de la sucesin que tiene los primeros 10 trminos siguientes: 3, 9, 15, 21, 27, 33, 39, 45, 51 y 57. La frmula que se obtuvo
en este ejemplo es:
S1 = 3
Sn = Sn1 + 6, para n 2, n Z+
esta frmula es una relacin de recurrencia, con la cual se indica que el trmino ubicado
en la posicin n de la sucesin se obtiene al relacionar el trmino que se encuentra en
la sucesin en la posicin n 1 con la suma del nmero 6.
Cuntos llamados recursivos son necesarios en la frmula anterior para calcular el
elemento que se encuentra en la posicin un milln de la sucesin?
Son necesarios un milln de llamados recursivos, y en cada llamado recursivo a excepcin del caso base, es realizada una suma. La frmula recursiva o relacin de recurrencia
anterior, es correcta para calcular el n-simo trmino de la sucesin, pero, tiene un costo computacional muy alto; por este motivo es fundamental determinar frmulas sin
recursividad para generar el n-simo trmino de la sucesin. La solucin de relaciones
de recurrencia permite generar a partir de la relacin de recurrencia una frmula sin
recursividad, que permite generar el mismo valor n-simo de la sucesin.
97
98
4.1.
Mtodo de Iteracin
En la serie de ejercicios de esta seccin se utilizar el Mtodo de Iteracin para resolver las relaciones de recurrencia de primer orden no homogneas, el mtodo consiste
en comenzar en el caso base de la relacin de recurrencia y utilizarlo para definir sin
recursividad el caso que sigue despus del caso base, y as sucesivamente se itera tantas
veces como sea necesario, hasta lograr determinar cul es la sumatoria o sumatorias
ocultas que sirven para solucionar la relacin de recurrencia sin utilizar recursividad.
Despus de tener la sumatoria o sumatorias para la relacin de recurrencia evaluada
en un valor n, estas (o esta) son resueltas y de esta forma se obtiene la solucin de la
relacin de recurrencia.
Por ltimo el mtodo de demostracin por induccin matemtica puede ser utilizado
para ratificar o refutar que la solucin de la relacin de recurrencia es correcta.
Ejemplo 2:
Resolver la siguiente relacin de recurrencia:
P (1) = 1
P (n) = P (n 1) + n, para n > 1
Utilizando el mtodo de iteracin se tiene:
P (1) = 1
P (2) = P (1) + 2 = 1 + 2
no dar el resultado de 1 + 2 sino dejar indicada la suma de trminos para no desaparecer la sumatoria.
99
P (3) = P (2) + 3 = 1 + 2 + 3
P (4) = P (3) + 4 = 1 + 2 + 3 + 4
P (5) = P (4) + 5 = 1 + 2 + 3 + 4 + 5
Se itera tantas como se considere necesario hasta que se identifique cual es la sumatoria oculta. En estos momentos debe ser evidente que:
P (n) = 1 + 2 + 3 + 4 + . . . + n
de esta forma se detecta
n que la sumatoria oculta que resuelve la relacin de recurrencia
sin recursividad es i=1 i = 1 + 2 + . . . + n
la cual tiene solucin n(n 2+ 1) . Por lo tanto P (n) = ni=1 i = n(n 2+ 1) . De esta forma la
solucin de la relacin de recurrencia es P (n) = n(n+1)
para n 1
2
Ahora se va a utilizar el mtodo de demostracin por induccin matemtica para
ratificar que la solucin obtenida de la relacin de recurrencia es correcta.
Caso base n = 1
n toma el valor de 1 porque este es el valor con el cul termina la recursividad en
la relacin de recurrencia, o dicho en otras palabras, para n=1, esta definido el
caso base de la relacin de recurrencia.
P (1) = 1
| {z }
Caso base de la R.R.
1(2)
=1
| 2 {z }
Soluci
on de la relaci
on de recurrencia evaluada en 1
P (k) =
k(k + 1)
2
Caso post-inductivo n = k + 1:
en este caso se recuerda el paso recursivo de la relacin de recurrencia donde
100
Ejemplo 3:
Resolver la siguiente relacin de recurrencia:
P (1) = 2
P (n) = P (n 1) + n 2n , para n > 1
Utilizando el mtodo de iteracin se tiene:
P (1) = 2
P (2) = P (1) + 2 22 = 2 + 2 22 = 1 21 + 2 22
recordar que no se calculan las potencias ni se hacen las multiplicaciones, ni se hacen
las sumas porque se desaparecera la sumatoria oculta que est debajo de la relacin
de recurrencia. Retomando el mtodo iterativo se tiene:
P (3) = P (2) + 3 23 = 1 21 + 2 22 + 3 23
P (4) = P (3) + 4 24 = 1 21 + 2 22 + 3 23 + 4 24
..
.
P (n) = 1 21 + 2 22 + 3 23 + . . . + n 2n
lo que se hizo en el paso anterior fue dejar de iterar porque ya se identific la sumatoria
y generalizar esta cuando la relacin de recurrencia P es evaluada en n.
101
n
i
Como P (n) =
i=1 i 2 entonces la solucin de la relacin de recurrencia es la
solucin de la sumatoria. Tomando la solucin
de dicha sumatoria de la seccin de
Sumatorias Especiales se tiene que P (n) = ni=1 i 2i = (n 1) 2n+1 + 2, por lo
tanto la solucin de la relacin de recurrencia es P (n) = (n 1) 2n+1 + 2, para n 1.
Ahora se utilizar el mtodo de demostracin por induccin matemtica para ratificar la validez de la solucin de la relacin de recurrencia, por lo tanto se tiene:
Caso base n = 1:
= (1 1) 21+1 + 2 = 0 22 + 2 = 0 + 2 = 2
|
{z
}
P (1) = 2
| {z }
caso base de la R.R.
Soluci
on de la relaci
on de recurrencia evaluada en 1
Caso post-inductivo n = k + 1:
Recordar el paso recursivo de la relacin de recurrencia:
P (n) = P (n 1) + n 2n , reemplazando n por k + 1 se tiene:
P (k + 1) = P (k + 1 1) + (k + 1) 2k+1
P (k + 1) = P (k) + (k + 1) 2k+1
donde P (k + 1) y P (k) se reemplazan por su equivalente en el caso inductivo
evaluado en k + 1 y k respectivamente.
(k + 1 1) 2k+1+1 + 2 = (k 1) 2k+1 + 2 + (k + 1) 2k+1
|
{z
} |
{z
}
P (k+1)
P (k)
k 2k+2 + 2 = (k 1 + k + 1) 2k+1 + 2
= (2k) 2k+1 + 2
= k 2k+2 + 2
Como se lleg a una igualdad, entonces, se ratifica que la solucin de la relacin
de recurrencia obtenida por el mtodo de iteracin es correcta.
102
Ejemplo 4:
Resolver la siguiente relacin de recurrencia:
P (1) = 1
P (n) = 2P (n 1) + 1, para n > 1
Por el mtodo de iteracin se tiene:
P (1) = 1
P (2) = 2P (1) + 1 = 2(1) + 1 = 21 + 20
P (3) = 2P (2) + 1 = 2(21 + 20 ) + 1 = 22 + 21 + 20
P (4) = 2P (3) + 1 = 2(22 + 21 + 20 ) + 1 = 23 + 22 + 21 + 20
..
.
P (n) = 2n1 + 2n2 + . . . + 21 + 20
P (n) = 20 + 21 + . . . + 2n1
i
Como P (n) = n1
i=0 2 entonces la solucin de la relacin de recurrencia es la solucin de la suma de trminos de la serie geomtrica con primer trmino a = 20 = 1,
razn constante r = 2 y potencia ms grande igual a n 1 tomando la solucin de
dicha sumatoria de la seccin de Sumatorias Especiales se tiene que
P (n) =
n1
i=0
2i =
Ejemplo 5:
Resolver la siguiente relacin de recurrencia:
P (1) = 2
P (n) = 2P (n 1) + 3n 1, para n 2
La diferencia de este ejemplo con los anteriores, radica en la cantidad de trminos
independientes que se encuentran en el caso recursivo, donde se tiene que al llamado
103
( 4)
(
)
(
)
2 + 22 32 + 21 33 22 + 21
)
+ 20 34 20
( )
(
)
(
)
= 24 + 22 32 + 21 33 + 20 34 22 + 21 + 20
..
.
( )
(
)
(
)
P (n) = 2n + 2n2 32 + 2n3 33 + . . . + 20 3n 2n2 + 2n3 + . . . + 20
( )
(
)
(
)
= 2n + 32 2n2 30 + 2n3 31 + . . . + 20 3n2 20 + 21 + . . . + 2n2
( n)
2
|{z}
P (n) =
t
ermino generado por el caso base de la relaci
on de recurrencia
(
)
+ 32 |2n2 30 + 2n3 {z
31 + . . . + 20 3n2}
Sumatoria A
0
n2
|2 + 2 +
{z. . . + 2 }
Sumatoria B
Sumatoria A:
La sumatoria A es una serie geomtrica con primer trmino a = 2n2 , razn constante r = 32 y potencia ms grande igual a n 2, reemplazando en la formula se tiene:
a r(potencia mas grande)+1 a
=
r 1
n2
( )(n2)+1
3
2n2
2
3
1
2
104
n2
2n2
=
2n2
=
3n1
= 2
3n1
=
= 3n1
( )n1
3
2n2
2
2
3
2
2
n1
3
n1 2n2
2
32
2
3n1
2n2
2 2n2
1
2
2
2n2
2
1
2
2n1
2
1
2
2n1
Sumatoria B:
La sumatoria B es una serie geomtrica con primer trmino a = 20 = 1, razn
constante r = 2 y potencia ms grande igual a n 2, reemplazando en la formula se
tiene:
a r(potencia mas grande)+1 a
1 2(n2)+1 1
=
r 1
2 1
1 2n1 1
1
n1
=2
1
=
105
)
2 9 1 2n1 + 1
= 3n+1 8 2n1 + 1
= 3n+1 23 2n1 + 1
= 3n+1 2n1+3 + 1
= 3n+1 2n+2 + 1
Ejemplo 6:
Resolver la siguiente relacin de recurrencia:
P (1) = 1
P (n) = 2P ( n2 ) + n, para n = 2m , m Z+ .
El objetivo principal de este ejemplo es poner en evidencia que el llamado recursivo
de la relacin de recurrencia no siempre tiene que ser en trminos de n 1. Perfectamente el valor de n puede decrecer al dividir ste de forma constante por un mismo
valor, en este ejemplo dicho valor es 2.
Para poder utilizar el mtodo de iteracin sobre esta relacin de recurrencia es
necesario primero hacer un cambio de variables.
Cambio de variables:
Como n = 2m , entonces la relacin de recurrencia original puede ser reescrita
como:
P (20 ) = 20
m
P (2m ) = 2P ( 22 ) + 2m , m 1
P (2m ) = 2P (2m 21 ) + 2m , m 1
P (2m ) = 2P (2m1 ) + 2m , m 1
Mtodo iterativo
P (20 ) = 20
P (21 ) = 2P (20 ) + 21 = 21 20 + 21 = 21 + 21
P (22 ) = 2P (21 ) + 22 = 2[21 + 21 ] + 22 = 22 + 22 + 22
P (23 ) = 2P (22 ) + 23 = 2[22 + 22 + 22 ] + 23 = 23 + 23 + 23 + 23
..
.
106
P (2k )
107
Ejemplo 7:
Resolver la siguiente relacin de recurrencia:
P (1) = 1
P (n) = 3P ( n5 ) + n, para n = 5m , m Z+ .
En este ejemplo es necesario hacer primero el cambio de variables y reescribir la
relacin de recurrencia.
Cambio de variables:
Como n = 5m , entonces la relacin de recurrencia original puede ser reescrita de
la siguiente forma:
P (50 ) = 50
m
P (5m ) = 3P ( 55 ) + 5m , m 1
P (5m ) = 3P (5m 51 ) + 5m , m 1
P (5m ) = 3P (5m1 ) + 5m , m 1
Mtodo iterativo
P (50 ) = 50
P (51 ) = 3P (50 ) + 51 = 31 50 + 30 51
P (52 ) = 3P (51 ) + 52 = 3[31 50 + 30 51 ] + 52
= 32 50 + 31 51 + 30 52
P (53 ) = 3P (52 ) + 53 = 3[32 50 + 31 51 + 30 52 ] + 53
= 33 50 + 32 51 + 31 52 + 30 53
P (54 ) = 3P (53 ) + 54 = 3[33 50 + 32 51 + 31 52 + 30 53 ] + 54
= 34 50 + 33 51 + 32 52 + 31 53 + 30 54
108
=
3m 35
i=0
La Sumatoria que describe a P (5m ) es una serie geomtrica con primer trmino
a = 3m , razn constante r = 53 y potencia ms grande igual a m, reemplazando
en la frmula de la serie geomtrica se tiene:
[ m ( 5 )m+1
]
3 3
3m
m
P (5 ) =
5
1
3
[ 5m+1
= 3m
=3
m+1
3m+1
2
3
[ 5m+1
3m+1
3m+1
2
3
= 3m
5m+1 3m+1
2 3m+1
5m+1 3m+1
2
De esta forma se halla la solucin a la relacin de recurrencia.
=
P (50 ) = 1 =
109
Caso post-inductivo m = k + 1:
Recordar el caso recursivo de la relacin de recurrencia:
P (5m ) = 3P (5m1 ) + 5m
Al reemplazar m por k + 1 se tiene:
P (5k+1 ) = 3P (5k ) + 5k+1
Se reemplaza a P (5k+1 )
[ k+1
5k+2 3k+2
5
=3
2
|
{z
}
|
P (5k+1 )
3 5k+1 3 3k+1
2
=
+ 5k+1
2
2
k+1
k+2
k+1
3 5
3
+ 2 5
=
2
3 5k+1 + 2 5k+1 3k+2
=
2
k+1
5 (3 + 2) 3k+2
=
2
5k+1 (5) 3k+2
=
2
k+2
5
3k+2
=
2
Se cumple la igualdad por lo tanto es correcta la solucin de la relacin de
recurrencia.
Ejemplo 8:
Sea la siguiente relacin de recurrencia:
P (1) = 4
P (n) = 4P ( n4 ) + n2 + 2, para n = 4m , m Z+ .
El aporte fundamental de este ejemplo es que el caso base de la relacin de recurrencia no siempre tiene que comenzar en uno, en este ejemplo comienza en cuatro
(pudindose utilizar cualquier otro valor), y no se afecta en nada la utilizacin del mtodo de iteracin.
Ahora, primero se debe hacer el cambio de variables y reescribir la relacin de
recurrencia.
110
Cambio de variables:
P (40 ) = 4
m
P (4m ) = 4P ( 44 ) + (4m )2 + 2, m 1
P (4m ) = 4P (4m 41 ) + (42 )m + 2, m 1
P (4m ) = 4P (4m1 ) + 16m + 2, m 1
Mtodo iterativo:
P (40 ) = 4
P (41 ) = 4P (40 ) + 161 + 2
= 4(4) + 161 + 2
= 42 + 161 + 2
P (42 ) = 4P (41 ) + 162 + 2
= 4(42 + 161 + 2) + 162 + 2
= 43 + 41 161 + 4 2 + 162 + 2
= 43 + 41 161 + 4 2 + 162 + 2
3
P (4 ) = 4P (42 ) + 163 + 2 = 4(43 + 41 161 + 4 2 + 162 + 2) + 163 + 2
= 44 + 42 161 + 2 42 + 4 162 + 2 4 + 163 + 2
= 44 + 42 161 + 4 162 + 163 + 2 42 + 2 4 + 2
= 44 + (42 161 + 4 162 + 163 ) + 2(42 + 41 + 40 )
P (44 ) = 4P (43 ) + 164 + 2
= 4[44 + (42 161 + 41 162 + 163 ) + 2(42 + 41 + 40 )] + 164 + 2
= 45 + (43 161 + 42 162 + 41 163 ) + 2(43 + 42 + 41 ) + 40 164 + 2 40
= 45 + (43 161 + 42 162 + 41 163 + 40 164 ) + 2(43 + 42 + 41 + 40 )
= 45 + 16(43 160 + 42 161 + 4 162 + 40 163 ) + 2(40 + 41 + 42 + 43 )
..
.
111
t
ermino generado por el caso base de la relaci
on de recurrencia
z }| {
4m+1
P (4m ) =
Sumatoria A
z
}|
{
+ 16 (4m1 160 + 4m2 161 + . . . + 41 16m2 + 40 16m1 )
+ 2 (40 + 41 + . . . + 4m1 )
|
{z
}
Sumatoria B
Sumatoria A:
La Sumatoria A es una serie geomtrica con primer trmino a = 4m1 , razn
constante r = 16
= 4 y potencia ms grande igual a m 1, reemplazando en la
4
formula se tiene:
a r(potencia mas grande)+1 a
4m1 (4(m1)+1 ) 4m1
=
r 1
4 1
=
=4
4m 1
3
Sumatoria B:
La Sumatoria B es una serie geomtrica con primer trmino a = 40 = 1, razn
constante r = 4 y potencia ms grande igual a m 1, reemplazando en la formula
se tiene:
a r(potencia mas grande)+1 a
1 (4(m1)+1 ) 1
=
r 1
4 1
=
4m 1
3
112
[
( m
)]
[ m
]
1
4 1
m1 4
+ 16 4
+ 2
3
3
=4
m+1
+ 4 4
=4
m+1
m+1
=4
m+1
P (4 ) = 4
(
2
m1
(
+ 4
(
+
m+1
4m 1
3
4m 1
3
( m
)
4 1
+ 2
3
( m
)
4 1
+ 2
3
)
)( m
4 1
+ 2
3
Ejercicios
1. Resolver las siguientes relaciones de recurrencia utilizando el Mtodo de Iteracin:
a) P (1) =
1
4
P (n) = P (n 1) + n3 34 n2 , para n Z+ y n 2.
b) P (1) =
1
2
P (n) = P (n 1) + n2 12 n , para n Z+ y n 2.
c) P (1) =
1
5
P (n) = P (n 1) + n3 45 n , para n Z+ y n 2.
d ) P (1) =
3
2
P (n) = P (n 1) + 2n
n
2n
, para n Z+ y n 2.
e) P (1) = 1
P (n) = 3P ( n2 ) + n, para n = 2m , m Z+ .
f ) P (1) = 1
P (n) = 3P ( n4 ) + n, para n = 4m , m Z+ .
113
g) P (1) = 1
P (n) = 2P ( n3 ) + n, para n = 3m , m Z+ .
h) P (1) = 1
P (n) = 4P ( n3 ) + n, para n = 3m , m Z+ .
i) P (1) = 1
P (n) = 9P ( n3 ) + n, para n = 3m , m Z+ .
114
Captulo 5
Conjuntos
Definicin:
Un conjunto es una coleccin de objetos en la que no importa el orden en que estos
aparecen.
Hay varias formas para describir un conjunto. Una forma es describir todos los
elementos del conjunto, cuando esto es posible, entre llaves separados por comas.
Ejemplo 1:
El conjunto de todas las vocales del alfabeto es: V = {a, e, i, o, u}.
el conjunto de todos los enteros impares positivos menores que 10 es
I = {1, 3, 5, 7, 9}.
Otra forma para describir un conjunto sin listar todos los elementos del conjunto es,
listar algunos elementos del conjunto y colocar puntos suspensivos cuando el patrn
general de los elementos es obvio.
Ejemplo 2:
El conjunto de los enteros positivos estrictamente menores que 100 es
E = {1, 2, 3, ..., 99}
Algunos de los conjuntos ms importantes en matemticas discretas son:
N = {0, 1, 2, 3, ... } El conjunto de los nmeros naturales
Z = { ..., 3, 2, 1, 0, 1, 2, 3, ... } El conjunto de los nmeros enteros
Z+ = {1, 2, 3, 4, ... } El conjunto de los nmeros enteros positivos
Q={
p
| p Z, q Z+ , q = 0 } El conjunto de los nmeros racionales
q
116
CAPTULO 5. CONJUNTOS
Definicin:
Dos conjuntos son iguales si y nicamente si tienen los mismos elementos.
Ejemplo 3:
Los conjuntos A = {1, 3, 5} y B = {3, 5, 1} son iguales porque contienen los mismos
elementos.
Se debe tener en cuenta que el orden en que son presentados los elementos de un
conjunto no tiene importancia, tampoco tiene importancia listar varias veces el mismo
elemento de un conjunto, de todas maneras sigue siendo el mismo conjunto, por ejemplo
el conjuntos A = {3, 3, 5, 3, 1, 3, 5} es igual al conjunto B = {1, 3, 5}.
Otra forma para construir conjuntos es usando una notacin para construir conjuntos. Todos los elementos del conjunto se caracterizan porque cumplen la propiedad
de pertenencia al conjunto.
Ejemplo 4:
I = {x | x es un n
umero entero positivo impar menor que 100}
Los conjuntos pueden ser representados grficamente utilizando diagramas de Venn.
En los diagramas de Venn el conjunto universal U , el cual contiene todos los objetos
bajo consideracin, es representado por un rectngulo. Internamente en el rectngulo,
los crculos u otra figura geomtrica son utilizados para representar conjuntos.
Ejemplo 5:
Dibujar un diagrama de Venn para representar el conjunto de las vocales del alfabeto
espaol.
117
Tener en cuenta que las letras maysculas se utilizan para representar conjuntos y que
las letras minsculas se utilizan para representar elementos.
El conjunto vaco o nulo es aquel que no tiene elementos y se representa por A = { }
o A = .
Definicin:
El conjunto A es subconjunto de B si y nicamente si cada elemento de A es tambin
un elemento de B. La notacin A B indica que A es un subconjunto del conjunto B.
Se puede decir que A B si y nicamente si x (x A x B).
Ejemplo 6:
Sean los conjuntos: B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} A = {1, 2, 5, 7}, entonces
A B.
Teorema:
Para cualquier conjunto S, S y S S.
Cuando el conjunto A es un subconjunto de B pero A = B, entonces se escribe
A B y se dice que A es un subconjunto propio de B.
Grficamente un subconjunto propio se representa de la siguiente manera:
118
CAPTULO 5. CONJUNTOS
Ejemplo 7:
Sea el conjunto A = {1, 3, 5, 7, 3, 5, 1, 7} |A| = 4.
Ejemplo 8:
|| = 0, porque el conjunto vaco no tiene elementos.
5.1.
El conjunto potencia
Definicin:
Dado un conjunto S, el conjunto potencia de S es el conjunto de todos los subconjuntos
de S. El conjunto potencia de S es denotado por P(S).
Ejemplo 9:
Cul es el conjunto potencia del conjunto A = { 0, 1, 2}?
P(A) = {{ }, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}}
Si un conjunto A tiene cardinalidad n (|A| = n), entonces el conjunto potencia de
A tiene 2n elementos.
Ejemplo 10:
Cuntos elementos tiene P(A) si |A| = 3?
|P(A)| = 2|A| = 23 = 8
5.2.
Producto cartesiano
Definicin:
La n-tupla ordenada (a1 , a2 , a3 , . . . , an ) es la coleccin ordenada que tiene a1 como el primer elemento, a2 como el segundo elemento, . . ., y an como el n-simo elemento.
Dos n-tuplas son iguales si y nicamente si cada par de sus elementos es igual. En
otras palabras, (a1 , a2 , a3 , . . . , an ) = (b1 , b2 , b3 , . . . , bn ) si y nicamente si ai = bi ,
para i = 1, 2, . . . , n. En particular, una 2-tupla es llamada par ordenado.
Los pares ordenados (a, b) y (c, d) son iguales si y nicamente si a = c y b = d.
(a, b) y (b, a) no son iguales, a no ser que a = b.
119
Definicin:
Sea A y B conjuntos. El producto cartesiano de A y B, denotado por A B, es el
conjunto de todos los pares ordenados (a, b) donde a A y b B. Donde A B =
{(a, b) | a A b B}.
Ejemplo 11:
Sean los conjuntos A = {1, 2, 3, 4} y B = {a, b, c}
Cul es el conjunto A B?
Cul es el conjunto B A?
Cul es el conjunto B B?
A B = {(1,
(2,
(3,
(4,
a),
a),
a),
a),
(1,
(2,
(3,
(4,
b),
b),
b),
b),
(1,
(2,
(3,
(4,
c),
c),
c),
c)}
Ejemplo 12:
Sea A = {1, 2, 3, 4} y B = {1, 4, 9, 16}
A B = {(1, 1), (1, 4), (1, 9), (1, 16),
(2, 1), (2, 4), (2, 9), (2, 16),
(3, 1), (3, 4), (3, 9), (3, 16),
(4, 1), (4, 4), (4, 9), (4, 16)}
y sea R = {(1, 1), (2, 4), (3, 9), (4, 16)} donde la segunda componente de cada
pareja es el cuadrado de la primera.
120
CAPTULO 5. CONJUNTOS
Definicin:
El producto cartesiano de los conjuntos A1 , A2 , . . . , An denotado por A1 A2
An , es el conjunto ordenado de n-tuplas (a1 , a2 , . . . , an ) donde ai Ai para
i = 1, 2, . . . , n.
En otras palabras, A1 A2 An = {(a1 , a2 , . . . , an ) | ai Ai para i =
1, 2, . . . , n}.
Ejemplo 13:
Sea A = {1, 2}, B = {a, e} y C = {x, y}, cul es el resultado de A B C?
A B C = {(1, a, x), (1, a, y), (1, e, x), (1, e, y),
(2, a, x), (2, a, y), (2, e, x), (2, e, y)}
5.3.
Operaciones de conjuntos
La parte sombreada es A B.
Ejemplo 14:
La unin de los conjuntos A = {1, 3, 5} y B = {1, 2, 3} es A B = {1, 2, 3, 5}.
121
La parte sombreada es A B.
Ejemplo 15:
La interseccin de los conjuntos A = {1, 3, 5} y B = {1, 2, 3} es A B = {1, 3}.
Definicin de conjuntos disyuntos:
Dos conjuntos A y B son disyuntos si su interseccin (A B) es vaca.
Ejemplo 16:
Sea A = {1, 3, 5, 7, 9} y B = {2, 4, 6, 8, 10}. A B = { }, por lo tanto A y B son
disyuntos.
La cardinalidad de la unin de los conjuntos A y B es:
|A B| = |A| + |B| |A B|.
La generalizacin de la cardinalidad para la unin de un nmero arbitrario de conjuntos es llamado el principio de inclusin-exclusin.
122
CAPTULO 5. CONJUNTOS
La parte sombreada es A B.
Ejemplo 17:
La diferencia de los conjuntos A = {1, 3, 5} y B = {1, 2, 3} es A B = {5},
B A = {2}.
Definicin de la operacin de complemento:
Sea U el conjunto universo, el complemento del conjunto A, denotado por A, es el
complemento del conjunto A con respecto a U. En otras palabras, el complemento del
conjunto A es U A.
Un elemento x pertenece a A si y nicamente si x A. Formalmente se tiene:
A = {x | x A}.
Grficamente se tiene:
La parte sombreada es A.
123
Ejemplo 18:
Sea A = {a, e, i, o, u} y el universo son todas las letras del alfabeto espaol. Entonces
A = {b, c, d, f, g, h, j, k, l, m, n, n
e, p, q, r, s, t, v, w, x, y, z}.
5.4.
Identidades en conjuntos
En la siguiente tabla las letras maysculas A, B y C representan conjuntos, el conjunto universal es representado con el smbolo U y el conjunto vaco es representado
con el smbolo .
Identidad
Nombre
A=A
Ley de Identidad
AU =A
Ley de Identidad
AU =U
Ley de Dominacin
A=
Ley de Dominacin
AA=A
Ley de Idempotencia
AA=A
Ley de Idempotencia
A=A
AB =BA
Ley Conmutativa
AB =BA
Ley Conmutativa
A (B C) = (A B) C
Ley Asociativa
A (B C) = (A B) C
Ley Asociativa
A (B C) = (A B) (A C)
Ley Distributiva
A (B C) = (A B) (A C)
Ley Distributiva
AB =AB
Ley de De Morgan
AB =AB
Ley de De Morgan
A (A B) = A
Ley de Absorcin
A (A B) = A
Ley de Absorcin
AA=U
Ley de Complemento
AA=
Ley de Complemento
124
CAPTULO 5. CONJUNTOS
Ejemplo 19:
Probar que A B = A B.
Estrategia: Se debe probar que los dos conjuntos son iguales al mostrar que cada uno
es subconjunto del otro.
A B A B ?.
x A B, x (A B), (x A x B), por la ley de Morgan
(x A) (x B), x A x B, x A x B por la
definicin de complemento, x (A B) por la definicin de la unin, por lo
tanto A B A B.
A B A B ?.
x (A B),
x A x B definicin de la unin,
x A x B definicin de complemento,
(x A) (x B) equivalencia lgica,
((x A) (x B)) ley de Morgan,
(x (A B)) definicin de la interseccin,
x (A B), x (A B) definicin de complemento,
por lo tanto A B A B.
Como cada lado es subconjunto del otro entonces queda demostrado que
A B = A B.
Ejemplo 20:
Usar notacin y equivalencia lgica para probar que A B = A B.
Estrategia: Utilizar una cadena de equivalencias para proveer una demostracin de
esta identidad.
A B = {x | x (A B)}
= {x | (x (A B))}
= {x | (x A x B)}
= {x | (x A) (x B)}
= {x | x A x B}
= {x | x A x B}
= {x | x (A B)}
=AB
5.5.
125
Ai
i=1
Ai
i=1
Ejemplo 21:
Sea Ai = {i, i + 1, i + 2, ... } donde
n
Ai =
i=1
i=1
5.6.
Ai =
i=1
n
i=1
Ejercicios
126
CAPTULO 5. CONJUNTOS
d ) El conjunto de estudiantes o bien que no son de segundo semestre de Ingeniera de Sistemas de Jornada Especial de la Universidad Tecnolgica o bien
que no estn matriculados en el curso de Matemticas II.
5.6. EJERCICIOS
127
c) A B = A B.
d ) (A B) (A B) = A.
6. Sean A y B conjuntos. Simplificar las siguientes expresiones en la teora de conjuntos ((A B) (A B)) B, en cada paso indicar la ley utilizada.
7. Sean A y B conjuntos. Simplificar las siguientes expresiones en la teora de conjuntos, en cada paso indicar la ley utilizada. Validar el resultado obtenido utilizando
diagramas de Venn. El grfico de la simplificacin es igual al grfico de la expresin original?.
a) A (A B) B.
b) A (A B) B.
c) ((A B) (A B)) A.
d ) ((A B) (A B)) A.
8. Sean los conjuntos A = {1, 2, 3, 4}, B = {a, b, c} y C = {a, 1, b, 2, c, 4}.
Cul es el resultado de (C C) (B A)?
9. Sean los conjuntos A = {1, 2, 3}, B = {a, b, c} y C = {a, 1, b, 2}. Cul es el
resultado de (C C) (B A)?
10. Sean los conjuntos A = {1, 2, 3}, B = {a, b, c} y C = {a, 1, b, 2}. Cul es el
resultado de (C C) (A B)?
11. Sean los conjuntos A = {1, 2, 3}, B = {a, b, c} y C = {a, 1, b, 2, c}. Cul es
el resultado de (C C) (B A)?
12. Sean los conjuntos A = {1, 2, 3}, B = {a, b, c} y C = {a, 1, b, 2, c}. Cul es
el resultado de (A B) (C C)?
13. Sea Ai = {ii , i2i , i3i , . . . , iii }. Cuntos elementos tiene el conjunto resultado
de ni=1 (Ai )?
14. Sea Ai = {2i , 2i+1 , 2i+2 , . . . , 22i }. Cul es el conjunto resultado de ni=0 Ai ?
15. Sea Ai = {2i , 2i+1 , 2i+2 , . . . , 22i }. Cul es el conjunto resultado de ni=2 Ai ?
128
CAPTULO 5. CONJUNTOS
Captulo 6
Funciones
6.1.
Conceptos fundamentales
Definicin de funcin:
Sean A y B conjuntos. Una funcin f de A a B es una asignacin de exactamente un
elemento de B a cada elemento de A. Se escribe f (a) = b si b es el nico elemento de B
asignado por la funcin f al elemento a de A. Si f es una funcin de A a B, se escribe
f : A B.
La funcin f mapea A en B.
Definicin de dominio de una funcin:
Si f es una funcin de A a B, se dice que A es el dominio de f y B es el codominio de
f . Si f (a) = b, se dice que b es la imagen de a y a es la pre-imagen de b. El rango de f
es el conjunto de todas las imgenes de A. As mismo, si f es una funcin de A a B, se
dice que f mapea A en B.
Ejemplo 1:
Sea el conjunto A todas las cadenas de bits de longitud 2 y sea B el conjunto de los
nmeros 0, 1 y 2. La funcin f cuenta la cantidad de ceros que hay en la cadena de bits
de longitud 2.
129
130
CAPTULO 6. FUNCIONES
El dominio de la funcin f es Domf = {00, 01, 10, 11}, Codomf = {0, 1, 2},
f (00) = 2, 2 es la imagen de 00 y 00 es la pre-imagen de 2.
Ejemplo 2:
Sea f : Z N la funcin que calcula el cuadrado de un nmero entero. Donde:
f (x) = x2
Domf = Z
Codomf = N
Rangof = {0, 1, 4, 9, 16, 25, ..., n2 }
Ejemplo 3:
Cuando se programan funciones en lenguaje C o JAVA se definen el dominio y codominio
de la funcin. Por ejemplo al programar la funcin piso:
int piso(float numero)
{
}
El dominio de la funcin son los reales de precisin sencilla (float) y codominio son los
nmeros enteros (int).
Definicin de suma y multiplicacin de funciones:
Sean f1 y f2 funciones de A a R. Entonces f1 + f2 y f1 f2 son tambin funciones de
A a R definidas por:
(f1 + f2 )(x) = f1 (x) + f2 (x)
(f1 f2 )(x) = f1 (x) f2 (x)
Ejemplo 4:
f1 y f2 son funciones de R a R tales que f1 (x) = x2 y f2 (x) = x x2 .
Cules son las funciones f1 + f2 y f1 f2 ?
(f1 + f2 )(x) = f1 (x) + f2 (x) = x2 + x x2 = x
(f1 f2 )(x) = f1 (x) f2 (x) = x2 (x x2 ) = x3 x4 .
Definicin:
Sea f una funcin del conjunto A al conjunto B y sea S un subconjunto de A. La
imagen de S es un subconjunto de B que consiste de las imgenes de los elementos de
S. Se define la imagen de S por f (S), tal que f (S) = {f (s) | s S}.
131
Ejemplo 5:
Sea A = {a, b, c, d, e} y B = {1, 2, 3, 4} con f (a) = 2, f (b) = 1, f (c) = 4, f (d) = 1
y f (e) = 1.
La imagen del subconjunto S = {b, c, d} es el conjunto f (S) = {1, 4}.
6.2.
Una funcin es inyectiva o uno a uno si y nicamente si f (x) = f (y) implica que
x = y para toda x y y en el dominio de f .
Ejemplo 6:
Determinar si la funcin f de {a, b, c, d} a {1, 2, 3, 4, 5} con f (a) = 4, f (b) = 5,
f (c) = 1 y f (d) = 3 es inyectiva (uno a uno).
Funcin inyectiva.
La funcin f si es inyectiva (uno a uno).
Ejemplo 7:
Determinar si la funcin f : Z Z, f (x) = x2 es uno a uno (inyectiva).
La funcin f no es uno a uno porque f (1) = f (1) = 1, donde 1 = 1. Pero, si la
funcin es f : Z+ Z+ entonces s es uno a uno.
6.3.
Funciones sobreyectivas
Ejemplo 8:
Sea f la funcin de {a, b, c, d} a {1, 2, 3} definida por f (a) = 3, f (b) = 2, f (c) = 1
y f (d) = 3. Es f una funcin sobreyectiva?.
132
CAPTULO 6. FUNCIONES
Funcin sobreyectiva.
La funcin f si es sobreyectiva.
Ejemplo 9:
Es la funcin f : Z Z, f (x) = x2 sobreyectiva?
No, porque 1 no es un resultado de f y ste pertenece al conjunto de posibles
respuestas (1 Z).
6.4.
Funciones biyectivas
Ejemplo 10:
f es una funcin biyectiva de {a, b, c, d} a {1, 2, 3, 4} con f (a) = 4, f (b) = 1,
f (c) = 3 y f (d) = 2.
Funcin biyectiva.
6.5.
133
Ejemplo 11:
Sea f la funcin de {a, b, c, d} a {1, 2, 3, 4} tal que f (a) = 4, f (b) = 1, f (c) = 3 y
f (d) = 2. Es f una funcin invertible, y si es as, cul es su inversa?
Funcin invertible.
Al analizar el grfico se evidencia que f es una funcin que tiene las propiedades de
inyectividad y de sobre-inyectividad, por lo tanto f es una funcin con la propiedad de
biyectividad. Como f es una funcin biyectiva entonces se obtiene la siguiente funcin
inversa: f 1 (1) = b, f 1 (2) = d, f 1 (3) = c y f 1 (4) = a.
134
CAPTULO 6. FUNCIONES
Ejemplo 12:
Sea la funcin f : Z Z, donde f (x) = x + 1. Es f una funcin invertible?, si es as,
cul es la funcin inversa?
f es una funcin inyectiva y sobreyectiva, por lo tanto es una funcin biyectiva y es
en consecuencia, una funcin que tiene inversa.
Tenemos que f (x) = x + 1, y = x + 1, x = y 1. Entonces la funcin inversa de f
es f 1 (y) = y 1.
Ejemplo 13:
Sea la funcin f : Z Z, donde f (x) = x2 . Es f una funcin invertible?, si es as,
cul es la funcin inversa?
Se tiene que f (1) = (1)2 = 1 y que f (1) = (1)2 = 1, como dos valores diferentes
del dominio son mapeados por la funcin f al mismo valor del codominio, entonces la
funcin f no es una funcin inyectiva, por lo tanto la funcin f no es biyectiva y al no
ser f una funcin biyectiva, entonces la funcin f no tiene inversa.
Definicin de composicin de funciones:
Sea g una funcin del conjunto A al conjunto B y sea f una funcin del conjunto B
al conjunto C. La composicin de las funciones f y g denotado por f g, es la funcin
definida por (f g)(a) = f (g(a)), para cada a A.
Ejemplo 14:
Sea g la funcin del conjunto {a, b, c} a s mismo tal que g(a) = b, g(b) = c y g(c) = a.
135
Sea f la funcin del conjunto {a, b, c} al conjunto {1, 2, 3} tal que f (a) = 3,
f (b) = 2 y f (c) = 1. Cul es la composicin de f y g?, Cul es la composicin de g
y f?
Se da respuesta a la primer pregunta, f compuesto g:
(f g)(a) = f (g(a)) = f (b) = 2.
(f g)(b) = f (g(b)) = f (c) = 1.
(f g)(c) = f (g(c)) = f (a) = 3.
Para la segunda pregunta, g compuesto f no esta definido porque el codominio de
la funcin f no es un subconjunto del dominio de la funcin g, es decir, {1, 2, 3}
{a, b, c}
Ejemplo 15:
Sean f y g la funciones del conjunto de los nmeros enteros al conjunto de los nmeros
enteros definidas por f (x) = 2x + 3 y g(x) = 3x + 2. Cul es la composicin de f y
g?, cul es la composicin de g y f ?
Primero se da respuesta a la pregunta de f compuesto g,
(f g)(x) = f (g(x)) = f (3x + 2) = 2(3x + 2) + 3 = 6x + 4 + 3 = 6x + 7.
Ahora se da respuesta a la segunda pregunta con respecto a g compuesto f ,
(g f )(x) = g(f (x)) = g(2x + 3) = 3(2x + 3) + 2 = 6x + 9 + 2 = 6x + 11.
Con respecto a los resultados anteriores se tiene que (f g)(x) = (g f )(x), por lo
tanto se evidencia que la propiedad conmutativa no se presenta en la composicin de
funciones.
Cuando se hace la composicin de una funcin y su inversa, en algn orden, una
identidad de la funcin es obtenida. Primero se debe suponer que f es una funcin
biyectiva del conjunto A al conjunto B. Entonces la funcin inversa f 1 existe y es una
funcin biyectiva del conjunto B al conjunto A. La inversa de la funcin inversa es la
funcin original, tal que f 1 (b) = a donde f (a) = b y f (a) = b donde f 1 (b) = a. Por
lo tanto, (f 1 f )(a) = f 1 (f (a)) = f 1 (b) = a, (f f 1 )(b) = f (f 1 (b)) = f (a) = b y
(f 1 )1 = f .
6.6.
El grfico de una funcin ayuda a que sta sea ms fcilmente comprendida, discutiendo si esta es inyectiva, sobreyectiva o biyectiva.
136
CAPTULO 6. FUNCIONES
Ejemplo 16:
La siguiente es la grfica de la funcin f (n) = 2n + 1, donde f : Z Z, es decir, la
funcin f va del conjunto de los nmeros enteros al conjunto de los nmeros enteros
6.7.
Ejercicios
6.7. EJERCICIOS
137
n) = |4m| |2n|
n) = m3 n3
n) = 3m n
n) = m2 n
n) = 2m n
n) = m2 n2
n) = |m| |n|
Cules de las funciones anteriores son uno a uno?, cules son sobreyectivas? y
cules son biyectivas?
10. Sea la funcin F (m, n) = |m| |n| donde F : Z Z Z, La funcin es uno a
uno?, la funcin es sobreyectiva?, y la funcin es biyectiva?
11. Sea la funcin F (m, n) = 3m |n| donde F : Z Z Z, La funcin es uno a
uno?, la funcin es sobreyectiva?, y la funcin es biyectiva?
12. Sea la funcin F (m, n) = n donde F : Z Z Z, La funcin es uno a uno?,
la funcin es sobreyectiva?, y la funcin es biyectiva?
1
Ayuda: Leer la seccin: Funciones Suprayectivas: Nmeros de Stirling de Segundo Tipo del
libro: Matemticas Discreta y Combinatoria de Ralph P. Grimaldi, en donde se presenta una buena
explicacin del conteo de funciones sobreyectivas (o suprainyectivas.)
138
CAPTULO 6. FUNCIONES
f (n + 1) = (xn+1 , yn+1 ) =
(xn 1, yn + 1)
si xn 1
(y + 1, 0)
n
si xn = 0
Determinar:
a) Qu es f (8)?
b) Es f una funcin inyectiva?
c) Es f una funcin sobreyectiva?
d ) Es f una funcin biyectiva?, si esto es as, entonces el conjunto N tiene la
misma cardinalidad que el conjunto N N?
e) Es f una funcin invertible?, si es as, cul es la inversa de f ?
16. Sea C = {0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, 101, 110, 111, ...},
donde C es el conjunto de todas las cadenas que se pueden formar con ceros y
unos. Sea la funcin f : C C C donde f (s, r) = s00r, lo que hace la funcin
f es concatenar dos cadenas s y r colocando en medio de ellas la cadena 00.
Determinar:
a) Qu es f (001, 110)?
b) Es f una funcin inyectiva?
c) Es f una funcin sobreyectiva?
d ) Es f una funcin biyectiva?
e) Es f una funcin invertible?, si es as, cul es la inversa de f ?
Captulo 7
Relaciones
7.1.
Relacin binaria
Ejemplo 1:
Sea A el conjunto de estudiantes de Ingeniera de Sistemas de la Institucin, y sea B el
conjunto de materias de Ingeniera de Sistemas de la institucin. Sea R la relacin que
consiste de todos los pares ordenados (a, b) donde a es un estudiante que tiene matriculada la materia b. Si los estudiantes Jaime y Claudia estn matriculados en la materia
Matemticas Discretas entonces los pares ordenados (Jaime, M atem
aticas Discretas)
y (Claudia, M atem
aticas Discretas) pertenecen a la relacin R, adicionalmente Claudia tambin tiene matriculado el curso de Bases de Datos, lo cual se representa con
el par ordenado (Claudia, Bases de Datos), que tambin pertenece a la relacin R.
Ejemplo 2:
Sea A = {a, b, c} y B = {1, 2, 3, 4}. Entonces {(a, 2), (a, 4), (b, 1), (c, 3)} es una
relacin de A a B, la cual tambin se puede representar como aR2, aR4, bR1 y cR3. Esta
relacin puede ser fcilmente representada de forma grfica y tabular de la siguiente
forma:
139
140
CAPTULO 7. RELACIONES
Grficamente:
Tabularmente:
R
a
b
c
7.2.
2
X
4
X
X
X
7.3.
Relaciones en un conjunto
Ejemplo 3:
Sea A = {1, 2, 3, 4} y la relacin R = {(a, b) | a divide b} definida sobre el conjunto
A. Cules pares ordenados pertenecen a la relacin R?.
El producto cruz del conjunto A es el siguiente:
1),
1),
1),
1),
(1,
(2,
(3,
(4,
2),
2),
2),
2),
(1,
(2,
(3,
(4,
3),
3),
3),
3),
(1,
(2,
(3,
(4,
141
4),
4),
4),
4)}
y los pares ordenados de este producto cruz donde la primera componente divide a
la segunda son: (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), y (4, 4), los cuales
conforman la relacin R
R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.
Observe que R A A.
Ejemplo 4:
Considerar las siguientes relaciones definidas en el conjunto de los nmeros enteros:
R1
R2
R3
R4
R5
R6
= {(a,
= {(a,
= {(a,
= {(a,
= {(a,
= {(a,
b)
b)
b)
b)
b)
b)
|
|
|
|
|
|
a b}
a > b}
a = b a = b}
a = b}
a = b + 1}
a + b 3}
Cada uno de los siguientes pares ordenados (1, 1), (1, 2), (2, 1), (1, 1) y (2, 2)
pertenecen a cules relaciones?
El par ordenado (1, 1) se encuentra presente en las relaciones R1 , R3 , R4 y R6 , el
par ordenado (1, 2) se encuentra presente en las relaciones R1 y R6 , el par ordenado
(2, 1) se encuentra presente en las relaciones R2 , R5 y R6 , el par ordenado (1, 1) se
encuentra presente en las relaciones R2 , R3 y R6 y el par ordenado (2, 2) se encuentra
presente en las relaciones R1 , R3 y R4 .
Ejemplo 5:
Cuntas relaciones hay en un conjunto de n elementos?
Una relacin en un conjunto A es un subconjunto de A A, donde A A tiene n2
pares ordenados cuando |A| = n. Recordar que un conjunto con m elementos tiene 2m
2
subconjuntos, entonces 2|AA| = 2n es el nmero total de relaciones del conjunto A al
conjunto A.
2
2
Por ejemplo si A = {a, b, c} entonces hay 2|A| = 23 = 29 = 512 relaciones en el
conjunto A.
142
CAPTULO 7. RELACIONES
Ejemplo 6:
Cuntas y cules relaciones hay en el conjunto A = {1, 2}?
Primero se debe calcular el producto cruz del conjunto A con el mismo:
A A = {(1, 1), (1, 2), (2, 1), (2, 2)}
Luego, como una relacin es cualquier subconjunto que se puede sacar del producto
cruz del conjunto que se esta trabajando, entonces se debe comenzar con los subconjuntos de tamao cero, tamao uno, tamao dos y as sucesivamente hasta el subconjunto
que tiene la misma cardinalidad de A A.
R1 = {}
R2 = {(1, 1)}
R3 = {(1, 2)}
R4 = {(2, 1)}
R5 = {(2, 2)}
R6 = {(1, 1), (1, 2)}
R7 = {(1, 1), (2, 1)}
R8 = {(1, 1), (2, 2)}
R9 = {(1, 2), (2, 1)}
R10 = {(1, 2), (2, 2)}
R11 = {(2, 1), (2, 2)}
R12 = {(1, 1), (1, 2), (2,
R13 = {(1, 1), (1, 2), (2,
R14 = {(1, 1), (2, 1), (2,
R15 = {(1, 2), (2, 1), (2,
R16 = {(1, 1), (1, 2), (2,
1)}
2)}
2)}
2)}
1), (2, 2)}
Son 16 relaciones las cuales coinciden con el resultado que se obtiene al utilizar la
2
2
frmula que se trabajo en el ejemplo anterior, 2|A| = 22 = 24 = 16.
7.4.
7.4.1.
Ejemplo 7:
Considerar las siguientes relaciones en el conjunto A = {1, 2, 3, 4}
= {(1,
= {(1,
= {(1,
= {(2,
= {(1,
= {(3,
1), (1,
1), (1,
1), (1,
1), (3,
1), (1,
4)}
2),
2),
2),
1),
2),
(2,
(2,
(1,
(3,
(1,
1), (2,
1)}
4), (2,
2), (4,
3), (1,
143
7.4.2.
Propiedad de simetra
Ejemplo 8:
Cules de las relaciones del ejemplo 7 anterior tienen la propiedad de simetra?
Las nicas relaciones que tienen la propiedad de simetra son R2 y R3 .
7.4.3.
Propiedad de antisimetra
Ejemplo 9:
Cules de las relaciones del ejemplo 7 tienen la propiedad de antisimetra?
Las nicas relaciones que tienen la propiedad de antisimetra son R4 , R5 y R6 .
7.4.4.
Propiedad de transitividad
Ejemplo 10:
Cules de las relaciones del ejemplo 7 tienen la propiedad de transitividad?
Las nicas relaciones que tienen la propiedad de transitividad son R3 , R4 , R5 y R6 .
144
CAPTULO 7. RELACIONES
Ejemplo 11:
Considerar la siguiente relacin definida en el conjunto de los nmeros enteros:
R = {(a, b) | a b}
La relacin R cumple la propiedad de reflexividad?, cumple la propiedad de
simetra?, cumple la propiedad de antisimetra?, y, cumple la propiedad de transitividad?
R cumple la propiedad de reflexividad porque cualquier nmero entero es mayor o
igual a el mismo. R no cumple la propiedad de simetra porque hay pares ordenamos
que pertenecen a la relacin para los cuales el par ordenado simtrico no pertenece a la
relacin, tal es el caso del par ordenado (2, 1) R porque 2 1 pero (1, 2) R porque
1 2. La relacin R cumple la propiedad de antisimetra porque la nica posibilidad
de que a b y b a es que a = b, de esta forma (a, b) R y (b, a) R si y
solo si a = b. La relacin R tambin cumple la propiedad de transitividad ya que para
cualquier conjunto de tres nmeros enteros a, b y c, si a b y b c entonces se cumple
que a c, con lo cual se tiene que si (a, b) R y (b, c) R entonces (a, c) R.
Ejemplo 12:
Considerar la siguiente relacin definida en el conjunto de los nmeros enteros:
R = {(a, b) | a = b}
La relacin R cumple la propiedad de reflexividad?, cumple la propiedad de
simetra?, cumple la propiedad de antisimetra?, cumple la propiedad de transitividad?, y, es posible que al mismo tiempo una relacin tenga las propiedades de simetra
y antisimetra?
La relacin R cumple la propiedad de reflexividad porque cualquier nmero entero es
igual a el mismo. R cumple la propiedad de simetra porque todos los pares ordenados
que pertenecen a la relacin R son de la forma (a, a) para a Z con lo cual todo
par ordenado es simtrico con el mismo. R cumple la propiedad de antisimetra porque
todos los pares ordenados que pertenecen a la relacin R son de la forma (a, a) para
a Z con lo cual se garantiza la definicin de antisimetra donde a = a. La relacin R
tambin cumple la propiedad de transitividad ya que para cualquier conjunto de tres
nmeros enteros a, b y c, si (a, b) R y (b, c) R es porque a = b y b = c, de donde
se obtiene que a = c y que por lo tanto (a, c) R, con lo cual se cumple la definicin
de la propiedad de transitividad.
Con respecto a la ltima pregunta, es posible que al mismo tiempo una relacin tenga
las propiedades de simetra y antisimetra?, la respuesta es que si y este ejemplo es uno
de esos casos, es de vital importancia recalcar que dichas propiedades no son excluyentes
en una relacin, donde las dos pueden estar presentes o las dos pueden estar ausentes
145
al mismo tiempo.
7.5.
Combinacin de relaciones
Ejemplo 13:
Sean los conjuntos A = {1, 2, 3} y B = {1, 2, 3, 4}. Las siguientes relaciones R1 y
R2 estn definidas del conjunto A al conjunto B, donde R1 = {(1, 1), (2, 2), (3, 3)}
y R2 = {(1, 1), (1, 2), (1, 3), (1, 4)}, estas relaciones pueden ser combinadas obteniendo:
R1 R2 = {(1,
R1 R2 = {(1,
R1 R2 = {(2,
R2 R1 = {(1,
1), (1, 2), (1, 3), (1, 4), (2, 2), (3, 3)}
1)}
2), (3, 3)}
2), (1, 3), (1, 4)}
Ejemplo 14:
Sean las siguientes relaciones R1 y R2 que estn definidas en el conjunto de los nmeros
enteros, donde R1 = {(x, y) | x < y} y R2 = {(x, y) | x > y}.
Qu es R1 R2 , R1 R2 , R1 R2 y R2 R1 ?
R1 R2 = {(x, y) | x = y}
R1 R2 = {}
R1 R2 = R1
R2 R1 = R2
7.6.
146
CAPTULO 7. RELACIONES
Ejemplo 15:
Sean los conjuntos A = {1, 2, 3}, B = {1, 2, 3, 4}, C = {0, 1, 2} y las relaciones R = {(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)} del conjunto A al conjunto B y
S = {(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)} del conjunto B al conjunto C. Qu es
S R?
S R = {(1, 0), (1, 1), (2, 1), (2, 2), (3, 0), (3, 1)}
Ejemplo 16:
Sea R la relacin en el conjuntos de las personas del mundo tal que (a, b) R si a es
el padre de b. Qu da como resultado R R?
R R da como resultado una relacin que es el conjunto de pares ordenados de
personas donde la primer componente es el abuelo paterno de la segunda componente.
Definicin de potencia de una relacin:
Sea R una relacin en el conjunto A. La potencia Rn , donde n Z+ , es definida recursivamente por
{
R
si n = 1
Rn =
n1
R
R si n > 1
Ejemplo 17:
Sea la relacin R = {(1, 1), (2, 1), (3, 2), (4, 3)}. Cul es la potencia Rn para n 1?
R1 = R = {(1, 1), (2, 1), (3, 2), (4, 3)}
R2 = R1 R = {(1, 1), (2, 1), (3, 2), (4,
= {(1, 1), (2, 1), (3, 1), (4,
3
2
R = R R = {(1, 1), (2, 1), (3, 1), (4,
= {(1, 1), (2, 1), (3, 1), (4,
R4 = R3 R = {(1, 1), (2, 1), (3, 1), (4,
= {(1, 1), (2, 1), (3, 1), (4,
7.7.
7.7.1.
Representacin de relaciones
Representacin de relaciones utilizando matrices
Una relacin entre conjuntos finitos puede ser representada usando matrices de ceros
y unos. Suponer que R es una relacin del conjunto A = {a1 , a2 , a3 , . . . , am } al con-
147
si (ai , bj ) R
si (ai , bj ) R
Ejemplo 18:
Sean los conjuntos A = {1, 2, 3} y B = {1, 2}, sea la relacin R = {(a, b) | a > b}
= {(2, 1), (3, 1), (3, 2)} definida del conjunto A al conjunto B. La representacin de
la relacin R por medio de matrices es la siguiente:
0 0
MR = 1 0
1 1
Ejemplo 19:
Sea la relacin R en el conjunto A = {1, 2, 3, 4}. Cules pares ordenados estn en la
relacin R representados por la matriz
0
1
MR =
0
0
1
0
1
1
0
1
1
0
0
1
?
0
1
Las matrices cuadradas son utilizadas para determinar si las relaciones tienen ciertas propiedades. Ellas son:
1
1
...
148
CAPTULO 7. RELACIONES
La propiedad de Simetra.
...
1
La propiedad de Antisimetra.
0
1
Ejemplo 20:
Suponer que la relacin R en un conjunto es representada por la matriz:
1 1 0
Mr = 1 1 1
0 1 1
La relacin R es reflexiva.
La relacin R es simtrica.
La relacin R no es antisimtrica.
Las operaciones de unin e interseccin de relaciones se pueden realizar con la representacin en matrices
MR1 R2 = MR1 MR2
MR1 R2 = MR1 MR2
Ejemplo 21:
Las relaciones R1 y R2 en un conjunto A son representados por las matrices
M R1
1 0 1
= 1 0 0
0 1 0
MR2
1 0 1
= 0 1 1
1 0 0
1 0 1
= 1 1 1
1 1 0
1 0 1
= 0 0 0
0 0 0
149
Ejemplo 22:
Encontrar la
R y S son:
1 0
MR = 1 1
0 0
MSR
1
0
0
0 1 0
MS = 0 0 1
1 0 1
1 1 1
= MR MS = 0 1 1
0 0 0
La matriz que representa la composicin de dos relaciones puede ser usada para
encontrar la matriz de MRn . En particular MRn = MRn
Ejemplo 23:
Encontrar la matriz que representa la relacin R2 , donde la matriz que representa la
relacin R es:
0 1 0
MR = 0 1 1
1 0 0
El resultado es el siguiente:
0 1 1
MR2 = MR2 = MR MR = 1 1 1
0 1 0
150
7.8.
CAPTULO 7. RELACIONES
Ejercicios
1. Sean los conjuntos A = {2, 3, 4, 5, 6} y B = {15, 16, 17, 18, 19, 20}, listar los
elementos de la relacin R A B donde aRb si a divide (exactamente) a b.
2. Sea el conjunto A = {1, 2, 3, 4, 5, 6, 7} sobre el cual est definida la relacin
R = {(a, b) | a b es m
ultiplo de 3}. Para la relacin R contestar las siguientes
preguntas
a) Cules son los pares ordenados de |A A| que pertenecen a la relacin R?
b) La relacin R tiene la propiedad de reflexividad?
c) La relacin R tiene la propiedad de simetra?
d ) La relacin R tiene la propiedad de antisimetra?
e) La relacin R tiene la propiedad de transitividad?
3. Sean A y B conjuntos con |B| = 3. Si hay 4096 relaciones de A a B, cul es el
valor de |A|?
4. Sean los conjuntos A = {1, 3, 5} y B = {2, 4, 6, 8}, determinar
a) A B
b) |A B|
c) El nmero de relaciones de A a B
d ) El nmero de relaciones binarias en A
e) El nmero de relaciones de A a B que contenga (1, 2) y (3, 4)
f ) El nmero de relaciones de A a B que contenga exactamente cuatro pares
ordenados
g) El nmero de relaciones binarias en A que contenga como mnimo cinco pares
ordenados
5. Sean las siguientes relaciones definidas en el conjunto A = {1, 2}
R1 = {}
R2 = {(1, 1)}
R3 = {(1, 2)}
R4 = {(2, 1)}
R5 = {(2, 2)}
R6 = {(1, 1), (1, 2)}
R7 = {(1, 1), (2, 1)}
R8 = {(1, 1), (2, 2)}
R9 = {(1, 2), (2, 1)}
R10 = {(1, 2), (2, 2)}
R11 = {(2, 1), (2, 2)}
7.8. EJERCICIOS
R12
R13
R14
R15
R16
a)
b)
c)
d)
= {(1,
= {(1,
= {(1,
= {(1,
= {(1,
151
1),
1),
1),
2),
1),
Cules
Cules
Cules
Cules
(1,
(1,
(2,
(2,
(1,
de
de
de
de
2),
2),
1),
1),
2),
las
las
las
las
(2,
(2,
(2,
(2,
(2,
1)}
2)}
2)}
2)}
1), (2, 2)}
relaciones
relaciones
relaciones
relaciones
cumplen
cumplen
cumplen
cumplen
la
la
la
la
propiedad
propiedad
propiedad
propiedad
de
de
de
de
reflexividad?
simetra?
antisimetra?
transitividad?
Cuntas
Cuntas
Cuntas
Cuntas
Cuntas
relaciones
relaciones
relaciones
relaciones
relaciones
hay
hay
hay
hay
hay
en
en
en
en
en
el
el
el
el
el
conjunto
conjunto
conjunto
conjunto
conjunto
A?
A que
A que
A que
A que
sean
sean
sean
sean
reflexivas?
simtricas?
antisimtricas?
transitivas?
R2
R3
R4
R5
152
CAPTULO 7. RELACIONES
Captulo 8
Relaciones de equivalencia
Definicin (Relacin de Equivalencia):
Una relacin en un conjunto A es llamada una relacin de equivalencia si sta es reflexiva, simtrica y transitiva.
Dos elementos que son relacionados por una relacin de equivalencia son llamados
equivalentes.
Ejemplo 1:
Supngase que R es una relacin en el conjunto de las cadenas escritas con el alfabeto
espaol tales que aRb si y nicamente si l(a) = l(b) donde l(x) es la longitud de la
cadena x. Es R una relacin de equivalencia?.
Para que R sea una relacin de equivalencia sta tiene que ser reflexiva, simtrica y
transitiva.
Reflexiva: l(a) = l(a), de sta forma aRa, por lo tanto R es reflexiva.
Simtrica: aRb lo que indica que l(a) = l(b) como l(b) = l(a) esto indica que bRa por
lo tanto R es simtrica.
Transitiva: suponer que aRb y bRc, entonces l(a) = l(b) y l(b) = l(c), donde se obtiene
que l(a) = l(c), por lo tanto R es transitiva.
Como la relacin R es reflexiva, simtrica y transitiva, entonces es una relacin de
equivalencia.
Ejemplo 2:
Sea R la relacin en el conjunto de los nmeros reales tales que aRb si y solo si, a b
es un entero. Es R una relacin de equivalencia?
Para que R sea una relacin de equivalencia sta tiene que ser reflexiva, simtrica y
transitiva.
153
154
8.1.
155
Clases de equivalencia
Ejemplo 4:
Cul es la clase de equivalencia para el nmero 0 en la relacin a b (mod 4)?
La clase de equivalencia del 0 contiene todos los nmeros enteros a tales que
a 0 (mod 4), es decir, contiene todos los nmeros enteros a que son divisibles de
forma exacta por 4.
[0] = {. . . , 8, 4, 0, 4, 8, . . .}
8.2.
Teorema:
Sea R una relacin de equivalencia en un conjunto A. Los siguientes tres tems son
equivalentes:
1. aRb
2. [a]R = [b]R
3. [a]R [b]R =
Sea R una relacin de equivalencia en un conjunto A. La unin de todas las clases de
equivalencia de R da como resultado el conjunto A
[a]R = A
aA
156
Las observaciones anteriores muestran que las clases de equivalencia forman una
particin del conjunto A, donde ellas fraccionan al conjunto A en subconjuntos disyuntos. Ms precisamente, una particin de un conjunto S es una coleccin de subconjuntos
no vacos disyuntos de S que tienen a S como su unin. En otras palabras, la coleccin
de subconjuntos Ai , i I (donde I es el conjunto de ndices) forma una
particin de
conjunto S si y solo si Ai = para i I, Ai Aj = cuando i = j, y
Ai = S
iI
Ejemplo 5:
Sea el conjunto S = {1, 2, 3, 4, 5, 6}. La coleccin de conjuntos A1 = {1, 2, 3},
A2 = {4, 5} y A3 = {6} forman una particin del conjunto S, donde estos conjuntos
son disyuntos y su unin es el conjunto S.
Los subconjuntos en una particin son clases de equivalencia.
Dos elementos son equivalentes con respecto a la relacin si y nicamente si ellos estn
en el mismo subconjunto de la particin.
Teorema:
Sea R una relacin de equivalencia en un conjunto S. Entonces las clases de equivalencia
de R forman una particin de S. As mismo, dada una particin {Ai | i I} del conjunto
S, hay una relacin de equivalencia R que tiene el conjunto Ai , i I, como clase de
equivalencia.
Ejemplo 6:
Listar los pares ordenados en la relacin de equivalencia R producidos por la particin
A1 = {1, 2, 3}, A2 = {4, 5} y A3 = {6} del conjunto S = {1, 2, 3, 4, 5, 6}
Los subconjuntos en la particin son clases de equivalencia de R, donde el par ordenado
(a, b) R si y solo si a y b estn en el mismo subconjunto de la particin.
157
Pares ordenados que aparecen en la relacin de equivalencia R gracias a los elementos de la particin (o clase de equivalencia) A1 : (1, 1), (1, 2), (1, 3), (2, 1),
(2, 2), (2, 3), (3, 1), (3, 2) y (3, 3).
Pares ordenados que aparecen en la relacin de equivalencia R gracias a los elementos de la particin (o clase de equivalencia) A2 : (4, 4), (4, 5), (5, 4) y (5, 5)
Pares ordenados que aparecen en la relacin de equivalencia R gracias a los elementos de la particin (o clase de equivalencia) A3 : (6, 6)
De esta forma la relacin de equivalencia R contiene nicamente los siguientes pares
ordenados:
R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4),
(4, 5), (5, 4), (5, 5), (6, 6)}
Hay m diferentes clases de congruencia mdulo m, correspondientes a los m diferentes residuos posibles cuando un entero es dividido por m. Estas m clases de congruencia son denotadas por [0]m , [1]m , . . . , [m 1]m . Ellos forman una particin del
conjunto de los enteros.
Ejemplo 7:
Cuales son los conjuntos en la particin de los nmeros enteros para la relacin
a b (mod 4)4?
Hay cuatro clases de congruencia correspondientes a [0]
y [3] (mod 4) , ellas son los conjuntos:
[0]
(mod 4)
= {. . . , 8, 4, 0, 4, 8, . . .}
[1]
(mod 4)
= {. . . , 7, 3, 1, 5, 9, . . .}
[2]
(mod 4)
= {. . . , 6, 2, 2, 6, 10, . . .}
[3]
(mod 4)
= {. . . , 5, 1, 3, 7, 11, . . .}
(mod 4) ,
[1]
(mod 4) ,
[2]
(mod 4)
Las clases de congruencia son disyuntas, y cada nmero entero est exactamente una
sola de ellas.
8.3.
158
Ejemplo 8:
La relacin mayor o igual que () genera un ordenamiento parcial en el conjunto de
los nmeros enteros?
Para dar respuesta a este interrogante primero se deben analizar las propiedades de
reflexividad, antisimetra y transitividad de la relacin, para esto se tiene:
Reflexiva: Sea a Z, como cualquier nmero entero es mayor o igual a l mismo
(a a) entonces aRa, de donde se concluye que la relacin R tiene la propiedad
de reflexividad.
Antisimtrica: Sea a, b Z, si aRb es porque (a b) y si bRa es porque (b a), la
nica forma de que se presente al mismo tiempo aRb y bRa es cuando a = b, con
lo cual se cumple la propiedad de antisimetra en la relacin R.
Transitiva: Sea a, b, c Z, si aRb y bRc es porque (a b) y (b c) de donde se
obtiene que (a c) con lo cual se cumple que aRc, con lo cual se concluye que la
relacin R cumple la propiedad de transitividad.
Como la relacin mayor o igual que cumple las propiedades reflexiva, antisimtrica
y transitiva entonces la relacin genera un ordenamiento parcial en el conjunto de los
nmeros enteros, o expresado de una forma equivalente (Z, ) es un conjunto parcialmente ordenado.
Ejemplo 9:
La relacin divisibilidad ( | ) genera un ordenamiento parcial en el conjunto de los
nmeros enteros positivos?
Sea R la relacin de divisibilidad, R = {(a, b) | a, b, m Z+ b = m a}, en
palabras, aRb o (a, b) R si a divide de forma exacta a b. La relacin de divisibilidad
R genera un ordenamiento parcial en el conjunto de los nmeros enteros positivos si
cumple las propiedades de reflexividad, antisimetra y transitividad. En el anlisis de
estas propiedades se tiene:
Reflexiva: Sea el nmero a Z+ , a divide de forma exacta a a y se obtiene como
resultado el nmero entero 1, sea cual sea el nmero entero positivo a, aRa, por
lo tanto la relacin de divisibilidad cumple la propiedad de reflexividad.
Antisimtrica: Sean los nmeros a, b Z+ , si aRb es porque a divide de forma exacta
a b y si bRa es porque b divide de forma exacta a a, la nica forma de que se
presente al mismo tiempo aRb y bRa es cuando a = b, con lo cual se cumple la
propiedad de antisimetra en la relacin de divisibilidad.
159
Ejemplo 10:
Mostrar que la relacin de inclusin () genera un ordenamiento parcial en el conjunto
potencia de un conjunto S.
Recordar que el conjunto potencia de un conjunto S, es el conjunto que contiene todos
los subconjuntos que se encuentran presentes en el conjunto S, la notacin que se utiliza
para representar dicho conjunto es P(S).
Sea R = {(A, B) | A, B P(S) A B} para S que es un conjunto, la relacin R es
de orden parcial si cumple las propiedades de reflexividad, antisimetra y transitividad.
En el anlisis de las propiedades se tiene:
Reflexiva: Sea el conjunto A P(S), A A, el conjunto A esta contenido en el
conjunto A, por lo tanto se cumple la propiedad de reflexividad donde (A, A) R.
Antisimtrica: Sean los conjuntos A, B P(S), si (A, B) R es porque A B y si
(B, A) R es porque B A, la nica posibilidad de que se presente al mismo
tiempo (A, B) R y (B, A) R es cuando A = B, con lo cual la relacin R
cumple la propiedad de antisimetra.
Transitiva: Sean los conjuntos A, B, C P(S), si (A, B) R y (B, C) R es
porque A B y B C de donde se deduce que A C lo que garantiza que
(A, C) R, con lo cual la relacin R cumple la propiedad de transitividad.
Como la relacin de inclusin cumple las propiedades de reflexividad, antisimetra y
transitividad, entonces el conjunto potencia es un conjunto parcialmente ordenado con
respecto a la relacin de inclusin, o expresado de una forma equivalente (P(S), )
es un conjunto parcialmente ordenado.
Definicin:
Sea una relacin R S S, si la relacin R genera un orden parcial sobre el conjunto S,
para a, b S se dice que los elementos a y b son comparables si (a, b) R o (b, a) R.
Cuando (a, b) R y (b, a) R se dice que los elementos a y b son incomparables.
160
Ejemplo 11:
En un ejemplo anterior ya se demostr que la relacin de divisibilidad genera un orden
parcial sobre el conjunto de los nmeros enteros positivos, lo que es representado como
(Z+ , | ). Son los nmeros 2 y 4 comparables en (Z+ , | )?, son los nmeros 5 y 2
comparables en (Z+ , | )?
Para dar respuesta a las preguntas se tiene:
Se cumple que 2, 4 Z+ y que (2, 4) R porque el nmero 2 divide de forma
exacta al nmero 4, por este motivo los nmeros 2 y 4 son comparables sobre
(Z+ , | ).
Se cumple que 5, 2 Z+ , pero, (5, 2) R porque el nmero 5 no divide de
forma exacta al nmero 2 y (2, 5) R porque el nmero 2 no divide de forma
exacta al nmero 5, como (5, 2) R y (2, 5) R entonces los nmeros 2 y 5 son
incomparables sobre (Z+ , | ).
Definicin:
Sea una relacin R S S. La relacin R genera un orden total en un conjunto
S cuando sta cumple las propiedades de reflexividad, antisimetra y transitividad,
y adicionalmente, para cualquier par de elementos a, b S, a y b tienen que ser
comparables.
En esta definicin se exige que para que una relacin R genere un orden total sobre un
conjunto S, primero, la relacin tiene que generar un orden parcial sobre el conjunto S,
y luego se tiene que cumplir que cualquier par de elementos a y b del conjunto S sean
comparables.
Ejemplo 12:
La relacin de divisibilidad genera un orden total en el conjunto de los nmeros enteros
positivos?
En un ejemplo anterior ya se demostr que la relacin de divisibilidad genera un orden parcial sobre Z+ , pero, no genera un orden total sobre Z+ porque existen pares
ordenados de Z+ Z+ que son incomparables, por ejemplo los nmeros 3 y 10 son
incomparables.
Ejemplo 13:
La relacin mayor o igual que genera un orden total en el conjunto de los nmeros
enteros?
8.4. EJERCICIOS
161
8.4.
Ejercicios
162
Captulo 9
Introduccin a la teora de nmeros
9.1.
9.1.1.
Las matemticas discretas involucran a los nmeros enteros y sus propiedades dentro
de un campo que se llama Teora de Nmeros.
9.1.2.
Ejemplo 1:
Determinar si 4|9 y si 4|20.
Se tiene que 4 | 9 porque
9
4
Ejemplo 2:
Sean n y d enteros positivos. Cuntos enteros positivos no exceden a n y son divisibles
por d?
163
164
Los nmeros enteros positivos divisibles por d son todos los enteros de la forma d k,
donde k es un entero positivo. Por lo tanto, el nmero de enteros positivos divisibles
por d que no exceden a n es igual al nmero de enteros k con 0 < d k n, o con
0 < k nd , por lo tanto, hay un total de nd nmeros enteros positivos que no exceden
a n y que son divisibles por d.
Algunas de las propiedades bsicas de divisibilidad de los nmeros enteros son presentadas en el siguiente teorema.
Teorema:
Sean a, b y c nmeros enteros. Entonces:
1. Si a| b y a|c entonces a|(b + c)
2. Si a| b entonces a|bc para todo entero c
3. Si a| b y b|c entonces a|c
4. Si a| b y a|c entonces a|(mb + nc) donde m y n son enteros.
Para demostrar cada uno de los tems del teorema se har uso de la tcnica de demostracin directa y de la definicin de divisin entre nmeros enteros, donde se tiene:
1. Si a| b y a|c entonces a|(b + c).
Si a| b es porque existe un nmero entero p tal que b = a p, si a|c es porque existe
un nmero q tal que c = a q, se tiene que b + c = a p + a q, b + c = a (p + q),
por lo tanto a partir de la definicin de divisin entre nmeros enteros se tiene
que a|(b + c) porque b + c = a (p + q).
2. Si a| b entonces a|bc para todo entero c.
Tenemos que si a| b es porque existe un nmero entero p tal que b = a p, de este
modo se tiene que a|bc puede transformarse en a|a p c con lo cual se obtiene que
b c es mltiplo de a por lo tanto b c puede dividirse por a.
3. Si a| b y b|c entonces a|c.
Si b| c es porque existe un nmero entero p tal que c = b p, como se tiene que a|b
entonces existe un nmero entero q tal que b = a q, reemplazando el valor de b
en c = b p se tiene que c = a q p donde c es un mltiplo de a, por lo tanto a|c.
4. Si a| b y a|c entonces a|(mb + nc) donde m y n son enteros.
Si a| b es porque existe un nmero entero p tal que b = a p, si a|c es porque existe
un nmero q tal que c = aq, entonces mb+nc = map+naq = a(mp+nq)
de donde se obtiene que m b + n c es mltiplo de a por lo tanto a|(mb + nc).
9.1.3.
165
Cuando un nmero entero es dividido por un nmero entero positivo, hay un cociente
y un residuo. En el Algoritmo de la Divisin sea a un nmero entero y d un nmero
entero positivo, entonces hay unos nicos enteros q y r, con 0 r < d, tal que a = dq+r.
En la igualdad, d es llamado el divisor, a es llamado el dividendo, q es llamado el cociente
y r es llamado el residuo.
La notacin utilizada es:
q = a div d, el operador div sirve para calcular la parte entera de la divisin entre
nmeros enteros.
r = a mod d, el operador mod sirve para calcular el residuo de la divisin entre
nmeros enteros.
Ejemplo 3:
Cul es el cociente y el residuo cuando 233 es dividido por 20?
El nmero 233 puede obtenerse de la siguiente forma con respecto al divisor 20,
233 = 20 11 + 13
233 div 20 = 11, la cantidad de veces que se encuentra presente el 20 en el 233 es 11,
el cual es el cociente, de donde se obtiene que 20 11 = 220.
233 mod 20 = 13, el residuo de la divisin entera es igual a 13, el cual tambin se
obtiene de la siguiente manera 233 220 = 13.
9.1.4.
Cada nmero entero positivo mayor que 1 es divisible por al menos dos nmeros
enteros. Cuando un nmero entero mayor que 1 es divisible nicamente por uno (1) y
por l mismo entonces este nmero es llamado nmero primo.
Definicin (nmero primo): Un nmero entero positivo p ms grande que uno es
llamado nmero primo si nicamente los factores de p son 1 y p. Un nmero entero positivo que es ms grande que 1 y no es un nmero primo es llamado nmero compuesto.
Nota: El nmero entero n es compuesto si y nicamente si existe un nmero entero a
tal que a|n y 1 < a < n.
Ejemplo 4:
Los nmeros 8 y 11 son nmeros primos?
Los factores del 8 son 1, 2, 4 y 8, como se obtienen ms de dos factores entonces el
166
9.1.5.
Cada nmero entero positivo mayor que 1 puede ser escrito nicamente con un
nmero primo o con el producto de dos o ms nmeros primos donde los factores primos son escritos en orden creciente con respecto a su tamao.
Ejemplos 5:
Utilizando el Teorema Fundamental de la Aritmtica la representacin prima de los
nmeros 100, 845, 999 y 1024 es la siguiente:
100 = 2 2 5 5 = 22 52
845 = 5 13 13 = 51 132
999 = 3 3 3 37 = 33 37
1024 = 2 2 2 2 2 2 2 2 2 2 = 210
Teorema:
Sin es un nmero entero compuesto, entonces n tiene un divisor primo menor o igual
a n.
Se utilizar la tcnica de demostracin directa para demostrar la validez del teorema.
Si n es un nmero compuesto, ste tiene un factor a con 1 < a < n, por lo tanto,
n =
a b, donde
a y b son nmeros enteros positivosmsgrandes que 1. Se tiene que
a b > n n = n. Por lo tanto, n tiene
a n o b n, si no fuera as entonces
menor o igual a n.
Del teorema anterior se tiene que un nmero entero n es primo si este no es divisible
por algn primo menor o igual a la raz cuadrada de n.
167
Ejemplo 6:
El nmero entero 169 es un nmero primo?.
Utilizando el teorema anterior se tiene que
si 169 esun nmero compuesto entonces
tendr un factor primo menor o igual a 169, como 169 = 13 entonces dicho factor
primo es el nmero 13, porque 13 13 = 132 = 169. Por lo tanto el nmero 169 es un
nmero compuesto lo que le impide ser un nmero primo.
Ejemplo 7:
El nmero entero 641 es un nmero primo?.
Utilizando de nuevo el teorema anterior se tiene
que si 641 es un nmero compuesto
entonces tendr un factor primo menor o igual a 641
= 25,318 . Los nicos factores
primos que son menores o iguales a 25.318 son: 2, 3, 5, 7, 11, 13, 17, 19 y 23, pero, el
nmero 641 no es divisible por ninguno de estos factores primos, por lo tanto, el nmero
641 no es un nmero compuesto, pero, 641 si es un nmero primo.
El siguiente algoritmo est inspirado en el teorema anterior para determinar si
un nmero es primo.
Booleano EsN umeroP rimo(n : Entero P ositivo)
1.
d=1
2.
p=3
3.
Si (n = 2 o n = 3) Entonces
4.
Retornar Cierto
5.
F in Si
6.
Si (n > 3) Entonces
7.
Si (n mod 2 = 0) Entonces
8.
d=d+1
9.
F in Si
10.
Hacer M ientras (p n y d = 1)
11.
Si (n mod p = 0) Entonces
12.
d=d+1
13.
F in Si
14.
p=p+2
15.
F in Hacer M ientras
16.
Si (d = 1) Entonces
17.
Retornar Cierto
18.
F in Si
19.
De Otro M odo
20.
Retornar F also
21. F in Si
168
Ejemplo 8:
Utilizar el algoritmo EsNumeroPrimo para determinar si el nmero entero 169 es un
nmero primo?.
Al realizar el paso a paso del algoritmo se inicializan los valores de las variables d, p y
n en:
d=1
p=3
n = 169
como 169 es mayor que 3 entonces el algoritmo sigue en la lnea 7, donde el residuo de
dividir 169 en 2 no es cero, por lo tanto el algoritmo sigue al ciclo de repeticin hacer
mientras de la lnea 10, durante el cual siempre se tiene el siguiente valor:
n = 169 = 13 = 13
Iteracin 1:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 3 13 y d = 1.
El residuo de dividir 169 en 3 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p=p+2=3+2=5
Iteracin 2:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 5 13 y d = 1.
El residuo de dividir 169 en 5 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p=p+2=5+2=7
Iteracin 3:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 7 13 y d = 1.
El residuo de dividir 169 en 7 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p=p+2=7+2=9
Iteracin 4:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 9 13 y d = 1.
El residuo de dividir 169 en 9 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p = p + 2 = 9 + 2 = 11
Iteracin 5:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 11 13 y d = 1.
169
Ejemplo 9:
El nmero entero 61 es un nmero primo?.
Al realizar el paso a paso del algoritmo se inicializan los valores de las variables d, p y
n en:
d=1
p=3
n = 61
como 61 es mayor que 3 entonces el algoritmo sigue en la lnea 7, donde el residuo de
dividir 61 en 2 no es cero, por lo tanto el algoritmo sigue al ciclo de repeticin hacer
mientras de la lnea 10, durante el cual siempre se tiene el siguiente valor:
n = 61 = 7,810249676 = 7
Iteracin 1:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 3 7 y d = 1.
El residuo de dividir 61 en 3 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p=p+2=3+2=5
Iteracin 2:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 5 7 y d = 1.
El residuo de dividir 61 en 5 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p=p+2=5+2=7
170
Iteracin 3:
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 7 7 y d = 1.
El residuo de dividir 61 en 7 no es cero, por lo tanto no se incrementa el valor de la
variable d.
p=p+2=7+2=9
Iteracin 4:
No se cumple la condicin del ciclo de repeticin hacer mientras porque 9 7. El
algoritmo continua en el condicional de la lnea 16.
Por ltimo:
Como d = 1 entonces se cumple dicho condicional y la funcin termina retornando
cierto, lo que indica que el nmero 61 si es un nmero primo.
9.1.6.
4.
Hacer M ientras (p n)
5.
Si (n mod p = 0) Entonces
6.
ai = p
7.
n = n div p
8.
i=i+1
9.
F in Si
10.
De Otro M odo
11.
p = GenerarSiguienteP rimo(p)
12.
F in Hacer M ientras
13.
ai = n
14. F in Si
La factorizacin prima del nmero n es a0 a1 a2 . . . ak , donde se obtienen k factores
primos no necesariamente diferentes, donde a0 a1 a2 . . . ak .
El procedimiento hace uso de la funcin GenerarSiguientePrimo, la cual se define
a continuacin, dicha funcin lo que hace es generar el siguiente nmero que se obtiene
a partir de un nmero primo p.
171
Ejemplo 10:
Utilizar el algoritmo para generar la factorizacin prima del nmero entero 100.
Al realizar el paso a paso del algoritmo (o prueba de escritorio) se inicializan los valores
de las variables i, p y n en:
i=0
p=2
n = 100
como 100 es mayor que 1 entonces el algoritmo sigue en el ciclo de repeticin.
Iteracin 1:
n = 100 = 10 = 10
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 2 10.
El residuo de dividir 100 en 2 es cero, por lo tanto:
ai = a0 = 2
n = 100
= 50
2
i=i+1=0+1=1
Iteracin 2:
n = 50 = 7,071067812 = 7
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 2 7.
El residuo de dividir 50 en 2 es cero, por lo tanto:
ai = a1 = 2
n = 50
= 25
2
i=i+1=1+1=2
Iteracin 3:
n = 25 = 5 = 5
172
n = 25 = 5 = 5
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 3 5.
El residuo de dividir 25 en 3 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(3) = 5
Iteracin 5:
n = 25 = 5 = 5
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 5 5.
El residuo de dividir 25 en 5 es cero, por lo tanto:
ai = a2 = 5
=5
n = 25
5
i=i+1=2+1=3
Iteracin 6:
n = 5 = 2,236067978 = 2
No se cumple la condicin del ciclo de repeticin y se sale de l porque el 5 2.
Por ltimo:
ai = a3 = 5
La factorizacin prima del nmero cien, es 100 = a0 a1 a2 a3 = 2 2 5 5 = 22 52 .
Ejemplo 11:
Utilizar el algoritmo para generar la factorizacin prima del nmero entero 641.
Al realizar el paso a paso del algoritmo se inicializan los valores de las variables i, p y
n en:
i=0
p=2
n = 641
como 641 es mayor que 1 entonces el algoritmo sigue en el ciclo de repeticin.
Iteracin 1:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 2 25.
El residuo de dividir 641 en 2 no es cero, por lo tanto:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 3 25.
El residuo de dividir 641 en 3 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(3) = 5
Iteracin 3:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 5 25.
El residuo de dividir 641 en 5 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(5) = 7
Iteracin 4:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 7 25.
El residuo de dividir 641 en 7 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(7) = 11
Iteracin 5:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 11 25.
El residuo de dividir 641 en 11 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(11) = 13
Iteracin 6:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 13 25.
El residuo de dividir 641 en 13 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(13) = 17
Iteracin 7:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 17 25.
El residuo de dividir 641 en 17 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(17) = 19
Iteracin 8:
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 19 25.
173
174
n = 641 = 25,3179778 = 25
Se cumple la condicin del ciclo de repeticin hacer mientras porque el 23 25.
El residuo de dividir 641 en 23 no es cero, por lo tanto:
p = GenerarSiguienteP rimo(23) = 29
Iteracin 10:
n = 641 = 25,3179778 = 25
No se cumple la condicin del ciclo de repeticin hacer mientras porque el 29 25.
Por ltimo:
ai = a0 = n = 641
La factorizacin prima es 641 = a0 = 641 = 6411 .
Teorema:
Los nmeros primos son infinitos.
Se probar este teorema utilizando la tcnica de demostracin por contradiccin. Se
asume que existe una cantidad finita de nmeros primos, los cuales son: p1 , p2 , p3 , . . .,
pn . Sea Q = p1 p2 p3 . . . pn + 1. Por el Teorema Fundamental de la Aritmtica,
Q es un nmero primo o de otro modo puede ser escrito como el producto de dos o
ms nmeros primos. Sin embargo, ninguno de los primos pj divide a Q, por lo tanto
Q es un nmero primo y se llega a una contradiccin con respecto a que el conjunto
de los nmeros primos sea un conjunto finito. De esta forma queda demostrado que el
conjunto de los nmeros primos es infinito.
9.1.7.
Sean a y b nmeros enteros diferentes de cero. El entero ms grande d tal que d|a y
d|b es llamado el Mximo Comn Divisor (MCD) de a y b. El mximo comn divisor
de a y b se denota por M CD(a, b).
Ejemplo 12:
Cul es el M CD(24, 36)?
Los divisores comunes de ambos nmeros son: 1, 2, 3, 4, 6 y 12, donde
M CD(24, 36) = M AX({1, 2, 3, 4, 6, 12}) = 12.
175
Ejemplo 13:
Cul es el M CD(17, 22)?
M CD(17, 22) = 1.
Definicin (primos relativos): Los nmeros enteros a y b son primos relativos si el
MCD es igual a 1.
Ejemplo 14:
17 y 22 son primos relativos porque M CD(17, 22) = 1.
Otra forma de encontrar el M CD de dos nmeros enteros es usando la factorizacin
prima de los dos nmeros a y b, donde:
b = pb11 pb22 . . . pbnn
M CD(a, b) = p1
n,
. . . pmin(a
n
bn )
Ejemplo 15:
La factorizacin prima de 120 y 500 es: 120 = 23 31 51 , 500 = 22 30 53
M CD(120, 500) = 2min(3,
9.1.8.
2)
3min(1,
0)
5min(1,
3)
= 22 30 51 = 20
El Mnimo Comn Mltiplo de los nmeros enteros positivos a y b es el nmero entero positivo ms pequeo que es divisible por ambos nmeros enteros a y b. El mnimo
comn mltiplo entre a y b es denotado por M CM (a, b).
La forma ms fcil de calcular el M CM entre dos nmeros enteros es utilizando la
factorizacin prima de dichos nmeros, donde:
a = pa11 pa22 . . . pann ,
176
Ejemplo 16:
Cul es el M CM (95256, 432)?
La factorizacin prima de 95256 y 432 es: 95256 = 23 35 72 , 432 = 24 33
M CM (95256, 432) = 2max(3,
4)
3max(5,
3)
7max(2,
0)
= 24 35 72 = 16 243 49 = 190512
Ejemplo 17:
Sean los nmeros enteros 50 y 25, M CD(50, 25) = 25 y M CM (50, 25) = 50, 50 25 =
M CD(50, 25) M CM (50, 25) = 25 50
9.1.9.
El algoritmo de Euclides
La siguiente es una versin iterativa del algoritmo de Euclides para calcular el mximo comn divisor de dos nmeros enteros positivos:
P rocedimiento M CD(a, b : Enteros P ositivos)
1.
x=a
2.
y=b
3.
Hacer M ientras (y = 0)
4.
r = x mod y
5.
x=y
6.
y=r
7.
F in Hacer M ientras
en el algoritmo x mod y es el residuo de la divisin entera de x por y.
Al finalizar el algoritmo el mximo comn divisor de los nmeros enteros x y y se encuentra almacenado en la variable x.
La siguiente es una versin recursiva del algoritmo de Euclides para calcular el mximo comn divisor de dos nmeros enteros positivos:
y
si y x y (x mod y) = 0
Euclides(x, y) = Euclides(y, x)
si x < y
177
Ejemplo 18:
Encontrar el M CD(662, 414) usando el algoritmo de Euclides.
Euclides(662, 414) = Euclides(414, (662 mod 414)) = Euclides(414, 248) =
Euclides(248, (414 mod 248)) = Euclides(248, 166) =
Euclides(166, (248 mod 166)) = Euclides(166, 82) =
Euclides(82, (166 mod 82)) = Euclides(82, 2) = 2
9.2.
Aritmtica modular
En ocasiones lo nico que interesa es el residuo de un nmero al ser dividido por otro.
Por ejemplo, qu hora ser dentro de 50 horas a partir de este momento?, sabemos que
dentro de 24 horas ser exactamente la misma hora actual, lo mismo sucede dentro de
48 horas donde tendremos exactamente la misma hora actual, como simplemente faltan
2 horas para completar las 50 horas, entonces dentro de 50 horas tendremos exactamente la misma hora actual ms dos horas.
Definicin (congruencia): Si a y b son nmeros enteros y m es un nmero entero
positivo, entonces a es congruente a b modulo m si m divide a (a b). Se usa la notacin a b(mod m) para indicar que a es congruente a b modulo m. Si a y b no son
congruentes modulo m, se escribe a b(mod m).
Teorema (congruencia):
Sea a y b nmeros enteros y m un entero positivo. Entonces a b(mod m) si y nicamente si a mod m = b mod m.
Ejemplo 19:
Determinar si 17 es congruente a 5 modulo 6, es decir, 17 5(mod 6)?
Utilizando la definicin de congruencia se tiene que el 6 divide a 17 5 = 12, es decir
6|(17 5) = 6|(12) = 6|(6 2) = 2, de donde se concluye que 17 es congruente a 5
modulo 6.
Utilizando el teorema de congruencia se tiene 17 mod 6 = 5 mod 6, 5 = 5, como se
presenta la igualdad entonces es cierto que 17 es congruente a 5 modulo 6.
Ejemplo 20:
Determinar si 24 es congruente a 14 modulo 6, es decir, 24 14(mod 6)?
178
Ejemplo 21:
Se tiene que 7 2(mod 5) y que 11 1(mod 5) entonces con respecto al teorema
anterior se tiene que 7 + 11 2 + 1(mod 5), 18 3(mod 5) que efectivamente es cierto
y que 7 11 2 1(mod 5), 77 2(mod 5) lo cual tambin es cierto.
9.2.1.
La Aritmtica Modular tiene muchas aplicaciones en matemticas discretas y ciencias de la computacin. Algunas de la aplicaciones ms importantes son las siguientes:
Asignacin de localizaciones de memoria en el computador.
Generacin de nmeros pseudoaleatorios.
Criptosistemas basados en aritmtica modular.
9.2.2.
179
Sea h(k) la funcin hash definida como h(k) = k mod m, donde k es la llave que
representa al registro (en nuestro ejemplo k es el nmero de cdula de una persona y
donde la cdula se considera como llave principal porque permite diferenciar de forma
nica a cualquier colombiano con respecto a todos los colombianos) y m es la cantidad
de posiciones en memoria que se tienen para almacenar los registros, perfectamente en
el contexto universitario un valor adecuado de m podra ser 100000, para considerar
que se puede guardar como mximo la informacin de 100000 estudiantes.
Ejemplo 22:
En que posicin de memoria debera de quedar almacenada la informacin del estudiante de cdula 1456452525 si se considera un valor de m = 100000?
La informacin deber quedar almacenada en el registro ubicado en la posicin
52.525, el cual es el resultado que se obtiene con la funcin hash
h(1456452525) = 1456452525 mod 100000 = 52525
La funcin h no es inyectiva porque dos llaves (cdulas) pueden hacer referencia al mismo
registro para almacenar su informacin all, tal es el caso de las cdulas 1456452525 y
4987152525 que hacen referencia al registro ubicado en la posicin 52525, ste tipo de
problemas es solucionado utilizando manejo de colisiones, las cuales estn fuera del
alcance de este libro.
9.2.3.
Ejemplo 23:
Cul es la secuencia de nmeros que se generan al elegir el modulo m = 9, el multiplicador a = 7, el incremento c = 4 y la semilla x0 = 3?
x0 = 3
x1 = (7 x0 + 4) mod 9 = (7 3 + 4) mod 9 = 25 mod 9 = 7
x2 = (7 x1 + 4) mod 9 = (7 7 + 4) mod 9 = 53 mod 9 = 8
x3 = (7 x2 + 4) mod 9 = (7 8 + 4) mod 9 = 60 mod 9 = 6
180
x4
x5
x6
x7
x8
x9
mod
mod
mod
mod
mod
mod
9 = (7 6 + 4)
9 = (7 1 + 4)
9 = (7 2 + 4)
9 = (7 0 + 4)
9 = (7 4 + 4)
9 = (7 5 + 4)
mod
mod
mod
mod
mod
mod
9 = 46 mod 9 = 1
9 = 11 mod 9 = 2
9 = 18 mod 9 = 0
9 = 4 mod 9 = 4
9 = 32 mod 9 = 5
9 = 39 mod 9 = 3
9.2.4.
Ejemplo 24:
Considerar que se tiene el siguiente alfabeto: {a, b, c, d, e, f, g, h, i, j, k, l, m},
y que en el encriptamiento una letra se reemplaza por la que est tres posiciones a la
derecha de sta, en los casos en que se necesita seguir contando letras y stas se acaben
entonces se sigue contando desde la primer letra del alfabeto, es decir se debe considerar
que el alfabeto es cclico. Cmo se debe escribir la palabra magia encriptada de esta
forma?
Segn el alfabeto las letras de la palabra magia son reemplazadas por: m c, a d,
g j, i l y a d. Encriptar(magia)=cdjld.
Formalmente el proceso consiste en:
Si se estn utilizando todas las letras del alfabeto espaol entonces reemplazar
cada letra por un entero entre 0 y 26, donde a 0, b 1, . . ., z 26.
Para cada una de las posiciones de las letras calcular la nueva posicin apoyado
en la siguiente formula f (p) = (p + desplazamiento) mod 27
Para cada una de las nuevas posiciones, reemplazar dichas posiciones por la letra
que corresponde en el alfabeto para dicha ubicacin.
181
Ejemplo 25:
Cul es el mensaje secreto producido por la palabra universidad teniendo un desplazamiento de 8 en el mtodo de Julio Cesar y considerando todo el alfabeto espaol?
Equivalencia de las letras a sus
a 0,
b 1,
c 2,
i 8,
j 9,
k 10,
p 16, q 17,
r 18,
x 24, y 25,
z 26.
2 21 16 3 12 26 0 16 11 8 11
P osicionesP orLetras( 2 21 16 3 12 26 0 16 11 8 11 ) = cupdmzaplil
De esta forma Encriptar( universidad ) = cupdmzaplil .
9.3.
182
Ejemplo 26:
Cul es la representacin decimal del nmero entero que tiene como representacin
binaria a (10111100)2 ?
(10111100)2 = 1 27 + 0 26 + 1 25 + 1 24 + 1 23 + 1 22 + 0 21 + 0 20
= 27 + 25 + 24 + 23 + 22
= 128 + 32 + 16 + 8 + 4
= 188
Ejemplo 27:
Cul es la representacin decimal del nmero entero que tiene como representacin
ternaria a (210112)3 ?
(210112)3 = 2 35 + 1 34 + 0 33 + 1 32 + 1 31 + 2 30
= 2 243 + 1 81 + 1 9 + 1 3 + 2 1
= 486 + 81 + 9 + 3 + 2
= 581
Ejemplo 28:
Cul es la representacin decimal del nmero entero que tiene como representacin en
base 6 a (310541)6 ?
(310541)6 = 3 65 + 1 64 + 0 63 + 5 62 + 4 61 + 1 60
= 3 7776 + 1 1296 + 5 36 + 4 6 + 1 1
= 23328 + 1296 + 180 + 24 + 1
= 24829
9.3.1.
183
Ejemplo 29:
Cul es la representacin decimal del nmero entero que tiene como representacin en
base hexadecimal a (BC024)16 ?
(BC024)16
(BC024)16
(BC024)16
(BC024)16
9.3.2.
Ejemplo 30:
Cul es la representacin binaria (o representacin en base 2) del nmero entero 188
(el cual se sobre entiende que est en base 10 base decimal)?
188 = 2 94 + 0,
94 = 2 47 + 0,
47 = 2 23 + 1,
23 = 2 11 + 1,
11 = 2 5 + 1,
5 = 2 2 + 1,
2 = 2 1 + 0,
1 = 2 0 + 1,
q0
q1
q2
q3
q4
q5
q6
q7
= 94,
= 47,
= 23,
= 11,
= 5,
= 2,
= 1,
= 0,
a0
a1
a2
a3
a4
a5
a6
a7
=0
=0
=1
=1
=1
=1
=0
=1
184
Ejemplo 31:
Cul es la representacin en base 3 (o base ternaria) del nmero entero 581?
581 = 3 193 + 2,
193 = 3 64 + 1,
64 = 3 21 + 1,
21 = 3 7 + 0,
7 = 3 2 + 1,
2 = 3 0 + 2,
q0
q1
q2
q3
q4
q5
= 193,
= 64,
= 21,
= 7,
= 2,
= 0,
a0
a1
a2
a3
a4
a5
=2
=1
=1
=0
=1
=2
Ejemplo 32:
Cul es la representacin en base 6 del nmero entero 24829?
24829 = 6 4138 + 1,
4138 = 6 689 + 4,
689 = 6 114 + 5,
114 = 6 19 + 0 ,
19 = 6 3 + 1 ,
3 =60+3 ,
q0
q1
q2
q3
q4
q5
= 4138,
= 689 ,
= 114 ,
= 19 ,
=3 ,
=0 ,
a0
a1
a2
a3
a4
a5
=1
=4
=5
=0
=1
=3
9.3.3.
185
Ejemplo 33:
Utilizar el algoritmo RepresentacionEnBaseB para generar la representacin en base
4 del nmero 531.
Al realizar el paso a paso del algoritmo se inicializan los valores de las variables n y b
en:
n = 531
b=4
como b es mayor o igual a 2 entonces el algoritmo sigue en la lnea 2, donde se le asignan
los siguientes valores a las variables q y k:
q = n = 531
k=0
como la variable q tiene un valor diferente de cero, entonces el algoritmo entra al ciclo
de repeticin hacer mientras de la lnea 4, las siguientes son las iteraciones que realiza
el ciclo de repeticin:
Iteracin 1:
Se cumple la condicin del ciclo de repeticin hacer mientras porque q = 531 = 0, el
trabajo que se realiza dentro del ciclo es el siguiente:
ak = q mod b,
q = q div b,
k = k + 1,
a0 = 531 mod 4,
q = 531 div 4,
k = 0 + 1,
a0 = 3
q = 132
k=1
Iteracin 2:
Se cumple la condicin del ciclo de repeticin hacer mientras porque q = 132 = 0, el
trabajo que se realiza dentro del ciclo es el siguiente:
ak = q mod b,
q = q div b,
k = k + 1,
a1 = 132 mod 4,
q = 132 div 4,
k = 1 + 1,
a1 = 0
q = 33
k=2
Iteracin 3:
Se cumple la condicin del ciclo de repeticin hacer mientras porque q = 33 = 0, el
trabajo que se realiza dentro del ciclo es el siguiente:
ak = q mod b,
q = q div b,
k = k + 1,
a2 = 33 mod 4,
q = 33 div 4,
k = 2 + 1,
a2 = 1
q=8
k=3
Iteracin 4:
Se cumple la condicin del ciclo de repeticin hacer mientras porque q = 8 = 0, el
trabajo que se realiza dentro del ciclo es el siguiente:
186
a3 = 8 mod 4,
q = 8 div 4,
k = 3 + 1,
a3 = 0
q=2
k=4
Iteracin 5:
Se cumple la condicin del ciclo de repeticin hacer mientras porque q = 2 = 0, el
trabajo que se realiza dentro del ciclo es el siguiente:
ak = q mod b,
q = q div b,
k = k + 1,
a4 = 2 mod 4,
q = 2 div 4,
k = 4 + 1,
a4 = 2
q=0
k=5
Iteracin 6:
Ya no se cumple la condicin del ciclo de repeticin porque la variable q es igual a cero,
por lo tanto el algoritmo termina.
Por ltimo:
Como la representacin del nmero entero 531 en base 4 es (a4 a3 a2 a1 a0 )4 entonces dicha
representacin es (20103)4 .
9.3.4.
Ejemplo 34:
Utilizar el algoritmo SumaDeNumerosEnterosEnBaseBinaria para sumar los nmeros
enteros positivos a y b que tienen respectivamente las siguientes representaciones binarias (1101010)2 y (111100)2 .
187
Al realizar el paso a paso del algoritmo se inicializan los valores de las variables c, j y
n en:
c=0
n = 7, donde n es la cantidad de bits del nmero ms largo de los dos que se van a
sumar, en el caso del nmero que tenga menos bits entonces ste se lleva a la misma
longitud del otro nmero rellenando de tantos ceros como sean necesarios en la parte
izquierda del nmero hasta alcanzar la longitud del nmero ms largo, por este motivo
el nmero b queda representado as: (0111100)2 .
El algoritmo entra al ciclo de repeticin Para de la lnea 3, las siguientes son las
iteraciones que realiza el ciclo de repeticin:
Iteracin 1:
El ciclo de repeticin para comienza incializando su contador de ciclo j en cero, el
trabajo que se realiza dentro del ciclo es el siguiente:
d = a0 + 2b0 + c ,
d = 0 + 02 + 0 ,
d=0
s0 = a0 + b0 + c 2d,
s0 = 0 + 0 + 0 2 0,
s0 = 0
c = d,
c=0
j=1
Iteracin 2:
Se cumple la condicin del ciclo de repeticin para porque j = 1 6, el trabajo que se
realiza dentro del ciclo es el siguiente:
d = a1 + 2b1 + c ,
d = 1 + 02 + 0 ,
d=0
s1 = a1 + b1 + c 2d,
s1 = 1 + 0 + 0 2 0,
s1 = 1
c = d,
c=0
j=2
Iteracin 3:
Se cumple la condicin del ciclo de repeticin para porque j = 2 6, el trabajo que se
realiza dentro del ciclo es el siguiente:
d = a2 + 2b2 + c ,
d = 0 + 12 + 0 ,
d=0
s2 = a2 + b2 + c 2d,
s2 = 0 + 1 + 0 2 0,
s2 = 1
c = d,
c=0
j=3
Iteracin 4:
Se cumple la condicin del ciclo de repeticin para porque j = 3 6, el trabajo que se
realiza dentro del ciclo es el siguiente:
d = a3 + 2b3 + c ,
d = 1 + 12 + 0 ,
d=1
s3 = a3 + b3 + c 2d,
s3 = 1 + 1 + 0 2 1,
s3 = 0
c = d,
c=1
j=4
188
Iteracin 5:
Se cumple la condicin del ciclo de repeticin para porque j = 4 6, el trabajo que se
realiza dentro del ciclo es el siguiente:
d = a4 + 2b4 + c ,
d = 0 + 12 + 1 ,
d=1
s4 = a4 + b4 + c 2d,
s4 = 0 + 1 + 1 2 1,
s4 = 0
c = d,
c=1
j=5
Iteracin 6:
Se cumple la condicin del ciclo de repeticin para porque j = 5 6, el trabajo que se
realiza dentro del ciclo es el siguiente:
d = a5 + 2b5 + c ,
d = 1 + 12 + 1 ,
d=1
s5 = a5 + b5 + c 2d,
s5 = 1 + 1 + 1 2 1,
s5 = 1
c = d,
c=1
j=6
Iteracin 7:
Se cumple la condicin del ciclo de repeticin para porque j = 6 6, el trabajo que se
realiza dentro del ciclo es el siguiente:
d = a6 + 2b6 + c ,
d = 1 + 02 + 1 ,
d=1
s6 = a6 + b6 + c 2d,
s6 = 1 + 0 + 1 2 1,
s6 = 0
c = d,
c=1
j=7
Iteracin 8:
Ya no se cumple la condicin del ciclo de repeticin para porque j = 7
6, por lo tanto
el ciclo de repeticin termina y el algoritmo continua en la lnea 8.
Por ltimo:
s7 = 1. El resultado de sumar los nmeros a y b en representacin binaria es
(s7 s6 s5 s4 s3 s2 s1 s0 )2 , con respecto a los valores obtenidos en el paso a paso del algoritmo
el resultado es: (10100110)2 .
Las representaciones en base diez de los nmeros a, b y el resultado s es:
a = (1101010)2 = 1 26 + 1 25 + 0 24 + 1 23 + 0 22 + 1 21 + 0 20
= 1 64 + 1 32 + 1 8 + 1 2
= 64 + 32 + 8 + 2
= 106
b = (0111100)2 = 0 26 + 1 25 + 1 24 + 1 23 + 1 22 + 0 21 + 0 20
= 1 32 + 1 16 + 1 8 + 1 4
189
= 32 + 16 + 8 + 4
= 60
s = (10100110)2 = 1 27 + 0 26 + 1 25 + 0 24 + 0 23 + 1 22 + 1 21 + 0 20
= 1 27 + 1 25 + 1 22 + 1 21
= 1 128 + 1 32 + 1 4 + 1 2
= 128 + 32 + 4 + 2
= 166
y efectivamente 106 + 60 = 166.
Algoritmo para la multiplicacin de nmeros enteros en base 2
Para el siguiente algoritmo las representaciones binarias de a y b son (an1 an2 . . . a1 a0 )2
y (bn1 bn2 . . . b1 b0 )2 , respectivamente. Adicionalmente, c0 , c1 , . . ., cn1 son los productos parciales.
P rocedimiento M ultiplicacionDeN umerosEnterosEnBaseBinaria(a, b : Enteros
P ositivos)
1.
n = CantidadBits(b)
2.
P ara j = 0 Hasta n 1
3.
Si (bj = 1) Entonces
4.
cj = (desplazar el nmero a j lugares a la izquierda)
5.
De Otro M odo
6.
cj = 0
7.
F in P ara
8.
p=0
9.
P ara j = 0 to n 1
10.
p = p + cj
11. F in P ara
Al terminar el algoritmo en la variable p queda almacenado el resultado de multiplicar
los nmeros enteros a y b.
Ejemplo 35:
Utilizar el algoritmo MultiplicacionDeNumerosEnterosEnBaseBinaria para multiplicar
los nmeros enteros positivos a y b que tienen respectivamente las siguientes representaciones binarias (1001)2 y (1101)2 .
Al realizar el paso a paso del algoritmo se inicia el valor de la variable n con el nmero
entero positivo 4, porque el nmero b en su representacin binaria tiene cuatro bits.
El algoritmo contina en la lnea 2 donde ingresa al ciclo de repeticin Para donde se
realizan las siguientes iteraciones:
190
p = 0 + 9,
j = 0 + 1 = 1,
p=9
j=1
9.4. EJERCICIOS
191
p = 9 + 0,
j = 1 + 1 = 1,
p=9
j=2
p = 9 + 36,
j = 2 + 1 = 1,
p = 45
j=3
p = 45 + 72,
j = 3 + 1 = 1,
p = 117
j=4
9.4.
Ejercicios
1. El nmero entero positivo 1327 es un nmero primo?, demostrar o refutar utilizando las propiedades de los nmeros primos.
192
2. El nmero entero positivo 2371 es un nmero primo?, demostrar o refutar utilizando las propiedades de los nmeros primos.
3. El nmero entero positivo 3721 es un nmero primo?, demostrar o refutar utilizando las propiedades de los nmeros primos.
4. El nmero entero positivo 7231 es un nmero primo?, demostrar o refutar utilizando las propiedades de los nmeros primos.
5. Escribir los siguientes nmeros como un producto de factores primos, teniendo en
cuenta que
pn1 1 pn2 2 . . . pnk k ,
0 < ni ,
1 i k,
a) 407125
b) 184600
c) 842570
d ) 945677
6. Cuntos divisores tiene el nmero 407125?
7. Cuntos divisores tiene el nmero 184600?
8. Cuntos divisores tiene el nmero 842570?
9. Cuntos divisores tiene el nmero 945677?
10. Apoyados en el Teorema Fundamental de la Aritmtica y utilizando la factorizacin prima de los nmeros enteros, determinar el Mximo Comn Divisor (MCD)
y el Mnimo Comn Mltiplo (MCM) de las siguientes parejas de nmeros enteros:
a) 225 y 350
b) 254 y 896
c) 425 y 789
d ) 486 y 964
e) 487 y 765
f ) 504 y 540
g) 1576, 8748 y 99500
h) 1976, 4258 y 80275
i) 6175, 8632 y 73853
j ) 9846, 5700 y 94567
11. Para cada n Z+ , cul es el M CD(n, n + 1) y M CM (n, n + 1)?
9.4. EJERCICIOS
12. Para a, b, d Z+ y d = M CD(a, b), demostrar que M CD( ad ,
193
b
)
d
=1
En
este
caso
trabajar
con
el
alfabeto
ingls,
el
{A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z}
2
cual
es:
194
Bibliografa
[B1988]
Bustamente, Alfonso. 1988. Elementos de Algebra en Ciencias de la Computacin. Serie de textos universitarios, Universidad ICESI, Cali.
[C1989]
Caicedo, Xavier. 1989. Elementos de Lgica Matemtica y Calculabilidad. Universidad de los Andes, Bogot.
[dC2004]
[G1997]
[J1997]
[J2009]
[KBR1997]
[MAI2004]
[MAI2005]
[MAI2006]
[MI2010]
196
BIBLIOGRAFA
Disponible de internet:
http://web2.icfes.gov.co/index.php?option=com_docman&task=
doc_view&gid=2807
[MIA2003]
[MIA2004]
Ministerio de Educacin Nacional Republica de Colombia - Icfes Acofi. 2004. Exmenes de Calidad de la Educacin Superior, Ingeniera
de Sistemas: Cuadernillo de Preguntas y Respuestas Segunda Sesin
[online]. ICFES.
Disponible de internet:
http://200.14.205.63:8080/portalicfes/home_2/rec/arc_4181.pdf
http://200.14.205.63:8080/portalicfes/home_2/rec/arc_4237.xls
[R2004]
[RW1990]