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 |
Maksim (diskuto | kontribuoj) |
||
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 [[
== 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ŭ
== Teorio de kategorioj ==
|