Plan de Sorgenfrey

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, le plan de Sorgenfrey est un espace topologique souvent utilisé, à plusieurs titres, comme contre-exemple[1]. C'est le produit S×S de la droite de Sorgenfrey S par elle-même. Robert Sorgenfrey a démontré que le plan S×S est non normal (donc non paracompact), tandis que la droite S est paracompacte (donc normale)[2].

Définition[modifier | modifier le code]

Le plan de Sorgenfrey S×S est l'ensemble produit ×ℝ, muni de la topologie dont une base d'ouverts est constituée des rectangles de la forme [a, b[×[c, d[, c'est-à-dire que les ouverts de S×S sont les réunions de tels rectangles.

Propriétés[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. (en) Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, Dover,‎ 1995 (ISBN 978-0-486-68735-3)
  2. (en) R. H. Sorgenfrey, « On the topological product of paracompact spaces », Bull. Amer. Math. Soc., vol. 53,‎ 1947, p. 631-632 (lire en ligne)

Article connexe[modifier | modifier le code]

Plan de Moore