En mathématiques, un espace topologique X est dit collectivement normal s'il vérifie la propriété de séparation suivante, strictement plus forte que la normalité et plus faible que la paracompacité :X est séparé et pour toute famille discrète (Fi)i∈I de fermés de X, il existe une famille (Ui)i∈I d'ouverts disjoints telle que pour tout i, Fi ⊂ Ui.Tout sous-espace Fσ — en particulier tout fermé — d'un espace collectivement normal est collectivement normal.Tout espace monotonement normal — en particulier tout espace métrisable — est (héréditairement) collectivement normal.

PropertyValue
dbpedia-owl:abstract
  • En mathématiques, un espace topologique X est dit collectivement normal s'il vérifie la propriété de séparation suivante, strictement plus forte que la normalité et plus faible que la paracompacité :X est séparé et pour toute famille discrète (Fi)i∈I de fermés de X, il existe une famille (Ui)i∈I d'ouverts disjoints telle que pour tout i, Fi ⊂ Ui.Tout sous-espace Fσ — en particulier tout fermé — d'un espace collectivement normal est collectivement normal.Tout espace monotonement normal — en particulier tout espace métrisable — est (héréditairement) collectivement normal. Un espace collectivement normal n'est pas nécessairement dénombrablement paracompact. Cependant, un théorème de Robert Lee Moore établit que tout espace de Moore (en) collectivement normal est métrisable.
  • In mathematics, a topological space is called collectionwise normal if for every discrete family Fi (i ∈ I) of closed subsets of there exists a pairwise disjoint family of open sets Ui (i ∈ I), such that Fi ⊂ Ui. A family of subsets of is called discrete when every point of has a neighbourhood that intersects at most one of the sets from .An equivalent definition demands that the above Ui (i ∈ I) are themselves a discrete family, which is stronger than pairwise disjoint. Many authors assume that is also a T1 space as part of the definition, i. e., for every pair of distinct points, each has an open neighborhood not containing the other. A collectionwise normal T1 space is a collectionwise Hausdorff space.Every collectionwise normal space is normal (i. e., any two disjoint closed sets can be separated by neighbourhoods), and every paracompact space (i. e., every topological space in which every open cover admits a locally finite open refinement) is collectionwise normal. The property is therefore intermediate in strength between paracompactness and normality.Every metrizable space (i. e., every topological space that is homeomorphic to a metric space) is collectionwise normal. The Moore metrisation theorem states that every collectionwise normal Moore space is metrizable.An Fσ-set in a collectionwise normal space is also collectionwise normal in the subspace topology. In particular, this holds for closed subsets.
dbpedia-owl:wikiPageID
  • 7656890 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2927 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 18 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 110351879 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:année
  • 1989 (xsd:integer)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lang
  • en
prop-fr:lienAuteur
  • Ryszard Engelking
prop-fr:nom
  • Engelking
prop-fr:prénom
  • Ryszard
prop-fr:titre
  • General Topology
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • En mathématiques, un espace topologique X est dit collectivement normal s'il vérifie la propriété de séparation suivante, strictement plus forte que la normalité et plus faible que la paracompacité :X est séparé et pour toute famille discrète (Fi)i∈I de fermés de X, il existe une famille (Ui)i∈I d'ouverts disjoints telle que pour tout i, Fi ⊂ Ui.Tout sous-espace Fσ — en particulier tout fermé — d'un espace collectivement normal est collectivement normal.Tout espace monotonement normal — en particulier tout espace métrisable — est (héréditairement) collectivement normal.
  • In mathematics, a topological space is called collectionwise normal if for every discrete family Fi (i ∈ I) of closed subsets of there exists a pairwise disjoint family of open sets Ui (i ∈ I), such that Fi ⊂ Ui. A family of subsets of is called discrete when every point of has a neighbourhood that intersects at most one of the sets from .An equivalent definition demands that the above Ui (i ∈ I) are themselves a discrete family, which is stronger than pairwise disjoint.
rdfs:label
  • Espace collectivement normal
  • Collectionwise normal space
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of