Teoría de conjuntos

Ejercicios resueltos sobre conjuntos

Funciones

Matemáticas Discretas

Matemáticas Discretas

Jorge Moreno.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Contenido

1 Teoría de conjuntos

2 Ejercicios resueltos sobre conjuntos

3 Funciones

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teoría de conjuntos

Llamaremos Conjunto a cualquier colección de objetos.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teoría de conjuntos

Llamaremos Conjunto a cualquier colección de objetos.

A estos objetos los llamaremos elementos o miembros del
conjunto. Si un conjunto es finito o no muy grande, es posible
describirlo por la lista de elementos en él.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teoría de conjuntos

Llamaremos Conjunto a cualquier colección de objetos.

A estos objetos los llamaremos elementos o miembros del
conjunto. Si un conjunto es finito o no muy grande, es posible
describirlo por la lista de elementos en él.

La ecuación A = {2, 5, 6, 7, 8} expresa un conjunto cuyos

elementos son 2, 5, 6, 7 y 8. Un conjunto se determina por sus
elementos y no por el orden en que aparecen. Así, el conjunto
{5, 8, 2, 6, 7} también representa al conjunto A .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teoría de conjuntos

Llamaremos Conjunto a cualquier colección de objetos.

A estos objetos los llamaremos elementos o miembros del
conjunto. Si un conjunto es finito o no muy grande, es posible
describirlo por la lista de elementos en él.

La ecuación A = {2, 5, 6, 7, 8} expresa un conjunto cuyos

elementos son 2, 5, 6, 7 y 8. Un conjunto se determina por sus
elementos y no por el orden en que aparecen. Así, el conjunto
{5, 8, 2, 6, 7} también representa al conjunto A .

Si un conjunto es finito grande o infinito, se describe mediante una

propiedad necesaria para ser miembro.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Por ejemplo, la ecuación B = {x : x es una potencia positiva de 2},

describe al conjunto, B = {2, 4, 8, 16, ...}.

Si A es un conjunto finito, se define el cardinal de A , denotado |A |

al número de elementos de A , para A = {2, 3, 5, 7, 9}, |A | = 5.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Por ejemplo, la ecuación B = {x : x es una potencia positiva de 2},

describe al conjunto, B = {2, 4, 8, 16, ...}.

Si A es un conjunto finito, se define el cardinal de A , denotado |A |

al número de elementos de A , para A = {2, 3, 5, 7, 9}, |A | = 5.

Si x es un elemento del conjunto X , escribiremos x ∈ X , se lee "x

pertenece a X ", en caso contrario, escribiremos x < X .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Por ejemplo, la ecuación B = {x : x es una potencia positiva de 2},

describe al conjunto, B = {2, 4, 8, 16, ...}.

Si A es un conjunto finito, se define el cardinal de A , denotado |A |

al número de elementos de A , para A = {2, 3, 5, 7, 9}, |A | = 5.

Si x es un elemento del conjunto X , escribiremos x ∈ X , se lee "x

pertenece a X ", en caso contrario, escribiremos x < X .
Por ejemplo, si x = 8 entonces x ∈ B pero x < A .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Por ejemplo, la ecuación B = {x : x es una potencia positiva de 2},

describe al conjunto, B = {2, 4, 8, 16, ...}.

Si A es un conjunto finito, se define el cardinal de A , denotado |A |

al número de elementos de A , para A = {2, 3, 5, 7, 9}, |A | = 5.

Si x es un elemento del conjunto X , escribiremos x ∈ X , se lee "x

pertenece a X ", en caso contrario, escribiremos x < X .
Por ejemplo, si x = 8 entonces x ∈ B pero x < A .

Al conjunto que no tiene elementos lo llamaremos conjunto vacío,

denotado ∅, esto es ∅ = { }.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Igualdad de conjuntos
Diremos que dos conjuntos A y B son iguales, denotado A = B , si
A y B tienen los mismos elementos

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Igualdad de conjuntos
Diremos que dos conjuntos A y B son iguales, denotado A = B , si
A y B tienen los mismos elementos, esto es,

A = B si y sólo si ∀x , x ∈ A ⇔ x ∈ B .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Igualdad de conjuntos
Diremos que dos conjuntos A y B son iguales, denotado A = B , si
A y B tienen los mismos elementos, esto es,

A = B si y sólo si ∀x , x ∈ A ⇔ x ∈ B .

o equivalentemente,

A = B si y sólo si ∀x , x ∈ A ⇒ x ∈ B ∧ x ∈ B ⇒ x ∈ A .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 1
Consideremos A = {x ∈ R|2x 2 + 4x − 30 = 0} y B = {−5, 3}.
Determinemos si A = B.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 1
Consideremos A = {x ∈ R|2x 2 + 4x − 30 = 0} y B = {−5, 3}.
Determinemos si A = B.
Solución:
Sea x ∈ R arbitrario,
x∈A ⇔ 2x 2 + 4x − 30 = 0
⇔ x 2 + 2x − 15 = 0
⇔ (x + 5)(x − 3) = 0
⇔ (x = −5) ∨ (x = 3)
⇔ x∈B
Así, A = B , por definición.
Diremos que A es subconjunto de B , denotado A ⊆ B si se
cumple que todo elemento de A es también un elemento de B ,
simbólicamente, A ⊆ B si y sólo si ∀x , x ∈ A ⇒ x ∈ B .
Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 2
Sea A = {x ∈ R : x 3 + x 2 − 20x = 0} y B = Z (el conjunto de
números enteros.)
Sea x ∈ R arbitrario, entonces

x∈A ⇒ x 3 + x 2 − 20x = 0
⇒ x (x 2 + x − 20) = 0
⇒ x (x − 4)(x + 5) = 0
⇒ x = 0 ∨ x = 4 ∨ x = −5
⇒ x∈Z

