Bonjour à tous, :happy3:
J'aurais besoin que vous m'expliquer la manière de construire une structure complexe sur le tore

avec

et :

deux complexes linéairement indépendant sur

.
Dans le livre que je suis entrain de parcourir, on précise que la structure complexe met en jeu un atlas formé des cartes suivants :
Let

be an open set such that no two points in

are equivalent under

. Then
)
with

the canonical projection, is open and ;

is an homéomorphic. Its inverse is :

is a complex chart on

.
Ma question est savoir précisément ce que ça veut dire que : Let

be an open set such that no two points in

are equivalent under

. ça veut dire que :

est injective et

dont les classes d'équivalences sont réduits à des singletons ?
Ce passage se trouve dans le livre de Otto Forster, à la page :

et

.
Merci d'avance.