Diferencia entre revisiones de «Conjunto vacío»

Contenido eliminado Contenido añadido
m Revertidos los cambios de 152.166.117.4 (disc.) a la última edición de PatruBOT
→‎Definición y notación: He eliminado contradicciones en la definición:Se dijo que x: x distinto de x y luego que dos conjuntos vacíos son iguales
Línea 1:
[[Archivo:nullset.png|thumb|100px|El conjunto vacío es aquel que no tiene elementos.]]
En [[matemáticas]], particularmente en la [[Axiomas de Zermelo-Fraenkel|Teoría axiomática de Conjuntos de ZF]] el '''conjunto vacío''' es el [[conjunto]] que carece de [[elemento de un conjunto|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 [[Trivial (matemática)|trivialmente]] ciertas para el conjunto vacío. En una [[teoría axiomática de conjuntos]], la existencia de un conjunto vacío se postula.
 
== Definición y notación ==
: El conjunto vacío se define como {x: x ≠ x}
[[Imagen:Empty set.svg|thumb|right|100px|Símbolo del conjunto vacío]]
El conjunto vacío es el conjunto que no contiene elementos.
 
El conjunto vacío es denotado por los símbolos:
{{ecuación|1=<math> \varnothing \, \acute{\text{o}} \; \emptyset \, </math>}}
Línea 13 ⟶ 14:
 
== Propiedades ==
EstoSe justifica hablar de «el conjunto vacío» y no de «un conjunto vacío». Además, elEl conjunto vacío posee ciertas propiedades:
El conjunto vacío es único ya que lo único que distingue a un conjunto son sus elementos:
{{teorema|1=Dos conjuntos sin elementos son iguales.}}
Esto justifica hablar de «el conjunto vacío» y no de «un conjunto vacío». Además, el conjunto vacío posee ciertas propiedades:
{{teorema|1=
*El único [[subconjunto]] del conjunto vacío es él mismo: