i

LISTE DES FIGURES

Figure 1 :Espace non connexe et espace connexe.............................................................................4

Figure 2 :Espace connexe par arcs.....................................................................................................6
Figure 3:Chemin de a à b...................................................................................................................6
Figure 4 : IRn est connexe par arcs.....................................................................................................6
Figure 5:S1 est connexe par arcs........................................................................................................6
Figure 6: La fonction sin (1/x)............................................................................................................7
Figure 7: Réunion des 2 parties connexes par arcs............................................................................8
Figure 8: chemin composé..............................................................................................................10
Figure 9: Homotopie.......................................................................................................................12
Figure 10:Homotopie des applications continues à images dans IR 2...............................................15
Figure 11:Chemin dans un espace topologique...............................................................................15
Figure 12:Homotopie de chemins...................................................................................................16
Figure 13:Chemin concaténé...........................................................................................................17
Figure 14:Concaténation de 2 chemins...........................................................................................18
Figure 15:Lacet de base x0...............................................................................................................19
Figure 16: Composition d'un chemin avec un lacet.........................................................................22
Figure 17:Représentation graphique de e 2 ti....................................................................................28
Figure 18: La projection radiale .....................................................................................................29
Figure 20:La couronne plane...........................................................................................................34
Figure 19:La projection radiale sur S1..............................................................................................34
Figure 21: Le Tore : T2 = S1  S1........................................................................................................35
Figure 22: Le cylindre fermé............................................................................................................36
Figure 23:La projection stéréographique........................................................................................37
Figure 24:Connexité par arcs de ℝn\{ 0̄ }.....................................................................................38
Figure 25:Le revêtement de e2ti....................................................................................................40
Figure 26:La relation d'antipode sur le sphère S 2............................................................................40
Figure 27:Le plan digital ℤ2..............................................................................................................58
Figure 28: La droite diophantienne d’équation 2x+3y = 4................................................60
Figure 29: La droite discrète définie par la double inégalité 1 x + ( √ 2 )y < 1,7.....61
Figure 30: 4-voisins et 8-voisins de P.....................................................................................62
Figure 31:Voisins directs (a) et voisins indirects (b)...........................................................63
Figure 32:Relation de 4-voisinage dans ℤ2 et Figure 33: Relation de 8 voisinage dans ℤ2. .64
Figure 34:Graphe planaire de la 4-topologie et Figure 35: Graphe non planaire de la 8-topologie64
Figure 36: 4-chemin et Figure 37:  8-chemin..........................................................................65
Figure 38: sous-ensemble 4-connexe et Figure 39: sous-ensemble 8-connexe............66
Figure 40:Distances entre p et q.....................................................................................................67
Figure 41: Pavage (en trait continu) et maillage associé (en trait discontinu)...............................69
Figure 42: Types de pavages............................................................................................................69
Figure 43:Types de maillages..........................................................................................................69
Figure 44:Réseaux de pavés............................................................................................................70
Figure 45: 4-chemin et 8-chemin dans les maillages.........................................................71
 ii

Figure 46:Courbe 4-connexe et intérieur 8-connexe et Figure 47: Courbe 8-connexe et intérieur 4-
connexe...........................................................................................................................................72
Figure 48:Indice d'un chemin fermé................................................................................................72
Figure 49:Points -simples.............................................................................................................76
Figure 50:Chemin trivial et chemin non trivial................................................................................81
1 1
Figure 51: Les cercles S 4 et S 8 ..............................................................................................87
Figure 52: Le plan digital.................................................................................................................87
Figure 53:Le plan digital sans origine..............................................................................................87
 iii

LISTE DES SYMBOLES

N , Z , R: les ensembles de nombres naturels, entiers et réels

respectivement.
≈: relation d’ homotopie
≅ : isomorphisme de groupes d’homotopie
π 0 ( X ): ensemble des composantes connexes par arcs d’un espace X
C (I , X ): ensemble de chemins sur l’espace topologique connexe par
arcs X.
I = [ 0 , 1 ]: intervalle unité
[ ρ] : classe d’équivalence du chemin ρ
L x ( X )= L ( X , x 0 ) : ensemble des lacets de point base x 0 dans l’espace
0

topologique connexe par arcs X.

deg ρ : degré du lacet ρ .
π1( X ): premier groupe d’homotopie ou groupe de Poincaré ou encore
groupe fondamental de X.
Nα (P ): α -voisinage du pixel P
Z2 : le plan digital.
ℤ2 \{ ( 0,0 ) }: Le plan digital privé de l’origine
I ( π , A ) : indice d’un α -chemin π autour du point A
AαB ( X ): ensemble de tous les α -chemins fermés ou α -lacets de point
base B
Aα1 ( X ) : α -groupe d’homotopie ou groupe de Poincaré ou encore groupe
fondamental de X en 2D.
S 14 et S 8
1
: Le cercle unité dans la 4-topologie et la 8-topologie,
 
respectivement
 iv

AVANT- PROPOS

En toute honnêteté, je tiens à remercier en premier lieu les

professeurs Ntantu Ibula Donatien et Musesa Landa Alain,
respectivement, promoteur et co-promoteur de ce mémoire.

Professeur Ntantu Ibula Donatien a toujours été un modèle

pour moi, une sorte de «shinning star» pour trouver “the way to the
top”. Et comme par la grâce du Dieu Omniscient, nos chemins se sont
encore une fois croisés : il m’a réintroduit dans la sorcellerie des
mathématiques appliquées avec actualité. Il a incité en moi l’intérêt de
cette piste de recherche pour le DEA et le Doctorat.

Professeur Musesa Landa Alain m’a fortement assisté par

des conseils pertinents lors de la rédaction de ce travail. Pour
expliquer ce que les yeux voient, le cœur comprends mais la bouche ne
peut expliquer, les mots sont donc faibles pour résumer en quelques
lignes toute la gratitude que je dois aux deux professeurs: Merci de
tout cœur !

Toute ma gratitude à tous mes formateurs, ceux là même

qui ont donné chacun un peu du sien pour faire de moi un homme et
un scientifique. Je pense à tous sans oublier un seul et en particulier
à mon premier enseignant de la première année primaire: Monsieur
Alexandre Makambo Kabobo «Mbuta Tourné» et mon maître de sixième
année primaire : Monsieur Frédéric Luhangu. Ces deux ont sécurisé
mes premières bases mathématiques. Je pense aussi à mon
enseignant de première année C.O. : Monsieur Cosmos N’Tantu
Norbert et à mon professeur de sixième année Math-Physique : le père
Eugène De Strycker sj, sans oublier le père Jean Cornelissen sj.

Je serais ingrat si je ne pensais pas à mes formateurs du

graduat et de la licence. Je citerais plus spécialement : le père Bob
Albertyn sj, C.T. Velu, feu C.T. Mwelwa, Monsieur Tim Sizemore, les
professeurs Skakun, Pankowski, Mubenga Kampotu, Gerard Guydevé,
Mania, feu Temo de Loso, et le feu Nzitakera Sebugeni. C’est avec fierté
que j’invoque le professeur Nzitakera car je suis le premier étudiant
dont il dirigea le mémoire de Licence sur les propriétés différentielles
des espaces sphériques Sn. La liste ne pourrait pas vraiment s’arrêter à
une page car, à travers mon parcours scolaire, tous mes enseignants
m’ont permis de mieux comprendre certains mystères de la
 v

mathématique, en commençant par l’arithmétique, passant par la

géométrie, l’algèbre, l’analyse, la topologie et la théorie des espaces
topologiques d’Alexandroff.

Enfin ma gratitude va droit vers mes amis et frères : Muaku

Fidel, Gordien Tamba, Isaias Filipe, Daniel N’Guedi, Tonton Denis,
Alfred Manuel Bambi, Fernando Ivulu, Domingos Marcelo, Severino
Calonda Miji, Cataca Valère Sebastião «Nioga Tele Mwonyo», Kakessa
Ricardo, Oliveira Tsangu Mutombo. A vous tous mes amis, merci pour
vos mots d’encouragement, vos blagues qui resteront gravés en moi.

Pour vos encouragements et conseils, je vous remercie

exceptionnellement Vieux Malu Malu du Budoc de l’UPN.

Et pour clôturer, que serait cette entreprise sans vous, ô

estimés Claude, Eureka, Marlys, Tantine et Rev. Soeur Eliane ? Grand
Merci â vous tous, et surtout à toi Claude Makambo Kabamba pour
avoir bien joué ton rôle de trait d’union entre moi-même et l’Université
Pédagogique Nationale.

Au Rectorat de l’Université Lueji-A-N’konde, et à la

Direction de l’Ecole Supérieure Polytechnique de Lunda-Sul, je dis :
Muito Obrigado! Grand merci! Many Thanks!

Comme il est de coutume dans ce genre de travail

scientifique, je ne peux pas oublier de remercier avec anticipation les
membres de mon jury de DEA pour l’enthousiasme qu’ils éprouveront
en lisant cette dissertation.

Je remercie enfin Mademoiselle Lubongo Muembe Georgine

pour la saisie de ce travail.

RESUMÉ
 vi

Au centre de cet exposé se situent les espaces d’Alexandroff

de type fini qui sont des sous-ensembles du plan digital ℤ2, et qui sont
connexes par arcs. Sur ces espaces de cardinal au plus dénombrable,
nous définissons les α -chemins; ce qui nous permet de définir la
relation d’équivalence appelée relation de α -homotopie. Quotientant
l’ensemble de α -chemins fermés sur ces espaces, nous obtenons les α -
groupes d’homotopie.

Notre recherche commence donc par l’introduction du

groupe d’homotopie associé à un espace topologique connexe par arcs.
Sur base de ces concepts, nous étudions extensivement les propriétés
fondamentales des espaces d’Alexandroff, noyau de notre exposé, avec
un regard spécial sur le plan digital. Notre promenade scientifique
dans le plan digital nous permet d’introduire les concepts
fondamentaux de α -chemins, α -trous, α -point simple et d’indices où ∈
{ 4 , 8 }. Avec ces notions, nous algébrisons en quelle que sorte les
espaces d’Alexandroff de type fini en leur associant une structure de
groupe : le α −¿groupe d'homotopie. De façon rudimentaire, le -groupe
d’homotopie en 2D peut être calculé : c’est un groupe libre dont le
nombre de générateurs est égal au nombre deα -trous.

Nous avons aussi montré que la suppression d’un point

simple d’un sous-ensemble du plan digital ℤ2 ne modifie pas son α −¿
groupe d'homotopie. Nous exhibons pour terminer lesα -groupes
1 1
d’homotopie des cercles unitaires S8 et S 4 , du plan digital ℤ2 et du
plan digital sans origine ℤ2 \{ ( 0,0 ) }.

MOTS-CLES : Espaces d’Alexandroff, connexité par arcs, homotopie,

α −¿ groupe d’homotopie, plan digital, α −¿chemin.

ABSTRACT
 vii

At the heart of this work are the path-connected

Alexandroff spaces of finite type which are subsets of the digital plane
ℤ2. On these spaces of countable cardinality, we define the α -paths
through which we obtain the homotopy α -groups.

Therefore, our research begins with the introduction of the

homotopy group of a path-connected space. Through these concepts,
we extensively study the basic properties of Alexandroff spaces which
are central to our work, with a special attention to the digital plane.
Our scientific walk through the digital plane allows us to introduce the
fundamental concepts of α -paths, of α -holes, of α -simple points and
that of indices, where α ∈ { 4 , 8 }. With these notions at hands, we
somehow “algebraize” the Alexandroff space of finite type by assigning
to it a group structure called the homotopy α −¿group. Roughly
speaking, the homotopy α −¿group in 2D can be calculated: it is the
free group whose number of generators is equal to the number of α -
holes.

We also show that deleting a simple point on a subset of the

digital plane ℤ2 does not alter the homotopyα −¿group of that set. We
1
finally present the homotopy α −¿groups of the unit circles S 8 and
1
S 4 , of the digital plane ℤ2 and that of the digital plane without its
origin ℤ2 \{ ( 0,0 ) }.

KEYWORDS: Alexandroff spaces, path-connectivity, homotopy,

homotopy α −¿group, digital plane, α −¿path.
 1

INTRODUCTION GENERALE

Dans des nombreux problèmes liés au traitement d’images

tels que l’analyse d’images médicales ou biologiques ainsi que
l’analyse d’images de matériaux et la segmentation de vidéo, plusieurs
notions topologiques constituent un support fondamental dans la
discrétisation des objets continus en objet discrets ; ce qui permet leur
informatisation. Ainsi, par exemple, la notion de déformation continue
en topologie a permis le développement de la notion de point simple en
2D. Intuitivement, un point simple dans un objet 2D est un point que
l’on peut retirer de l’objet sans modifier la « topologie » de ce dernier.

Au départ, la topologie digitale a été conçue pour les

images binaires. Elle utilise deux graphes définissant les voisinages de
chaque point de l’objet et du fond. Le cadre mathématique qui décrit
au mieux cette interconnexion est l’espace d’Alexandroff. Par espace
d’Alexandroff, on entend tout espace topologique dans lequel toute
intersection finie ou infinie d’ouverts est un ouvert. Ceci est équivalent
à dire que toute réunion finie ou infinie de fermés est un fermé.

Les espaces d’Alexandroff constituent une classe

importante d’espaces topologiques qui se trouvent à la charnière entre
les Mathématiques Pures et les Mathématiques Appliquées à
l’Informatique théorique.

Comme le souligne si bien le professeur F. G. Arenas de la

Universidad Almería d’Espagne, il est parfois intéressant de voir ce qui
arrive lorsque l’on fait une petite entorse à une définition standard.
C’est ce que fit le mathématicien russe Pavel Sergueevitch Alexandroff
dans son article…paru en 1937, lorsqu’il tordit un tout petit peu le
second axiome des espaces topologiques. Il en ressortit un type
nouveau d’espaces auquel il attribua le nom de ‘Diskrete raüme’,
aujourd’hui connu sous le nom d’ « Espaces d’Alexandroff ». C’est vers
les années 80 et 90 que ces espaces se sont avérés comme outils
importants dans l’informatisation des objets continus ; d’où l’intérêt
pour les mathématiciens et les informaticiens.

Depuis les travaux d’Alexandroff sur ces espaces, plusieurs

Mathématiciens et Informaticiens se sont penchés sur les riches
 2

propriétés des espaces d’Alexandroff. Pour s’en convaincre, il suffit de

consulter les travaux tels que
( A . P. [ I .1 ] ) , ( A . E . [ II .2 ] ) , ( C . M . [ II .4 ] ) , ( E . U . [ II .5 ] ) et (E . U . [ II .6 ] ).

Il est démontré en particulier dans ( C . M . [ II .4 ] ) que un

espace d’Alexandroff de type fini représente un réseau informatique et
réciproquement.

Dans les espaces d’Alexandroff, l’intérêt est porté sur la

base irréductible ou d’Alexandroff dont l’élément typique est noté B p et
est défini comme étant le plus petit ouvert contenant le point p de
l’espace d’Alexandroff. La connexion entre deux ordinateurs p et q
considérés comme des points de l’espace d’Alexandroff est définie par
les inclusions ensemblistes Bp  Bq ou Bq  Bp qui se traduisent en
arêtes (p,q) ou (q,p) d'un (di)graphe dans lequel les ordinateurs p et q
deviennent des sommets.

L’objet de ce mémoire est de faire une étude approfondie

des espaces d’Alexandroff en étudiant leurs -groupes d’homotopie où
= 4 ou 8. Il s’agira des espaces d’Alexandroff connexes par arcs.
Nous nous pencherons essentiellement sur des espaces d’Alexandroff
de type fini (c'est-à-dire à cardinalité au plus dénombrable) qui sont les
plus utiles pour les applications informatiques.

Sans trop tarder, nous présentons notre plan de travail.

Pour mieux orienter le lecteur, nous faisons un bref rappel des notions
élémentaires dont nous avons besoin pour une meilleure
compréhension de notre exposé : il s’agit des espaces connexes par
arcs et de la relation d’homotopie sur ces espaces, donnant naissance
au groupe d’homotopie ou de Poincaré. C’est l’objet du premier
chapitre.

Le second chapitre étudie extensivement les espaces

d’Alexandroff. On traite des notions telles que la co-topologie d’une
topologie d’Alexandroff, la base irréductible d’un espace d’Alexandroff.
On y étudie aussi les propriétés de séparation, la connexité, la
compacité. Les espaces d’Alexandroff de type fini ont une place
spéciale dans ce chapitre lorsque nous introduisons le plan digital qui
est l’espace de travail en informatique. Parmi les concepts liés au plan
 3

digital figurent la -adjacence, la -topologie, la -connexité, le -

chemin et la -distance, où = 4 ou 8.

Le troisième et dernier chapitre est le point culminant de

notre recherche. Il représente une tentative sérieuse d’algébriser les
espaces d’Alexandroff de type fini en leur associant une structure de
groupe. A partir des notions de -chemin et d’indice d’un tel chemin,
nous définissons la -homotopie qui donne naissance au -groupe
d’homotopie. De façon rudimentaire, le -groupe d’homotopie en 2D
peut être calculé : c’est un groupe libre dont le nombre de générateurs
est égal au nombre de -trous.

Nous clôturons le chapitre en calculant les -groupes

d’homotopie de quelques espaces d’Alexandroff de type fini. Un accent
particulier est mis sur les -groupes du cercle, du plan digital et du
plan digital privé de son origine.

Ce travail serait incomplet s’il s’arrêtait à ce stade. En effet,

la recherche des invariants topologiques dans le cas discret devra
impérativement nous amener à l’étude des -groupes d’homologie et de
cohomologie des espaces d’Alexandroff. Ceci constitue la suite logique
de notre démarche dont la finalité est la rédaction d’une thèse de
doctorat dans ce domaine.

A travers ce travail, une référence du genre ( C . M . [ II .4 ] )

renvoie le lecteur à la quatrième référence de la deuxième partie dans
la bibliographie du mémoire. La fin d’une preuve est marquée par un
petit carré noir ().

CHAPITRE PREMIER : GENERALITES

 4

Ce chapitre est introductif à notre exposé. Il introduit les

espaces connexes par arcs et leurs propriétés et étudie la relation
d’homotopie sur ces espaces. La relation d’homotopie engendre le
groupe d’homotopie.

I.1. ESPACES TOPOLOGIQUES CONNEXES PAR ARCS.

I.1.1. Espaces connexes

a) Définition

Un espace topologique (X, τ ) est connexe s’il n’existe pas

deux ouverts disjoints A et B  τ tels que A  , B   et X = A  B.

X X

A B

X non connexe X connexe

Figure 1 :Espace non connexe et espace connexe

b) Remarque

Si X est connexe, alors les seuls sous-ensembles qui sont à la fois

ouverts et fermés dans X sont l’ensemble vide et X lui-même.

c) Exemple

Soit X = {1,2, 3} muni de deux topologies τ 1 et τ 2

définies par 1 = {, {1}, {2}, {1,2}, {2,3}, X} et 2 = {, {2}, {1,2}, {2,3}, X}
on a :

(X, 1) n’est pas connexe car en prenant A = {1} et B = {2,3} alors ces 2
ensembles partitionnent X en 2 ouverts non vides. (X, 2) est connexe.

