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 (3)

3
votes
1answer
87 views

Show that $\bar A = A \cup [(0,0), (0,1)]$

In $(\mathbb R^2, ||\cdot||_{\infty})$, let: $A_0 = ]0,1] \times \{0\}$ $A_n = [(\frac{1}{n}, 0), (\frac{1}{n}, 1)]$ for each $n \ge 1$. $A = \cup_{n=0}^{\infty} A_n$ It is required to prove that: ...
3
votes
1answer
56 views

projective space and torus

we defined the projective space as $\mathbb{S}^2$ with opposie side identification and the torus as $\mathbb{R}^2 / \mathbb{Z}^2.$ And now I am concerned with their manifold structure- In fact, I ...
0
votes
1answer
43 views

Hahn-Banach Thm for Normed Space [closed]

Let $X$ be a normed Space. For $x \in X$ define $J(x)=\{f \in X^ * : f(x)=\|x\| , \|f\|=\|x\|\}$. Prove that $J(x)$ is not the empty set.
1
vote
0answers
27 views

Lie bracket question

I am wondering if this is correct. Suppose $X$ and $Y$ are two smooth vector fields which vanish at $p$: $X(p) = Y(p) = 0$. Also assume that $[X, Y](p) = 0$. Is it true that the derivative of the ...
3
votes
0answers
63 views

Am I a toroid or not?

I heard that topologically (whatever that is, me not good at math), a donut and a mug are the same thing. Both have a hole going all the way through them. I found this animation transforming one into ...
1
vote
1answer
24 views

Counter Example to Tietze Extension Property for Arbitrary Topological Space

Above is my question. My only issue is the final bit! For statements $1.$ and $2.$, the answer is true, since in both cases $Y$ is normal and we know that both metric and compact, Hausdorff spaces ...
1
vote
1answer
19 views

Reference request: Topological space of polygonal chains and its properties

I'm interested in approximations of $C^1([a,b])$-functions by polygonal chains: image File:NURBstatic.svg by User:WulfTheSaxon licensed under GNU Free Documentation License A polygonal chain can be ...
0
votes
1answer
8 views

Do the elements of a sequence converging to a point in the intrinsic core of a convex cone belong to the intrinsic core of the set eventually?

Let $X$ be a general Banach space and let $C\subset X$ be a convex cone. Consider a sequence $x_n$ in the affine hull of $C$ such that $x_n\to x$ for some $x\in icr(C)$, where $icr(C)$ denotes the ...
-3
votes
0answers
40 views

Prove that topology over rationals is different [closed]

Let basis of a topology be $\mathcal{B}=\{[a,b) \mid a,b\in\mathbb{Q}\}$. Then prove that the topology induced by $\mathcal{B}$ is different from the lower limit topology over $\mathbb{R}$.
0
votes
1answer
28 views

Is there an infimum of distance metric in Compact subspaces??

Here is my exercise that I'm struggling with for 2 days. Since I'm a beginner for topology It is so hard for me to solve. Plz help me...
1
vote
1answer
26 views

Which one is finer: standard topology or upper limit topology?

Out of these two which one is finer over $\mathbb{R}$? Standard topology Upper limit topology
1
vote
1answer
25 views

Problem about $\sin(1/x)$ in topology. (open and closed functions)

Let $f:(0,\infty)\to [-1,1]$ defined by $f(x)=\sin(1/x)$. Show that $f$ is continuous but neither open nor closed, where $(0,\infty)$ and $[-1,1]$ are a subspace of $\mathbb{R}$ with usual ...
0
votes
0answers
33 views

A problem about general topology. (homeomorphims)