Así, ∀x , x ∈ A ⇒ x ∈ B.
Esto es, A ⊆ B.
¿ B ⊆ A .? (Falso)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 3
Sea X = {x ∈ R|x 2 − 3x + 2 = 0} y Y = {2n|n ∈ N} (números pares
positivos).
Sea x ∈ R arbitrario, entonces

x∈X ⇒ x 2 − 3x + 2 = 0
9 9
⇒ x 2 − 3x + − +2=0
4 4
3 9 1
⇒ (x − )2 = − 2 = , completando cuadrado
2 4 4
3 1
⇒ x− =±
2 2
⇒ x = 2 ∨ x = 1 pero 1 < Y

tomando x = 1 tenemos que x ∈ X pero x < Y

Esto es, X no es subconjunto de Y , denotado X * Y .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diremos que A es un subconjunto propio de B , denotado A ⊂ B , si

se cumple que A ⊆ B pero A , B .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diremos que A es un subconjunto propio de B , denotado A ⊂ B , si

se cumple que A ⊆ B pero A , B .

Ejemplo 4
Sean A = N y B = Z entonces A ⊆ B pero A , B, esto es, A ⊂ B.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diremos que A es un subconjunto propio de B , denotado A ⊂ B , si

se cumple que A ⊆ B pero A , B .

Ejemplo 4
Sean A = N y B = Z entonces A ⊆ B pero A , B, esto es, A ⊂ B.

Ejemplo 5
Todo conjunto X es subconjunto de sí mismo ya que,
x ∈ X ⇒ x ∈ X , ∀x.
∅ es subconjunto de cualquier conjunto X .
En efecto, supongamos por absurdo que ∅ no es subconjunto de
X , así, existe x tal que x ∈ ∅ y x < X , lo cual no puede ocurrir ya
que ∅ no tiene elementos.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 1
Sean A y B dos conjuntos.
1 La unión de A y B, denotado A ∪ B es el conjunto de todos
los elementos que están en A o en B. Esto es,
x ∈ A ∪ B ⇔ x ∈ A ∨ x ∈ B.
2 La intersección de A y B, denotado A ∩ B es el conjunto de
todos los elementos que están en A y en B. Esto es,
x ∈ A ∩ B ⇔ x ∈ A ∧ x ∈ B.
3 La diferencia de A y B, denotado A − B es el conjunto de
todos los elementos que están en A y no están en B. Esto es,
x ∈ A − B ⇔ x ∈ A ∧ x < B.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 6
Sean A = {0, 2, 4, 5} y B = {1, 2, 5, 6} entonces
A ∪ B = {0, 1, 2, 4, 5, 6}, A ∩ B = {2, 5}, A − B = {0, 4} y
B − A = {1, 6}
Observamos que A − B , B − A .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 6
Sean A = {0, 2, 4, 5} y B = {1, 2, 5, 6} entonces
A ∪ B = {0, 1, 2, 4, 5, 6}, A ∩ B = {2, 5}, A − B = {0, 4} y
B − A = {1, 6}
Observamos que A − B , B − A .

Diremos que dos conjuntos A y B son disjuntos si A ∩ B = ∅, esto

es, si A y B no tienen elementos en común.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 6
Sean A = {0, 2, 4, 5} y B = {1, 2, 5, 6} entonces
A ∪ B = {0, 1, 2, 4, 5, 6}, A ∩ B = {2, 5}, A − B = {0, 4} y
B − A = {1, 6}
Observamos que A − B , B − A .

Diremos que dos conjuntos A y B son disjuntos si A ∩ B = ∅, esto

es, si A y B no tienen elementos en común.
Diremos que una colección S de conjuntos es disjunta por pares si
siempre que X y Y son conjuntos en S, distintos entonces X y Y
son disjuntos.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 6
Sean A = {0, 2, 4, 5} y B = {1, 2, 5, 6} entonces
A ∪ B = {0, 1, 2, 4, 5, 6}, A ∩ B = {2, 5}, A − B = {0, 4} y
B − A = {1, 6}
Observamos que A − B , B − A .

Diremos que dos conjuntos A y B son disjuntos si A ∩ B = ∅, esto

es, si A y B no tienen elementos en común.
Diremos que una colección S de conjuntos es disjunta por pares si
siempre que X y Y son conjuntos en S, distintos entonces X y Y
son disjuntos.

Ejemplo 7
Los conjuntos A = {−1, 1, 3, 7} y B = {−2, 0, 5} son disjuntos.
La colección S = {{−3, 5, 7}, {−1, 2}, {4}, {−2, 0, 6}} es disjunta por
pares.
Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

En muchos casos, trabajamos con conjuntos que son todos

subconjuntos de un conjunto dado U . A este conjunto U lo
llamaremos conjunto universal o Universo.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

En muchos casos, trabajamos con conjuntos que son todos

subconjuntos de un conjunto dado U . A este conjunto U lo
llamaremos conjunto universal o Universo. El conjunto U por lo
general, está dado explícitamente o puede deducirse del contexto.
Dado un conjunto universal U y un subconjunto X de U ,
llamaremos complemento de X, denotado X , al conjunto U − X .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

En muchos casos, trabajamos con conjuntos que son todos

subconjuntos de un conjunto dado U . A este conjunto U lo
llamaremos conjunto universal o Universo. El conjunto U por lo
general, está dado explícitamente o puede deducirse del contexto.
Dado un conjunto universal U y un subconjunto X de U ,
llamaremos complemento de X, denotado X , al conjunto U − X .

Ejemplo 8
Si A = {−2, 0, 3, 4} y U = {−3, −2, 0, 1, 2, 3, 4, 5} entonces
A = {−3, 1, 2, 5} pero si U = {−2, 0, 1, 3, 4, 5, 8} entonces
A = {1, 5, 8}.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