d) Théorème

Un espace topologique X est non connexe si et seulement si,

il existe une surjection continue de X sur {0,1}.

Preuve
 5

Soient A et B deux ouverts non vides partitionnant X. On

définit f : X{0,1 } par f(A) = {0} et f(B) = {1}. Pour montrer que f est
continue, soit S un ouvert de {0,1}. On a quatre possibilités : , {0}, {1},
{0,1}.

On a donc f-1() =  ; f-1({0}) = A, f-1({1}) = B et f-1({0,1}) = X qui sont tous

ouverts de X. Donc f est continue.

Réciproquement, supposons qu’il existe une surjection

continue f : X{0,1}, on pose A = f-1({0}) et B = f-1 ({1}) qui sont ouverts
de X tels que A  B = , X = A  B et A  , B  . Donc X est non
connexe.

e) Remarques

X est connexe  toute fonction continue f : X{0,1}  est une

constante.
X est connexe  toute fonction continue f : Xℤ est une
constante.

f) Exemples

1) Un sous-ensemble S d’un espace topologique X est connexe si et

seulement si, il est connexe muni de sa sous-topologie.
2) Un sous-ensemble de ℝ est connexe si et seulement si, il est un
intervalle de ℝ.
3) Dans tout espace topologique, un singleton {a} est connexe. Noter
aussi que  est connexe.

I.1.2. Espaces connexes par arcs

a) Notion de chemin

Soient X un espace topologique, a et b deux points de X. Un

chemin d’origine a et d’extrémité b est toute application continue  :
[0,1]X telle que (0) = a et (1) = b.

b) Espace connexe par arcs

 6

Soit X un espace topologique. L’espace X est connexe par

arcs si pour tout couple des points (a,b) dans X, il existe au moins un
chemin  joignant a à b.

X est connexe par arcs

.b a : origine du chemin
a b b : extrémité du chemin

Figure 2 :Espace connexe par arcs

c) Exemples d’espaces connexes par arcs

1) Toute partie convexe de l’espace vectoriel ℝn est une partie connexe

par arcs. En particulier, toute boule Bn = {x ℝn : ‖x‖  r} de ℝn est

connexe par arcs.

En effet, soit V une partie convexe de ℝn, a et b deux points

de V. Alors le segment de droite joignant a à b est un chemin
 :0,1V : t(t) = (1 t) a+t. b dans V.
Y
ℝ b
a b
Figure 3:Chemin de a à b
a
0
X

Figure 4 : IRn est connexe par arcs

b . .a
Figure 5:S1 est connexe par arcs

2) Tout ouvert connexe de ℝn est connexe par arcs.

1
3) Dans ℝ2, soit U = {(x, 0) : x  0} et V =(x, sin x ) : x  0}. Alors V
= UV est une partie connexe mais non connexe par arcs, car
1
il n’existe aucun chemin joignant (0,0) à tout point ( x, sin x ), avec
x  0.
 7

U’ V’

Figure 6: La fonction sin (1/x)

d) Propriétés d’espaces connexes par arcs

1) La connexité par arcs implique la connexité
Tout espace connexe par arcs est connexe

Preuve

Soit X un espace connexe par arcs.

Supposons par absurde que X est non connexe et soit A et B deux

ouverts disjoints et non vides tels que X = AB. Soit aA, bB et  :
[0,1]X un chemin joignant a à b. Alors -1(A) et -1(B) sont deux
ouverts disjoints et non vides de l’intervalle unité [0,1] tels que [0,1] =
-1(A)  -1(B). Ce qui est impossible puisque [0,1] est connexe. D’où la
contradiction. Donc l’affirmation est vraie. 

2) La continuité préserve la connexité par arcs

L’image par une application continue d’un espace connexe

par arcs est connexe par arcs.

Preuve

Soient X un espace connexe par arcs, Y un espace

topologique quelconque et f : XY une application continue. Pour
montrer que f(X) est connexe par arcs, considérons deux points f(a) et
f(b) dans f(X), où a,bX. Comme X est connexe par arcs. Il existe un
chemin  : [0,1]X qui joint a à b. Alors la fonction composée f o  :
[0,1]  f(X) est un chemin reliant f(a) à f(b).∎

3) La réunion des parties connexes par arcs

C
La réunion d’une famille ( j ) j∈J des parties connexes par
arcs de X, ayant un point commun p, est connexe par arcs.
 8

Preuve

¿ Cj
Soit C = j ∈ J et (a,b) C2, alors il existe (i,j)  J2 tel que a  Ci et b 
Cj.
ci cj
a b
i
j
p

Figure 7: Réunion des 2 parties connexes par arcs

Alors, il existe un chemin

ρi : [0,1] C joignant a à p et
i

un autre chemin
ρ
j : [0,1] Cj joignant p à b. On obtient un chemin
reliant a à b en juxtaposant, c'est-à-dire en mettant bout à bout, les

chemins
ρi et ρ j de la manière suivante :

¿ Cj
 : [0,1] C = j ∈J

1
x ↦ ρ ( x )=
{ ρi ( 2 x ) si 0≤x ≤

ρ j ( 2 x−1 ) si
1
2
≤x ≤1
2

On pose f ( x ) =2 x ,∀x et g ( x ) =2x−1,∀ x

ρ 1
ρ1
Comme les restrictions [ ]
0,
2 et [ ]
2
,1
de ρ sont continues, avec

[ 0,1 ] = 0 , 1 ∪ 1 , 1 et ( ρi o f ) 1 =( ρ j o g ) 1
[ ][ ] () ()
2 2 2 2 , alors  est continue sur
[ 0,1 ] . D’où, ρ est un chemin joignant a à b.

4) L’ensemble 0(X) des composantes connexes par arcs

Soit X un espace topologique.
 9

On définit sur X la relation suivante : x  y si et seulement si il existe

un chemin joignant x à y.

Donc x y si et seulement si  :  0,1] X continue telle que  (0) = x

et (1) = y.

Montrons que  est une relation d’équivalence sur X.

- Réflexivité

Soit x X. On définit

ρ x :  0,1] X telle que ρ x (t) = x  t  
0,1]. 
ρ x est un chemin reliant x à lui-même. Donc x  x

- Symétrie

Soient x, y  X tels que x y. Il existe un chemin  :  0,1].  X, avec
(0) = x et (1) = y. On définit f :  0,1]   0,1]  par f(t) = 1  t, 
t   0,1]. Alors f est continue et of :  0,1] X est continue avec (of )
(0) = f(0)]= (1) = y et (of )(1) = f(1)] = (0) = x.

Donc,  o f  est un chemin joignant y à x. D’où y  x.

- Transitivité

Soient x, y, z  X tels que x y et y  z . On a :

 :  0,1].  X un chemin joignant x à y, avec (0) = x  et (1) = y.

De même, on a : µ : 0,1] X un chemin joignant y à z c’est-à-dire µ(0)

= y et µ(1) = z.

On pose f(t) = 2t et g(t) = 2t 1,  t  ℝ. f et g sont continues et

on définit  : 0,1] X par :

 10

1  
{
λ(t)=¿ ( ρ of )(t ) si 0≤t≤ ¿ ¿¿¿¿
2 x
y
z

¿ Figure 8: chemin composé

1 1
Comme 2 [ 2]
( ρ o f ) ( )=ρ f ( ) =ρ (1 )= y et ( μ o g ) ( 12 )=μ ( 0)= y ; λ (t )
est bien
1
définie. Aussi, ρ of est continue sur
[ ]
0,
2 et μ og est continue sur
1
[ ]
2
,1
. Il suit que  est continue sur [0,1].

Comme λ ( 0 ) =( ρ o f )( 0 )=ρ ( 0 )=x et λ ( 1 )=( μ o g ) ( 1 ) =μ ( 1 ) =z, λ est un chemin

joignant x à z. D’où x  z et la relation est transitive.

Ainsi,  est une relation d’équivalence sur X. ∎

On note souvent le chemin  par =  *µ et on l’appelle le chemin

composé «  suivi de µ ». On l’appelle aussi la concaténation de  et
µ.

La relation  étant une relation d’équivalence sur X, pour tout x

∈ X, la classe d’équivalence de x est notée x]. On note Π 0 ( X)
l’ensemble quotient X/~. Donc : Π 0 ( X) = X⁄= x] : x ∈ X  où xy si et
seulement si il existe un chemin joignant x à y. Les éléments x] de
Π 0 ( X) s’appellent les composantes connexes par arcs de l’espace X.

Ces composantes connexes jouent un rôle capital dans la suite de

notre travail. Remarquons qu’un espace topologique X est connexe par
arcs si et seulement si Π 0 ( X) est un singleton.

I.1.3. Espaces localement connexes par arcs

a)Définition
 11

Un espace topologique X est localement connexe par arcs si

chacun de ses points possède une base de voisinages connexes par
arcs. C’est-à-dire, pour tout x de X et pour tout voisinage V de x, il
existe un U ouvert de X qui est connexe par arcs et tel que x U V.

b) Propriétés

(i) ℝn est localement connexe par arcs.

(ii) Si X est localement connexe par arcs et U est ouvert de X,
alors U est localement connexe par arcs.
X =¿ U α
(iii) Si chaque U est ouvert et connexe par arcs, et si α ,
alors X est localement connexe par arcs.
(iv) Si X est connexe et localement connexe par arcs, alors X est
connexe par arcs.

I.2.GROUPE D’HOMOTOPIE

I.2.1. Relations d’homotopie et d’homotopie des chemins

Nous montrons dans ce paragraphe comment associer une

structure de groupe à un espace topologique connexe par arcs X. Il
s’agit du groupe fondamental 1(X), appelé aussi groupe de Poincaré
ou encore premier groupe d’homotopie.

Dans la seconde moitié du paragraphe, nous donnons les

groupes fondamentaux de quelques espaces topologiques classiques
tels que le cercle, le plan sans origine, la sphère, le tore, etc. Ces
exemples nous servirons de modèles lorsque nous passerons au cas
discret dans le troisième chapitre de notre mémoire.

1. Homotopie et classes d’homotopie

1) Définitions

Soient X et Y deux espaces topologiques

 12

C ( Χ ,Υ )= f : Χ→Υ /f est continue

- On note
{ }
- On définit la relation d’homotopie, notée «  », sur C ( Χ ,Υ ) de la
manière suivante : Si f et g sont éléments de C ( Χ ,Υ ) , on dit que
f est homotope à g et on écrit f ≈g si et seulement si il existe
une application continue F : Xx0,1  Y appelée homotopie
entre f et g, qui vérifie les propriétés suivantes :
(1) F ( x ,0 )=f ( x ) ,∀ x∈ Χ
X Y

(2) F ( x ,1 )=g ( x ) ,∀ x∈ Χ
F

2) Remarque X x [0,1]

Géométriquement, si
0≤t≤1 et i t : X → X x [ 0,1 ] est définie
par
i t ( x )=( x ,t ) qui est continue, on construit f = F o i :
t t 

Χ⃗
it cont Χ x [ 0,1 ]⃗
F cont Υ et f t : Χ →Υ qui est aussi continue.
Si t =0 , f 0 =Foi 0 ⇒ f 0 ( x ) =( Fo i 0 ) ( x )=F ( i0 ( x ) ) =F ( x ,0 )=f ( x )
Donc , f 0 =f et Si t=1 , f 1 =Foi 1 ⇒ f 1 ( x ) =F [ i 1 ( x ) ]=F ( x ,1 )=g ( x ) . Donc , f 1=g .

Ainsi, la donnée de l’homotopie F de f à g équivaut à la

f t : Χ →Υ . F≡ {f t /0≤t≤1 }
donnée de la famille des fonctions continues .
Cette famille représente une déformation continue de
f 0=f en f1=g
lorsque t varie de 0 à 1.
Y
1 Χ ×{ 1 } f1=g

ft
t Χ×{ t }
0 Χ ×{ 0 } f0=f

Figure 9: Homotopie

3) Théorème
 13

La relation d’homotopie  est une relation d’équivalence sur

C(X,Y).

(1) Réflexivité : Soit f ∈C ( Χ ,Υ ) .

F : Χ x [ 0,1 ] →Υ par F ( x , t )=f ( x ) . Alors F est continue , et
On définit  :

F ( x ,0 )=f ( x ) , ∀ x ∈Χ et F ( x ,1 )=f ( x ) , ∀ x ∈Χ . Donc F est une homotopie

de f à f. D’où f f.
(2) Symétrie : Soient f , g∈C ( Χ,Υ ) . Montrons que si f g alors g f.
En effet, fg   homotopie F de f à g, c’est-à-dire

F : Χ ×[ 0,1 ] →Υ continue telle que F ( x ,0 )=f ( x ) et

F ( x ,1 )=g ( x ) ,∀ x∈ Χ . On considère la réflexion

R : Χ ×[ 0,1 ] → Χ ×[ 0,1 ]
définie par R( x,t )= ( x , 1−t ) , qui est continue.
R F
R : Χ ×[ 0,1 ] → Χ x [ 0,1 ] → Υ .
On compose F avec Cont Cont

Alors G = F o R : X [0, 1]  Y est continue,

G ( x , 0 )= ( FoR ) ( x ,0 )=F [ R( x ,0 ) ]=F ( x , 1 )=g ( x ) , ∀ x ∈ Χ et

G ( x , 1 )=( FoR ) ( x , 1 )=F [ R ( x , 1 ) ]=F ( x , 0 )=f ( x ) , ∀ x ∈ Χ .

D’où G est une homotopie de g à f, c’est-à-dire g  f. Ainsi si f  g alors

g f (symétrie).

(3) Transitivité : Soient f , g,h∈C ( Χ ,Υ ) telles que f g et g h.

Montrons que f h.

−f ≈g ⇒∃ F : Χ x [ 0,1 ] ⃗
Cont Υ telles que F ( x ,0 ) =f ( x ) et
F ( x ,1 )=g ( x ) ∀ x ∈ X
−g≈h⇒ ∃ G: Χ x [ 0,1 ] ⃗ Cont Υ telles que G ( x , 0 ) =g( x ) et
G ( x ,1 )=h( x ) ∀ x ∈ X

On construit une homotopie H de f à h par :

 14

Η : Χ × [ 0,1 ] →Υ
1
( x , t ) →Η ( x ,t )=
{ F ( x , 2t ) si 0≤t≤

G ( x , 2t −1 ) si
1
2
2
≤t ≤1

1
( 2)

Au point de coupure
1
: Η ( x , )=
2
{
F x ,2 .

1
=F ( x , 1 ) = g ( x )

G ( x , 2. −1)=G ( x , 0 ) = g ( x )
2

Il y a égalité. D’où H est bien-définie. De plus,

Η ( x,0 )=F ( x, 2.0 )=F ( x ,0 )=f (x ) et

Η ( x , 1 )=G ( x,(2 .1 )−1 )=G ( x ,1 ) =h( x ) . Donc, H est une homotopie
de f à h, c’est-à-dire f  h. D’où la transitivité.
Ainsi, la relation d’homotopie «   » est une relation d’équivalence sur
C ( Χ ,Υ ) .
∎

4) Classes d’homotopie

Soit f ∈C ( Χ ,Υ ) . La relation d’homotopie «    » étant une

relation d’équivalence sur C ( Χ ,Υ ) , on définit la classe d’équivalence
de f par : [ f ]= { g ∈ C ( Χ , Υ ) : f ≈ g }  et on l’appelle la classe d’homotopie
de f.

L’ensemble-quotient par  est noté C(X,Y) et est défini par :

[ C ( Χ , Υ ) ]= { [ f ] : f ∈C ( Χ , Υ ) } .

5) Composition de fonctions et relation d’homotopie

Soient
f 1 , g1 : Χ →Υ et
f 2 , g 2 :Υ →Ζ des applications
continues telles que
f 1 ≈g 1 et f 2≈g 2 . Alors f 2 o f 1≈g 2 o g 1

Preuve
 15

f 1 ≈g 1 ⇒∃ {h t : Χ →Υ continue telle que que h 0 =f 1 et h 1 =g 1 } , avec t ∈[ 0,1 ]

Aussi , f 2≈g 2 ⇒ ∃ {k t :Y →Z continue telle que k 0 =f 2 et k 1 =g2 } avec c t ∈ [ 0,1 ] .
On définit :
γ t : Χ →Ζ par γ t =k t oh t , ∀ t ∈ [ 0,1 ]
Alors γ t est continue ∀ t , γ 0 =k 0 oh0 =f 2 of 1 et γ 1 =k 1 oh1=g 2 og1

Donc { γ t :t ∈ [ 0,1 ] } définit une homotopie de

f 2 of 1 à g 2 og1

D’où
f 2 of 1 ≈ g2 og1


6) Exemples d’homotopie

1) Soient f , g : Χ → ℝ2 deux applications continues. Alors fg

En effet, on définit F : Χ x [ 0,1 ] → ℝ2 par F ( x ,t ) =( 1−t ) f ( x )+t .g ( x )
∀ x ∈Χ ,∀ t ∈ [ 0,1 ]
.

F est F ( x ,0 )=f ( x ) et F ( x ,1 )=g ( x )

continue, . F est donc une
homotopie qui déplace f ( x ) jusqu’à g ( x ) le long du segment de
droite joignant f ( x ) à g ( x )
y
f
f(x)
Donc, si X est un espace topologique
g
quelconque [C(X, ℝ2)] = {[0x]} où 0x : X  ℝ2
c X 0 X ( x )=( 0,0 ) ∀ x∈ Χ
telle que
g(x)

Figure 10:Homotopie des applications continues à images dans IR2

2) Soit f : ℝn  ℝn définie par f( x̄ ) = x̄ ,  x̄ ℝn et g : ℝn  ℝn

définie par g( x̄ ) = 0̄ ,  x̄  ℝn. Alors f g
En effet, il suffit de prendre l’homotopie
F : ℝn [0,1]  ℝn définie par F( x̄ , t) = (1 – t) x̄  x̄  ℝn et t  [0,
1].
7) Homotopie de chemins
a. Définitions
 16

Soient X un espace topologique et I=0,1. Rappelons qu’un

chemin  dans X est un élément de C(I,X) ; donc une application  : 
0,1X continue telle que il existe x 0 et x1 dans X avec
ρ ( 0 )=x 0 et ρ ( 1 )=x 1

x0 x0= origine du chemin et x1 = extrémité.

x1

Figure 11:Chemin dans un espace topologique

- Deux chemins  et  sont homotopes à extrémités données (ou

équivalents) s’ils ont même origine x 0 et même extrémité x 1 et s’il
existe une application continue
F : I x I X vérifiant :

(1) F ( s,0 )=ρ ( s ) et F ( s,1 )=μ ( s ) , ∀ s ∈ I

(2)
F ( 0 , t )=x 0 et F ( 1 , t )=x 1 , ∀ t ∈ I

F est alors appelée une homotopie de chemins entre  et  et on

écrit  

Remarques

- La condition (1) ci-haut, signifie que F est une homotopie entre 

et , c'est-à-dire une déformation de  en .
- La condition (2), précise que l’origine commune
x0 et l’extrémité
commune
x 1 restent fixes pendant la déformation.
t
X
1 x1
F 
IxI

0 1 S x0

Figure 12:Homotopie de chemins

b. Théorème
 17