Let $f:X \to Y$ homeomorphims and $A \subseteq X$ have the property that $A \cap A^{'}=\emptyset$. Then $f(A)\cap (f(A))^{'}=\emptyset$. Idea: Contrapositive. Suposse $f(A)\cap (f(A))^{'} \neq ...
0
votes
0answers
24 views

Proving that $S^n$ (n-sphere) is locally connected.

Definition: A space X is said to be locally connected at $x\in X$ if for any open set $U$ containing $x$, there is an open connected subset of $U$ (say $W$) containing $x$.$$x\in W\subseteq U$$ A ...
3
votes
1answer
25 views

compact inverse is compact in canonical homomorphism

Let $G$ be locally compact Hausdorff group. Let $N$ be a closed normal subgroup of $G$. Let $f:G\to G/N$ be the canonical homomorphism. I want to show that for every compact subset $C$ of $G/N$, there ...
2
votes
1answer
39 views

A space is Hausdorff iff the diagonal is closed [duplicate]

Let X be a topological space. Prove that X is a T2-space if and only if $A = \{ (x,x) : x \in X \}$ is closed in $X \times X$. I've been able to prove first part of the result but not the converse. ...
0
votes
2answers
31 views

Totally separated, but the clopen sets do not form a basis

Is there a space $(X,\tau)$ that totally separated (that is for $x\neq y \in X$ there is a clopen set containing $x$, but not $y$), and the collection of clopen sets does not form a basis?
1
vote
0answers
40 views

Normal space is compact

I know that a compact Hausdorff space implies Normal, but does the converse holds? I.e. If a space is normal, it is compact and Haudorff. (Although $T_4$ imlicitly implies $T_2$)
4
votes
2answers
28 views

Prob. 7, Sec. 20 in Munkres' TOPOLOGY, 2nd ed: What are the necesary and sufficient conditions on the $a_n$ and $b_n$?

Let $\mathbb{R}^\omega$ be the set of all sequences of real numbers with the uniform metric $\tilde{\rho}$ defined as $$ \tilde{\rho}(x,y) \ \colon= \ \sup \left\{ \ \min \left\{ \ \vert x_n - y_n ...
0
votes
1answer
44 views

Prob. 6, Sec. 20 in Munkres' TOPOLOGY, 2nd ed: How is this set not open?

Let $\mathbb{R}^\omega$ denote the set of all sequences of real numbers, let $\tilde{\rho}$ denote the uniform metric on $\mathbb{R}^\omega$ defined as $$ \begin{align*} \tilde{\rho}(x,y) \colon= ...
2
votes
0answers
24 views

Product Spaces: Tube Lemma

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. My professor asked to prove the following Lemma. The Tube Lemma: Let $K$ be a compact ...
1
vote
1answer
25 views

Let $X\subset\mathbb{R}^3$ be the union of the coordinate axies, I want to show that $\mathbb{R}^3-X$ is homotopy equivalent to a graph

Let $X\subset\mathbb{R}^3$ be the union of the coordinate axies, I want to show that $\mathbb{R}^3-X$ is homotopy equivalent to a graph, and the question asks further "which graph" Let ...
1
vote
0answers
40 views

Hilbert Space is not locally compact.

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. Show that Hilbert Space is not locally compact at any point. This is what I understand: ...
1
vote
2answers
48 views

Problem of General topology (Schaum)

Let $\tau=\{U \subseteq \mathbb{Z}_+ :$ if $n \in U \implies$ all divisor of $n $ is in $U \}$. Let $f: (\mathbb{Z}_+,\tau) \to (\mathbb{Z}_+,\tau)$. Prove: $f$ is continuous $\leftrightarrow$ if ...
1
vote
1answer
29 views

Closed set in Baire space

I am reading a book on Banach spaces. It introduces the Baire space $\mathcal{N}=\mathbb{N}^\mathbb{N}$ as the product of infinitely many copies of $\mathbb{N}$ with the discrete topology. We have ...
1
vote
0answers
40 views

Uncountability of $\mathbb{R}^I$ if $I$ is uncountable

Prove that if $I$ is uncountable, then $\mathbb{R}^I$ with the product topology is not countable. Based on what I have read, a set is uncountable if there is a bijection from that set to ...
2
votes
1answer
20 views

Is the co-limit of a chain of normal subspaces necessarily normal?

Suppose $ X_0 \subset X_1 \subset X_2 \subset \dots$ is a chain of normal subspaces of $X$ such that $X= \cup_{i=1}^{\infty} X_i$. Assume that $X$ has the colimit topology w.r.t. these subspaces. Can ...
0
votes
0answers
28 views

Prove $X \setminus \operatorname{Cl}A = \operatorname{Int}(X \setminus A)$

Definitions ($X$ is a topological space): • $\operatorname{Cl}A$ is the intersection of all closed subsets of $X$ which contain $A$ as a subset. • $\operatorname{Int}A$ is the set of all ...
0
votes
1answer
29 views

Simple homotopy construction

I'm sure this isn't too difficult but i can't seem to do it if you have two loops $p_0 = e*g $ and $p_1 = g*e$ where $e$ is the trivial loop How would i construct an explicit homotopy between the ...
0
votes
1answer
27 views

Is the following a valid characterisation of complete metric spaces?

A metric space $(X, d)$ is called complete if and only if every Cauchy sequence converges. Now does the following hold: A metric space is complete if and only if every sequence $(x_i)_{i\in\mathbb ...
0
votes
1answer
19 views

Closure of $\{ ( e^t\cos t,e^t\sin t) : t \in \Bbb R \}$

Suppose $\alpha: \Bbb R\to \Bbb R^2$ given by $\alpha (t)=(e^t \cos t,e^t \sin t)$, $A=\alpha(t)$ is a smooth manifold. What is the closure of $A$? I know that the closure of the set is the set ...
0
votes
1answer
35 views

$\mathbb{Q}$ with topology from $\mathbb{R}$ is not locally compact, but all discrete spaces are

Wikipedia claims that all discrete topological spaces are locally compact but that $\mathbb{Q}$ isn't when endowed with the topology of $\mathbb{R}$. I don't know if I understand those examples ...
0
votes
0answers
27 views

Weak topology and the closed unit ball

I want to prove that there is no neighbourhood of $0$ in the closed unit ball. I can use pointwise and Banach-Alaoglu theorems to prove it.
0
votes
1answer
39 views

Tietze Extension Theorem ,,

If we have X a normal space, C a closed subspace of X, Y a completely regular space, and $f:C \rightarrow Y$ a continuous function. How do we show that f has a continuous extension $F: X \rightarrow ...
1
vote
1answer
42 views

Spaces in which “$A \cap K$ is closed for all compact $K$” implies “$A$ is closed.”

Let $X$ denote a topological space. For any $A \subseteq X$, consider two possible conditions on $A$. $A$ is closed $A \cap K$ is closed, for all compact $K \subseteq X$. If $X$ is Hausdorff, then ...
-1
votes
0answers
20 views

Subgroup $H \leq G$ acting on $G$ by translation is transitive?

In Elementary Topology. Textbook in Problems, by Viro, et al they state the following: Let $G$ be a topological group, $H \leq G$ a subgroup. Then $G$ is a homogeneous $H$-space under the ...
1
vote
1answer
30 views

if $V_1\cong U_1, V_2\cong U_2$, is $(V_1\cup V_2 \cong U_1\cup U_2)$? Pasting homeomorphisms

My question arises from the theory of covering spaces. assume $f:Y\to X$ is a covering map, or more generally a local homeomorphism. Assum $U_1,U_2\subset X$ are open sets such that $f|_{V_1}, ...
0
votes
0answers
36 views

Prove that this infinite sum involving metrics is also a metric

The following is a question from a previous assignment that I was unable to complete. Any assistance on how to complete this would be appreciated. Let $\varrho_i: X\times X\to \Bbb R^+$ with ...
0
votes
2answers
63 views

Prove that this is a metric space

The following is a question from a previous assignment that I was unable to complete. Any assistance on how to complete this would be appreciated. Let $\varrho: X\times X\to \Bbb R^+$ be a metric on ...
3
votes
1answer
61 views

Open Unit Ball diffeomorphic to the Open Unit Cube

How can I show that the open unit cube $(-1,1)^n \subset \mathbb{R}^n$ and the open unit ball $B = \{x \in \mathbb{R}^n \mid \|x\| < 1\}$ are diffeomorphic? I know that one can proof this by ...
0
votes
1answer
39 views

Show that $p:SO_3 \to\mathbb S^2 $ defined as $p(A)=Ae_1$ is a fibre bundle

Show that $p:SO_3 \to\mathbb S^2 $ defined as $p(A)=Ae_1$ is a fibre bundle. I know that $SO_3$ acts on $\mathbb S^2$ transitively saying that $p$ is onto.I have a problem with local ...
1
vote
1answer
41 views

Proving the continuity of functions from metrics [closed]

Context: I'm studying mathematics at university, and am having trouble with some of the continuity questions. The following is a question from a previous assignment that I was unable to complete. The ...
3
votes
1answer
32 views

Embeddability of connected sum of non-embeddable surfaces

Let $X$ be a surface which can not be embedded into $\Bbb R^n$. Let $X \# X $ denotes the connected sum of two copies of $X$. Then is it true that the connected sum $ X \# X $ is also not embeddable ...
2
votes
1answer
45 views

Is $X=\left \{ \left ( x,x\sin\frac{1}{x} \right ) \mid x>0 \right \}\cup \left \{ \left ( 0,0 \right ) \right \}$ connected? [closed]

Is $X=\left \{ \left ( x,x\sin\frac{1}{x} \right ) \mid x>0 \right \}\cup \left \{ \left ( 0,0 \right ) \right \}$ connected?
0
votes
1answer
48 views

Compactification of a straight line

Like in the case of mapping a infinite-plane to a sphere (Riemann Sphere), I can understand, that I can map the infinite line ($-\infty,\infty$) to a circle. Secondly, I can also map a finite line ...
0
votes
0answers
49 views

Hausdorff, regular and separable space

Let be $X$ a topological space such that X is a Hausdorff, regular and separable space. If $U\subseteq X$ is open such that $U=int(cl(U))$, and $E\subseteq X$ is a countable dense set, I need to prove ...
1
vote
0answers
30 views

Linking of $S^p$ and $S^q$ in the $\mathbb{R}^d$ space

Can we have a nontrivial linking of a $S^p$ sphere and a $S^q$ sphere in the $\mathbb{R}^d$ space (or in the ${S}^d$ space)? I suppose that it can happen only if $p+q<d$. For example, we can have: ...
1
vote
2answers
55 views

Show that the Möbius band has its central circle $C$ as a deformation retract

I have started this problem by using the planar representation of the Möbius band and noted that a line down the middle is probably what is meant by the central circle, since travelling from top to ...
1
vote
0answers
9 views

Homology group and homotopy group of the standard twin

Given a 4-sphere, if we cut out a solid 3-torus $B^2 \times S^1 \times S^1$ from a 4-sphere $S^4$ (with an unknotted torus), the remained exterior is called "the standard twin," say $M$. What are ...
0
votes
1answer
20 views

Show that the lemniscate is compact as a subspace topology . [closed]

define a map $f| (- \pi\ ,\pi) \to \mathbb{R^2} , f(x)=( \sin(2x),sin(x))$ The image of $f$ is the lemniscate (a figure 8 curve). Show that this image is compact in the subspace topology. This means ...