Centro de Enseanza Tcnica Industrial.

Inteligencia Artificial
1 Pedro Arturo Cornejo Torres
Unidad 1. Fundamentos de Teora de Conjuntos.
1.1 Teora de conjuntos.

Por qu es necesario conocer la teora de conjuntos?

Una razn muy importante del estudio de la teora de conjuntos, lo es el hecho de
establecer un lenguaje comn y formal que nos permita intercambiar conceptos sobre
los conjuntos. Es necesario este lenguaje?, la respuesta es si. El uso de un lenguaje
formal permite trasmitir, documentar y divulgar conocimiento libre de malas
interpretaciones y ambigedades.

La teora de conjuntos, nos propone el conocimiento necesario para tratar con objetos y
conjuntos de manera formal. Tambin nos ofrece un lenguaje formal expresar conjuntos
y como operar con ellos y sus elementos.

En inteligencia artificial, los algoritmos son fciles de describir en el lenguaje de
conjuntos, independizando los conceptos de la plataforma en particular que se utilice,
como lo es un lenguaje de programacin.

Conjuntos y subconjuntos.

Tenemos cierta nocin intuitiva en el sentido de que un conjunto debe ser una
coleccin bien definida de objetos. Estos objetos se llaman elementos y se dice que son
miembros del conjunto.

El adjetivo bien definido implica que para cualquier elemento que consideremos,
podemos determinar si est en el conjunto observado. En consecuencia, evitaremos
trabajar con conjuntos que dependan de las opiniones, como el conjunto de los mejores
lanzadores de las ligas mayores de bisbol en la dcada de 1980.


Notacin de los conjuntos.

Utilizaremos las letras maysculas, A, B, C para representar los conjuntos y
letras minsculas para representar los elementos. Para un conjunto A, escribiremos x
A si x es elemento de A; y y e A indicando que y no es elemento de A.
Ejemplo 1:
Un conjunto puede designarse enumerando sus elementos dentro de llaves {}.
Por ejemplo si A es el conjunto formado por los primeros cinco nmeros enteros
positivos, escribiremos A={1 , 2 ,3 ,4 , 5}.
Utilizando la definicin del conjunto A. Podemos decir que se cumple de verdad
lo siguiente: 2 A y 6 e A.
Otra notacin comn para el conjunto A es A={ x | x es un entero y 1 s x s 5}, en
este caso la lnea vertical | que aparece dentro de las llaves se lee como tal que. Los
Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
2 Pedro Arturo Cornejo Torres
smbolos {x | } se leen como el conjunto de todos los x tales que . Las
propiedades que van despus de | nos ayudan a determinar los elementos del conjuntos
descrito.
Hay que tener cuidado con las propiedades que se establezcan para el conjunto.
La notacin {x | 1 s x s 5} no es una descripcin adecuada del conjunto A, a menos que
hayamos acordado previamente que los elementos considerados son enteros. Recuerde
que existen diferentes conjuntos de nmeros como los reales y los complejos.

Ejemplo 2:
Si U = {1, 2, 3, } es el conjunto de los enteros positivos, sean

a) A = {2 ,4 ,6 ,8 ,10, } = {x U | x es par}
b) B= {5, 10, 15, 20, 25, 30, 35, 40} = {x U | x=5k, 1 s k s 3}

Para el caso del inciso a) tenemos el conjunto infinito en su forma enumerada, y luego
en su forma definida. En este caso el conjunto de los nmeros pares es un conjunto
bastante grande como para enumerar cada uno de estos nmeros. La forma definida nos
permite de forma compacta e igual de precisa referirnos a los nmeros pares.

En el caso del inciso b) tenermos de igualmanera al inciso anterior, un conjunto
enumerado de ocho elementos, y luego tenemos el conjunto definido. En este caso, el
objeto x queda restringido por ser necesario que pertenezca al conjunto de los nmeros
enteros positivos y por quedar en trminos de un monomio 5k. En este caso el dominio
de k es de 1 hasta incluir 3. Entre el uno y el tres, como no definimos el conjunto de k,
pueden exisitir un conjunto infinito de valores. No importa, en este caso, ya que x debe
ser un entero positivo.

Ahora bien, ya existe un fundamento suficiente para comenzar nuestro estudio
sobre los conjuntos.
En las siguientes tareas y proyectos analizaremos otros tipos bien conocidos de
conjuntos de objetos, como el conjunto de los nmeros reales, el conjunto de los
nmeros naturales, etc. Tambin estudiaremos las propiedades y las operaciones de los
conjuntos.