La relation d’homotopie «   » est une relation d’équivalence

sur C(I,X). La classe d’équivalence d’un chemin  est notée :
[ ρ ] xx 10= { μ ∈ C( I , X ) : ρ≈μ } où xo et x1 sont les points fixes dans X
x1
C ( Ι , Χ ) ]x ou [ C ( Ι , X ) ]
L’ensemble quotient est noté [ 0
.

c. Concaténation de chemins

Nous avons déjà parlé de la composition de chemins dans le

premier paragraphe. Soit  un chemin dans X joignant
x 0 à x 1 et  un
chemin dans X joignant
x1 à x2

x1 x2

x0
X

Figure 13:Chemin concaténé

On définit un nouveau chemin noté  appelé le concaténé de  et 

   :  0,1 X  définie par

( ρ∗μ )( t )=
{ ρ ( 2 t ) si 0≤t ≤

μ ( 2t−1 ) si
1
2
2
≤t≤1

( 12 )=ρ ( 1 )=x
Au point de coupure, on a : =
( ρ∗μ )
1
2
=
( 2 ){ ρ 2.
( ) μ 2 . 1 −1 =μ ( 0)=x
1

D’où   est un chemin de x o à x2 car ( )(0)= (0)= xo et ( )(1)=

(2.1-1) = (1)= x2 . Les chemins  et   sont des chemins composables
 18

Propriété : La classe d’équivalence du chemin concaténé   c’est-à-

dire   ne dépend que des classes de chemins composants.

D’où  = * est bien définie.

d. Propriétés de la loi * sur C(I,X)

On définit sur [C(I,X)] l’opération * en posant * =

(voir propriété ci-haut).Cette opération est bien définie et possède les
propriétés suivantes :

(1) Associativité : Soient ,  et  trois chemins composables dans

C(Ι, Χ ) . Alors *(*)  (*)*

x1 x3
x2
x0 Figure 14:Concaténation de 2 chemins

Par définition, les chemins *(*) et (*)* sont donnés par les
formules :

1
ρ ( 2 t ) si 0≤t ≤

{ 1
[ ρ∗( μ∗σ ) ] ( t )= μ ( 4 t −2 ) si ≤t ≤
2
3
2
3
4
σ ( 4 t −3 ) si ≤t ≤1
4

ρ ( 4 t ) si 0≤t ≤
et

[ ( ρ∗μ )∗σ ] ( t )=
{ μ ( 4 t −1 ) si
1
4
1
≤t ≤

σ ( 2 t −1 ) si ≤t ≤1
2
1
2
4

On définit une homotopie H entre *(*) et (*)* par :

 19

( 1+4 ts ) si 0≤t ≤ 1+s

{
ρ
4
1+ s 2+ s
H (t , s )= μ ( 4 t − s−1 ) si ≤t ≤
4 4
4 t −s−2 2+ s
σ ( 2−s )
si
4
≤t ≤1

Ceci étant, nous définissons l’associativité de trois classes

d’équivalence de trois chemins composables ,  et  par :

[ ρ ]∗( [ μ ]∗[ σ ] ) =( [ ρ ]∗[ μ ] )∗[ σ ]

(3) Eléments neutres : Soit x un élément de X et soit e x le chemin
e x : I → X où e x ( s ) =x , ∀ s ∈ I .
constant défini par
Soit  un chemin d’origine x et d’extrémité y. Alors, on a :

 e x *  = et  * e y =

(4) Elément inverse de  
 : Soit  un chemin d’origine x et d’extrémité
y. On appelle inverse de , le chemin défini par -1(s)= (1-s) sI
-1 est alors un chemin d’origine y et d’extrémité x.

 * -1 = e x et -1 *=  e y 

Ainsi,

Nous nous proposons de faire de ([C(I,X)],*) un groupe. Mais

il y a des problèmes :

1°) [* n’est défini que pour  et  deux chemins composables ;

c’est-à-dire l’extrémité de  est l’origine de .

2°)  *
e y  = et  ex *=  avec e x  e y , deux éléments
neutres (à gauche et à droite). Or l’élément neutre doit être
unique qui conduit à l’unicité de l’inverse. Donc, il faut que
ex
=

e y si et seulement si x=y.

D’où nous n’allons considérer que des chemins dont l’origine et

l’extrémité coïncident.

I.2.2. Groupe d’homotopie d’un espace topologique

 20

1. Définitions

Soit X un espace topologique et

x0 un point fixe de X

- On appelle lacet en
x0 (ou lacet de base x0 ), tout chemin  dont
x
l’origine (0) et l’extrémité (1) sont confondues en 0 (c’est-à-dire
ρ ( 0 )=x 0 =ρ ( 1 ) ).
X

x0
Figure 15:Lacet de base x0

- L’ensemble de lacets dans X de base 0 est noté par L(X,

x x0 ) ou
Lx ( X )
0
x x
et on sait que L (X, 0 )  C(I,X)  0 X.
- L’ensemble- quotient de L(X,
x0 ) par la relation d’homotopie des
LX ( X )
0
= { [ ρ ] : ρ ∈ Lx ( X ) }
chemins ‘’ ‘’ est défini par  ¿ 0

2. Le groupe d’homotopie

1) Théorème

Soit X un espace topologique,

x0 X et L(X, x ) l’ensemble de
0

lacets de base x0.

A lors L( X , x 0 )
¿ muni de la loi de composition interne * est un groupe
noté 1(X, x0) pour tout
x0 X.

Preuve

Considérons deux chemins  et . On définit la loi de

dans L( X , x 0 )
composition interne * ¿
 21

1
Par [ ρ ]∗[ μ ]=[ ρ∗μ ] où ρ∗μ:I→Χ tel que ( ρ∗μ )( t )=¿ ρ ( 2t ) si 0≤t≤ ¿ ¿¿¿
2 {
(1) La loi* est bien-définie
(2) La loi* est associative : ( [ ρ ]∗[ μ ] )∗[ σ ] =[ ρ ]∗( [ μ ]∗[ σ ] ) ∀ [ ρ ] , [ μ ] , [ σ ]
L( X , x 0 )
dans ¿
ex ex
(3) La loi * admet un élément neutre :  0  où 0 : I X définie par
e x ( t )=x 0 ∀ t ∈ I
0 (chemin constant en
x0 ) car :

1
[ ρ ]∗[ e x ] =[ ρ∗e x 0 ] ¿ [ ρ ] avec ( ρ∗e x0 ) ( t ) =
0
{ ρ( 2t ) si 0≤t ≤

e x ( 2 t−1 ) si
0
1
2
2
≤t ≤1

1
=
{ ρ( 2t ) si 0≤t ≤

x 0 si
1
2
≤t ≤1
2

ρ∗e x ≈ρ ⇒ [ ρ∗e x0 ] ¿ [ ρ ] et [ e x 0 ] ¿ [ ρ ] =[ e x0 ¿ ρ ] =[ ρ ]
0

L( X , x 0 )
(4) Chaque élément de ¿ admet un inverse pour la loi .

Soit [ ρ ]∈ L( X , x 0 )
¿ .

On considère le chemin inverse à  défini par -1 : IX où -1(t)= 

e e
(1-t) t I. []*[-1] = [ x 0 ] et [-1]* [] = [ x 0 ]. 

D’où
[ L( X , x ) ¿ ,*]
0
est un groupe noté 1(X,
x0 ) appelé le premier
groupe d’homotopie de X en
x0 ou le groupe de Poincaré de X en x ou
0

encre le groupe fondamental.

2) Remarques
 22

x0 dans X (c'est-à-
¿
(1) Si X est la composante connexe par arcs de
¿
dire X est la plus grande partie connexe par arcs contenant x 0)
¿
x x x x
¿
alors L(X, 0 )=L( X , 0 ), d’où 1(X, 0 ) = 1( X , 0 ). Ainsi, le
groupe fondamental n’a d’intérêt que si X est connexe par arcs
Π 1 ( X , x 0)
(2) Il existe autant de groupes qu’il y a des points dans X.
3) Théorème

Si X est un espace connexe par arcs alors pour chaque paire

2
( x 0 , y0 )∈ X Π 1 ( X , x 0) Π 1 ( X , x 0)
, les groupes et sont isomorphes.

Preuve

Π 1 ( X , x 0)
Il s’agit de construire un isomorphisme entre et
Π 1 ( X , y0 )
. Comme X est connexe par arcs, soit  : IX un chemin
d’origine
x0 et d’extrémité y 0 .

Soit  un lacet de base

x0 Considérons le chemin =-1 
.

 1
Figure 16: Composition d'un chemin avec un lacet

On voit que  est un lacet de base

y 0 . D’où [] ↦ []
Π 1 ( X , x 0) Π 1 ( X , y0 )
définit une application de dans .Donc, on définit
Π 1 ( X , x 0) Π 1 ( X , y0 ) −1
un homomorphisme H :   par H()= = δ
 = -1*.

(1) H  est bien définie car * est une opération bien définie.
(2) H  est un homomorphisme de groupes :
H()H ()=-1 -1
= (-1)(-1)
= -1(-1)
 23

ex
= -1( 0 ) 
= -1()
= H()
= H()

D’où, H est un homomorphisme de groupes.

(3) H  est une bijection.

Π 1 ( X , y0 ) Π 1 ( X , x 0)
Considérons Q :  définie par
Q=-1,   1 (X,
y 0 ). On montre que Q =H -1
c'est-à-
Π 1 ( X , x 0)
dire si   , alors (Q o H)  = Q(H )= Q (-1

= (-1)-1
=( -1)(-1)
= ( -1) (-1 )
e e
=  x 0  x 0 

=  et (H 0 Q)  = H  *  * -1

= [-1 *( *-1)* ]

= [(-1 *) *(-1* )]

ey ey
=[ 0 * * 0 ]

Π 1 ( X , y0 )
= [ ],  [ ]

D’où, H est une bijection. 

4) Remarques

(1) En vertu du Théorème précédent, dans un espace connexe par

arcs, la base x du groupe 1(X, x) est sans objet et sera souvent
omis. On parle alors du groupe fondamental 1(X) sans mention
du point x.
(2) L’isomorphisme
x 0 ) et  (X, y 0 ) n’est pas
entre 1(X,
1

canonique, il dépend du chemin  entre

x 0 et y 0 .
 24

5) Définitions

(1)Un espace connexe par arcs ayant son groupe fondamental 1(X)
nul s’appelle un espace simplement connexe.
On écrit alors 1(X)= (0).

(2)Deux espaces X et Y sont dits homéotopes si et seulement si il

existe deux applications continues f : XY et g : YX telles que
fog≈idY et gof ≈id X . Les deux applications f et g sont appelées des
équivalences d’homotopie.
Remarques 

a) La relation « est homéotope à  » est une relation d’équivalence

sur toute famille d’espaces topologiques.
b) Deux espaces homéomorphes sont homéotopes.

6) Théorème

Les affirmations suivantes sont équivalentes sur un espace

topologique X.

(1)
id X : X → X est homotope à une application constante c : X X
(2) Quel que soit l’espace Y, si f, g : Y  X sont des applications
continues alors f  g
(3) X est homéotope à un espace à un point.

Preuve

(1)  (2) : Supposons que

id X ≈c où c : X X est une application
constante sur X.

Soient Y un espace topologique et f, g : Y X des applications

continues.
 25

Y ⃗f X c⃗ X Y g⃗ X c⃗ X
Considérons ⃗
cof et c⃗
og

Comme
id X ≈c alors id X o f ≈c o f et id X o g≈cof . Or c o f =c o g .

D' où id X of ≈id X og , c’est à dire f  g

(2)  (3) : Supposons (2) satisfaite. Soit x0X et Y= xo. Montrons que
X est homéotope à Y. Il faut définir deux applications continues f :
XY et g :YX telles que f o g  idY et g o f  idX. Soit g :YX
l’inclusion et f :XY définie par f(x)= x0 xX. Clairement f et g
sont des applications continues.

Aussi, on a : (f o g)(

x0 ) = fg( x0 ) = f(x )= x .Ce qui montre que f o g =
0 0

idY. Ainsi
f o g≈id Y . Maintenant, (g o f)(x )= gf(x ) = g(x )=x .
0 0 0 0

D’où g o f : XX est l’application constante qui envoie chaque x de X

sur x0.

Soit idX : XX. Alors g o f : XX et idX : XX sont des
applications continues. D’après (2) en prenant Y=X, on obtient g o f 
idX .

(3)  (1) : Supposons X homéotope à un espace Y=y0 à un point.

Montrons que idX : X X est homotope à une application constante c :

X X.

Soient f : X Y et g :Y X deux applications continues telles que g

o f  idX et f0g 
idY .On a (g o f)(x)=gf(x)]=g(y ) car Y = y 0 . D’où gof
o

est l’application constante qui envoie chaque x de X sur g(y o) de X .En

posant g of = c, on a bien c  idX.

7) Espace contractile

a. Définition
 26

On appelle espace contractile, tout espace topologique qui

satisfait l’une des 3 conditions équivalentes du Théorème (6)précédent

b. Exemples

a) Tout espace à un point est contractile.

b) Tout convexe de ℝn est contractile, en particulier la boule unité B n
est contractile.

En effet, soit X un convexe de ℝn. Soient Y un espace et

f,g :YX deux applications continues.

L’application h : YIX définie par h(y,t)= tg(y)+(1-t)f(y) est une

homotopie entre f et g. D’où fg. D’après le théorème 6 ci=dessus,  X
est contractile.

8) L’homomorphisme (f)

a. Définition

Soient f : X Y une application continue. x0 X, y0 Y avec

y0= f(x0). Si  est un lacet en x 0 dans X, alors f o  : I Y est un lacet
en y0=f(x0) dans Y. Par passage aux classes d’équivalence on obtient
l’application

(f) : 1(X, x0)  1(Y, f(x0) définie par 1(f)= f o 

b. Propriétés de  (f)

1) (f) est bien définie : soient  et  deux lacets équivalents dans X en

x0. Il faut montrer que (f) = (f).
Soit h : I  I  X une homotopie entre  et .Alors f o h : I  I 
Y est une homotopie entre f et les lacets f o  et f o .
 27

D’où f o =f o c'est-à-dire (f) = (f) 

2) (f)  est un homomorphisme de groupes : Soient deux lacets  et 

dans X en x0.
 (f)  (f)  =f of o  = (f o)(f o )

= f o ( o  )

=  (f) (]*[)

D’où (f) est un homomorphisme de groupes.

3) Si id : (X, x0) (X, x0) est l’application identique, alors

(id) : 1(X,x0)  1(X,x0) est l’homomorphisme identique
id Π ( X , x )
1 0

4) Si ( X , x o )⃗f (Y , y o ) ⃗g (Z , z o ) sont continues alors (g o f)= (g)o(f).

3. Théorème (Invariance topologique du groupe d’homotopie)

Deux espaces homéomorphes ont des groupes

fondamentaux isomorphes.

Preuve 

Soient X et Y deux espaces homéomorphes, f : (X ;xo)

(Y,yo) un homéomorphisme et g = f-1 : YX. On a f o g =id Y et g o f =
idX.

D’où (f o g)= (idY) = id(1(Y ,yo)) et (g o f) = ( idX) = id(1(X ,xo)),

id Π ( Y , y ) id Π ( X , x )
c'est-à-dire (f) o (g) = 1 0 et (g) o (f) = 1 0 . D’où (f) et
(g) sont inverses l’une de l’autre. Ainsi (f) est un isomorphisme. 

4. Théorème
 28

Deux espaces homéotopes ont des groupes fondamentaux

isomorphes.

Preuve

Soient X et Y deux espaces homéotopes. Il existe deux

applications continues f : XY et g : YX telles que f o g  idY et g
o f  idX.

En considérant l’homomorphisme (f) : 1(X)  1(Y) on a :

(f o g)= ( idY)= id(1(Y)) et  (g o f)= ( idX)= id(1(X)), c'est-à-dire

id Π ( Y ) id Π ( X )
(f) o (g) = 1 et (g) o (f)= 1 .

Donc, (f) est un isomorphisme entre 1(X) et 1(Y). 

5. Corollaire

Tout espace contractile est simplement connexe.

Preuve

Si X est contractile alors X est homéotope à un espace à un

point Y. comme Y ne contient qu’un seul lacet, 1(Y) = 0.

En vertu du Théorème 4 on a : 1(Y)  1(X). D’où 1(X) = 0. 

I.2.3. Quelques exemples de groupes d’homotopie

1. Le groupe d’homotopie du cercle S1

On considère S1 comme sous ensemble de ℂ.

2 π ti
a. l’homomorphisme p(t)= e

2 π ti
L’application p : ℝS1 définie par p(t)= e = cos2t + i sin2t = (
cos2t, sin2t) a les propriétés suivantes :
 29

a) p est un homomorphisme du groupe additif ℝ sur le groupe

multiplicatif S1.
b) p est une application continue et surjective.
2 π ri
c) Kerp =rℝ : p(r)=1 =r ℝ: e =1

=r ℝ: cos 2r =1

=r ℝ: rℤ =ℤ.

d) Si nℤ, alors p(n) =1

e) Présentation graphique

S1ℝ

Figure 17:Représentation graphique de e2 ti

Géométriquement, p opère sur ℝ en l’enroulant indéfiniment sous

forme de spirale autour de S . 1

f) Considérons la projection radiale de centre O(0,0) dans ℝ2 sur le

cercle S1 définie par :

x y
( ,
r : ℝ2\(0,0)ℝ2  où r(x,y)= √ x2+ y2 √ x 2+ y2
(x,y)
r(x,y)
Posons x = cos2 t et y= sin2t, tℝ.
2 π ti
Alors p(t) = e est bien une
o représentation paramétrique de r.
Ainsi, les deux applications
Figure 18: La projection radiale représentent la même courbe.

b. Lacets différentiables

Dans S1 , tout lacet  est basé en 1 c’est-à-dire

 30

:  0,1 S1 avec (0)=  (1)=1

Proposition

Soient  et  deux lacets dans S1 tels que sup{(t)- (t) : 0

t  1}  1. Alors  .

Preuve

Soient r : ℝ2\(0,0)ℝ2  la projection radiale de centre

O(0,0) et H : I ℝ2 définie par  Hs(t)=s(t) +(1- s)(t) pour tout sI. Alors
la famille Hs : 0  s  1 est une homotopie entre  et . D’où   . 

Définitions

- Deux lacets  et  dans S1 sont dits voisins si sup{(t)- (t)  : 0

t 1} 1.
- Un lacet  : IS1 est différentiable si et seulement si  est
différentiable en tant que application de I dans S 1.

Degré d’un lacet différentiable

Soit   : 0,1 S1 un lacet différentiable. On appelle degré

de  et on écrit deg le nombre :

1 1 dρ 1 1 ρ ' (t )
deg ρ= ∫ = ∫ dt
2 πi 0 ρ 2 πi 0 ρ(t )

C’est le nombre de tours que ( t) parcourt autour de S1. D’où deg

 ℤ.

Exemple

2 π nit
 : 0,1S1: t ↦ (t)= e où n ℤ. Alors

1 1 e 2 π nit 2 π in 1
∫ 2 π in . 2 π nit
dt= ∫0 dt=n .1=n.
deg  = 2 πi 0
e 2 πi
 31

Propriétés

1°) Tout lacet de S1 admet un lacet différentiable voisin c'est-à-dire

