Malplena aro: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Xqbot (diskuto | kontribuoj)
e roboto aldono de: ku:Koma vala; cosmetic changes
Linio 1:
En [[matematiko]] kaj pli aparte en [[aroteorio]], '''malplena aro''' estas la unika [[Aro (matematiko)|aro]] kiu ne enhavas erojn. En [[aksioma aroteorio]] estas postulatita ĝia ekzisto per la [[aksiomo de malplena aro]] kaj ĉiuj finiaj aroj estas konstruitaj de ĝi. La malplena aro estas ankaŭ nomata kiel '''nula aro''', sed ĉar [[nula aro]] signifas ion alian en [[mezura teorio]], uzo de ĉi tiu termino por malplena aro estas ĝenerale evitinda.
 
Diversaj eblaj propraĵoj de aroj estas [[Bagatelecobagateleco (matematiko)|bagatele]] veraj por la malplena aro.
 
== Skribmaniero ==
Linio 25:
* La sola subaro de la malplena aro estas la malplena aro:
*: ∀''A'': ''A'' ⊆ <math>\varnothing</math> ⇒ ''A'' = <math>\varnothing</math>
* La nombro de eroj de la malplena aro (tio estas ĝia [[kardinala nombro|kardinalo]]) estas [[nulo]]; kaj malplena aro estas [[finia]]:
*: |<math>\varnothing</math>| = 0
* Por ĉiu propraĵo:
Linio 91:
== La malplena aro kaj nulo ==
 
Ĝi estis menciita pli frua (tiu, ke) la malplena aro havas [[Nulo|n]]ulaj eroj, aŭ (tiu, ke) ĝia kardinalo estas nulo. La ligo inter la du (konceptoj, konceptas) iras plui tamen: en la norma [[aro-teoria difino de naturaj nombroj]], nulo estas ''difinita'' kiel la malplena aro.
 
== Teorio de kategorioj ==