Malplena aro


En matematiko, kaj pli specife en aroteorio, malplena aronenioma aro[1] estas la unika aro, kiu ne enhavas elementojn. En aksioma aroteorio ĝia ekzisto estas postulata per la aksiomo de malplena aro kaj ĉiuj finiaj aroj estas konstrueblaj pere de ĝi. La malplena aro estas fojfoje nomata nula aro, sed ĉar nula aro signifas ion alian en teorio de mezuro, uzo de ĉi tiu termino por malplena aro estas ĝenerale evitinda.

Diversaj ĝeneralaj ecoj de aroj estas triviale veraj por la malplena aro.

Enhavo

Notacio


La norma notacio por malplena aro estas la simbolo \({\displaystyle \varnothing }\) aŭ ∅. Oni ne konfuzu tiun ĉi signon kun la skandinava vokalo Øø kaj la greka litero Φ.

Por kompari, vidu la tri signojn kune: ∅ Øø Φ – la signo de malplena aro estas bazita sur geometria cirklo, sed la skandinava litero similas al ovalo kiel litero 'O'.

La signo de malplena aro "∅" havas unikodan kodon U+2205. Komuna TeX-a pakaĵo uzas por ĝi skribojn \emptyset kaj \varnothing, kiuj respektive aperas kiel:

\({\displaystyle \emptyset ,\varnothing }\)

Alia komuna notacio por la malplena aro estas {}.

Ecoj


tiam V = \({\displaystyle \varnothing }\)

Rolo de malplena aro en matematiko


Estas dirita, ke kun la malplena aro ekas la matematiko, ĉar oni povus uzi ĝin por ekkrei la entjerojn ; ek de la entjeroj oni kreas la aliajn nombrojn, ktp.

Laŭ John von Neumann, tiel oni procedas :

Jene oni povus difini ĉiujn entjerojn, uzante nur unu aĵon.

Matematikistoj kutime parolas pri "la malplena aro", ĉar laŭ aroteorio du aroj estas samaj, se ili havi la samajn erojn; pro tio povas esti nur unu aro sen eroj.

Referencoj


Vidu ankaŭ










Kategorioj: Aroteorio




Informoj kiel: 31.10.2020 06:23:01 CET

Fonto: Wikipedia (Aŭtoroj [Historio])    Permesilo: CC-BY-SA-3.0

Ŝanĝoj: Ĉiuj bildoj kaj plej multaj desegnaj elementoj rilataj al tiuj estas forigitaj. Iuj Ikonoj estis anstataŭigitaj per FontAwesome-Ikonoj. Iuj ŝablonoj estis forigitaj (kiel "artikolo bezonas vastiĝon) aŭ atribuitaj (kiel" hatnotoj). CSS-klasoj estis aŭ forigitaj aŭ harmoniigitaj.
Vikipedio-ligoj, kiuj ne kondukas al artikolo aŭ kategorio (kiel "Redlinks", "ligoj al la redaktopaĝo", "ligoj al portaloj") estis forigitaj. Ĉiu ekstera ligo havas plian FontAwesome-Ikonon. Krom kelkaj malgrandaj ŝanĝoj de dezajno, rimedo-ujo, mapoj, navigado-skatoloj, parolitaj versioj kaj Geo-mikroformatoj estis forigitaj.

Bonvolu rimarki: Ĉar la donita enhavo estas aŭtomate prenita el Vikipedio en la donita tempo, mana kontrolado estis kaj ne eblas. Tial LinkFang.org ne garantias la ekzaktecon kaj aktualecon de la akirita enhavo. Se estas informo malĝusta tiutempe aŭ malĝusta ekrano, bonvolu senti vin libera. kontaktu nin: retpoŝto.
Vidu ankaŭ: Presaĵo & Privateca politiko.