si  : IS1 est un lacet, alors,  : IS1 lacet différentiable tel
que sup{(t)- (t)  : 0 t 1} 1.

2°) Si  et  sont des lacets voisins alors il existe  un lacet

différentiable qui est voisin aux deux.

3°) Si  et  sont des lacets différentiables voisins alors deg=

deg.

En effet, on a : sup{(t)- (t) : tI}  1.

Montrons que deg = deg 

Posons s = p o [(1-s) + s]  0  s  1. s est un lacet différentiable

1
1 dρs
( ρs )= ∫
s et l’on a ainsi deg 2 πi 0 ρs

L’application I ℂ  qui envoie s sur deg(s) est une application

continue à valeurs entières (car deg(s)  ℤ,  s) qui est constante.

Ainsi, il existe d ℤ tel que deg (s)= d,  sI.

D’où deg ()= deg() =d.

Notons que  deg[]= deg est une opération bien définie sur 1(S1).

c. Le Groupe 1(S 1)

Proposition

Soient  et  deux lacets dans S1.Alors deg ( *) = deg +

deg .
 32

Preuve 

1
ρ∗μ : I → S 1 : t ↦ ( ρ∗μ ) ( t )=
{ ρ ( 2t ) si 0≤t ≤

μ ( 2 t−1 ) si
1
2
≤t ≤1
2

1 d ( ρ∗μ)
D’où deg ( * )= 2 πi
[ ∫0
1

ρ∗μ ]
1
=
1
2 πi [
∫
1
2
0
d ( ρ∗μ ) 1 d ( ρ∗μ )
ρ∗μ
+∫1
2
ρ∗μ ]
¿
1
2 πi [ ∫ 2
0
d( ρ( 2t )) 1 d ( μ(2 t−1)
ρ(2t )
+∫1
2
μ( 2 t−1) ]

On pose :

- s= 2t, d’où ds=2dt. Si t= 0 alors s=0 et si t=1/2 alors s=1

- l= 2t-1, d’où dl= 2dt. Si t= ½ alors l=0 et si t=1 alors l=1.

1 d ( ρ( s) 1 d( μ(l )
D’où deg (*) = 2 πi
[ ∫0
1

ρ(s)
+∫2
μ(l) ]
1 1 d( ρ(s)) 1 1 d( μ(l ))
= ∫
2 πi 0 ρ(s)
+ ∫
2 πi 0 μ(l )
¿deg( ρ) +deg( μ) 

Corollaire

L’application deg :1 (S1,1)ℤ est un homomorphisme de

groupes.

Preuve
 33

deg([] *[ ])= deg [*]= deg(*)= deg  + deg  =deg [ ] + deg[]. 

Théorème

Le groupe1(S1, 1) est isomorphisme au groupe ℤ des

entiers.

Preuve 

Considérons l’homomorphisme deg: (S1,1)ℤ où [] ↦ deg []

2 π nit
(1) deg est surjectif : Soit n  ℤ. Alors (t)= e est un lacet en 1 tel
que deg  = n. D’où deg []= n.

(2) deg est injectif : Montrons que ker( deg)= [ e1].

Soit [ ]1 (S1,1) tel que deg []= 0 . Donc deg  =0. Montrons que  
e1. On prend  différentiable .Notons que e1 : I S 1 tel que e1

θ( ρ(1)) 1 1 dρ
deg ρ= où θ( ρ (t ))= ∫0
(t)=1 tI. Comme 2π i ρ , posons s(t) =
θ ( ρ(1))
isθ ( ρ (t )) =0
e sI, t I. De deg = 0 c'est-à-dire 2π , on tire
((1))=0.

Donc ((1))= ((0))=0. Donc s  est un lacet  0  s  1.

Alors {s : 0  s  1 est une homotopie entre  et

e1 .

D’où  
e1 (c'est-à-dire [ ]=[ e1 ]). Ainsi, ker(deg)= {[ e1 ]} (c'est-à-dire
deg est injectif). D’où 1(S1, 1) est isomorphe au groupe ℤ. 

2. Le groupe d’homotopie du plan sans origine

a. Définition
 34

Un sous ensemble A d’un espace topologique X est une

déformation rétracte de X si et seulement si il existe r : XA continue
telle que :

(i) r(a)=a aA

(ii) r comme application de X vers X est homéotope à l’application

identique id: XX où x ↦ x.

b. Propositions

a) Si A est une déformation rétracte de X alors A est homéotope à X.

Preuve

Soit r : XA l’application continue telle que A est une

déformation rétracte de X. Soit j : AX l’application-inclusion. On a r
o j : AA est l’identité sur A. Donc r o j  idA. Par hypothèse, on sait
que r  idX. D’où j o r  idX. Par conséquent A est homéotope à X.

b) 1(ℝ2\ 0̄ ) est isomorphe à ℤ.

Preuve

Il suffit de montrer que S 1 est une déformation rétracte de

ℝ2\ 0̄ . En effet, on définit l’application r : ℝ2\ 0̄ S1 comme suit :

x  ℝ2\ 0̄ , soit r(x) l’intersection de S1 avec la demi-droite [ox[.

r est une application continue telle que

x
r(a)=a  a  S1.
r(x)

L’application H : ℝ2\ 0̄ I  ℝ2\ 0̄ 

o définie par H(x,t) = t.r(x)+(1-t)x (x,t) est
id R2−{ 0 }
une homotopie entre r et . D’où S1 est
Figure 19:La projection radiale sur S1
une déformation rétracte de ℝ2\ 0̄ .
 35

Comme S1 est homéotope à ℝ2\ 0̄ , alors  1(S1) est isomorphe à

1(ℝ2\ 0̄ ) qui est à son tour isomorphe à ℤ. 

c) Soit C={(x,y) ℝ2 : r1  x2+y2 r2 } une couronne plane. Alors 1(C)ℤ.

Preuve

En effet, on a :
0 r1+r2
r1
r2

Figure 20:La couronne plane

r 1 +r 2
Soit S le cercle de centre 0 et de rayon 2 . Soit r : S C l’inclusion
et j : C S la projection radiale sur S. Alors on a  r o j idC et j
o r  idS.

D’où S et C sont homéotopes. Ainsi 1 (C)  1 (S)  ℤ. 

3. Le groupe d’homotopie du tore.

Figure 21: Le Tore : T2 = S1  S1

a. Proposition
 36

Soient X et Y deux espaces connexes par arcs avec x o X, yo

Y. Alors le groupe 1(XxY,(xo, yo)) est isomorphe au groupe produit
1(X,xo)  1 (Y ,yo).

Preuve

Soient p1 : XY X où (x,y) ↦ x la première projection et

p2 : X YY où (x, y) ↦ y la deuxième projection.

Si  est un lacet dans XY avec base (x0,y0) alors 1 = p1 o  et 2 = p2

o  sont des lacets dans X et Y avec base x0 et y0 respectivement .

Réciproquement, si 1 et 2 sont des lacets dans X et Y avec base x 0 et

y0 respectivement, alors  = (1,2) est un lacet dans X Y avec base
(x0,y0).

On définit alors un isomorphisme :

h : 1(X Y,(x0,y0))  1( X, x0) 1(Y, y0) par h ([]) = ( [1],[2]). 

b.Proposition

1(Tore) = 1(S1 S1) est isomorphe à ℤ  ℤ.

c.Proposition

Par récurrence on montre que 1(𝕋n)= 1(S1S1…S1)  ℤ  ℤ

… ℤ (n-copies de ℤ).
d.Proposition

1(S1 [0,1])  ℤ
Preuve

1(S 1  [0,1]) = 1(S1)1([0,1])  ℤ {0} ℤ. ∎

S1 [0,1] est le cylindre fermé. Il est

homéomorphe au produit du cercle S1
S 1
 [0,1] avec l’intervalle [0,1]. Nous venons de
montrer que le groupe fondamental du
 37

cylindre fermé est isomorphe à ℤ. Il en est

de même du cylindre ouvert S1xℝ.

Figure 22: Le cylindre fermé

4. Le groupe d’homotopie de la sphère Sn où n 1

a. Nombre de Lebesgue d’un recouvrement

Soit ℛ un recouvrement ouvert d’un espace métrique

compact X. Alors il existe un réel c  0, appelé le nombre de Lebesgue
de ℛ, tel que toutes les boules de rayon  c soient contenues dans un
des ouverts de ℛ.

b. Théorème de Van Kampen (cas spécial)

Soit X=U V où U et V sont des ouverts de X et U V est

connexe par arcs. Soit xo U  V.

Soient les inclusions i : (U,x0)(X,x0) et j : (V, x0) ( X,x0)

Si les homomorphismes (i) : 1(U,x0)1(X,x0) et

(j) : 1(V,x0) 1(X,x0) sont nuls, alors 1(X,x0)=0.

c. Corollaire

Soit X = UV où U et V sont des ouverts simplement

connexes de X et xo  UV. Si U  V est connexe par arcs alors 1(X,
xo)=0.

Preuve

Comme U et V sont simplement connexes, alors (i) :

1(U,x0)1( X,x0) et (j) : 1(V,x0)  1(X,x0) sont des
homomorphismes nuls. D’où 1(X,x0)=0 d’après le Théorème de Van
Kampen. 

d. Théorème
 38

1(Sn) = 0 pour n  1.

Preuve

Soit n  1. Montrons que Sn satisfait les hypothèses du corollaire c ci-

haut. Z
p Pôle nord

x
Y

x
X
q Pôle sud
Figure 23:La projection stéréographique

Soit p = (0,0, …,0,1)ℝn+1 et q = ( 0,0,…0,-1)ℝn+1 , p est le pôle nord et

q le pôle sud.

Etape 1

Sn - p est homéomorphe à ℝn. Soit x = (x, …, xn+1)  Sn- p. Soit f(x)

l’intersection de la droite joignant x à p avec le plan x n+1 = 0. Ce point
étant unique, on définit ainsi une application continue f : Sn-p
 ℝn où x ↦ f(x) appelée projection stéréographique par
1
( x1 , x 2 ,..., xn )
f(x1, x2,…,xn + 1) = 1 − x n+1 . De plus, l’application g : ℝn  Sn-p

2
définie par g(y1, y2,…, yn) = (ty1, ty2, …tyn, 1-t) où t = 1+ y 21 +. ..+ y 2n , est
l’inverse de f. Comme f et g sont bijectives et continues f(ou g) est un
homéomorphisme entre ℝn et Sn – p. Notons aussi que  : Sn-p 
Sn-q définie par (x1, x2,…,xn, xn+1) = (x1, x2, …,-xn+1) est un
homéomorphisme entre Sn-p et Sn – q.

D’où Sn-p et Sn-q sont homéomorphes à ℝn.

 39

Etape 2

Soit U = Sn-p et V = Sn-q. Alors Sn = U  V et U  V = Sn – {p, q}.

Comme ℝn est simplement connexe, il en est de même de U = S n-p et V

= Sn-q. Il reste à montrer que U  V est connexe par arcs.

Sn-{p,q} est homéomorphe à ℝn\{ 0̄ }. Il suffit donc de montrer que ℝn\{

0̄ } est connexe par arcs.

Y
(0,1) x Chaque point xℝn\{ 0̄ }

peut être joint au point (1, 0, 0, …,0)

x 0 (1,0) X
0
Figure 24:Connexité par arcs de ℝn\{ 0̄ } par une ligne droite décrivant un chemin

de x à (1, 0, 0, …, 0) sauf les points x de la forme (a, 0, 0, …, 0) où a

 0 car si a  0, on ne peut pas éviter l’origine en traçant une ligne
droite entre x et (1, 0, …, 0).

Pour les x = (a, 0, …, 0) où a  0, on peut prendre le chemin tracé par

la ligne droite joignant x à (0, 1, 0, …, 0) suivi de la ligne joignant (0, 1,
0, …, 0) à (1, 0, 0, …, 0).

Ainsi, ℝn\{ 0̄ } est bien connexe par arcs. D’où U  V = Sn-{p,q} est
connexe par arcs. Ainsi toutes les hypothèses du corollaire c sont
satisfaites. D’où 1(Sn) = 0  n  1 

ℤ si n = 1
Ainsi, 1(S ) = n

0 si n  1

5. Le groupe d’homotopie du plan projectif P2

a. Définitions
 40

- Soient X et Y deux espaces topologiques et p : X Y une

surjection continue. On dit que un ouvert U de Y est
identiquement recouvert par p si l’ouvert p-1(U) de X admet un
recouvrement ouvert {V :  Γ } dans X vérifiant :

(i) les V sont deux à deux disjoints.

p/ V : V α →U
(ii) la restriction de p sur V, α est un
homéomorphisme .

- Une application surjective continue p : XY est un revêtement si

et seulement si chaque yY admet un voisinage ouvert U qui est
identiquement recouvert par p.

b. Remarque

Si p : X Y est un revêtement, alors p -1(y) est un sous-

espace discret de X.

c. Exemple 

2 π ti
p : ℝS1 : t ↦ p(t)= e est un revêtement.

En effet, p est clairement surjective et continue. Intuitivement, p

enroule la droite ℝ sur le cercle S1 de telle façon que chaque intervalle
[n, n+1] est envoyé surjectivement sur S 1 car p(n)= p( n+1)=1 
n ℤ.
i
U

-1 1

-i
Figure 25:L revêtement de e2ti

Prenons par exemple l’ouvert U=[x+iyS1:x 0] dans ℂ donc dans S1.
1 1
p-1 (U)= { z ℝ : cos 2z  0} = n 4 4 {
¿ ] n− , n+ [ , où les n ℤ }
 41

1 1
]n− ,n+ [ ,  n ℤ .
Posons Vn= 4 4
Comme x ↦ sin2x est strictement monotone sur chaque Vn.
p/ V̄ : V̄ → Ū p/ V̄ : V̄ → Ū
n : est injective. Aussi, n  est surjective. et
p(Vn)=U (par le Théorème des valeurs intermédiaires). Comme

1 1
[
V n = n− , n+
4 4 ] est compact,
p/ V̄ : V̄ → Ū
n est un homéomorphisme.
p/ V̄ : V̄ → Ū
En particulier, n est un homéomorphisme. D’où U est
identiquement recouvert par p. Donc p est un revêtement. 

d. Le plan projectif P2

Soit S2 la sphère de ℝ3 définie par S2=( x,y,z)  ℝ3 : x2+

y2+z2=1

Figure 26:La relation d'antipode sur le sphère S2

Soit x S2. Le point –x est le point sur S 2 diamétralement opposé à x. –

x s’appelle l’antipode de x.

Le plan projectif P2 est obtenu à partir de S 2 en identifiant chaque

point x avec son antipode -x. P2=[x] : x  S2 où [x] = {x,-x}.

Soit  : S2P2 la surjection canonique définie par (x) =[x] ; pour tout
x  S2.

On définit la topologie-quotient sur P 2 par : V  P2 est ouvert-1 (V)

est ouvert dans S2.

e. Théorème
 42

La surjection canonique  : S2P2 où x ↦ [x] est un

revêtement.

Preuve

Montrons d’abord que (U) est ouvert dans P2,  U ouvert

de S2. Comme l’application a: S2P2 définie par a(x)=-x est un
homéomorphisme, on a: si U est ouvert de S 2, alors a(U) est ouvert
dans S2.

Comme -1[(U)]= U  a(U), on voit que -1[(U)] est ouvert de S2.. Par
définition alors, (U) est ouvert dans P2.

Soit y  P2. Soit x -1(y). Choisissons une boule ouverte U

dans ℝ3 (avec la métrique euclidienne de centre x et de rayon r1
contenu dans S2. Comme la distance entre tout point z et son antipode
a(z) vaut (le diamètre) 2, alors  : U (U) est bijective.

D’où  : U (U) est une application continue, bijective et ouverte.

D’où  : U (U) est un homéomorphisme. Il en est de même que
 : a(U)  (a(U))= (U). D’où -1[(U)]= U  a(U) où U et a(U) sont
des ouverts disjoints. Ainsi, (U) est un voisinage de (x)= y0 qui est
identiquement recouvert par . D’où  est un revêtement. 

f. Théorème
1(P2) est isomorphe à ℤ2 (un groupe d’ordre 2)
Preuve
Soit  : S2  P2 où x ↦ [x], la surjection canonique.
Comme 1(S2) =(0), alors S2 est simplement connexe. Par le théorème
(6) il existe  : 1 (P2,y)  -1(y) bijection.
D’où card [1 (P2,y)] = card [-1(y)] = card ({-y,y}) = 2  1(P2) est un
groupe à deux éléments. D’où 1(P2) est isomorphe à ℤ2. ∎
 43

6. Tableau synoptique des groupes d’homotopie

Espace topologique X Groupe d’homotopie 1(X)

1. Cercl 1(S1)  ℤ
e S1
2. Plan 1(ℝ2\{ 0̄ })  ℤ
sans origine ℝ2\{ 0̄ }
3. Tore 1(𝕋2) = 1(S1 S1)  ℤ2
𝕋2
ℤ si n = 1
4. Sphè 1(S ) 
n

re S n
0 si n  1
5. Plan 1(P )  ℤ2
2

projectif P 2

6. Disq 1(D2) = 0
ue D 2

7. Boul 1(Bn) = 0
e unité de ℝ  : B
n n

CONCLUSION

Dans ce premier chapitre, nous avons introduit les

prémisses de notre travail, c'est-à-dire, le groupe d’homotopie associé à
un espace topologique connexe par arcs.

Le prochain chapitre examine de façon profonde les espaces

d’Alexandroff qui constituent le noyau de notre mémoire.

CHAPITRE DEUXIEME : ESPACES D’ALEXANDROFF ET PLAN

DIGITAL

II.1. ESPACES D’ALEXANDROFF

 44

Le mathématicien russe Pavel SERGEEVITCH

ALEXANDROFF (ou Alexandrov, Aleksandrov) (1896 – 1982) a
largement contribué au développement de la théorie des Ensembles et
de la topologie. On lui doit entre autre la notion d’espaces compacts.
Dans son livre « Diskrete Räume » ( A . P [ 1 ] )il parle d’espaces discrets
connus aujourd’hui sous l’appellation d’espaces d’Alexandroff. Ces
espaces sont souvent utilisés en Informatique.

II.1.1. Définitions et propriétés

1. Définitions

Soient X un ensemble non vide et τ une topologie sur X.

On dit que τ est une topologie d’Alexandroff ou que (X, τ ) est un
espace d’Alexandroff lorsque toute intersection d’une famille (finie ou
infinie) d’ouverts de (X, τ ) est un ouvert. Par symétrie ceci équivaut à
dire que toute réunion d’une famille (finie ou infinie) de fermés de (X,
τ ) est un fermé.

On peut dire « un Alexandroff » au lieu d’un espace

d’Alexandroff. Ainsi, les espaces topologiques discrets et les espaces
topologiques finis sont tous des espaces d’Alexandroff.

Aussi, tout Alexandroff est un P-espace c’est-à-dire un

espace dans lequel tout sous-ensemble G est ouvert.

Soit X un espace topologique et p ∈ X ; on pose

B p = ¿ {V ⊂ X : V est un ouvert de X et p ∈ V } et

F p = ¿ {S ⊂ X : S est un fermé de X et p ∈ S }. En d’autres termes,

B p est le plus petit ouvert contenant p et F p est le plus petit fermé

contenant p.

Ces deux ensembles jouent un rôle capital dans les

espaces d’Alexandroff. On a en effet le résultat suivant.

2. Théorème
 45

Soit X un espace topologique. Alors X est un Alexandroff si et

seulement si {B p :p ∈ X} est une base des ouverts de X.

 

Preuve

Supposons X un Alexandroff. Soit V un ouvert de X et p

∈ V. Par hypothèse B p est un ouvert de X et il est le plus petit

ouvert contenant p. D’où p ∈ B p ⊂ V. Ce qui montre que {B p :p

 
∈ X} est une base des ouverts de X.

Pour la réciproque, supposons que {B : p ∈ X} est base

p
 
des ouverts de X. Soit {V : α ∈ Γ } une famille quelconque d’ouverts

de X. Posons V= ¿ { V : α ∈ Γ } et montrons que V est ouvert de X.

Si V= Φ, il n’y a rien à montrer. Soit p ∈ V. Alors p ∈ V ∀ α ∈ Γ

D’où p ∈ B p ⊂ V ∀ α ∈ Γ et ainsi p ∈ B p ⊂ V.

Ceci montre que V est voisinage de p. Comme p est quelconque dans V

, alors V est voisinage de chacun de ses points, c’est-à-dire que V est
un ouvert de X. ∎

II.1.2 Base irréductible

1. Définition

Soit X un Alexandroff. La base B = {B p : p ∈ X} s’appelle la base

 
irréductible de X. Cette base est caractéristique des espaces
d’Alexandroff.

2. Exemples
 46

1) Soit X={1,2,3} et τ = { Φ, {1}, {1,3},{1,2,3} . La base irréductible

de l’espace d’Alexandroff (X, τ ) est définie par B1= {1}, B2= X et
B3= {1,3}.

2) La topologie sur ℤ ayant pour base irréductible B= { B p :p ∈

 

ℤ} où B p = {p-1, p, p+1} est une topologie d’Alexandroff appelée

la topologie digitale usuelle sur ℤ.

3. Proposition

Toute topologie d’Alexandroff possède une base irréductible.

Preuve

Si X est un espace d’Alexandroff, la famille { B p : p ∈ X} est une

 
base irréductible de X.∎

4. Remarque

Si P ⊂ X, soit BP = ¿ {V ⊂ X : P ⊂ V et V ouvert de X}. Si X est un

Alexandroff, alors BP est le plus petit ouvert contenant P. De plus, B P =

¿ {B p :p ∈ P}.
 

II.1.3. Co-topologie d’une topologie d’Alexandroff

1. Définition

¿
Soit τ une topologie sur l’ensemble X. Si τ est l’ensemble des
¿
fermés de (X, τ ) (c’est-à-dire que τ = {S ⊂ X/X\S ∈ τ
¿ ¿
}) et si τ forme une topologie sur X, τ est appelé dans ce cas la co-
topologie de τ .

Cette propriété n’est en fait vraie que pour les topologies d’Alexandroff
comme nous le montrons dans le Théorème5 ci-dessous.
 47

2. Exemple

Soit X={1,2,3,4}. Considérons la topologie τ = { Φ, {1}, X}.

¿
L’ensemble des fermés de cette topologie est τ = { Φ, {2,3,4}, X } qui
est aussi une topologie sur X, donc une co-topologie de τ . De façon
générale, toute topologie sur un ensemble fini X admet une co-
topologie. En fait, nous montrons plus bas qu’une topologie
d’Alexandroff possède une co-topologie.

3. Proposition

Soit (X, τ ) un espace topologique ayant pour co-topologie

¿ ¿
τ . Alors, τ ¿∗¿ ¿ =
¿
(τ ) = τ  ; c'est-à-dire que τ
¿
est une co-topologie
¿
de τ si et seulement si τ est une co-topologie de τ .

Preuve

Cela est clair du fait que pour tout A, B ⊂ X

On a : X\A = B ⇔ X\B =A. ∎

4. Définition

Soit X un Alexandroff. Pour tout p ∈ X, on pose F p = ¿ {F ⊂ X : F

est fermé de X et p ∈ X }. F p est le plus petit fermé de X contenant

p.

Lorsque F p = {p}, p s’appelle un sommet de X.

5. Théorème

Soit τ une topologie sur X. τ est une topologie

d’Alexandroff si et seulement si τ admet une co-topologie sur X.

Preuve
 48

¿
Si τ est une topologie d’Alexandroff sur X et τ = {S ⊂ X :
X\S ∈ τ } est l’ensemble des fermés de (X, τ ), on a clairement que
¿ ¿ ¿
Φ ∈ τ ,X ∈ τ par définition de τ .

¿
Si A, B ∈ τ , alors X\A ∈ τet X\B ∈ τ . D’où (X\A)
¿ (X\B) = X\(A ¿ B) ∈ τ (car τ est une topologie), c’est-à-dire
¿
que A ¿ B ∈ τ .

De même si A α ∈ τ
¿
, alors X\ A α ∈ τ
∀ α ∈ Γ
∀ α ∈ Γ . Comme τ est une topologie d’Alexandroff sur X, il suit
¿
que ¿ {X\ A α : α ∈ Γ }= X\( α∈ Γ A α ) appartient à τ . Ceci
 

montre que ¿ { A α / α ∈ Γ } ∈
¿
τ . Ainsi
¿
τ est une topologie
sur X.

Réciproquement, supposons que τ admette une

¿
co-topologie τ . Montrons que τ est une topologie d’Alexandroff.
Soit {Vi : i ∈ I} une famille d’ouverts de (X, τ ). Il faut montrer que
¿ { Vi : i ∈ I} est un ouvert dans (X, τ ), c’est-à-dire que son
complémentaire est fermé. Par les lois de De Morgan on a : X\( ¿ { Vi :
i ∈ I}) = ¿ ( X\ Vi : i ∈ I) ∈ τ ¿ car chaque X\Vi ∈ τ¿ ,
¿
τ étant une topologie par hypothèse.

D’où X\( ¿ { Vi : i ∈ I}) est fermé dans (X, τ ) et ainsi ¿ { Vi : i ∈ I}
est ouvert dans (X, τ ). Ceci montre que τ est une topologie
d’Alexandroff.∎

6. Théorème

Soit τ une topologie d’Alexandroff sur X et soit F p = ¿

{F ⊂ X : F est fermé de (X, τ ) et p ∈ F } pour tout p ∈ X. Alors { F
¿
p :p ∈ X} est une base des ouverts de la co-topologie τ sur X.
 

Preuve
 49

Il suffit de remarquer que si, B = {B’ p : p ∈ X} est la base

 
¿
irréductible de (X, τ ), alors B’ p =F p pour tout p X. ∎

Donc toute co-topologie d’une topologie d’Alexandroff est

une topologie d’Alexandroff.

II.1.4. Topologie d’Alexandroff et ensembles ordonnés

1. Définition

Rappelons qu’un espace topologique X est dit T 0 – espace si

et seulement si pour tous points x y dans X, il existe un ouvert
contenant l’un des points et pas l’autre. Pour un T 0- espace
d’Alexandroff, nous avons le lemme suivant.

2. Lemme

Soient p et q deux points distincts d’un T 0 – espace

d’Alexandroff X . Alors :

1) p ∈ Bq ⇒ q Bp
2) p ∈ Fq ⇒ q Fp  .

Preuve

(1) Supposons que p ∈ Bq. Montrons que qBp . Si q ∈ Bp,

comme X est T0, il existe un ouvert U tel que p ∈ U et q ∉ U ou il
existe un ouvert V tel que q ∈ V et pV. Dans le premier cas, Bp ⊂ U
et Bq ⊂ Bp ⊂ U. Donc q ∈ U qui est une contradiction. Dans le
second cas, on a Bq ⊂ V et p ∈ Bq ⊂ V, donc pV qui est aussi une
contradiction. D’où si p Bq, alors q Bp .

(2) Si p ∈ Fq, supposons par absurde que q ∈ Fp .

Comme X est T0, il existe un ouvert U tel que p ∈ U et qU ou il existe
un ouvert V tel que q ∈ V et pV. Dans le premier cas, qU ⇒ q ∈
X\U fermé ⇒ Fq ⊂ X\U ⇒ Fq ¿ U = .Comme p ∈ U, alors p
Fq. Contradiction avec p ∈ Fq. Dans le second cas, pV ⇒ p ∈ X\V
 50

fermé. ⇒ Fp ⊂ X\V ⇒ Fp ¿ V = . Comme q ∈ Fp, alors qV,

contradiction avec q ∈ V. Ainsi, si p ∈ Fq alors qFp.∎

3. Théorème

Soit X un T0 – espace d’Alexandroff. La relation définie par :

« q ≤ p ⇔ q ∈ Fp ∀ p ,q ∈ X » est une relation d’ordre sur X.

Preuve

- réflexivité : p≤ p car p ∈ Fp, ∀ p ∈ X .

- transitivité : supposons que q≤ p et p≤r. Montrons que q≤r .

On a : q≤ p ⇔ q ∈ Fp et p≤r ⇔ p ∈ Fr. Montrons que q ∈ Fr. q ∈

Fp ⇒ Fq ⊂ Fp et p ∈ Fr ⇒ Fp ⊂ Fr D’où q ∈ Fq ⊂ Fp ⊂ Fr ⇒ q ∈ Fr
c’est-à-dire que q≤r. D’où la transitivité.

- Antisymétrie : Il faut montrer que p≤ q et q≤ p ⇒ p=q.

En effet, on a q ∈ Fp et p ∈ Fq signifie Fq ⊂ Fp et Fp ⊂ Fq c’est-à-dire

Fp = Fq. Si p ¿ q, par le lemme 2 ci-dessus, comme p ∈ Fq, on doit
avoir q ∉ Fp , ce qui contredit Fp = Fq. Donc p=q. D’où
l’antisymétrie et ainsi, (X, ≤) est un ensemble ordonné.∎

4. Remarques

1) La relation d’ordre donnée dans le théorème ci-dessus peut aussi

être définie par « q ≤ p ⇔ p ∈ Bq »

2) Pour cette relation ≤ , l’espace considéré doit nécessairement être un

