miércoles, 1 de diciembre de 2010

Teoría de conjuntos

Diagrama de Venn que muestra un conjunto A contenido en otro conjunto U y su complemento A^\complement
La 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 
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"; 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 bolígrafos azules está bien definido, porque a la vista de 
un bolígrafo 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, 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.

A propósito de la noción 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.
 Algún tiempo después, 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'.

Usualmente los conjuntos se representan con una letra mayúscula: ABK,...
Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, 
estos elementos tienen carácter individual, tienen cualidades que nos permiten 
diferenciarlos, y cada uno de ellos es único, no habiendo elementos duplicados o 
repetidos. Los representaremos con una letra minúscula: abk,...
De esta manera, si ~A es un conjunto, y ~a, b, c, d, e todos sus elementos, es común escribir:
 ~A= \{a, b, c, d, e\}
para definir a tal conjunto ~A. Esta notación empleada para definir al conjunto  ~A  
se llama notación por extensión.
Para representar que un elemento ~x pertenece a un conjunto A, escribimos x\in A 
(léase "x en A", "x pertenece a A" o bien "x es un elemento de A"). La negación 
de x\in A se escribe x\notin A (léase ~x no pertenece a ~A).
El conjunto universal, que siempre representaremos con la letra U (u mayúscula), 
es el conjunto de todas las cosas sobre las que estemos tratando. Así, si hablamos
 de números enteros entonces U es el conjunto de los números enteros, si hablamos 
de ciudades, U es el conjunto de todas las ciudades, este conjunto universal puede 
mencionarse explícitamente, o en la mayoría de los casos se da por supuesto dado el
 contexto que estemos tratando, pero siempre es necesario demostrar la existencia de
 dicho conjunto previamente.
Existe además, un único conjunto que no tiene elementos al que se le 
llama conjunto vacío y que se denota por \emptyset. Es decir
\emptyset = \{\}
La característica importante de este conjunto es que satisface todos los elementos posibles 
que no están contenidos en él, es decir
\forall x \quad x\notin\emptyset.
Por otro lado, si todos los elementos ~x de un conjunto A satisfacen alguna propiedad, 
misma que pueda ser expresada como una proposición p\left( x\right), con la indeterminada ~x, usamos l
notación por comprensión, y se puede definir:
~A=\{x\in U:p(x)\}
Lo anterior se lee "A es el conjunto de elementos x, que cumplen la propiedad p(x)". 
El símbolo ":" se lee "que cumplen la propiedad" o "tal que"; este símbolo puede ser 
remplazado por una barra \mid.
Por ejemplo, el conjunto ~A= \{1, 2, 3, 4\} puede definirse por:
~A= \{n\in\mathbb N: 1\leq n\leq 4\}
donde el símbolo \mathbb{N} representa al conjunto de los números naturales.