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 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:

Los nmeros naturales

N {1,2,3,4,}
Z { ,3,2,1,0,1,2,3,} Los nmeros enteros
a
Los nmeros racionales
Q { | a, b Z }
b
I { todos aquellos nmeros que no se pueden expresar

como la divisin de dos enteros ej. raiz de 2, , etc}

Los nmeros irracionales

QI

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.
BA BAAB

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 BAAB

Sea U, el conjunto Universal y A un

conjunto arbitrario. El complemento del
conjunto A, denotado Ac, es el conjunto:
Ac= {x| xU xA}

Teora de conjuntos
Propiedades del complemento:
(Ac)c = A
Ac A = U
A Ac =

Teora de conjuntos
Operaciones con Conjuntos

Def. La unin de dos conjuntos A y B, es el

conjunto:
A B = {x | x A 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 B}

Propiedades de conjuntos
1.

Leyes asociativas
a)

A (B C) = (A B) C
A (B C) = (A B) C

b)
a) Leyes conmutativas
a) A B = B A
b) A B = B A
1. Leyes distributivas
a) A (B C) = (A B) (A C)
b) A (B C) = (A B) (A C)
a) Leyes de Identidad:
a)
b)

A=A
AU=A

Propiedades de conjuntos
4. Leyes de idempotencia

a) A Ac= U
b) A A = A
5. Leyes de acotacin
AU=U
A=
6. Leyes de absorcin
a) A (A B) = A
b) A (A B) = A
7. Leyes de involucin
(Ac)c = A

Propiedades de conjuntos
8. Leyes 0/1
a)

c = U

b) Uc =

9. Leyes de De Morgan

a)

(A B)c = Ac Bc

b)

(A B)c = Ac Bc

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

2A 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

Ejemplo:

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

n

2
i

i 1

n(n 1)(2n 1)
6

Induccin Matemtica
Ejercicios
1.

Demuestre que:
8+13+18+23++(3+5n) = 2.5n2+5.5n

Demuestre que para todo n que pertenece a los

naturales, xn-1 es divisible entre x-1.

Si n es un nmero natural y 1+x > 0, entonces:

1.

(1+x)

1 + nx

Considere el triangulo
siguiente:
1

=
3 + 5
=
7 + 9 + 11
=
13 + 15 + 17 + 19
=
21 + 23 + 25 + 27 + 29 =

1
8
27
64
125

Encuentre una expresin para la suma del rengln i-simo

y demuestre que es correcta.

Generalizacin de Conjuntos
Sea M un conjunto de ndices cualquiera:

A {x | x A , para algn

M}

A {x | x A

M}

, para algn