Stack Exchange Network

Stack Exchange network consists of 174 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

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.

0
votes
1answer
18 views

Compact open operator between Banach spaces

Let $X,Y$ be Banach space, $Y$ infinite dimensional. Show that no $T \in \mathcal{K}(X,Y)$ is open. By definition $T$ is open if and only if $\exists r >0$ such that $B_Y(0,r) \subset T(B_X(0,1))$ ...
0
votes
1answer
28 views

Application of the open mapping theorem on sequences

Let $X$ and $Y$ be Banach spaces and $A\in B(X,Y)$ surjective operator. I know that from open mapping theorem follow that there exist $C>0$ such that for every $y\in Y$ exist $x\in X$ such that $Ax=...
0
votes
1answer
31 views

Open Mapping Theorem fails when space is not complete

I am working on the open mapping theorem, and I want to show that completeness is a necessary condition for it to work. I have shown that if $X$ is Banach, $Y$ is a normed space, then there exists a ...
2
votes
1answer
54 views

completeness and the open mapping theorem

Let $X,Y$ be normed vector spaces, I want to show that the open mapping theorem requires completeness of both spaces. So my question consists of two parts: $\textit{i)}$ Let $X$ be a Banach space and ...
0
votes
1answer
52 views

Quotient maps and open maps

I was doing Exercise A.36 in Lee's Introduction to smooth manifolds which states the following: Let $q: X \rightarrow Y$ be an open quotient map. Then $Y$ is Hausdorff if and only if $R = \{(x_1, ...
1
vote
3answers
25 views

Linear continuous bijection but not open.

I have the next question. Let $l^1$ be the set of sequences $(a_1,a_2,\ldots, )$ such that $\sum |a_k|<\infty$. If we consider norm $|.|_1$ and the supremum norm $|.|_{s}$, then $(l^1,|.|_1)$ is ...
1
vote
0answers
100 views

Queris related to “An arbitrary product $X=\prod_{\alpha \in J} X_\alpha$ is connected iff $X_{\alpha }$ is connected for each $\alpha\in J$.”

The following proof of An arbitrary product $X=\prod_{\alpha \in J} X_\alpha$ is connected iff $X_{\alpha }$ is connected for each $\alpha\in J$ is provided by my professor.I've some ...
0
votes
1answer
26 views

Please check the proof of Imbedding theorem.

It is instructed in Munkre's topology that proof of imbedding theorem is almost the copy of step 1 of this post.It is instructed to just replace $n$ by $\alpha$ and $\mathbb R^{\omega}$ by $\mathbb R^...
3
votes
1answer
89 views

Spivak Differential Geometry 1 Chapter 1 Problem 8

Problem $8$ in Chapter $1$ of Spivak's A Comprehensive Introduction to Differential Geometry, Vol. 1 reads: 8. For this problem, assume (The Generalized Jordan Curve Theorem) If $A\subset \...
0
votes
1answer
44 views

Rudin functional analysis, theorem 2.11 (Open mapping theorem)

Going through the proof of such theorem, there are few bits I don't understand. I'll write down the proof and in in the middle I'll add some comments. Statement: Suppose (a) X is an F-space, ...
2
votes
1answer
29 views

Open and Closed maps in topology atan example

I am reading a basic introductory book on topology. It is written that a continuous map f from one topological space X to a second topological space Y is open ( closed ) if it maps open ( closed ) ...
0
votes
0answers
25 views

Quotient map from topological group onto left cosets is open

I've been trying to prove the following exercise from "James Munkers'-a first course in topology": Let $G$ be a topological group, and let $H\leq G$. Induce the left cosets, $G/H$, with the quotient ...
1
vote
0answers
64 views

Open mapping Theorem and Rouches Theorem

My question is related to the proof here: https://en.m.wikipedia.org/wiki/Open_mapping_theorem_(complex_analysis) Consider the closed Ball $B$ with radius $d$ around $z_0$ and a holomorphic function $...
0
votes
1answer
50 views