T0- espace. En effet, prenons par exemple X= {1,2,3,4} et τ = {

, {1,2},{3,4},X} qui n’est pas un T 0-espace. On a : B1= B2= {1,2} ⇒ 1

≤2 et 2≤1 mais 2 ¿ 1.

3) Tout T0-espace d’Alexandroff est un ensemble ordonné.

Bref, il existe une équivalence entre les espaces d’Alexandroff

et les ensembles ordonnés.
 51

5. Théorème
2
Soit X un espace d’Alexandroff et (p,q) ∈ X . Alors p ∈

Fq ⇔ q ∈ Bp
Preuve
Supposons p ∈ Fq. Si q ∉ Bp alors q ∈ X\Bp fermé ⇒
Fq ⊂ X\ Bp. Or p ∈ Fq. Donc pBp ; ce qui est une contradiction.
D’où q ∈ Bp.

Réciproquement supposons que q ∈ Bp. Si p ∉ Fq alors p

∈ X\Fq ouvert ⇒ Bp ⊂ X\ Fq. Or q ∈ Bp. Donc qFq, qui est encore

une contradiction. D’où p ∈ Fq. On a ainsi : p ∈ Fq ⇔ q ∈ Bp.∎

On a aussi : Fp ⊂ Fq ⇔ Bq ⊂ Bp.

II.1.5. La connexité dans les espaces d’Alexandroff

Dans ce paragraphe nous montrons que tout espace d’Alexandroff est
localement connexe.
1. Théorème 
Tout espace d’Alexandroff X est localement connexe.
Preuve

Il suffit de montrer que chaque Bp est connexe pour tout

pX. Soit donc pX et supposons par absurde que B p n’est pas
connexe. Soit V et W deux ouverts non vides et disjoints de B p tel que
Bp=VW. Il existe alors deux ouverts V’ et W’ dans X tels que V=V’ Bp
et W=W’ Bp. Donc Bp=( V’ Bp)( W’ Bp)= Bp(V’W’). Comme p  Bp,
alors p (V’W’). Si pV’, on a Bp⊂ V’. D’où Bp⊂V⊂ Bp Bp=VW=.
Contradiction. De même si p W’, on montre que Bp=W ; d’où V=.
Contradiction. Par conséquent, Bp doit être connexe ; c'est-à-dire que
X est localement connexe.∎

2. Remarque

Bien qu’il existe des espaces d’Alexandroff non connexes, il

serait intéressant de pouvoir trouver une caractérisation des espaces
d’Alexandroff connexes.
 52

II.1.6. Axiomes T1 et T2

1.Définitions

Un espace topologique X est un T 1- espace si et seulement

si tout singleton dans X est un fermé de X. X est un T 2- espace ou un
espace séparé ou encore un espace de Hausdorff si et seulement si
pour tout couple (x,y) des points distincts de X, il existe deux ouverts
disjoints V et W tels que x  V et y  W. Clairement, tout T2- espace est
un T1- espace. Mais la réciproque n’est pas vraie en général. Pour les
espaces d’Alexandroff, nous avons le théorème suivant.

2. Théorème

Soit X un espace d’Alexandroff. Alors les affirmations

suivantes sont équivalentes :

(1) X est un T2-espace

(2) X est un T1- espace
(3) X est un espace discret.

Preuve

Il suffit de montrer qu’un T1-espace d’Alexandroff est

discret. Pour cela, on établit l’égalité {p} = B p ∀ p ∈ X. Prenons un p
∈ X et soit x ∈ Bp.

Si x ¿ p, il existe deux ouverts V et W dans X tels que x ∈ V, p ∈ W,

x ∉ W et p ∉ V (car X est T1). Maintenant Bp ⊂ W ⇒ x ∈ W (car x
∈ Bp). Contradiction avec le fait que x ∉ W. Avec cette contradiction

on doit avoir x=p et ainsi B p = {p}. Ainsi chaque singleton {p} est un
ouvert c’est-à-dire que X est un espace discret.∎

II.1.7. La régularité

1.Définition

Un espace topologique est dit régulier si pour tout fermé A

et tout point p n’appartenant pas à A, il existe des ouverts disjoints U
et V tels que A ⊂ U et p ∈ V.
 53

Dans un espace d’Alexandroff régulier, si le fermé A n’est

pas ouvert, alors BA\A ¿  et donc il existe p ∈ BA\A avec {p} ¿ BA =
{p} et ainsi Bp ¿ BA ¿ , c’est-à-dire que dans tout espace
d’Alexandroff régulier , tout fermé est aussi ouvert ; comme nous le
démontrons dans le théorème suivant.

2. Théorème

Soit X un espace d’Alexandroff. Alors X est régulier si et

seulement si tout fermé de X est un ouvert de X.

Preuve

Soit F un fermé de X. Si F n’est pas ouvert, alors

F ¿ BF = ¿ {V ⊂ X : V est ouvert et F ⊂ V} qui est le petit ouvert
contenant F.

Soit p ∈ BF \F. On a déjà Bp ⊂ BF. Comme p ∉ F, par la

régularité de X, il existe deux ouverts disjoints U et W tel que p ∈ U et
F ⊂ W. Il suit que Bp ⊂ U et BF ⊂ W, et ainsi Bp ¿ BF = .
Contradiction avec Bp ⊂ BF. Par conséquent F = BF et ainsi F est
ouvert.

Réciproquement, supposons que tout fermé de X est ouvert

dans X. Soit p ∉ F où p ∈ X et F un fermé. Alors p ∈ X\F et, comme
F est fermé, X\F est ouvert de X. Aussi, par l’hypothèse F est ouvert.
D’où F et X\F sont des ouverts disjoints séparant F et p. D’où X est
régulier.∎

Lorsqu’ un espace d’Alexandroff est à la fois régulier et T 0, il

devient discret.
3. Théorème
Tout T0 –espace d’Alexandroff régulier est un espace discret.
Preuve
Soit X un T0 –espace d’Alexandroff régulier et p ∈ X.
Montrons que Bp = {p}. Supposons par absurde qu’il existe q ∈ Bp tel
 54

c
que q ¿ p. On a alors, soit p ∈ Bp ¿ Bq, soit p ∈ Bp ¿ Bq , où
c
B q est le complémentaire de B dans X.
q

Cas 1 : p ∈ Bp ¿ Bq

On a : p ∈ Bp ¿ Bq ⇒ Bp ⊂ Bp ¿ Bq ⊂ Bq. Or q ∈ Bp
(par hypothèse) ⇒ Bq ⊂ Bp ⊂ Bp ¿ Bq ⊂ Bq ⇒ Bp=Bq. Comme X
est T0 et pq , il existe un ouvert V tel que p ∈ V et q ∉ V, ou il existe
un ouvert W tel que q ∈ W et p ∉ W. Si p V et q ∉ V, alors Bq =
Bp ⊂ V et q ∉ V. Contradiction car q ∈ Bq. De même si q ∈ W et p
∉ W, alors Bp = Bq ⊂ W et p ∉ W. Contradiction car p ∈ Bp. Ainsi,

avec cette contradiction, on doit avoir Bp ={p}.

c
Cas 2 : p ∈ Bp ¿ Bq

c
Comme X est régulier, alors par théorème 2 ci-dessus Bq
c c c
est ouvert. D’où Bp ⊂ Bp ¿ B q ⊂ Bp ⇒ Bp= Bp ¿ B q ⊂ Bq
⇒ Bp ¿ Bq= . Or q ∈ Bp et q ∈ Bq ⇒ q ∈ Bp ¿ Bq ¿ ,
contradiction. Dans ce cas, Bp = {p}.
Comme { p }=¿Bp pour tout p X, on conclut que X est discret.∎

II.1.8. La normalité

1.Définition

Un espace topologique X est normal si et seulement si pour

tous fermés disjoints A et B, il existe des ouverts disjoints U et V tels
que A⊂U et B⊂V. Tout T1-espace normal est régulier. Mais la
réciproque n’est pas vraie. Pour les espaces d’Alexandroff, nous avons
le théorème suivant .

2. Théorème

Tout espace régulier d’Alexandroff est normal.

Preuve 
 55

Soit X un espace régulier d’Alexandroff. Soient A et B deux

fermés disjoints dans X. Par le théorème2 dans II.1.7, A et B sont
aussi des ouverts disjoints séparant A et B. Donc, X est un espace
normal.∎

Si X est un espace d’Alexandroff normal, alors les plus

petits ouverts contenant les fermés disjoints P et P’ doivent être
disjoints c’est-à-dire que BP ¿ BP’ = ϕ.

3. Théorème

Soit X un espace d’Alexandroff. Alors X est normal si et

seulement si , pour tout fermé P de X , BP est un fermé dans X.

Preuve

Supposons X normal. Soit P un fermé de X. Posons F=

X\BP qui est fermé de X, et P ¿ F = ϕ. Comme P et F sont des fermés
disjoints de X, par la normalité, il existe deux ouverts disjoints V et W
tels que P⊂V et F ⊂W. D’où BP ⊂V et BF ⊂W. Il suit que BP BF=ϕ,
c’est qui implique que B F= X\BP=F. Ainsi, F est ouvert ⇒ BP = X\
(X \BP)= X\F est fermé.

