$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Topologie

En mathématiques, le mot topologie désigne l'étude des propriétés de continuité des fonctions, de limite des suites, etc... Mais ceci correspond aussi à une définition très précise :

Définition : Soit $\mathcal O$ une famille de parties d'un ensemble $X$. On suppose que :
  1. l'ensemble vide et $X$ sont éléments de $\mathcal O$.
  2. la réunion d'une famille quelconque d'éléments de $\mathcal O$ est encore un élément de $\mathcal O$.
  3. l'intersection d'une famille finie d'éléments de $\mathcal O$ est encore un élément de $\mathcal O$.
On dit alors que $\mathcal O$ est une topologie pour $X$. Dans ce cas, l'espace $X$ muni de cette famille s'appelle espace topologique. Les éléments de $\mathcal O$ sont appelés ouverts de $X$ (pour la topologie $\mathcal O$).

La notion d'espace topologique généralise donc celle d'espace métrique ou d'espace vectoriel normé. En effet, on prouve que la famille des ouverts d'un espace vectoriel normé (resp. d'un espace métrique) est une topologie. Bien sûr, dans la phrase précédente, il faut comprendre le mot ouvert au sens classique donné dans les espaces vectoriels normés ou espaces métriques. C'est une généralisation utile, car on prouve que certains espaces topologiques qui interviennent de façon naturelle ne peuvent pas être munis d'une structure d'espace métrique.

Consulter aussi
Recherche alphabétique
Recherche thématique