Diferencia entre revisiones de «Conjunto vacío»
m Bot Añadido: ml:ശൂന്യഗണം |
|||
Línea 13: | Línea 13: | ||
Otra notación común para el conjunto vacío es la notación [[definición extensiva|extensiva]], especificando sus elementos (ninguno) entre [[paréntesis|llaves]]: |
Otra notación común para el conjunto vacío es la notación [[definición extensiva|extensiva]], especificando sus elementos (ninguno) entre [[paréntesis|llaves]]: |
||
: <math> \{ \} \, </math> |
: <math> \{ \} \, </math> |
||
platanos con xrema=a dos entre 500 |
|||
== Propiedades == |
== Propiedades == |
Revisión del 01:39 5 sep 2012
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4f/Nullset.png/100px-Nullset.png)
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.
Notación
El conjunto vacío es denotado por los símbolos:
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:
platanos con xrema=a dos entre 500
Propiedades
El conjunto vacío tiene las siguientes propiedades generales:
|
Muchas afirmaciones sobre el conjunto vacío son trivialmente ciertas, debido a la siguiente 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:
|
Adicionalmente, el conjunto potencia del conjunto vacío es el mismo Ø. Por lo tanto, el número cardinal de P(Ø)=1, considerando que el cardinal del conjunto vacío es cero.
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
- ↑ 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.