Réciproquement, supposons que BP soit fermé pour tout

fermé P de X. Nous montrons que X est normal. Soient P et Q deux
fermés disjoints de X. Par définition, B P et BQ sont des ouverts de X
contenant respectivement P et Q. Nous allons montrer que ces deux
ouverts séparent P et Q. En effet, de P ∩Q = , on tire l’inclusion Q
 X\P. Comme X\P est un ouvert contenant Q, il doit aussi contenir
BQ . D’où P∩BQ =  , ce qui montre que P  X\BQ. Par hypothèse BQ est
un fermé de X, ce qui implique que l’ouvert X\B Q contenant P doit
aussi contenir BP. Ainsi, BP et BQ sont disjoints et séparent P et Q. ∎

4. Corollaire

Pour qu’un espace normal d’Alexandroff X soit régulier, il

faut et il suffit que P=BP pour tout fermé P de X.
 56

II.1.9. La compacité

1.Définition

Rappelons qu’un espace topologique X est compact si et

seulement si tout recouvrement ouvert de X admet un sous
recouvrement fini.

2. Théorème

Soit X un espace d’Alexandroff. Alors X est compact si et

seulement si il existe un ensemble fini P ⊂ X tel que X = BP.

Preuve

Supposons X compact. Comme X = {Bp : p ∈ X}, il existe

n
¿
pi B
n ∈ ℕ tel que X = i=1 = BP, où P= { pi : i=1, 2, …, n}.
Réciproquement, supposons qu’il existe n ∈ ℕ tel que
n

pi
¿ B
P= {p1, p2, …, pn} ⊂ X et X = Bp = i=1 . Pour montrer que X est
compact, soit V = {Vϕ : ϕ ∈ Γ } un recouvrement ouvert de X.
Pour tout 1≤ i ≤ n, il existe ϕi ∈ Γ tel que pi ∈ Vϕi . Comme Vϕi est
Bp
ouvert, alors pi ∈ i ⊂ Vϕi .
n n
¿pi B ¿
D’où X = Bp = i=1 ⊂ i=1 Vϕi . Ainsi { Vϕi : i= 1, 2, …, n} est un
sous –recouvrement fini de V. Donc X est compact. ∎

II.1.10. La continuité dans les espaces d’Alexandroff

1.Définition

Soient (X, τ 1 ) et (Y, τ 2 ) deux espaces topologiques. Une

fonction f : X → Y est dite continue si et seulement si pour chaque
−1
ouvert S de Y, f (S) est un ouvert de X.
 57

La continuité des fonctions définies entre espaces

d’Alexandroff s’exprime en termes des ensembles B p comme l’indique le
théorème suivant.

2. Théorème

Soient X et Y deux espaces d’Alexandroff et f : X → Y

une fonction. Alors f est continue sur X si et seulement si f(B p) ⊂ Bf(p) ,
∀ p ∈ X.

Preuve

Supposons d’abord f continue et soit p ∈ X. Comme f (p)

∈ Bf(p) et Bf(p) est voisinage de f(p) dans Y, par la continuité de f au

point p, il existe V ouvert de X tel que p ∈ V et f(V) ⊂ Bf(p). Alors Bp

⊂ V et f(Bp) ⊂ f (V) ⊂ Bf(p) donnent l’inclusion f(Bp) ⊂ Bf(p).

Réciproquement, supposons que ∀ p ∈ X, f(Bp) ⊂ Bf(p).

Fixons p ∈ X et montrons que f est continue en p. Soit W un
voisinage ouvert de f(p) dans Y. Clairement, B f(p) ⊂ W et, par
hypothèse f(Bp) ⊂ Bf(p). D’où f(Bp) ⊂ Bf(p) ⊂ W. Comme Bp est un
voisinage de p dans X tel que f(B p) est contenu dans W, on conclut que
f est continue au point p∎.

Rappelons que la droite digitale ℤ est l’ensemble ℤ des

entiers muni de la topologie d’Alexandroff dont la base irréductible est
donnée par les Bp = p-1, p , p+1,pour p ℤ.

3. Corollaire1

Soient X un espace d’Alexandroff et ℤ la droite digitale .Une

fonction f : X → ℤ est continue si et seulement si f(B p) ⊂ {f
(p) -1, f(p), f (p) +1}, ∀ p ∈ X.

4. Corollaire2
 58

Une fonction f : X → Y entre deux espaces d’Alexandroff X

et Y est continue si et seulement si f (B p) ⊂ Bp’ , pour tout p ∈ X et p’
∈ Y tel que f(p) =p’.

5. Théorème

Soient X et Y deux espaces d’Alexandroff et f : X → Y une

bijection. Alors f est un homéomorphisme si et seulement si f(B p) =Bf(p)  ,
−1
pour tout p ∈ X c’est-à-dire que Bp = f (Bf(p)), ∀ p ∈ X.

Preuve

Supposons que f(Bp) = Bf(p) ∀ p ∈ X. Comme f(Bp) ⊂ Bf(p)

∀ p ∈ X, par le théorème2 ci-dessus, f est continue. Pour la
−1
continuité de f  : Y → X, soit y ∈ Y. Alors il existe p ∈ X unique
−1 −1 −1
tel que y = f(p) c'est-à-dire que p= f (y). D’où f (By) = f (Bf(p))= f
−1 B f −1 ( y) −1 B f −1 ( y)
(f(Bp)) =Bp= . Donc f (By) ⊂ , ∀ y = f(p) ∈ Y ; ce
−1
qui montre que f est continue par le théorème2. Maintenant, f et f
−1
sont continues signifie que f est un homéomorphisme.

Réciproquement, supposons que f est un homéomorphisme

et soit p ∈ X. Il existe y unique dans Y tel que y = f(p) c'est-à-dire
−1
que p= f (y). Par la continuité de f , on a f(B p) ⊂ Bf(p) et par la
−1 −1 B f −1 ( y)
continuité de f on a f (By) ⊂ . D’où f(Bp) ⊂ Bf(p)= By= f(f-
B
1
(By)) f( f −1 ( y) )= f(Bp) ; ce qui donne l’égalité f(Bp) = Bf(p).∎
Si X est un ensemble non vide et ℝ est la droite réelle, on
note par ℝ , l’ensemble de toutes les applications de X vers ℝ.
X

6. Théorème

Soient X un espace d’Alexandroff et ℝ la droite réelle munie

de sa topologie euclidienne. Si C(X)={ f :X → ℝ / f est continue sur X},
alors C(X) = { f ∈ ℝX   : f(Bp) =f(p), ∀ p ∈ X}.

Preuve
 59

Posons A = { f ∈ ℝX : f(Bp) = f(p), ∀ p ∈ X}. Montrons

que C(X) = A. Soit f ∈ C (X). Alors f : X → ℝ est continue et,
−1
pour p ∈ X, soit c = f(p) dans ℝ. Considérons f (c) = { x ∈ X : f (x)
= c} = x ∈ X : (f-cX) (x) = 0}. Où cX est la fonction constante de X vers
−1
ℝ qui envoie chaque élément de X sur le réel c. Maintenant, f (c) =
∞
1
intersect
n=1
{
x ∈ X :|(f −c X )(x )|∠
n } est un ensemble G dans l’espace
−1 −1
d’Alexandroff X. D’où f (c) est ouvert dans X. Comme p ∈ f (c),
−1
alors Bp ⊂ f (c) ; ce qui montre que f (Bp) = {c} = f(p). Donc f ∈ A.

Pour l’inclusion inverse, soit f ∈ A. Montrons que f ∈

C(X). Soit p ∈ X. Il faut montrer que f est continue au point p. Soit V
un ouvert de ℝ tel que f(p) ∈ V. Alors f(Bp) = {f(p)} ⊂ V. D’où f(Bp) ⊂
V. Comme Bp est voisinage de p dans X, on conclut que f est continue
au point p et ainsi f ∈ C(X).∎

II.2. LE PLAN DIGITAL

II.2.1. Plan digital et droite digitale

1. Plan digital

Considérons ℤ2 comme un sous-ensemble de ℝ2. On

appelle plan digital, l’ensemble des points p(i, j) du plan où i  ℤ et j 

ℤ, c’est –à-dire l’ensemble ℤ x ℤ = ℤ 2. Les éléments de ℤ 2 sont appelés

des pixels (= picture element, en anglais)

ℤ
P(i, j)

ℤ
 60

2
Figure 27:Le plan digital ℤ

Un sous-ensemble quelconque S du plan digital ℤ2

s’appelle un ensemble digital.

2. Droites digitales

1) Géométrie discrète

L’expression géométrie discrète désigne la géométrie des

ensembles ℤ2, ℤ3, …, ℤn, par opposition à la géométrie des ensembles

ℝ2, ℝ3,…, ℝn appelée géométrie continue.

La géométrie discrète est née de l’informatique avec

ambition d’en faire une géométrie à l’usage des machines.

On modélise l’ensemble des pixels d’un écran d’ordinateur par ℤ2 et

on utilise aussi souvent ℤ3 et ℤn pour développer des applications

plus complexes (exemple : imagerie médicale).

La géométrie discrète est essentiellement soumise à deux

contraintes :

- pouvoir être utilisée par des machines et

- ressembler à la géométrie euclidienne.

La géométrie est parfois considérée comme l’étude des

« figures » de l’espace. Aussi le discret ne fait pas exception à la règle.

Parlons un peu des droites du plan digital.

2) Droites discrètes de ℤ2
 61

Contrairement au sens implicite hérité d’Euclide sur la

définition d’une droite, en géométrie discrète, une droite est un
ensemble des points colinéaires appartenant au plan digital.

a)Les droites diophantiennes du plan ℤ2

Cette notion de droite discrète est la moins générale de

toutes , mais sans doute la plus naturelle et la plus ancienne. Il s’agit

de la trace sur ℝ2 des droites réelles de pente rationnelle. Autrement

dit, ce sont les solutions d’équations diophantiennes à deux

inconnues.

1
 62

0 1 2 3 4 5 6 7 8

Figure 28: La droite diophantienne d’équation 2x+3y = 4

b)Les droites discrètes rationnelles du plan ℤ2

Comme les droites diophantiennes ne résolvent pas les

problèmes de traitement d’images, les informaticiens ont développé ,

dans les années 60-70, des droites discrètes plus riches en points que

les droites discrètes diophantiennes : les droites de BRESENHAM.

Nous n’entrerons pas dans les détails de ces droites qui sont des cas

particuliers des droites discrètes introduites au début des années 90,

par le français Jean-Pierre REVEILLES.

c)Les droites discrètes du plan ℤ2

La classe des droites discrètes est la plus générale de

toutes. On considère les points de ℤ2 situés dans une bande entre

deux droites réelles. La différence avec les droites discrètes rationnelles

vient de la pente qui n’est plus supposée rationnelle.

D’un point de vue analytique, on prend une double

inégalité avec des coefficients non nécessairement rationnels et on en

recherche les solutions entières.

Définition : Une droite discrète est un ensemble non vide de points

(x, y) de ℤ2 caractérisés par une double inégalité h  ax + by < h + d où

(a, b, h, d)  ℝ4, (a, b) est différent de (0,0) et d est positif.

 63

0 1 2 3 4 5 6 7 8 9

Figure 29: La droite discrète définie par la double inégalité -1 x + ( √2 )y < 1, 7

La classe des droites discrètes « quelconques » contient la

classe des droites rationnelles et aussi celle des droites

diophantiennes. Les droites discrètes qui ne sont pas rationnelles,

sont simplement dites irrationnelles.

II.2.2. La 4-topologie et la 8-topologie sur le plan digital ℤ2

1. 4-voisins et 8-voisins d’un point p de ℤ2

Etant donné un point P=(i, j) de ℤ2, les quatre points de

coordonnées ( i,j+1), (i,j-1), (i+1,j) et (i-1,j) sont appelés les 4-voisins du

 64

point P. On dit aussi qu’ils sont 4-adjacents à P. Si on leur

ajoute les points (i+1, j+1), (i+1, j-1), (i-1, j+1) et (i-1,j-1), l’ensemble

de huit points obtenus constitue les 8-voisins du point p qui lui sont

8-adjacents . On observe aisément que tout 4-voisin est aussi un 8-

voisin, mais la réciproque est fausse.

On peut aussi dire des points P(i,j) et q(i’, j’) que :

- P(i,j) est 4-adjacent à q(i’,j’) si et seulement si
i - i’+ j - j’=1
- P(i,j) est 8-adjacent à q(i’, j’)si et seulement si
max {i - i’,j - j’}=1
(i, j+1)

(i-1, j) (i+1, j)
P P

(i, j-1)

Figure 30: 4-voisins et 8-voisins de P

Le point P a 4 voisins directs et 4 voisins indirects.

P
P
 65

(a) (b)

Figure 31:Voisins directs (a) et voisins indirects (b)

On définit donc le 4-voisinage et le 8-voisinage, en

considérant respectivement les voisins directs, ou directs et indirects.
Le plan digital muni de la relation d’adjacence constitue un
graphe (figure géométrique ) dont les sommets sont des points et les
arêtes joignent les paires des points -adjacents (avec =4 ou =8). La
topologie engendrée par la -adjacence est appelée la -
topologie où =4 ou 8.

Du point de vue topologique, la -adjacence donne

naissance au concept de -voisinage. On a alors, le « 8-voisinage » noté
N8 (P) du point P de ℤ2 qui est l’ensemble de tous les 8-voisins de P
sans le point P. De même, le « 4 voisinage » noté N4(P) du point P de ℤ2
est l’ensemble de tous les 4-voisins de P sans le point P. Nous
illustrons ces deux relations dans les diagrammes ci-
dessous.
 66

Figure 32:Relation de 4-voisinage dans ℤ2 Figure 33: Relation de 8 voisinage dans ℤ2

Les graphes engendrés par cette relation de -voisinage(=4 ou 8) sont

décrits ci-dessous.

                   

                   

                   

                   

                   

Figure 34:Graphe planaire de la 4-topologie Figure 35: Graphe non planaire de la 8-topologie

2. Topologie de Marcus – Wyse sur le plan digital ℤ2

Sur le plan ℤ2, la topologie de Marcus-Wyse est définie

par la base irréductible dont les éléments sont :
Pour P =(m, n)  ℤ2,
N4 ( P )U {P} si m+n est pair
Bp=
{ P } si non.
La topologie de Marcus-Wyse sur le plan digital ℤ2 est précisément
la 4-topologie sur ℤ2 .
3. « 8-connexité » et « 4-connexité »
Les notions de chemin, distance et connexité dans un
graphe prennent ici une forme particulière.
 67

Soit  le nombre désignant l’adjacence choisie, c’est-à-dire

=4 ou =8. On partira de la relation de -adjacence entre les points
de ℤ2 pour définir la -connexité par le -chemin.
Un -chemin du point p au point q est une suite x 0, x1, …,xn
(où n est un entier naturel) des points tels que :
 x0 = p et xn=q
 pour i (0, 1, …n-1), xi est -adjacent à xi+1.
Ici, n est la longueur du chemin et alors ce chemin comporte n+1 points
et n arêtes. Par exemple un chemin de longueur 0 correspond à un
unique point, tandis qu’un chemin de longueur unité est une suite {p,
q} formée de deux points -adjacents.
Tout 4-chemin est un 8-chemin dans le plan discret.

Figure 36: 4-chemin Figure 37:  8-chemin

Soit  {4, 8} et soit S  ℤ2. On dit que S est -connexe si et seulement

si pour tout couple (p, q) de points dans S, il existe un -chemin
(x0=p, x1, x2, xn-1, xn=q) entièrement contenu dans S.
 68

Figure 38: sous-ensemble 4-connexe Figure 39: sous-ensemble 8-connexe

4. La 4-métrique et la 8-métrique sur ℤ2

Soit   {4, 8}. La  -métrique ou la -distance sur ℤ2, est notée par
d : ℤ2 x ℤ2  ℤ+ . Pour deux points p et q dans ℤ2, on définit d (p, q)
comme étant la longueur minimum d’un -chemin de p à q. Il s’agit
bien d’une distance au sens mathématique parce qu’elle vérifie les
axiomes suivants :

 d (p, p) = 0 et pour p différent de q, on a

d (p, q) > 0 (identité et positivité)

 d (p, q) = d (q, p) (symétrie)

 d (p, r)  d (p, q) + d (q, r) (inégalité triangulaire)
avec  = 4 ou  = 8
d4(p, q) =i - i’+j - j’ et
Si p(i, j) et q(i’, j’), alors :
d8(p, q) =max {i -i’,j - j’}.

Exemple

Déterminer la 4-distance et la 8-distance entre les points

p(-5,7) et q(4, 2).
1. d4(p, q) =-5 - 4+7 - 2= 9 + 5 = 14
2. d8(p, q) = max {-5 - 4,7 - 2} = max {9, 5} = 9
 69

Figure 40:Distances entre p et q

Les distances d4 et d8 font partie de la famille des distances

appelées « distances discrètes ».

CHAPITRE TROISIEME : HOMOTOPIE DANS LES ESPACES

D’ALEXANDROFF

Dans ce chapitre nous utilisons la notion de -chemin

introduite dans le second chapitre pour définir la relation de -
homotopie qui est une relation d’équivalence sur l’ensemble des -
 70

chemins dans un espace d’Alexandroff de type fini. En quotientant cet

ensemble, on obtient le -groupe d’homotopie d’un tel espace. Nous
montrons que ce groupe d’homotopie est un invariant topologique dans
ce sens que deux espaces d’Alexandroff de type fini qui sont
homéomorphes ont des groupes d’homotopie isomorphes.

III.1. PROPRIETES TOPOLOGIQUES DES CHEMINS FERMES DANS ℤ2

III.1.1.Pavages et maillages du plan digital

1. Pavages et maillages

En partitionnant ℝ2 en pavés de polygones réguliers et

identiques, on obtient un « pavage » (régulier) du plan. De tels
polygones sont appelés des « tesselles » et on dit aussi « tessellation »
au lieu de pavage.
Une abstraction mathématique des pixels comme taches
lumineuses consiste à considérer qu'ils forment des ensembles
connexes de points du plan euclidien, de telle sorte que deux pixels
voisins ne peuvent s'intersecter que sur leur bord, et que l'ensemble
des pixels recouvre le plan. On associe le centre de gravité P à
l’intérieur de chacune des tesselles Tp (Voir figure) du pavage. Les
points P équivalent aux pixels. Puis à tout point P est associé
l’ensemble des points Q tels que Tp et Tq ont une arête commune.
L’ensemble de tous les segments (P, Q) ainsi définis forme le maillage
du plan. En fait, pavage et maillage sont des représentations duales du
plan.

Figure 41: Pavage (en trait continu) et maillage associé (en trait discontinu)
 71

Il n'y a que 3 types de pavages dont les pavés sont des

polygones réguliers : triangulaire, carré, et hexagonal. Nous les
illustrons ci-dessous :

Figure 42: Types de pavages

les maillages correspondants sont respectivement :

Figure 43:Types de maillages

Comme on peut le voir, le pavage carré donne un maillage

