Teoría de conjuntos
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.
NOTACIONES
Usualmente los conjuntos se representan con una letra mayúscula: A, B, K,...
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: a, b, k,...
De esta manera, si es un conjunto, y todos sus elementos, es común escribir:
para definir a tal conjunto . Esta notación empleada para definir al conjunto se llama notación por extensión.
Para representar que un elemento pertenece a un conjunto A, escribimos (léase "x en A", "x pertenece a A" o bien "x es un elemento de A"). La negación de se escribe (léase no pertenece 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 . Es decir
La característica importante de este conjunto es que satisface todos los elementos posibles que no están contenidos en él, es decir
.
Por otro lado, si todos los elementos de un conjunto A satisfacen alguna propiedad, misma que pueda ser expresada como una proposición , con la indeterminada , usamos la notación por comprensión, y se puede definir:
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 .
Por ejemplo, el conjunto puede definirse por:
Igualdad entre conjuntos. Subconjuntos y Superconjuntos
Igualdad de conjuntos
Dos conjuntos y se dicen iguales, lo que se escribe si constan de los mismos elementos. Es decir, si y solo si todo elemento de A está también contenido en B y todo elemento de B está contenido en A. En símbolos:
Subconjuntos y Superconjuntos
Un conjunto se dice que es subconjunto de otro , si cada elemento de es también elemento de , es decir, cuando se verifique:
,
sea cual sea el elemento . En tal caso, se escribe .
Cabe señalar que, por definición, no se excluye la posibilidad de que si , se cumpla . Si tiene por lo menos un elemento que no pertenezca al conjunto , pero si todo elemento de es elemento de , entonces decimos que es un subconjunto propio de , lo que se representa por . En otras palabras, si y sólo si , y . Así, el conjunto vacío es subconjunto propio de todo conjunto (excepto de sí mismo), y todo conjunto A es subconjunto impropio de sí mismo.
Si es un subconjunto de , decimos también que es un superconjunto de , lo que se escribe . Así pues
,
y también que:
,
significando que es superconjunto propio de .
Por el principio de identidad, es siempre cierto , para todo elemento , por lo que todo conjunto es subconjunto (y también superconjunto) de sí mismo.
Vemos que es una relación de orden sobre un conjunto de conjuntos, pues ( es reflexiva)
( es antisimétrica)
( es transitiva)
Operaciones con conjuntos
Sean y dos conjuntos.
Unión
Para cada par de conjuntos A y B existe un conjunto Unión de los dos, que se denota como el cual contiene todos los elementos de A y de B. De manera más general, para cada conjunto S existe otro conjunto denotado como de manera que sus elementos son todos los tales que . De esta manera es el caso especial donde .Es claro que el hecho de que un elemento x pertenezca a es condición necesaria y suficiente para afirmar que x es un elemento de A o al menos de B. Es decir
Intersección ∩
Los elementos comunes a y forman un conjunto denominado intersección de y , representado por . Es decir, es el conjunto que contiene a todos los elementos de A que al mismo tiempo están en B:- .
Es claro que el hecho de que es condición necesaria y suficiente para afirmar que y . Es decir
Particiones
Dado un conjunto A y una serie de subconjuntos Ai, se dice que Ai son particiones de A cuando la unión de todas es el conjunto A, y la intersección de todas es el conjunto vacío. Es decir, que los subconjuntos Ai, forman parte del conjunto mas grande denotado A.Diferencia
Los elementos de un conjunto que no se encuentran en otro conjunto , forman otro conjunto llamado diferencia de y , representado por . Es decir:- .
Una propiedad interesante de la diferencia es que
Complemento
El complemento de un conjunto A, es el conjunto de los elementos que pertenecen a algún conjunto U pero no pertenecen a A, que lo representaremos por . Es decirDiferencia simétrica
Los elementos de dos conjuntos A y B, a excepción de aquellos elementos que se encuentran en el área de intersección de dichos conjuntos, se define la diferencia simétrica.
Los elementos de dos conjuntos A , B y C , a excepción de aquellos elementos que se encuentran en el área de intersección de dichos conjuntos.
No hay comentarios:
Publicar un comentario