How can the preimage of a closed set for an open map be open?

I am struggling to understand open maps. An open maps open sets to open sets. Given an open map between topological spaces $f : X \rightarrow Y$ If $U \in Y$ is open, $f^{-1}(U)$ can be open or ...
1
vote
1answer
26 views

Is the box topology the finest that makes projections open maps?

There is a recurrent infinite/finite duality in topology, with one appearing in the opposite direction of the other; union/intersection, directed sets work their way upwards finitely while never ...
0
votes
1answer
44 views

Continuity property for a closed set

If $A$ and $B$ are topological spaces and $f:A\to B$ a continuous map and $U$ in $B$ a closed set, why is $f^{-1}(U)$ closed in $A$? I know that preimage of an open set needs to be open.
0
votes
1answer
30 views

How to check thet the set is closed but not clopen

It is clear how to proof that the set $A$ is open. I just need to find some sequence which elements belong to $A$ while its limit does not. It is also clear that in order to show that the set $A$ is ...
1
vote
1answer
42 views

Difference between $T(A) = A$ and $T^{-1}(A) = A$

I am a bit confused about the title. Let $T:X\rightarrow X$ be a map where $X \subset \mathbb{R}^n$. Let $A\subset X$. I know that $$T^{-1}(A) = \{x\in X: T(x)\in A\}.$$ and if $A$ is $T$-...
2
votes
2answers
33 views

Exercise on quotient topology and countability axioms

Let $\, X := \mathbb{R}^3\Big/_{\sim} \,$ where $\, \sim \,$ is defined as: $\,x \sim y \iff x = y \quad \lor \quad \lVert x\rVert = \lVert y \rVert > 4$. Say wheter the canonical map $\, \pi :\...
1
vote
1answer
65 views

Is the inverse of a continuous function an open map?

The title is pretty self-explanatory, but I'll state the full question. Let $f: X \rightarrow Y$ be a continuous function between topological spaces. Is $f^{-1}$ an open map? By definition of ...
3
votes
0answers
42 views

Submmersions: $|f(x)|$ do not assume maximal value

I am studying analysis and I have had a lot of uncertainties. For instance, I cannot solve this exercise: If $f:U\rightarrow\mathbb{R}^3$ has class $C^1$ and rank $3$ in all of the points of the open ...
1
vote
2answers
73 views

Explicit/constructive example of open maps that are not continuous (especially from R to R)?

TLDR: I'm looking for an explicit map that is an open map but not continuous. The context my question arose was when learning the topological definition of continuous function. I made some progress ...
0
votes
1answer
47 views

Why does this statement hold?

I have seen the following statement: Let $G\subset \mathbb{R}^n$ be open, bounded and $f:\overline{G}\rightarrow \mathbb{R}^n$ a continuous and open map. Then $\|f\|$ gets its maximum on the ...
2
votes
2answers
34 views

If the closure of each $\mathcal{R}$-saturated set is also $\mathcal{R}$-saturated, is then $\mathcal{R}$ an open relation (projection is open)?

To give some background, if $(X,T)$ is a topological space, $C\subset X$, $\mathcal{R}$ is an equivalence relation in $X$ and $\pi:X\to X/{\mathcal R}$ is its canonical projection, then we call $C$ $\...
0
votes
2answers
76 views

The open $(0,1) \times (0,1)$ square invectively mapped *into* the interval $(0,1)$