En muchos casos, trabajamos con conjuntos que son todos

subconjuntos de un conjunto dado U . A este conjunto U lo
llamaremos conjunto universal o Universo. El conjunto U por lo
general, está dado explícitamente o puede deducirse del contexto.
Dado un conjunto universal U y un subconjunto X de U ,
llamaremos complemento de X, denotado X , al conjunto U − X .

Ejemplo 8
Si A = {−2, 0, 3, 4} y U = {−3, −2, 0, 1, 2, 3, 4, 5} entonces
A = {−3, 1, 2, 5} pero si U = {−2, 0, 1, 3, 4, 5, 8} entonces
A = {1, 5, 8}.

Es claro entonces que el complemento de un conjunto depende

del universo en que se considere incluído el conjunto.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 2 conjuntos

A ∩B

A B

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 2 conjuntos

A ∩B A ∩B

A B A B

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 2 conjuntos

A ∩B A ∩B

A B A B

A ∪B

A B

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 2 conjuntos

A −B

A B

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 2 conjuntos

A −B B −A

A B A B

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 3 conjuntos

Indique que representan las regiones coloreadas:

A C

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 3 conjuntos

Indique que representan las regiones coloreadas:

B
B

A C A

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Diagramas de Venn para 3 conjuntos

A C

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)
5 A ∪ A = U, A ∩ A = ∅ (complemento)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)
5 A ∪ A = U, A ∩ A = ∅ (complemento)
6 A ∪ A = A, A ∩ A = A (idempotencia)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)
5 A ∪ A = U, A ∩ A = ∅ (complemento)
6 A ∪ A = A, A ∩ A = A (idempotencia)
7 A ∪ U = U, A ∩ ∅ = ∅ (acotación)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)
5 A ∪ A = U, A ∩ A = ∅ (complemento)
6 A ∪ A = A, A ∩ A = A (idempotencia)
7 A ∪ U = U, A ∩ ∅ = ∅ (acotación)
8 A =A (involución)

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)
5 A ∪ A = U, A ∩ A = ∅ (complemento)
6 A ∪ A = A, A ∩ A = A (idempotencia)
7 A ∪ U = U, A ∩ ∅ = ∅ (acotación)
8 A =A (involución)
9 ∅ = U, U = ∅

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Teorema 1
Sea U un conjunto universal y sean A , B y C subconjuntos de U.
Entonces se cumplen las siguientes propiedades:
1 (A ∪ B ) ∪ C = A ∪ (B ∪ C ),
(A ∩ B ) ∩ C = A ∩ (B ∩ C ) (asociatividad)
2 A ∪ B = B ∪ A, A ∩ B = B ∩ A (conmutatividad)
3 A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ),
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) (distributividad)
4 A ∪ ∅ = A, A ∩ U = A (identidad)
5 A ∪ A = U, A ∩ A = ∅ (complemento)
6 A ∪ A = A, A ∩ A = A (idempotencia)
7 A ∪ U = U, A ∩ ∅ = ∅ (acotación)
8 A =A (involución)
9 ∅ = U, U = ∅
10 A ∪ B = A ∩ B,
A ∩B =A ∪B (leyes de De Morgan para conjuntos)
Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union
⇔ x ∈ A ∨ (x ∈ B ∧ x ∈ C ) def . · · ·

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union
⇔ x ∈ A ∨ (x ∈ B ∧ x ∈ C ) def . · · ·
⇔ (x ∈ A ∨ x ∈ B ) ∧ (x ∈ A ∨ x ∈ C ) dist . prop .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union
⇔ x ∈ A ∨ (x ∈ B ∧ x ∈ C ) def . · · ·
⇔ (x ∈ A ∨ x ∈ B ) ∧ (x ∈ A ∨ x ∈ C ) dist . prop .
⇔ (x ∈ A ∪ B ) ∧ (x ∈ A ∪ C ) def . · · ·

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union
⇔ x ∈ A ∨ (x ∈ B ∧ x ∈ C ) def . · · ·
⇔ (x ∈ A ∨ x ∈ B ) ∧ (x ∈ A ∨ x ∈ C ) dist . prop .
⇔ (x ∈ A ∪ B ) ∧ (x ∈ A ∪ C ) def . · · ·
⇔ x ∈ (A ∪ B ) ∩ (A ∪ C ) def . · · ·

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union
⇔ x ∈ A ∨ (x ∈ B ∧ x ∈ C ) def . · · ·
⇔ (x ∈ A ∨ x ∈ B ) ∧ (x ∈ A ∨ x ∈ C ) dist . prop .
⇔ (x ∈ A ∪ B ) ∧ (x ∈ A ∪ C ) def . · · ·
⇔ x ∈ (A ∪ B ) ∩ (A ∪ C ) def . · · ·
Hemos probado que,
∀x ∈ U , x ∈ A ∪ (B ∩ C ) ⇔ x ∈ (A ∪ B ) ∩ (A ∪ C ).

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Observación 1
Todas estas leyes se obtienen de las correspondientes leyes para
proposiciones.
La igualdad de conjuntos es una relación de equivalencia.
Ejemplo 9
Demostremos la distributividad.
Fijemos x ∈ U arbitrario,
x ∈ A ∪ (B ∩ C ) ⇔ x ∈ A ∨ x ∈ (B ∩ C ) def . union
⇔ x ∈ A ∨ (x ∈ B ∧ x ∈ C ) def . · · ·
⇔ (x ∈ A ∨ x ∈ B ) ∧ (x ∈ A ∨ x ∈ C ) dist . prop .
⇔ (x ∈ A ∪ B ) ∧ (x ∈ A ∪ C ) def . · · ·
⇔ x ∈ (A ∪ B ) ∩ (A ∪ C ) def . · · ·
Hemos probado que,
∀x ∈ U , x ∈ A ∪ (B ∩ C ) ⇔ x ∈ (A ∪ B ) ∩ (A ∪ C ).
Esto es, A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C ) 
Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 10
Pruebe que :
A ∪ (A ∩ B ) = A , A ∩ (A ∪ B ) = A (Ley de absorción)

