Escolar Documentos
Profissional Documentos
Cultura Documentos
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.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
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