carré, tandis que le pavage triangulaire donne un maillage hexagonal
et vice versa. C'est ce qui met en évidence la dualité entre pavages et
maillages.
Pour les pavages carré et hexagonal, ces points forment un
réseau, c’est-à-dire ils coïncident avec les points à coordonnées
entières selon deux axes ; ces axes sont orthogonaux pour le pavage
carré, et forment un angle de 60° ou de 120° pour le pavage hexagonal,
comme on le voit ci-dessous :

Figure 44:Réseaux de pavés

Cela représente un avantage indéniable des pavages

hexagonal et carré par rapport au triangulaire. Ce dernier a un autre
défaut : chaque pavé a 12 pavés voisins se répartissant en trois types
 72

différents, à savoir 3 pavés le touchant par un côté, 3 le touchant par

un sommet et en symétrie par rapport à ce sommet, et enfin 6 le
touchant par un sommet et formant avec ce pavé un angle de 120° par
rapport à ce sommet. Par conséquent, on n'utilise jamais le pavage
triangulaire comme modèle de pixels.

Dans le pavage carré, chaque pavé a 8 pavés voisins se

répartissant en deux types, à savoir 4 pavés le touchant par un côté et
4 le touchant par un sommet. En d'autres termes, dans le maillage
carré, chaque point a 8 voisins, 4 selon les axes et 4 selon les
diagonales. Par contre dans le pavage hexagonal, chaque pavé a 6
pavés voisins tous du même type, qui sont les 6 pavés le touchant par
un côté. Donc dans le maillage triangulaire correspondant au pavage
hexagonal, chaque point a 6 voisins, tous du même type.
Par conséquent le pavage hexagonal a la topologie la plus simple du
point de vue mathématique et algorithmique (6 voisins au lieu de 8, et
d'un seul type au lieu de deux). De plus, il se prête mieux à la
modélisation de phénomènes naturels. Par exemple sur un réseau
triangulaire, la modélisation discrète de la dynamique des molécules
d'un fluide (liquide, gaz) permet de retrouver à l'échelle macroscopique
les lois de la physique des fluides ; ce n'est pas le cas si on prend un
maillage carré.

Cependant, on utilise presque toujours le pavage et le

maillage carrés, car ils correspondent à nos habitudes cartésiennes.
En particulier les points lumineux d'un écran sont toujours disposés
suivant un maillage carré.

Nous nous limiterons au cas pour lequel les tesselles sont

des carrés, et utiliserons alors le maillage carré (ou maille carrée).
 73

Dans un tel maillage, un pixel est repéré par ses coordonnées (i, j), i
indiquant la ligne et j indiquant la colonne à l’intersection des quelles
se situe le pixel. Ce maillage peut être stocké dans une structure de
données de type matriciel (mij).
2. Pavages de chemin fermé dans ℤ2
Rappelons qu’un -chemin d’un pixel p0 à un autre pixel pn
est une suite de points p0, p1 … pn telle que pi est -adjacent à pi+1
pour 1 i  n. On dit que le chemin est -connexe ( = 4 ou 8) selon le
type de voisinage, ou * - connexe si le type n’est pas établi. Si po = pn,
le chemin est fermé.
o o o o o o o o o o o o o
o x x x x o o o o o x o o
o x o o x x o o o x ox o
o x x x o x o o x o ox o
o o o x o x o o o o x o o
o o o o o o o o o o o o o

Figure 45: 4-chemin et 8-chemin dans les maillages

Un arc est un chemin tel que chaque point a exactement

deux voisins, sauf les extrémités qui n’en ont qu’un. Enfin une courbe
est un arc fermé.
Pour compléter le vocabulaire, deux points voisins sont dits
adjacents, et deux points reliés par un chemin sont connectés.

Les définitions d’objets, d’arc et de courbe sont toutes à prendre pour

un type de connexité fixé.
o o o o o o o o o o o o o
o x x x x o o o o o x o o
o x o o x x o o o x o x o
o x x x o x o o x o o x o
o o o x x x o o o x x o o
o o o o o o o o o o o o o
Figure 46:Courbe 4-connexe et intérieur 8-connexe Figure 47: Courbe 8-connexe et intérieur 4-connexe
 74

III.1.2. Propriétés topologiques des chemins fermés dans ℤ2

1. Indice d’un chemin fermé

Soit π un - chemin fermé dans ℤ2 et A un pixel. L’indice du

chemin π autour du point A représente intuitivement le nombre de
tours que fait le chemin autour du point. Cet indice ne change pas
lorsque le point se déplace continûment sans toucher le chemin, ou
lorsque le chemin est déformé continûment sans toucher le point.

Figure 48:Indice d'un chemin fermé

Soit A = (xA, yA)  ℤ2 un point. Prenons 1 la demi-droite

discrète horizontale issue de A et dirigée vers la droite. Considérons
aussi 2 la demi-droite verticale issue de A et dirigée vers le haut.
1 ={(x,y)  ℤ2 : x¿xA et y=yA}
2 ={(x,y)  ℤ2 : y¿yA et x=xA }

Soit  = (Ai)i=0,…,n un 8-chemin fermé dans ℤ2 ne passant pas

par A. Nous cherchons à définir l’indice du chemin fermé autour de A,
qui représente intuitivement le nombre de tours que fait le chemin 
autour de A (en positif ou en négatif suivant le sens trigonométrique).
 75

Nous allons calculer cet indice I(, A) en utilisant la demi-droite 1,

puis en utilisant la demi-droite 2. En fait les résultat est indépendant
de la demi-droite choisie, ce qui justifie la notion d’indice.

Notons Ai = (xi, yi) les coordonnées du point Ai, i  {0,. . ., n}. on définit
1 si Ai ∈ ∆1 et y i+1 > y A
I 1 ( π , A , i )=
{ −1 si y i> y A et Ai +1 ∈ ∆1
0 dans tous les autres cas

Le nombre I 2 ( π , A ,i ) s’appelle la contribution de i à l’indice de  autour

de A calculé par rapport à 1. Nous pouvons de même définir la
contribution de i à l’indice de  autour de A calculé par rapport à
2 par :
1 si A i ∈ ∆2 et x i+1 < x A
I 2 ( π , A ,i )=
{ −1 si x i< x A et Ai+ 1 ∈ ∆2
0 dans tous les autres cas

On définit alors l’indice de  calculé par rapport à 1 ou 2 par :

n−1 n−1
I 1 ( π , A )=∑ I 1 ( π , A ,i ) et I 2 ( π , A )=∑ I 2 ( π , A ,i )
i=0 i=0

2.Théorème

L’indice d’un 8-chemin fermé  autour de A ne dépend pas de la demi-

droite par rapport à laquelle on le calcule : I 1 ( π , A ) = I 2 ( π , A ) .

Preuve

Notons Q={(x,y)  ℤ2/x≥xA et y¿yA} le premier quadrant. Pour

k−1
∑ I num ( W , A ,i )
num {1,2 } et k {0,…,n }, on pose S num(k) = i=0 . On a
Inum(W,A) = Snum(n). pour simplifier la preuve nous supposons que le
point A0 se trouve dans le premier quadrant Q ( la preuve est similaire
 76

dans les autres cas). Montrons par récurrence que pour tout k {0,…,n
} tel que Ak soit dans le premier quadrant, on a S 1(k)= S2(k). Pour k= n,
nous aurons S1(n)= S2(n), ce qui revient à dire que I1(W,A) = I2(W,A).

Nous formalisons maintenant la récurrence : le résultat est

évident pour k=0 car on a S1(0) = 0=S2(0). Supposons que le résultat
soit vrai pour un certain k, c'est-à-dire que A k est dans le premier
quadrant, et on a S1(k) = S2(k). Soit k’ le plus petit entier supérieur à k
tel que Ak’ soit dans le premier quadrant. Montrons que S1(k’)= S2(k’). Si
k’ =k+1, le résultat est évident puisque I 1(W,A,k) = I2(W,A,k)=0. Sinon,
pour tout i tel que k¿ i<k ' −1, on a I1(W,A,i) = I2(W,A,i)=0. Seulement
quatre cas sont possible :
1) premier cas : I2(W,A,k)=1et I1(W,A,k’-1) =1
2) deuxième cas : I1(W,A,k)=-1et I1(W,A,k’-1) =1
3) troisième cas : I1(W,A,k)=-1et I2(W,A,k’-1) =-1
4) quatrième cas : I2(W,A,k)= 1et I2(W,A,k’-1) =-1.
Dans tous les cas, on conclut que S1(k’)=S2(k’).∎

3. Définition

On appelle indice du 8-chemin fermé  autour de A, et on note I(, A) le

nombre I 1 ( π , A ) = I 2 ( π , A ).
On aurait aussi pu calculer l’indice de  autour de A par rapport aux
autres demi- droites 3 et 4 issues de P et parallèles aux axes.
Supposons maintenant que  est un 4-chemin fermé. Alors on peut
calculer I(. A) par rapport à la demi-droite oblique D = {(x, x) ℝ2 / y =
px} avec p ℝ+. Pour cela on pose:

1 si y i px i et y i +1> px i+1 et y i + px i> y A + px A

( )
{
I D π , A , i = −1 si y i> px i et y i+ 1 ≤ px i+1 et y i +1+ px i+1 > y A + px A
0 dans tousles autres cas

On peut de même calculer l’indice par rapport aux demi-droites

discrètes issues de A et à 45 degrés 5, 6, 7 ou 8 .
 77

La preuve du théorème suivant est similaire à la preuve du

théorème précédent.

4. Théorème

L’indice d’un 4-chemin fermé  autour de A peut être calculé par rapport
à n ‘importe laquelle des demi-droites D issues de A.

Le Théorème suivant donne des précisions sur le lien entre l’indice et

la ά -adjacence.

5. Théorème

Soit α ∈ { 4,8 }. Soit  un -chemin fermé dans ℤ2. Soient A et B deux points
de ℤ2 qui sont ά -adjacents, avec ά = 12-. Supposons que  ne passe ni
par A ni par B. Alors, I(, A) = I(, B).

6. Théorème

Soit   {4,8}. Soit  = (Ao,…,An) un -chemin fermé dans ℤ2. Soit X

= {Ai : i = 0,…, n} l’ensemble des points de . Soient A et B deux points
du complémentaire X́ de X. Supposons que A et B sont dans la même
composante ά -connexe de X́ . Alors I(, A) =I(, B).
Preuve
Considérons un ά −¿chemin =(B0 ,…,Bm) du point A au
point B qui ne rencontre pas X (et qui ne rencontre donc pas ). En
utilisant le Théorème5, on montre par récurrence sur j que I(, Bj)
=I(, A). ∎

III.2. HOMOTOPIE DES CHEMINS DANS UN ESPACE D’ALEXANDROFF

III.2.1 Points simples

1.Idée intuitive de point simple

 78

Soit X une partie de ℤ2 et soit A X. Intuitivement, le point A est

simple dans X si la suppression de A dans X ne modifie pas la
topologie de X.
2.Définition (Point simple 2D)
Soit X une partie de ℤ2 ayant un nombre fini de composantes -
connexes et donc le complémentaire a un nombre fini de composantes
−¿connexes. Un point A de X et dit −¿simple dans X si:
1) les ensembles X et X\{A ont le même nombre de composantes −¿
connexes;
´ ¿} ont le même nombre de composantes
2) les ensembles X́ est X ¿ {A
ά −¿ connexes.

Figure 49:Points -simples

3.Caractérisation des points -simples

Un point A  X ℤ2 est -simple dans X si et seulement si:

1) Toute composante -connexe de X contient exactement une
composante -connexe de X\{A};
´ ¿} contient exactement une
2) Toute composante ά −¿connexe de X ¿ {A
composante ά −¿connexes de X́ .

Preuve
 79

Si A vérifie les conditions du théorème, alors il est immédiat

que A est -simple dans X.

Réciproquement, supposons que A est -simple dans X.

Soit Y la composante -connexe de X qui contient A (la seule
composante qui peut poser problème pour le point 1 du théorème).
Le point A ne peut pas être isolé dans Y (c’est-à-dire que A est -voisin
d’au moins un autre point de Y) car sinon X\{A} a une composante -
connexe de moins que X. Donc Y contient au moins une composante
-connexe de X\{A}. Les composantes de X différentes de Y ne sont pas
modifiées lors de la suppression de A. Donc, l’ensemble des
composantes -connexes de X\{A} est l’ensemble des composantes -
connexes de X privé de Y union l’ensemble des composantes -
connexes de X\{A} contenues dans Y. Les cardinaux de ces ensembles
de composantes étant égaux, la composante Y ne contient qu’un seule
composante -connexe de X\{A}. Concernant les composantes -
connexes du complémentaire et le point 2 du théorème, le
raisonnement est analogue. ■

4.Remarque
Les caractérisations de points simples données par la
définition et le théorème précédent sont globales, c’est-à-dire qu’avec
ces caractérisations on a besoin d’examiner tout l’objet pour savoir si
un point est simple, et l’algorithme est linéaire par rapport au nombre
de pixels de l’image.

Nous allons voir maintenant que la simplicité d’un point

peut être ramenée à une notion locale, c’est-à-dire qu’elle ne dépend en
 80

fait que du 8-voisinage du point. Ceci donnera un algorithme en temps

constant pour déterminer si un pixel est simple.
III.2.2.Nombre de connexité 2D
1.Définition

Soit A un point de X où X est un sous-ensemble de ℤ 2. On note T(A, X)

le nombre de composantes -connexes de N8(A) ∩ X qui sont -
adjacentes à A. Le nombre T ά (A, X́ ) est le nombre de composantes
ά −¿ connexes de N8(A) ∩ X́ qui sont ά −¿ adjacentes à A.
Avec ces notations, on a le résultat suivant.
2.Lemme
Soit A un point de X  ℤ2, non ά −¿isolé dans X et non ά −¿intérieur à X
(i.e. T(A, X)≠ 0 et T ά (A, X́ )≠ 0 ¿. Alors on a . T (A, X ) = T ά (A, X́ ).

3.Théorème(C.J.[ I .6 ])

Soit A un point, de X  ℤ2. Les trois conditions suivantes sont

équivalentes.
1) le point A est -simple dans X;
2) le point A n’est pas ά −¿intérieur à X et le nombre T(A, X) de
composantes -connexes de N8(A) ∩X qui sont -adjacentes à A est égal
à 1;
3) le point A n’est pas -isolé et le nombre T ά (A, X́ ) de composantes ά −¿
connexes de N8(A) ∩ X́ qui sont adjacentes à A est égal à 1;
4) T(A, X) = T ά (A, X́ )=1
Preuve

Les propriétés (2) et (3) sont équivalentes en vertu du

lemme. Nous montrons que (1) implique (2) et que (2) et (3) impliquent
(1). Après avoir montré l’équivalence de (1), (2), et (3), l’équivalence de
(4) est immédiate d’après le lemme.

Supposons tout d’abord que A vérifie (2) et (3). Le point A

n’est pas isolé dans X, donc aucune composante -connexe de X ne
disparaît par suppression de A. De plus, deux points B 1 et B2 de X\{A}
 81

sont -connectés dans X\{A} si et seulement s’ils sont -connectés

dans X. En effet, si un -chemin  de B1 à B2 passe par A, on peut
remplacer chaque occurrence de A dans  par une portion de -chemin
dans N8(A) ∩ X (propriété (2)), et on relie ainsi B 1 à B2 sans passer par
A. Cela prouve que X et X\{A} ont le même nombre de composantes -
connexes. En raisonnant de même dans le complémentaire on voit que
´ ¿} ont le même nombre de composantes ❑
3) implique que X́ et X ¿ {A ´-
connexes, ce qui prouve (1).

Pour montrer que (1) implique (2), nous supposons par contraposition
que (2) est fausse, et nous montrons que A n’est pas -simple dans X.
Si Tn(A, X) = 0, alors A est isolé dans X et A n’est donc pas -simple
dans X. Si Tn(A, X) ≥2, soient B1 et B2 deux points de Nn(A) ∩ X qui ne
sont pas -connectés dans N8(A) ∩ X. Nous distinguons deux cas:
Premier cas : B1 et B2 ne sont pas -connectés dans X\{A}. Alors, B 1 et
B2 sont dans la même composante -connexe de X mais dans des
composantes -connexes différentes de X\{A}. D’après la
caractérisation de point simple, le point A n’est pas -simple dans X.

Deuxième cas : B1 et B2 sont -connectés dans X\{A}.

Soit ’ = (A1,…,An-2), avec n  ℕ, un (plus court) -chemin de B1 à B2
dans X\{A}. Posons A0 =An-1 = A et considérons le -chemin fermé =
(A0,...,An-1): Les trois points B1, B2 et A sont dans l’une des
configurations des points gris illustrées figure (distinguer selon la
valeur de ). Dans tous les cas, nous pouvons trouver une demi-droite
 parmi 1, 2, 3 ou 4 (considérer aussi des demi-droites obliques y =
px si  = 4, voir cas antérieur) issue d’un pixel M de N ά (A) ∩ X́ , dont le
deuxième pixel (considérer la discrétisation de la droite) est A, dont le
troisième pixel est dans X́ , et telle que B1 et B2 soient de part et d’autre
de . De plus, I(, M,0) = ±1 et le troisième pixel N de  ne peut pas
´ -connecté à M sans toucher le -chemin . On voit que N n’est
être ❑
pas dans la même composante ❑
´ -connexe de X́ que M. Or M et N sont
dans la même composante
 82

´ -connexe de X ¿ ´A }¿ . D’après la caractérisation de point simple, le

❑
point A n’est pas -simple dans X.■

III.3. -GROUPE D’HOMOTOPIE 2D ET -TROUS

III.3.1.Notion de -trous

1.Définition de -trou 2D

Soit X  ℤ2 un ensemble fini et   {4, 8}. Un ❑

´ -trou de X est une
composante ❑
´ -connexe finie du complémentaire X́ de X dans ℤ2.

2.Chemin non trivial et chemin trivial

Pour mieux comprendre la notions de trous 2D, nous devons tout

d’abord introduire la relation de -homotopie entre -chemins fermés.
Intuitivement, deux chemins sont homotopes dans X si on peut
déformer continûment un chemin en l’autre par une suite de
chemins de mêmes extrémités dans X. Typiquement, si un chemin fait
le tour d’un trou, on ne peut pas le déformer en un point.

On parle alors de chemin non trivial. Sinon le chemin est trivial.

 83

Figure 50:Chemin trivial et chemin non trivial

3.Notation

Soit X  ℤ2 un ensemble fini et   {4.8}. Soit B  X un point fixé une

α
fois pour toutes et appelé point base. Soit AB ( X ) l’ensemble de tous
les -chemins fermés  = (A0 ,…,An) dans X tels que A0 = An= B. Les
α
éléments de AB ( X ) sont aussi appelés des -lacets.

III.3.2. La relation de -homotopie

1.Concaténation des -chemins

a) Déformation élémentaire

Soit X  ℤ2 un ensemble fini et   {4.8}. Soit B  X un point fixé une