Demostración:

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 2
Sean a , b dos elementos, sabemos que {a , b } = {b , a }.
Llamaremos par ordenado formado por los elementos a , b,
denotado (a , b ), al conjunto {a , b } donde además indicamos que a
es el primer elemento y b es el segundo.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 2
Sean a , b dos elementos, sabemos que {a , b } = {b , a }.
Llamaremos par ordenado formado por los elementos a , b,
denotado (a , b ), al conjunto {a , b } donde además indicamos que a
es el primer elemento y b es el segundo.

En este sentido, tenemos entonces que (a , b ) , (b , a ), a menos

que a = b .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 2
Sean a , b dos elementos, sabemos que {a , b } = {b , a }.
Llamaremos par ordenado formado por los elementos a , b,
denotado (a , b ), al conjunto {a , b } donde además indicamos que a
es el primer elemento y b es el segundo.

En este sentido, tenemos entonces que (a , b ) , (b , a ), a menos

que a = b .

Diremos que (a , b ) = (c , d ) si se cumple que a = c y b = d .

Sean X , Y dos conjuntos, llamaremos producto cartesiano de X y
Y , denotado X × Y , al conjunto de todos los pares ordenados
(x , y ) tal que x ∈ X , y ∈ Y .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 11
Sean X = {1, 2, 3} y Y = {a , b } entonces
X × Y ={(1,a),(2,a),(3,a),(1,b),(2,b),(3,b)} en general, X × Y no tiene
que ser igual a Y × X .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 11
Sean X = {1, 2, 3} y Y = {a , b } entonces
X × Y ={(1,a),(2,a),(3,a),(1,b),(2,b),(3,b)} en general, X × Y no tiene
que ser igual a Y × X .

Definición 3
Sea X un conjunto, llamaremos conjunto potencia de X , denotado
P(X ), al conjunto cuyos elementos son los subconjuntos de X ,
esto es, P(X ) = {A |A ⊆ X }

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 11
Sean X = {1, 2, 3} y Y = {a , b } entonces
X × Y ={(1,a),(2,a),(3,a),(1,b),(2,b),(3,b)} en general, X × Y no tiene
que ser igual a Y × X .

Definición 3
Sea X un conjunto, llamaremos conjunto potencia de X , denotado
P(X ), al conjunto cuyos elementos son los subconjuntos de X ,
esto es, P(X ) = {A |A ⊆ X }

Ejemplo 12
Si A = {1, 3, 4} entonces
P(A ) = {∅, {1}, {3}, {4}, {1, 3}, {1, 4}, {3, 4}, A }
en este caso |A | = 3 y |P(A )| = 8 = 23

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

En general, tenemos el siguiente resultado.

Teorema 2
Sea X un conjunto. Si |X | = n entonces |P(X )| = 2n .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

En general, tenemos el siguiente resultado.

Teorema 2
Sea X un conjunto. Si |X | = n entonces |P(X )| = 2n .

Observación 2
Cuando A y B son finitos y disjuntos, |A ∪ B | = |A | + |B |.
En general, A = (A − B ) ∪ (A ∩ B ) y
A ∪ B = (A − B ) ∪ (A ∩ B ) ∪ (B − A ). (uniones disjuntas).

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 13
Una encuesta sobre televisión, de 151 personas encontró que 68
ven La ley y el orden , 61 ven Ala oeste , 52 ven Los Sopranos . 16
ven tanto La ley y el orden como Ala oeste ,25 ven La ley y el
orden como Los Sopranos , 19 ven Ala oeste como Los Sopranos
y 26 no ven ninguno de estos programas. Cuántas personas ven
los tres programas?

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 13
Una encuesta sobre televisión, de 151 personas encontró que 68
ven La ley y el orden , 61 ven Ala oeste , 52 ven Los Sopranos . 16
ven tanto La ley y el orden como Ala oeste ,25 ven La ley y el
orden como Los Sopranos , 19 ven Ala oeste como Los Sopranos
y 26 no ven ninguno de estos programas. Cuántas personas ven
los tres programas?

Solución:
Denotemos U el universo de las personas en la encuesta, A las
personas que ven La ley y el orden B las que ven Ala oeste y C
las que ven Los Sopranos.
Entonces |A | = 68, |B | = 61, |C | = 52.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 13
Una encuesta sobre televisión, de 151 personas encontró que 68
ven La ley y el orden , 61 ven Ala oeste , 52 ven Los Sopranos . 16
ven tanto La ley y el orden como Ala oeste ,25 ven La ley y el
orden como Los Sopranos , 19 ven Ala oeste como Los Sopranos
y 26 no ven ninguno de estos programas. Cuántas personas ven
los tres programas?

Solución:
Denotemos U el universo de las personas en la encuesta, A las
personas que ven La ley y el orden B las que ven Ala oeste y C
las que ven Los Sopranos.
Entonces |A | = 68, |B | = 61, |C | = 52.
|A ∩ B | = 16, |A ∩ C | = 25, |B ∩ C | = 19 y |U − (A ∪ B ∪ C )| = 26

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 13
Una encuesta sobre televisión, de 151 personas encontró que 68
ven La ley y el orden , 61 ven Ala oeste , 52 ven Los Sopranos . 16
ven tanto La ley y el orden como Ala oeste ,25 ven La ley y el
orden como Los Sopranos , 19 ven Ala oeste como Los Sopranos
y 26 no ven ninguno de estos programas. Cuántas personas ven
los tres programas?

