Namespaces
Variants
Actions

Difference between revisions of "Locally finite family"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
''of sets in a topological space''
+
<!--
 +
l0604001.png
 +
$#A+1 = 2 n = 0
 +
$#C+1 = 2 : ~/encyclopedia/old_files/data/L060/L.0600400 Locally finite family
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060400/l0604001.png" /> of sets such that every point of the space has a neighbourhood that intersects only finitely many elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060400/l0604002.png" />. Locally finite families of open sets and locally finite open coverings are important. Thus, a [[Regular space|regular space]] is metrizable if and only if has a base that splits into countably many locally finite families. Any open covering of a [[Metric space|metric space]] can be refined to a locally finite open covering. Spaces that have this property are called paracompact (cf. [[Paracompact space|Paracompact space]]).
+
{{TEX|auto}}
 +
{{TEX|done}}
  
 +
''of sets in a topological space''
  
 +
A family  $  F $
 +
of sets such that every point of the space has a neighbourhood that intersects only finitely many elements of  $  F $.
 +
Locally finite families of open sets and locally finite open coverings are important. Thus, a [[Regular space|regular space]] is metrizable if and only if has a base that splits into countably many locally finite families. Any open covering of a [[Metric space|metric space]] can be refined to a locally finite open covering. Spaces that have this property are called paracompact (cf. [[Paracompact space|Paracompact space]]).
  
 
====Comments====
 
====Comments====
 
See also [[Locally finite covering|Locally finite covering]].
 
See also [[Locally finite covering|Locally finite covering]].

Latest revision as of 22:17, 5 June 2020


of sets in a topological space

A family $ F $ of sets such that every point of the space has a neighbourhood that intersects only finitely many elements of $ F $. Locally finite families of open sets and locally finite open coverings are important. Thus, a regular space is metrizable if and only if has a base that splits into countably many locally finite families. Any open covering of a metric space can be refined to a locally finite open covering. Spaces that have this property are called paracompact (cf. Paracompact space).

Comments

See also Locally finite covering.

How to Cite This Entry:
Locally finite family. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Locally_finite_family&oldid=17562
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article