Tagged Questions

Everything involving general topological spaces: generation and description of topologies; open and closed sets, neighborhoods; interior, closure; connectedness; compactness; separation axioms; bases; convergence: sequences, nets and filters; continuous functions; compactifications; function spaces; ...

learn more… | top users | synonyms (2)

0
votes
1answer
29 views

Let $S_ 0$ be the space with $2$ points and the discrete topology. Find [$S_ 0$ , $X$] for an arbitrary space $X$.

Let $S_ 0$ be the space with $2$ points and the discrete topology. Find [$S_ 0$ , $X$] for an arbitrary space $X$. $[X,Y]=\{f:X\to Y,f$ continuous $\}/\sim$ where $\sim$ is the homotopic equivalence. ...
0
votes
1answer
11 views

Disconnecting a complex vector space

Can a (complex) dimension $n$ subspace disconnect a (complex) dimension $n+1$ vector space ? If the answer is no, what if we replace "vector space" by "manifold" ?
2
votes
1answer
21 views

Topology of metric completion of Euclidean metric

Lets consider $\cal{M}=\mathbb{R}^{2}\backslash\{(0,y)\}\text { with } \{|y|\le1\}$ with the Euclidean metric with line element $ds^{2}=dx^{2}+dy^{2}$. Now consider the distance function given by ...
0
votes
1answer
26 views

Prove that $C_1$ and $C_2$ are homotopic fixing endpoints.

Let $C_1$ and $C_2$ be two great circles in $S^2$, intersecting at the points $p,q$. If we consider $C_1$ and $C_2$ as curves starting and ending at $p$. Prove that $C_1$ and $C_2$ are homotopic ...
0
votes
1answer
27 views

The family of open intervals that do not contain $0$

Let $T$ be the collection of all open sets in $\mathbb{R}$ not containing $0$ union $\mathbb{R}$ i.e $$T=\{(a,b)\subset\mathbb{\bar R}:0\notin(a,b)\}\cup\{\mathbb{R}\}$$ Then what is true about $T$? ...
0
votes
0answers
36 views

Lattice representation of the Klein bottle

I'm looking at the space $\mathbb{R^2}/G$ where $G = \mathbb{Z^2}$ acts by $(n,m)(x,y) = ((-1)^mx+m,y+n))$ and I'm trying to show that this is a smooth surface. I am having a couple of problems. To ...
0
votes
1answer
32 views

Continuity of function proof

Let $f:X \to Y \times Z$ be given by $f(x)=\bigl( f_{1}(x), f_{2}(x) \bigr)$. Prove that $f$ is continuous iff $f_{1}$ and $f_{2}$ are continuous. I'm struggling to relate the pre image of $h$ ...
0
votes
1answer
42 views

String through 1 hole 3-torus

Okay So I had stayed up way too late thinking about this problem and I typed my question wrong. The question is: How do I deform a 3 dimensional 1 hole torus to go around a line? ...
2
votes
3answers
193 views

Homeomorphism(topological spaces) version of Cantor–Bernstein–Schroeder theorem

Let $A$ , $B$ be topological spaces such that there for some subset $D$ of $B$ there is a homeomorphism form $A$ to $D$ and for some subset $E$ of $A$ there is a homeomorphism form $B$ to $E$ ; then ...
0
votes
1answer
20 views

Inverse limit of countable (or even finite) sets

Sorry if this is kind of a stupid question. I am trying to wrap my head around inverse limits. Question : can an inverse limit of countable sets be uncountable ? Typically something like a Cantor set. ...
1
vote
1answer
34 views

Showing the right half of the unit hyperbola is a complete metric space.

Let $f : \mathbb{R} \rightarrow \mathbb{R}^2$ be given as follows. $$f(\theta) = (\cosh \theta, \sinh \theta)$$ I want to argue that $\mathrm{im}(f)$ is a complete metric space with respect to the ...
1
vote
1answer
43 views

Relation about Disk and Sphere

