Open mapping theorem Baire category theorem Euclidean spaces Hausdorff space Jacobian Jacobian matrix and determinant Open mapping theorem (complex analysis) Open mapping theorem (functional analysis)