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.

Property Value
dbo: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 collectivement normal est métrisable. (fr)
  • 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 collectivement normal est métrisable. (fr)
dbo:wikiPageID
  • 7656890 (xsd:integer)
dbo:wikiPageLength
  • 2909 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 178539676 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1989 (xsd:integer)
prop-fr:auteur
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:pagesTotales
  • 529 (xsd:integer)
prop-fr:titre
  • General Topology (fr)
  • General Topology (fr)
prop-fr:wikiPageUsesTemplate
dct: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. (fr)
  • 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. (fr)
rdfs:label
  • Collectionwise normal space (en)
  • Espace collectivement normal (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of