Solución:
Denotemos U el universo de las personas en la encuesta, A las
personas que ven La ley y el orden B las que ven Ala oeste y C
las que ven Los Sopranos.
Entonces |A | = 68, |B | = 61, |C | = 52.
|A ∩ B | = 16, |A ∩ C | = 25, |B ∩ C | = 19 y |U − (A ∪ B ∪ C )| = 26
|A ∪ B ∪ C | = 151 − 26 = 125 los que ven al menos un programa.
A − B = A − (A ∩ B ), así,|A − B | = 68 − 16 = 52, los que ven la
ley y el orden pero no ven Ala oeste.
Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

B − C = B − (B ∩ C ) =, |B − C | = 61 − 19 = 42, los que ven Ala

oeste pero no los sopranos.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

B − C = B − (B ∩ C ) =, |B − C | = 61 − 19 = 42, los que ven Ala

oeste pero no los sopranos.
C − A = C − (C ∩ A ), y |C − A | = 52 − 25 = 27, los que ven los
sopranos pero no la ley y el orden.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

B − C = B − (B ∩ C ) =, |B − C | = 61 − 19 = 42, los que ven Ala

oeste pero no los sopranos.
C − A = C − (C ∩ A ), y |C − A | = 52 − 25 = 27, los que ven los
sopranos pero no la ley y el orden.
Así, A ∩ B ∩ C = (A ∪ B ∪ C ) − ((A − B ) ∪ (B − C ) ∪ (C − A )) y
entonces |A ∩ B ∩ C | = 125 − 52 − 42 − 27 = 4.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

B − C = B − (B ∩ C ) =, |B − C | = 61 − 19 = 42, los que ven Ala

oeste pero no los sopranos.
C − A = C − (C ∩ A ), y |C − A | = 52 − 25 = 27, los que ven los
sopranos pero no la ley y el orden.
Así, A ∩ B ∩ C = (A ∪ B ∪ C ) − ((A − B ) ∪ (B − C ) ∪ (C − A )) y
entonces |A ∩ B ∩ C | = 125 − 52 − 42 − 27 = 4.
Esto es, sólo 4 personas ven los 3 programas. 

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección
⇔ def. unión

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección
⇔ def. unión
⇔ ley distributiva de prop.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección
⇔ def. unión
⇔ ley distributiva de prop.
⇔ def. intersección

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección
⇔ def. unión
⇔ ley distributiva de prop.
⇔ def. intersección
⇔ def. unión

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección
⇔ def. unión
⇔ ley distributiva de prop.
⇔ def. intersección
⇔ def. unión

Como x ∈ U , es arbitrario, concluímos que

∀x ∈ U , x ∈ A ∩ (B ∪ C ) ⇔ x ∈ (A ∩ B ) ∪ (A ∩ C ).

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicios resueltos sobre conjuntos

Ejercicio 1
Demuestre que A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
Demostración:
Sea x ∈ U , arbitrario,
x ∈ A ∩ (B ∪ C ) ⇔ x ∈ A ∧ x ∈ (B ∪ C ) def. intersección
⇔ def. unión
⇔ ley distributiva de prop.
⇔ def. intersección
⇔ def. unión

Como x ∈ U , es arbitrario, concluímos que

∀x ∈ U , x ∈ A ∩ (B ∪ C ) ⇔ x ∈ (A ∩ B ) ∪ (A ∩ C ).
Esto es, A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C ) por definición. 
Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan
= A ∩ (A ∪ C ) ley doble negación

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan
= A ∩ (A ∪ C ) ley doble negación
= (A ∩ A ) ∪ (A ∩ C ) ley distributiva

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan
= A ∩ (A ∪ C ) ley doble negación
= (A ∩ A ) ∪ (A ∩ C ) ley distributiva
= ∅ ∪ (A ∩ C ) ley de complemento

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan
= A ∩ (A ∪ C ) ley doble negación
= (A ∩ A ) ∪ (A ∩ C ) ley distributiva
= ∅ ∪ (A ∩ C ) ley de complemento
= (A ∩ C ) ∪ ∅ ley conmutativa

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan
= A ∩ (A ∪ C ) ley doble negación
= (A ∩ A ) ∪ (A ∩ C ) ley distributiva
= ∅ ∪ (A ∩ C ) ley de complemento
= (A ∩ C ) ∪ ∅ ley conmutativa
= A ∩ C) ley de identidad

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 2
Demuestre que
A ∩ (A ∩ C ) = A ∩ C .
Demostración:
A ∩ (A ∩ C ) = A ∩ (A ∪ C ) ley de De Morgan
= A ∩ (A ∪ C ) ley doble negación
= (A ∩ A ) ∪ (A ∩ C ) ley distributiva
= ∅ ∪ (A ∩ C ) ley de complemento
= (A ∩ C ) ∪ ∅ ley conmutativa
= A ∩ C) ley de identidad

Esto es, A ∩ (A ∩ C ) = A ∩ C . 

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano
⇔ (x ∈ A ∧ x ∈ B ) ∧ y ∈ Y def. de intersección

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano
⇔ (x ∈ A ∧ x ∈ B ) ∧ y ∈ Y def. de intersección
⇔ (x ∈ A ∧ y ∈ Y ) ∧ (x ∈ B ∧ y ∈ Y ) idemp.,conmut. y asoc.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano
⇔ (x ∈ A ∧ x ∈ B ) ∧ y ∈ Y def. de intersección
⇔ (x ∈ A ∧ y ∈ Y ) ∧ (x ∈ B ∧ y ∈ Y ) idemp.,conmut. y asoc.
⇔ (x , y ) ∈ A × Y ∧ (x , y ) ∈ B × Y def. producto cartesiano

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano
⇔ (x ∈ A ∧ x ∈ B ) ∧ y ∈ Y def. de intersección
⇔ (x ∈ A ∧ y ∈ Y ) ∧ (x ∈ B ∧ y ∈ Y ) idemp.,conmut. y asoc.
⇔ (x , y ) ∈ A × Y ∧ (x , y ) ∈ B × Y def. producto cartesiano
⇔ (x , y ) ∈ (A × Y ) ∩ (B × Y ) def. de interseccion

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano
⇔ (x ∈ A ∧ x ∈ B ) ∧ y ∈ Y def. de intersección
⇔ (x ∈ A ∧ y ∈ Y ) ∧ (x ∈ B ∧ y ∈ Y ) idemp.,conmut. y asoc.
⇔ (x , y ) ∈ A × Y ∧ (x , y ) ∈ B × Y def. producto cartesiano
⇔ (x , y ) ∈ (A × Y ) ∩ (B × Y ) def. de interseccion

