« Espaces vectoriels normés/Connexité » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Définition : syntaxe modèle |
m Orth. |
||
Ligne 108 :
;Remarque :
*Pour montrer qu'une partie est un intervalle, il est possible de montrer qu'elle est connexe. Même si cela n'est pas forcément le plus courant, cela peut s'avérer utile.
*
=== Continuité et connexité ===
Ligne 138 :
;Remarque :
*On voit encore apparaître le fait que si <math>A</math> est composée d'une union disjointe d'ouverts, on va pouvoir définir des fonctions dans <math>\{0;1\}</math> qui prennent des valeurs différentes sur chaque ouvert, et qui seront
{{Théorème
Ligne 150 :
{{Démonstration déroulante
|contenu =
:Soit <math>U\cup V</math> un recouvrement en deux ouverts disjoints de <math>f(A)</math>. La continuité de <math>f</math> implique
:On a donc l'un des deux ouverts qui est vide. Si par exemple <math>f^{-1}(U)=\emptyset </math>, alors <math>U=f(f^{-1}(U))=\emptyset</math>.
:Ce qui prouve la connexité de <math>f(A)</math>.
Ligne 165 :
== Connexité par arcs ==
Nous allons maintenant nous intéresser à une notion un peu plus forte : la connexité par arcs. On introduit pour cela la notion d'arc, qui est une courbe reliant deux points pour faire simple. Une partie est alors connexe par arcs si, étant donné deux points dans cette partie, on peut trouver une courbe reliant ces deux points sans sortir de cette partie. Cette propriété est souvent plus simple à démontrer que la connexité, mais la connexité par arcs d'une partie implique sa connexité, la réciproque étant fausse mais les contre-exemples sont assez délicats à manipuler au premier abord. Intuitivement, si l'on peut toujours joindre deux points par une courbe, alors la partie considérée ne peut pas être en plusieurs morceaux.
{{Définition
Ligne 197 :
== Convexité ==
Les notions de connexité et de connexité par arcs dépassent largement le cadre des e.v.n., cependant la structure algébrique d'espace vectoriel va nous permettre d'introduire une autre notion peut-être plus simple pour le lecteur débutant : la convexité.
Géométriquement, <math>A</math> est convexe si tous les segments que l'on peut constituer à partir de point de <math>A</math> sont inclus dans <math>A</math>. Les
Concrètement, l'idée ci-dessus se traduit dans la définition suivante :
{{Définition
Ligne 227 :
La proposition suivante est quasimment immédiate à partir de la définition, la démonstration ne figurant qu'à titre d'exemple.
Cependant, le résultat est très important pour démontrer qu'un espace est connexe par arcs
{{Propriété
|