Conjunto vacío

Conjunto vacío
El conjunto vacío es aquél que no tiene elementos.

En matemáticas, específicamente en teoría de conjuntos, el conjunto vacío es el conjunto que no contiene ningún elemento. Puesto que lo único que define a un conjunto son sus elementos, el conjunto vacío es único.

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

Contenido

Notación

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

 \varnothing \, \acute{\text{o}} \; \emptyset \,

derivados de la letra Ø. 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:

 \{ \} \,

Propiedades

El conjunto vacío tiene las siguientes propiedades generales:

  • El conjunto vacío es único: dado dos conjuntos sin elementos, ambos son iguales. (Esto justifica hablar de "el conjunto vacío" y no de "un conjunto vacío").
  • El único subconjunto del conjunto vacío es él mismo:

 A \subseteq \varnothing \; \text{ solo si } \; A = \varnothing

 | \varnothing | = 0

Muchas afirmaciones sobre el conjunto vacío son trivialmente ciertas, debido a la siguiente propiedad:

Sea una propiedad expresada mediante un predicado (como "ser mortal" o "ser un número primo"). Entonces todos los elementos del conjunto vacío poseen esa propiedad.

Este teorema es cierto porque el conjunto vacío no tiene elementos, y decir "todo hombre en Ø; es inmortal" es lo mismo que afirmar que "no hay ningún hombre mortal en Ø", y esto último es trivialmente cierto.

Además, el conjunto vacío actúa como el cero en las operaciones del álgebra de conjuntos:

  • Para todo conjunto A, el conjunto vacío es subconjunto de A:

\varnothing \subseteq A

  • Para todo conjunto A, la unión de A con el conjunto vacío es A:

A \cup \varnothing = A

  • Para todo conjunto A, la intersección de A con el conjunto vacío resulta en el conjunto vacío:

A \cap \varnothing = \varnothing

A \times \varnothing = \varnothing \times A = \varnothing

Problemas comunes

El conjunto vacío, a pesar de contener nada, sigue siendo algo en sí mismo: un conjunto. Esta distinción es importante si situamos a los conjuntos en un contexto. Por ejemplo, si imaginamos a los conjuntos como bolsas, capaces de contener distintos elementos, el conjunto vacío sería aquella bolsa sin elementos dentro; pero aun así seguiría siendo una bolsa.

Es por esto que el conjunto potencia siempre contiene al conjunto vacío.

Todo conjunto es subconjunto de sí mismo, por lo tanto, el conjunto vacío es vacío en el sentido de su cardinalidad (que es igual a 0), y no en el sentido de su identidad.

Véase también

Referencias

  1. Weil, André (1992). The apprenticeship of a mathematician. Birkhäuser. ISBN 9783764326500.  Página 114.
  • Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
  • Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Conjunto vacío — El conjunto vacío es el conjunto matemático que no tiene ningún elemento. Se representa con el símbolo ∅ o simplemente como . Algunas de sus propiedades son: ● Para cualquier conjunto zA, el conjunto vacío es un subconjunto de A: ⊆ A. ● Para… …   Enciclopedia Universal

  • Conjunto (programación) — Saltar a navegación, búsqueda Un Conjunto es una Estructura de datos que consiste en una colección de elementos cuyo orden o cantidad de repeticiones no es observado. Es decir, { 1 2 3 } { 1 3 2 } { 1 2 1 2 3 } son el mismo conjunto. Para… …   Wikipedia Español

  • Vacío (desambiguación) — Vacío puede hacer referencia a: Contenido 1 Ciencia 2 Filosofía 3 Psicología 4 Además Ciencia El vacío o espacio en a …   Wikipedia Español

  • vacío — vacío, a (Del lat. vacīvus). 1. adj. Falto de contenido físico o mental. 2. Dicho de una hembra: Que no puede tener cría. 3. Dicho de un sitio: Que está con menos gente de la que puede concurrir a él. 4. Hueco, o falto de la solidez… …   Diccionario de la lengua española

  • conjunto — conjunto, ta adjetivo 1. Que está unido, se da al mismo tiempo o tiende al mismo fin que otra cosa: una visión conjunta de los problemas urbanos, un esfuerzo conjunto. La actuación conjunta de las fuerzas de orden público abortó la acción… …   Diccionario Salamanca de la Lengua Española

  • conjunto — conjunto, ta (Del lat. coniunctus). 1. adj. Unido o contiguo a otra cosa. 2. Mezclado, incorporado con otra cosa diversa. 3. Aliado, unido a alguien por el vínculo de parentesco o de amistad. 4. m. Agregado de varias personas o cosas. 5. Juego de …   Diccionario de la lengua española

  • Conjunto abierto — En topología y los temas relacionados de las matemáticas, un conjunto U se llama abierto si, intuitivamente hablando, se puede menear o cambiar cualquier punto x en U en una cantidad pequeña en cualquier dirección y todavía permanecer interior a… …   Wikipedia Español

  • Conjunto — (Derivado de junto < lat. junctus, part. de jungere, juntar.) ► adjetivo 1 Que está unido a otra cosa: ■ realizaron un esfuerzo conjunto; la conjunta consecución de los hechos ayudó a la resolución del conflicto. SINÓNIMO anexo complejo junto… …   Enciclopedia Universal

  • Conjunto universal — …   Wikipedia Español

  • Conjunto bien ordenado — En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo. Equivalentemente, puede decirse que un conjunto A es bien ordenado si es totalmente ordenado …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”