TEORIA DE CONJUNTOS

La Teora de Conjuntos es una divisin de las matemticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemtico alemn Georg Cantor, Gottlob Frege y Julius Wilhelm Richard Dedekind en el Siglo XIX y ms tarde reformulada por Zermelo. El concepto de conjunto es intuitivo y se podra definir como una "agrupacin bien definida de objetos no repetidos y no ordenados"; as, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Un conjunto est bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolgrafos azules est bien definido, porque a la vista de un bolgrafo se puede saber si es azul o no. El conjunto de las personas altas no est bien definido, porque a la vista de una persona, no siempre se podr decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo XIX, segn Frege, los elementos de un conjunto se definan slo por tal o cual propiedad. Actualmente la teora de conjuntos est bien definida por el sistema ZFC. Sin embargo, sigue siendo clebre la definicin que public Cantor. Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra intuicin o nuestro pensamiento. Georg Cantor A propsito de la nocin de conjunto, Dedekind dijo que se los imaginaba como un saco cerrado que contiene cosas... de las que no sabemos nada fuera de que existen y son totalmente determinadas. Algn tiempo despus, Cantor dio a conocer su idea de conjunto: elev su colosal figura, describi con el brazo erguido un gesto soberbio, y dijo con la mirada perdida: 'Me imagino un conjunto como un abismo'.

Tipos de conjuntos
Conjunto Disjunto, Conjunto Subconjunto

1) Conjuntos disjuntos: Son aquellos conjuntos que no tienen elementos en comn. Por ejemplo: El conjunto A tiene como elementos a los nmeros 1, 2 y 3. El conjunto B tiene como elementos a las letras a, b, c y d. No hay elementos comunes entre los conjuntos A y B. En otras palabras, ningn elemento del conjunto A pertenece al conjunto B; a su vez, ningn elemento de B pertenece al conjunto A. En consecuencia, los conjuntos A y B son disjuntos.

Tomando otro ejemplo: Si E = { pizarrn, tiza, borrador} (Conjunto E formado por pizarrn, tiza, borrador) F = { tiza, profesor, regla} (Conjunto F formado por tiza, profesor, regla) G = { nio, cuaderno, sala, lpiz } (Conjunto G formado por nio, cuaderno, sala, lpiz)

E y G son conjuntos disjuntos porque: pizarrn, tiza, borrador no pertenecen al conjunto G. E y F no son disjuntos ya que tiza pertenece a E y tambin a F. F y G son conjuntos disjuntos porque: tiza, profesor, regla no pertenecen a G, y nio, cuaderno, sala, lpiz no pertenecen a F. 2) Conjunto Subconjunto: Un conjunto es subconjunto de otro si todos los elementos de un conjunto tambin pertenecen al otro. Si se tienen los siguientes conjuntos: P = { a, e, i, o, u } y R = { a, i }

R es subconjunto de P porque todos los elementos de R estn en P. En general, para expresar que un conjunto es subconjunto de otro conjunto se pone entre ellos el smbolo R P . En este ejemplo se escribe:

Se lee R es subconjunto de P no es subconjunto de otro cuando al menos un elemento del primero no pertenece al segundo conjunto. El smbolo que representa la frase no es subconjunto de es Si se tienen los siguientes conjuntos: C = { 3, 5, 7, 9 } y H = { 3, 5, 8 } .

H no es subconjunto de C porque el elemento 8 no pertenece al conjunto C. Se escribe:

Se lee H no es subconjunto de C Tambin los subconjuntos pueden representarse mediante Diagramas de Venn. Ejemplo:

Propiedades de la relacin subconjunto 1.- Todo conjunto es subconjunto de s mismo. Si T = { x, z, y, z }, se tiene que T T

2.- El conjunto vaco es subconjunto de cualquier conjunto (el conjunto vaco es aquel que no tiene elementos; se representa por: { } o bien por Si se tiene el conjunto B se puede establecer que T

Sean los conjuntos A = { 5, 7 } B = { 3, 5, 7, 9 } Los elementos 5 y 7 forman parte del conjunto A. En otras palabras, los elementos 5 y 7 pertenecen ( 5 A y 7 ) al conjunto A. A

Los elementos 3, 5, 7, 9 forman parte del conjunto B, es decir, pertenecen al conjunto B 3 B 5 B 7 B 9 B

Se puede observar, adems, en el diagrama, que los elementos del conjunto A estn incluidos dentro del conjunto B; por lo tanto, dichos elementos tambin pertenecen al conjunto B. En otras palabras, A es subconjunto de B. A Por extensin Un conjunto est determinado por extensin cuando se escriben uno a uno todos sus elementos. Por ejemplo, el conjunto de los nmeros naturales menores que 9: B

Por comprensin Un conjunto est determinado por comprensin cuando solamente se menciona una caracterstica comn de todos los elementos. Por ejemplo, el conjunto formado por las letras vocales del abecedario:

Dos conjuntos son idnticos si, y slo si, contienen los mismos elementos. Se puede obtener una descripcin ms detallada en la teora de conjuntos. Las aplicaciones de teora de conjuntos son muy amplias, y baste con mencionar que se utiliza en el diseo de circuitos en electrnica digital; en cuestiones relacionadas con probabilidad; y sus conceptos estn de manera implcita en la terminologa utilizada en diseo de bases de datos, cuando se realizan las consultas