Siguiendo la construcción descrita anteriormente, la funciónΠf:X→X/f es la funciónΠf(x)=[x]f={x+kπ∣k∈Z}. La función\(\widehat{f}: X / f \...Siguiendo la construcción descrita anteriormente, la funciónΠf:X→X/f es la funciónΠf(x)=[x]f={x+kπ∣k∈Z}. La funciónˆf:X/f→R dada porˆf([x]f)=f(x) es una biyección.
