Malplena aro: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
Maksim-bot (diskuto | kontribuoj)
malmajuskligo
Linio 95:
Ĝ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 Dede Kategoriojkategorioj ==
 
Se ''A'' estas aro, tiam tie ekzistas precize unu [[funkcio]] ''f'' de {} al ''A'', la [[malplena funkcio]].
Kiel rezulto, la malplena aro estas la unika [[komenca objekto]] de la [[Teorio Dede Kategoriojkategorioj|kategorio]] de aroj kaj funkcioj.
 
La malplena aro povas esti (turnita, turnis) enen [[topologia spaco]] en nur unu vojo (per difinanta la malplena aro al esti (malfermi, malfermita)); ĉi tiu malplena topologia spaco estas la unika komenca objekto en la kategorio de topologiaj spacoj kun [[Kontinua funkcio (topologio)|kontinua]] (mapoj, mapas).