2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/224285We study invertibility of bounded composition operators of Sobolev spaces. The problem is closely connected with the theory of mappings of finite distortion. If a homeomorphism $φ$ of Euclidean domains $D$ and $D'$ generates by the composition rule $φ^{\ast}f=f\circφ$ a bounded composition operator of Sobolev spaces $φ^{\ast}: L^1_{\infty}(D')\to L^1_p(D)$, $p>n-1$, has finite distortion and Luzin $N$-property then its inverse $φ^{-1}$ generates the bounded composition operator from $L^1_{p'}(D)$, $p'=p/(p-n+1)$, into $L^1_{1}(D')$.Complex VariablesFunctional Analysis30C65; 46E35text