Teora de Conjuntos

Dr. Rogelio Dvila Prez

Profesor Investigador
rdav9.@hotmail.com
Teora de conjuntos
Def. Un conjunto es una coleccin de elementos sin
repeticiones.

Un conjunto se define enumerando a todos sus elementos o
indicando las condiciones que deben satisfacer para
pertenecer al mismo.

Ejemplo:
Planetas={Mercurio, Venus, Tierra, Marte, Jpiter,
Saturno, Urano, Neptuno, Plutn}
A = {x| x es un mltiplo de 3 y x es menor a 17}

Una operacin importante es saber si un elemento
pertenece o no a un conjunto dado.
9 e A -- 9 es un elemento del conjunto A
la_luna e Planetas -- la_luna no pertenece al
conjunto de los Planetas.
Teora de conjuntos
Def. Sea A un conjunto cualquiera, designamos
|A| a la cardinalidad del conjunto A, y
representa al total de elementos dentro del
conjunto.
| Es el conjunto vaco, |||=0.
Teora de conjuntos
Algunos conjuntos importantes:



I Q
I
Z b a
b
a
Q
Z
N
=
=
e =
=
=
9
} , | {
} , 3 , 2 , 1 , 0 , 1 , 2 , 3 , {
} , 4 , 3 , 2 , 1 {

{ todos aquellos nmeros que no se pueden expresar

como la divisin de dos enteros ej. raiz de 2, t, etc}
Los nmeros naturales
Los nmeros enteros
Los nmeros racionales
Los nmeros irracionales
Los nmeros reales
Teora de conjuntos
Def. Sean A y B dos conjuntos cualquiera, decimos
que B es un subconjunto de A, B _ A, si y solo si,
todo elemento de B es un elemento de A.
B _ A xeB, (xeA)

Def. Sean A y B dos conjuntos cualquiera, decimos
que B es un subconjunto propio de A, B c A, si y
solo si, B _ A pero B = A.
B c A B _ A . A = B

Teora de conjuntos
Def. Sean A y B dos conjuntos cualquiera,
decimos que B es igual a A, B=A, si y solo
si, B _ A, y A _ B. Si esto no se cumple
decimos que B es diferente de A, B = A.
B = A B _ A . A _ B

Sea U, el conjunto Universal y A un
conjunto arbitrario. El complemento del
conjunto A, denotado A
c
, es el conjunto:
A
c
= {x| xeU . xeA}

Teora de conjuntos
Propiedades del complemento:
1. (A
c
)
c
= A
2. A
c
A = U
3. A A
c
= |

Teora de conjuntos
Operaciones con Conjuntos
Def. La unin de dos conjuntos A y B, es el
conjunto:
A B = {x | x e A v x e B}

Def. La interseccin de dos conjuntos A y B, es el
conjunto:
A B = {x | x e A . x e B}

Def. La diferencia de dos conjuntos A y B, es el
conjunto:
A - B = {x | x e A . x e B}
Propiedades de conjuntos
1. Leyes asociativas
a) A (B C) = (A B) C
b) A (B C) = (A B) C
2. Leyes conmutativas
a) A B = B A
b) A B = B A
3. Leyes distributivas
a) A (B C) = (A B) (A C)
b) A (B C) = (A B) (A C)
4. Leyes de Identidad:
a) A | = A
b) A U = A


Propiedades de conjuntos
4. Leyes de idempotencia
a) A A
c
= U
b) A A = A
5. Leyes de acotacin
a) A U = U
b) A | = |
6. Leyes de absorcin
a) A (A B) = A
b) A (A B) = A
7. Leyes de involucin
a) (A
c
)
c
= A
Propiedades de conjuntos
8. Leyes 0/1
a) |
c

= U
b) U
c
= |
9. Leyes de De Morgan
a) (A B)
c
= A
c
B
c
b) (A B)
c
= A
c
B
c

Ejercicios
1. Sean A, B y C, tres conjuntos arbitrarios, demuestre las
siguientes propiedades de conjuntos:
a). A (B C) = (A B) (A C)
b). A (B C) = (A B) (A C)

Preliminares
Operaciones con Conjuntos
Def. El producto cartesiano de dos conjuntos A y B, es
el conjunto:
A x B = {(x,y) | x e A . y e B}
Def. El conjunto potencia de un conjunto A, denotado
2
A
o P(A), es el conjunto:
P(A) = {X | X _ A}

Ejemplos:
Dados los conjuntos A={a,b} y B={1,2,3}:

A x B = {(a,1), (a,2), (a,3), (b,1), (b,2),
(b,3), (c,1), (c,2), (c,3)}
P(A) = {C, {a}, {b}, {a,b}}
Induccin Matemtica
Definicin
Sea el conjunto C = {x e N| P(x)}. Si se satisface:
P(1) es verdadero.
Si se cumple que para un k arbitrario (k e N):
De suponer P(k), logramos demostrar P(k+1)

Entonces C = N (C es el conjunto de los Naturales)

Ejemplo:
6
) 1 2 )( 1 (
1
2
+ +
=

=
n n n
i
n
i
Induccin Matemtica
Ejercicios
1. Demuestre que:
8+13+18+23++(3+5n) = 2.5n
2
+5.5n
2. Demuestre que para todo n que pertenece a los
naturales, x
n
-1 es divisible entre x-1.
3. Si n es un nmero natural y 1+x > 0, entonces:
(1+x)
n
> 1 + nx
4. Considere el triangulo siguiente:



Encuentre una expresin para la suma del rengln i-simo
y demuestre que es correcta.
1 = 1
3 + 5 = 8
7 + 9 + 11 = 27
13 + 15 + 17 + 19 = 64
21 + 23 + 25 + 27 + 29 = 125
Generalizacin de Conjuntos
o
o
A x x A
M
e =
e
| {

} M e o
o
o
A x x A
M
e =
e
| {

Sea M un conjunto de ndices cualquiera:

, para algn
} M e o , para algn