como (x , y ) es arbitrario, concluímos que

∀(x , y ) ∈ X × Y , (x , y ) ∈ (A ∩ B ) × Y ⇔ (x , y ) ∈ (A × Y ) ∩ (B × Y )

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejercicio 3
Sean A , B ⊆ X . Pruebe que (A ∩ B ) × Y = (A × Y ) ∩ (B × Y )
Demostración:
Sea (x , y ) ∈ X × Y arbitrario,

(x , y ) ∈ (A ∩ B ) × Y
⇔ x ∈ (A ∩ B ) ∧ y ∈ Y def. producto cartesiano
⇔ (x ∈ A ∧ x ∈ B ) ∧ y ∈ Y def. de intersección
⇔ (x ∈ A ∧ y ∈ Y ) ∧ (x ∈ B ∧ y ∈ Y ) idemp.,conmut. y asoc.
⇔ (x , y ) ∈ A × Y ∧ (x , y ) ∈ B × Y def. producto cartesiano
⇔ (x , y ) ∈ (A × Y ) ∩ (B × Y ) def. de interseccion

como (x , y ) es arbitrario, concluímos que

∀(x , y ) ∈ X × Y , (x , y ) ∈ (A ∩ B ) × Y ⇔ (x , y ) ∈ (A × Y ) ∩ (B × Y )
Esto es, (A ∩ B ) × Y = (A × Y ) ∩ (B × Y ), por definición. 

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 4
Sean X y Y dos conjuntos. Una función f de X en Y es un
subconjunto del producto cartesiano X × Y , con la propiedad que
para cada x ∈ X existe un único y ∈ Y tal que (x , y ) ∈ f . En este
caso escribiremos y = f (x ) y diremos que y es la imagen de x
mediante f .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 4
Sean X y Y dos conjuntos. Una función f de X en Y es un
subconjunto del producto cartesiano X × Y , con la propiedad que
para cada x ∈ X existe un único y ∈ Y tal que (x , y ) ∈ f . En este
caso escribiremos y = f (x ) y diremos que y es la imagen de x
mediante f .Si f es una función de X en Y , lo denotaremos
f : X → Y.
Al conjunto X lo llamaremos dominio de f y al conjunto
{y : y = f (x ), x ∈ X } lo llamaremos rango de f .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 14
Sean X = {1, 2, 4, 5} y Y = {a , b , c } entonces
El conjunto B = {(1, b ), (2, a ), (4, a ), (5, b )} es una función de X
en Y .
Si la denotamos por g tenemos que
g (1) = b , g (2) = a , g (4) = a , g (5) = b. En este caso, el dominio
de g es X y el rango de g es {a , b }.
El conjunto A = {(1, c ), (2, b ), (2, a ), (4, a ), (5, a )} no es una
función ya que (2, a ), (2, b ) ∈ A .(2 tiene 2 imágenes) El conjunto
C = {(2, c ), (4, b ), (5, a )} no es función ya que ningún par
ordenado en C comienza con 1, esto es, 1 no tiene imagen.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 15
Los Conjuntos
A = {(x , x 2 ) : x ∈ R}, B = {(x , x ) : x ∈ R}, C = {(n, n + 1) : n ∈ N}
son funciones.
Las denotamos f : R → R dada por f (x ) = x 2 , g : R → R por
g (x ) = x y h : N → N por h (n) = n + 1

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 15
Los Conjuntos
A = {(x , x 2 ) : x ∈ R}, B = {(x , x ) : x ∈ R}, C = {(n, n + 1) : n ∈ N}
son funciones.
Las denotamos f : R → R dada por f (x ) = x 2 , g : R → R por
g (x ) = x y h : N → N por h (n) = n + 1

Frecuentemente, si f : X → Y es una función. Diremos que f está

dada por la regla f (x ), ∀x ∈ X y que su gráfico es el conjunto
{(x , f (x )) : x ∈ X }.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 15
Los Conjuntos
A = {(x , x 2 ) : x ∈ R}, B = {(x , x ) : x ∈ R}, C = {(n, n + 1) : n ∈ N}
son funciones.
Las denotamos f : R → R dada por f (x ) = x 2 , g : R → R por
g (x ) = x y h : N → N por h (n) = n + 1

Frecuentemente, si f : X → Y es una función. Diremos que f está

dada por la regla f (x ), ∀x ∈ X y que su gráfico es el conjunto
{(x , f (x )) : x ∈ X }.
Ejemplo 16
Hallar el gráfico de f (x ) = x 2 y g (x ) = x , ∀x ∈ X . Para
X = {−2, −1, 0, 1, 2, 3}

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 5
Sea X un conjunto , una sucesión en X , es cualquier función
s : A → X , donde A es conjunto de enteros consecutivos. Al
elemento s (n) lo denotaremos sn y lo llamaremos el n-ésimo
término de la sucesión. A n se le llama índice de la sucesión.
Si s : A → X es una sucesión, la denotaremos por {sn } o {sn }n∈A .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 5
Sea X un conjunto , una sucesión en X , es cualquier función
s : A → X , donde A es conjunto de enteros consecutivos. Al
elemento s (n) lo denotaremos sn y lo llamaremos el n-ésimo
término de la sucesión. A n se le llama índice de la sucesión.
Si s : A → X es una sucesión, la denotaremos por {sn } o {sn }n∈A .