α
fois pour toutes et appelé point base. Soit AB ( X ) l’ensemble de tous
les -chemins fermés  = (A0 ,…,An) dans X tels que A0 = An= B.
α
On dit que deux -chemins  et ‘ de AB ( X ) sont les mêmes à une
déformation élémentaire près s’ils sont tous deux de la forme d’une
concaténation (notée par l’opérateur∗) de trois chemins :  =1 ∗  ∗ 2 et
‘ = 1 ∗ ’∗ 2, les -chemins  et ‘ ayant les mêmes extrémités et

étant tous deux inclus dans un même carré unitaire {(x,y),(x+1,y),

(x,y+1),(x+1,y+1)}.
En d’autres termes, les deux chemins  et ’ coïncident sauf peut-être
sur une portion de leur longueur, et cette portion est incluse dans un
carré unitaire.
b) -chemins et -homotopie
Deux -chemins  et ’ sont dits -homotopes (à extrémités fixées)
dans X s’il existe une séquence finie de -chemins  = 0,…, m =’ de
α
AB ( X ) telle que pour i = 1,...,m les -chemins i-1 et i sont les mêmes
à une déformation élémentaire près. Autrement dit, il existe un chemin
 84

dans le graphe  suivant: les sommets de  sont les éléments de

α
A B ( X ) , et il y a une arête dans  entre deux sommets (ou deux
chemins) s’ils sont les mêmes à une déformation élémentaire près.

c) Relation d’équivalence -homotopique

La relation d’-homotopie entre chemins définit une relation

α
d’équivalence sur AB ( X ) (dont les classes d’équivalence sont les
α
composantes connexes du graphe ). Pour  AB ( X ) on note [ π ] la
classe d’équivalence de  :
α
[ π ] = {’  A B ( X ) : ’ est - homotope à }.
 
α α
On note A 1 ( X ) l’ensemble des classes d’équivalence de AB ( X ) pour
la relation d’ -homotopie.
α
Considérons maintenant deux -chemins l et 2 de A B ( X ) . On peut
définir la concaténation 1 ∗ 2 des deux chemins qui est un nouvel
α
élément de A B ( X ) . Si '
π1
'
est -homotope à 1 et π 2 est -homotope
' '
à 2, alors, en déformant d’abord 1 en π 1 puis 2 en π2 , on montre
' '
que 1∗2 est -homotope à π1 ∗ π 2 . Cela permet de définir sans
ambiguïté l’opération de concaténation sur les classes [ π 1 ] ∗ [ π 2 ] =
[ π 1∗π 2 ] sachant que si l’on avait choisi d’autres représentants pour
les classes, la classe de la concaténation aurait été la même.
2.Théorème

α
L’opération ∗ ainsi définie sur les classes d’équivalence de A B X
( ) fait
α
de A 1 ( X ) un groupe.

Preuve

L’associativité vient de l’associativité de l’opération de concaténation.

La classe du -chemin (appelé chemin constant) avec un seul point
 85

=(B∗B) est un élément neutre pour l’opération sur les classes. Enfin,
pour =(A0, …, Ap-1) considérons le -chemin -1=(Ap-1, …, A0) alors, les
chemins . -1 et -1 . sont tous deux -homotopes au chemin constant
(B, B). Donc [-1] est un inverse de [π ] pour l’opération sur les
classes.■

III.3.3. Le -groupe d’homotopie

1.Définition

α
Le groupe ( A 1 X ,∗) s’appelle le -groupe d’homotopie de X ou le
( ) -
groupe de Poincaré de X.

2.Définition

Soient (G1, .) et (G2,.) deux groupes. Un morphisme f de G 1 dans G2 est

une application de G1 dans G2 telle que pour x, x’  G1 on ait f(x.x’) =
f(x) . f(x’). Un isomorphisme est un morphisme bijectif.

3.Théorème

Soit X  ℤ2 et A X́ . Soit B  X un point base. Soient  et ’ deux

α
chemins de A B X
( ) qui sont -homotopes dans X. Alors I(, A) = I(’, A).
α
De plus, l’application f : A 1 ( X ) ⟶ℤ qui à [ π ]associe I(, A) est donc bien
α
définie de A 1 ( X ) dans ℤ, et f est un morphisme de groupes.

Preuve
Pour voir que f est un morphisme de groupes, il suffit de
remarquer, par définition de l’indice, l’égalité
f ([ π 1 ]∗[ π 2 ]) f ([ π 1∗π 2 ])
I(1∗2,A)=I(1,A)+I(2,A). Ainsi, = =
f ([ π 1 ]) f ([ π 2 ])
I(1∗2,A)=I(1,A)+I(2,A)= + .
 86

Pour montrer que f est bien définie, il suffit de montrer le

résultat pour  et ’ qui sont les mêmes à une déformation élémentaire
près. Le théorème s’en déduit par récurrence. Supposons donc que  et
’ sont tous deux de la forme d’une concaténation de trois chemins : 
= 1 ∗  ∗ 2 et ’ = 1 ∗ ’ ∗ 2, les -chemins  et ’ ayant les mêmes
extrémités et étant tous deux inclus dans un même carré unitaire C =
{(x, y), (x+ 1, y), (x, y+ 1), (x+ 1, y+ 1)}. On peut trouver une demi-droite
 issue de A parmi les demi-droites parallèles aux axes 1 , 2 , 3 et 4
et telle que l’intersection de  avec C est soit vide, soit réduite à { A}.
On voit que, changer  en ’ ne change pas les intersections du chemin
avec , donc ne change pas l’indice calculé par rapport à . Donc f est
bien définie.■

4.Théorème(F.J.[ I .8 ] )

α
Soit X un rectangle plein. Alors A1 ( X ) est un singleton (réduit à
l’élément neutre).

Preuve

α
Soit   AB ( X ) et B = (xB, yB) le point base. Notons par
W() la somme des valeurs absolues des coordonnées |x−x B| et des
coordonnées | y − y B| de tous les points de . Si  n’est pas contenu dans
{B}, montrons que nous pouvons faire décroître W(), par une
déformation élémentaire. En effet, soit (x i, yi) un point dans le chemin 
tel que ¿ x i−x B ∨¿soit maximum et | y i− y B| soit maximum parmi les points
de  de même valeur |x−x B|. Par une déformation élémentaire, nous
changeons le point (xi, yi) dans  en un point (x, y) tel que |x−x B|+| y − y B|
< ¿ x i−x B ∨¿ + | y i− y B|. Cela montre que l’on peut par déformation de 
faire décroître W() jusqu’à ce qu’il soit nul.■

5.Théorème
 87

α
Soit X= N8(A) le 8-voisinage d’un point. Alors, A 1 ( X ) est isomorphe à ℤ.
De plus, l’application f qui à [ π ] associe I(, A) est un isomorphisme de
α
A 1 ( X ) dans ℤ.

Preuve

On sait déjà que f est un morphisme. Il reste à montrer qu’il

est bijectif. Un -chemin  qui fait une fois le tour de N8(A) vérifie I(,
A) =1 donc f([ π ]) = 1.

Par composition, le morphisme f est surjectif. Montrons que

α
f est injectif. Supposons que I(, A) = 0, avec   A B ( X ) . Montrons
que si  n’est pas réduit à un point, on peut faire décroître la longueur
de  par déformation élémentaire. Il suffit de montrer qu’il y a une
suite (a,b, a) dans . Or dans le cas contraire,  traverse toujours la
demi-droite 1 dans le même sens, et on a I(, A) ≠ 0. ■

6. Remarque importante
De manière empirique, on peut calculer le groupe fondamental en 2D:
c’est un groupe libre dont le nombre de générateurs est égal au
nombre de trous.

III.3.4. -points simples et -groupe d’homotopie

Soient Y  X  ℤ2 et B un point base dans Y. Considérons l’application

α α
i : AB (Y ) → AB ( X ) qui, à un chemin dans Y, associe le même chemin
dans X. Alors, si  est -homotope à ’ dans Y, la même déformation
montre que  est -homotope à ’ dans X. Donc l’application i est bien
α α
définie sur les classes, et définit une application: i : A 1 ( Y ) → A1 ( X ) par
i([ π ]Y)= [ π ]X
Cette application est un morphisme de groupes car l’opération de
concaténation est la même dans Y et dans X.
 88

Le Théorème suivant caractérise les points simples en fonction des

morphismes sur les -groupes d’homotopie.

1.Théorème

Soit X  ℤ2 et A  X. Alors le point A est -simple dans X si et seulement

si les deux conditions suivantes sont satisfaites:
α α
1)pour tout B  X\{A} le morphisme i : B A 1 (X\{A}) → A 1 (X) est un
isomorphisme;
α
2) pour tout B  X́ , le morphisme iB : A α1 ( X ) → A 1 ¿´¿est.un
isomorphisme.

En général, en 2D et dans les surfaces, un isomorphisme au niveau du

-groupe d’homotopie permet de caractériser la possibilité de réduire
un ensemble à un autre par une suppression séquentielle de points
simples.

III.4. -GROUPES D’HOMOTOPIE DE QUELQUES ESPACES

D’ALEXANDROFF

III.4.1.Le -groupe d’homotopie du cercle

Dans le plan digital ℤ2, le -cercle unité où = 4 ou 8 est défini par
1 1
S α = (i,j) ℤ2 : d ((i,j),(0,0) = 1.Pour  = 4, S 4 = (i,j) ℤ2 : |i|+| j|= 1


1
et pour  = 8, S 8 = (i,j) ℤ2 : max ¿= 1. Les deux cercles sont
décrits à l’aide des pixels comme indiqué ci-dessous.

P P

Figure 51: Les cercles

S 14 et
1
S8
 89

1
Leurs -groupes d’homotopie sont isomorphes car on peut réduire S8
1
en S 4 par une suppression séquentielle des pixels P(1,1), Q(-1,1), R(-
1,-1) et S(1,-1). Par le théorème 5 ci-dessus, leurs groupes d’homotopie
sont isomorphe à ℤ.

III.4.2. Le -groupe d’homotopie du plan digital

Le plan digital étant un rectangle plein, par le Théorème5, ci-dessus,
son -groupe d’homotopie est nul.

Figure 52: Le plan digital

III.4.3.Le -groupe d’homotopie du plan digital sans origine

Nous dessinons le plan digital sans origine

Figure 53:Le plan digital sans origine

Pour calculer le groupe fondamental du plan digital privé de son origine, il suffit
de constater que ℤ2 \{ ( 0,0 ) }est un espace à un trou dans 2D. Par une remarque
plus haut, son -groupe d’homotopie est isomorphe à ℤ.
 90

CONCLUSION

Ce mémoire a porté sur les -groupes d’homotopie des

espaces d’Alexandroff. Nous sommes partis des généralités sur la
relation d’homotopie dans les espaces topologiques continus et
connexes par arcs pour extraire une relation d’homotopie semblable
dans les espaces discrets d’Alexandroff de type fini.
 91

Nous avons vu que le calcul du -groupe d’homotopie d’un

espace d’Alexandroff en 2D se réduit au comptage des -trous. En
effet, si X est un sous ensemble du plan digital ℤ2, son -groupe
d’homotopie est un groupe libre dont le nombre de générateurs est égal
au nombre de -trous dans X.
Nous avons aussi montré que la suppression d’un -point
simple dans X ne modifie pas son -groupe d’homotopie.
Le lecteur familier avec la topologie algébrique voit déjà la
direction que doit impérativement prendre notre recherche : la
recherche d’une définition en 2D des -groupes d’homologie des
espaces d’Alexandroff. La suite de nos travaux passe par la -
polyédrisation des espaces d’Alexandroff qui exige des outils
informatiques puissants que nous sommes entrain de rassembler pour
parachever cette œuvre.

BIBLIOGRAPHIE
I.OUVRAGES

1. ALEXANDROFF P., « Diskrete Räume », Mat. Sbornik, 1937.

2. AUDIN M. “Topologie: Revêtements et groupe fondamental »,
IRMA, Paris, 2004.
 92

3. BOISSONNAT J.-D., YVINEC M., «Géométrie algorithmique »,

Ediscience international, 1995.
4. BOLON P.,CHASSERY J.-M.,COCQUEREZ J-P., DEMIGNY D.,
GRAFFIGNE C., MONTANVERT A., PHILIPP S., ZEBOUDJ.R.,
ZERUBIA J., Eds, « Analyse d’images : filtrage et segmentation » ,
Masson, 1995.
5. BOURBAKI N., « Eléments de Mathématiques. Livre III : Topologie
Générale », Herman, Paris, 1974.
6. CHASSERY J. M., MONTANVERT A., « Géométrie discrète en
analyse d’images », Hermès Paris, 1991.
7. CORMEN T., LEISERSON C., RIVEST R., « Introduction à
l’algorithmique », Dunod, 1990.
8. FRANÇON J., «Topologie de Khalimsky et Kovalevsky et
algorithmique graphique », Actes du premier colloque de
géométrie discrète en imagerie : fondements et applications,
Strasbourg, 1991.
9. KLETTE R., & ROSENFELD A., « Digital geometry: geometric
Methods for Digital Picture Analysis, Series in Computer Graphics
and Geometric Modeling», Morgan Kaufmann, 2004.
10. KLETTE R. & ROSENFELD A.,”Digital Geometry”, Elservier, New
York, 2004.
11. MAITRE H., « Le traitement des images », traité IC2, Hermès,
Paris, 2003.
12. MERRIFIELD R., “Topological methods in Chemistry”, John Wiley
& Sons, 1989
13. MUNKRES J.R, “General Topology”, Prentice Hall, Englewood
Cliffs, N.J, 1975.

II.ARTICLES

1. ANDRES E., « Defining Discrete objects for Polygonalization : the

Standard Model », 1Oth International Conference on Discrete
Geometry for Computer Imagery, n°2301 LNCS, Springer, 313-
325, 2002.
 93

2. ARENAS F. G., Alexandroff Spaces, Preprint, (Inédit) 1999.

3. COEURJOLLY.D, MIGUET S., TOUGNE L., « 2D and 3D Visibility
in Discrete Geometry : an Application to Discrete geodesic
Paths», Pattern Recognition Letters, vol 25(5), 561-570, 2004.
4. COUPRIE M., BERTRAND G., KENMOCHI Y., « Discretization in
2D and 3D orders», Graphical models, Vol. 65, n°1-3, 77-91,
2003.
5. ECKHARDT U., « Digital Lines and Digital Convexity»,
BETRAND.G, IMIYA A., KLETTE R., Eds., Digital and Image
geometry, vol. 2243, Lecture Notes in Computer Science,
Springer, 209-228, 2000.
6. ECKHARDT U. & LATECKI L., Digital Topology, Preprint, (Inédit)
2006.
7. KOVALEVSKY V.V., « Finite Topology as applied to image
analysis”, Computer vision, graphics and Image processing, 45:
141- 161, 1989.
8. MELTER R., «A survey of digital metrics », Contemporary
Mathematics, vol.119, 95-106, 1991.
9. PUDNEY C.J., « Distance-Ordered Homotopic Thinning : A
Skeletonization Algorithm for 3D Digital Images», Computer
Vision and Image Understanding, vol.72(3),404-413, 1998.
10. TAJINE M., RONSE C., « Topological properties of Hausdorff
discretization, and comparison to other discritization schemes»,
Theoretical Computer Science, vol.283 (1), 243-268, 2002.

III.MEMOIRES ET THESES

1. ANDRES.E., « Modélisation analytique discrète d’objets

géométriques », Laboratoire IRCOM-SIC, université de Poitiers,
habilitation à diriger des recherches,2000.

IV.NOTES DE COURS ET SEMINAIRES

 94

1. ENGOMBE W., « Séminaire de DEA (Algèbre) », UPN/Kinshasa,

2005-2006.
2. MUSESA L., « Séminaire de DEA (Géométrie) », UPN/Kinshasa,
2005-2006.
3. NTANTU I. « Topologie générale », Fac. Sciences, UPN, 2011.
4. NTANTU I., « Séminaire de DEA (Analyse) », UPN/Kinshasa,
2005-2006.

V.SITE WEB

http://www.univ-orleans.fr/mapmo/membres/anker/enseignement/
http://www.youtube
http://www.gif-animation.com

TABLE DES MATIERES

LISTE DES FIGURES…………………………………………………………………..i

LISTE DES SYMBOLES………………………………………………………………iii

AVANT-PROPOS………………………………………………………………………..iv

RESUME…………………………………………………………………………………vi

ABSTRACT………………………………………………………………………………vii
 95

INTRODUCTION GENERALE.....................................................................1
CHAPITRE PREMIER : GENERALITES......................................................4
I.1. ESPACES TOPOLOGIQUES CONNEXES PAR ARCS............................4
I.1.1. Espaces connexes.........................................................................4
I.1.2. Espaces connexes par arcs...........................................................5
I.1.3. Espaces localement connexes par arcs........................................10
I.2.GROUPE D’HOMOTOPIE...................................................................11
I.2.1. Relations d’homotopie et d’homotopie des chemins.....................11
I.2.2. Groupe d’homotopie d’un espace topologique..............................19
I.2.3. Quelques exemples de groupes d’homotopie...............................28
CHAPITRE DEUXIEME : ESPACES D’ALEXANDROFF ET PLAN DIGITAL43
II.1. ESPACES D’ALEXANDROFF............................................................43
II.1.1. Définitions et propriétés.............................................................43
II.1.2 Base irréductible.........................................................................44
II.1.3. Co-topologie d’une topologie d’Alexandroff.................................45
II.1.4. Topologie d’Alexandroff et ensembles ordonnés..........................48
II.1.5. La connexité dans les espaces d’Alexandroff..............................50
II.1.6. Axiomes T1 et T2........................................................................50
II.1.7. La régularité..............................................................................51
II.1.8. La normalité..............................................................................53
II.1.9. La compacité.............................................................................54
II.1.10. La continuité dans les espaces d’Alexandroff...........................55
II.2. LE PLAN DIGITAL............................................................................58
II.2.1. Plan digital et droite digitale......................................................58
II.2.2. La 4-topologie et la 8-topologie sur le plan digital ℤ2.................62
CHAPITRE TROISIEME : HOMOTOPIE DANS LES ESPACES
D’ALEXANDROFF...................................................................................68
III.1. PROPRIETES TOPOLOGIQUES DES CHEMINS FERMES DANS ℤ2. 68
III.1.1.Pavages et maillages du plan digital...........................................68
III.1.2. Propriétés topologiques des chemins fermés dans ℤ2.................72
III.2. HOMOTOPIE DES CHEMINS DANS UN ESPACE D’ALEXANDROFF76
III.2.1 Points simples...........................................................................76
III.2.2.Nombre de connexité 2D………………………………………..78

III.3. -GROUPE D’HOMOTOPIE 2D ET -TROUS..................................80

 96

III.3.1.Notion de -trous.......................................................................80
III.3.2. La relation de -homotopie.......................................................81
III.3.3. Le -groupe d’homotopie...........................................................83
III.3.4. -points simples et -groupe d’homotopie.................................85
III.4. -GROUPES D’HOMOTOPIE DE QUELQUES ESPACES
D’ALEXANDROFF...................................................................................86
III.4.1.Le -groupe d’homotopie du cercle.............................................86
III.4.2. Le -groupe d’homotopie du plan digital...................................87
III.4.3.Le -groupe d’homotopie du plan digital sans origine................87
CONCLUSION.........................................................................................89
BIBLIOGRAPHIE.....................................................................................90
TABLE DES MATIERES……………………………………………………………..93