Nota:
Los conjuntos que hasta ahora hemos estudiado utilizan objetos que son nmeros. Pero
en realidad, estos objetos pueden ser cadenas, colores, frutas, tablas de bases de datos,
registros, nodos, aristas, etc. En fin, una gran diversidad de tipos de objetos con los que
podemos tratar con la teora de conjuntos. Otro punto ms a favor de esta teora, que
motiva su estudio.

REFERENCIAS:
Para mayor informacin sobre este tema, puede consultar cualquier libro de
matemticas discretas, por lo general, en estos ttulos se discute este tema en las
primeras secciones.
En la Wiki:
http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos
Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
3 Pedro Arturo Cornejo Torres

Cardinal o tamao de un conjunto.
El cardinal es un operador que calcula el total de elementos sobre cualquier
conjunto. Para el caso de los conjuntos finitos, este valor pertenece al conjunto de los
enteros positivos, cuando se trata de un conjunto infinito, simplemente se especifica que
su tamao es . El operador cardinal sobre un conjunto se escribe mediante dos barras
horizontales |A| que encierran al smbolo del conjunto.

Ejemplo 3
Sea A={1, 2, 3, 4 } un conjunto infinito. En este caso |A| = .
Sea B={1, 2, 16, 32} un conjunto finito. En este caso |B| = 4.

Conjunto Universal.
Decimos que estamos especificando un Universo o Universo de Discurso, que por lo
general se denota con U, para definir a donde pertenecen todos los elementos de los
dems conjuntos que utilizaremos. Es decir, el universo o universo de discurso es quien
contiene a todos elementos.

Subconjunto.

Si C y D son conjuntos del universo U, decimos que C es un subconjunto de D y
escribimos C _ D, si cada elemento de C es un elemento de D. Si adems, D contiene
un elemento que no esta en C, entonces C es un subconjunto propio de D y se denota
como C c D.

Definicin formal de subconjunto:
Observe que para cualesquiera conjuntos C y D del universo U, si C _ D,
entonces x[x C x D], y si C _ D entonces x[x C x D].

Aqu el cuantificador universal sobre x, x indica que debemos considerar cada
elemento x del universo dado U. Ms detalles acerca los operadores lgicos
involucrados se discutirn en el repaso de lgica. Veremos que la lgica y los conjuntos
estn fuertemente relacionados entre si.

Ejemplo 4.
Para el universo U = {1, 2, 3, 4, 5} consideremos el conjunto A={1, 2}. Si B={x |
x
2
U}, entonces los miembros de B son 1, 2. En este caso, A y B contienen los mismos
elementos (y ninguno ms), lo cual nos lleva a pensar que los conjuntos A y B son
iguales.
Sin embargo, tambin es cierto que A _ B y B _ A. Esto nos conduce al
concepto de igualdad de conjuntos.

Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
4 Pedro Arturo Cornejo Torres
Igualdad de conjuntos
Para un universo dado U, los conjuntos C y D (tomados del universo U) son
iguales, y esto se escribe C = D, cuando C _ D y D _ C.

A partir de las ideas de igualdad entre conjuntos, vemos que el orden o la repeticin no
son significativos para un conjunto en general. As, tenemos, por ejemplo {1, 2, 3} = {3,
2, 1} = {2, 2, 1, 3} = {1, 2, 1, 3, 1}.

Ejemplo 5
Sea U = {1, 2, 3, 4, 5, 6, x, y, {1, 2}, {1 ,2 ,3}, {1, 2, 3, 4}} (donde x y y son
letras minsculas del alfabeto y no representan nada ms, al igual que, 3, 5, o {1,2}).
Entonces | U | = 11.
a) Si A = {1, 2, 3, 4}, entonces |A| = 4 y tenemos que lo siguiente es verdadero
1) A _ U 2) A c U 3) A U 4) {A} _ U
5) {A} c U 6) {A} e U
b) Ahora sea B = {5, 6, x, y, A} = {5, 6, x, y, {1, 2, 3, 4}} entonces |B|=5, no 8 y
tenemos que lo siguiente tambin es verdadero:
1) A B 2) A _ B 3) A c B
pero,
4) A e B 5) No es cierto que A _ B y 6) tampoco lo es A c B.


