Multzo huts

Multzo hutsaren ikurra

Multzo hutsa {}, ∅ edo ${\displaystyle \emptyset }$ ikurraz adierazi daiteke[1]. Azken bi sinbolo horiek Bourbaki taldeak (bereziki André Weil-ek) sartu zituen 1939an, daniar eta norvegiar alfabetoetako Ø letrak inspiratuta.[3] Iraganean, "0" multzo hutsaren zeinu gisa erabiltzen zen, baina orain notazioaren erabilera onartezina dela jotzen da.[4]

∅ ikurra Unicodeko U+2205 puntuan dago eskuragarri.[5]

Multzo-teoria axiomatiko estandarretan, bi multzo berdinak dira elementu berdinak badituzte. Ondorioz, elementurik gabeko multzo bat egon daiteke. Horregatik erabiltzen da “multzo hutsa” terminoa, eta ez “multzo huts bat”.

Hurrengo zerrendan multzo hutsaren propietate aipagarri batzuk zerrendatzen dira.

Bertan erabiltzen diren sinbolo matematikoei buruz gehiago jakiteko, ikusi sinbolo matematikoen zerrenda.

A multzo guztietarako:

• Multzo hutsa A-ren azpimultzoetako bat da:

${\displaystyle \forall A:\;\varnothing \subseteq A}$

• A-ren eta multzo hutsaren bildura A multzoa da:

${\displaystyle \forall A:\;A\cup \varnothing =A}$

• A-ren eta multzo hutsaren arteko ebakidura multzo hutsa da:

${\displaystyle \forall A:\;A\cap \varnothing =\varnothing }$

• A-ren eta multzo hutsaren biderkadura kartesiarra multzo hutsa da:

${\displaystyle \forall A:\;A\times \varnothing =\varnothing \times A=\varnothing }$

Multzo hutsak hurrengo propietateak betetzen ditu:

• Multzo hutsaren azpimultzo bakarra hura bera da, multzo hutsa:

${\displaystyle \forall A:\;A\subseteq \varnothing \;\Rightarrow \;A=\varnothing }$

• Multzo hutsaren potentzia-multzoak multzo hutsa bera baino ez dauka:

  ${\displaystyle 2^{\varnothing }=\{\varnothing \}\,.}$

• Multzo hutsaren elementuen kopurua (hau da, bere zenbaki kardinal) zero da; bereziki, multzo hutsa multzo finitu bat da:

${\displaystyle |\varnothing |=0}$

honela ere adieraz daiteke:

${\displaystyle {Card}(\varnothing )=0}$

Multzoa, hutsaren eta zeroren arteko lotura haratago doa, ordea: zenbaki naturalen multzoen definizio teoriko estandarrean, multzoak zenbaki naturalak modelatzeko erabili ohi dira. Testuinguru honetan, zero zenbaki hutsaren arabera modelatzen da.

Edozein P propietaterentzat:

• ∅-ko edozein elementurentzat, P propietateak betetzen du (egi hutsa).
• Ez dago ∅-ko elementurik P propietateak betetzen duenik.

Alderantziz, P propietate eta V multzo batentzat, hurrengo bi adierazpenak betetzen dira:

• Edozein V-ko elementurentzat P propietatea betetzen da.
• Ez dago P propietatea betetzen duen V-ko elementurik.

Beraz, V = ∅

Azpimultzoaren definizioa jakinik, multzo hutsa edozein A multzoren azpimultzo da.  Hau da, ∅-ko edozein x elementu A-ren barne dago. Izan ere, ez balitz izango egia ∅-ko elementu guztiak A-n daudela, gutxienez ∅-ko elementu bat egongo litzateke. Baina elementurik ez dagoenez ∅-n , ez da existituko ∅-ko elementurik ez dagoena A-n.