Definition of sphere and disk are following \begin{align} S^n =\{ (x_1 , \cdots x_{n+1}) \in \mathbb{R}^{n+1} | \sum x_i^2 =1 \} \end{align} \begin{align} D^n =\{ (x_1 , \cdots x_{n}) \in ...
3
votes
2answers
49 views

Minimal $T_0$-topologies

Let $X$ be an infinite set and let $\tau$ be a $T_0$-topology on $X$. Does $\tau$ contain a $T_0$-topology that is minimal with respect to $\subseteq$?
7
votes
3answers
256 views

Does every homogeneous space allow a group structure?

Let $(X,\tau)$ be a homogeneous space, that is for all $x,y \in X$ there is a homeomorphism $\varphi:X\to X$ such that $\varphi(x) = y$. Is there a group operation $*:X\times X\to X$ such that ...
1
vote
2answers
50 views

How to denote the inside of a manifold?

In $\mathbb{R}^3$, I want to denote the inside of a closed surface $S$. Now I could define a volume $V$ such that $A = \partial V$, but I do not want to introduce an unnecessary, additional symbol $V$ ...
0
votes
2answers
28 views

Example of $x$ being adherent point but not accumulation point?

So I was just reading Apostol and I see that if $x$ is an accumulation point of set $S$, it has to be an adherent point as well. I guess it's possible for $x$ to be an adherent point only, not an ...
1
vote
1answer
42 views

Dual notion of the subspace topology

Let $X$ and $Y$ be sets with $\iota:X\to Y$ an injection. If $Y$ is a topological space, we define the subspace topology on $X$ as the initial topology induced by this diagram. Analogously, if $X$ ...
0
votes
2answers
34 views

set of all regular values

Let $M$ be a compact manifold and $f: M\longrightarrow \mathbb{R}$ be smooth. Show that the set of all regular values of $f$ is open. How can I prove it? Could someone help me?
0
votes
2answers
40 views

Let $(X,d)$ be a metric space, $C$ a compact subset, and $K$ a closed subset. Prove that $K \cap C = \emptyset$ iff $d(K,C) > 0$.

Let $(X,d)$ be a metric space, $C$ a compact subset, and $K$ a closed subset. Prove that $K \cap C = \emptyset$ iff $d(K,C) > 0$. For this problem I was going to consider $d(x,F) = \inf d(x,y)$ ...
4
votes
0answers
57 views

Is every connected subset of the Sierpiński triangle arcwise connected?

I think this should be true. If it's indeed the case, it seems like this should be a known result, so references are welcome. I managed to prove that (assuming $S$ is the connected subset) $S$ ...
0
votes
0answers
52 views

Find Int and cl of set.

Let $C[0,1]$ be space of continuous functions defined on euclidean segment $[0,1]$ with values all over euclidean line $\mathbb{R}$ with "supremum" metric. $d_{sup}(f,g)=sup\{|f(x)-g(x)| : x \in ...
3
votes
2answers
43 views

Proof verification of compactness

Let $K$ be the set $\{0\} \cup \{1/n : n \text{ is an element of the positive integers}\} $ Prove that $K$ is compact. In my head, it seems that what they are asking in this question to prove is ...
0
votes
1answer
55 views

prove function is not continuous

Let $f$ from the reals to the reals be given by $f(x)=4+x$ if $x$ is rational and $f(x)=4-x$ if $x$ is irrational. Prove $f$ is not continuous where $R$ has standard topology . Let $U$ be an open ...
2
votes
2answers
33 views

The name for the quotient property.

We call a surjective $f:X\rightarrow Y$ a quotient mapping if it satisfies, for every $U\subset Y$ (continuity, continuous) $U$ is open $\Rightarrow$ $f^{-1}(U)$ is open and (???) ...
0
votes
0answers
9 views

Gluing of two geodesic space along a proper space is geodesic.

Let $X_1$ and $X_2$ geodesic metric space glued along A a proper subspace of both and then given the pseudo metric. Why is the glued space geodesic? Any hint ? For notation and details one can see ...
1
vote
1answer
17 views

How to prove spaces are homeomorphic using normalisation method?

Prove that the punctured plane, $X= \mathbb{R}^2\setminus \{0\}$, is homeomorphic to the complement of the unit disc, $Z=\{\underline{x} \in \mathbb{R}^2 \mid \ \|\underline{x} \| > ...
0
votes
1answer
44 views

Discontinuity of the identity function in topology

According to a theorem I was taught, the identity function $id(x)=x$ from $(\mathbb{R}, \tau_1)$ to $(\mathbb{R}, \tau_2)$ is continuous if $\tau_1 = \tau_2$. Are there any examples of topologies ...
3
votes
1answer
28 views

Why is $V(x)\cup(\mathbb{A}^2\setminus V(y))$ not quasi-affine?

I'm having trouble understanding the following situation. Apparently it's not difficult to see the union $V(x)\cup(\mathbb{A}^2\setminus V(y))$ is not a quasi-affine set. Everything is being done ...
1
vote
2answers
71 views

Two continuous functions with connected images

Suppose we have two continuous functions $f(x)$ and $g(x)$. Define $f$ on $[0,1]$ and $g$ on $[1,2]$, such that $f(1)=g(1)$. If we know that $\text {Im} (f(x))$ and $\text{Im} (g(x))$ are connected, ...
1
vote
1answer
29 views

Is this proof of $\overline{\cup}A_\alpha \subset \cup \overline{A_\alpha}$ valid?

This is a problem from my topology homework: Let $x \in \overline{\cup}A_\alpha$. Then for every $U(x)$, $U(x) \cap (\cup A_\alpha) \neq \emptyset \rightarrow U(x) \cap A_\alpha \neq \emptyset$ ...
1
vote
1answer
36 views

Are there actually 4 types of Product Topologies?

We learned about the Product Topology recently in class. So for $X,Y$ topological spaces, then we define $X\times{Y}$ to be the product topology. From what I understand, for $U\subset{X}$ and ...
3
votes
2answers
90 views

Proving a set is compact - Homework

Let $(X,d)$ be a metric space and let {$p_n$} be a sequence of points in $X$ with $\lim_{n\to ∞}p_n = p_0$. Prove that the set $K =$ {$p_0, p_1, p_2,...$} is a compact subset of $X$. I have ...
2
votes
2answers
92 views

Homeomorphism between plane with different topologies

How would you show that spaces $(\mathbb{R^2},\cal{T}_r)$ and $(\mathbb{R}^2,\cal{T}_b)$, where $\cal{T}_r$ is a topology generated by jungle river metric (here) and equivalently $\cal{T}_b$ is ...
0
votes
1answer
43 views

Hilbert Subspaces: ONB

This might be a duplicate. If so, then please let me know. Thanks! Given a Hilbert space $\mathcal{H}$. Consider a dense subspace $\overline{Z}=\mathcal{H}$. Then it provides an ONB: ...
0
votes
4answers
57 views

Subset of $\mathbb{R}$ is countable iff it contains no interval?

I was doing some topology homework and used this equivalence to complete a problem, only I'm not completely sure it actually holds. My intuition tells me it's true, but I can't prove it. If it helps, ...
0
votes
0answers
11 views

Patition of unity by real valued continuous function on compact Hausdorff space.

Let $X$ be a compact Hausdorff space and let $\{U_\alpha\}_{a \in A }$ be an open cover of $X$. Show that there exit a finite number of continuous real valued functions $h_1\cdots h_n$ on $X$ with the ...
0
votes
1answer
30 views

Any open set shares boundary with a discrete set

Claim: Let $X$ be a metric space and let $U\subset X$ be open. Then there exists a discrete set $A\subset X$ such that $\partial A = \partial U$. Approach thus far: Since this statement is about ...
2
votes
5answers
52 views

Well-ordered set with greatest element is compact

Let $X$ be a well-ordered set with a greatest element $\alpha$. We consider all sets of the form $]x,y]$ where $y \in X$ and $x$ is either another element of $X$ or the symbol $\leftarrow$ (the ...
0
votes
0answers
41 views

The Complex projective space is homeomorphic to the n-sphere

Ok I have been asked to give as detailed a proof as I can for the following question. Prove that $ \mathbb C\mathbb P^n $ is homeomorphic to $ S^{2n+1} /\sim. $ where for $ z,w \in S^{2n+1} \subset ...
0
votes
1answer
28 views

proving that a set is closed

Let X be compact, metric, connected and locally connected space. And let M$\subseteq$X closed and connected. a,b,p$\in$M are non-cut points of X. I showed that M$\setminus${p} is connected. Now I ...
0
votes
0answers
79 views

Topological properties of these sets

Consider the following sets: $A = \{(x,y) \in \mathbb{R} ^2: \sin(x)\cos(x)=0\}$ $B= \{ (x,y,z) \in \mathbb{R}^3 : |x| + |z| \leq 1, |x| \leq 1\}$ $C=\{(x,y) \in \mathbb{R}^2 : 1 < ...
1
vote
1answer
9 views

$D$ a closed entourage, $K$ compact subset, show that $D[K]$ is closed.

I'm studying for my topology exam and have come across a question that I can't solve. To state the problem more clearly: For $D$ a closed entourage in a uniform space $X$, and $K$ a compact subset of ...
1
vote
1answer
62 views

Find sets of points, where function from one topological space to another is continuous.

We have got two functions : $f(x,y) = (2x,y)$ $g(x,y) = (x+1,y) $ They are transormations from one topological space to another ( from $ (\mathbb{R^2}, \tau')$ to $ (\mathbb{R^2}, \tau'')$ ), ...
0
votes
1answer
33 views

Why is the topology of compactly supported smooth function in $\mathbb R^d$ not first countable?

In other words, given a countable sequence of neighborhoods of $f(x)=0$, how to construct another open neighborhood that doesn't contain any of these neighborhoods? Thanks.
1
vote
1answer
39 views

discrete subset of $\mathbb{R}^2$

I have U$\subseteq$ $\mathbb{R}^2$ an open set in the standard topology. And I have V$\subseteq$U discrete set. Is V necessarily countable? how can I prove it?
0
votes
0answers
34 views

Textbooks to complete concurrently - Self learning empowerment

A user is completing some year challenge that takes them through $9$ textbooks and they are alternating in author. Algebra - Cohn Analysis - Rudin Topology - Lee Repeat three times. I would like ...
1
vote
0answers
25 views

Separated Spaces and a Partition Differences?

I am just getting a handle on separated definitions from Topology , reading Munkres. So the definition of a separated subsets of a topology, is that they are both disjoint. Further, if each subset ...
1
vote
2answers
165 views

Having difficulties showing the triangle inequality of metric in the plane

Let $P \in \mathbb{R}^2$ and define $$ d(x,y) = \left\{ \begin{array}{lr} ||x-y|| & \text{if} \; \; x,y,P \; \; \text{are collinear,}\\ || x - P|| + ||y-P||& \;\;\;\; ...
0
votes
1answer
15 views

Define $f(y)=d(x_0,y)$, prove that $f$ is continuous.

Consider a metric space $(X,d)$ and some $x_o \in X$. Define function $f_{x_0}(y)=d(x_0,y), $ which is in $\text{R}$. Show that the function is continuous. Here's what I've tried: According to ...
0
votes
1answer
10 views

Demonstrating the connectedness of the set $A_j = \{(1,0),(0,0)\} \cup \{(x,y) : 0 < y < 1/j\}$

I'm trying to demonstrate the connectedness of the set $A_j = \{(1,0),(0,0)\} \cup \{(x,y) : 0 < y < 1/j\}$. This is for my class in real analysis, so I can't apply concepts that are too ...