Referencias:
Matemticas Discreta y Combinatoria - Una introduccin con aplicaciones.
Ralph P. Grimaldi. Ed. Pearson- Prentice Hall . Capitulo 3. Pginas



Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
5 Pedro Arturo Cornejo Torres

El conjunto vaco
El conjunto vaco o nulo, es el nico conjunto que no contiene elementos. Se denota
como C o {}.

Observemos que | C | = 0, pero {0} = C. As mismo, C = {C}, ya que {C} es el
conjunto con un elemento, a saber, el conjunto vaco.

Notacin de algunos conjuntos comunes de nmeros
Existen algunos conjuntos de nmeros que sern necesarios a travs de este curso de
inteligencia artificial. En consecuencia, cerraremos esta seccin asignndoles los
siguientes nombres.
a) Z = El conjunto de los enteros = {0, 1, -1, 2, -2, 3, -3, }
b) N = El conjunto de los nmeros naturales = {1, 2 , 3, 4, 5, 6, 7,}
c) N
0
= El conjunto de los nmeros naturales incluido el cero = N {0}
d) Q = El conjunto de los nmeros racionales ={a/b | a, b Z, b = 0}
e) R = El conjunto de los nmeros reales.
f) C = El conjunto de los nmeros complejos = {x + yi | x,y R, i
2
= -1}

Intervalo abierto, cerrado y semiabierto
Para los nmeros reales a,b con a < b,
[a,b] = { x R | a s x s b }, es un intervalo cerrado
(a,b) = { x R | a < x < b }, es un intervalo abierto
[a,b) = { x R | a s x < b }, es un intervalo semiabierto por la derecha
(a,b] = { x R | a < x s b }, es un intervalo semiabierto por la izquierda

Nota: Como puede observarse, la notacin de conjuntos reduce muchsimas
explicaciones acerca de los conjuntos referidos.


Tarea
Los siguientes problemas fueron extraidos del libro de Grimaldi, captulo 3.

Resuelva los siguientes problemas.
ACLARACION:
Por favor, analice la pregunta, NO TODAS SON PREGUNTAS DE OPCIN
MULTIPLE.

1.- Cules de los siguientes conjuntos son iguales?
a) {1, 2, 3} b) {3 ,2 ,1 , 3} c) {3, 2, 1, 3} d) {1, 2, 2, 3}

2.- Sea A={1, {1}, 2}. Cules de las siguientes proposiciones son verdaderas?
Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
6 Pedro Arturo Cornejo Torres
a) 1 A b) {1} A c) {1} _ A d) {{1}} A e) {2} A
f) {2} _ A g) {{2}} _ A h) {{2}} c A

3.- Para A= {1, 2, {2}}, Cules de las siguientes proposiciones del ejercicio 2 son
verdaderas?

4.- Determine todos los elementos de cada uno de los siguientes conjuntos.
a) {1+ (-1)
n
| n N} b) {n + (1/n) | n {1, 2, 3, 5, 7}}
c) { n
3
+ n
2
| n {0, 1, 2, 3, 4}}
d) {1/(n
2
+n) | n es un entero positivo impar y n s 11}

5.- Cules de los siguientes conjuntos son no vacos?
a) {x | x N, 2x+7=3}
b) {x | x Q, x
2
+4=6}
c) {x | x Z, 3x+5=9}
d) {x | x C, x
2
+3x+3}

Nota: utilice las definiciones de conjuntos numricos vistos en este documento.


Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
7 Pedro Arturo Cornejo Torres

Relaciones y Funciones.

En esta seccin extenderemos la teora de conjuntos que se estudi en la seccin
anterior para incluir los conceptos de relacin y funcin.

Antes de comenzar con la definicin de funcin, es necesario introducir algunos
conceptos previos, entre estos, el importante producto cartesiano. Los productos
cartesianos nos permitirn construir una asociacin entre dos objetos.

Producto cartesiano
Para los conjuntos A, B _ U, el producto cartesiano de A y B se denota con A B y es
igual a {(a, b) | a A, b B}.

Decimos que los elementos de A B son pares ordenados. Para (a, b), (c, d) A
tenemos que (a, b) = (c, d) si y slo si a=c y b=d.

Ejemplo 6
Sean U = {1, 2, 3, , 7}, A ={2, 3, 4}, B={4, 5}. Entonces

