Agueda

Mata y Miguel Reyes, Dpto. de Matem

atica Aplicada, FI-UPM.

0. TEMAS BASICOS
0.1. CONJUNTOS
0.1.1. Definici
on
Un conjunto es una coleccion bien definida de objetos, llamados elementos del conjunto.
En general, los conjuntos se representan con letras may
usculas y sus elementos con letras min
usculas.
Si el conjunto X esta formado por los elementos a, b y c, se indica:
X = {a, b, c}
y se utiliza la notacion a X para indicar que el elemento a pertenece al conjunto X, y la notacion
p
/ X para indicar que el elemento p no pertenece al conjunto X.
Los conjuntos se pueden definir de dos maneras:
Por extensi
on, nombrando a todos sus elementos:
A = {a, b, c, d, e, . . .}
Por comprensi
on, dando una propiedad que verifican todos y cada uno de sus elementos:
A = {x : x verifica la propiedad P }
Un conjunto sin elementos se llama conjunto vaco y se representa por . Una definicion, por
comprension, del conjunto vaco es:
= {x : x 6= x}
Se dice que el conjunto A es un subconjunto del conjunto B, o que A est
a contenido en B, si
todos los elementos de A son elementos de B, y se indica A B. Obviamente:
A = B A B y B A

0.1.2. Ejemplos
1. El conjunto de los n
umeros naturales, definido por extension, es:
N = {1, 2, 3, . . . , n, . . .}
Cuando al conjunto de los n
umeros naturales se les a
nade el cero, se obtiene el conjunto:
N = {0, 1, 2, 3, . . . , n, . . .}
2. Dos subconjuntos de los n
umeros naturales son los n
umeros pares y los impares, cuya definicion
por extension y por comprension es:
P = {2, 4, 6, 8, . . .} = {x : x = 2n, n N}
I = {1, 3, 5, 7, . . .} = {x : x = 2n 1, n N}
umeros enteros, definido por extension, es:
3. El conjunto de los n
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} = {0, 1, 2, 3, . . .}
4. El conjunto de los n
umeros racionales, definido por comprension, es:

p
Q=
: p, q Z y q 6= 0
q


Agueda
Mata y Miguel Reyes, Dpto. de Matem
atica Aplicada, FI-UPM.

0.1.3. Operaciones con conjuntos

La uni
on de dos conjuntos A y B es el conjunto A B formado por todos los elementos que estan
en A o en B (o en ambos a la vez):
A B = {x : x A o x B}
La intersecci
on de dos conjuntos A y B es el conjunto A B formado por todos los elementos que
estan en A y en B:
A B = {x : x A y x B}
Dos conjuntos se llaman disjuntos si su intersecci
on es vaca, es decir, si no tienen elementos
comunes.
Dados dos conjuntos A y B, la diferencia A \ B es el conjunto formados por aquellos elementos
de A que no estan en B:
A \ B = {x : x A y x
/ B}
Tambien se puede considerar la diferencia B \ A. Los conjuntos A \ B y B \ A son disjuntos.

0.1.4. Ejemplo
Dados los conjuntos:
A = {a, b, c, d, e}

B = {d, e, f, g}

C = {a, b, c}

entonces:
A B = {a, b, c, d, e, f, g}

A C = {a, b, c, d, e} = A

B C = {a, b, c, d, e, f, g} = A B

A B = {d, e}

A C = {a, b, c} = C

B C = (son disjuntos)

A \ B = {a, b, c} = C

A \ C = {d, e}

B \ C = {d, e, f, g} = B

B \ A = {f, g}

C \A=

C \ B = {a, b, c} = C

0.1.5. Propiedades de las operaciones con conjuntos

Conmutativa:

AB =BA

AB =BA

Idempotente:

AA=A

AA=A

(A B) C = A (B C)

(A B) C = A (B C)

Asociativa:
Distributiva:

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

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

Si A B:

AB =B

AB =A

Si A B:

A\B =

Otras propiedades:

AAB

AB A

B AB

AB B

A\B A

(A \ B) B =

0.1.6. Cuantificadores l
ogicos
En matematicas se utilizan con frecuencia los llamados cuantificadores existencial y universal:
que significa existe

que significa para todo