Barita aro

Barita aro – en analitiko kaj rilatantaj areoj de matematiko aro,kiu estas en certa senco de finia amplekso. Male aro, kiu ne estas barita estas nomata nebarita. Konkreta difino dependas de kunteksto.

 Partaj ordoj 
Estu   parta ordo kaj ankaŭ ke  kaj . Tiam:
 elemento  estas supera baro de aro  se ,
 elemento  estas suba baro de aro   se 

Se ekzistas supera baro por aro , tiam aro estas nomita supre barita aro. Se ekzistas suba baro por aro , tiam aro estas nomita sube barita aro.

Barita aro estas aro kiu havas ambaŭ (suban kaj superan) barojn .

Rimarku: Ĉiu elemento de aro  estas samtempe supera kaj suba baro de malplena aro.

Metrika spaco
Estu   metrika spaco. Aro   estas barita en  se ĝin enhavas pilko kun finia radiuso.

Egale, nemalplena aro  estas barita tiam kaj nur tiam, kiam aro  estas supre barita (kiel aro de reelaj nombroj).

 Vidu ankaŭ 
 Baro (matematiko)

Kategorio:Aro-teorio