Interieur (topologie)


Interieur (topologie)

Intérieur (topologie)

Page d'aide sur l'homonymie Pour les articles homonymes, voir intérieur.

En mathématiques, l'intérieur est une notion de topologie appliquée à une partie d'un espace topologique ou à une variété à bord.

Dans le premier cas, l'intérieur d'une partie est sa plus grande sous-partie ouverte. Il est constitué des points de cette partie qui ne « touchent » pas le complémentaire, au sens où ils admettent un voisinage qui en est disjoint.
Cette définition s'applique en particulier aux parties d'espace métrique ou d'espace euclidien.

L'intérieur d'une variété à bord est défini comme le complémentaire du bord. Dans ce cas il est intrinsèque, au sens où il ne dépend pas d'un plongement de la variété dans un espace plus grand. Cependant, les deux définitions coïncident pour une variété compacte plongée en codimension zéro.

Dans les deux cas, l'intérieur se note soit à l'aide d'un petit cercle suscrit, soit par une notation préfixe avec l'abréviation int :

\stackrel{\ \circ}{A} = \mathrm{int}(A)

Sommaire

Topologie générale

Constructions équivalentes

La définition de l'intérieur d'une partie comme la plus grande sous-partie ouverte nécessite une démonstration de son existence.

La réunion de tous les ouverts inclus dans une partie forme elle-même un ouvert inclus dans cette partie. Par construction, elle inclut tous les autres, c'est donc une construction de l'intérieur de la partie.

Il est aussi possible de définir les points intérieurs d'une partie comme les points dont la partie est un voisinage. Tous ces points intérieurs appartiennent donc à des ouverts inclus dans la partie donc appartiennent à l'intérieur. Réciproquement, l'intérieur est un voisinage de tous ses points donc ne contient que des points intérieurs. Finalement, l'intérieur peut aussi se définir comme l'ensemble des points intérieurs.

Propriétés

  • Une partie est ouverte si et seulement si elle est égale à son intérieur ;
  • idempotence : l'intérieur de l'intérieur est égal à l'intérieur ;
  • croissance pour l'inclusion : si A est une sous-partie de B alors int(A) est une sous-partie de int(B).

Exemples

  • Dans n'importe quel espace topologique, l'intérieur de l'ensemble vide est l'ensemble vide.
  • Dans l'espace euclidien R des nombres réels muni de la topologie usuelle :
    • l'intérieur du segment [0, 1] est l'intervalle ouvert ]0, 1[ ;
    • l'intérieur de l'ensemble Q des nombres rationnels est vide.
  • Dans l'espace des nombres complexes, alors l'intérieur de l'ensemble {zC / |z| ≥ 1} est l'ensemble {zC / |z| > 1}.
  • Dans tout espace euclidien, l'intérieur d'un ensemble fini est l'ensemble vide.
  • Dans une espace discret où toute partie est ouverte, toute partie est son propre intérieur.
  • Dans un espace muni de la topologie grossière où les seuls ouverts sont l'espace total et l'ensemble vide, toute partie stricte est d'intérieur vide.

L'intérieur d'une partie dépend de la topologie considérée. Dans le cas de R :

  • muni de la topologie de la limite inférieure, int([0, 1]) = [0, 1)[réf. nécessaire].
  • muni de la topologie discrète, int([0, 1]) = [0, 1].
  • muni de la topologie grossière int([0, 1]) est l'ensemble vide.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Int%C3%A9rieur (topologie) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Interieur (topologie) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Intérieur (topologie) — Pour les articles homonymes, voir intérieur. En mathématiques, l intérieur est une notion de topologie appliquée à une partie d un espace topologique. On définit aussi et de façon différente l intérieur d une variété à bord. Soit E un espace… …   Wikipédia en Français

  • Intérieur (mathématiques) — Intérieur (topologie) Pour les articles homonymes, voir intérieur. En mathématiques, l intérieur est une notion de topologie appliquée à une partie d un espace topologique ou à une variété à bord. Dans le premier cas, l intérieur d une partie est …   Wikipédia en Français

  • Interieur — Intérieur Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Topologie de la droite réelle — Richard Dedekind (1831 1916) a défini rigoureusement les nombres réels et posé les bases de leur étude topologique. La topologie de la droite réelle (ou topologie usuelle de R) est une structure mathématique qui donne, pour l ensemble des nombres …   Wikipédia en Français

  • Intérieur — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Intérieur », sur le Wiktionnaire (dictionnaire universel) En mathématiques et selon le contexte, l… …   Wikipédia en Français

  • TOPOLOGIE - Topologie générale — Les notions de continuité et de limite ont une origine intuitive et l’on se propose d’analyser ici cette intuition. Considérons, par exemple, la description de la tangente T à une courbe (fig. 1) telle qu’on la trouve dans les manuels classiques… …   Encyclopédie Universelle

  • TOPOLOGIE - Topologie différentielle — La topologie différentielle, que l’on devrait plutôt appeler «topologie des variétés », est une discipline mathématique assez ancienne par les problèmes qu’elle cherche à résoudre: ils étaient presque tous posés au début du siècle; mais ses… …   Encyclopédie Universelle

  • Topologie de reseau — Topologie de réseau Pour les articles homonymes, voir Topologie. Une topologie de réseau est en informatique une définition de l architecture d un réseau. Elle donne une certaine disposition des différents postes informatiques du réseau et une… …   Wikipédia en Français

  • Topologie réseau — Topologie de réseau Pour les articles homonymes, voir Topologie. Une topologie de réseau est en informatique une définition de l architecture d un réseau. Elle donne une certaine disposition des différents postes informatiques du réseau et une… …   Wikipédia en Français

  • Topologie grossiere — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.