Teoría de conjuntos
| ||
Teoría de conjuntos. Es una división de las matemáticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemático alemán Georg Cantor en el Siglo XIX y más tarde reformulada por Zermelo.
El concepto de conjunto es intuitivo y se podría definir como una "agrupación bien definida de objetos no repetidos y no ordenados"; Un conjunto está bien definido si se sabe si un determinado elemento pertenece o no al conjunto.
En el siglo XIX, según Frege, los elementos de un conjunto se definían sólo por tal o cual propiedad. Actualmente la teoría de conjuntos está bien definida por el sistema ZFC. Sin embargo, sigue siendo célebre la definición que publicó Cantor:
Se entiende por conjunto a la agrupación en un todo de objetos bien diferenciados de nuestra intuición o nuestro pensamiento. Georg Cantor
Noción de conjunto.
Para estudiar la teoría de conjuntos, hay que partir de establecer qué es un conjunto. Al mencionar esta palabra vienen a la mente ideas como el conjunto de los números reales (R), un conjunto de personas, un conjunto musical o el conjunto de las letras del alfabeto, y es que, en efecto, todos estos son conjuntos.
Aunque se plantea que no es posible definir formalmente el concepto de conjunto, este puede describirse como una agrupación o colección de objetos, lo que lleva inevitablemente a establecer qué es un objeto.
Un objeto o elemento, en la teoría de conjuntos es cualquier cosa, puede ser algo físico, como una PC, puede ser también una abstracción como un programa y puede ser incluso un conjunto. Es importante notar que entre los objetos que forman un conjunto no tiene que haber ninguna característica en común, excepto el propio hecho de pertenecer al conjunto. Así se encuentran conjunto homogéneos como el de las impresoras o el de los componentes de Hard, pero existen conjuntos tan heterogéneos como se quiera, por ejemplo un conjunto formado por un una mesa, una persona y una PC.
Hay que aclarar que un conjunto no es una agrupación física de objetos, sino una abstracción que puede corresponderse con agrupaciones físicas, pero también con agrupaciones que sólo existen como idea, tal es el caso del conjunto de trabajos presentados en los eventos de Infoclub, cada una ocurrió en un momento y lugar distinto.
Convencionalmente, los conjuntos suelen nombrarse con letras mayúsculas del alfabeto latino (A, B, C…), mientras los objetos que los forman se representan con letras minúsculas del mismo alfabeto.
De los objetos que forman un conjunto se dice que son elementos del mismo o que pertenecen a él, la siguiente expresión corresponde a la representación de que el objeto a, es elemento del conjunto A:
a A
Si el objeto b, no es elemento de A, esto se representa:
b A
Existen conjuntos muy utilizados como R, N, Z, para los que es fácil identificar sus elementos, pero en general no es así, por lo que es útil contar con un modo de representación de los conjuntos que deje explícito cuáles son los objetos que los forman. Hay dos maneras básicas de definir y representar un conjunto a través de los elementos que lo componen,la representación extensional y la representación intensional.
La representación extensional de un conjunto no es más que la enumeración de todos sus elementos, separados por comas y encerrados entre llaves, los siguientes ejemplos constituyen representaciones extensionales de cuatro conjuntos de tres elementos cada uno y un quinto de cuatro elementos:
1.{mause, Teclado, Spiker}
2.{a, f, g}
3.{1,2,3}
4.{Rojo, Azul, Verde}
5.{1, f, Maus, Rojo}
La representación intensional, se basa en expresar mediante una fórmula matemática, una propiedad que describa a todos los elementos del conjunto y que ningún elemento ajeno al conjunto la cumpla. Esta es una manera mucho más compacta de representar conjuntos de gran cantidad de elementos e incluso de infinitos elementos, pero tiene como limitación que no siempre existe tal fórmula y en muchos casos, aún existiendo, es muy difícil encontrarla. A continuación aparecen algunos ejemplos de conjuntos y sus representaciones intencionales.
1.La representación intensional del conjunto de todos los números reales del intervalo [3..5] es {x | x R, x 3 y x 5}.
Su representación extensional sería: {3,4,5}
2.La representación intensional del conjunto de todos los números naturales múltiplos de 3 es {x | x N, x = 3k, k N }
3.{x | 6x7 + 3x2 + 5 = 0} es la representación intensional del conjunto de soluciones de la ecuación 6x7 + 3x2 + 5 = 0
4.{x | x R, | x > 5 } es la representación intensional del conjunto de números reales que no pertenecen al intervalo [-5..5]
Importante es notar que, para un mismo conjunto, puede haber más de una representación intensional, como ilustra el siguiente ejemplo:
{x | x R, x > -2, x < 4} y {x | x R, | x – 1 | < 3 } son representaciones intencionales del conjunto de números reales del intervalo [-2..4]
