UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

INTRODUCCIN

La inteligencia humana percibe los objetos de diversas maneras. Una puede ser intuitiva, es decir, por contacto directo de los objetos sin que sean necesarios conocimientos anteriores para su entendimiento. A este tipo pertenecen los conocimientos de espacio, materia, unidad, pluralidad, ordenacin y correspondencia, entre otros. Son conceptos primitivos o intuitivos, muy importantes para el fundamento de la Ciencia Matemtica. Estas nociones intuitivas junto con los conceptos definidos integran las bases para esta ciencia. La Ciencia Matemtica tiene por objeto el estudio tanto de las magnitudes como de las cantidades, que son las variaciones de las primeras (estados particulares). Entre lo ms fundamental y dentro de la rama de la Aritmtica se encuentra la Teora de Conjuntos, creacin del alemn Georg Cantor en el siglo XIX en el trabajo titulado Grundlagen zu einer allgemeinen Mannigfaltigkeitslehre (Fundamentos para una teora general de los colectores), cuya gran importancia estriba en que el concepto de conjunto se puede encontrar, implcita o explcitamente, en todas las ramas delas Matemticas puras y aplicadas, til para construir proposiciones matemticas ms claras y precisas y para explicar conceptos abstractos como el de infinito.

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

TEORIA DE CONJUNTOS
Definiciones: 1.- Conjunto: es una lista, clase o coleccin de objetos bien definidos, objetos que, pueden ser cualesquiera: nmeros, personas, letras, etc. Estos objetos se llaman elementos o miembros del conjunto. Ejemplos: { 1, 3, 7, 10} {x/x2 -3x 2= 0} { Inglaterra, Francia, Dinamarca}
DEFINICION ( O DETERMINACION) DE UN CONJUNTO Un conjunto est definido o est determinado cuando se conocen todos y cada uno de los elementos que lo forman.

Se usan dos maneras para definir un conjunto: a) extensin o enumeracin b) comprensin.

DEFINICION POR EXTENSION O ENUMERACIN

Un conjunto est definido por extensin o enumeracin cuando para conocer los elementos que lo forman, stos se nombran o enumeran uno a uno. Ejemplo: si decimos que el conjunto M est formado por los elementos 5 y 7, y anotamos M = { 5;7} , lo hemos definido por extensin.
DEFINICION POR COMPRENSION

Un conjunto est definido por comprensin cuando sus elementos se conocen a travs de una propiedad que les es comn a ellos y slo a ellos. Esa propiedad suele adquirir la forma de una funcin proposicional que se transforma en una proposicin verdadera (V) slo cuando a su/s variable/s se le/s asignan como valores los elementos de ese conjunto. En el caso de conjuntos de inters matemtico la funcin proposicional suele tener forma de una ecuacin, o tambin de una inecuacin. Ejemplo: el mismo conjunto M del caso anterior puede ser definido por comprensin as: M = x / x 2 2 x 35 = 0 El smbolo x/ se lee: x, tal que

2.-Subconjunto: A es subconjunto de B si todo elemento de A lo es tambin de B. Notacin: AB x A xB

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO Ejemplo: El conjunto C = {1,3,5} es un subconjunto del D = {5,4,3,2,1} ya que todo elemento de C pertenece al conjunto D. 3.- Conjunto Universal: es aquel conjunto que no puede ser considerado un subconjunto de otro conjunto, excepto de si mismo. Todo conjunto se debe considerar un subconjunto del Conjunto Universal. Notacin: U Ejemplo: A = {1,3,5} B = {2,4,6,8} U = {0,1,2,3,4,5,6,7,8,9} 4.- Conjunto Potencia: se denomina conjunto potencia de A, P(A), a la familia de todos los subconjuntos del conjunto A. S el conjunto A tiene n elementos, el n conjunto potencia de A tendr 2 elementos. Notacin: Ejemplo: A = {3,4,5} P(A)= 2 = 8, lo que significa que pueden formarse 8 subconjunto de A.
3

P(A)= { {3}, {4}, {5}, {3,4}, {3,5}, {4,5}, {3,4,5}, }. 5.- Conjunto Vaco: es aquel que no posee elementos y es subconjunto de cualquier otro conjunto. Notacin: = { x / x x } Ejemplo: B= {x/x2 = 4, x es impar}. B es entonces un conjunto vaco.

