RESUMEN - MATEMTICAS DISCRETAS

Las matemticas discretas son las encargadas del estudio de los conjuntos discretos: finitos
o infinitos numerables. Es decir, los procesos en matemtica discreta son contables, como
por ejemplo, los nmeros enteros, grafos y sentencias de lgica.

TEORA DE CONJUNTOS
La Teora de Conjuntos es una divisin de las matemticas que estudia los conjuntos.
Para poder definir la teora de los conjuntos empezamos con tres ideas o conceptos
primarios: conjunto, elemento y pertenencia.

Un conjunto es una coleccin bien definida de objetos llamados elementos o miembros del
conjunto. En esta definicin la frase bien definida es esencial para determinar si un grupo
de personas o una coleccin de objetos es o no un conjunto, ya que para que una coleccin
de objetos se considere como un conjunto no debe haber ambigedad ni subjetividad. Un
conjunto est bien definido si se sabe si un determinado elemento pertenece o no al
conjunto.

NOTACIN
Los conjuntos se indican por medio de una letra mayscula y los elementos de un conjunto
por medio de letras minsculas, nmeros o combinacin de ambos. Los elementos se
colocan entre llaves, { }, separados por comas.
Aunque es vlido especificar las caractersticas de los elementos de un conjunto con
palabras, existen conjuntos importantes que se pueden usar para compactar la
informacin. Algunos de los conjuntos que ms se utilizan en matemticas son los
siguientes:
N = Conjunto de los nmeros naturales
= {1, 2, 3, ...}

Z+ = Conjunto de los nmeros enteros no negativos

= {0,1, 2, 3, ...}

Z = Conjunto de los nmeros enteros

= {..., -2, -1, 0,1, 2, 3, ...}

Q = Conjunto de los nmeros racionales

= {a/b | a, b Z; b0}

R = Conjunto de los nmeros reales

C = Conjunto de los nmeros complejos

= {x+yi | x, y R; i2 = -1}
U = Conjunto universo

= Conjunto vaco

SUBCONJUNTOS
Si todos los elementos de A tambin son elementos de B, se dice que A es subconjunto de
B o que A est contenido en B, y esto se denota como A B
Si A no es subconjunto de B se escribe: A B

OPERACIONES DE CONJUNTOS
As cmo es posible llevar a cabo operaciones entre nmeros, tambin se pueden realizar
operaciones con conjuntos y stas se aplican en prcticamente en todos los temas de las
ciencias de la computacin.

UNIN (A U B)
La unin del conjunto A y el conjunto B es el conjunto que contiene los elementos del
conjunto A y del conjunto B:

INTERSECCIN (A B)
La interseccin del conjunto A y el conjunto B es el conjunto que contiene a todos los
elementos que son comunes a los conjuntos A y B:

COMPLEMENTO (Ac)
El complemento del conjunto A es el conjunto de todos los elementos que no pertenecen

a:

DIFERENCIA (A - B)
La diferencia de dos conjuntos A y B viene dada por los elementos que pertenecen a uno

menos los elementos que pertenecen al otro:

DIFERENCIA SIMTRICA (A B) o (A B)
La diferencia simtrica de dos conjuntos A y B viene dada por los elementos que
pertenecen a uno y slo uno de los dos:

IGUALDAD DE CONJUNTOS (A = B)
Dos conjuntos son iguales si tienen los mismos elementos y se representa A = B, si los
conjuntos A y B son iguales.
 I. RELACIONES Y DGRAFOS
Una relacin es una correspondencia entre dos elementos de dos conjuntos con ciertas
propiedades. Las funciones son una clase especial de relacin y se utilizan prcticamente
en todas las reas de las matemticas, en particular en clculo diferencial e integral,
geometra analtica, trigonometra y lgebra.

REPRESENTACIN DE LAS RELACIONES

Dada una relacin R existen varias formas de representarla usando:
Sistema cartesiano
Representacin sagitaria
Matriz booleana de adyacencia
Dgrafo

Por ejemplo: Sean los conjuntos A = B = {1, 2, 3, 6, 7} a R b si y slo si a + b < 9.

R = {(1, 1),(1,2),(1,3),(1,6),(1,7),(2,1),(2,2),(2,3),(2,6),(3,1),(3,2),(3,3),(6,1),(6,2),(7,1)}