
Le continu cohésif. Un continuum est «d'une seule pièce », au sens où il ne peut être divisé en deux (ou plusieurs) parties non vides disjointes. Si la «partie » désigne un ouvert (ou un fermé) de l'espace, on est conduit au concept topologique classique de connexité. Ainsi un espace S est-il connexe s'il est impossible de le partitionner en deux sous-ensembles ouverts (ou fermés) non vides et disjoints -ou de façon équivalente, si, pour toute partition par deux ouverts (ou deux fermés) de S, l'un d'eux est vide. Tel est le cas, par exemple, de l'espace R des réels et de tous ses intervalles ouverts et fermés. Un tournant radical s'opère si l'on prend l'expression «d'une seule pièce » au sens litttéral, c'est-à-dire au sens de l'inséparabilité de l'espace en deux parties, ou sous-ensembles, quelconques. Un espace S satisfaisant une telle condition est dit cohésif ou indécomposable. En logique classique, en raison de la validité du tiers exclu, les espaces cohésifs se réduisent à des espaces vides ou à des singletons ; en revanche, la logique intuitioniste, non seulement, garantit l'existence d'espaces cohésifs non triviaux, mais, de plus, fait de tout espace connexe un espace cohésif. Dans cet article, nous présentons le substrat philosophique de l'indécomposabilité ainsi que les diverses modélisations de cette notion dans les mathématiques contemporaines.
théorie intuitioniste des ensembles ; Continuum ; indécomposabilité ; connexité ; topos, Continuum ; topos ; intuitionistic set theory ; connectedness ; cohesiveness
théorie intuitioniste des ensembles ; Continuum ; indécomposabilité ; connexité ; topos, Continuum ; topos ; intuitionistic set theory ; connectedness ; cohesiveness
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
