Questions tagged [open-map]

In topology, an open map is a function between two topological spaces which maps open sets to open sets. That is, a function f : X → Y is open if for any open set U in X, the image f(U) is open in Y. A map may be open, closed, both, or neither; in particular, an open map need not be closed and vice versa.

273 questions
58
votes
4 answers

Projection is an open map

Let $X$ and $Y$ be (any) topological spaces. Show that the projection $\pi_1$ : $X\times Y\to X$ is an open map.
Alisha
  • 613
  • 1
  • 6
  • 3
51
votes
3 answers

Open maps which are not continuous

What is an example of an open map $(0,1) \to \mathbb{R}$ which is not continuous? Is it even possible for one to exist? What about in higher dimensions? The simplest example I've been able to think of is the map $e^{1/z}$ from $\mathbb{C}$ to…
49
votes
2 answers

When is a quotient map open?

Quotient map from $X$ to $Y$ is continuous and surjective with a property : $f^{-1}(U)$ is open in $X$ iff $U$ is open in $Y$. But when it is open map? What condition need?
Oh hyung seok
  • 539
  • 1
  • 4
  • 5
24
votes
5 answers

Example of quotient mapping that is not open

I have the following definition: Let ($X$,$\mathcal{T}$) and ($X'$, $\mathcal{T'}$) be topological spaces. A surjection $q: X \longrightarrow X'$ is a quotient mapping if $$U'\in \mathcal{T'} \Longleftrightarrow q^{-1}\left( U'\right) \in…
15
votes
2 answers

Show that an open linear map between normed spaces is surjective.

Let $X,Y$ be normed spaces and $T:X\to Y$ is an open linear map. Show that $T$ is surjective. In order to show $T$ is surjective let's take $y_0\in Y$ and assume the contrary that $Tx\neq y_0\forall x\in X$. Now taking $x_0\in X\implies Tx_0\neq…
13
votes
2 answers

Intuition for an open mapping

What is an intuitive picture of an open mapping? The definition of an open mapping (a function which maps open sets to open sets) is simple sounding, but it's really not as easy to picture as the simple language would suggest. When I think of…
echinodermata
  • 3,434
  • 1
  • 15
  • 36
13
votes
1 answer

Extending open maps to Stone-Čech compactifications

Let $X$ be a Čech-complete space, and $Y$ a paracompact space. Suppose $f\colon X\to Y$ is a continuous and open surjection. Since $Y$ is completely regular we have that $\beta(Y)$ is homeomorphic to $Y$ as a dense subset of $\beta Y$ (the…
Asaf Karagila
  • 370,314
  • 41
  • 552
  • 949
12
votes
1 answer

Find $X,Y\subseteq \Bbb{R}$ such that there are $f\colon X\to Y$ and $g\colon Y\to X$, both bijective and continuous but $X\not\cong Y$.

I came across the following problem: Let $\Bbb{R}$ be the euclidean space. Find $X,Y\subseteq \Bbb{R}$ such that there are maps $f\colon X\to Y$ and $g\colon Y\to X$, both bijective and continuous but $X\not\cong Y$ ($X$ not homeomorphic to…
11
votes
1 answer

a covering map is open?

$E,B$ are topological spaces and let's say that $p:E\to B$ is a covering map. Is $p$ open? i tried to show it as follows: let $U$ be an open set in $E$, and now for every $x\in U$, $p(x)\in B$. $p$ is a covering map so there is a open neighborhood…
sha
  • 1,498
  • 10
  • 18
10
votes
1 answer

Attempted proof of an open mapping theorem for Lie groups

The Classical open mapping theorem for Banach spaces tells that if $T:X \to Y$ is a continuous surjective linear map, then it is open. I have attempted to essentially "adapt" the proof for Lie groups: Let $G,H$ be connected Lie groups (embedded in…
Andres Mejia
  • 20,104
  • 2
  • 24
  • 59
10
votes
2 answers

When is the quotient space of a second countable space second countable?

I am a bit confused about this concept because I have read that the quotient space is second countable if the quotient map is open. However, I thought the definition of a quotient map was a surjective, continuous, open mapping. Suppose that $X$ is…
8
votes
1 answer

Does there exist a continuous, open, and surjective map from $f\colon\mathbb{R}^n\to\mathbb{R}^m$ for $m>n$?

My question is that from above. Here are my approaches so far: I know that there is no homeomorphism between an open set of $\mathbb R^n$ and an open set of $\mathbb R^m$. So if there is an open set where $ f $ is injective we get a…
Nemesis
  • 165
  • 3
8
votes
1 answer

Opens maps from topological manifolds whose fibers are not generically topological foliations

Update. I have asked this on MO, but have not yet received an answer. Proposition. The quotient map associated to a topological foliation (projecting to the leaf space) is open. However the fibers of an open map from a topological manifold need not…
Arrow
  • 12,694
  • 3
  • 23
  • 64
6
votes
1 answer

Is a differentiable (but not $C^1$) function $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$ with invertible derivative everywhere an open map?

Is a differentiable (but not $C^1$) function $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$ with invertible derivative everywhere an open map? I know that if we assume the function is $C^1$, then this is a consequence of the inverse function theorem…
CJD
  • 390
  • 1
  • 11
6
votes
2 answers

Is a certain restriction of an open map open?

Let $p:X\rightarrow Y$ be an open map and let $A$ be a subspace of $X$. Then, is it true that $p|_A:A\rightarrow p(A)$ is open? I think so, but am struggling to show it. My thoughts: Let $O$ be an open set in $A$. Then, since $A$ has the subspace…
user322548
1
2 3
18 19