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)

0
votes
1answer
15 views

Proof verification: Compact set has sup and inf

I was reading this post compact set always contains its supremum and infimum There was an answer reposted as follows: As $K$ is compact, we have that $K$ is bounded. So $\sup K$ and $\inf K$ ...
0
votes
1answer
18 views

Comparing different topological spaces regarding homeomorphisms and fundamental groups.

Which of the following topological spaces are homeomorphic? Which have the same fundamental group? a) The interval $(0,1)$ and $\mathbb{E}^1$ b) The torus $\mathbb{R}^2/\mathbb{Z}^2$ ...
1
vote
1answer
10 views

Effective Topological Transformation Groups and the Group of Homeomorphisms

I'm reading Steenrod's Topology of Fibre Bundles, and on pages 6 and 7, he defines a topological group $G$ and a topological transformation group of a topological space (which I understand to be a ...
3
votes
4answers
465 views

Locally path-connected implies that the components are open

If $X$ is a locally path-connected space, then its connected components are open. I am trying to prove this, but for some reason it doesn't seem right to me, knowing that components are always ...
0
votes
1answer
27 views

Show there are infinitely many distinct maximal solutions of $\frac{dx}{dt} = (3/2)x^{1/3}$ that pass through the point $(t_0,0)$

$$\frac{dx}{dt} = (3/2)x^{1/3}$$ Solve Show that given any point $(t_0,0)$ on the $t$-axis, there are infinitely many distinct maximal solutions that pass through the point. We are given: ...
0
votes
1answer
39 views

Full flag $Fl_{\mathbb C}(3)$

How we can see that the full complex flag when $n=3$ is equivalent to one of these spaces: $\{(u,v)\in \mathbb CP^2\times \mathbb CP^2 ; u\perp v\}$ and what is dimension over $\mathbb C$ here? ...
0
votes
1answer
32 views

When do two subbases generate the same topology

Let $X$ be a set. If $\mathcal B_1$ and $\mathcal B_2$ are bases of subsets of $X$, it is well-known that $\mathcal B_1$ and $\mathcal B_2$ generate the same topology if and only if for any pair of ...
1
vote
1answer
37 views

Why is the map $f(x)=e^{i2\pi x}$ from $[0, 1)$ to the unit circle continuous?

This seems to be a really silly question, I just couldn't think it straight. The definition of a continuous map: $f: X \to Y$ is continuous if for any open set $U$ in $Y$ , $f^{-1}(U)$ is open in ...
1
vote
1answer
20 views

Projection maps are open

I want to show $p_x: X\times\ Y \to X$ is an open map. Here's my proof: Let $W \subset\ X\times\ Y$ be open subset, then $W = \bigcup U_\alpha \times\ V_\beta$, for $U_\alpha, V_\beta$ are open ...
2
votes
0answers
20 views

shrinking a convex hull around a set of polygons

I'm trying to find (Or design) an algorithm that will let me, after I have a convex hull, progressively shrink the hull towards the polygon set via increasing some parameter. I.e., if we use the ...
6
votes
4answers
403 views

A Compact Hausdorff Space with no Manifold Structure?

What is an example of a compact Hausdorff space that cannot be given the structure of a (i) differential manifold (ii) topological manifold?
0
votes
1answer
10 views

Suborderable space, orderable characterization proof doubt

In Orderability in the presence of local compactness, Valentin Gutev states and proves the following proposition: A suborderable space $X$ is orderable with respect to a linear order $\prec$ on it if ...
63
votes
10answers
3k views

Explain “homotopy” to me [on hold]

I have been struggling with general topology and now, algebraic topology is simply murder. Some people seem to get on alright, but I am not one of them unfortunately. Please, an answer I need is ...
0
votes
1answer
63 views

How to find the topology of this subbase generated?

I want to find topologies which uses this set as a subbase. two different questions says $X=\{a,b,c,d\}$ and $\mathcal S =\{\{a,b\},\{b,c\},\{d\}\}$ $\{[x,x+1]\mid x\in\Bbb R\}$ In the first : ...
1
vote
1answer
47 views

a topological property of the product topology

Let $G$ be a non discrete Polish group. Let $K$ be a compact set of $G$, $C$ a closed set of $G^n$ and $B$ an open set of $G^n$. Suppose $K^n\cap C\subseteq B$. Prove that there is an open set of $G$, ...
1
vote
1answer
28 views

Closed subsets of $\mathbb{C}^*$ proper for multiplication

Let $S_1$ and $S_2$ be two proper closed subsets of $\mathbb{C}^*$. Let's denote by $\overline{S_1}$ and $\overline{S_2}$ their closure in $\mathbb{C}_{\infty}.$ (Alexandrov compactification) ...
0
votes
0answers
39 views

Describe set of $z^2$ as $z$ moves over 2nd quadrant and show it is open and connected

Problem: Describe the set of points $z^2$ as $z$ varies over the second quadrant: $\{z = x + iy : x < 0 \text{ and } y > 0 \}$. Show this is an open connected set. (Hint: use the polar ...
0
votes
4answers
42 views

A sequence in a Hausdorff space and in a space that is not Hausdorff.

Let $X$ be a topological space and $\{x_n\}_{n=1}^{\infty}$ a sequence in $X$. Show that if $X$ is Hausdorff, $x_n \rightarrow x \:$, $x_n \rightarrow y \:$ implies $x=y$. Give an ...
2
votes
1answer
18 views

Sequential compactness of smooth functions

Suppose I have a sequence $u_n$ of smooth functions on the $N$-dimensional reals. If $\|D^{\alpha}u_n\|_{\infty} \leq C_{\alpha}$ for all multi-indices $\alpha$, then is it possible to deduce that ...
2
votes
0answers
56 views

When does compactness imply sequential compactness? [duplicate]

It is well known that if $ X $ is a metric space then sequential compactness and compactness are equivalent. Now we consider a normed vector space $ E $ and its dual $ E^\ast $. From Banach Alauglou ...
0
votes
1answer
52 views

Topological Embedding Which is Neither Open nor Closed

I'm having trouble coming up with an example of an embedding which is neither open nor closed. My attempts have included trying to find such a map from $\mathbb{R}$ (given the usual Euclidean ...
1
vote
1answer
8 views

Does continuity in one variable and locally Lipschitz in another imply uniformity in the first?

I understand the definition of Lipschitz functions when talking of functions of single variables. However, I have trouble understanding it when it is a multivariable function. Suppose $ f(t,x):D ...
7
votes
1answer
61 views

Does a map between topologies determine a map between sets?

Let $(X,\mathcal{A})$ and $(Y,\mathcal{B})$ be Hausdorff spaces. Consider a function \begin{equation*} \phi:\mathcal{B}\rightarrow \mathcal{A} \end{equation*} which preserves inclusion, arbitrary ...
2
votes
2answers
416 views

Can the closure of a simply connected domain in the complex plane fail to be simply connected?

Is it possible for the closure of a simply connected domain in the complex plane to not be simply connected? Intuitively it seems the closure is simply connected but I can't prove it. Is it enough to ...
1
vote
0answers
35 views

The closure of the closed ball is a closed [on hold]

In how many ways you can show that $\overline{\overline{B}(x,r)}=\overline{B}(x,r)$ where $\overline{B}(x,r)=\lbrace y \in \mathbb{R}^n : d_e(x,y) \leq r \rbrace$, and $d_e$ is the euclidean metric ? ...
0
votes
3answers
62 views

Let $F : X → X$ be continuous. Prove that the set $\{x ∈ X : F(x) = x\}$ of fixed points of F is closed in X

Here X is a Hausdorff Space. I know that singleton sets, {x}, are closed in a Hausdorff space. Although Im not sure if thats how to use the Hausdorff property. Should I investigate $h=F(x)-x$? Can ...
5
votes
3answers
61 views

Show that two topological spaces are not homeomorphic.

Let $X = (-1,1)$ be considered with the Euclidean metric, and $Y = (0, \infty)$ be given the cofinite topology. Prove that $X$ and $Y$ are not homeomorphic. My current thoughts are that a ...
4
votes
1answer
58 views

are two metrics with same compact sets topologically equivalent?

are two metrics with same compact sets topologically equivalent ? I think if the cardinal of set is finite then we have one metric that is the discrete metric and every metric on this set is ...
4
votes
0answers
49 views

Is the sum of infinitely many open sets open?

Let $X$ be a locally convex space (or, in particular, a normed space). Let $(O_n)_{n=1}^\infty$ be an infinite sequence of non-empty open sets in $X$ such that the sum $\displaystyle\sum_{n=1}^\infty ...
0
votes
1answer
21 views

Show that $|d(m,n) -d(n,o) | \leq d(m,o)$ for a metric space

Problem Let $(M,d)$ be a metric space. Show that $$|d(m,n) - d(n,o)| \leq d(m,o) \ \forall m,n,o \in M$$ Since $(M,d)$ is a metric space I know it fufills the triangle inequality. So if I ...
3
votes
3answers
68 views

Familiar spaces in which every one point set is $G_\delta$ but space is not first countable

In an exercise from Munkres-Topology Article 30 the author writes that there is a very familiar space which is NOT first countable but every point is a $G_\delta $ set. What is it? Though there are ...
2
votes
0answers
38 views

Is $(\omega \times \omega)^{\omega}\cong \omega \times \omega \times… \cong \omega^{\omega}$? Where “$\cong$” means homeomorphic.

I'm interested in the circumstances for when we can conclude that two ordinal spaces are homeomorphic by an examination of their written form. Specifically, I'm taking an ordinal space, say ...
1
vote
0answers
15 views

Special case of noetherian space

A topological space  is called Noetherian if it satisfies the descending chain condition for closed subsets. Now let $X $ be a topological space, and there exists a fix natural number $n $ such that ...
0
votes
2answers
42 views

Prove that the set $E = \{y ∈ Y : f(y) = g(y)\}$ (a.k.a. the coincidence set of $f$ and $g$) is closed in $Y$

The full question is: Let $X$ be a Hausdorff topological space. (i) Let $Y$ be a topological space and $f, g : Y → X$ be continuous functions. Prove that the set $$E = \{y ∈ Y : f(y) = g(y)\}$$ ...
0
votes
0answers
22 views

Another question from Exercise 6d in section 50 in Munkres' textbook in Topology.

I have a question regarding exercise 6d in section 50 from Munkres' Topology textbook: Exercise 6c in section 50 Munkres' Topology textbook. Show that if $N=2m+1$, then $U_\epsilon(C)$ is dense ...
0
votes
0answers
20 views

Cantor-Bendixson rank of a first countable space

This question has been bothering me for quite a while, so let me ask it here. Is there a first-countable compact space $X$ with uncountable Cantor-Bendixson index? By a Cantor-Bendixson index I ...
0
votes
3answers
43 views

Countable connected spaces

I can not think of any countable connected subsets in $\mathbb{R}$ (with subspace topology).. Are there any such? Only countable subsets of $\mathbb{R}$ that i am familiar with is $\mathbb{Q}$ ...
2
votes
1answer
39 views

composition of functions is continuous

Question is as follows : Let $X,Y,Z$ are metric Spaces Let $f:X\rightarrow Y$ be continuous map onto $Y$ and let $X$ be compact. Also $g:Y\rightarrow Z$ such that $g\circ f:X\rightarrow Z$ is ...
1
vote
1answer
393 views

Continuity of distance function and its generalization

The starting is an easy undergraduate problem. The distance function $d: X \times X \rightarrow \mathbb{R}$ in a metric space $(X,d)$ is continuous. Please check if my proof is correct. If it is wrong ...
0
votes
1answer
37 views

Convergent Bounded Linear Maps

I'm not sure how to show that the composition of two convergent bounded linear maps converges to the composition of their limits. I've shown that the composition of bounded linear maps is a bounded ...
2
votes
1answer
113 views

Why does there exist a unique quotient topology that makes a given surjective map a quotient map?

I'm reading Munkres on the quotient topology, pg. 138 It says that: If $X$ is a topological space and $A$ is a set and if $p: X \to A$ is a surjective map, then there exists exactly one topology on ...
0
votes
1answer
25 views

topological invariance of being contained in a set of given dimension

Suppose $U$ is contained in $E^n$ ($n$-dimensional Euclidean space) and is homeomorphic to a set $V$ in $E^m$, where $m>n$. Is there a topological manifold in $E^m$ of dimension $n$ that contains ...
7
votes
0answers
86 views

Is every topological group the topological fundamental group of an space?

The fundamental group $\pi_{1}(X)$ of a path connected topological space $X$ is the image of $Hom(S^{1},X)$. So the fundamental group can be topologized with quotient topology where ...
1
vote
1answer
44 views

Fréchet derivative of $f(x) = x$

Im not sure how to find the Fréchet derivative of the function $f : \mathbb{X} \to \mathbb{X}$ given by $f(x) = x$, where $\mathbb{X}$ is a normed space. I'm not given the dimension of the normed ...
10
votes
1answer
262 views

How many metrics are there on a set up to topological equivalence?

I want to find the number of topologically nonequivalent metrics on a set. I think if the cardinal of set is finite then we have one metric that is the discrete metric and every metric on this set ...
0
votes
2answers
24 views

Showing the disjoint union topology is a topology

Let $A$ be a set and suppose that for all $\alpha \in A$, we have the topological space $X_\alpha$. Consider the set which is the disjoint union $$ X:=\coprod_{\alpha \in A} X_\alpha. $$ Let $\tau$ be ...
0
votes
3answers
34 views

Show that these metrics induces the same topology on X

Let $X$ be the set of positive integers. Let $d_1$ be the usual metric space on $X$ and $d_2$ be the discrete metric on $X$. Define $d_3:X\times X \rightarrow R$ by ...
0
votes
1answer
22 views

An example of the set of distances of two points in two different closed sets having no infimum

On a problem set for my Analysis in Several Dimensions class (basically real analysis on multivariable functions), I encountered this question: Let $(X, d)$ be a metric space, let $C ⊂ X$ be a ...
0
votes
0answers
28 views

Do corner points optimise a linear function over a bounded convex region?

This proof says if $Z_P \ne Z_Q$, then $Z$ is maximised (or minimised, I guess) at one of the endpoints -- of what exactly? $\overline{PQ}$? So the maximum value of $Z$ occurs at either $P$ or $Q$? ...
0
votes
0answers
24 views

Do we need nonnegativity in this proof on convexity of a feasible region in an LP problem?

Is the $\color{red}{\text{non-negativity constraint (see red box)}}$ used at all in the proof? If so, where? If not, does the proof then hold for a standard LP problem without the non-negativity ...