upright=0.6|thumb|El conxuntu vacíu ye aquel que nun tien elementos. En matemátiques, particularmente na Teoría axomática de Conxuntos de ZF el conxuntu vacíu ye'l conxuntu qu'escarez d'elementos. Yá que lo único que define a un conxuntu son los sos elementos, el conxuntu vacíu ye únicu.
Delles propiedaes de los conxuntos son trivialmente ciertes pal conxuntu vacíu. Nuna teoría axomática de conxuntos, la esistencia d'un conxuntu vacíu postúlase.
Definición y notación upright=0.6|thumb|right|Símbolu del conxuntu vacíu El conxuntu vacíu ye'l conxuntu que nun contién elementos.
El conxuntu vacíu ye denotado polos símbolos:
derivaos de la lletra Ø de les llingües danesa y noruega, ente otres. Esta notación foi introducida por André Weil en 1939. Páxina 114. Otra notación común pal conxuntu vacíu ye la notación estensiva, especificando los sos elementos (nengunu) ente llaves:
Propiedaes Xustifícase falar de «el conxuntu vacíu» y non de «un conxuntu vacíu». El conxuntu vacíu tien ciertes propiedaes:
Munches afirmaciones sobre'l conxuntu vacíu son trivialmente ciertes, por cuenta de la siguiente propiedá:
Esti teorema ye ciertu porque'l conxuntu vacíu nun tien elementos, y dicir «tou home en ye inmortal» ye lo mesmo qu'afirmar que «nun hai nengún home mortal en », y esto postreru ye trivialmente ciertu. Amás, el conxuntu vacíu actúa como'l cero nes operaciones del álxebra de conxuntos:
Adicionalmente, el conxuntu potencia del conxuntu vacíu ye'l que contién namái al mesmu conxuntu vacíu, esto ye, . Poro, el númberu cardinal de ye .
Otres propiedaes La interseición d'un conxuntu y el so complementariu ye'l conxuntu vacíu. La diferencia de cualquier conxuntu consigo mesmu ye'l conxuntu vacíu. Na diferencia simétrica definida nun conxuntu potencia, el conxuntu vacíu ye l'elementu neutru, esto ye AΔ∅ = A Nuna partición d'un conxuntu inducida por una rellación d'equivalencia, la interseición de dos clases distintes ye'l conxuntu vacíu. El conxuntu vacíu ye elementu del conxuntu potencia de cualquier conxuntu, necesariamente.Carlos Vega: Notes de Matemática, Editorial de la Universidá de San Marcos La unión d'una familia vacía de conxuntos ye'l conxuntu vacíu la interseición d'una familia vacía de conxuntos ye'l conxuntu vacíu. ∅ figura como elementu propiu de toa topoloxía sobre X. Y ye zarráu, al empar qu'abiertu en cualquier topoloxía.Lipschitz:Topoloxía Coleición Schaumm La interseición del interior d'un conxuntu col interior del so complementariu ye ∅. El conxuntu d'elementos que'l so valor absolutu ye menor a un númberu negativu ye un conxuntu vacíu.
Ver tamién Álxebra de conxuntos Conxuntu Teoría de conxuntos Suma vacía Productu vacíu
Referencies
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.
Vacio Categoría:Cero