1

I read that a quotient mapping is not necessarily open. I wonder why that is.

Say we have a quotient mapping $f$ between $(X,\mathfrak{A})$ and $(Y,\mathfrak{B})$. Let us take an open set $O\subset X$. If $f(O)\neq\emptyset_Y$, then $f(O)$ is open in $Y$. If $f(O)=\emptyset_Y$, then, as $\emptyset_Y$ is open in $Y$, we still have an open mapping.

Thanks in advance!

algebraically_speaking
  • 11
  • 2
    http://math.stackexchange.com/questions/655797/example-of-quotient-mapping-that-is-not-open (BTW this question was shown as the first one among the related questions on the right.) – Martin Sleziak Feb 22 '14 at 09:02
  • Sorry about that. – algebraically_speaking Feb 22 '14 at 09:11
  • 1
    In the link that you've posted, I don't understand what $x=y\wedge{x,y}\subset \Bbb{Z}$ means. Could you kindly explain? – algebraically_speaking Feb 22 '14 at 09:20
  • Also, could you kindly point out the flaw in my argument? The definition of quotient mapping that I have read is "if we have a quotient mapping $f:X\to Y$, then for $U\subset Y$, $U$ is open only if $f^{-1}(U)$ is open." – algebraically_speaking Feb 22 '14 at 09:29
  • The wedge $\wedge$ stands for $\mathrm{AND}$. The vee $\vee$ (as it appears there) stands for $\mathrm{OR}$. Also, if you'd like a user to be notified of your comments, you need to address them, like so: @algebraically_speaking – Jonathan Y. Feb 22 '14 at 10:08

1 Answers1

3

Your argument fails because $f^{-1}(f(U))$ is different from $U$. The easiest example I can come up with is the following: Let $X=\mathbb R$, $Y=\mathbb R\big/{\sim}$ where $\sim$ identifies $0$ and $2$. Let $f\colon X\to Y$ be the quotient map $x\mapsto [x]$. Then $U=(-1,1)$ is open in $X$, but $$ f^{-1}(f(U)) = (-1,1) \cup \{2\} $$ is not open in $X$, so $f(U)$ is not open in $Y$ by the definition of the quotient topology.

Christoph
  • 25,552