Fermita aro: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Addbot (diskuto | kontribuoj)
e Roboto: Forigo de 26 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q320357)
e kunaĵo → kunigaĵo laŭ NPIV http://vortaro.net/#kunigaĵo
Linio 11:
Fermita aro enhavas sian [[rando (topologio)|randon]]. En aliaj vortoj, se esti sur la rando kie iri eksteren iel ajn proksime oni okazos ekster la aro. Noto ke ĉi tiu estas vera ankaŭ se la rando estas la [[malplena aro]], ekzemple en la metrika spaco de racionalaj nombroj, por la aro de nombroj kies la [[kvadrato (algebro)|kvadrato]] estas malpli ol granda ol 2.
 
* Ĉiu [[komunaĵo]] de ajne multaj fermitaj aroj estas fermita kaj ĉiu [[kunaĵokunigaĵo]] de [[finia aro|finia kvanto]] de fermitaj aroj estas fermita.
* La [[malplena aro]] kaj la tuta spaco estas fermitaj.
* La komunaĵa propraĵo ankaŭ permesas difini la [[fermaĵo]]n de aro ''A'' en spaco ''X'', kiu estas difinita kiel la plej malgranda fermita subaro de ''X'' kiu estas [[superaro]] de ''A''. Aparte, la fermaĵo de ''A'' povas esti konstruita kiel la komunaĵo de ĉiuj fermitaj superaroj.
Linio 17:
* Aro povas esti fermita kaj malfermita, ĉi tia aro estas nomata kiel [[fermito-malfermita aro]].
 
Aro kiu povas esti konstruita kiel kunaĵokunigaĵo de [[kalkuleble multaj]] fermita aroj estas ''[[F-sigma aro]]'' (''F<sub>σ</sub>''). Ĉi tia aro ne nepre estas fermita.
 
== Ekzemploj ==