Prébase

Dans cet article, nous allons approfondir le sujet de Prébase, un aspect fondamental qui a gagné en importance ces dernières années. Prébase est un sujet qui impacte significativement différents domaines, de la sphère personnelle à la sphère professionnelle. Dans cette optique, nous analyserons les différentes dimensions couvertes par Prébase, ainsi que son influence sur la société actuelle. De même, nous approfondirons les aspects spécifiques liés à Prébase, dans le but de fournir une perspective complète et mise à jour sur ce sujet. De plus, nous explorerons différentes perspectives et approches sur Prébase, afin de proposer une vision globale et enrichissante. Sans aucun doute, Prébase est un sujet d’une grande importance qui mérite d’être abordé avec attention et en profondeur, c’est pourquoi nous aborderons ses différents aspects tout au long de cet article.

En mathématiques, plus précisément en topologie, une prébase A d'une topologie T sur un ensemble X est un ensemble de parties de X qui engendre T, c'est-à-dire tel que T soit la plus petite topologie sur X pour laquelle tous les éléments de A sont des ouverts.

Lien avec la notion de base

Un ensemble de parties d'un ensemble X est toujours une prébase d'une certaine topologie sur X (celle qu'il engendre), ce qui est une différence avec la notion de base d'une topologie : un ensemble de parties de X n'est une base d'une certaine topologie que si l'intersection de deux éléments quelconques de cet ensemble est une union d'éléments de ce même ensemble.

Toute prébase n'est donc pas toujours une base, mais permet d'en construire une : il suffit en effet de la clôturer par intersection finie pour obtenir une base définissant la même topologie. En revanche, toute base d'une certaine topologie est bien sûr également une prébase pour cette topologie.

Topologie engendrée

Soient X un ensemble et A un ensemble de parties de X.

Il existe des topologies sur X qui contiennent A (ne serait-ce que la topologie discrète). Parmi elles, il en existe une « moins fine que » (c.-à-d. « plus petite que », au sens : « incluse dans ») toutes les autres. En effet, toute intersection de topologies sur X est une topologie sur X ; il suffit donc de faire l'intersection de toutes les topologies sur X contenant A.

On l'appelle la topologie sur X engendrée par A.

On vient de la construire de l'extérieur. On peut aussi la construire « de l'intérieur », en deux étapes. Dans un premier temps, on complète A en formant l'ensemble B de toutes les intersections finies d'éléments de A (en convenant ici que l'intersection indexée par l'ensemble vide est X). Alors, B est la base d'une topologie, qui n'est autre que celle engendrée par A.

En clair, une partie P de X est ouverte pour la topologie engendrée par A si et seulement si P est réunion (quelconque) d'intersections finies d'éléments de A.

Prébase

Soient X un ensemble, A un ensemble de parties de X, et T une topologie sur X.

On dit que A est une prébase de T si la topologie sur X engendrée par A est égale à T.

Propriétés

  • La caractérisation de la continuité d'une application f : X → Y (où X, Y désignent deux espaces topologiques) se simplifie si l'on dispose d'une prébase A de la topologie sur Y (autrement dit : si la topologie sur Y est celle engendrée par A) :
f est alors continue si (et seulement si) pour tout élément U de la prébase A, f−1(U) est un ouvert de X.
  • Soit A une prébase de la topologie sur X. Pour tout point x de X, l'ensemble, noté Ax, des ouverts de A qui contiennent x, est une prébase du filtre des voisinages de x[1]. Il en résulte qu'un filtre converge vers un élément x si et seulement si il contient Ax (puisqu'il contiendra alors le filtre des voisinages de x).
  • Théorème d'Alexander — Soit A une prébase d'un espace topologique X. Pour que X soit quasi-compact, il suffit que tout recouvrement de X par des ouverts de A possède un sous-recouvrement fini.
    (Lorsque A est une base, il est beaucoup plus facile de démontrer que cette condition est suffisante.)
Démonstration[2]

Supposons que cette condition est réalisée. Pour montrer que X est quasi-compact, montrons par l'absurde que tout ultrafiltre U sur X converge. Supposons donc que U diverge, c'est-à-dire (avec les notations du point précédent) ne contient aucun Ax : pour tout point x, soit Ox un ouvert de Ax n'appartenant pas à U. L'espace X est recouvert par les Ox donc, par hypothèse, par un nombre fini d'entre eux, ce qui est impossible car (cf. Définitions des ultrafiltres) si une réunion finie A1 ∪ … ∪ An de parties de X appartient à un ultrafiltre U sur X, alors au moins l'un des Ak appartient à U.

Le théorème de Tykhonov se déduit immédiatement de celui d'Alexander[3].

Exemples

Notes et références

  1. ↑ (en) M. G. Murdeshwar, General Topology, New Age International, , 2e éd., 357 p. (ISBN 978-81-224-0246-9, lire en ligne), p. 104.
  2. ↑ Murdeshwar 1990, p. 154. Pour une démonstration n'utilisant pas la théorie des filtres, voir (en) John L. Kelley, General Topology, Van Nostrand, (lire en ligne), p. 139-140, Olivier Brinon, « Le théorème de Tychonoff », , p. 3-4 ou « Preuve du théorème d'Alexander » sur Wikiversité.
  3. ↑ Murdeshwar 1990, p. 155.

Bibliographie