Does the following bijection work: Take any point $(x,y) \in (0,1) \times (0,1).$ Each real number $r \in (0,1)$ may be represented by an infinitely-long decimal expansion (0.235, for example, is the ...
2
votes
2answers
106 views

Problem based on Open Mapping Theorem in Functional Analysis

Let $V$ and $W$ be two Banach spaces and let $T\in L(V,W)$ be bounded such that $R(T)$ is closed and dim $N(T)<\infty$. Let $|.|$ denote another norm on $V$ with $|x|\leq M\|x\|_V$ for all $\,x\in ...
0
votes
0answers
44 views

How can I verify that this standard map is symplectic?

Show that the following standard map is symplectic $$ I(t+1) = I(t) + K\sin\theta(t) $$ $$ \theta(t+1) = \theta(t) + I(t+1) \bmod 2 \pi$$
0
votes
1answer
34 views

Properties of inclusion map between topological spaces.

Let $X$ be a topological space and $Y$ a subset of $X$. Write $i: Y \to X$ for the inclusion map. Choose the correct statement: If $i$ is continuous, then $Y$ has the subspace topology. If $Y$ is an ...
3
votes
2answers
104 views

Map $F$ open and $F(\mathbb{R})$ is a submanifold

Let $F: \mathbb{R} \rightarrow S^1 \times S^1$ defined by $$F(t) = ((\cos2\pi t, \sin2 \pi t), (\cos2\pi \alpha t, \sin2 \pi \alpha t))$$. For which values ​​of $\alpha$ the map $F$ is open? For ...
0
votes
1answer
49 views

Function is open iff every element of a subbasis maps to open set?

I recently read that, given topological spaces $S,T$ and a map $f:S\rightarrow T$, for $f$ to be open it is sufficient to show that for a certain subbasis $C$ of $T$ and all (open) sets $A\in C$ holds ...
1
vote
1answer
131 views

Showing the $2$-sphere with antipodal points identified is homeomorphic to the upper hemisphere with antipodal points identified.

Let $S_+$ be the closed upper hemisphere of the $2$-sphere $S^2$. We can define an equivalence relation $\sim_+$ on $S_+$ as follows: $x\sim_+ y\:\:\Leftrightarrow\:\:\begin{cases}x=x^\prime,&\...
0
votes
0answers
17 views

Verify some Steps in Open Mapping Theorem from Royden

I have two questions about statements in Royden's proof of the Open Mapping Theorem. He works up to the following inclusion ($B_X$ and $B_Y$ are unit balls in $X$ and $Y$, resp): $$\overline{B_Y} \cap ...
1
vote
3answers
42 views

Let $S$ be a metric space, $ f: S \to \Bbb R$ continuous. Define $Z(f) = \{p \in S : f(p) = 0 \}$. Prove $Z(f)$ is closed.

Let $S$ be a metric space, $ f: S \to \Bbb R$ continuous. Define $Z(f) = \{p \in S : f(p) = 0 \}$. Prove $Z(f)$ is closed. I've come up with a proof... I just would like to know if it is logical ...
-1
votes
1answer
34 views

How to show that linear applications are closed and open [closed]

Let $f: R^n\mapsto R^m$ a linear application. Is $f$ closed? Why? Is it open? Why?
2
votes
1answer
132 views

Canonical projection is open - Projective Space

Show that canonical projection $\pi:\mathbb{R}^{n+1}\setminus \{0\}\rightarrow \mathbb{RP}^{n}$ is open. I tried to prove it, but I have a hard time pulling the aberts. I search the internet but only ...
0
votes
1answer
68 views

Is a surjective continuous map with compact domain is open?

Let $f:X→Y$ be a continuous surjective map and $X$ is compact. Is $f$ is an open map? $"$A function $f : X → Y$ is open if for any open set $U$ in $X$, the image $f(U)$ is open in $Y$.$"$ Since $f$ ...
0
votes
1answer
151 views

Showing that a harmonic function maps open sets to open sets.

I am trying to show that a harmonic function maps open sets to open sets. I have written down a proof based on the hint provided by Theo Bendit here : Proof : Let $u : \Omega \to \Bbb R$ be a non-...
0
votes
1answer
39 views

Is this an open/ closed set? (Pre image, continuity question)

Consider the set $\Omega = \{(x,y,z) \in \mathbb{R}^3: \sqrt{x^2+y^2}\leq z< 1\} $ The question said to show that it is neither closed nor open, but I am getting an apparent contradiction. Define ...
1
vote
0answers
27 views

Proving a set is open using pre image and continuity of a function

I was tasked with determining whether the set {(x,y,z)$\in R^{3}: \sqrt{x^2+y^2}\leq z\leq 1$} is open or closed. I am wondering whether the following approach is valid/ formally okay. I am going to ...
1
vote
1answer
23 views

Bounded inverse (Brezis)

In the proof of the corollary 2.7 (T bounded, bijective so $T^{-1}$ bounded) the autor uses the conclusion of the open map theorem $TB_E(0,1)\supset B_F(0,c)$ and the injectivity of the Operator to ...
2
votes
2answers
77 views

Image of a closed set is closed under bounded linear transformation between Banach spaces?

Let $A,B$ be Banach spaces and let $T:A \to B$ be a surjective, bounded, linear operator. Let $A_1$ be a non-empty subset of $A$, then: $T(A_1)$ is closed if and only if $A_1+ \textrm{ker}(T)$ is ...
2
votes
3answers
105 views

A non-continuous function which is open?

In this exercise $I = [-1, 1]$ and $\mathcal{E}_1$ is the euclidean topology. I was looking at the function: $f:(\mathbb{R},\mathcal{E}_1) \rightarrow (I,\mathcal{E}_1)$ defined by: $$ f(x) = \begin{...
0
votes
1answer
64 views

Restriction of open map on topological space to its subspace is open map

suppose $f:X\to Y$ is open surjection .suppose $S\subset X$ and $f^{-1}[f[S]]=S.$ show that mapping $f|S:S\to f[S]$ is open map. where relative topologies are put on $S$ and $f[S]$. give an example ...
1
vote
1answer
32 views

Proving that $P:\mathbb{C}\rightarrow\mathbb{R}$, defined by $P(z)=Re(z)$ is open but is not closed.

looking in a geometric way i can see that $P$ is open, $P$ works like a projection in the line, but i'm having some dificulties to show this with calculations. for the second part, i want to consider ...
0
votes
1answer
20 views

Is a projection f(x,y)=x producing an open set out of an open set, every closed set to a closed set and every compact set to a compact set?

I am trying to proof this statement. $f(x,y)=x ,\mathbb {R}^2 \rightarrow\mathbb {R}$ is mapping every open set to an open set, every closed set to a closed set and every copact set to a compact set. ...
1
vote
1answer
28 views

Showing that the map $f(x)=x/norm(x)$ is an open map

I have to show that the map $f(x)=\dfrac{x}{\lVert x\rVert}$ is an open map where $x$ belongs to $\mathbb{R}^{n+1}/{0}$ and the range is $\mathcal{S}^n$ with the subspace topology. That this map is ...
7
votes
1answer
101 views

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 ...
0
votes
1answer
34 views

Equivalent condition for continuity : $f(A^o)\subset f(A)^o$

Let $X,Y$ be topological spaces. It is typical exercise to prove $f:X\to Y$ is continuous iff $f(\bar A) \subset \overline{f(A)}$ (for any subset of the domain of $f$) So I thought $f(A)^o\subset f(A^...
2
votes
2answers
61 views

If $f :{\Bbb R}^2 \to {\Bbb R}^2$ is a function satisfying $\| f(x) - f(y) \| \geq 3\|x-y\|$ , then $f$ is an open mapping and generalizing it

Let $f : {\Bbb R}^2 \to {\Bbb R}^2$ be a function such that $\| f(x) - f(y) \| \geq 3\|x-y\|$ ($\|\cdot\|$ denotes the usual metric in ${\Bbb R}^2$). Then I was trying to show that $f$ is an open ...
4
votes
1answer
56 views

Openness of a map of $G$-spaces

This is question 10 from chapter 1 of Bredon, Introduction to Compact Transformation Groups. Let $G$ be a compact group, $X$ and $Y$ be $G$-spaces (Hausdorff spaces with a continuous $G$-action), and ...