DEFINICION DE CONJUNTO

DEFINICION DE CONJUNTO

En matemáticas, un conjunto es una agrupación de objetos considerada como un objeto en sí. Los objetos del conjunto pueden ser cualquier cosa: personas, números, colores, letras, figuras, etc. Cada uno de los objetos en la colección es un elemento o miembro del conjunto.1 Por ejemplo, el conjunto de los colores del arcoíris es:

AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta}

Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo, para los números naturales, si se considera la propiedad de ser un número primo, el conjunto de los números primos es:

P = {2, 3, 5, 7, 11, 13, ...}

Un conjunto queda definido únicamente por sus miembros y por nada más. En particular, un conjunto puede escribirse como una lista de elementos, pero cambiar el orden de dicha lista o añadir elementos repetidos no define un conjunto nuevo. Por ejemplo:

S = {Lunes, Martes, Miércoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Miércoles}

AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta} = {Amarillo, Naranja, Rojo, Verde, Violeta, Añil, Azul}

Los conjuntos pueden ser finitos o infinitos. El conjunto de los números naturales es infinito, pero el conjunto de los planetas en el Sistema Solar es finito (tiene ocho elementos). Además, los conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con números.

Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en términos de nociones más elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuición y a la lógica. Por otro lado, son el concepto fundamental de la matemática: mediante ellos puede formularse el resto de objetos matemáticos, como los números y las funciones, entre otros. Su estudio detallado requiere pues la introducción de axiomas y conduce a la teoría de conjuntos.

NOTACION DE CONJUNTOS

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,c,…

• ∈ / ∉: Se usa para expresar si un elemento pertenece o no a un conjunto.

• ⊂: Se usa para expresar que un conjunto, y por lo tanto, todos sus elementos, forman parte de otro conjunto mayor.

• U / ∅: El primer símbolo indica el conjunto universal, 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.

El otro conjunto, se le llama conjunto vacío y cumple que todos los elementos posibles no están contenidos en él, es decir ∀x, x∉∅.

CONJUNTOS EXPLICITOS E IMPLICITOS

Definición implícita: se usa una regla o definición que la describa.

Definición explicita: se describen los elementos del conjunto entre llaves.

CONJUNTOS FINITOS E INFINITOS

Un conjunto finito es un conjunto que tiene un número finito de elementos. Por ejemplo {2, 4, 6, 8, 10} es un conjunto finito con cinco elementos. La cardinalidad o número de elementos de un conjunto finito es igual a un número natural.

Si un conjunto no es finito, entonces es infinito. Por ejemplo, el conjunto N = {1, 2, 3, ...} de los números naturales es infinito. Todo conjunto finito es un conjunto numerable, puesto que sus elementos pueden contarse, pero la recíproca es falsa: existen conjuntos numerables que no son finitos (como el propio N).

Los conjuntos finitos son particularmente importantes en combinatoria.

Un conjunto infinito es un conjunto que no es finito. Algunos ejemplos son:

• Los números enteros Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} forman un conjunto infinito y numerable.

• Los puntos en una recta, representados por un número real, forman un conjunto infinito y no numerable.

• Un conjunto finito A es aquel que tiene un número finito de elementos, o de otro modo, que puede ponerse en correspondencia biunívoca con un conjunto del tipo {1, 2, 3, ..., n}, donde n es un número natural. Esto significa que podemos emparejar los elementos de A y los de {1, 2, 3, ..., n} sin que sobre ninguno. Si un conjunto no verifica esto entonces es infinito:

Un conjunto infinito es un conjunto que no puede ponerse en correspondencia biunívoca con ningún conjunto {1, 2, 3, ..., n} para ningún número natural n.

CONJUNTO UNIVERSAL

Un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por ejemplo, en aritmética los objetos de estudio son los números naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los números naturales N. Al conjunto universal también se le denomina conjunto referencial, universo del discurso o clase universal, según el contexto, y se denota habitualmente por U o V.

La elección de un conjunto universal se hace por conveniencia, para establecer una distinción clara entre los objetos matemáticos, todos ellos en el conjunto universal; y los conjuntos formados por dichos objetos, todos ellos subconjuntos del conjunto universal. Escogido un conjunto universal, para cada conjunto de objetos existe su complementario, que contiene todos los elementos que no están en dicho conjunto.

CONJUNTO VACIO

El conjunto vacío es el conjunto que carece de elementos. Puesto que lo único que define a un conjunto son sus elementos, el conjunto vacío es único.

Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vacío. En una teoría axiomática de conjuntos, la existencia de un conjunto vacío se postula.

El conjunto vacío se define como {x: x ≠ x}

El conjunto vacío es denotado por los símbolos:

derivados de la letra Ø de las lenguas danesa y noruega, entre otras. Esta notación fue introducida por André Weil en 1939.1 Otra notación común para el conjunto vacío es la notación extensiva, especificando sus elementos (ninguno) entre llaves:

SUBCONJUNTO

En las matemáticas, un conjunto A es subconjunto de un conjunto B si A «está contenido» dentro de B. Recíprocamente, se dice que el conjunto B es un superconjunto de A cuando A es un subconjunto de B.

Definición

La diferencia

...