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 A -- 9 es un elemento del conjunto A
la_luna Z 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.
o Es el conjunto vaco, |o|=0.
Teora de conjuntos
Algunos conjuntos importantes:
I Q
I
Z b a
b
a
Q
Z
N
=
=
=
=
=
T
} , | {
} , 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 xB, (xA)
Def. Sean A y B dos conjuntos cualquiera, decimos
que B es un subconjunto propio de A, B A, si y
solo si, B A pero B { A.
B 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| xU xZA}
Teora de conjuntos
Propiedades del complemento:
1. (A
c
)
c
= A
2. A
c
A = U
3. A A
c
= o
Teora de conjuntos
Operaciones con Conjuntos
Def. La unin de dos conjuntos A y B, es el
conjunto:
A B = {x | x A v x B}
Def. La interseccin de dos conjuntos A y B, es el
conjunto:
A B = {x | x A x B}
Def. La diferencia de dos conjuntos A y B, es el
conjunto:
A - B = {x | x A x Z 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 o = 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 o = o
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) o
c
= U
b) U
c
= o
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 A y 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) = {, {a}, {b}, {a,b}}
Induccin Matemtica
Definicin
Sea el conjunto C = {x N| P(x)}. Si se satisface:
P(1) es verdadero.
Si se cumple que para un k arbitrario (k 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
u 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
E
E
A x x A
M
=

| {
7
} M E
E
E
x x
M

| {
+
Sea M un conjunto de ndices cualquiera:
, para algn
} M E , para algn