Ejemplo 17
Consideremos la sucesión s dada por
2, 4, 6, ...
si el primer índice es 1 entonces
s1 = 2, s2 = 4, ..., sn = 2n, ...

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 5
Sea X un conjunto , una sucesión en X , es cualquier función
s : A → X , donde A es conjunto de enteros consecutivos. Al
elemento s (n) lo denotaremos sn y lo llamaremos el n-ésimo
término de la sucesión. A n se le llama índice de la sucesión.
Si s : A → X es una sucesión, la denotaremos por {sn } o {sn }n∈A .

Ejemplo 17
Consideremos la sucesión s dada por
2, 4, 6, ...
si el primer índice es 1 entonces
s1 = 2, s2 = 4, ..., sn = 2n, ...
Sea t la sucesión
a , a , b , a , a sí el primer índice es 1 entonces
t1 = a , t2 = a , t3 = b , t4 = a , t5 = a

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 6
Diremos que una sucesión es finita si su dominio es finito, de lo
contrario diremos que es infinita.
Si s es una sucesión infinita con índice inicial k la podemos
denotar por {sn }∞
n =k
. Una sucesión finita x indexada desde i hasta
j
j se denota por {xn }n=i . Por ejemplo, una sucesión t cuyo dominio
es el conjunto {−1, 0, 1, 2, 3}, se denota como {tn }3n=−1

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 6
Diremos que una sucesión es finita si su dominio es finito, de lo
contrario diremos que es infinita.
Si s es una sucesión infinita con índice inicial k la podemos
denotar por {sn }∞
n =k
. Una sucesión finita x indexada desde i hasta
j
j se denota por {xn }n=i . Por ejemplo, una sucesión t cuyo dominio
es el conjunto {−1, 0, 1, 2, 3}, se denota como {tn }3n=−1

Ejemplo 18
1
Sea x la sucesión dada por : xn = , −1 ≤ n ≤ 4.
2n
los elementos de x son :2, 1, 1/2, 1/4, 1/8, 1/16.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 7
Sea {sn } una sucesión en R. Diremos que:

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 7
Sea {sn } una sucesión en R. Diremos que:
1 {sn } es creciente, si sn < sn+1 , para cada n tal que n y n + 1
pertenezcan al dominio de la sucesión.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 7
Sea {sn } una sucesión en R. Diremos que:
1 {sn } es creciente, si sn < sn+1 , para cada n tal que n y n + 1
pertenezcan al dominio de la sucesión.
2 {sn } es decreciente, si sn > sn+1 , para cada n tal que n y
n + 1 pertenezcan al dominio de la sucesión.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 7
Sea {sn } una sucesión en R. Diremos que:
1 {sn } es creciente, si sn < sn+1 , para cada n tal que n y n + 1
pertenezcan al dominio de la sucesión.
2 {sn } es decreciente, si sn > sn+1 , para cada n tal que n y
n + 1 pertenezcan al dominio de la sucesión.
3 {sn } es no-decreciente, si sn ≤ sn+1 , para cada n tal que n y
n + 1 pertenezcan al dominio de la sucesión.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 7
Sea {sn } una sucesión en R. Diremos que:
1 {sn } es creciente, si sn < sn+1 , para cada n tal que n y n + 1
pertenezcan al dominio de la sucesión.
2 {sn } es decreciente, si sn > sn+1 , para cada n tal que n y
n + 1 pertenezcan al dominio de la sucesión.
3 {sn } es no-decreciente, si sn ≤ sn+1 , para cada n tal que n y
n + 1 pertenezcan al dominio de la sucesión.
4 {sn } es no-creciente, si sn ≥ sn+1 , para cada n tal que n y
n + 1 pertenezcan al dominio de la sucesión.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 19
1 la sucesión 2, 5, 7, 10 es creciente y no decreciente.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 19
1 la sucesión 2, 5, 7, 10 es creciente y no decreciente.
1
2 la sucesión xn = 2 , n ∈ N. es decreciente y no-creciente.
n

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 19
1 la sucesión 2, 5, 7, 10 es creciente y no decreciente.
1
2 la sucesión xn = 2 , n ∈ N. es decreciente y no-creciente.
n
3 la sucesión 15, 12, 8, 8, 4, 3 es no-creciente pero no es
decreciente.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 19
1 la sucesión 2, 5, 7, 10 es creciente y no decreciente.
1
2 la sucesión xn = 2 , n ∈ N. es decreciente y no-creciente.
n
3 la sucesión 15, 12, 8, 8, 4, 3 es no-creciente pero no es
decreciente.
4 la sucesión 3, 5, 6, 7, 7, 7, 10 es no-decreciente pero no es
creciente.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 8
Sea {sn } una sucesión definida para n = m, m + 1, ... y sea
n1 , n2 , ... una sucesión creciente en {m, m + 1, ...}. la sucesión
{snk } recibe el nombre de subsucesión de {sn }.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 8
Sea {sn } una sucesión definida para n = m, m + 1, ... y sea
n1 , n2 , ... una sucesión creciente en {m, m + 1, ...}. la sucesión
{snk } recibe el nombre de subsucesión de {sn }.

Ejemplo 20
1 la sucesión b , c es una subsucesión de
t1 = a , t2 = a , t3 = b , t4 = c , t5 = q en este caso,
n1 = 3, n2 = 4

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 8
Sea {sn } una sucesión definida para n = m, m + 1, ... y sea
n1 , n2 , ... una sucesión creciente en {m, m + 1, ...}. la sucesión
{snk } recibe el nombre de subsucesión de {sn }.

