CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
SITEMAP
Audiobooks by Valerio Di Stefano: Single Download - Complete Download [TAR] [WIM] [ZIP] [RAR] - Alphabetical Download  [TAR] [WIM] [ZIP] [RAR] - Download Instructions

Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
Connexité (mathématiques) - Wikipédia

Connexité (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff ?).
Pour les articles homonymes, voir Connexité. 

L'espace A est connexe, alors que B ne l'est pas
L'espace A est connexe, alors que B ne l'est pas

En mathématiques, la notion topologique de connexité formalise le concept d'«être d'un seul tenant ».

Sommaire

[modifier] Définition

Soit un espace topologique E \,\!. Les trois propositions suivantes sont équivalentes :

  • E \,\! n'est pas la réunion de deux ouverts non vides disjoints ;
  • E \,\! n'est pas la réunion de deux fermés non vides disjoints ;
  • Toute application continue f : E \rightarrow \{ 0,1 \} \,\! est constante.

Cette dernière caractérisation est souvent celle qui est la plus commode à utiliser pour démontrer un résultat de connexité.

Dans le cas où ces conditions sont remplies on dit que l'espace E \,\! est connexe.

Une partie X \,\! d'un espace topologique E \,\! est dite connexe si elle est un espace connexe lorsqu'elle est munie de la topologie induite.

Par exemple un singleton \{x\} \,\! est connexe.

[modifier] Connexité et nombres réels

On montre d'abord que tout intervalle fermé borné [a,b]\, est connexe. Soient en effet deux fermés non vides C\, et \,D formant une partition de [a,b]\,. Sur le compact C\times D\,, la fonction continue (x,y)\mapsto \vert x- y\vert a un minimum strictement positif \delta\,, réalisé en (u,v)\,. Alors w=\frac{u+v}{2}\in [a,b]\,. Mais w\notin C\, : sinon la distance de C\, à \,D serait \le\frac{\delta}{2}\,. De même, w\notin D\,. On aboutit donc à une contradiction.

Comme \R =\cup_{n\ge 1}[-n,n]\,\!, on en déduit que \R \,\! est connexe, en tant que réunion de parties connexes dont l'intersection n'est pas vide.

  • Les parties connexes de \R \,\! sont les intervalles. Un raisonnement analogue à celui montrant la connexité des nombres réels montre que les intervalles sont connexes. Considérons maintenant un ensemble A\! non vide qui ne soit pas un intervalle. il existe donc un élément b\! tel qu'il existe dans A\! au moins un élément plus petit et un élément plus grand que a\!. Alors ]-\infty,a[\! et ]a,+\infty[\! forment une partition en deux ouverts disjoints.

Par exemple [0,1] \cup [2,3] \,\! n'est pas connexe.

[modifier] Propriétés

[modifier] Union, intersection, adhérence

Exemples d'unions et d'intersections connexe ou non.
Agrandir
Exemples d'unions et d'intersections connexe ou non.

Si X \,\! et Y \,\! sont deux parties connexes d'un espace topologique E \,\!, en général l'union et l'intersection de X \,\! et Y \,\! ne sont pas connexes.

En revanche, l'union des deux parties connexes est connexe si elles ont un point commun. Plus généralement, si (X_n)_{n \in \N} \,\! est une suite de parties connexes telle que chacune a un point commun avec la suivante : \forall n \in \N , X_n \cap X_{n+1} \neq \varnothing \,\! alors la réunion \bigcup_{n \in \N} X_n \,\! est connexe.

Si A\subset X\, est connexe, toute partie B\, telle que A\subset B\subset\overline{A}\, est connexe (on a désigné par \overline{A}\, l'adhérence de A\, ).

[modifier] Composantes connexes

Étant donné un point x \,\! dans un espace topologique E \,\!, on peut considérer la plus grande partie connexe contenant x \,\!, qui est aussi l'union des parties connexes contenant {x} \,\!. On la note C_x \,\! et on l'appelle composante connexe de x \,\! dans E \,\!.

Au minimum, on a C_x = \{x\} \,\! ; c'est le cas ou x \,\! est un point isolé.

Au maximum, on a C_x = E \,\! ; c'est le cas où E \,\! est connexe.

On définit une relation d'équivalence sur E \,\! de la manière suivante : on dit que x \,\! et y \,\! sont connectés si et seulement si y \in C_x \,\!. On note que cette relation équivaut à x \in C_y \,\!.

Les classes d'équivalence pour cette relation sont appelées composantes connexes de E \,\! ; ainsi tout espace topologique se décompose en union disjointe de plusieurs parties connexes.

Exemples :

  • \R^* \,\! a deux composantes connexes : \R_+^* \,\! et \R_{-}^* \,\!.
  • Dans \N \,\! tout point est isolé donc les composantes connexes sont les singletons.
  • Dans \mathbb{Q} \,\! aucun point n'est isolé, mais les composantes connexes sont aussi les singletons. Le même phénomène se produit pour l'ensemble de Cantor

[modifier] Connexité et continuité

On sait caractériser les espaces connexes par le fait que toute fonction continue à valeurs dans \{ 0,1 \} \,\! est constante.

En fait, on peut dire plus généralement que l'image d'un espace connexe par une application continue est toujours connexe. Plus précisément si E \,\! est un espace connexe, F \,\! un espace topologique et f : E \rightarrow F \,\! une application continue, alors f(E) \,\! est une partie connexe de F \,\!.

Dans le cas ou F \,\! est \R \,\! on obtient le théorème des valeurs intermédiaires : si E \,\! est un espace connexe et si une fonction continue f : E \rightarrow \R \,\! prend les valeurs a \,\! et b \,\! alors elle prend toute valeur c \,\! comprise entre a \,\! et b \,\!.

[modifier] Deux applications fondamentales

Pour montrer qu'une propriété est vraie pour tous les points d'une partie que l'on sait connexe, on montre que l'ensemble des points qui la satisfait est ouvert et fermé. C'est ce qu'on fait pour le théorème d'unicité global des solutions d'une équation différentielle, et pour le principe du prolongement analytique

[modifier] Voir aussi

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Sub-domains

CDRoms - Magnatune - Librivox - Liber Liber - Encyclopaedia Britannica - Project Gutenberg - Wikipedia 2008 - Wikipedia 2007 - Wikipedia 2006 -

Other Domains

https://www.classicistranieri.it - https://www.ebooksgratis.com - https://www.gutenbergaustralia.com - https://www.englishwikipedia.com - https://www.wikipediazim.com - https://www.wikisourcezim.com - https://www.projectgutenberg.net - https://www.projectgutenberg.es - https://www.radioascolto.com - https://www.debitoformtivo.it - https://www.wikipediaforschools.org - https://www.projectgutenbergzim.com