Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
ÁLGEBRA
AUTOR
M. Sc. Rudy Wilfredo Mayta Callisaya
LA PAZ - BOLIVIA
2023
El presente libro está enfocado a estudiantes de Ciencias y Tecnología, debido a que en este li-
bro se tratan los temas de Lógica Elemental en el cual se enfoca la relación que existe de los
teoremas, corolarios, afirmaciones y propiedades que se presentan en el campo de la matemática
cuyos enunciados están compuestos por oraciones denominadas proposiciones y estos resultan ser
equivalentes a enunciados cuya forma se presentan en el lenguaje lógico los cuales se pueden llegar
a analizar según el requerimiento del enunciado bajo las leyes lógicas y el razonamiento deductivo
y así obtener un enunciado en nuestro lenguaje común que llegue a ser más comprensible; El tema
de Conjuntos es otro lenguaje cuyos enunciados son equivalentes a algún enunciado en el lenguaje
lógico y gracias a esta relación se llegan a verificar la veracidad de estos enunciados que se en-
cuentran en términos del lenguaje lógico bajo las leyes lógicas y el razonamiento deductivo; En
el tema de Relaciones y Funciones se estudian las relaciones de equivalencia el cual nos permitirá
comprender la idea de partición de un conjunto y también se estudia la relación de orden que nos
permite relacionar los elementos en un determinado conjunto para llegar a estudiar sus diferentes
propiedades y bajo la idea de relación se define lo que es una función y la biyectividad de una
funciones nos permite realizar el estudio de la cardinalidad de conjuntos que intuitivamente nos
indica si un conjunto tiene la misma cantidad de elementos que otro conjunto; El tema de los nú-
meros Naturales y Enteros está enfocado al estudio de la inducción matemática y a la divisibilidad
el cual nos permite ver las formas diferentes de determinar el máximo común divisor de números
enteros el cual a su vez nos permite realizar la solución de ecuaciones diofánticas, ecuaciones que
se resuelven en el conjunto de los números enteros; El tema de Estructuras Algebraicas es un tema
introductorio al estudio del Álgebra Abstracta.
Índice general
1. Lógica Elemental 1
1.1. Introducción: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Proposición y Valor de verdad: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3. Clasificación de las Proposiciones: . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Álgebra de Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.1. Leyes Lógicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4.2. Simplificación de formulas Proposicionales: . . . . . . . . . . . . . . . . . 22
1.5. Razonamiento Deductivo Valido o Inferencia Lógica: . . . . . . . . . . . . . . . . . 32
1.5.1. Reglas de Inferencia: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.5.2. Métodos de Demostraciones: . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.6. Cuantificador Universal y Existencial . . . . . . . . . . . . . . . . . . . . . . . . . 49
1.7. Ejercicios Propuestos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2. Conjuntos 63
2.1. Introducción: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.2. La Relación de Inclusión: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.3. La Relación de Igualdad: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.4. Complemento de un conjunto: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.5. Unión e Intersección de Conjuntos: . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.5.1. Unión de Conjuntos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
i
Álgebra
ii
Álgebra
iii
CAPÍTULO 1
Lógica Elemental
1.1. Introducción:
La lógica matemática o lógica elemental es un lenguaje formal que tiene su propio alfabeto lógico
que consiste en las proposiciones simples y los conectivos lógicos, con los cuales se llegan a formal
las proposiciones compuestas, que corresponderian a las palabras y oraciones en dicho lenguaje
bajo los axiomas que gobiernan la lógica matemática.
Algunos problemas del lenguaje común bajo un parafraseo adecuado se pueden llegar a transcribir a
un problema equivalente en el cual la estructura del problema estaria compuesto por proposiciones
simples y conectivos lógicos del lenguaje de la lógica matemática, en el cual se podria realizar un
análisis adecuado bajo las leyes y reglas que gobiernan la lógica matemática y este análisis nos
permitiria obtener un problema totalmente equivalente al problema original el cual al transcribirlo
al lenguaje común llegariamos a obtener un enunciado mucho más clara que el problema original
que se planteo en el lenguaje común.
1
Álgebra
A las oraciones que son proposiciones se las llega a simbolizar mediante las letras p, q, r, etc.
se pueden llegar a formar proposiciones compuestas como las que se tienen a continuación
[(p → q) ∧ p] → q
(p ∧ q) → p
Como de la proposición simple p pueden llegar a ser verdadera o falsa, es decir v(p) = V ó
v(p) = F , entonces se puede llegar a asignar un valor de verdad a una proposición compuesta
y para lograr esto primero analicemos cada uno de los valores de verdad que se pueden llegar a
obtener mediante el valor de verdad de una proposición simple y un conectivo lógico.
a) Negación (∼)
2
Álgebra
p ∼p
v(p) = V v(∼ p) = F
v(p) = F v(∼ p) = V
o equivalentemente
p ∼p
V F
F V
Ejemplo 3. Sea
Ejemplo 4. Sea
b) Conjunción (∧)
p q p∧q
v(p) = V v(q) = V v(p ∧ q) = V
v(p) = V v(q) = F v(p ∧ q) = F
v(p) = F v(q) = V v(p ∧ q) = F
v(p) = F v(q) = F v(p ∧ q) = F
o equivalentemente
3
Álgebra
p q p∧q
V V V
V F F
F V F
F F F
p∧q
y según el significado de las proposiciones p y q se tiene que v(p) = V , v(q) = V , así según la tabla
de verdad de la conjunción se tendrá que v(p ∧ q) = V , por tanto el valor de verdad del enunciado
es verdadero.
p∧q
y según el significado de las proposiciones p y q se tiene que v(p) = V , v(q) = F , así según la tabla
de verdad de la conjunción se tendrá que v(p ∧ q) = F , por tanto el valor de verdad del enunciado
4
Álgebra
es falso.
c) Disyunción (∨)
p q p∨q
v(p) = V v(q) = V v(p ∨ q) = V
v(p) = V v(q) = F v(p ∨ q) = V
v(p) = F v(q) = V v(p ∨ q) = V
v(p) = F v(q) = F v(p ∨ q) = F
o equivalentemente
p q p∨q
V V V
V F V
F V V
F F F
5
Álgebra
p q p→q
v(p) = V v(q) = V v(p → q) = V
v(p) = V v(q) = F v(p → q) = F
v(p) = F v(q) = V v(p → q) = V
v(p) = F v(q) = F v(p → q) = V
o equivalentemente
p q p→q
V V V
V F F
F V V
F F V
i) p → q si
6
Álgebra
p q p↔q
v(p) = V v(q) = V v(p ↔ q) = V
v(p) = V v(q) = F v(p ↔ q) = F
v(p) = F v(q) = V v(p ↔ q) = F
v(p) = F v(q) = F v(p ↔ q) = V
o equivalentemente
p q p↔q
V V V
V F F
F V F
F F V
Ejemplo 9. Determinar el valor de verdad de la proposición p ↔ q si
p q pYq
v(p) = V v(q) = V v(p Y q) = F
v(p) = V v(q) = F v(p Y q) = V
v(p) = F v(q) = V v(p Y q) = V
v(p) = F v(q) = F v(p Y q) = F
o equivalentemente
p q pYq
V V F
V F V
F V V
F F F
7
Álgebra
p q p∧q
V V V
V F F
F V F
F F F
p q p∨q
V V V
V F V
F V V
F F F
8
Álgebra
∼ p ∨ ∼ p ∧ q → ∼ q ∧ p
|{z} |{z} |{z} |{z} |{z}
F F F
| V {z V }
| {z }
{z F V
| }
F
p q p→q
V V V
V F F
F V V
F F V
se tiene que
∼ p ∨ ∼ p ∧ q → ∼ q ∧ p
|{z} |{z} |{z} |{z} |{z}
F F F
| V {z V }
| {z }
{z F V
| }
F
| {z }
V
Ejemplo 12. Determinar si existe una combinación de valores de verdad para que
p q p∧q
V V V
V F F
F V F
F F F
9
Álgebra
el único caso cuando v (p ∧ q) = V es cuando v (p) = V y v (q) = V , por tanto para que la
proposición [(p ∨ r) →∼ q] ∧ (q∧ ∼ r) tenga un valor de verdad verdadera tiene que ocurrir lo
siguiente
V
z }| {
V
z
}| {
V
z }| {
[(p ∨ r) →∼ q] ∧ q ∧ |{z}
∼ r
|{z}
V V
de esta forma se tiene que v(q) = V y v(r) = F , así la proposición [(p ∨ r) →∼ q] ∧ (q∧ ∼ r) ohora
tendria la forma
V
z }| {
V V
z }| { z }| {
!
p∨ r → ∼ q ∧ q ∧ |{z}
∼ r
|{z} |{z} |{z}
F F V V
p q p→q
V V V
V F F
F V V
F F V
V
z }| {
V
z }| { V
{ z }|
!
p∨ r → ∼ q ∧ q ∧ ∼ r
|{z} |{z} |{z} |{z}
F F
V V
| {z }
F
10
Álgebra
p q p∨q
V V V
V F V
F V V
F F F
se observa que v (p ∨ q) = F y v (q) = F , entonces v (p) = F así los valores de verdad de p, q y r
para que v ([(p ∨ r) →∼ q] ∧ (q∧ ∼ r)) = V tienen que ser v (p) = F , v (q) = V y v (r) = F .
Ejemplo 13. A partir de una tabla de verdad, determina bajo que condiciones de p y q la
proposición compuesta [(p ↔ q) ∧ ∼ q] → (p∧ ∼ q) es falsa.
p q [(p ↔ q) ∧ ∼ q] → (p ∧ ∼ q)
V V V F F V V F F
V F F F V V V V V
F V F F F V F F F
F F V V V F F F V
observando esta tabla de valores de verdad según el conectivo principal → la fila en la que
es
p q [(p ↔ q) ∧ ∼ q] → (p ∧ ∼ q)
F F V V V F F F V
así v (p) = F y v (q) = F .
[(p → q) ∧ (∼ p → q)] → q
11
Álgebra
Solución:
p q [(p → q) ∧ (∼ p → q)] → q
V V V V F V V V V
V F F F F V F V F
F V V V V V V V V
F F V F V F F V F
así v ([(p → q) ∧ (∼ p → q)] → q) = V para cualquier valor de verdad que se asigne a p o q
a) p∧ ∼ p
b) (p → q) ∧ (q → p)
c) (p → q) ↔ (∼ q →∼ p)
Sol: Para el inciso a)
p p ∧ ∼p
V V F F
F F F V
así v (p∧ ∼ p) = F para cualquier valor de verdad que se asigne a p
para el inciso b)
p q (p → q) ∧ (q → p)
V V V V V
V F F F V
F V V F F
F F V V V
así el valor de verdad de la proposición compuesta (p → q) ∧ (q → p) depende de los valores de
verdad que se les asigne a las proposiciones simples p y q
para el inciso c)
p q (p → q) ↔ (∼ q → ∼ p)
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
12
Álgebra
Tautología: Una tautología se da cuando se observa que en la columna del conectivo prin-
cipal se encuentran los valores de verdad V para cualquier fila de la tabla.
13
Álgebra
y como se observa que en la columna del conectivo principal los valores de verdad son V para cada
fila de la tabla, entonces la proposición compuesta (p → (q → r)) ↔ ((p → q) → (p → r)) es una
tautología.
p q (p ↔ q) ∧ (p → ∼ q) ∧ p
V V V F V F F F V
V F F F V V V F V
F V F F F V F F F
F F V V F V V F F
y como se observa que en la columna del conectivo principal los valores de verdad son F para cada
fila de la tabla, entonces la proposición compuesta (p ↔ q) ∧ (p →∼ q) ∧ p es una “contradicción”
y como se observa que en la columna del conectivo principal algunos valores de verdad son F y
otros valores de verdad son V para algunas filas de la tabla, entonces la proposición compuesta
[(∼ p∧ ∼ q) → (∼ r)] ↔ [r → (q ∧ p)] es una contingencia.
14
Álgebra
15
Álgebra
p q (p → q) ↔ (∼ p ∨ q)
V V V V F V V
V F F V F F F
F V V V V V V
F F V V V V F
p q ∼ (p ↔ q) ↔ (p ↔ ∼ q)
V V F V V F F
V F V V V V V
F V V V F V F
F F F V F F V
así observando esta tabla de valores de verdad la proposición [∼ (p ↔ q)] ↔ (p ↔∼ q) es una tau-
tología, por tanto la proposición ∼ (p ↔ q) es lógicamente equivalente a la proposición (p ↔∼ q),
es decir [∼ (p ↔ q)] ⇔ (p ↔∼ q).
Obs. Si las proposiciones α y β son lógicamente equivalentes (α ⇔ β), entonces v(α) = v(β) lo
que significa que la proposición α puede ser remplazada por la proposición β y viseversa.
16
Álgebra
(p ∨ (q ∨ r)) ⇔ ((p ∨ q) ∨ r)
(p ∧ (q ∧ r)) ⇔ ((p ∧ q) ∧ r)
2.- Conmutatividad
(p ∨ q) ⇔ (q ∨ p)
(p ∧ q) ⇔ (q ∧ p)
3.- Distributividad
(p ∨ F ) ⇔ p
(p ∧ V ) ⇔ p
(p∨ ∼ p) ⇔ V
(p∧ ∼ p) ⇔ F
(p → q) ⇔ (∼ p ∨ q)
(p ↔ q) ⇔ ((p → q) ∧ (q → p))
(p ∨ p) ⇔ p
(p ∧ p) ⇔ p
(p ∨ V ) ⇔ V
(p ∧ F ) ⇔ F
17
Álgebra
(∼ (∼ p)) ⇔ p
(∼ V ) ⇔ F
(∼ F ) ⇔ V
Se puede verificar que las leyes lógicas son una tautología construyendo sus tablas de verdad.
Ejemplo 24. Uno de los problemas clásicos en análisis matemático consiste en verificar el enun-
ciado siguiente: Si ab = 0, entonces a = 0 o b = 0
⇔
|{z} (∼ p ∨ q) ∨ r
por
asociatividad
⇔
|{z} (∼ p∨ ∼ (∼ q)) ∨ r
por la ley de la
doble negación
⇔
|{z} ∼ (p∧ ∼ q) ∨ r
por la ley de
Morgan
⇔
|{z} (p∧ ∼ q) → r
definición
de implicación
Si ab = 0 y a 6= 0 entonces b = 0 ≡ (p∧ ∼ q) → r
18
Álgebra
Si ab = 0, entonces a = 0 o b = 0
es equivalente al enunciado
Si ab = 0 y a 6= 0 entonces b = 0
Ahora pasemos a la verificación de este enunciado en el conjunto de los numeros reales. Uno de
los axiomas del conjunto de los números reales indica que todo número real diferente de cero tiene
su inverso multiplicativo, y como a 6= 0, entonces existe a−1 = a1 tal que a a1 = 1, así
por hipótesis ab = 0
multiplicando por a−1 la anterior igualdad a−1 (ab) = a−1 (0)
por la propiedad asociativa de los números R (a−1 a) b = 0
por el axioma del inverso multiplicativo (a−1 a) = 1 1b = 0
por el neutro multiplicativo en los números R b = 0
por tanto b = 0
o equivalentemente
1
sea un número real
D(f ) = x ∈ R : 2x2 +3x−2
19
Álgebra
(2x2 + 3x − 2 6= 0) ≡
|{z} ∼ (2x2 + 3x − 2 = 0)
es equivalente √
−3± 32 −4(2)(−2)
=
|{z} ∼ x= 2(2)
por la formula de 2do grado
−3±5
=
|{z} ∼ x= 4
por el álgebra de los R
−3+5
o x2 = −3−5
=
|{z} ∼ x1 = 4 4
por el álgebra de los R
1
= ∼ x1 = 2
∨ x2 = −2
1
=
|{z} ∼ x1 = 2
∧ ∼ (x2 = −2)
por la ley de Morgan
1
=
|{z} x1 6= 2
∧ (x2 6= −2)
por la negación
de esta forma la relación 2x + 3x − 2 6= 0 es verdadera para todos los números reales a excepción
2
⇔
|{z} (q∨ ∼ t)
por la ley de la
doble negación
20
Álgebra
p t p↔t
V V V
V F F
F V F
F F V
se observa dos filas en donde el valor de verdad de la proposición p ↔ t es falsa, pero como
v (t) = V entonces según la table anterior v (p) = F . Ahora veamos cual es el valor de verdad de
la proposición [p ∨ (∼ q ∧ t)] ↔ [(p → q) ∧ ∼ (q ∧ t)] si v (p) = F , v (q) = F y v (t) = V .
p ∨ ∼ q ∧ |{z}t ↔ p → q ∧∼ q ∧ |{z}
t
|{z} |{z} |{z} |{z} |{z}
F F V F F F V
| {z } | {z } | {z }
V V
{zF
| {z } | }
| {z V } | {z V
}
V V
| {z }
V
V = v (∼ (r → p))
=
|{z} v (∼ (∼ r ∨ p))
por la definición
de implicación
=
|{z} v ((∼∼ r∧ ∼ p))
por la ley de
Morgan
=
|{z} v (r∧ ∼ p)
por la ley de
la doble negación
21
Álgebra
!
∼ r ∧ q ∨ ∼ p → ∼ p ∧ s ∨ ∼ r
|{z} |{z} |{z} |{z}
F V F F
∼ (p ∨ q) ∨ (∼ p ∧ q) ⇔
|{z} (∼ p∧ ∼ q) ∨ (∼ p ∧ q)
por la ley de
Morgan
⇔
|{z} ∼ p ∧ (∼ q ∨ q)
por la ley
distributiva
⇔
|{z} ∼ p ∧ (V )
por la condición
de negación
⇔
|{z} ∼p
por el elemento
neutro
22
Álgebra
También el ejemplo anterior se lo puede verificar por medio de las tablas de verdad, es decir la
proposición compuesta ∼ (p ∨ q) ∨ (∼ p ∧ q) tiene que ser lógicamente equivalente a la proposición
∼ p si la proposición [∼ (p ∨ q) ∨ (∼ p ∧ q)] ↔ (∼ p) es una tautología, es decir
i
p q [∼ (p ∨ q) ∨ (∼ p ∧ q) ↔ ∼p
V V F V F F V F
V F F V F F V F
F V F V V V V V
F F V F V F V V
Q ⇔
|{z} [∼∼ (∼ p ∨ q) ∧ ∼∼ p] →∼ [p → V ]
por la ley de Morgan,
elemento neutro y la
condición de tautología
⇔
|{z} [(∼ p ∨ q) ∧ p] →∼ [p → V ]
por la ley de la
doble negación
⇔
|{z} [(∼ p ∨ q) ∧ p] →∼ [∼ p ∨ V ]
por la ley de la
implicación
⇔
|{z} [(∼ p ∨ q) ∧ p] →∼ V
por la condición
de tautología
⇔
|{z} ∼ [(∼ p ∨ q) ∧ p] ∨ F
por la ley de
la implicación y
negación de la tautología
⇔
|{z} (∼ (∼ p ∨ q) ∨ ∼ p)
por la ley de Morgan
y elemento neutro
23
Álgebra
⇔
|{z} (p∧ ∼ q) ∨ ∼ p
por la ley de Morgan y
la ley de la doble negación
⇔
|{z} (p∨ ∼ p) ∧ (∼ q∨ ∼ p)
por la ley distributiva
⇔
|{z} V ∧ (∼ q∨ ∼ p)
por la condición
de negación
⇔
|{z} ∼ (p ∧ q)
por el elemento neutro,
ley de Morgan y la
conmutatividad
Solución: Sea Q := p∧[(∼ q → r) ∨ ∼ [q ∨ ((r ∧ s) ∨ (r → s))]] así según las leyes lógicas se tendrá
Q ⇔
|{z} p ∧ [(q ∨ r) ∨ ∼ [q ∨ ((r ∧ s) ∨ (∼ r ∨ s))]]
por la ley de la
implicación
⇔
|{z} p ∧ [(q ∨ r) ∨ ∼ [q ∨ (s ∨ (s ∧ r)) ∨ ∼ r]]
por la asociatividad
y conmutatividad
⇔
|{z} p ∧ [(q ∨ r) ∨ ∼ [q ∨ s∨ ∼ r]]
por la ley de la
absorción
⇔
|{z} p ∧ [(q ∨ r) ∨ [r∧ ∼ (q ∨ s)]]
por la ley de Morgan,
la asociatividad y
conmutatividad
⇔
|{z} p ∧ [[(q ∨ r) ∨ r] ∧ [(q ∨ r) ∨ ∼ (q ∨ s)]]
por la ley distributiva,
la asociatividad y
conmutatividad
⇔
|{z} p ∧ [[q ∨ r] ∧ [(q ∨ r) ∨ ∼ (q ∨ s)]]
por la ley de idempotencia,
la asociatividad y
conmutatividad
⇔
|{z} p ∧ [q ∨ r]
por la ley de la
absorción
24
Álgebra
Q ⇔
|{z} (∼ p ∧ q) ∨ (∼ p∧ ∼ q) ∨ ∼ (∼ p ∨ q)
por la ley de
la conmutatividad
⇔
|{z} [(∼ p ∧ q) ∨ (∼ p∧ ∼ q)] ∨ ∼ (∼ p ∨ q)
por la ley de
la asociatividad
⇔
|{z} [∼ p ∧ (q∨ ∼ q)] ∨ ∼ (∼ p ∨ q)
por la ley de
la distributividad
⇔ [∼ p ∧ V ] ∨ ∼ (∼ p ∨ q)
v(q∨∼q)=V
⇔ [∼ p] ∨ ∼ (∼ p ∨ q)
(∼p∧V )⇔∼p
⇔
|{z} [∼ p] ∨ (∼∼ p∧ ∼ q)
por la ley de
Morgan
⇔
|{z} ∼ p ∨ (p∧ ∼ q)
por la ley de
la doble negación
⇔
|{z} (∼ p ∨ p) ∧ (∼ p∨ ∼ q)
por la ley de
la distributividad
⇔ V ∧ (∼ p∨ ∼ q)
v(∼p∨p)=V
⇔ ∼ p∨ ∼ q
[V ∧(∼p∨∼q)]⇔(∼p∨∼q)
25
Álgebra
Solución:
26
Álgebra
∼ (p ↔ q) ⇔
|{z} ∼ [(p → q) ∧ (q → p)]
por la ley de la
doble implicación
⇔
|{z} ∼ [(∼ p ∨ q) ∧ (∼ q ∨ p)]
por la ley de la
implicación
⇔
|{z} ∼ (∼ p ∨ q) ∨ ∼ (∼ q ∨ p)
por la ley de
Morgan
⇔
|{z} (∼∼ p∧ ∼ q) ∨ (∼∼ q∧ ∼ p)
por la ley de
Morgan
⇔
|{z} (p∧ ∼ q) ∨ (q∧ ∼ p)
por la ley de la
doble negación
⇔
|{z} [(p∧ ∼ q) ∨ q] ∧ [(p∧ ∼ q) ∨ ∼ p]
por la ley
distributiva
⇔
|{z} [(p ∨ q) ∧ (∼ q ∨ q)] ∧ [(p∨ ∼ p) ∧ (∼ q∨ ∼ p)]
por la ley
distributiva
⇔
|{z} [(p ∨ q) ∧ V ] ∧ [V ∧ (∼ q∨ ∼ p)]
por la ley de la
negación
⇔
|{z} (p ∨ q) ∧ (∼ q∨ ∼ p)
por la ley del
elemento neutro
⇔
|{z} (p ∨ q) ∧ (∼ p∨ ∼ q)
por la ley de la
conmutatividad
⇔
|{z} (∼ p∨ ∼ q) ∧ (q ∨ p)
por la ley de la
conmutatividad
⇔
|{z} (∼ p∨ ∼ q) ∧ (∼∼ q ∨ p)
por la ley de la
doble negación
⇔
|{z} (p →∼ q) ∧ (∼ q → p)
por la ley de la
implicación
⇔
|{z} p ↔∼ q
por la ley de la
doble implicación
27
Álgebra
Q ⇔
|{z} [(∼ p ∨ q) ∧ ∼ q] →∼ p
por la ley de la
implicación
⇔
|{z} [(∼ p∧ ∼ q) ∨ (q∧ ∼ q)] →∼ p
por la ley
distributiva
⇔ [(∼ p∧ ∼ q) ∨ F ] →∼ p
(q∧∼q)⇔F
⇔ (∼ p∧ ∼ q) →∼ p
(p∨F )⇔p
⇔
|{z} ∼ (p ∨ q) →∼ p
por la ley de
Morgan
⇔
|{z} ∼ [∼ (p ∨ q)] ∨ ∼ p
por la ley de la
implicación
⇔
|{z} (p ∨ q) ∨ ∼ p
por la ley de la
doble negación
⇔
|{z} (p∨ ∼ p) ∨ q
por la asociatividad
y conmutatividad
⇔ V ∨q
(p∨∼p)⇔V
⇔ V
(V ∨q)⇔V
28
Álgebra
Q ⇔
|{z} [q ∧ (∼ q∨ ∼ p)] →∼ (p ∧ q)
por la ley de la
implicación
⇔
|{z} [(q∧ ∼ q) ∨ (q∧ ∼ p)] →∼ (p ∧ q)
por la ley de la
distributividad
⇔ [F ∨ (q∧ ∼ p)] →∼ (p ∧ q)
(q∧∼q)⇔F
⇔ (q∧ ∼ p) →∼ (p ∧ q)
(p∨F )⇔p
⇔
|{z} ∼ (q∧ ∼ p) ∨ ∼ (p ∧ q)
por la ley de la
implicación
⇔
|{z} (∼ q∨ ∼∼ p) ∨ (∼ p∨ ∼ q)
por la ley de
Morgan
⇔
|{z} (p∨ ∼ q) ∨ (∼ p∨ ∼ q)
por la ley de
la doble negación y
la conmutativida
⇔
|{z} (p∨ ∼ p) ∨ ∼ q
por la ley de la
distributividad
⇔ V∨∼q
(p∨∼p)⇔V
⇔ V
(V ∨p)⇔V
Solución: Sea Q := [(∼ q → r) ∧ ∼ (q∧ ∼ r)] → [(r → p) ∧ (p →∼ r)] así por las leyes lógicas se
tendrá
29
Álgebra
⇔
|{z} [(q ∨ r) ∧ ∼ (q∧ ∼ r)] → [(∼ r ∨ p) ∧ (∼ r∨ ∼ p)]
por la ley de la
doble negación
y la ley conmutativa
⇔
|{z} [(q ∨ r) ∧ (∼ q∨ ∼∼ r)] → [∼ r ∨ (p∧ ∼ p)]
por la ley de Morgan
y la ley distributiva
⇔
|{z} [(q ∨ r) ∧ (∼ q ∨ r)] → [∼ r ∨ F ]
por la ley de la doble
negación y (p∧∼p)⇔F
⇔
|{z} [(q∧ ∼ q) ∨ r] →∼ r
por la ley distributiva
y (p∨F )⇔p
⇔
|{z} ∼ [F ∨ r] ∨ ∼ r
por la ley de la
implicación
⇔
|{z} ∼ r∨ ∼ r
por la ley conmutativa
y (p∨F )⇔p
⇔
|{z} ∼r
(p∨p)⇔p
Solución: Sea Q := [(∼ p ↔ q) ∧ r] ∨ [r ∧ (p∨ ∼ q)] así por las leyes lógicas se tendrá
⇔
|{z} r ∧ [(∼ p ↔ q) ∨ ∼ (p ↔∼ q)]
por la ley conmutativa
y la ley distributiva
⇔
|{z} r ∧ [(∼ p ↔ q) ∨ ∼ (∼ p ↔ q)]
(p↔∼q)⇔(∼p↔q)
⇔
|{z} r∧V
(p∨∼p)⇔V
⇔
|{z} r
(p∧V )⇔p
30
Álgebra
Solución: Sea Q := [∼ (r∧ ∼ q) ∧ ∼ (∼ q → p)] → r así por las leyes lógicas se tendrá
Q ⇔ [∼ (r∧ ∼ q) ∧ ∼ (∼ q → p)] → r
⇔
|{z} [(∼ r∨ ∼∼ q) ∧ ∼ (∼∼ q ∨ p)] → r
por la ley
de Morgan y la ley
de la implicación
⇔
|{z} [(∼ r ∨ q) ∧ ∼ (q ∨ p)] → r
por la ley de la
doble negación
⇔
|{z} [(∼ r ∨ q) ∧ (∼ q∧ ∼ p)] → r
por la ley
Morgan
⇔
|{z} [[(∼ r ∨ q) ∧ ∼ q] ∧ ∼ p] → r
por la ley
asociativa
⇔
|{z} [((∼ r∧ ∼ q) ∨ (q∧ ∼ q)) ∧ ∼ p] → r
por la ley
distributiva
⇔
|{z} [[(∼ r∧ ∼ q) ∨ F ] ∧ ∼ p] → r
(p∧∼p)⇔F
⇔
|{z} [∼ r∧ ∼ q∧ ∼ p] → r
(p∨F )⇔p
⇔
|{z} ∼ [∼ r∧ ∼ q∧ ∼ p] ∨ r
por la ley de
la implicación
⇔
|{z} [∼∼ r∨ ∼∼ q∨ ∼∼ p] ∨ r
por la ley de
Morgan
⇔
|{z} r∨q∨p∨r
por la ley de la
doble negación
⇔
|{z} q ∨ p ∨ (r ∨ r)
por la conmutatividad
y asociatividad
⇔
|{z} q∨p∨r
(p∨p)⇔p
31
Álgebra
(p1 ∧ p2 ∧ · · · ∧ pn ) → p
| {z } |{z}
hipótesis conclusión
o equivalentemente
p1 hipótesis
p2 hipótesis
.. ..
. .
pn hipótesis
p conclusión
p
o p → (p ∨ q)
p∨q
32
Álgebra
p q p → (p ∨ q)
V V V V V
V F V V V
F V F V V
F F F V F
observando esta tabla de valores de verdad la proposición p → (p ∨ q) es una tautologia, es decir
p implica lógicamente a (p ∨ q) (es decir p ⇒ (p ∨ q)). Otra forma de verificar si es o no una
tautologia la proposición p → (p ∨ q) es la siguiente
p → (p ∨ q) ⇔
|{z} ∼ p ∨ (p ∨ q)
por la definición
de implicación
⇔
|{z} (∼ p ∨ p) ∨ q
por la ley
asociativa
⇔
|{z} V ∨q
(∼p∨p)⇔V
⇔
|{z} V
por la condición
de tautología
p∧q
o (p ∧ q) → p
p
también
p∧q
o (p ∧ q) → q
q
¿Es una tautologia la proposición (p ∧ q) → p?
R.- La tabla de verdad de la proposición (p ∧ q) → p es:
p q (p ∧ q) → p
V V V V V
V F F V V
F V F V F
F F F V F
33
Álgebra
(p ∧ q) → p ⇔
|{z} ∼ (p ∧ q) ∨ p
por la definición
de la implicación
⇔
|{z} (∼ p∨ ∼ q) ∨ p
por la ley
de Morgan
⇔
|{z} (p∨ ∼ p) ∨ ∼ q
por la conmutatividad
y asociatividad
⇔
|{z} V∨∼q
(p∨∼p)⇔V
⇔
|{z} V
(p∨V )⇔V
p→q
p o [(p → q) ∧ p] → q
q
4. Conjunción (C)
p
q o (p ∧ q) → (p ∧ q)
p∧q
∼q
p→q o [∼ q ∧ (p → q)] →∼ p
∼p
34
Álgebra
p∨q
∼p o [(p ∨ q) ∧ ∼ p] → q
q
también
p∨q
∼q o [(p ∨ q) ∧ ∼ q] → p
p
p→q
q→r o [(p → q) ∧ (q → r)] → (p → r)
p→r
p→q
r→s
o [(p → q) ∧ (r → s) ∧ (p ∨ r)] → (q ∨ s)
p∨r
q∨s
p→q
r→s
o [(p → q) ∧ (r → s) ∧ (∼ q∨ ∼ s)] → (∼ p∨ ∼ r)
∼ q∨ ∼ s
∼ p∨ ∼ r
35
Álgebra
Solución:
lenguaje común leguaje lógico
Si n2 es un número par, entonces n es un número par ≡ p→q
| {z } | {z } | {z }
p → q
(p → q) ⇔ (∼ q →∼ p)
Si n es un número impar, entonces n2 es un número impar ≡ ∼ q →∼ p
| {z } | {z }
∼q ∼p
36
Álgebra
1) ∼ q → r
2) r → s
3) ∼ q
4) ∼ s∨ ∼ t
5) t ∨ u
6) u → p
1) ∼ q → r hipótesis
2) r → s hipótesis
3) ∼ q hipótesis
4) ∼ s∨ ∼ t hipótesis
5) t ∨ u hipótesis
6) u → p hipótesis
7) r de 1 y 3 por MP
8) s de 2 y 7 por MP
9) s →∼ t de 4 (∼ s∨ ∼ t) ⇔ (s →∼ t)
10) ∼ t de 8 y 9 por MP
11) ∼ t → u de 5 (t ∨ u) ⇔ (∼ t → u)
12) u de 10 y 11 por MP
13) p de 6 y 12 por MP
37
Álgebra
1) n es impar hipótesis
2) m es impar hipótesis
3) n = 2k + 1 donde k es un número entero de 1
4) m = 2t + 1 donde t es un número entero de 2
5) nm = (2k + 1) (2t + 1) de 3 y 4 multiplicando
6) nm = 2kt + 2k + 2t + 1 de 5 por la ley distributiva
7) nm = 2 (kt + k + t) + 1 de 6 por la factorización
8) nm = 2r + 1 de 7 si r = (kt + k + t) y como k y t
son números enteros, entonces r es un
número entero
9) nm es impar de 8
de esta forma se verifica la validez del enunciado: Si n y m son impares, entonces nm es impar
c) Método por Contradicción: En este método se niega la conclusión del razonamiento
deductivo (p1 ∧ p2 ∧ · · · ∧ pn ) → p y se lo agrega como una nueva hipótesis al conjunto de hipótesis
p1 ∧p2 ∧· · ·∧pn , para verificar la validez del nuevo razonamiento deductivo (p1 ∧ p2 ∧ · · · ∧ pn ∧ ∼ p) →
F
1) p → (q ∨ r)
2) q →∼ p
3) s →∼ r
1) p → (q ∨ r)
2) q →∼ p
3) s →∼ r
p →∼ s
38
Álgebra
1) p → (q ∨ r)
2) q →∼ p
3) s →∼ r
4) ∼ (p →∼ s)
F
ahora verifiquemos la valides de este razonamiento
1) p → (q ∨ r) hipótesis
2) q →∼ p hipótesis
3) s →∼ r hipótesis
4) ∼ (p →∼ s) nueva hipótesis
5) p ∧ s de 4 (∼ (p →∼ s)) ⇔ (p ∧ s)
6) p de 5 por S
7) s de 5 por S
8) ∼ r de 3 y 7 por MP
9) p →∼ q de 2 (q →∼ p) ⇔ (p →∼ q)
10) ∼ q de 6 y 9 por MP
11) q ∨ r de 1 y 6 por MP
12) ∼ q → r de 11 (q ∨ r) ⇔ (∼ q → r)
13) r de 10 y 12 por MP
14) ∼ r ∧ r (contradicción) de 8 y 13 C
así v (∼ r ∧ r) = F para cualquier valor de verdad que se asigne a r, por tanto la proposición
∼ r ∧ r es falsa
Solución:
Si n es par y m es impar, entonces (n + m) es impar
| {z } |{z} | {z } | {z } | {z }
p ∧ q → r
p hipótesis
q hipótesis
r conclusión
39
Álgebra
p hipótesis
q hipótesis
∼r nueva hipótesis
F conclusión
y según el significado de cada proposición el razonamiento deductivo anterior será equivalente a
n es par hipótesis
m es impar hipótesis
n + m es par nueva hipótesis
F conclusión
ahora pasemos a verificar este razonamiento deductivo
1) n es par hipótesis
2) m es impar hipótesis
3) n + m es par nueva hipótesis
4) n = 2k1 para algún entero k1 de 1
5) m = 2k2 + 1 para algún entero k2 de 2
6) (n + m) = 2k3 para algún entero k3 de 3
7) n = 2k3 − m de 6 por el álgebra de los números enteros
8) n = 2k3 − (2k2 + 1) de 5 y 7
9) n = 2 (k3 − k2 ) − 1 de 8 por el álgebra de los números enteros
40
Álgebra
1) ∼ (r ∧ s)
2) ∼ s →∼ q
1) ∼ (r ∧ s) hipótesis
2) ∼ s →∼ q hipótesis
3) r →∼ q conclusión
1) ∼ (r ∧ s) hipotesis
2) ∼ s →∼ q hipotesis
3) r nueva hipotesis
5) ∼ q nueva conclusión
1) ∼ (r ∧ s) hipotesis
2) ∼ s →∼ q hipotesis
3) r nueva hipotesis
4) ∼ r∨ ∼ s de 1 (∼ (r ∧ s)) ⇔ (∼ r∨ ∼ s)
5) r →∼ s de 4 (∼ r∨ ∼ s) ⇔ (r →∼ s)
6) ∼ s de 3 y 5 por MP
7) ∼ q de 2 y 6 por MP
Si ab = 0}, entonces
| {z | {z } a o b| {z
= 0} |{z}
| {z = 0}
p → q ∨ r
41
Álgebra
p hipotesis
q∨r conclusión
p hipotesis
∼q→r conclusión
p hipótesis
∼q nueva hipótesis
r conclusión
ab = 0 hipótesis
a 6= 0 nueva hipótesis
b=0 conclusión
1) ab = 0 hipótesis
2) a 6= 0 nueva hipótesis
3) a−1 de 2 como a 6= 0 entonces por el álgebra R existe a−1
4) a−1 (ab) = a−1 (0) multiplicando 3 en 1
5) (a−1 a) b = 0 de 4 por las propiedades del álgebra de los reales
6) (1) b = 0 de 5 por la propiedad a−1 a = 1
7) b = 0 de 6 por el álgebra de los reales (1) b = b
42
Álgebra
Solución: Sea k un número entero cualquiera, así los tres números enteros consecutivos serian k −1,
k y k + 1 de esta forma el enunciado del ejemplo se parafrasea de la siguinte forma
n = (k − 1) + k + (k + 1) hipótesis
n = 3t para algún t ∈ Z conclusión
ahora verifiquemos este razonamiento deductivo mediante el método de demostración directa
1) n = (k − 1) + k + (k + 1) hipótesis
2) n = k + k + k de 1 por álgebra de los números reales
3) n = 3k de 2 por álgebra de los números reales
así n = 3k donde k es un número entero, es decir n es un multiplo de tres
7n + 8 = 2k + 1 hipótesis
n = 2t + 1 conclusión
si trabajamos por el método de demostración por contradicción este razonamiento, entonces el
siguiente razonamiento deductivo seria el equivalente al anterior
7n + 8 = 2k + 1 hipótesis
∼ (n = 2t + 1) nueva hipótesis
F conclusión
es decir
7n + 8 = 2k + 1 hipótesis
n = 2p nueva hipótesis
F conclusión
43
Álgebra
1) 7n + 8 = 2k + 1 hipótesis
2) n = 2p hipótesis
3) 7 (2p) + 8 = 2k + 1 remplazando 2 en 1
la relación 1 = 2s nos indica que el número 1 es un número par y esto es totalmente falso
1) p → r
2) q → r
Solución: El ejemplo indica que hay que verificar el siguiente razonamiento deductivo
1) p → r hipótesis
2) q → r hipótesis
3) (p ∨ q) → r conclusión
1) p → r hipótesis
2) q → r hipótesis
3) p ∨ q nueva hipótesis
4) r nueva conclusión
1) p → r hipotesis
2) q → r hipotesis
3) p ∨ q nueva hipotesis
4) r ∨ r de 1, 2 y 3 por el dilema constructivo
5) r de 4 por la ley de idempotencia
Ejemplo 49. Verificar si los siguienetes razonamientos son validos y si es así demostrarlo.
44
Álgebra
a) Marcia o Luisa están con Gabriela. Si hoy es lunes, Marcia esta con Gabriela. Hoy es lunes.
Por lo tanto, Luisa no esta con Gabriela
b) O la lógica es dificil o no le gusta a muchos estudiantes. Si la matemática es facil, entonces
la lógica también. De esta manera, si a muchos estudiantes les gusta la lógica, concluimos que la
matemática no es fácil.
Solución: Para el inciso a)
El enunciado “Marcia o Luisa están con Gabriela. Si hoy es lunes, Marcia esta con Gabriela. Hoy
es lunes. Por lo tanto, Luisa no esta con Gabriela” se lo puede reescribir de la siguiente manera
Marcia
| con Gabriela} ∨ Luisa
esta{z | esta {z
con Gabriela}
q r
Hoy es lunes
| {z }
p
Luisa
| no esta{zcon Gabriela}
∼r
q∨r
p→q
p
∼r
para que este esquema sea un razonamiento deductivo tiene que ser una tautología, es decir
h i
p q r (q ∨ r) ∧ (p → q) ∧ p → ∼r
V V V V V V V V F F
V V F V V V V V V V
V F V V F F F V V F
V F F F F F F V V V
F V V V V V F F V F
F V F V V V F F V V
F F V V V V F F V F
F F F F F V F F V V
45
Álgebra
q∨r
p→q
p
∼r
no es una tautología por tanto no puede ser un razonamiento deductivo, es decir este esquema no
se puede llegar a demostrar.
Para el inciso b)
El enunciado “O la lógica es dificil o no le gusta a muchos estudiantes. Si la matemática es facil,
entonces la lógica también. De esta manera, si a muchos estudiantes les gusta la lógica, concluimos
que la matemática no es fácil” se lo puede reescribir de la siguiente manera.
La lógica no es facil ∨ La lógica no les gusta a muchos estudiantes
| {z } | {z }
∼p ∼q
Si la
| matemática
{z es facil} → la lógica es facil
| {z }
r p
La
| matemática
{z no es facil}
∼r
este esquema es quivalente al siguiente esquema
∼ p∨ ∼ q
r→p
q
∼r
para que este esquema sea un razonamiento deductivo tiene que ser una tautología, es decir
h i
p q r (∼ p∨ ∼ q) ∧ (r → p) ∧ q → ∼r
V V V F F V F V V F
V V F F F V F V V V
V F V V V V F F V F
V F F V V V F F V V
F V V V F F F V V F
F V F V V V V V V V
F F V V F F F F V F
F F F V V V F F V V
46
Álgebra
observando esta tabla de valores de verdad se concluye que el siguiente esquema es un razonamiento
deductivo
1) ∼ p∨ ∼ q hipótesis
2) r → p hipótesis
3) q hipótesis
4) ∼ r conclusión
1) ∼ p∨ ∼ q hipótesis
2) r → p hipótesis
3) q hipótesis
4) ∼ q∨ ∼ p de 1 (∼ p∨ ∼ q) ⇔ (∼ q∨ ∼ p)
5) q →∼ p de 4 (∼ q∨ ∼ p) ⇔ (q →∼ p)
6) ∼ p de 3 y 5 por MP
7) ∼ p →∼ r de 2 (r → p) ⇔ (∼ p →∼ r)
8) ∼ r de 6 y 7 por MP
Ejemplo 50. Epiménides de Cnosos (siglo VI a. de C.) decia “Todos los cretenses son mentirosos
y yo soy cretense, luego miento”.
Alguien a la vista de ello, razona como sigue.
Si Epiménides mintió en lo que dijo, entonces los cretenses no eran mentirosos, luego Epiménides,
por ser cretense, no era mentiroso y, consecuentemente, no mintió en lo que dijo. Se llega así, pues,
a una contradicción. ¿Este razonamiento es correcto?
Solución: El enunciado de este ejemplo se lo puede reescribir de la siguiente manera
Epiménides por ser cretense no era mentiroso y Epiménides no mintio en lo que dijo
| {z }|{z}| {z }
q ∧ ∼p
p→q hipótesis
q∧ ∼ p conclusión
para que este esquema sea un razonamiento deductivo tiene que ser una tautología, es decir
47
Álgebra
p q (p → q) → (q ∧ ∼ p)
V V V F V F F
V F F V F F F
F V V V V V V
F F V F F F V
observando esta tabla de valores de verdad el esquema
p→q hipótesis
q∧ ∼ p conclusión
no es una tautología por tanto no puede ser un razonamiento deductivo, es decir este esquema no
es correcto.
p↔q
pero por la lógica elemental (p ↔ q) ⇔ ((p → q) ∧ (q → p)), así si v (p ↔ q) = V entonces
v ((p → q) ∧ (q → p)) = V y gracias a la tabla de verdad de la conjunción esto secede si v (p → q) =
V y v (q → p) = V lo significa que hay que analizar los siguientes dos casos.
Caso 1: Veamo que (p → q) o verifiquemos la demostración del razonamiento deductivo
p hipótesis
q conclusión
remplazando el significado de las proposiciones de este razonamiento deductivo se tiene el siguiente
razonamiento deductivo
|x| = 0 hipótesis
x=0 conclusión
ahora pasemos a la demostración de este razonamiento deductivo mediante el método directo
1) |x| = 0 hipótesis
2) |x|2 = 02 de 1 elevando al cuadrado
3) x2 = 0 de 2 por el álgebra de los números reales
4) (x) (x) = 0 de 3 por la propiedea de los exponentes
5) x = 0 ∨ x = 0 de 4 por: Si ab = 0, entonces a = 0 o b = 0
6) x = 0 de 5 (p ∨ p) ⇔ p
48
Álgebra
así x = 0
Caso 2: Veamo que (q → p) o verifiquemos la demostración del razonamiento deductivo
q hipótesis
p conclusión
x=0 hipótesis
|x| = 0 conclusión
1) x = 0 hipótesis
2) |x| = máx {x, −x} definición de valor absoluto
3) |0| = máx {0, −0} remplazando 1 en 2
4) |0| = máx {0} = 0 de 3
5) |0| = 0 de 4 por el álgebra de los números reales
6) |x| = 0 de 1 y 5
así |x| = 0
De los casos 1 y 2 el enunciado; Si |x| = 0 si y sólo si x = 0 es valido en el conjunto de los números
reales
o equivalentemente
resulta conveniente representar los predicados mediante letras mayúsculas A, B, ... y los sujetos
mediante minúsculas, con el cual enunciados como de más arriba se simbolizan del modo siguiente
este enunciado se lo puede estructurar de la siguiente forma
49
Álgebra
donde E(x) simboliza x es un número entero y P (x) simboliza x tiene un factor primo. Empleando
la letra x como variable, como sujeto indeterminado. Cuando se usa, como más arriba, en enun-
ciados que comienzan con cuantificadores, se denominan variables ligadas. La frase “Para todo
x” se denomina cuantificador universal y se simboliza por (∀x) así la frase anterior puede ahora
escribirse como
Hay otra clase de cuantificador que parece necesario a primera vista para simbolizar frases caste-
llanas corrientes, concideremos la frase
o equivalentemente
o equivalentemente
la frase “existe al menos un objeto x tal que” se denomina cuantificador existencial y se simboliza
por (∃x) así la frase anterior puede ahora escribirse como
es equivalente a
50
Álgebra
o equivalentemente a
gracias a estas relaciones el conjunto {∼, →} es un conjunto adecuado, por que cualquier propo-
sición compuesta se lo puede trabajar bajo los conectivos del conjunto adeciado, por ejemplo la
proposición compuesta
[(∼ p∨ ∼ q) ∧ (r → p) ∧ q] →∼ r
[(∼ p∨ ∼ q) ∧ (r → p) ∧ q] →∼ r
∼ [(∼ p∨ ∼ q) ∧ (∼ r ∨ p) ∧ q] ∨ ∼ r
51
Álgebra
Ejemplo 54. Determinar si el siguiente argumento “Siempre que un número x es divisible por
10, acaba en cero. El número x no acaba en cero. Luego, x no es divisible por 10” es lógicamente
correcto
Siempre que un número x es divisible por 10, acaba en cero. El número x no acaba en cero.
Luego, x no es divisible por 10
es
52
Álgebra
Solución: Sean p(x) := x es par y q(x) := x2 es par, así el enunciado del ejemplo 32 es equivalente
a
por las leyes lógicas notemos que (p(x) ↔ q(x)) ⇔ ((p(x) → q(x)) ∧ (q(x) → p(x))) así se tienen
que verificar los siguientes casos
Caso 1: (p(x) → q(x))
En este caso hay que verificar la valides del enunciado: x es par, entonces x2 es par, es decir
1) x es par hipotesis
2) x = 2k para algún k ∈ Z por algebra basica
3) xx = (2k) (2k) por algebra basica
4) x2 = 2 (2k 2 ) por algebra basica
5) x2 = 2t para algun t = (2k 2 ) ∈ Z por algebra basica (2k 2 ) ∈ Z
6) x2 es par por notación
1) x es impar
2) x = 2k + 1 para algún k ∈ Z por algebra basica
3) xx = (2k + 1) (2k + 1) por algebra basica
4) x2 = ((4k 2 + 4k) + 1) por algebra basica
5) x2 = 2 (2k 2 + 2k) + 1 para algun s = (2k 2 + 2k) ∈ Z por algebra basica (2k 2 + 2k) ∈ Z
6) x2 es impar por notación
por lo tanto la relación (∀x ∈ Z) (p(x) ↔ q(x)) es verdad, es decir el enunciado: Si x ∈ Z, x es par
si y solo si x2 es par es valido o verdad.
q
Ejemplo 56. Para todo x > 0, y > 0, x 6= y implica x
py
y
+ x
>2
53
Álgebra
de esta forma
1) x > 0 hipotesis
2) y > 0 hipotesis
3) x 6= y hipotesis
4) x > y de 3) supongamos que x > y (o por Tricotomia)
5) x
y
−1>0 de 4 y 2 por el algebra basica
2
6) xy − 1 > 0 de 5) elevendo al cuadrado
2
7) y − 2 xy + 1 > 0
x
de 6) por trinomio cuadrado perfecto
2
8) y − 2 y + 1 + 4 y > 0 + 4 xy
x x x
de 7) sumando 4 xy
2
9) y + 2 y + 1 > 4 xy
x x
de 8) por el algebra basico
2
10) xy + 1 > 4 xy de 9) factorizando
q
11) xy + 1 > 2 xy de 10) extraendo la raiz cuadrada
√
x
+1 2 x q
12) √ x > √ xy
y
de 11) dividiendo entre xy
y y
x
13) √ x + x > 2
y
√1 de 12) por el algebra basica
q y py
14) xy + xy > 2 de 13) por el algebra basica
√
Ejemplo 57. Para todo x ≥ 0, y ≥ 0, implica xy ≤ x+y
2
(esta desigualdad es la relación entre
la media geometrica y la media aritmetica)
o equivalentemente
√ x+y
(∀x, y ∈ R): x ≥ 0 ∧ y ≥ 0 → xy ≤ 2
de esta forma
54
Álgebra
1) x ≥ 0 hipotesis
2) y ≥ 0 hipotesis
3) (x − y) ≥ 0
2
por el algebra basica
4) x2 − 2xy + y 2 ≥ 0 por el algebra basica
5) x2 − 2xy + y 2 + 4xy ≥ 0 + 4xy sumando 4xy
6) x2 + 2xy + y 2 ≥ 0 + 4xy por el algebra basica
7) (x + y) ≥ 4xy
2
por el algebra basica
√
8) x + y ≥ 2 xy de 1, 2 y por el algebra basica
√
2 xy
9) x+y
2
≥ 2
multiplicando 8 por 1
2
√
10) x+y
2
≥ xy por el algebra basica
55
Álgebra
a) ∼ p b) p ∨ q c) q ∧ p
d) p∨q e) ∼ p ∨ q f) p → q
g) ∼ q →∼ p h) p ↔∼ q
a) (∼ p) ∧ (∼ q) b) ∼ ((p → q) → (∼ (q → p)))
c) p → (q → r) d) (p ∧ q) → r
e) (p ↔ (∼ q)) ∨ q f ) (p ∧ q) ∨ (r ∧ s)
g) (∼ p ∧ q) → (∼ q ∧ r) h) (p → (q → r)) → ((p → q) → (p → r))
a) p∧ ∼ (∼ r ∧ s) b) ∼ p → (∼ q ↔ s)
c) p∨ ∼ (p∨ ∼ q) d) [s∨ ∼ (p ∧ q)] → (r ∧ s)
3. Sabiendo que v(q ∨ p) = V y que v(∼ q) = F determinar el valor de verdad de las siguientes
proposiciones
4. Sabiendo que v(∼ (r → p)) = V . Hallar el valor de verdad de las siguientes proposiciones
a) (p∧ ∼ q) →∼ (s ∨ r) b) [(∼ r ∧ q) ∨ ∼ p] → [∼ (p ∧ s) ∨ ∼ r]
c) [(∼ p ∨ s) → (q∨ ∼ r)] ↔ (p →∼ q)
56
Álgebra
a) p → (q → p) b) (q ∨ r) → ((∼ r) → q)
c) (p∧ ∼ q) ∨ (q∧ ∼ r) ∨ (r∧ ∼ p) d) (p → (q → r)) → ((p∧ ∼ q) ∨ r)
57
Álgebra
58
Álgebra
Problema. 11 Demostrar (a + c = 5) → (b = 5)
1. (a + b = 7 → b = 5) ∨ a + c = 5
2. c 6= 2 ∨ (a + c = 5 → a + b = 7)
3. a + b 6= 7 ∧ c = 2
Problema. 12 Demostrar ∼ (r = s ∨ s ≯ a)
1. s 6= a ∧ s ≮ a
2. s ≯ a → s < a ∨ s = a
3. r = b ∨ r = b
4. r = b → r 6= s
5. r > b → r 6= s
√ √
Problema. 13 Demostrar: m = 3 → (m + n = 7 ∧ mn = 6)
59
Álgebra
√ √
1. m = 3 → mn =6
√
2. m + n 6= 7 → m 6= 3
√ √ √
3. (n = 3 ∨ m = 6) →∼ (m + n = 7 ∧ mn = 6)
1. a < b → a 6= b
2. b > c → c ≮ b
3. a ≮ b → c < b
4. ∼ (a = b → b ≯ c)
5. Demostraciones:
1. Un número real r es racional si existe números enteros p y q con q 6= 0 tal que r = pq . Por el
método directo demostrar que:
a) Si r y s son racionales, entonces r + s es racional
b) Si r es un numero racional, entonces rs es racional
c) Si r es un numero racional diferente de cero, entonces r−1 es racional
2. Sean m, n números enteros. Por el método directo demostrar que:
a) Si n es impar, entonces n3 es impar
b) Si n es impar, entonces n2 + 3n + 5 es impar
c) Si n y m son pares, entonces nm es par
d) Si a | b y a | (b2 − c), entonces a | c
3. Un entero a divide al entero b, denotado por a | b, si b = ak para algún entero k. Sean a, b, c
números enteros. Demostrar
a) Si a | b y a | c, entonces a | (b + c)
b) Si a | b, entonces a | (3b2 − b2 + 5b)
c) Si n es impar, entonces 8 | (n2 − 2)
4. Si n es un entero. Demostrar por contradicción que, si 7n + 8 es impar, entonces n es impar
5. Demostrar por contradicción los siguientes incisos
a) Si n2 es impar, entonces n es impar
b) Si a - bc, entonces a - b
c) Si 4 - a2 ,entonces a es impar
6. Demostrar:
60
Álgebra
a) Esta ley será aprobada en esta sesión si y solo si es apoyada por la mayoría. Es apoyada
por la mayoría o el gobernador se opone a ella. Si el gobernador se opone a ella, entonces será
pospuesta en las deliberaciones del comité. Por lo tanto, esta ley será aprobada en esta sesión o
será pospuesta en las deliberaciones del comité.
b) Un liquido es un ácido si y solo si colorea azul el papel de tornasol rojo. Un liquido colorea
de azul el papel de tornasol rojo si y solo si contiene iones de hidrógeno libres. Por lo tanto, un
liquido es un ácido si y solo si contiene iones de hidrógeno libres.
c) Si lo intento con ahínco y tengo talento, me convertiré en músico. Si me convirtio en músico,
entonces seré feliz. Luego si no voy a ser feliz, entonces no intentaré con ahínco o no tengo talento.
c2
d) Si el triángulo ABC, con lados a y b e hipotenusa c tiene un área de 4
, entonces el triángulo
es isósceles.
√
e) Si el triángulo rectángulo RST con lados r y s e hipotenusa t, satisface t = 2rs, entonces
el triángulo RST es isósceles.
f ) Si n es un número natural y 3n+1 es un cuadrado perfecto n+1 es suma de tres cuadrados
perfectos.
g) Si n es un número natural y 2n + 1 es un cuadrado perfecto, demostrar que n + 1 es suma
de dos cuadrados perfectos.
5. Cuantificadores:
Problema. 1. Para el universo de los enteros, sean p(x), q(x), r(x), s(x) y t(x) las siguientes
proposiciones
p(x) := x > 0
q(x) := x es par
r(x) := x es un cuadrado perfecto
s(x) := x es (exactamente) divisible entre 4
t(x) := x es (exactamente) divisible entre 5
61
Álgebra
b) Determine si cada una de las seis proposiciones del inciso a) es verdadero o falso. Para
cada proposición falsa, de un contra ejemplo.
c) Exprese en palabras cada una de las siguientes representaciones simbólicas
1) ∀x [r(x) → p(x)] 2) ∀x [s(x) → q(x)]
3) ∀x [s(x) →∼ t(x)] 4) ∃x [s(x)∧ ∼ r(x)]
5) ∀x [∼ r(x)∨ ∼ q(x) ∨ s(x)]
d) Proporcione un contra ejemplo para cada proposición falsa del inciso c)
1. (∀x)(∀y)(Ax ∧ Ay → F (x + y))
2. (∀z)(Az ↔∼ Bz )
3. (∀u)(Au ∨ Fu )
1. (∀x)(∀y)(∀z)(x(y + z) = xy + xz)
2. 3 × 5 = 15
3. 3 × 2 = 6
4. 2 + 5 = 7
5. 6 + 15 = 21
62
CAPÍTULO 2
Conjuntos
2.1. Introducción:
La “Teoría de Conjuntos” existe pero, en este capitulo solo se dará una introducción a la noción
de conjuntos y su lenguaje.
Un conjunto esta formado por elementos. Dado un conjunto A y un objeto cualquiera a (que
incluso puede ser otro conjunto), la pregunta que se puede realizar es la siguiente:
En caso afirmativo, se dice que a pertenece al conjunto A y en este caso lo denotaremos por
a ∈ A, en caso contrario, se dirá que a no pertenece al conjunto A y en esta otra situación lo
denotaremos por a ∈
/ A.
La matemática en algunos casos se ocupa del estudio de los números. Por tanto, los conjuntos más
frecuentes encontrados en la matemática son:
a) El conjunto de los números naturales N
b) El conjunto de los números enteros Z
c) El conjunto de los números racionales Q
d) El conjunto de los números reales R
e) El conjunto de los números complejos C
Los conjuntos sustituyen a las “propiedades” y a las “condiciones”. Así en ves de decir que
“el objeto x gosa de la propiedad P ” o “el objeto y satisface la condición Q” podemos escri-
63
Álgebra
Ejemplo 59. Sea P la propiedad de que los número entero x sea pares (esto es x es divisible entre
2) y Q la condición sobre los número real y que satisface la ecuación y 2 − 3y + 2 = 0 de segundo
grado.
Por otro lado sean A = {..., −4, −2, 0, 2, 4, ...} y B = {1, 2}, entonces da lo mismo decir que:
Ejemplo 60. Sea T el conjunto de los triángulos rectangulos y P el conjunto de todos los trián-
gulos, entonces todo triángulo rectangulo es un triángulo por tanto T ⊆ P .
64
Álgebra
Nota: El si y solo si en la relación (α) nos permite realizar un trabajo en el contexto de la lógica, si
la parte lógica es verdadera entonces la parte que esta escrito en el lenguaje de conjuntos también
sera verdadera y viceversa.
Solución: Para responder esta pregunta hay que negar la relación (α), es decir
∼ (A ⊆ B) ↔
|{z} ∼ (∀x : x ∈ A → x ∈ B)
por la
definición (2.1)
↔
|{z} ∼ (∀x :∼ (x ∈ A) ∨ x ∈ B)
por la ley
de la implicación
↔
|{z} ∼ (∀x : (∼ (x ∈ A) ∨ ∼∼ (x ∈ B)))
por la ley de la
doble negación
↔
|{z} ∼ (∀x :∼ ((x ∈ A) ∧ ∼ (x ∈ B)))
por la ley de
Morgan
↔
|{z} (∃x0 ) ((x0 ∈ A) ∧ ∼ (x0 ∈ B))
[∼(∀x)∼]⇔(∃x)
↔
|{z} ∃x0 # ((x0 ∈ A) ∧ ∼ (x0 ∈ B))
por notación
↔
|{z} ∃x0 # (x0 ∈ A ∧ x0 ∈
/ B)
por notación
Ejemplo 62. .
1) Sea A el conjunto de los números naturales pares y B el conjunto de los números naturales
múltiplos de 3, entonces A * B pues existe el elemento 2 ∈ A y 2 ∈
/ B.
2) Verificar los siguientes incisos
a) A ⊆ A b) ∅ ⊆ A
Solución:
Para el inciso a), según la definición (2.1)
A ⊆ A si y solo si ∀x : x ∈ A → x ∈ A
65
Álgebra
x ∈ A} → x
| {z ∈ A}
| {z
| V {z V }
V
x ∈ A} → x
| {z ∈ A}
| {z
F
| {z F }
V
∅ ⊆ A si y solo si ∀x : x ∈ ∅ → x ∈ A
pero v (x ∈ ∅) = F
! y sea cual fuera el valor de verdad de la proposición x ∈ A, implica que
v x ∈ ∅} → x
| {z ∈ A}
| {z = V , así v (∅ ⊆ A) = V , es decir el conjunto vació es subconjunto de
F V óF
cualquier conjunto.
La relación de inclusión gosa de las siguientes dos propiedades fundamentales
a) Reflexividad: A ⊆ A
b) Transitividad: Si A ⊆ B y B ⊆ C, entonces A ⊆ C
La parte del inciso a) ya se verifico en el ejemplo anterior. Ahora verifiquemos el inciso b), el
enunciado “Si A ⊆ B y B ⊆ C, entonces A ⊆ C” es equivalente al razonamiento deductivo
1) A ⊆ B hipótesis
2) B ⊆ C hipótesis
A⊆C Conclusión
por (2.1) se tiene
A ⊆ B si y solo si ∀x : x ∈ A → x ∈ B
B ⊆ C si y solo si ∀x : x ∈ B → x ∈ C
A ⊆ C si y solo si ∀x : x ∈ A → x ∈ C
66
Álgebra
1) ∀x : x ∈ A → x ∈ B hipótesis
2) ∀x : x ∈ B → x ∈ C hipótesis
∀x : x ∈ A → x ∈ C Conclusión
1) x ∈ A → x ∈ B hipótesis
2) x ∈ B → x ∈ C hipótesis
x∈A→x∈C Conclusión
1) x ∈ A → x ∈ B hipótesis
2) x ∈ B → x ∈ C hipótesis
3) x ∈ A nueva hipótesis
4) x ∈ B de 3 y 1 por MP
5) x ∈ C de 4 y 2 por MP
Ejemplo 64. Cuantos subconjuntos tiene cada uno de los siguientes conjuntos
y generalizar.
Solución:
Para el inciso a)
El conjunto {1} tiene los siguientes subconjuntos ∅ y {1}, es decir tiene 2 = 21 subconjuntos
Para el inciso b)
67
Álgebra
El conjunto {1, 2} tiene los siguientes subconjuntos ∅, {1}, {2} y {1, 2}, es decir tiene 4 = 22
subconjuntos
Para el inciso c)
El conjunto {1, 2, 3} tiene los siguientes subconjuntos ∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3} y
{1, 2, 3}, es decir tiene 8 = 23 subconjuntos
En general los subconjuntos del conjunto {1, 2, 3, ..., n} son:
n
∅ tiene 1 = subconjunto
0
n
{1}, {2},..., {n} tiene n = subconjuntos
1
n
{1, 2}, {1, 3}, {2, 3},..., {n − 1, n} tiene n(n−1)
2
= subconjuntos
2
.. ..
. .
n
{1, 2, 3, ..., n} tiene 1 = subconjunto
n
68
Álgebra
n n n n
es decir (2)n = + + + ··· +
0 1 2 n
A=B si y solo si A ⊆ B ∧ B ⊆ A
Definición. (2.3) Si se nombran todos los elementos del conjunto A, entonces se dice que el
conjunto A esta escrito por extensión. Si se dan a conocer los elementos del conjunto A por
medio de una propiedad se dice que el conjunto A esta determinado por comprensión.
Ejemplo 65. .
1) El conjunto A = {a, b, c} esta escrito por extensión y el conjunto B = x ∈ |{z}
Z : |x| < 2
| {z }
Universo de
P (x)
trabajo
esta escrito por comprensión.
2) Ver si el siguientes conjunto A = x ∈ R : 21 x2 − 32 x + 3
= 2 es igual al siguiente conjunto
2
B = {x ∈ R : x2 − 3x − 1 = 0}
Solución: Para ver que los conjuntos A y B sean iguales, según la definición (2.2) ambos conjuntos
tienen que coleccionar los mismos elementos, es decir
x ∈ R : 12 x2 − 32 x + 23 = 2
A =
x ∈ R : 12 (x2 − 3x + 3) = 2
=
= {x ∈ R : (x2 − 3x + 3) = 4}
= {x ∈ R : x2 − 3x + 3 − 4 = 0}
= {x ∈ R : x2 − 3x − 1 = 0}
= B
69
Álgebra
A ⊆ B si y solo si (A ⊂ B) ∨ A = B
x ∈ Ac si y solo si x ∈
/A
o equivalentemente
x ∈ A si y solo si x ∈
/ Ac
Ac = {x ∈ U : x ∈
/ A}
70
Álgebra
Solución:
Primero veamos el caso U c = ∅, según la definición de igualdad de conjuntos se tiene
Uc = ∅ si y solo si U c ⊆ ∅ ∧ ∅ ⊆ U c
| {z } | {z }
Caso 1 Caso 2
U c ⊆ ∅ si y solo si ∀x : x ∈ U c → x ∈ ∅
la relación
c
|∈
x {zU} → x ∈ ∅}
| {z
hipótesis conclusión
x ∈/ ∅} → x
| {z |∈/{zU}c
hipotesis conclusión
x∈
/∅ →
|{z} x∈U
por definición de
conjunto ∅
→
|{z} ∼ (∼ (x ∈ U ))
por la ley de la
doble negación
→
|{z} ∼ (x ∈
/ U)
por notación
→
|{z} ∼ (x ∈ U c )
por definición
de complemento
→
|{z} / Uc
x∈
por notación
71
Álgebra
x ∈ (Ac )c ↔
|{z} / Ac
x∈
por la definición de
complemento de conjuntos
↔ ∼ (x ∈ Ac )
por notación
↔
|{z} ∼ (x ∈
/ A)
por la definición de
complemento de conjuntos
↔ ∼ (∼ (x ∈ A))
por notación
↔
|{z} x∈A
por la ley de la
doble negación
∅c =
|{z} (U c )c
recordemos que
∅=U c
=
|{z} U
por la afirmación
anterior (Ac )c =A
Si A ⊆ B , entonces B c ⊆ Ac
| {z } | {z } | {z }
p hipótesis → q conclusión
72
Álgebra
B c ⊆ Ac si y solo si ∀x : x c
| ∈{zB} → x
|∈
c
{zA}
hipótesis conclusión
x ∈ Bc →
|{z} x∈
/B
por la definición de
complemento de conjuntos
→
|{z} x∈
/A
por hipótesis A ⊆ B
→
|{z} x ∈ Ac
por la definición de
complemento de conjuntos
así B c ⊆ Ac .
Otra forma de Verificar el inciso b) es el siguiente: El enunciado; Si A ⊆ B, entonces B c ⊆ Ac es
equivalente al siguiente razonamiento deductivo
A⊆B hipótesis
B c ⊆ Ac conclusión
A ⊆ B si y sólo si ∀x : x ∈ A → x ∈ B
B c ⊆ Ac si y sólo si ∀x : x ∈ B c → x ∈ Ac
∀x : x ∈ A → x ∈ B hipótesis
∀x : x ∈ B c → x ∈ Ac conclusión
y para dar validez a este razonamiento deductivo es suficiente y necesario dar validez al siguiente
razonamiento
x∈A→x∈B hipótesis
x ∈ B c → x ∈ Ac conclusión
x∈A→x∈B hipótesis
x ∈ Bc nueva hipótesis
x ∈ Ac nueva conclusión
73
Álgebra
1) x ∈ A → x ∈ B hipótesis
2) x ∈ B c nueva hipótesis
3) ∼ (x ∈ B) →∼ (x ∈ A) de 1 (x ∈ A → x ∈ B) ⇔ (∼ (x ∈ B) →∼ (x ∈ A))
4) x ∈
/B→x∈
/A de 3 [∼ (x ∈ B) →∼ (x ∈ A)] ⇔ [x ∈
/B→x∈
/ A]
5) x ∈ B c → x ∈ Ac de 4 (x ∈ / A) ⇔ (x ∈ B c → x ∈ Ac )
/B→x∈
6) x ∈ Ac de 2 y 5 por MP
así la relación B c ⊆ Ac es valida bajo la hipótesis A ⊆ B.
x ∈ (A ∪ B) si y solo si x ∈ A ∨ x ∈ B
A ∪ B = {x ∈ U : x ∈ A ∨ x ∈ B}
A ⊆ (A ∪ B) si y solo si ∀x : x ∈ A} → x ∈ (A ∪ B)
| {z | {z }
hipótesis conclusión
por hipótesis
x∈A →
|{z} x∈A∨x∈B
por la propiedad
p⇔(p∨q)
→
|{z} x ∈ (A ∪ B)
por definición
de unión de conjuntos
74
Álgebra
Solución:
x ∈ (A ∪ B) ↔
|{z} x∈A∨x∈B
por definición de
unión de conjuntos
↔
|{z} x∈B∨x∈A
(p∨q)⇔(q∨p)
↔
|{z} x ∈ (B ∪ A)
por definición de
unión de conjuntos
Ejercicio 70. Verificar que el elemento neutro de la unión es el conjunto vacio ∅, es decir (A ∪ ∅) =
A y (∅ ∪ A) = A
Solución:
Caso 1: Verifiquemos que la igualdad (A ∪ ∅) = A es verdadera: Por definición de igualdad de
conjuntos
(A ∪ ∅) = A si y solo si (A ∪ ∅) ⊆ A ∧ A ⊆ (A ∪ ∅)
| {z } | {z }
subcaso 1 subcaso 2
(A ∪ ∅) ⊆ A si y solo si ∀x : x ∈ (A ∪ ∅) → x ∈ A}
| {z
| {z }
hipótesis conclusión
x ∈ (A ∪ ∅) hipótesis
x∈A conclusión
75
Álgebra
verifiquemos la validez de este razonamiento deductivo por medio de la contradicción, es decir hay
que verificar la validez del siguiente razonamiento deductivo
x ∈ (A ∪ ∅) hipótesis
x∈
/A nueva hipótesis
F conclusión
1) x ∈ (A ∪ ∅) hipótesis
2) x ∈
/A nueva hipótesis
3) x ∈ A ∨ x ∈ ∅ de 1 por definición de unión
4) ∼ (x ∈
/ A) ∨ x ∈ ∅ de 3 (x ∈ A) ⇔ (∼∼ (x ∈ A)) ⇔ (∼ (x ∈
/ A))
5) x ∈
/A→x∈∅ de 4 (∼ (x ∈
/ A) ∨ x ∈ ∅) ⇔ (x ∈
/ A → x ∈ ∅)
6) x ∈ ∅ de 2 y 5 por MP
7) v (x ∈ ∅) = F (contradicción) de 6
por hipótesis
x∈A →
|{z} x∈A∨x∈∅
p⇔(p∨q)
→
|{z} x ∈ (A ∪ ∅)
por la definición
de unión de conjuntos
A =
|{z} (A ∪ ∅)
por el
caso 1
=
|{z} (∅ ∪ A)
por la conmutatividad
de la unión
76
Álgebra
x ∈ (A ∩ B) si y solo si x ∈ A ∧ x ∈ B
A ∩ B = {x ∈ U : x ∈ A ∧ x ∈ B}
(A ∩ B) = A si y solo si (A ∩ B) ⊆ A ∧ A ⊆ (A ∩ B)
| {z } | {z }
Caso 1 Caso 2
(A ∩ B) ⊆ A si y solo si ∀x : x ∈ (A ∩ B) → x ∈ A}
| {z
| {z }
hipótesis conclusión
por hipótesis
x ∈ (A ∩ B) →
|{z} x∈A∧x∈B
por definición de
intersección
→
|{z} x∈A
por la propiedad
(p∧q)⇔p
A ⊆ (A ∩ B) si y solo si ∀x : x ∈ A} → x ∈ (A ∩ B)
| {z | {z }
hipótesis conclusión
por hipótesis
77
Álgebra
x∈A →
|{z} x∈A∧x∈A
por la propiedad
(p∧p)⇔p
→
|{z} x∈A∧x∈B
por hipótesis
A⊂B
→
|{z} x ∈ (A ∩ B)
por definición de
intersección
Solución:
x ∈ (A ∩ B) ↔
|{z} x∈A∧x∈B
por definición de
intersección
↔
|{z} x∈B∧x∈A
(p∧q)⇔(q∧p)
↔
|{z} x ∈ (B ∩ A)
por definición de
intersección
(A ∩ ∅) = ∅ si y solo si (A ∩ ∅) ⊆ ∅ ∧ ∅ ⊆ (A ∩ ∅)
| {z } | {z }
Caso 1 Caso 2
(A ∩ ∅) ⊆ ∅ si y solo si ∀x : x ∈ (A ∩ ∅) → x ∈ ∅
78
Álgebra
v (x ∈ (A ∩ ∅)) = F
así
x ∈ (A ∩ ∅) → x ∈ ∅}
| {z
| {z }
F F
| {z }
V
[A ∩ (∅ ∪ B)] ↔ A∩B
B=∅∪B
↔ A
pues A⊆B
79
Álgebra
x ∈ (A ∪ B)c ↔
|{z} x∈
/ (A ∪ B)
por definición
de complemento
↔
|{z} ∼ (x ∈ (A ∪ B))
por notación
↔
|{z} ∼ (x ∈ A ∨ x ∈ B)
por definición
de unión
↔
|{z} ∼ (x ∈ A) ∧ ∼ (x ∈ B)
por la ley
de Morgan
↔
|{z} x∈
/ A∧x∈
/B
por notación
↔
|{z} x ∈ Ac ∧ x ∈ B c
por definición
de complemento
↔
|{z} x ∈ (Ac ∩ B c )
por definición
de intersección
80
Álgebra
x ∈ (A ∩ B)c ↔
|{z} x∈
/ (A ∩ B)
por definición
de complemento
↔
|{z} ∼ (x ∈ (A ∩ B))
por notación
↔
|{z} ∼ (x ∈ A ∧ x ∈ B)
por definición
de intersección
↔
|{z} ∼ (x ∈ A) ∨ ∼ (x ∈ B)
por la ley
de Morgan
↔
|{z} x∈
/ A∨x∈
/B
por notación
↔
|{z} x ∈ Ac ∨ x ∈ B c
por definición
de complemento
↔
|{z} x ∈ (Ac ∪ B c )
por definición
de unión
v (x ∈ (Ac ∩ A) → x ∈ ∅) = V
81
Álgebra
Solución:
U =
|{z} ∅c
∅c =U
=
|{z} (Ac ∩ A)c
∅=(Ac ∩A)
=
|{z} (Ac )c ∪ Ac
por la ley
de Morgan
=
|{z} A ∪ Ac
(Ac )c =A
=
|{z} Ac ∪ A
por la conmutatividad
de la unión
x ∈ (A − B) si y solo si x ∈ A ∧ x ∈
/B
(A − B) = {x ∈ U : x ∈ A ∧ x ∈
/ B}
Solución:
Por hipótesis
82
Álgebra
x ∈ (A − B) ↔
|{z} x∈A∧x∈
/B
por definición de
diferencia de conjuntos
↔
|{z} x ∈ A ∧ x ∈ Bc
por definición de
complemento
↔
|{z} x ∈ (A ∩ B c )
por definición de
intersección
Ejemplo 78. Demuestre que para cualesquiera subconjuntos A, B y C del conjunto universo U ,
se verifica la igualdad [(Ac ∪ B) − (A ∪ B)c ] ∪ B c = U
Solución:
c
[(Ac ∪ B) − (A ∪ B)c ] ∪ B c =
|{z} [(Ac ∪ B) ∩ ((A ∪ B)c ) ] ∪ B c
(A−B)=(A∩B c )
=
|{z} [(Ac ∪ B) ∩ (A ∪ B)] ∪ B c
(Ac )c =A
=
|{z} [(Ac ∩ A) ∪ B] ∪ B c
por la ley
distributiva
=
|{z} [∅ ∪ B] ∪ B c
(Ac ∩A)=∅
=
|{z} B ∪ Bc
(A∪∅)=A
=
|{z} U
(Ac ∪A)=U
83
Álgebra
[(A ∪ C) − (B − C)] − (A − C) =
|{z} [(A ∪ C) − (B ∩ C c )] − (A ∩ C c )
(A−B)=(A∩B c )
=
|{z} [(A ∪ C) ∩ (B ∩ C c )c ] ∩ (A ∩ C c )c
(A−B)=(A∩B c )
=
|{z} [(A ∪ C) ∩ (B c ∪ C)] ∩ (Ac ∪ C)
por la ley
de Morgan
=
|{z} (A ∪ C) ∩ [(B c ∪ C) ∩ (Ac ∪ C)]
por la asociatividad
y conmutatividad
=
|{z} (A ∪ C) ∩ [(B c ∩ Ac ) ∪ C]
por la ley
distributiva
=
|{z} (A ∪ C) ∩ [∅ ∪ C]
(B c ∩Ac )=∅
=
|{z} C ∩ (C ∪ A)
por el álgebra
de conjuntos
=
|{z} C
por la ley de
la absorción
=
|{z} [A ∩ A ∩ B]c − (B ∩ C)
(Ac )c =A
=
|{z} [A ∩ B]c − (B ∩ C)
(p∧p)⇔p
=
|{z} (A ∩ B)c ∩ (B ∩ C)c
(A−B)=(A∩B c )
=
|{z} (Ac ∪ B c ) ∩ (B c ∪ C c )
por la ley
de Morgan
84
Álgebra
=
|{z} B c ∪ (Ac ∩ C c )
por el álgebra
de conjuntos
=
|{z} B c ∪ (A ∪ C)c
por la ley
de Morgan
=
|{z} B c ∪ (U )c
por hipotesis
=
|{z} Bc
por el álgebra
de conjuntos
c
así la igualdad [A − (A ∩ B)c ] − (B ∩ C) = B c es verdadera.
Solución:
[A − (B ∪ C)] ∪ (A ∩ B) ∪ (A ∩ C) =
|{z} [A − (B ∪ C)] ∪ [(A ∩ B) ∪ (A ∩ C)]
por la ley
asociativa
=
|{z} [A − (B ∪ C)] ∪ [A ∩ (B ∪ C)]
por la ley
distributiva
=
|{z} [A ∩ (B ∪ C)c ] ∪ [A ∩ (B ∪ C)]
por definición
diferencia
=
|{z} A ∩ ((B ∪ C)c ∪ (B ∪ C))
por la ley
distributiva
=
|{z} A∩U
(A∪Ac )=U
=
|{z} A
(A∩U )=A
c
Ejemplo 81. Simplificar {[(Ac ∪ (B c ∪ C)) ∪ (D ∩ C)]c ∪ (B ∩ A)}
c
Solución: Sea R := {[(Ac ∪ (B c ∪ C)) ∪ (D ∩ C)]c ∪ (B ∩ A)} así
85
Álgebra
c
R =
|{z} {[(Ac ∪ (B c ∪ C)) ∪ (D ∩ C)]c } ∩ (B ∩ A)c
(A∪B)c =Ac ∩B c
=
|{z} [(Ac ∪ (B c ∪ C)) ∪ (D ∩ C)] ∩ (B ∩ A)c
(Ac )c =A
=
|{z} [(Ac ∪ (B c ∪ C)) ∪ (D ∩ C)] ∩ (B c ∪ Ac )
(A∩B)c =Ac ∪B c
=
|{z} [[(Ac ∪ (B c ∪ C)) ∩ (B c ∪ Ac )] ∪ [(D ∩ C) ∩ (B c ∪ Ac )]]
por la ley
distributiva
=
|{z} [[((Ac ∪ B c ) ∪ (Ac ∪ C)) ∩ (B c ∪ Ac )]
por la ley
distributiva
∪ [(D ∩ C) ∩ (B c ∪ Ac )]]
=
|{z} [[(Ac ∪ B c ) ∩ ((Ac ∪ B c ) ∪ (Ac ∪ C))]
por la ley de
la conmutatividad
∪ [(D ∩ C) ∩ (B c ∪ Ac )]]
=
|{z} (Ac ∪ B c ) ∪ [(D ∩ C) ∩ (B c ∪ Ac )]
por la ley de
la absorción
=
|{z} (Ac ∪ B c ) ∪ [(Ac ∪ B c ) ∩ (D ∩ C)]
por la ley de
la conmutatividad
=
|{z} Ac ∪ B c
por la ley de
la absorción
c
así la simplificación de {[(Ac ∪ (B c ∪ C)) ∪ (D ∩ C)]c ∪ (B ∩ A)} es Ac ∪ B c .
Solución:
↔
|{z} A ∩ (B c ∪ C c )
por al ley de la
distributividad
↔
|{z} A ∩ (B ∩ C)c
por al ley de
Morgan
↔ A − (B ∩ C)
(A−B)=(A∩B c )
86
Álgebra
Solución:
A4B =
|{z} (A − B) ∪ (B − A)
por la definición
de diferencia
simetrica
=
|{z} (A ∩ B c ) ∪ (B ∩ Ac )
(A−B)=(A∩B c )
=
|{z} [(A ∩ B c ) ∪ B] ∩ [(A ∩ B c ) ∪ Ac ]
por la ley
distributiva
=
|{z} (A ∪ B) ∩ (B c ∪ B) ∩ (A ∪ Ac ) ∩ (B c ∪ Ac )
por la ley
distributiva
=
|{z} (A ∪ B) ∩ U ∩ U ∩ (B c ∪ Ac )
(A∪Ac )=U
=
|{z} [(A ∪ B) ∩ U ] ∩ [U ∩ (B c ∪ Ac )]
por la
asociatividad
=
|{z} (A ∪ B) ∩ (B c ∪ Ac )
(U ∩A)=A
=
|{z} (A ∪ B) ∩ (B ∩ A)c
por la ley
de Morgan
=
|{z} (A ∪ B) ∩ (A ∩ B)c
por la
conmutatividad
=
|{z} (A ∪ B) − (A ∩ B)
(A−B)=(A∩B c )
87
Álgebra
Ejemplo 84. Verificar la propiedad del inciso c), es decir A4∅ = A y ∅4A = A
Solución:
Para la igualdad A4∅ = A
A4∅ =
|{z} (A ∪ ∅) − (A ∩ ∅)
(A4B)=[(A∪B)−(A∩B)]
=
|{z} A−∅
(A∪∅)=A y (A∩∅)=∅
=
|{z} A ∩ ∅c
(A−B)=(A∩B c )
=
|{z} A∩U
∅c =U
=
|{z} A
(A∩U )=A
Solución:
A4A =
|{z} (A − A) ∪ (A − A)
por la definición
de diferencia
simetrica
=
|{z} (A ∩ Ac ) ∪ (A ∩ Ac )
(A − B)=(A ∩ B c )
=
|{z} ∅∪∅
(Ac ∩A)=∅
=
|{z} ∅
(A∪A)=A
88
Álgebra
Solución:
[(H 4 I) 4 J] =
|{z} ((A 4 B) 4 (A 4 C)) 4 (B 4 C)
remplazando
=
|{z} (A 4 B 4 A 4 C) 4 (B 4 C)
por la
asociatividad
=
|{z} (A 4 A 4 B 4 C) 4 (B 4 C)
por la
conmutatividad
=
|{z} ((A 4 A) 4 (B 4 C)) 4 (B 4 C)
por la
asociatividad
=
|{z} (∅ 4 (B 4 C)) 4 (B 4 C)
por la existencia
del inverso
=
|{z} (B 4 C) 4 (B 4 C)
por la existencia
del neutro
=
|{z} ∅
por la existencia
del inverso
asi la simplificación de (H 4 I) 4 J es ∅.
X ∈ P (A) si y solo si X ⊆ A
89
Álgebra
por tanto
∅, {a}, {e}, {i}, {o}, {u}, {a, e}, {a, i}, {a, o}, {a, u}, {e, i}, {e, o}, {e, u}, {i, o}, {i, u}, {o, u},
{a, e, i}, {a, e, o}, {a, e, u}, {a, i, o}, {a, i, u}, {a, o, u}, {e, i, o}, {e, i, u}, {i, o, u}, {e, o, u},
{a, e, i, o}, {a, e, i, u}, {e, i, o, u}, {a, i, o, u}, {a, e, o, u}, {a, e, i, o, u} = A
por tanto
P (A) = {∅, {a} , {e} , {i} , {o} , {u} , {a, e} , {a, i} , {a, o} ,
{a, u} , {e, i} , {e, o} , {e, u} , {i, o} , {i, u} , {o, u}
{a, e, i} , {a, e, o} , {a, e, u} , {a, i, o} , {a, i, u} , {a, o, u} ,
{e, i, o} , {e, i, u} , {i, o, u} , {e, o, u} , {a, e, i, o} ,
{a, e, i, u} , {e, i, o, u} , {a, i, o, u} , {a, e, o, u} , A}
Definición. (2.10) El par ordenado (a, b) es el conjunto cuyos elementos son {a} y {a, b} , es
decir (a, b) = {a, {a, b}}
90
Álgebra
(a, b) ∈ (A × B) si y solo si a ∈ A ∧ b ∈ B
Solución:
Solución:
Nota: Observando los dos ejemplos anteriores se tiene que A × B 6= B × A, así podemos decir
que en general el producto cartesiano no es conmutativo.
Solución:
(a, b) ∈ [(A ∪ B) × C] ↔
|{z} a ∈ (A ∪ B) ∧ b ∈ C
por definición de
producto cartesiano
↔
|{z} (a ∈ A ∨ a ∈ B) ∧ b ∈ C
por definición
de unión
↔
|{z} (a ∈ A ∧ b ∈ C) ∨ (a ∈ B ∧ b ∈ C)
por la ley
distributiva
↔
|{z} (a, b) ∈ (A × C) ∨ (a, b) ∈ (B × C)
por definición de
producto cartesiano
↔
|{z} (a, b) ∈ (A × C) ∪ (B × C)
por definición
de unión
91
Álgebra
a) Si A ∪ B = U y A ∩ B = ∅ entonces B = Ac
b) Si A × B = ∅ si y solo si A = ∅ ∨ B = ∅
Solución:
Para el inciso a)
Notemos que el enunciado
Si A ∪ B = U y A ∩ B = ∅ entonces B = Ac
es equivalente al enunciado
Si Ac ∩ B c = ∅ y Ac ∪ B c = U entonces B = Ac
B = Ac si y solo si B ⊆ Ac ∧ Ac ⊆ B
| {z } | {z }
Caso 1 Caso 2
B ⊆ Ac si y solo si ∀x : x ∈ B → x ∈ Ac
por hipotesis
x∈B →
|{z} x∈
/A
por hipótesis
(A∩B)=∅∧(A∪B)=U
→
|{z} x ∈ Ac
por definición
de complemnento
Ac ⊆ B si y solo si ∀x : x ∈ Ac → x ∈ B
por hipótesis
92
Álgebra
x ∈ Ac →
|{z} / Bc
x∈
por hipótesis
(Ac ∩B c )=∅∧(Ac ∪B c )=U
→
|{z} x∈B
por definición
de complemnenta
Si A B = ∅} si y solo si A
| × {z = ∅} ∨ B
| {z = ∅}
| {z
p q r
Si A 6= ∅ ∧ B 6= ∅ entonces A × B 6= ∅
| {z } | {z } | {z }
∼q ∼r ∼p
Si A × B 6= ∅ entonces A 6= ∅ ∧ B 6= ∅
| {z } | {z } | {z }
∼p ∼q ∼r
93
Álgebra
∪F = ∪ A = {x : existe A ∈ F ∧ x ∈ A}
A∈F
∩F = ∩ A = {x : para todo A ∈ F ∧ x ∈ A}
A∈F
Ejemplo 94. Para cualquier x ∈ R2 , se tiene la familia de conjuntos Rx = C(x,r) : r > 0 (donde
C(x,r) es la circunferencia de centro x y radio r del plano cartesiano) y en esta familia observamos
que el conjunto de indices es I = {r ∈ R : r > 0}.
También la familia de conjuntos E = {Rx : x ∈ R2 } esta indezada por el conjunto de indices
I = R2 .
94
Álgebra
Con el concepto de familia indizada de conjuntos, la unión de la familia F = {Aα }α∈I puede
definirse de la siguiente forma
y la intersección se define
Pero cuando el conjunto de indices es el conjunto de los números naturales N,la unión se denota
∞
∪ An o ∪ An
n=0 n∈N
y la intersección
∞
∩ An o ∩ An
n=0 n∈N
∞
Ejemplo 95. Sea Ak = {n ∈ N : n ≥ k} para k = 1, 2, ... así A1 ⊇ A2 ⊇ A3 · · · , pero ∩ Ak = ∅.
k=0
Propiedades:
a) ∪ An ∩ ∪ Bk = ∪ {An ∩ Bk : (n, k) ∈ N × N}
n∈N k∈N
b) ∩ An ∪ ∩ Bk = ∩ {An ∪ Bk : (n, k) ∈ N × N}
n∈N k∈N
c) X − ∪ {An : n ∈ N} = ∩ {X − An : n ∈ N}
X − ∩ {A
d) n :n ∈ N}= ∪ {X − An : n ∈ N}
e) ∪ An × ∪ Bk = ∪ {An × Bk : (n, k) ∈ N × N}
n∈N k∈N
f ) ∩ An × ∩ Bk = ∩ {An × Bk : (n, k) ∈ N × N}
n∈N k∈N
95
Álgebra
2. Determine todos los números enteros x para los cuales la función proposicional P (x) es verdadera
donde
a) Existe números enteros m y n tales que x = 2m + 3n
b) Existe números enteros m y n tales que x = 4m + 6n
3. Unión e Intersección
1. Verificar que
0 0 0 0
a) Si A ⊆ B y A ⊆ B , entonces A ∩ A ⊆ B ∩ B
b) A ∩ B = A si y sólo si A ⊆ B
2. Diga si cada uno de los siguientes incisos son falsos o verdaderos, en caso afirmativo verificarlo
y en caso contrario dar un contra ejemplo
a) A ∪ B = A ∪ C entonces B = C
b) A ∩ B = A ∩ C entonces B = C
c) A ∪ B = A ∪ C y A ∩ B = A ∩ C entonces B = C
3. Determinar los siguientes conjuntos
a) Z+ \ Z− b) Z+ ∩ Z− c) Z+ ∪ Z−
96
Álgebra
4. Dado que U = {1, 2, 3, ..., 10}, A = {3, 9, 10}, B = {1, 2, 6, 7} y C = {2, 5, 7, 9} tres conjuntos.
Ubicarlos en un diagrama de Venn conveniente.
5. Sean los conjuntos A = {1, 2, 3, 4, 5}, B = {1, 2, 4, 6, 8} y C = {2, 4, 5, 7} obtener un conjunto
X tal que X ⊆ A y X = B ∩ C
6. ¿Cual de las siguientes afirmaciones son verdaderas? ¿Cuales son falsas? Para las que sean falsas
proporciona un contra ejemplo.
a) A ∩ (B ∩ C) = (A ∩ B) ∩ C, para todo A, B y C
b) A ∪ B ⊆ A ∩ B implica que A = B
c) A ∩ (∅ ∪ B) = A siempre que A ⊆ B
d) A ∪ B = A ∩ B si y solo si A = B
4. Diferencia y Complemento
1. Considera que U = {1, 2, 3, 4, 5, 6}, A = {1, 4, 5}, B = {1, 2, 4, 5} y C = {2, 3, 5}, tres conjuntos.
Determina los elementos de:
2. Si U = {1, 2, 3, ..., 10}, A = {1, 3, 5, 6}, B = {3, 6, 9, 10} y C = {3, 4, 5, 6}, determinar los
elementos de los siguientes conjuntos:
a) A ∩ (B − C) b) C − (B − A)
c) (C − B) − A d) (Ac − B) ∩ C c
a) A \ (B ∪ C) = (A \ B) ∩ (A \ C) b) A \ (B ∩ C) = (A \ B) ∪ (A \ C)
c) A ∩ (B \ C) = (A ∩ B) \ C d) (A ∪ B) \ C = (A \ C) ∪ (B \ C)
a) A ∩ (B ∪ C) = A ∩ C b) A − B = A
c) A = (A ∪ B) − B
a) B ∪ CA (B) = A b) B ∩ CA (B) = ∅
97
Álgebra
a) A = {x ∈ Z : | x |≤ 5} b) B = {x ∈ N : x es divisor de 6}
2
c) C = B = {x ∈ N : x < 16} d) D = {x ∈ R : x2 − 3x + 2 = 0}
calcular
a) A ∪ D b) (A ∩ B) ∪ C
c) (A − B) ∪ (B − D) d) (B − A) ∩ C
e) A4B f ) (A ∩ B) ∩ C
g) (C − A) ∩ (A − C) h) (A ∩ B) − C
98
Álgebra
a) (A ∪ B) × C = (A × C) ∪ (B × C)
b) (A ∩ B) × C = (A × C) ∩ (B × C)
c) A × (B − C) = (A × B) − (A × C)
d) A × (B 4 C) = (A × B) 4 (A × C)
6. Sean A, B ⊆ X y C, D ⊆ Y . Demuestre que:
a) (A × C) ∩ (B × D) = (A ∩ B) × (C ∩ D)
b) (A × C) ∪ (B × D) ⊆ (A ∪ B) × (C ∪ D) . Muestre que es posible que se de la igualdad.
c) (X × Y ) − (B × C) = ((X − B) × Y ) ∪ (X × (Y − C))
7. Demostrar o refutar
a) A ⊆ B si y solo si P (A) ⊆ P (B)
b) P (A ∪ B) = P (A) ∪ P (B)
c) P (A ∩ B) = P (A) ∩ P (B)
8. Demostrar (A − B) − C = A − (B ∪ C)
99
CAPÍTULO 3
Relaciones y Funciones
3.1. Introducción:
Los conceptos de relación y función son sin duda alguna de los más importantes dentro de la
matemática moderna, la mayor parte de las investigaciones se centra en el estudio de estos temas.
Obs: para indicar que el par ordenado (x, y) pertenece a la relación R ((x, y) ∈ R) suele escribirse
xRy y se lee x esta relacionado con y bajo la relación R.
xRy si y solo si x + y ≤ 5
|{z}
(x,y)∈R
100
Álgebra
de este producto cartesiano ahora hay que selecciónar los pares ordenados que cumplen la condición
x + y ≤ 5 es decir aquellos pares ordenados que al sumar las dos coordenadas no sean mayores
que 5
xRy si y solo si xy − 3 ≤ 12
|{z}
(x,y)∈R
de este producto cartesiano ahora hay que selecciónar los pares ordenados que cumplen la condición
xy − 3 ≤ 12 o lo que es lo mismo xy ≤ 15 es decir aquellos pares ordenados que al multiplicar las
dos coordenadas no sean mayores que 15
101
Álgebra
D(R) = x ∈ A : xRy
|{z}
(x,y)∈R
D(R) = {1, 2}
Ejemplo 99. Determinar el dominio de la relación R = {(1, 2) , (2, 2) , (3, 3) , (5,2) , (4, 2)}
D(R) = {1, 2, 3, 5, 4}
102
Álgebra
R = ((x1 , x2 ), (y1 , y2 )) ∈ R2 × R2 : x1 = y1
o equivalentemente
R = {((a, x2 ), (a, y2 )) : a, x2 , y2 ∈ R}
103
Álgebra
I(R) = y ∈ B : xRy
|{z}
(x,y)∈R
I(R) = {3, 4}
104
Álgebra
Definición. (3.4)
Dada la relación R de A en B (R ⊆ A × B), la relación inversa R−1 de R se
define R−1 = (y, x) ∈ B × A : xRy
|{z}
(x,y)∈R
Ejemplo 104. Determinar la relación inversa de la relación R = {(1, 3) , (1, 4) , (2, 3) , (1, 1)}
xRy si y solo si x = y o x + y = 3
|{z}
(x,y)∈R
Solución: La relación R en este caso esta definida por xRy si y solo si x = y o x + y = 3, es decir
|{z}
(x,y)∈R
R = {(x, y) ∈ N × N : x = y ∨ x + y = 3}
entonces según la definición (3.4) en la propiedad que colecciona los pares ordenados hay que
cambiar x por y e y por x de esta forma la relación inversa será
R−1 = {(y, x) ∈ N × N : y = x ∨ y + x = 3}
es decir R−1 = R
R = {(x, y) ∈ R × R :| x | +2 | y |= 1}
105
Álgebra
a si a ≥ 0
| a |=
−a si a < 0
R = {(x, y) ∈ R × R :| x | +2 | y |= 1}
= {(x, y) ∈ R × R : x + 2y = 1}
(x, y) ∈ R × R : y = − 21 x + 12
=
Caso 2: Si x ≥ 0 e y < 0
R = {(x, y) ∈ R × R :| x | +2 | y |= 1}
= {(x, y) ∈ R × R : x + 2 (−y) = 1}
(x, y) ∈ R × R : y = 12 x − 12
=
Caso 3: Si x < 0 e y ≥ 0
R = {(x, y) ∈ R × R :| x | +2 | y |= 1}
= {(x, y) ∈ R × R : −x + 2y = 1}
(x, y) ∈ R × R : y = 12 x + 21
=
R = {(x, y) ∈ R × R :| x | +2 | y |= 1}
= {(x, y) ∈ R × R : −x + 2 (−y) = 1}
(x, y) ∈ R × R : y = − 12 x − 12
=
106
Álgebra
Dominio de la relación R:
Para determinar el dominio de la relación en el grafico anterior se tiene que proyectar las aristas
de la figura de forma ortogonal al eje horizantal y de esta forma se tendria que
D(R) = [−1, 1]
Para determinar el imagen de la relación en el grafico anterior se tiene que proyectar las aristas
de la figura de forma ortogonal al eje vertical y de esta forma se tendria que
I(R) = − 21 , 12
Ejemplo 107. Si A = {1, 2, 3, 4, 5}, B = {1, 4, 6, 16} y C = {2, 3, 8, 10} y las relaciones R ⊆ A×B
y S ⊆ B × C, definidas por
xRy si y solo si y = x2
ySz si y solo si z = y
2
107
Álgebra
R → S
la segunda coordenada de R es
igual a la primera coordenada de S
(1, 1)
(2, 4) → (4, 2)
(4, 16) → (16, 8)
(6, 3)
Solución: Por la definición (3.4) la relación inversa de la relación S◦R es: (S ◦ R)−1 = {(2, 2) , (8, 4)}
Otra forma de determinar la relación inversa de S ◦ R es la siguiente:
Según el ejemplo anterior las relaciones R y S son:
S −1 → R−1
la segunda coordenada de S −1 es
igual a la primera coordenada de R−1
(3, 6)
(2, 4) → (4, 2)
(8, 16) → (16, 4)
(1, 1)
de donde R−1 ◦ S −1 = {(2, 2) , (8, 4)} y según la propiedad anterior inciso b) se tendrá que
108
Álgebra
2) No Reflexiva:
3) Arreflexividad:
R es arreflexiva si y solo si ∀x : x ∈ A → x Rx
|{z}
(x,x)∈R
/
4) Simetría:
5) No Simetría:
6) Asimétrica:
7) Transitividad:
8) No Transitividad:
109
Álgebra
9) Atransitividad:
10) Antisimétrica:
Ejemplo 109. Clasificar la relación R = {(1, 1) , (2, 2) , (3, 3) , (2, 1) , (1, 2)}
Solución:
Veamos si la relación R es: Reflexiva, No reflexiva ó Areflexiva. Para esto notemos que A = {1, 2, 3}
y si
1∈A → (1, 1) ∈ R
2∈A → (2, 2) ∈ R
3∈A → (3, 3) ∈ R
observando este comportamiento de los elementos de la relación R con respecto a los elementos
del conjunto A y las definiciones 1), 2) y 3) la relación R es reflexiva.
Veamos si la relación R es: Simetrica, No simetrica ó Asimetrica, es decir
(1, 1) ∈ R → (1, 1) ∈ R
(2, 2) ∈ R → (1, 1) ∈ R
(3, 3) ∈ R → (3, 3) ∈ R
(2, 1) ∈ R → (1, 2) ∈ R
(1, 2) ∈ R → (2, 1) ∈ R
observando este comportamiento de los elementos de la relación R y según las definiciones 4), 5)
y 6) la relación R es simetrica.
Veamos ahora si la relación R es: Transitiva, No transitiva o Atransitiva
110
Álgebra
R = (x, y) ∈ A2 : x2 = y 2
en A = [−1, 1].
Solución:
Veamos si la relación R es: Reflexiva, no reflexiva ó arreflexiva, para esto notemos que la relación
R es equivalente
R = (x, y) ∈ A2 : y = x ∨ y = −x
111
Álgebra
1 1
xRy si y solo si x + =y+
x y
clasificar la relación.
Solución:
Veamos si la relación R es: Reflexiva, no reflexiva ó arreflexiva.
Notemos que la relación R es equivalente a
n o
1 1
R = (x, y) ∈ (R − {0}) × (R − {0}) : x + x
=y+ y
112
Álgebra
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
x ∼ y si y solo si (y − x) ∈ Z (α)
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
113
Álgebra
por hipótesis
x∼y ↔
|{z} (y − x) ∈ Z
| {z }
hipotesis por (α)
→
|{z} − (y − x) ∈ Z
por el álgebra
en los enteros
↔
|{z} (x − y) ∈ Z
por el álgebra
en los enteros
↔
|{z} y∼x
por (α)
por hipótesis
114
Álgebra
x∼y∧y ∼z ↔
|{z} (y − x) ∈ Z ∧ (z − y) ∈ Z
| {z }
hipotesis por (α)
→
|{z} ((y − x) + (z − y)) ∈ Z
por el álgebra
en los enteros
→
|{z} (z − x) ∈ Z
por el álgebra
en los enteros
↔
|{z} x∼z
por (α)
Ejemplo 113. Se define la relación ≡ en el conjunto de los números enteros Z, como sigue.
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
Por hipótesis x ∈ Z, entonces por el álgebra básica 0 = x − x pero 2 | 0 por tanto 0 es divisible
entre 2, o lo que es lo mismo x − x es divisible por 2, es decir x ≡ x.
Para la simetría: La definición de simetría indica
así
115
Álgebra
x≡y ↔
|{z} y − x es divisible entre 2
| {z }
hipotesis por (β)
→
|{z} − (y − x) es divisible entre 2
por el álgebra
en los enteros
→
|{z} −y + x es divisible entre 2
por el álgebra
en los enteros
→
|{z} x − y es divisible entre 2
por el álgebra
en los enteros
↔
|{z} y≡x
por (β)
de donde
x≡y∧y ≡z ↔
|{z} y − x es divisible entre 2 ∧ z − y es divisible entre 2
| {z }
hipotesis por (β)
→
|{z} ((y − x) + (z − y)) es divisible entre 2
por el álgebra
en los enteros
→
|{z} −x + z es divisible entre 2
por el álgebra
en los enteros
→
|{z} z − x es divisible entre 2
por el álgebra
en los enteros
↔
|{z} x≡z
por (β)
116
Álgebra
(x, y) ∈ R si y sólo si 3 | x + y
(x, y) ∈ R si y sólo si 3 | x + y
Solución: Notemos
x − y es divisible por 5 es equivalente a 5 | (x − y)
es equivalente a x − y = 5k para algún entero k
así la relación R tanbién es equivalente a siguiente conjunto
117
Álgebra
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
por hipótesis
x∈N →
|{z} x−x=0
por el álgebra
basica
→
|{z} x − x = 5 (0) para 0 ∈ Z
0=5(0)
→
|{z} (x, x) ∈ R
por definición
de R
por hipótesis
(x, y) ∈ R →
|{z} x − y = 5k1 para algún k1 ∈ Z
por definición
de R
↔
|{z} − (x − y) = −5k1 para algún k1 ∈ Z
por el álgebra
basica
↔
|{z} y − x = 5(−k1 ) para algún k2 ∈ Z
| {z }
por el álgebra k2
basica
→
|{z} (y, x) ∈ R
por definición
de R
118
Álgebra
por hipótesis
(x, y) ∈ R ∧ (y, z) ∈ R ↔
|{z} x − y = 5k1 y y − z = 5k2 para algún k1 , k2 ∈ Z
por la
definición de R
→
|{z} (x − y) + (y − z) = 5k1 + 5k2 para algún k1 , k2 ∈ Z
por el álgebra
basica
↔
|{z} x − z = 5(k1 + k2 ) para algún k3 ∈ Z
| {z }
por el álgebra k3
basica
↔
|{z} (x, z) ∈ R
por la
definición de R
Ejemplo 116. Verificar si la siguiente relación R = (x, y) ∈ [1, 3] × [1, 3] : (x − 2)2 + (y − 2)2 = 1
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
por hipótesis
119
Álgebra
!2 !2
x ∈ [1, 3] →
|{z} 2 −2
|{z} + 2 −2
|{z}
Sea x=2∈[1,3] x x
→
|{z} 0
por el álgebra
basica
así la relación es no reflexiva, pues para el punto x = 2 ∈ [1, 3] la propiedad (x − 2)2 +(x − 2)2 = 1
no se verifica y para x = √12 + 2 ∈ [1, 3] la propiedad si se verifica (x − 2)2 + (x − 2)2 = 1. De
esta forma la relación planteado en este ejemplo no puede ser una relación de equivalencia.
[a] = {x ∈ A : x ∼ a}
a) x ∼ y si y solo si (y − x) ∈ Z en R
b) x ≡ y si y solo si y − x es divisible entre 2 en Z
son relaciones de equivalencia. Determinar las clases de equivalencia
Solución: Para el inciso a)
Según la definición (3.8), para cualquier a ∈ R
así m
[a] = {x ∈ R : x = a + k para k ∈ Z}
Para el inciso b)
Según la definición (3.8), para cualquier a ∈ Z
120
Álgebra
la relación x = 2k + a indica que x se esta dividiendo entre 2 y que el resto es a, pero por el
algoritmo de la división 0 ≤ a < 2 por tanto a = 0 o a = 1, así para la relación ≡ hay dos clases
de equivalencia que son:
R = {(1, 1), (2, 2), (3, 3), (2, 1), (1, 2)}
es Reflexiva, Simetrica y Transitiva por tanto es una relación de equivalecia, entonces las clases
de equivalencia [1], [2] y [3] serán
[1] = {x ∈ A : xR1}
= {x ∈ A : (x, 1) ∈ R}
= {1, 2}
[2] = {x ∈ A : xR2}
= {x ∈ A : (x, 2) ∈ R}
= {1, 2}
121
Álgebra
[3] = {x ∈ A : xR3}
= {x ∈ A : (x, 3) ∈ R}
= {3}
Asi se observa que la relación R tiene las siguientes clases de equivalencia [1] = [2] y [3] de esta
forma el conjunto cociente es
A
= {[1], [3]}
R
Teorema. (3.1) Sea ∼ una relación de equivalencia en A y a, b ∈ A, entonces
a) a es equivalente a b modulo ∼ si y solo si [a] = [b]
b) a no es equivalente a b modulo ∼ si y solo si [a] ∩ [b] = ∅
en este enunciado la conclusión es una igualdad de conjuntos, así por la definición de igualdad de
conjuntos se tiene
122
Álgebra
x ∈ [a] ↔
|{z} x ∈ {y ∈ A : y ∼ a}
por definición
de clase
↔
|{z} x∼a
por definición
de conjunto
→
|{z} x∼b
por hipótesis
a∼b y comox∼a
entonces x∼b
↔
|{z} x ∈ {y ∈ A : y ∼ b}
por definición
de clase
↔ x ∈ [b]
por notación
Si a ∈ A así a ∈ [a], entonces por hipotesis [a] = [b] lo que implica que a ∈ [b] = {x ∈ A : x ∼ b}
lo que implica que a ∼ b, por tanto a es equivalente a b modulo ∼.
Para el inciso b), según el teorema se tiene
123
Álgebra
b entonces
∼
a
|{z} | {z }[a] ∩ [b] = ∅
| {z }
p → q
Por hipotesis [a] ∩ [b] 6= ∅, entonces existe almenos un x ∈ A tal que x ∈ [a] ∩ [b] y por intersección
de conjuntos x ∈ [a] ∧ x ∈ [b] lo que implica que x ∼ a ∧ x ∼ b pero como la relación ∼ es
una relación de equivalencia, entonces x ∼ a ∧ x ∼ b es equivalente a a ∼ x ∧ x ∼ b y por la
transitividad se tendrá que a ∼ b, es decir a es equivalente a b modulo ∼.
Caso 2: Verifiquemos la proposición (q → p), o equivalentemente hay que verificar el enunciado
pero este enunciado es mejor verificarlo por el método de la contradicción, es decir hay que verificar
el siguiente enunciado
Por hipotesis [a] ∩ [b] = ∅ y a ∼ b, así la relación a ∼ b indica que a ∈ [b] por otro lado a ∈ [a],
entonces a ∈ [a] ∩ [b] lo que implica que [a] ∩ [b] 6= ∅ y esto contradice la hipotesis [a] ∩ [b] = ∅.
Definición. (3.9) Si ∼ es una relación de equivalencia en A, entonces la familia de todas las clases
de equivalencia modulo ∼ se define
124
Álgebra
A
= {[a] : a ∈ A}
∼
y al conjunto A
∼
se lo denomina conjunto cociente de A por la relación ∼.
a) x ∼ y si y solo si (y − x) ∈ Z en R
b) x ≡ y si y solo si y − x es divisible entre 2 en Z
Solución: Para el inciso a)
Para cualquier a ∈ R la clase de equivalencia de la relación ∼ es [a] = {x ∈ R : x = a + k para k ∈ Z},
por tanto R
∼
= {[a] : a ∈ R} .
Para el inciso b)
Según la realación ≡ de equivalencia se tiene las dos clases [0] y [1], así por la definición (3.9) el
conjunto cociente será Z
∼
= {[0], [1]}.
A
Teorema. (3.2) Si ∼ es una relación de equivalencia en A, entonces el conjunto cociente ∼
es
una partición de A.
125
Álgebra
A×A = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5), (0, 6), (0, 7), (0, 8), (0, 9)
(1, 0), (1, 1), (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (1, 7), (1, 8), (1, 9)
(2, 0), (2, 1), (2, 2), (2, 3), (2, 4), (2, 5), (2, 6), (2, 7), (2, 8), (2, 9)
(3, 0), (3, 1), (3, 2), (3, 3), (3, 4), (3, 5), (3, 6), (3, 7), (3, 8), (3, 9)
(4, 0), (4, 1), (4, 2), (4, 3), (4, 4), (4, 5), (4, 6), (4, 7), (4, 8), (4, 9)
(5, 0), (5, 1), (5, 2), (5, 3), (5, 4), (5, 5), (5, 6), (5, 7), (5, 8), (5, 9)
(6, 0), (6, 1), (6, 2), (6, 3), (6, 4), (6, 5), (6, 6), (6, 7), (6, 8), (6, 9)
(7, 0), (7, 1), (7, 2), (7, 3), (7, 4), (7, 5), (7, 6), (7, 7), (7, 8), (7, 9)
(8, 0), (8, 1), (8, 2), (8, 3), (8, 4), (8, 5), (8, 6), (8, 7), (8, 8), (8, 9)
(9, 0), (9, 1), (9, 2), (9, 3), (9, 4), (9, 5), (9, 6), (9, 7), (9, 8), (9, 9)}
R = {(0, 0), (0, 3), (0, 6), (0, 9), (1, 1), (1, 4),
(1, 7), (2, 2), (2, 5), (2, 8), (3, 0), (3, 3),
(3, 6), (3, 9), (4, 1), (4, 4), (4, 7), (5, 2),
(5, 5), (5, 8), (6, 0), (6, 3), (6, 6), (6, 9),
(7, 1), (7, 4), (7, 7), (8, 2), (8, 5), (8, 8),
(9, 0), (9, 3), (9, 6), (9, 9)}
126
Álgebra
0∈A → (0, 0) ∈ R
1∈A → (1, 1) ∈ R
2∈A → (2, 2) ∈ R
3∈A → (3, 3) ∈ R
4∈A → (4, 4) ∈ R
5∈A → (5, 5) ∈ R
6∈A → (6, 6) ∈ R
7∈A → (7, 7) ∈ R
8∈A → (8, 8) ∈ R
9∈A → (9, 9) ∈ R
así la relación R es reflexiva
b) Simetria: La definición de simetria indica
ahora veamos si los elementos de la relación R verifican la propiedad (x, y) ∈ R → (y, x) ∈ R para
todos los elementos de la relación R
(0, 0) ∈ R → (0, 0) ∈ R
(0, 3) ∈ R → (3, 0) ∈ R
..
.
(9, 9) ∈ R → (9, 9) ∈ R
127
Álgebra
[a] = {x ∈ A : (x, a) ∈ R}
= {x ∈ A : x − a = 3k para algún entero k}
= {x ∈ A : x = 3k + a para algún entero k}
así las clases de equivalencia son: [0], [1] y [2], por tanto el conjunto cociente es A
R
= {[0], [1], [2]}
Ejemplo 121. Para (x, y) , (u, v) ∈ R2 se define la relación (x, y) ∼ (u, v) si y sólo si x2 − y 2 =
u2 − v 2 . Probar que ∼ es una relación de equivalencia en R2 . Describir geometricamente la clase
de equivalencia de [(0, 0)] y [(1, 0)]
128
Álgebra
Por hipótesis (x, y) ∈ R2 entonces x, y ∈ R así por el álgebra de los números reales es verdad que
x2 − y 2 = x2 − y 2 y esto significa que (x, y) ∼ (x, y), es decir la relación ∼ es reflexiva.
Simetria:
x2 −y 2 =u2 −v 2 u2 −v 2 =x2 −y 2
z }| { z }| {
∼ es simetrica si y solo si ∀ (x, y) , (u, v) : (x, y) ∼ (u, v) → (u, v) ∼ (x, y)
| {z } | {z }
hipotesis conclisión
Por hipotesis
(x, y) ∼ (u, v) si y solo si x2 − y 2 = u2 − v 2 (1)
(u, v) ∼ (t, s) si y solo si u2 − v 2 = t2 − s2 (2)
de las ecuaciones (1) y (2) por la transitividad de la igualdad se tendrá que
x2 − y 2 = t2 − s2
y esto significa que (x, y) ∼ (t, s), es decir la relación ∼ es transitiva, así nuestra relación es de
equivalencia.
Ahora determinemos las clases de equivalencia [(0, 0)] y [(1, 0)], por definición de clase
[(0, 0)] = {(x, y) ∈ R2 : (x, y) ∼ (0, 0)}
= {(x, y) ∈ R2 : x2 − y 2 = 02 − 02 }
= {(x, y) ∈ R2 : x2 − y 2 = 0}
= {(x, y) ∈ R2 : (x + y) (x − y) = 0}
= {(x, y) ∈ R2 : (x + y) = 0 ∨ (x − y) = 0}
= {(x, y) ∈ R2 : y = −x ∨ y = x}
por otro lado
[(1, 0)] = {(x, y) ∈ R2 : (x, y) ∼ (1, 0)}
= {(x, y) ∈ R2 : x2 − y 2 = 12 − 02 }
= {(x, y) ∈ R2 : x2 − y 2 = 1}
n 2 2
o
= (x, y) ∈ R2 : x12 − y12 = 1
129
Álgebra
para cualesquiera n, m ∈ Z, es una relación de orden parcial en el conjunto de los números enteros.
Solución: Según la definición (3.10) veamos si la relación ≤ es: Reflexiva, antisimetrica y transitiva.
Para la Reflexividad: La definición de reflexividad indica
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
≤ es reflexiva si y solo si ∀n : n
z }| {
∈ Z} →
| {z n≤n
| {z }
hipotesis existe s∈N∪{0} tal que n = n + s
Por hipótesis n ∈ Z, entonces por el álgebra básica n = n + 0 para 0 ∈ N ∪ {0} lo que significa
que n ≤ n.
Para la antisimetria: La definición de antisimetria indica
por hipotesis
130
Álgebra
m = n + s |{z}
= (m + t) + s = m + (t + s)
n=m+t
por hipótesis
t = m + s2 |{z}
= (n + s1 ) + s2 = n + (s1 + s2 )
m=n+s1
de donde t = n + (s1 + s2 ) pero como s1 ∈ N ∪ {0} y s2 ∈ N ∪ {0}, entonces s1 + s2 ∈ N ∪ {0}.
| {z }
s
Así n ≤ t.
por tanto la relación
Ejemplo 123. Dados los conjuntos A y B la relación A ⊂ B de inclusión es una relación de orden
estricto.
131
Álgebra
Solución: Según la definición (3.11) hay que verificar que la relación ⊂ cumpla con las propiedades
de asimetria y transitividad.
Para la asimetria: La definición de asimetria indica
Por hipótesis A ⊂ B, es decir A es un subconjunto propio de B por tanto existe b0 ∈ B tal que
/ A, lo cual implica que B
b0 ∈ ⊂
A.
Solución: Veamos si la relación del ejemplo verifica las propiedades de reflexividad, antisimetrica
y transitiva.
Para la reflexividad: La definición de reflexividad indica
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
132
Álgebra
Por hipótesis
en las ecuaciones (1) y (2) se observa que x ≤ z y z ≤ x, entonces por el álgebra de los números
reales se tiene que x = z. Por otro lado en las ecuaciones (1) y (2) se tiene la relación y
x
= t
z
pero
como x = z entonces la relación y
x
= t
z
es equivalente a
y t
=
x x
y gracias al álgebra de los números reales y = t. En resumen gracias a las ecuaciones (1) y (2) se
obtiene que x = z e y = t por tanto (x, y) = (z, t) lo que implica que la relación es antisimetrica.
Para la transitividad: La definición de transitividad indica
R es transitiva si y solo si
hipótesis conclusión
z }| { z }| {
∀ (x1 , y1 ) ∀ (x2 , y2 ) ∀ (x3 , y3 ) : (x1 , y1 ) R (x2 , y2 ) ∧ (x2 , y2 ) R (x3 , y3 ) → (x1 , y1 ) R (x3 , y3 )
| {z } | {z } | {z }
y y y y y y
x1 ≤x2 ∧ x1 = x2 x2 ≤x3 ∧ x2 = x3 x1 ≤x3 ∧ x1 = x3
1 2 2 3 1 3
Por hipótesis
133
Álgebra
y y2
x2
= y3
x3
se tendrá que y1
x1
= y3
x3
. En resumen la relación x1 ≤ x3 ∧ y1
x1
= y3
x3
es verdadera, es decir
se verifica que (x1 , y1 ) R (x3 , y3 ) por tanto la relación es transitivo.
De esta forma se verifica que la relación (x, y) R (z, t) si y solo si x ≤ z, y
x
= t
z
en (R − {0}) × R
es una relación de orden parcial.
Definición. (3.12) Sean a, b ∈ A y ≤ una relación de orden parcial en A. Se dirá que a y b son
comparables en el orden parcial ≤ (o que son ≤-comparables) si:
a≤b o b≤a
Ejemplo 125. La relación de orden menor o igual que (≤) en el conjunto de los números enteros
Z es lineal.
Ejemplo 126. Sea Z+ el conjunto de todos los enteros positivos ordenados por n |?, entonces 1
es el elemento mínimo de Z+ , pero Z+ no tiene elemento máximo.
134
Álgebra
a b si y sólo si a1 ≤ b1 y a1 + a2 ≤ b1 + b2
Probar que es una relación de orden parcial en A ¿Será esta relación de orden parcial una
relación de orden total? Justifica tu respuesta con una demostración o un contra ejemplo.
Solución: Recordemos que la relación va a ser de orden parcial si es: reflexiva, antisimetrica y
transitiva
Para la Reflexividad: La definición de reflexividad indica
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
es antisimétrica si y solo si
∀ (a1 , a2 ) ∀ (b1 , b2 ) : (a1 , a2 ) (b1 , b2 ) ∧ (b1 , b2 ) (a1 , a2 ) → (a1 , a2 ) = (b1 , b2 )
| {z } | {z }
hipótesis conclusión
Por hipótesis
135
Álgebra
es transitiva si y solo si
∀ (a1 , a2 ) ∀ (b1 , b2 ) ∀ (c1 , c2 ) : (a1 , a2 ) (b1 , b2 ) ∧ (b1 , b2 ) (c1 , c2 ) → (a1 , a2 ) (c1 , c2 )
| {z } | {z }
hipótesis conclusión
por hipótesis
de las relaciones (1) y (2) se tiene que a1 ≤ b1 y b1 ≤ c1 asi por la transitividad de la relación de
orden menor o igual en los reales se tiene que a1 ≤ c1 (4).
Por otro lado de (1) y (2) a1 + a2 ≤ b1 + b2 y b1 + b2 ≤ c1 + c2 asi por la transitividad de la relación
de orden menor o igual que en los números reales se tiene que a1 + a2 ≤ c1 + c2 (5)
Por tanto de (4) y (5) se tiene que a1 ≤ c1 y a1 + a2 ≤ c1 + c2 es decir (a1 , a2 ) (c1 , c2 ) así la
relación es transitiva. En conclusión la relación de orden es una relación de orden parcial.
Ahora respondamos a la pregunta ¿Será esta relación de orden parcial una relación de orden total?
R.- Si es de orden total, pues si a = (a1 , a2 ) y b = (b1 , b2 ) son dos elementos de A = Z2 , entonces
a) Si los pares ordenados a y b se encuentran en una nisma linea vertical del conjunto Z2
entonces el par que esta en la parte inferior de la linea vertical estará relacionado con el par que
se encunetra en la parte superior de la misma linea vertical.
b) Pero si los pares ordenados a y b se encuentran en lineas verticales paralelas y diferentes,
entonces el par que se encuentra en la linea vertical del lado izquierdo de la otra linea vertical
estara relacionado con el otro par que se determina en la otra linea vertical.
136
Álgebra
3.3. Funciones:
La palabra función fue introducida a las matemáticas por Leibniz, quien originalmente utilizo este
término para referirse a cierta clase de “formulas” matemáticas.
f = {(x, f (x)) : x ∈ A}
o equivalentemente
Dominio Codominio
z }| { z }| {
f : D(f ) = A → C(f ) = B
x 7→ f (x)
Obs: Si x ∈
/ A = D(f ), entonces la expresión f (x) carece de sentido.
no es una función, pues no se verifica el inciso b) de la definición (3.16) ya que (1, 1) ∈ f y (1, 2) ∈ f
pero 1 6= 2.
137
Álgebra
1 si x ∈ A
χA (x) =
0 si x ∈
/A
Ejemplo 131. Encuentre el dominio, Imagen y codominio de la función f : D(f ) → C(f ) donde
D(f ), C(f ) ⊆ R y f (x) = x |x|
Solución:
Para el dominio: Según la definición de dominio
x |x| = y
xx = y
x2 = y
√
x = ± y para y ≥ 0
138
Álgebra
x |x| = y
x (−x) = y
−x2 = y
x2 = −y
√
x = ± −y para y ≤ 0
Im(f ) ⊆ C(f ) ⊆ R
o equivalentemente
R ⊆ C(f ) ⊆ R
Obs: Para que la función f sea inyectiva no puede ocurrir que elementos distintos del domino A
den la misma imagen.
Definición. (3.18)
139
Álgebra
Definición. (3.19)
Solución:
Para la inyectividad: La definición de inyectividad indica
Por hipótesis
en este enunciado hay que determinar n en función de y (n(y)) y para lograr esto se asume que
la relación f (n) = y es valida o verdadera y luego se despeja de esta relación n respetando el
conjunto universo de trabajo, que en este caso es el conjunto de los números racionales, es decir
140
Álgebra
pero 5
3
/ Z así n ∈
∈ / Z, por tanto f no puede ser sobreyactiva.
Para la biyectividad: Como la función f no es sobreyectiva por la definición (3.19), la función f
no puede ser biyectiva.
Solución: Para que la función f sea biyectiva según la definición (3.19) f tiene que ser inyectiva y
sobreyectiva.
Para la inyectividad: Según este ejemplo la función f esta representado solo por su regla de
asignación, pero para verificar la inyectividad se requiere conocer el dominio de la función f , es
decir
(x − 1) 6= 0 es equivalente a ∼ (x − 1 = 0)
es equivalente a ∼ (x = 1)
es equivalente a x 6= 1
por tanto D(f ) = R − {1}. Por otro lado la definición de inyectividad indica
por hipótesis
141
Álgebra
así para ambos casos se va a asumir que existe x ∈ R − {1} tal que f (x) = y, ahora despejemos x
de esta relación, es decir
(y − 2) 6= 0 es equivalente a ∼ (y − 2 = 0)
es equivalente a ∼ (y = 2)
es equivalente a y 6= 2
142
Álgebra
como x es mayor que 2 y es menor o igual que 2, entonces hay que analizar los siguientes casos
Caso 1: Si x ≤ 2, entonces
143
Álgebra
para verificar esta propiedad de la función es conveniente suponer que la relación f (x) = y es
valida y luego despejar la variable x, es decir
como x es mayor que 2 y es menor o igual que 2, entonces hay que analizar los siguientes dos casos
Caso 1: Si x ≤ 2, entonces
144
Álgebra
pero como x > 2, entonces > 2 lo que implica que y > 4 de esta forma para cualquier y ∈ (4, +∞)
y
2
existe x = y
tal que f (x) = f ( y2 ) = 2 y2 = y.
2
√
x, x2 : x ∈ R yg= x :x∈Ryx≥0
f= x,
f: R → Im(f ) ⊆ R
x 7→ x2
y
g : R+ ∪ {0} → R
√
x 7 → x
para que la función g ◦ f exista según la definición (3.21) primero hay que verificar que Im(f ) ⊆
R+ ∪ {0}, es decir
145
Álgebra
R+ ∪ {0}
f: R →
| {z }
Im(f )
x 7→ x2
y
R+ ∪ {0} →
g: R
| {z }
Im(f )
√
x 7→ x
de estos dos esquemas se observa que f : R → R+ ∪ {0} y g : R+ ∪ {0} → R, por lo tanto
| {z } | {z }
Im(f ) D(g)
Im(f ) ⊆ D(g), así la composición de la función f con g existe y además:
(g ◦ f ) (x) =
|{z} g(f (x))
por la definición (3.21)
=
|{z} g(x2 )
f (x)=x2
√
=
|{z} x2
√
g(x)= x
=
|{z} |x|
√
x2 =|x|
146
Álgebra
x2 −1
así (g ◦ f )(x) = 3
Para la composición f ◦ g, notemos Im(g) ⊆ D(f ) = R por tanto la función f ◦ g existe y esta
definida por
Solución: Notemos que Im(f ) ⊆ D(h ◦ g) = B y Im(g) ⊆ D(h) = C, por otro lado In(f ) ⊆
D(g) = B y Im(g ◦ f ) ⊆ D(h) = C, así las composiciones están definidas y además por definición
de composición se tiene
así de las relaciones (1) y (2) se tiene que (h ◦ g) ◦ f = h ◦ (g ◦ f ). Este ejemplo nos dice que la
composición de funciones es asociativa.
147
Álgebra
Si A1 = ∅ si y solo si f (A1 ) = ∅
| {z } | {z } | {z }
p ↔ q
Si A1 = ∅ entonces f (A1 ) = ∅
| {z } | {z } | {z }
p → q
así f (A1 ) = ∅
Caso 2: (q → p) en este caso el enunciado será
Si f (A1 ) = ∅ entonces A =∅
| {z } | {z } | 1{z }
q → p
148
Álgebra
por hipótesis
149
Álgebra
x ∈ f −1 (B1 ) =
|{z} f (x) = y para algún y ∈ B1
por la
definición (3.23)
→
|{z} f (x) = y para algún y ∈ B1 ⊆ B2
por hipótesis
B1 ⊆B2
f −1 ({y ∈ R : y ≥ 0}) =
|{z} {x ∈ R : f (x) = y para algún y ∈ {y ∈ R : y ≥ 0}}
por la
definición (3.23)
=
|{z} {x ∈ R : x2 = y para algún y ≥ 0}
f (x)=x2
√
x ∈ R : x = ± y para algún y ≥ 0
=
|{z}
por el álgebra
de los números R
√
y para algún y ≥ 0 ∨
=
|{z} x∈R:x=
por el álgebra
de los números R
√
x ∈ R : x = − y para algún y ≥ 0
=
|{z} [0, +∞) ∨ (−∞, 0]
por el álgebra
de los números R
=
|{z} R
por definición
de unión
Solución:
Para:X ⊆ f −1 (f (X)), según la definición de inclusión de conjuntos
150
Álgebra
X ⊆ f −1 (f (X)) si y sólo si ∀x ∈ A : x
|∈{zX} → x ∈ f −1 (f (X))
| {z }
hipótesis conclusión
por hipótesis
x∈X →
|{z} x∈A
X⊆A
→
|{z} f (x) = y para algún y ∈ B
como f
es función
→
|{z} y ∈ {y ∈ B : f (x) = y para todo x ∈ X}
x∈X
→
|{z} y ∈ f (X)
por la
definición (3.22)
→
|{z} f (x) = y para y ∈ f (X)
por notación
→
|{z} {x ∈ A : f (x) = y para algún y ∈ f (X)}
por notación
→
|{z} x ∈ f −1 (f (X))
por la
definición (3.22)
así X ⊆ f −1 (f (X))
Operación Auxiliar:
f (f −1 (Y )) ⊆ Y si y sólo si ∀y ∈ B : y ∈ f f −1 (Y ) → y ∈ Y
| {z } | {z }
hipotesis conclusión
por hipotesis
y ∈ f (f −1 (Y )) →
|{z} f (x) = y para todo x ∈ f −1 (Y )
por la imagen
de una función
→
|{z} f (x) = y para todo, f (x) = y para algún y ∈ Y
por la imagen
inversa de función
→
|{z} f (x) = y para algún y ∈ Y
por notación
→ y∈Y
asi f (f −1 (Y )) ⊆ Y
151
Álgebra
3.3.4. Cardinalidad:
El físico Galileo Galilei, que vivió hace cuatrocientos años, encontró un ejemplo particularmente
curioso de una función biyectiva que es el siguiente:
no es difícil verificar que esta función en biyectiva, pero lo interesante de este ejemplo es que el
conjunto P es un subconjunto propio de N (es decir, P ⊂ N).
Obs: Para indicar que el conjunto A tiene el mismo número cardinal que B (o el conjunto A tiene
el mismo número de elementos que el conjunto B) se utilizara la notación |A| = |B|.
Ejemplo 141. La función f : N → P definida por f (n) = 2n donde P = {2, 4, 6, ...} es biyectiva,
así según la definición (3.24) |N| = |P | , es decir los conjuntos N y P tienen la misma cantidad de
elemento.
Definición. (3.25) El conjunto formado por los n primeros números naturales se define In =
{p ∈ N : p ≤ n}
152
Álgebra
así esta función es biyectiva por tanto |I| = |Im | = m y como la composición de dos funciones
biyectivas es biyectiva, entonces la función h ◦ g : B → I es biyectiva.
Caso 1: Si A ∩ B = ∅, entonces la función f1 : A ∪ B → In ∪ I definida por
f (t) si t ∈ A
f1 (t) =
h(g(t)) si t ∈ B
es biyectiva por tanto |A ∪ B| = |In ∪ I| = n + m, por otro lado de (1) y (2) se tiene que
|A| = |In | = n y |B| = |Im | = m, así
f : A → In es biyectiva
f |A−(A∩B) : A − (A ∩ B) → I 0 ⊆ In
153
Álgebra
g : B → Im es biyectiva
g |A∩B : B − (A ∩ B) → I 00 ⊆ Im
pero los conjuntos A − (A ∩ B), A ∩ B y B − (A ∩ B) son disjuntos de a pares, así por el caso 1
se tendrá que
y de (3) y (4)
|A ∪ B| = |A − (A ∩ B)| + |A ∩ B| + |B − (A ∩ B)|
≤ |In | + |A ∩ B| + |Im |
≤ |In | + |Im |
o lo que es lo mismo |A ∪ B| ≤ |In | + |Im |, pero de (1) y (2) |A| = |In | y |B| = |Im | así
|A ∪ B| ≤ |A| + |B|
154
Álgebra
pero como los conjuntos A − (A ∩ B), A ∩ B y B − (A ∩ B) son disjuntos de a pares y por el caso
1 del teorema (3.3) se tendrá que
|A ∪ B| = |A − (A ∩ B)| + |A ∩ B| + |B − (A ∩ B)|
A = (A − (A ∩ B)) ∪ (A ∩ B)
con (A − (A ∩ B)) ∩ (A ∩ B) = ∅ así por el caso 1 del teorema (3.3) |A| = |A − (A ∩ B)| + |A ∩ B|
(4) análogamente se tiene que |B| = |B − (A ∩ B)| + |A ∩ B| (5).
ahora remplazando (4) y (5) en la relación (3) se tendrá que
|A ∪ B| = |A| + |B| − |A ∩ B|
|U | = |A| + |Ac |
155
Álgebra
|A| = |A − B| + |A ∩ B|
o equivalentemente
|A − B| = |A| − |A ∩ B|
Ejemplo 144. Se encuesta a 100 personas sobre sus preferencias en relación a dos programas
municipales contra la delincuencia. Los programas recibieron los nombres A y B, los resultados
fueron los siguientes.
65 no prefieren el programa A
45 no prefieren el programa B
50 prefieren los programas A o B, pero no ambos
se pide determinar el número de encuestados que prefieren ambos programas, es decir calcular
|A ∩ B|
Solución: Según el ejemplo el conjunto universo esta formado por 100 personas, así |U | = 100 y
además |A − B| + |B − A| = 50, |Ac | = 65 y |B c | = 45.
Pero |U | = |A| + |Ac |, entonces |A| = |U | − |Ac | = 100 − 65 = 35, de la misma manera se tiene
que |B| = |U | − |B c | = 100 − 45 = 55
por otro lado |A − B| = |A| − |A ∩ B| también |B − A| = |B| − |B ∩ A| y sumando se tiene
|A − B| + |B − A| = |A| − |A ∩ B| + |B| − |B ∩ A|
Ejemplo 145. En un aula hay un cierto número de alumnos que hemos de determinar. Se sabe
que cada uno de los alumnos presentes en el aula estudia, al menos, una de las tres asignaturas:
Matemática, Física, Quimica. Pues bién, en sucesivas veces se piden que levanten la mano los que
estudian:
156
Álgebra
a) Matemática y lo hacen 48
b) Física y lo hacen 45
c) Química y lo hacen 49
d) Matemática y Física y lo hacen 28
e) Matemática y Química y lo hacen 26
f ) Física y Química y lo hacen 28
g) Las tres asignaturas y lo hacen 18
Se pregunta: ¿Cuántos alumnos hay en el aula?, ¿Cuántos estudian Matemática y Física, pero no
Quimica? y ¿Cuántos estudian nada más que Quimica?
Solución: Sean M :=Matemática, F :=Física y Q :=Química así según el problema se tienen las
siguientes informaciones
|M | = 48, |F | = 45 y |Q| = 49
|M ∩ F | = 28, |M ∩ Q| = 26 y |F ∩ Q| = 28
|M ∩ F ∩ Q| = 18
|U | = |M ∪ F ∪ Q|
=
|{z} |(M ∪ F ) ∪ Q|
por la
asociatividad
de la unión
=
|{z} |M ∪ F | + |Q| − |(M ∪ F ) ∩ Q|
por el
teorema 3.4
=
|{z} |M ∪ F | + |Q| − |(M ∩ Q) ∪ (F ∩ Q)|
por la
distributividad
=
|{z} |M | + |F | − |M ∩ F | + |Q| − (|M ∩ Q| + |F ∩ Q| − |(M ∩ Q) ∩ (F ∩ Q)|)
por el
teorema 3.4
=
|{z} |M | + |F | − |M ∩ F | + |Q| − |M ∩ Q| − |F ∩ Q| + |M ∩ F ∩ Q|
por el álgebra
de conjuntos
=
|{z} 48 + 45 − 28 + 49 − 26 − 28 + 18
remplazando
valores
=
|{z} 78
por la
aritmética
157
Álgebra
así |U | = 78
Para la pregunta ¿Cuántos estudian Matemática y Física, pero no Quimica?
Según el álgebra de conjuntos se tiene que U = Q ∪ Qc por tanto
|U | = |Q ∪ Qc |
=
|{z} |Qc | + |Q|
por el
teorema 3.5
de donde |U | = |Qc | + |Q| o lo que es lo mismo |Qc | = |U | − |Q| y remplazando valores se tiene
que
|Qc | = |U | − |Q| = 78 − 49 = 29
|(Q ∪ F )c | = |U | − |Q ∪ F |
=
|{z} |U | − (|Q| + |F | − |Q ∩ F |)
por el
teorema 3.4
=
|{z} |U | − |Q| − |F | + |Q ∩ F |
por el
álgebra
=
|{z} 78 − 49 − 45 + 28
remplazando
valores
=
|{z} 12
por la
aritmética
|(M ∪ Q)c | = |U | − |M ∪ Q|
=
|{z} |U | − (|M | + |Q| − |M ∩ Q|)
por el
teorema 3.4
=
|{z} |U | − |M | − |Q| + |M ∩ Q|
por el
álgebra
=
|{z} 78 − 48 − 49 + 26
remplazando
valores
=
|{z} 7
por la
aritmética
158
Álgebra
=
|{z} 29 − 12 − 7
remplazando
valores
=
|{z} 10
por la
aritmética
|(M ∪ F )c | = |U | − |M ∪ F |
=
|{z} |U | − (|M | + |F | − |M ∩ F |)
por el
teorema 3.4
=
|{z} |U | − |M | − |F | + |M ∩ F |
por el
álgebra
=
|{z} 78 − 48 − 45 + 28
remplazando
valores
=
|{z} 13
por la
aritmética
(x, y) ∈ R ⇔ x + y 6 5
159
Álgebra
a) (x, y) ∈ R ⇔ y = 3
b) (x, y) ∈ R ⇔ x + y = 1
c) (x, y) ∈ R ⇔ x + y < 1
3. En A = {1, 2, 4, 6, 8} se define la siguiente relación
(x, y) ∈ R ⇔ 3 | x + y
R = (x, y) ∈ A2 :| x − 1 |=| y − 1 |
(x, y) ∈ R ⇔ x − y ∈ Ru
R = (x, y) ∈ A2 : x2 = y 2
a) Representar R.
b)Obtener la representación de A
8. Obtener el dominio, la imagen y representar la relación R definida en R mediante
(x, y) ∈ R ⇔| x + y |= 2
160
Álgebra
a) f (x) = √ 1 b) f (x) = 1
x−2−2 |x|−1
x2 −2x 4
c) f (x) = 4−x2
d) f (x) = 2−|x+1|
f (x − a)f (x + a) = x2 − 2x − 1,5a
161
Álgebra
- 34 utilizan facebook
- 30 usan whatsapp
- 19 usan twiter
- 12 utilizan whatsapp y twiter
- 11 utilizan facebook y twiter
- 6 alumnos utilizan facebook, whatsapp y twiter
a) ¿Cuantos utilizan facebook y whatsapp, si se sabe que todos utilizan por lo menos uno?
b) ¿Cuantos utilizan solo dos de estos medios?
7. En un congreso de medio ambiente participan 82 especialistas, de los cuales:
8. El comité ejecutivo de un centro de estudiantes está formado por: Aníbal, Carlos, Gerardo y
Alma. Cada miembro tiene exactamente un voto (no se admiten abstenciones) y se necesita una
162
Álgebra
mayoría simple para aprobar o rechazar una cierta noción. Si una cierta noción no se aprueba
ni se rechaza, se considera bloqueada y debe considerarse de nuevo en el futuro. Determina el
número de modos en que los miembros pueden votar de forma que una noción sea a) aprobada,
b) rechazada y c) bloqueada.
9. En un grupo de 165 estudiantes, 8 toman Cálculo, Física y Programación; 33 toman Calculo y
Programación; 20 toman Calculo y Física; 24 toman Física y Programación; 79 están en Calculo;
83 están en Física; y 63 toman Programación.
a) ¿Cuántos toman sólo Física?
b) ¿Cuántos toman sólo dos materias?
c) ¿Cuántos toman Cálculo y Programación?
d) ¿Cuántos toman al menos una de las tres materias?
e) ¿Cuántos no toman ninguna de estas tres asignaturas?
10. En una encuesta realiza a 120 pasajeros, una línea aérea descubrió que a 48 les gustaba el vino
con sus alimentos, a 78 les gustaba las bebidas preparadas, y a 66 el té helado.Además a 36 le
gustaba cualquier par de estas bebidas, y a 24 les gustaba todas.
a) ¿A cuántos pasajeros les gusta sólo el té?
b) ¿A cuántos sólo el vino con sus alimentos?
c) ¿A cuántos sólo las bebidas preparadas?
d) ¿A cuántos les gusta el menos dos de estas bebidas para acompañar sus alimentos?
e) ¿Cuántos pasajeros no beben ni vino, ni té, ni bebidas preparadas?
11. Un grupo de 100 extraterrestres llegan en la nave PikaChu para invadir la tierra. Se distinguen
por dos caracteristicas: sus ojos y sus colas. Algunos tiene lo uno o lo otro, y algunos tienen los
dos. Si hay 75 extraterrestres que tienen ojos, y 50 que tienen ojos y cola, ¿Cuántos de ellos tienen
ojos pero no cola? ¿Cuántos tienen solamente cola?
12. Un grupo de 30 estudiantes decide ir de paseo al zoo, donde hay dos exhibiciones principales
abiertas para visitas: la pajarera y la cueva del león. Ocho estudiantes visitan la pajarera, de los
cuales seis visitan también la cueva del león. ¿Cuántos estudiantes visitan únicamente la cueva del
león? ¿Cuántos estudiantes visitan únicamente la pajarera?
13. Hay 70 niños en el pueblo, y todos van a asistir a una fiesta en la que habrá dos actividades: un
baile y un concurso de disfraces. Si 30 niños fueron tanto al baile como al concurso de disfraces,
y sólo 24 fueron únicamente al baile, ¿Cuántos niños en total participaron en el concurso de
163
Álgebra
164
CAPÍTULO 4
165
Álgebra
1∈X hipótesis
Si para todo n ∈ X implica (n + 1) ∈ X hipótesis
X=N conclusión
o equivalentemente
1) 1| ∈
{zX} hipótesis
p
2) (∀n) n {zX} → (n
| ∈ + 1) ∈ X hipótesis
| {z }
q r
X = N}
| {z conclusión
s
Obs: Debe quedar claro que el conjunto N = {1, 2, 3, 4, ...} de los números naturales es una
sucesión de objetos abstractos.
es equivalente a
Si P (n) es una función proposicional correspondiente al número natural n y
i) P (1) es verdad
166
Álgebra
ii) Para todo n ∈ N, la validez de P (n) implica la validez de P (n + 1), entonces P (n) es
valido para cualquier número natural n.
Este proceso es conocido como el Método de Inducción Matemática.
1.- 1 + 2 + 3 + · · · + n = n(n+1)
2
n (n + 1)
P (n) := 1 + 2 + 3 + · · · + n =
2
así por el método de Inducción Matemática
1 (1 + 1)
i) P (1) := 1 = , es decir P (1) es verdadero para n = 1
| {z2 }
1
ahora veamos el otro paso de Inducción Matemática
ii) Si P (n) es valido, entonces veamos si P (n+1) es valido, en el lenguaje lógico este enunciado
es equivalente a
n (n + 1) (n + 1) ((n + 1) + 1)
P (n) := 1 + 2 + · · · + n = → P (n + 1) := 1 + 2 + · · · + (n + 1) =
| {z 2 } | {z 2 }
hipótesis conclusión
1 + 2 + · · · + (n + 1) =
|{z} 1 + 2 + · · · + n + (n + 1)
por el álgebra
basica
=
|{z} (1 + 2 + · · · + n) + (n + 1)
por la
asociatividad
n(n+1)
=
|{z} 2
+ (n + 1)
por hipótesis
n(n+1)
1+2+···+n= 2
n(n+1)+2(n+1)
=
|{z} 2
por el álgebra
basica
(n+1)(n+2)
=
|{z} 2
por el álgebra
basica
(n+1)((n+1)+1)
=
|{z} 2
por el álgebra
basica
167
Álgebra
1 1 1 1 √
P (n) := √ + √ + √ + · · · + √ > n
1 2 3 n
notemos que esta función proposicional inicia en n = 2, así por el método de Inducción Matemática
1 1 √
i) P (2) := √ + √ > 2, es decir P (2) es verdadero para n = 2
1 2
| {z√ }
2+ 2
2
ahora veamos el otro paso de Inducción Matemática
ii) Si P (n) es valido , entonces veamos si P (n+1) es valido, en el lenguaje lógico este enunciado
se escribe.
1 1 1 1 √
P (n) := √ + √ + √ + · · · + √ > n
1 2 3 n
| {z }
hipótesis
1 1 1 1 √
→ P (n + 1) := √ + √ + √ + · · · + √ > n+1
1 2 3 n+1
| {z }
conclusión
√1 + √1 + √1 + ··· + √1 = √1 + √1 + √1 + ··· + √1 + √1
1 2 3 n+1 |{z} 1 2 3 n n+1
por el álgebra
basica
= √1 + √1 + √1 + ··· + √1 + √1
|{z} 1 2 3 n n+1
por la
asociatividad
√
> n+ √1
|{z} n+1
por hipótesis
1 √
√ + √1 +···+ √1n > n
1 2
√
así por el momento se tiene que √11 + √1
2
+ √1
3
+ ··· + √1
n+1
> n+ √1
n+1
(α)
√ 1
√
Afirmación: n + √n+1 > n+1
Prueba: Como n ≥ 2 entonces n > 0, por tanto
168
Álgebra
n>0
sumando n 2
n2 + n > n2
factorizando n n (n + 1) > n2
√ √
sacando la m/m
p
n (n + 1) > n2
√ √ √
propiedad de la y sumando 1 m/m n n+1+1>n+1
√ √
q q
(n + 1) = (n + 1)2 pues n > 0 n n + 1 + 1 > (n + 1)2
√ √ √ √
dividiendo entre n + 1 n n+1+1
√
n+1
> n+1
√ √
por el álgebra basica 1
n + √n+1 > n+1
√ √
por tanto n+ √1n + 1 para todo número natural.
n+1
>
√
En (α) se tiene que √11 + √12 + √13 + · · · + √n+1
1 1
> n + √n+1 , pero por la afirmación anterior
√ √ √
1
n+ √n+1 > n + 1 así por la transitividad de la desigualdad √11 + √12 + √13 +· · ·+ √n+1
1
> n + 1,
para todo número natural mayor o igual que 2. Por tanto la función proposición
1 1 1 1 √
P (n) := √ + √ + √ + · · · + √ > n
1 2 3 n
es verdadera para cualquier número natural mayor que 2.
3.- 22n − 1 es múltiplo de 3
Solución: Sea P (n) la función proposicional
169
Álgebra
22(n+1) − 1 =
|{z} 22n+2 − 1
por el álgebra
basica
=
|{z} 22n 22 − 1
por las propiedades
de los exponentes
=
|{z} 22n (3 + 1) − 1
por la aritmética
de los números enteros
=
|{z} 22n (3) + (22n − 1)
por la ley
distributiva
=
|{z} 22n (3) + (3k)
22n −1=3k
para algún k∈Z !
=
|{z} 3 2| 2n{z+ k}
por la ley t
distributiva
=
|{z} 3t para t ∈ Z
t es un número Z
por tanto 22(n+1) − 1 = 3t para t ∈ Z. Así P (n) := 22n − 1 = 3k para algún k ∈ Z es valido para
todo n ∈ N.
4.- x2n − y 2n es divisible por x − y para todo x, y ∈ Z
Solución: Sea P (n) la función proposicional
170
Álgebra
x2(n+1) − y 2(n+1) =
|{z} x2n+2 − y 2n+2
por el álgebra
basica
=
|{z} x2n x2 − y 2n+2
por las propiedades
de los exponentes
=
|{z} (k (x − y) + y 2n ) x2 − y 2n y 2
por hipótesis de
inducción
=
|{z} k (x − y) x2 + y 2n x2 − y 2n y 2
por la ley
distributiva
=
|{z} k (x − y) x2 + y 2n (x2 − y 2 )
por la ley
distributiva
=
|{z} k (x − y) x2 + y 2n (x + y) (x − y)
por la diferencia
de cuadrados
= kx2 + y 2n (x + y) (x − y)
|{z} | {z }
por la ley t
distributiva
= t (x − y) para t ∈ Z
por tanto x2(n+1) − y 2(n+1) = t (x − y) para t ∈ Z, así la función proposicional P (n) := x2n − y 2n =
k (x − y) para algún k ∈ Z es valido para todo n ∈ N.
5.- 52n − 1 es un múltiplo de 24
Solución: Sea P (n) la función proposicional
?
P (n) := 52n − 1 = 24k para algun k ∈ Z → P (n + 1) := 52(n+1) − 1 = 24k para algun k ∈ Z
| {z } | {z }
hipótesis conclusión
171
Álgebra
=
|{z} (52n 52 − 1)
por las propiedades
de los exponentes
=
|{z} (52n (24 + 1) − 1)
por el álgebra
basica
=
|{z} 52n (24) + [52n − 1]
por la ley
distributiva
=
|{z} 52n (24) + [24k]
por hipótesis
de inducción
(52n −1)=24k
=
|{z} (24) {52n + [k]}
por la ley
distributiva
por tanto 52(n+1) − 1 = (24) {52n + [k]} pero como {52n + [k]} ∈ Z entonces P (n + 1) es valido,
1 1 1 1
P (n) := 1 + + + ··· + 2 ≤ 2 −
4 9 n n
por el método de Inducción Matemática
1
i) P (1) := 1 = 2 − , es decir P (1) es valido para n = 1
| {z 1}
1
ahora veamos el otro paso de Inducción Matemática
ii) Si P (n) es valido, entonces veamos si P (n+1) es valido, en el lenguaje lógico este enunciado
se escribe.
1 1 1 1 1 1 1 1
P (n) := 1 + + + · · · + 2 ≤ 2 − → P (n + 1) := 1 + + + · · · + 2 ≤ 2−
| 4 9{z n n} 4 9 (n + 1) n+1
| {z }
hipótesis
conclusión
172
Álgebra
1 + 14 + 19 + · · · + 1
(n+1)2
=
|{z} 1 + 41 + 19 + · · · + 1
n2
+ 1
(n+1)2
por el álgebra
basica
1 + 14 + 91 + · · · + 1 1
=
|{z} n2
+ (n+1)2
por la
asociatividad
1 1
≤ 2− n
+ (n+1)2
|{z}
por hipótesis
de inducción
por tanto 1 + 14 + 19 + · · · + 1
(n+1)2
≤2− 1
n
+ 1
(n+1)2
(β)
1 1 1
Afirmación: 2 − n
+ (n+1)2
≤2− n+1
Prueba:
por tanto 2 − 1
n
+ 1
(n+1)2
≤2− 1
n+1
para todo n ∈ N.
La relación (β) indica 1+ 41 + 91 +· · ·+ (n+1)
1 1
2 ≤ 2− n +
1
(n+1)2
y por la afirmación 2− n1 + (n+1)
1 1
2 ≤ 2− n+1
1 1 1 1
1+ + + ··· + 2 ≤ 2−
4 9 (n + 1) n+1
173
Álgebra
→ P (n + 1) := 10(n+1)+1 − 9 (n + 1) − 10 es múltuplo de 81
| {z }
conclusión
=
|{z} 81 (k) + 9 (10) (10n ) − 9
por el álgebra
en los R
=
|{z} 81 (k) + 9 (1 + 9) (10n ) − 9
por el álgebra
en los R
=
|{z} 81 (k) + 81 (10n ) + 9 (10n − 1)
por el álgebra
en los R
174
Álgebra
!
=
|{z} 81 (k) + 81 (10n ) + 9 |999{z
· · · 9}
por el álgebra n−veces
en los R !
=
|{z} 81 (k) + 81 (10n ) + 9 (9) 111
| {z· · · 1}
por el álgebra n−veces
en los R !
=
|{z} 81 (k) + 81 (10n ) + 81 |111{z
· · · 1}
por el álgebra n−veces
en los R " !#
=
|{z} 81 k + 10n + 111
| {z· · · 1}
por el álgebra n−veces
en los R
" !#
por tanto 10(n+1)+1 − 9 (n + 1) − 10 = 81 k + 10n + y como k ∈ Z, entonces
· · · 1}
|111{z
" !# n−veces
175
Álgebra
Ejemplo 147. Verificar si los siguienetes incisos son verdaderos o falsos a) 2 < 7 b) 7 < 2
Solución:
Para el inciso a) Según la definición (4.1)
pero lamentablemente si se suma cualquier número natural a 7 el resultado siempre será diferente
de siete por tanto no existe ningún número natural tal que sumado a siete de dos, así la relación
7 < 2 es falsa, es decir 7
<
2
La relación n < m tiene las siguientes propiedades
a) Transitividad: Si n < m y m < s, entonces n < s
b) Tricotomia: Si n y m son números naturales, entonces vale una y solamente una de las
afirmaciones
n=món<móm<n
n + p < m + p y np < mp
176
Álgebra
Una de las propiedades más importantes de la relación de orden estricto n < m entre números
naturales es el denominado Principio de Buen Orden, que se enuncia a continuación
(X 6= N)
∼ (1 ∈ X) ∨ (∃n0 ) (n0 ∈ X ∧ (n0 + 1) ∈
/ X)
o equivalentemente
(X 6= N)
(1 ∈ X) → (∃n0 ) (n0 ∈ X ∧ (n0 + 1) ∈
/ X)
(X 6= N)
(1 ∈ X)
(∃n0 ) (n0 ∈ X ∧ (n0 + 1) ∈
/ X)
177
Álgebra
Teorema. (4.2) Dados dos números naturales a y b, existen un único par de números naturales
q y r, denominados cociente y resto de la división de b por a respectivamente, que satisface las
siguientes condiciones.
i) b = aq + r
ii) 0 ≤ r < a
Demostración. La sucesión de número naturales que son múltiplos de a es: 0, a, 2a, 3a, ... y resulta
que esta sucesión es creciente, por tanto existiran término en la sucesión que serán mayores que
b, es decir b es una cota inferior del conjunto
así este conjunto es no vacio y por el principia de buen orden este conjunto A tiene un elemento
mínimo, digamos (q + 1) a tal que b < (q + 1) a.
Y como b es un número natural entonces
qa ≤ b < (q + 1) a
0 ≤ b − qa < a
| {z }
r
b < (q + 1) a
b < qa + a
b − qa < a
r < a
178
Álgebra
Ejemplo 148. Un número natural n excede en 35 unidades a un cierto múltiplo de 24. ¿Cual es
el resto de dividirlo por 8?
Ejemplo 149. Supongamos que n es un número impar y no divisible por 3. ¿Cual es el resto de
dividir n2 por 24?
Solución: Como n es un numero impar, entonces no es divisible entre 2, y por hipótesis también
no es divisible entre 3. Ahora dividamos n entre 6, y por el algoritmo de la división se tendrá que
n = 6q + r con 0 ≤ r < 6
179
Álgebra
n = 6k ± 1 para k = q + 1 ó k = q
n2 = (6k ± 1)2
= 36k 2 ± 12k + 1
= 12k (3k ± 1) + 1
así n2 = 12 [k (3k ± 1)] + 1, se puede verificar por Inducción Matemática que el número k (3k ± 1)
es par, es decir k (3k ± 1) = 2t por tanto n2 = 12 (2t) + 1 = 24t + 1 es decir el resto de dividir n2
entre 24 es 1.
este conjunto es cerrado para la adición y multiplicación y para el inverso aditivo. Construye el
objeto de estudio de la “Teoría de Números” ó Aritmética, su punto de partida es la divisibilidad
que se estudiara a continuación.
180
Álgebra
Ejemplo 150. 12 | 252 pues existe el número entero c = 21 tal que 252 = 12 (21)
Solución: Según la definición (4.2) 5 no divide a 33, pues no existe ningún número entero c tal que
33 = 5c en este caso se utilizará la notación 5|33
Obs:
1.- La relación b = ac indica por definición que a divide a b, también esta relación nos indica que
b es un múltiplo de a
2.- Cualquier número entero divide a cero
3.- Si a | b entonces a | −b, −a | b y −a | −b
181
Álgebra
120 son: 1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 20, 24, 30, 60, 120
84 son: 1, 2, 3, 4, 6, 7, 12, 14, 21, 28, 42, 84
así los divisores en común de 120 y 84 son: 1, 2, 3, 4, 6, 12 y el mayor de estos divisores en común
es 12 por tanto (120 : 84) = 12
observando este listado de divisores de 270 y 1575 se tiene que el mayor divisor en común es 45
por tanto (270 : 1575) = 45
En esta sección desarrollaremos algúnos métodos que nos permitiran determinar el mcd de dos
números.
1. Método de las Restas Sucesivas: Para determinar el (a : b) se define por recurrencia una
sucesión de pares de números enteros, en el que cada término se obtiene del anterior aplicando la
siguiente regla
182
Álgebra
(a : b) = (a − b : b) si a > b
(a : b) = (a : b − a) si a < b
así (a : b) = rn+1
Obs: En la regla anterior las sucesiones rn an de ser finitas ya que el resto es una sucesión
decreciente y acotado inferiormente, es decir 0 < rn+1 < rn < · · · < r2 < r1 < b
Solución: Como 1575 > 270, entonces por método del algoritmo de la división se tiene
183
Álgebra
a p1 y b q1
a1 p2 b1 q2
.. ..
a2 . b2 .
.. ..
. pn . qm
1 1
Se estraen de las factorizaciones a = pαj i y b = qkαt los factores en común con su menor
Q Q
120 2 y 84 2
60 2 42 2
30 2 21 3
15 3 7 7
5 5 1
1
de donde 120 = 23 (3) (5) y 84 = 22 (3) (7), así (120 : 84) = 22 (3) = 12
4.- Método de la Divisibilidad: Si (a : b) = g, entonces
i) g | a y g | b
ii) Si k | a y k | b, entonces k | g
184
Álgebra
Nota: La definición de máximo común divisor se extiende naturalmente a cualquier par de números
enteros, es decir
(a : 0) = |a|para todo a ∈ Z
(−36 : 20) = (|−36| : |20|) = (36 : 20) = (36 − 20 : 20) = (16 : 20) = (16 : 20 − 16)
= (16 : 4) = (16 − 4 (4) : 4) = (0 : 4) = |4| = 4
Teorema. (4.3) Si a y b son dos números enteros, no ambos ceros, entonces el (a : b) es el menor
entero positivo que puede ser expresado como una función lineal homogénea de a y b, es decir
(a : b) = xa + yb tal que x, y ∈ Z.
Demostración. Sea S = {xa + yb : x, y ∈ Z} y como a2 +b2 > 0, entonces S 6= ∅ así por el teorema
(4.1) existe un elemento mínimo de S digamos g tal que
(a : 0) = (1) a + (0) b
(0 : b) = (0) a + (1) b
Caso 2: Supongamos que a 6= 0 y b 6= 0, así por el teorema (4.2) existen los enteros q y r tal que
185
Álgebra
a = gq + r donde 0 ≤ r < g
Teorema. (4.4) Si a1 , a2 ,...,an son números enteros distintos de cero con n ≥ 3, entonces
Demostración. Supongamos que (a1 , a2 , ..., an ) = g y (a1 , a2 , ..., an−1 ) = g 0 así verifiquemos que
(g 0 , an ) = g.
Como (a1 , a2 , ..., an ) = g entonces g | ai para i = 1, 2, ..., n en particular g | ai para i = 1, 2, ..., n−1
y g | an
Afirmación: Si g | a y g | b entonces g | (a : b)
Prueba: Por el teorema (4.3) existen los enteros x e y tal que (a : b) = xa + yb, pero por hipótesis
g | a y g | b es decir a = gk1 y b = gk2 para k1 , k2 ∈ Z y remplazando estas igualdades en la
relación (a : b) = xa + yb se tendrá que
(a : b) = x (gk1 ) + y (gk2 )
o lo que es lo mismo (a : b) = g (xk1 + yk2 ) pero como k1 , k2 , x e y son números enteros entonces
(xk1 + yk2 ) ∈ Z por tanto g | (a : b).
186
Álgebra
o equivalentemente
k | ai para i = 1, 2, ..., n − 1
y como k | an entonces por la anterior afirmación y por inducción matemática k | (a1 , a2 , ..., an )
es decir k | g, por tanto g es el mcd de g 0 y an es decir
(g 0 , an ) = g
o equivalentemente
(570 : 810 : 495 : 125) = ((570 : 810 : 495) : 125) = (((570 : 810) : 495) : 125)
= ((30 : 495) : 125) = (15 : 125) = 5
Solución: Por el teorema (4.2) existen los enteros q y r tal que n = 84q + r donde 0 ≤ r < 84,
así por el método del algoritmo de la división 14 = (84 : n) = (84 : r) por tanto 14 | r es decir
r| ={z14k} pero como 0 ≤ r < 84 entonces k = 1, 2, 3, 4, 5.
r
k= 14
187
Álgebra
Por otro lado como 14 = (84 : r) entonces por el inciso a) de la propiedad se tiene que 84 r
14
: 14
=1
o equivalentemente (6 : k) = 1 y como k = 1, 2, 3, 4, 5 entonces los únicos valores que k puede tomar
son 1 o 5 por tanto r = 14 o r = 70.
En el caso de que la definición (4.3) se verifique, se cuenta con un método para determinar la
solución de la ecuación diofantica lineal. En efecto si g = (a : b) y g | c por el método del algoritmo
de la división podemos expresar g como combinación lineal de a y b, es decir g = au + bv (1) y
como g | c entonces existe el número entero k tal que c = gk ahora multiplicando por k la igualdad
(1) se tendrá que gk = auk + bvk lo cuál es equivalente a c = a (uk) + b (vk) donde
x = uk e y = vk
así (900 : 378) = 18 y por el teorema (4.3) existen los enteros u e v tal que 18 = 900u + 378v.
Los enteros u e v se determinar trabajando el método del algoritmo de la división de abajo hacia
arriba, es decir
188
Álgebra
18 = 54 (1) + 36 (−1)
=
|{z} 54 (1) + (90 + 54 (−1)) (−1)
90+54(−1)=36
a (x − x0 ) = b (y0 − y) (1)
189
Álgebra
se tiene que abk 0 = abk y por la ley de la cancelación en el conjunto de los números enteros se
tendrá que k 0 = k. Así de las relaciones (2) y (3) se tendrá que
x = x0 + gb k e y = y0 − ag k para k ∈ Z
Ejemplo 164. Determinar la solución general de la ecuación diofántica lineal 900x + 378y = 72
Solución: Según el ejemplo anterior las soluciones particulares de la ecuación diofantica lineal
900x + 378y = 72 son x0 = 32 e y0 = −76 así las soluciones generales son:
x = x0 + gb k = 32 + 378
18
k
y = y0 − ag k = −76 − 900
18
k
para k ∈ Z.
Ejemplo 165. Determine las soluciones enteras y positivas de la ecuación Diofántica lineal 18x +
5y = 48
así (18 : 5) = 1 y como 1 | 48, entonces la ecuación Diofantica lineal 18x + 5y = 48 tiene solución.
Ahora determinemos una solución particular trabajando el anterior algoritmo de la división de
abajo hacia arriba, es decir
1 = 3 (1) + 2 (−1)
=
|{z} 3 (1) + (5 (1) + 3 (−1)) (−1)
2=5(1)+3(−1)
190
Álgebra
así 1 = 18 (2) + 5 (−7) y multiplicando por 48 esta igualdad se tendrá que 48 = 18 (96) + 5 (−336)
por tanto una solución particular de la ecuación diofántica lineal 18x + 5y = 48 es x0 = 96 e
y0 = −336. Y las soluciones generales serán
x = x0 + gb k e y = y0 − ag k
x = 96 + 15 k e y = −336 − 18
1
k
x = 96 + 5k e y = −336 − 18k
de donde −20 < k < −18 y como k es un número entero, entonces k = −19 así las soluciones
positivas son: x = 1 e y = 6
Ejemplo 166. Para adquirir ejemplares de dos libros, cuyos respectivos precios son 12 y 17,50
bolivianos, una universidad dispone de 1680 bolivianos ¿De cuántas maneras puede hacerse la
operación, si debe comprarse por lo menos un ejemplar de cada libro y debe de gastarse todo el
dinero?
Solución: Según el enuciado del ejemplo la ecuación a resolver es: 12x+17,5y = 1680 para x, y ∈ Z+ .
Para poder resolver esta ecuación mediante el método de ecuaciones diofánticas lineales es prudente
multiplicar la ecuación por 2, es decir
así (24 : 35) = 1 y como 1 | 3360 entonces la ecuación diofántica lineal tiene solución. Ahora
trabajemos el anterior algoritmo de la división de abajo hacia arriba para determinar una solución
particular de la ecuación diofántica lineal, es decir
191
Álgebra
1 = 11 + 2 (−5)
=
|{z} 11 + (24 + 11 (−2)) (−5)
2=24+11(−2)
= 11 + 24 (−5) + 11 (10)
= 11 (11) + 24 (−5)
=
|{z} (35 + 24 (−1)) (11) + 24 (−5)
11=35+24(−1)
así 1 = 35 (11) + 24 (−16) o lo que es equivalente a 24 (−16) + 35 (11) = 1 (1). Por otro lado
1 | 3360 es decir 3360 = 1 (3360) así multipliquemos la relación (1) por 3360, es decir
o lo que es equivalente a
24 −53760
| {z } = 3360
| {z } + 35 36960
x0 y0
así x0 = −53760 e y0 = 36960 es una solución particular de la ecuación diofántica lineal y las
soluciones generales serán
x = x0 + gb k e y = y0 − ag k
x = −53760 + 35k e y = 36960 − 24k para k ∈ Z
de donde 1536 < k < 1540 y como k tiene que ser un número entero, entonces k = 1537, 1538, 1539
es decir
así las soluciones positivas para la ecuación 12x + 17,5y = 1680 son:
192
Álgebra
x = 35 e y = 72
x = 70 e y = 48
x = 105 e y = 24
Ejemplo 167. ¿De cuántas maneras puede descomponerse a 834 como suma de dos números
pares positivos, uno múltiplo de 15 y otro múltiplo de 21?
Solución: Según el ejemplo hay que resolver la ecuación 834 = 15x + 21y para x par positivo e y
par positivo.
Ahora determinemos el mcd de 15 y 21 mediante el algoritmo de la división, es decir
21 = 15 (1) + 6
15 = 6 (2) + 3
6 = |{z}
3 (2) + 0
mcd
así (15 : 21) = 3 y además es verdad que 3 | 834 es decir la ecuación diafántica lineal 834 =
15x + 21y tiene solución
Ahora determinemos una solución particular trabajando el anterior algoritmo de la división de
abajo hacia arriba, es decir
3 = 15 (1) + 6 (−2)
=
|{z} 15 (1) + (21 + 15 (−1)) (−2)
6=21+15(−1)
así 3 = 15 (3) + 21 (−2) (1) pero como 3 | 834, entonces existe el entero 278 tal que 834 = 3 (278),
ahora multipliquemos la relación (1) por 278 se tendrá
193
Álgebra
o lo que es equivalente
por tanto una solución particular de la ecuación diofántica 834 = 15x + 21y es: x0 = 834 e
y0 = −556 y las soluciones generales serián
x = x0 + gb k e y = y0 − ag k
x = 834 + 7k e y = −556 − 5k
x = 2 (417) + 7k e y = −556 − 5k
pero x, y > 0 entonces
de donde k = −112, −113, −114, −115, −116, −117 y −118, por otro lado
x = 2 (417) + 7k e y = 2 (−278) − 5k
así para que x e y sean pares k tiene que ser par, por tanto k = −112, −114, −116 y −118 de
donde
x = 50 e y=4
x = 36 e y = 14
x = 22 e y = 24
x=8 e y = 34
por tanto
194
Álgebra
g) 5 2n
− 1 es un múltiplo de 24 h) 10n+1 − 9n − 10 es un múltiplo de 81
i) 22n − 1 es múltiplo de 3 j) 34n+2 + 52n+1 es un múltiplo de 14 (revisar)
k) 11n+2 + 122n+1 es divisible por 133 l) x2n − y 2n es divisible por x + y
m) x2n − y 2n es divisible por x − y n) x2n−1 − y 2n−1 es divisible por x + y
n
o) 2n > n p) 1 + 31 ≥ 1 + n3
n2 −n
q) 2n+4 > (n + 4)2 r) n − 2 < 12
s) 1 + 14 + 19 + · · · + 1
n2
≤2− 1
n
t) 2n > n2 + 4n + 5 para todo natural n ≥ 7
2. Demostrar que para todo numero natural n: (2n)! < 22n (n!)2
2 3
3. Demuestre que para todo n ∈ N, n3 + n2 + n6 ∈ N
4. Demostrar que para todo n natural
10n+1 − 9n − 10
3 + 33 + 333 + · · · + 333 · · · 33} =
| {z 27
n−veces
a) Si a | b + c, entonces a | b o a | c b) a | b si y solo si ac | bc
c) Si a | bc, entonces a | b o a | c d) Si a | b y c | b, entonces ac | b
e) Si a | b y c | b, entonces ac | bd f ) Si a | b, entonces an | bn
2. En cada uno de los siguientes casos, determine los números naturales n que satisfacen la relación
planteada:
a) n | n + 1 b) n − 2 | n + 2 c) n − 3 | n2 + 1
195
Álgebra
a) a + 86 b) 99 − a c) a2 + 3a − 1 d) a30 + 1
100
8. Calcular el resto de dividir 2i por 7 ¿El cociente es par o impar?
P
i=0
3. Máximo Común Divisor:
1. En cada uno de los incisos calcular (a : b) y escribirlo como una combinación lineal, es decir
(a : b) = ax + by tal que |x + y| sea mínimo.
2. El mcd de 84 y un cierto numero natural n es 14. ¿Cual puede ser el resto de dividir n por 84?
3. Si se toma al azar un numero natural n entre1 y 100. ¿Cual es el valor mas probable del mcd
de n y 12?
4. Si a es un numero entero determinar el mcd de a y a + 1; a − 1 y a + 1; 4a y 2a + 3
5. Demostrar que el mcd de a2 + 3 y a2 − 2 es igual a 1, para cualquier entero a
6. La suma de dos números naturales m y n es 300 y su mcd es 25. Halle los posibles valores de
m y n (m < n). Resuelva un problema similar, sabiendo ahora que el mcd es 6 y que el producto
de los números es 648.
7. Si el mcd de a y b es igual a 1, entonces el mcd de a + b y a − b es igual a 1 o el mcd de a + b y
a − b es igual a 2
196
Álgebra
197
CAPÍTULO 5
Estructuras Algebraicas
5.1.1. Congruencia en Z:
En la sección 3.2.4 del capitulo 3 se verifico que la relación ≡ definida en el conjunto de los números
enteros Z, como
∼ es reflexiva si y solo si ∀x : x ∈ A → x ∼ x
198
Álgebra
así
x≡y ↔
|{z} y − x es divisible entre n
| {z }
hipotesis por definición
→
|{z} − (y − x) es divisible entre n
por el álgebra
en los enteros
→
|{z} −y + x es divisible entre n
por la ley
de los signos
→
|{z} x − y es divisible entre n
por la ley
conmutativa
↔
|{z} y≡x
por definición
así
199
Álgebra
x≡y∧y ≡z ↔
|{z} y − x es dibisible entre n ∧ z − y es dibisible entre n
| {z }
hipótesis por definición
→
|{z} ((y − x) + (z − y)) es divisible entre n
por el álgebra
en los enteros
→
|{z} −x + z es divisible entre n
por el álgebra
en los enteros
→
|{z} z − x es divisible entre n
por la ley
conmutativa
↔
|{z} x≡z
por definición
[z] = {x ∈ Z : x ≡n z}
o equivalentemente
[z] = {x ∈ Z : z ≡n x}
= {x ∈ Z : x − z = nk para k ∈ Z}
= {x = nk + z : k ∈ Z}
Solución:
Para (x + z) ≡n (y + t).
Por hipótesis
200
Álgebra
o equivalentemente
o equivalentemente
201
Álgebra
a ∈ [x] ↔
|{z} a ≡n x
por definición
de clses
↔
|{z} a ≡n y
x≡n y y por
transitividad
↔
|{z} a ∈ [y]
por definición
de clses
a ∈ [x] ↔
|{z} a ≡n x (1)
por definición
de clses
a ∈ [y] ↔
|{z} a ≡n y (2)
por definición
de clses
Ejercicio 170. Si [x] y [y] pertenecen a Zn , entonces [x] ∩ [y] = ∅ o [x] = [y]
p
q∨r
p
∼q→r
202
Álgebra
p
∼q
r
que a su vez es equivalente a la proposición (p∧ ∼ q) → r y esta proposición es equivalente al
siguiente enunciado
Por hipótesis [x] ∩ [y] 6= ∅ entonces existe algún entero a tal que a ∈ ([x] ∩ [y]) lo que implica que
a ∈ [x] y a ∈ [y] es decir
a ≡n x y a ≡n y
así por la transitividad de la relación ≡ se tiene que x ≡n y lo cual implica que [x] = [y] por el
ejercicio 167.
203
Álgebra
Solución:
[3] ⊕ [5] =
|{z} = [2]
[3 + 5] = [8] |{z}
por definición 8=6(1)+2
de adición
[4] ⊗ [4] =
|{z} [4 (4)] = [16] |{z}
= [4]
por definición 16=6(2)+4
de multiplicación
Teorema. (5.1) Si p es un entero mayor o igual que 1, entonces las siguientes afirmaciones son
equivalentes
i) p es primo
ii) Para [a], [0] ∈ Zp y [a] 6= [0], entonces la ecuación [a] ⊗ x = [1] tiene solución
iii) Para todo [a], [b] ∈ Zp . Si [a] ⊗ [b] = [0], entonces [a] = [0] o [b] = [0]
204
Álgebra
Por hipótesis [a] 6= [0], entonces [a] ∩ [0] = ∅, lo que implica que a no es congruente con 0 modulo
p, es decir a − 0 6= pk para todo k ∈ Z o lo que es lo mismo p - a lo que implica que (a : p) = 1 y
esto significa que existen enteros x0 e y0 tal que
1 = ax0 + py0
o equivalentemente
o [ax0 ] = [1] es decir [a] ⊗ [x0 ] = [1], por tanto la ecuación [a] ⊗ x = [1] tiene solución y la solución
es x = [x0 ]
Veamos ii) → iii)
El enunciado del inciso iii) indica
y por la propiedad de la asociatividad y el neutro aditivo en Zp se tiene ([a] ⊗ [b]) ⊗ [n] = [b]
pero por hipótesis [a] ⊗ [b] = [0], entonces de la relación ([a] ⊗ [b]) ⊗ [n] = [b] es equivalente a
[0] ⊗ [n] = [b], es decir [b] = [0 (n)] por tanto [b] = [0]
Veamos iii) → i) (Por contradicción)
205
Álgebra
Supongamos que p = ab (con a | p y b | p), así [p] = [ab] o equivalentemente [p] = [a] ⊗ [b] pero
como [p] ∈ Zp , entonces [p] = [0] por tanto [a] ⊗ [b] = [0] así por hipótesis [a] = [0] o [b] = [0] lo
que implica que a ≡p 0 o b ≡p 0 lo que implica que p | a o p | b.
Caso 1: Supongamos que p | a, entonces a = pk para algún k ∈ Z pero como p = ab se tendrá que
a = abk y como a, b, k ∈ Z, entonces por la ley de la cancelación bk = 1 lo que implica que b = ±1
y como p = ab entonces p es primo
Caso 2: Supongamos que p | b, este caso es análogo al caso 1.
Así de los casos 1 y 2 se tiene que p tiene que ser un número primo.
Solución:
Primera Forma:
Notemos que Z5 = {[0], [1], [2], [3], [4]} así la tabla correspondiente a la multiplicación es:
206
Álgebra
según la tabla se observa la relación [4] ⊗ [2] = [3] en la sexta fila y cuarta columna por tanto la
solución de la ecuación [4] ⊗ x = [3] es x = [2].
Segunda Forma:
Supongamos que x = [y] entonces
[4] ⊗ x = [3]
[4] ⊗ [y] =
|{z} [3]
x=[y]
[4y] =
|{z} [3]
por
definición
así (4 : −5) = (4 : 5) = 1 y como 1 | 3 la ecuación diofántica tiene solución y esta solución es:
1 = 5 (1) + 4 (−1)
ahora multiplicando la anterior relación por 3 se tendrá que: 3 = 5 (3) + 4 (−3) o equivalentemente
4 (−3) − 5 (−3) = 3 así la solución particular es: y0 = −3 y k0 = −3 y la solución general será
y = y0 + −5
1
t y k = k0 − 14 t para t ∈ Z
y = −3 − 5t y k = −3 − 4t para t ∈ Z
207
Álgebra
5.2. Grupos:
Definición. (5.1) (Grupo) Sea G un conjunto no vació. El conjunto G es denominado grupo si
Ejemplo 173. Los números enteros con la adición usual es grupo, pues:
asi el conjunto de los números enteros con la adición (+) usual es un grupo.
Ejemplo 174. Los números racionales positivos (Q+ ) con la multiplicación usual es grupo, pues:
asi el conjunto de los números racionales positivos con la multiplicación (.) usual es un grupo.
Ejemplo 175. El conjunto Zn con la adición definida por [a] ⊕ [b] = [a + b] es un grupo.
208
Álgebra
3. Para todo [a] ∈ Zn existe [0] ∈ Zn tal que [a] ⊕ [0] = [a + 0] = [a] y [0] ⊕ [a] = [0 + a] = [a]
4. Para todo [a] ∈ Zn existe [−a] ∈ Zn tal que [a] ⊕ [−a] = [a − a] = [0] y [−a] ⊕ [a] = [−a + a] = [0]
así el par (Zn , ⊕) es un grupo.
Ejemplo 176. El conjunto Zp , donde p es primo con la multiplicación definida por [a] ⊗ [b] = [ab]
es un grupo.
209
Álgebra
3. Para todo [a] ∈ Zp existe [1] ∈ Zp tal que [a] ⊗ [1] = [a1] = [a] y [1] ⊗ [a] = [1a] = [a]
4. Para todo [a] ∈ Zp las ecuación [a] ⊗ x = [1] y x ⊗ [a] = [1] tienen soluciones por el teorema
(5.1) lo que significa que [a] tiene inverso multiplicativo.
así el par (Zp , ⊗) es un grupo.
a b
Ejemplo 177. El conjunto GL2 (R) = A = : det (A) 6= 0 para a, b, c, d ∈ R con la
c d
multiplicación de matrices forma un grupo.
Ejemplo 178. Sea A = {a, b, c} y ∗ una operación definida en A según la siguiente tabla
∗ a b c
a a b c
b b c c
c c b a
210
Álgebra
para a ∈ A implica a ∗ a = a
para b ∈ A implica b ∗ a = b
para c ∈ A implica c ∗ a = c
para a ∈ A implica a ∗ a = a
para b ∈ A implica a ∗ b = b
para c ∈ A implica a ∗ c = c
211
Álgebra
s ∗ t = t ∗ s para cualesquiera s, t ∈ A
veamos
o equivalentemente
a∗x∗c = b
(a ∗ x) ∗ c = b agrupando
x∗c = b segun el inciso a) el neutro del conjunto A es a
x ∗ (c ∗ c) = b ∗ c componiendo con c
x ∗ a = b ∗ c como c ∗ c = a
x = b ∗ c segun el inciso a) el neutro del conjunto A es a
a∗x∗c = b
a ∗ (b ∗ c) ∗ c = b remplazando x = b ∗ c
(a ∗ b) ∗ (c ∗ c) = b asociando
(b) ∗ (a) = b por a ∗ b = b y c ∗ c = a
b = b segun el inciso a) el neutro del conjunto A es a
212
Álgebra
∗ a b c
a a b c
b b c c
c c b a
se observa que b no tiene inverso, por tanto la ecuación b ∗ x = a no tiene solución en el conjunto
A con la operación ∗
Demostración. Supongamos que el inverso de a ∈ G es a−1 y b−1 entonces aa−1 = a−1 a = e (1) y
ab−1 = b−1 a = e (2) por tanto
a−1 =
|{z} a−1 e
e es
neutro de G
=
|{z} a−1 (ab−1 )
por (2)
=
|{z} (a−1 a) b−1
por la
asociatividad
=
|{z} eb−1
por (1)
=
|{z} b−1
e es
neutro de G
213
Álgebra
Demostración. Supongamos que e y e0 son los elementos neutros del grupo G así por la definición
(5.1) ea = ae = a y e0 a = ae0 = a para todo a ∈ G, en particular si a = e0 se tendrá que
ee0 = e0 e = e0 (1) y si a = e se tendrá que e0 e = ee0 = e (2), entonces
= ee0 |{z}
e |{z} = e0
por (2) por (1)
por tanto e = e0
2. Si a, b ∈ G y G es un grupo, entonces
n−veces n−veces
entonces
i) am an = am+n
ii) (am )n = amn
214
Álgebra
Solución: Por hipótesis a, b ∈ G, entonces ab ∈ G y como G es un grupo para este elemento existe
el elemento (ab)−1 ∈ G ta que (ab) (ab)−1 = e y (ab)−1 (ab) = e.
Por otro lado
ab (b−1 a−1 ) =
|{z} a (bb−1 ) a−1
por la
asociatividad
=
|{z} aea−1
b−1 b=e
=
|{z} aa−1
ec=c
=
|{z} e
a−1 a=e
también
(b−1 a−1 ) ab =
|{z} b−1 (a−1 a) b
por la
asociatividad
=
|{z} b−1 eb
a−1 a=e
=
|{z} b−1 b
ec=c
=
|{z} e
b−1 b=e
esto significa que el elemento b−1 a−1 es también el inverso de ab, pero como el inverso es único,
entonces b−1 a−1 = (ab)−1
0 0 0
(g1 , g2 ) g1 , g2’ = g1 g1 , g2 g2
215
Álgebra
0 00 0 0 00 0
(g1 , g2 ) g1 , g2’ g1 , g2’ =
|{z} (g1 , g2 ) g1 g1 , g2’ g2’
por
definición
0 00 0
=
|{z} g1 g1 g1 , g2 g2’ g2’
por
definición
0 00 0
=
|{z} g1 g1 g1 , g2 g2’ g2’
como G1 y G2
son grupos
0 00 0
=
|{z} g1 g1 , g2 g2’ g1 , g2’
por
definición
0 00 0 ’
=
|{z} (g1 , g2 ) g1 , g2’ g1 , g2
por
definición
0 00 0 0 00 0 ’
así (g1 , g2 )
g1 , g2’ g1 , g2’ = (g1 , g2 ) g1 , g2’ g1 , g2
3. Para todo (g1 , g2 ) ∈ G1 × G2 existe (e1 , e2 ) ∈ G1 × G2 tal que
(g1 , g2 ) (e1 , e2 ) =
|{z} (g1 e1 , g2 e2 )
por
definición
=
|{z} (g1 , g2 )
e1 es neutro de G1
y e2 es neutro de G2
también
(e1 , e2 ) (g1 , g2 ) =
|{z} (e1 g1 , e2 g2 )
por
definición
=
|{z} (g1 , g2 )
e1 es neutro de G1
y e2 es neutro de G2
216
Álgebra
también
Solución:
x2 y =
|{z} xxy
por definición
de exponentes
=
|{z} x (xy)
por la
asociatividad
=
|{z} x (yx3 )
xy=yx3
=
|{z} (xy) x3
por la
asociatividad
=
|{z} (yx3 ) x3
xy=yx3
=
|{z} yx3 x3
por la
asociatividad
=
|{z} yx (x5 )
por
exponentes
=
|{z} yx (e)
x5 =e
=
|{z} yx
por propiedades
de grupos
así x2 y = yx
Definición. (5.2) Si G es un grupo tal que |G| = n, entonces G es denominado grupo finita de
orden n y lo denotamos por |G| o o (G). Si G tiene infinitos elementos, se dice que G es de orden
infinito.
217
Álgebra
Ejemplo 181. El grupo (Z2 , ⊕) es de orden dos, es decir |Z2 | = 2 y el grupo (Z, +) es un grupo
de orden infinito
Solución: Según la definición (5.1) y el ejemplo 173 las propiedades 1, 2, 3 y 4 se verifican, ahora
veamos si se verifica la propiedad 5 de la definición (5.3)
Para todo [a], [b] ∈ Zn se tiene
[a] ⊕ [b] =
|{z} [a + b]
por
definición
=
|{z} [b + a]
por la
conmutatividad en Z
=
|{z} [b] ⊕ [a]
por
definición
así [a] ⊕ [b] = [b] ⊕ [a]. Por tanto el par (Zn , ⊕) es un grupo abeliano.
Solución: Según el ejemplo 174 el par (Zp , ⊗) es un grupo, ahora veamos si se verifica la propiedad
5 de la definición (5.3)
Para todo [a], [b] ∈ Zp se tiene
[a] ⊗ [b] =
|{z} [ab]
por
definición
=
|{z} [ba]
por la
conmutatividad en Z
=
|{z} [b] ⊗ [a]
por
definición
218
Álgebra
así [a] ⊗ [b] = [b] ⊗ [a]. Por tanto el par (Zp , ⊗) es un grupo abeliano.
Solución: Veamos que propiedades de la definición (5.3) verifica el par (R, ∗), es decir
1. Si a, b ∈ R, entonces a ∗ b = (a + b2 ) ∈ R
2. Si a, b, c ∈ R entonces
a ∗ (b ∗ c) =
|{z} a ∗ (b + c2 )
por definición
de ∗
2
=
|{z} a + (b + c2 )
por definición
de ∗
=
|{z} a + b2 + 2bc2 + c4
por el álgebra
en R
(a ∗ b) ∗ c =
|{z} (a + b2 ) ∗ c
por definición
de ∗
=
|{z} (a + b2 ) + c2
por definición
de ∗
=
|{z} a + b2 + c 2
por el álgebra
en R
a = a∗e
=
|{z} a + e2
por definición
de ∗
219
Álgebra
e∗a =
|{z} e + a2
por definición
de ∗
=
|{z} 0 + a2
e=0
= a2
a∗b =
|{z} a + b2
por definición
de ∗
b∗a =
|{z} b + a2
por definición
de ∗
5.2.2. Subgrupos:
Definición. (5.4) (Subgrupo) Si el par (G, ·) es un grupo y H ⊆ G, entonces H se denomina
subgrupo de G si el par (H, ·) es un grupo. En este caso se utiliza la notación H ≤ G
Obs: 1. Si (G, ·) es un grupo, por el álgebra de conjuntos G ⊆ G y {e} ⊆ G entonces los pares
(G, ·) y ({e} , ·) son subgrupos de G y se los denomina subgrupos triviales.
2. Si (H, ·) es un subgrupo del grupo (G, ·) tal que H 6= G y H 6= {e}, entonces (H, ·) es denominado
subgrupo propio del grupo (G, ·) y en este caso se utiliza la notación H < G.
Demostración. (→) Supongamos que H ≤ G, entonces por la definición (5.4) H verifica las
siguientes propiedades
220
Álgebra
221
Álgebra
Ejemplo 186. Sea (G, ◦) un grupo y sea a un elemento cualquiera de G. Demostrar que H =
{x ∈ G : x ◦ a = a ◦ x} es un subgrupo de G
Solución: Según el teorema (5.5) solo hay que probar que para todo x, y ∈ H implica x ◦ y ∈ H y
x−1 ∈ H
Primero veamos si x ◦ y ∈ H. Por hipótesis
x, y ∈ H, entonces x ◦ a = a ◦ x e y ◦ a = a ◦ y
notemos que
222
Álgebra
−1 −1
(x−1 ◦ a) ◦ (a ◦ x−1 ) = (x−1 ◦ a) ◦ (a ◦ x−1 )
−1 −1 −1 −1
= (x ◦ a) ◦ (x ) ◦ a
= (x−1 ◦ a) ◦ (x ◦ a−1 )
= x−1 ◦ (a ◦ x) ◦ a−1
= x−1 ◦ (x ◦ a) ◦ a−1
= (x−1 ◦ x) ◦ (a ◦ a−1 )
= e◦e
= e
−1
de donde (x−1 ◦ a) (a ◦ x−1 ) = e o equivalentemente x−1 ◦ a = a ◦ x−1 y esto significa que
x−1 ∈ H. Así H < G.
Ejemplo 187. El conjunto de los enteros Z con la adición usual es un grupo cíclico ((Z, +))
< 1 >= {..., (−2) 1, (−1) 1, (0) 1, (1) 1, (2) 1, ...} = {..., −2, −1, 0, 1, 2, ...} = Z
223
Álgebra
0 1 0 1 1 0
A2 = AA = = =I
1 0 1 0 0 1
1 0 0 1 0 1
A3 = A2 A = = =A
0 1 1 0 1 0
A4 = A2 A2 = II = I
A5 = A
de donde < A >= {A, I} así |< A >| = 2 y por la definición (5.6) se tiene que |A| = 2
Ejemplo 189. Sea G un grupo abeliano, resolver en el la siguiente ecuación abx2 c = cxa. Por
otro lado, si todos los elementos de G, excepto el elemento unidad, son de orden 3, demostrar que
se verifica:
a x−1 ax = x−1 ax a
224
Álgebra
s = n0 q + r con 0 ≤ r < n0
por tanto as = an0 q+r = an0 q ar lo que implica que a−n0 q as = ar . Por otro lado notemos que a−n0 q =
(an0 )−q ∈ H, pues n0 es el elemento mínimo de N , como as ∈ H y por ser H es subgrupo, entonces
a−n0 q as ∈ H, es decir ar ∈ H para 0 ≤ r < n0 lo cual es una contradicción al hecho de que n0 es
225
Álgebra
el elemento mínimo de N por tanto r = 0 así s = n0 q por tanto b = as = an0 q = (an0 )q ∈< an0 >,
es decir H ⊆< an0 >. Por tanto < an0 >= H es decir H es cíclico.
Ha = {ha ∈ G : h ∈ H}
aH = {ah ∈ G : h ∈ H}
Prueba:
Caso 1: ((aH = bH) → a ∈ bH)
Como H es un subgrupo de G entonces e ∈ H asi, para todo a ∈ G implica a = ae ∈ aH y por
hipotesis aH = bH por tanto a ∈ bH
Caso 2: (a ∈ bH → b−1 a ∈ H)
Por hipotesis a ∈ bH, entonces existe h ∈ H tal que a = bh, multiplicando esta relación por b−1 se
tiene
ah = (e) ah
ah = (bb−1 ) ah
ah = b (b−1 ah)
226
Álgebra
por hipotesis b−1 a ∈ H y h ∈ H entonces (b−1 ah) ∈ H y por la definición (5.7) b (b−1 ah) ∈ bH lo
que implica que ah ∈ bH
Ahora veamos que bH ⊆ aH, por hipotesis b−1 a ∈ H y H es un subgrupo de G, entonces
−1
(b−1 a) ∈ H es decir a−1 b ∈ H asi la demostración de este caso es similar a la demostración de
aH ⊆ bH, por tanto bH ⊆ aH asi aH = bH
Obs: El eninciado paralelo al lema (5.2) indica
Prueba:
Primero veamos que G ⊆ ∪ aH, Si a ∈ G entonces a = ae ∈ aH para e ∈ H asi a ∈ aH en
a∈G
particular a ∈ ∪ aH
a∈G
Ahora veamos si ∪ aH ⊆ G, Si b ∈ ∪ aH, entonces existe algún a ∈ G tal que b ∈ aH asi b = ah
a∈G a∈G
para algún h ∈ H, en resumen se tiene que
b = ah para a ∈ G y h ∈ H
b = ah para a ∈ G y h ∈ G
Sean a, b ∈ G y H ≤ G. Si aH ∩ bH 6= ∅ entonces aH = bH
Por hipotesis aH ∩ bH 6= ∅ entonces existe algún x tal que x ∈ aH y x ∈ bH asi por el lema (5.2)
se tiene que
227
Álgebra
xH = aH y xH = bH
Lema. (5.6) Si H ≤ G el número de clases laterales dechas es igual al número de clases laterales
izquierda
Prueba: Sea f : {aH : a ∈ G} → {Ha−1 : a ∈ G} definida por f (aH) = Ha−1 ahora veamos si f
es biyectiva
−1
Inyectividad: Si f (aH) = f (bH) entonces Ha−1 = Hb−1 así por la obs. del lema (5.2) b−1 (a−1 ) ∈
H o lo que es lo mismo b−1 a ∈ H y por el lema (5.2) implica que aH = bH
Sobreyectividad: Como la función esta definido de la forma f (aH) = Ha−1 entonces f ya es
sobreyectiva.
Así |{aH : a ∈ G}| = |{Ha−1 : a ∈ G}| = |{Hb : a ∈ G}|
Ejemplo 190. Si H =< [3] > {[0] , [3] , [6] , [9]} es un subgrupo del grupo Z12 = {[0] , [1] , [2] , ..., [10] , [11]}
aditivo, entonces las clases laterales izquierda son:
así [G : H] = 3
228
Álgebra
Demostración. Por el lema (5.3) y el lema (5.4) el grupo G es la unión disjunta de sus clases
laterales, también por el lema (5.5) todas las clases laterales tienen el mismo número de elementos,
por tanto el orden del grupo G tiene que ser igual al tamaño de las clases laterales (es decir |H|)
por el número de clases laterales, es decir |G| = |H| [G : H]
Demostración. Sea a ∈ G entonces < a > es un subgrupo de G y por el carolario (5.1) |< a >| | |G|,
por la definición (5.6) |a| = |< a >| por tanto |a| | |G|
∗ a b c
a a b c
b b c c
c c b a
229
Álgebra
230
Bibliografía
[1] Pedro A. Gutiérrez F.. (1990). Álgebra. Santa Cruz - Bolivia: La Hoguera.
[2] María Elena Becker, Norma Pietrocola, Carlos Sanchez. (2001). Aritmética. Buenos Aires,
Argentina: Red Olímpica.
[3] Abramo Hefez. (1993). Curso de Álgebra . Rio de Janeiro: Instituto de Matemática Pura y
Aplicada.
[4] Fernando Hernández Hernández. (1998). Teoría de Conjuntos . México : Sociedad Matemática
Mexicana.
[5] Armando o. Rojo. (1997). Álgebra. Argentina: Florida 340, Buenos Aires.
[6] Jhon B. Fraleigh. (1988). Algebra Abstracta. México: Printed in Mexico.
231