Ejemplo 20
1 la sucesión b , c es una subsucesión de
t1 = a , t2 = a , t3 = b , t4 = c , t5 = q en este caso,
n1 = 3, n2 = 4
2 la sucesión 2, 4, 8, 16, ..., 2k , ...
es una subsucesión de xn = 2n, n ∈ N, en este caso
nk = 2k −1 y xnk = 2.nk = 2k

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 9
Sea {ai }ni=m una sucesión, la suma de los términos de la sucesión
la denotaremos

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 9
Sea {ai }ni=m una sucesión, la suma de los términos de la sucesión
la denotaremos Xn
ai
i =m

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 9
Sea {ai }ni=m una sucesión, la suma de los términos de la sucesión
la denotaremos Xn
ai
i =m

y el producto de los términos de la sucesión la denotaremos

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 9
Sea {ai }ni=m una sucesión, la suma de los términos de la sucesión
la denotaremos Xn
ai
i =m

y el producto de los términos de la sucesión la denotaremos

Yn
ai
i =m

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 9
Sea {ai }ni=m una sucesión, la suma de los términos de la sucesión
la denotaremos Xn
ai
i =m

y el producto de los términos de la sucesión la denotaremos

Yn
ai
i =m

esto es,
X
n Y
n
ai = am + ... + an y ai = am · ... · an .
i =m i =m

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 9
Sea {ai }ni=m una sucesión, la suma de los términos de la sucesión
la denotaremos Xn
ai
i =m

y el producto de los términos de la sucesión la denotaremos

Yn
ai
i =m

esto es,
X
n Y
n
ai = am + ... + an y ai = am · ... · an .
i =m i =m

A m lo llamaremos límite inferior y a n límite superior(de la suma o

producto).

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 21
Sea a la sucesión definida por an = 2n, n ≥ 1 entonces
X3
ai = a1 + a2 + a3 = 2 + 4 + 6 = 12
i =1

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 21
Sea a la sucesión definida por an = 2n, n ≥ 1 entonces
X3
ai = a1 + a2 + a3 = 2 + 4 + 6 = 12
i =1
Y
3
ai = a1 .a2 .a3 = 2 · 4 · 6 = 48
i =1

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Ejemplo 21
Sea a la sucesión definida por an = 2n, n ≥ 1 entonces
X3
ai = a1 + a2 + a3 = 2 + 4 + 6 = 12
i =1
Y
3
ai = a1 .a2 .a3 = 2 · 4 · 6 = 48
i =1

Ejemplo 22
La suma geométrica, a + ar + ar 2 + ... + ar n , se puede escribir usando
X
n
la notación suma como, ar i .
i =0
En general,
Xsi S denota un conjunto finito de enteros
Y y a es una
sucesión, ai denota la suma de {ai : i ∈ S } y ai denota el producto
i ∈S i ∈S
de {ai : i ∈ S }

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 10
Sea X un conjunto, una cadena sobre X es una sucesión finita de
elementos en X .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Definición 10
Sea X un conjunto, una cadena sobre X es una sucesión finita de
elementos en X .

Ejemplo 23
Sea X = {a , b , c } , si hacemos s1 = b , s2 = a , s3 = a , s4 = c
obtenemos una cadena en X , la denotaremos por baac

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Como las cadenas son sucesiones, se toma en cuenta el orden,

por ejemplo, la cadena baac es diferente a la cadena abac .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Como las cadenas son sucesiones, se toma en cuenta el orden,

por ejemplo, la cadena baac es diferente a la cadena abac .
Las repeticiones en una cadena se expresan con supraíndices,
por ejemplo, la cadena bbaaac se escribe b 2 a 3 c .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Como las cadenas son sucesiones, se toma en cuenta el orden,

por ejemplo, la cadena baac es diferente a la cadena abac .
Las repeticiones en una cadena se expresan con supraíndices,
por ejemplo, la cadena bbaaac se escribe b 2 a 3 c .
La cadena sin elementos se llama cadena nula, denotada λ.
Denotaremos por X ∗ al conjunto de todas las cadenas sobre X y
X + al conjunto de cadenas no-nulas sobre X .

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Como las cadenas son sucesiones, se toma en cuenta el orden,

por ejemplo, la cadena baac es diferente a la cadena abac .
Las repeticiones en una cadena se expresan con supraíndices,
por ejemplo, la cadena bbaaac se escribe b 2 a 3 c .
La cadena sin elementos se llama cadena nula, denotada λ.
Denotaremos por X ∗ al conjunto de todas las cadenas sobre X y
X + al conjunto de cadenas no-nulas sobre X .
La longitud de una cadena α, denotada, |α| es el número de
elementos en α. Si α y β son cadenas, la cadena que consiste en
α seguida de β, denotada αβ se llama concatenación de α y β.

Jorge Moreno
 Teoría de conjuntos
Ejercicios resueltos sobre conjuntos
Funciones

Como las cadenas son sucesiones, se toma en cuenta el orden,

por ejemplo, la cadena baac es diferente a la cadena abac .
Las repeticiones en una cadena se expresan con supraíndices,
por ejemplo, la cadena bbaaac se escribe b 2 a 3 c .
La cadena sin elementos se llama cadena nula, denotada λ.
Denotaremos por X ∗ al conjunto de todas las cadenas sobre X y
X + al conjunto de cadenas no-nulas sobre X .
La longitud de una cadena α, denotada, |α| es el número de
elementos en α. Si α y β son cadenas, la cadena que consiste en
α seguida de β, denotada αβ se llama concatenación de α y β.
Una cadena β es una subcadena de α si existen cadenas γ y δ tal
que α = γβδ.

Jorge Moreno