6.-Diagrama de Venn: Los diagramas de venn permiten visualizar grficamente las nociones conjuntistas y se representan mediante crculos inscritos en un rectngulo. Los crculos corresponden a los conjuntos dados y el rectngulo al conjunto universal. Ejemplo: AB
U B FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

7.-Conjuntos Finitos o Infinitos: Los conjuntos sern finitos o infinitos, si sus elementos son o no factibles de contar. Ejemplo: M= {a,e,i,o,u}, M es finito. N={1,3,5,7...}, N es infinito. 8.- Conjuntos disjuntos: Dos conjuntos son disjuntos si no tienen elementos comunes. Grficamente:
U A B

Ejemplo: A= {1,3,8}, B={2,4,9}; A y B son conjuntos disjuntos.

OPERACIONES CON CONJUNTOS

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

1.-Unin de conjuntos: La unin de dos conjuntos A y B es un conjunto cuyos elementos pertenecen a A o a B. Notacin: AB= {x/xAxB} Grficamente:
U A B A B U B A U

Ejemplo A={3,4,5,8,9} AB={3,4,5,7,8,9,10} 2.- Interseccin de conjuntos: La interseccin de dos conjuntos A y B, es un conjuntos cuyos elementos son comunes a A y B. Notacin: A B= {x / x A x B} Grficamente:
U A A)B A) A) A A B U B A U

B={5,7,8,9,10}

Ejemplo: A={7,8,9,10,11,12} B={5,6,9,11,13,14}

A B={9, 11} 3.-Complemento: El complemento de un conjunto A, son todos los elementos que no estn en el conjunto A
FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO y que estn en el universo. Notacin: Ac = {x / x U x A} Ac = U - A

Grficamente:
Ac A U

Ejemplo: U= {1,2,3,...10} y A={ 3,4,6,7} Ac= {1,2,5,8,9,10} 4.- Diferencia de conjuntos: La diferencia de dos conjuntos A y B, es un conjunto cuyos elementos son aquellos que estn en el conjunto A, pero no en el conjunto B. Notacin: A - B ={x / x A x B} Grficamente:
U A B A B U AB U

Ejemplo: C = {u, v, x, y, z} C - D = {x, y, u}

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

D = {s, t, z, v, p, q}

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

5.- Diferencia Simtrica: La diferencia simtrica de dos conjuntos A y B es un conjunto cuyos elementos son aquellos que estn en A, pero no en B, unidos con aquellos que estn en B, pero no en A. Notacin: A B= {x / x A x } {x / x x } A B= ( A - B ) ( B -A ) Grficamente:
A AA ) ) ) B U A B U

Ejemplo: A= {1,3,4,5,6,7,20,30} B={2,6,20,40,50}

AB= {1,3,4,5,7,30} {2,40,50} A= {1,2,3,4,5,7,30,40,50} 6.-Producto cartesiano: El producto cartesiano entre dos conjuntos A y B es el conjunto de todos los pares ordenados que tienen como primera componente un elemento de A y como segundo componente un elemento de B. Notacin: A x B = {(a, b ) / a b } Ejemplo: A= {1,2} B={3,4,5}

A x B = {(1,3), (1,4), (1,5), (2,3), (2,4), (2,5)} Observaciones: 1.- n() = n n() = s 2.-Si A = n(A x B) = n s

= xB=

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

3.- A x B x A

siempre que se cumpla que A

7.- Cardinalidad: n(A) = n(A) + n(B) n (A)

n(A(C)) = n(A) + n(B) + n(C) - n(A) - n(C) n(BC) + n(A(C))

LEYES DE ALGEBRA DE CONJUNTO

1.- Asociatividad:
()C = (C) (A)C = A(C) 2.- Conmutatividad: = AB = BA 3.- Distributividad: A(C) = ()(C) A(C) = ()(C) 4.- Absorcin: A() = A() = A

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO 5.- Idempotencia: A = B = 6.- Identidad: = AU = U 7.-Complemento: Ac = U (Ac)c = A 8.- Ley de Morgan: (AB)c = Acc A B = Ac (A)c = Acc Ac = U= , = U U = A A =

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE CIENCIAS-INGENIERA DE SISTEMAS E INFORMTICA-TEORIA DE LENGUAJES