Does there exist an open map satisfying the following properties which is continuous?

80 Views Asked by At

Let $(X,\tau_1)$ and $(X,\tau_2)$ be two given infinite topological spaces (i.e., here $X$ is an infinite set) such that $\tau_2\subset \tau_1$ and $\tau_1$ is not discreet and $\tau_2$ is not indiscreet. My questions are,

  • Does there always exist an open map $f:(X,\tau_1)\to (X,\tau_2)$ such that it is not continuous?

  • Does there always exist a surjective open map $f:(X,\tau_1)\to (X,\tau_2)$ such that it is not continuous?

  • Does there always exist an injective open map $f:(X,\tau_1)\to (X,\tau_2)$ such that it is not continuous?

Although I think that each of the question can be answered in the negative, I can't find any example to confirm my guess.

Can anyone help me?

1

There are 1 best solutions below

4
On

If $X$ is any infinite set, consider $\tau_1$ the discrete topology. $\tau_2$ the indiscrete one (just $\{\emptyset, X\}$. Clearly $\tau_2 \subset \tau_1$.

If $f:(X, \tau_1) \rightarrow (X, \tau_2)$ is any function (injective/surjective or not), $f$ is always continuous. So for this specific pair of topologies, no such map can exist. If $f$ is constant it cannot be open (as $f[X] \subsetneq X$), and if $f$ is not constant, it assumes two values $f(x) \neq f(y)$, but then $U = \{x\}$ is open in $\tau_1$ but $f(y) \notin f[U] = \{f(x)\}$, so $X \neq f[U]$ is not open. So no function $f$ between these topologies can be open either. So the answer for this pair on any set is no.

Unless I misunderstand the question and you want a positive construction for some pair of topologies? As you pose it, no there isn't always such $f$. There might be for some pair of topologies on some infinite set $X$, I'd have to think about it. Switching the topologies in domain an codomain the answer would always be yes, by using the identity function (and I misread it that way at first); this might have triggered the question, perhaps.