Salut, c'est pas vraiment clair comme définition.
La deuxième ne veut rien dire. Est ce que ça ne serait pas plutôt ceci :
1.
On dit que f et g sont faiblement compatibles si pour tout

,
=g(u) \Rightarrow f(g(u))=g(f(u)))
Ou bien ceci :
2.On dit que f et g sont faiblement compatibles s'il existe

tel que
=g(u))
et
)=g(f(u)))
La première définition est tout aussi floue :
Est ce que ça serait plutôt ceci :
3.
On dit que f et g sont compatibles si pour tout

et toute suite
)
de X, on a
,u)=0 \ et \ \lim d(g(x_{n}),u)=0) \Rightarrow \lim d(f(g(x_{n})),g(f(x_{n})))=0)
Ou bien ceci
4.On dit que f et g sont compatibles s'il existe

tel.que pour tout suite
)
de X, on a
,u)=0 \ et \ \lim d(g(x_{n}),u)=0) \Rightarrow \lim d(f(g(x_{n})),g(f(x_{n})))=0)
Pseudo modifié : anciennement Trident2.