Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange
For $X/{\sim}$ a quotient space, $$ Map(X/{\sim},Y)\subset Map(X,Y). $$ But is this inclusion always a homeomorphism on its image? (Assuming compact-open topology on the mapping spaces.) If not what would be the most general setting to make it true? We can also assume that $X$ and $Y$ are compactly generated.
A related question: if $q\colon X\to X/{\sim}$ is a quotient map and $X/{\sim}$ is compact, does always exist a compact $Y\subset X$ such that $q(Y)=X/{\sim}$.
For $X/{\sim}$ a quotient space, $$ Map(X/{\sim},Y)\subset Map(X,Y). $$ But is this inclusion always a homeomorphism on its image? (Assuming compact-open topology on the mapping spaces.) If not what would be the most general setting to make it true? We can also assume that $X$ and $Y$ are compactly generated.
For $X/{\sim}$ a quotient space, $$ Map(X/{\sim},Y)\subset Map(X,Y). $$ But is this inclusion always a homeomorphism on its image? (Assuming compact-open topology on the mapping spaces.) If not what would be the most general setting to make it true? We can also assume that $X$ and $Y$ are compactly generated.
A related question: if $q\colon X\to X/{\sim}$ is a quotient map and $X/{\sim}$ is compact, does always exist a compact $Y\subset X$ such that $q(Y)=X/{\sim}$.
For $X/{\sim}$ a quotient space, $$ Map(X/{\sim},Y)\subset Map(X,Y). $$ But is this inclusion always a homeomorphism on its image? (Assuming compact-open topology on the mapping spaces.) If not what would be the most general setting to make it true? We can also assume that $X$ and $Y$ are compactly generated.