a) A B = { (2, 4), (2, 5), (3, 4), (3, 5), (4 ,4), (4,5) }
b) B A = { (4, 2), (5, 2), (4, 3), (5, 3), (4, 4), (5, 4) }
c) B
2
= B B = {(4,4), (4, 5), (5, 4), (5,5)}
d) B
3
= B B B = { (a, b, c) | a, b, c B}


Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
8 Pedro Arturo Cornejo Torres

Funcin
Para los conjuntos no vacos A y B, una funcin o aplicacin, f de A en B, se
denota con f:A B, es una relacin de A en B en la que cada elemento de A aparece
exactamente una vez en como la primera componente de un par ordenado en la relacin.

Con frecuencia escribimos f(a) = b cuando (a, b) es un par ordenado en la
funcin f. Si (a, b) f, entonces b se conoce como la imagen de a mediante f, mientras
que a es una preimagen de b. Adems, la definicin sugiere que f es un mtodo para
asociar a cada a A una nica b B; denotamos este proceso como f(a) = b b = f(a).

Ejercicios de tarea:

Utilizando alguna plataforma de programacin, implemntese un programa que
calcule las siguientes operaciones entre conjuntos.

Sea A={-10, -1, 0, 1, 2, 3, 4, 5, 6, 15, 18, 21, 32} y B={-10,-2, -1, 0, 1, 2, 4, 5, 6,
7, 12, 31, 32} dos conjuntos finitos de nmeros.

Calcular mediante computador las siguientes operaciones sobre los conjuntos A
y B:
a) Union b) Interseccin c) Diferencia d) Diferencia Simtrica y e) Producto Cartesiano.
Fecha de revisin y slo revisin de trabajos terminados. Fecha de entrega, segn lo
programado por el profesor.
Centro de Enseanza Tcnica Industrial. Inteligencia Artificial
9 Pedro Arturo Cornejo Torres

Introduccin a la teora de grafos.
En este apartado estudiaremos algunas definiciones preeliminares muy importantes para
tratar con las estructuras de grafos. Los conceptos referentes a los grafos resultan ser
muy intuitivos y fciles de comprender. A partir de los conceptos de la teora de
conjuntos que ya ha aprendido, la formalizacin de esos conceptos resultar sencilla.

Un grafo, presentado de manera intuitiva, es un dibujo que permite expresar la
relacin entre los elementos de un conjunto dado. Ejemplos particulares de estos grafos
son, los rboles genealgicos, rboles jerrquicos, mapas de alguna cuidad, un diagrama
de flujo, un diagrama de bases de datos relacional, el esquemtico de un circuito, etc. Es
por esos tipos de aplicaciones que resulta importante contar con las herrmientas
cognitivas necesarias sobre los grafos para resolver problemas de manera eficaz y
eficiente si es posible.

De la introduccin dada en el prrafo anterior, Usted se habr dado cuenta que
para conformar un grafo son necesarios dos conceptos: Un conjunto de objetos y una
relacin. El conjunto define que objetos de algn universo U participan en el grafo,
mientras que una relacin R establece las condiciones necesarias sobre las cuales los
objetos se asocian.

Relaciones
En secciones anteriores, estudiamos el concepto bsico de funcin, en donde a
cada elemento del dominio (preimagen) le corresponde uno y slo un elemento del
codominio (imagen). Las relaciones son menos estrictas que las funciones, permitiendo
que para algn elemento del dominio, este se encuentre relacionado con varios
elementos del codominio. Bajo esta situacin, las funciones resultan ser un caso
particular de relaciones, es decir, las funciones son tambin relaciones. El recproco
todas las relaciones son funciones es invlido.

En la teora de grafos utilizaremos relaciones binarias, es decir, asociaciones
entre pares de objetos de dos conjuntos (posiblemente entre elementos de uno mismo).

Una relacin binaria R, en los conjuntos A y B es un subconjunto del producto
cartesiano entre A y B. R _ A B.

Ejemplo 7
Sean U = {1, 2, 3, , 7}, A ={2, 3, 4}, B={4, 5} (Del ejemplo 6). Entonces

1. R
1
= { (2, 4), (2, 5), (3, 5), (4 ,4)} _ A B
2. R
2
= { (4, 4), (5, 4) } _ B A
3. R
3
= {(4,4), (5,5)} _ B B

Ahora que entendemos que son las relaciones binarias, podemos formalmente definir un
grafo.