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
0answers
8 views

definition of largest circle containing in a convex body

For a convex body B(compact convex set with non-empty interior) what does each of the following mean? where cB is the complement of B and $\partial$B is the boundary of B. which of them represents ...
2
votes
1answer
19 views

Prove a sequentially compact metric space is bounded.

Prove that if the metric space $(X, d)$ is sequentially compact, that there exists points $x_0$ and $y_0$ belonging to $X$ such that; $$d(x, y) \leq d(x_0, y_0)$$ for every $x$ and $y$ belonging to ...
0
votes
2answers
18 views

On convergent sequences

Suppose that i have and open and surjective map between two metric spaces $\pi\colon X\to Y,$ and a sequence $(x_n)_{n\in \mathbb{N}}$ such that its image by $\pi$ converges. Is it true that ...
0
votes
0answers
18 views

Properties of a Connected set in $\mathbb R ^n$

Prove that: If $E$ is an open connected set in $\mathbb R ^n$, let $A\subseteq\mathbb R^n$ be both open and closed with respected to $E$, then $A=E$. Intuitively it seems to be true because if $A$ ...
0
votes
1answer
23 views

Compactness and convergence

Let $U$ be a subset of $\mathbb{R}^n$, and suppose that $U$ is not bounded. Construct a sequence of points $\{a_1, a_2, \ldots \}$ such that no subsequence converges to a point in $U$, then prove this ...
1
vote
0answers
33 views

How to show a map is a homeomorphism?

I have calculated two of the properties of homeomorphism. Where I have found the bijective mapping and showed that $f$ is continuous. However i am not sure how to show that $f^{-1}$ is continuous?
-5
votes
0answers
19 views

Metric Spaces open function [on hold]

Let X and Y are two metric spaces and f is bijection function from X to Y . Prove that f is open iff f is closed
-3
votes
3answers
28 views

Topology space closed set [on hold]

Why $A =\{ (x,1/x), 0\neq x\in R \}$ is closed in $R^2$?
0
votes
1answer
26 views

The special unitary group SU(2) is homeomorphic to the 3-sphere

The special unitary group is defined as $$SU(2) = \{A\in M_{2,2}((C) \mid A\bar A^T=I\}$$ Show that this is homeomorphic to the $3$-sphere $$\mathbb{S}^3 = \{(a,b\in \mathbb{C}^2\mid ...
1
vote
1answer
25 views

Topological structure/graph from a paper

This question is based off a paper titled "On designing heteroclinic networks from graphs." I'm having a difficult time visualizing something "drawn in 4-dimensions" projected down to a 2-dimensional ...
2
votes
1answer
20 views

Join of closed embeddings is a closed embedding

An exercise from James's book General Topology and Homotopy Theory asks the reader to prove that if $\phi_1:X_1 \to Y_1$ and $\phi_2:X_2 \to Y_2$ are closed topological embeddings, then $\phi_1 * ...
0
votes
1answer
23 views

Difficulty with a differentiation of measures proof

This shows up in a proof about differentiating measures. I'm having trouble figuring it out: For any $x \in \mathbb{R}^n$, let $\mathcal{C}_r(x)$ denote the set of open cubes with diameter less than ...
6
votes
4answers
93 views

How should I think of an open vs. closed set?

I've been studying introductory topology for a little bit now. I came across this video which explains open sets in a way I have never thought of. Even though the video is pretty elementary, I didn't ...
0
votes
2answers
42 views

show the function is a homeomorphism?

Show that $f:(-1,1)\to\mathbb R, f(x)=\frac{x}{1-x^2}$ is a homeomorphism. In order for this function to be a homeomorphism it needs to be bijective and its inverse needs to exist and be ...
-1
votes
0answers
32 views

Topology, maps, continuity

I know how to write all the maps, however, how would i find out which of those are continuous.
4
votes
1answer
43 views

Let $g: S^2 \to S^2$ be continuous and $g(x) \neq g(-x)\ \forall x$. Prove that $g$ is surjective.

Let $g: S^2 \to S^2$ be continuous and $g(x) \neq g(-x)\ \forall x$. Prove that $g$ is surjective. The hint that if $p \in S^2$, then $S^2 - \{p\}$ is homeomorphic to $\mathbb{R^2}$. It is ...
0
votes
0answers
13 views

projective plane and topology [duplicate]

Gluing the Mobius strip with a disk altogether along their boundaries gives $\mathbb RP^2$. Please give me some hint or explanation how to solve it, why it is true. And give a topology on this ...
0
votes
0answers
18 views

What is the Topology of Cantor set as the subset of real line with standard euclidean topology? [duplicate]

It may be an odd question. But, I particularly want to know the open's of cantor set with inherited topology of real line.
1
vote
1answer
17 views

How can this function be considered to have a saddle node bifurcation?

Say I have the function $f(x,\mu) = (1 + \mu)x − x^2 − 0.1$. By definition a Saddle Node bifurcation occurs if: $f_{\mu_0}(0) = 0$ $f'_{\mu_0}(0) = 1$ $f''_{\mu_0}(0) \neq 0$ $\frac{\delta ...
2
votes
1answer
33 views

Question on Furstenberg topology on Z and P subspace of primes

Hi all I was given this question: I have Z (the integers) with the Furstenberg topology on it, i.e. the topology induced by non constant arithmetical progressions presented here, and I am asked to ...
1
vote
0answers
49 views

transformation of a folded piece of paper!!!

This is a question in the book Real Mathematical Analysis by Charles Chapman Pugh and I don't know how to face it! : Fold a piece of paper in half. (a) Is this a continuous transformation of one ...
6
votes
1answer
76 views

How many topologies exist on a finite set?

In my topology class we are asked to list all topologies on a $3$ element set. I have found $29$ and this should be the correct result. Now I wonder whether there is some formula that determines this ...
2
votes
2answers
57 views

Proving that if a set is both open and closed then it is equal to the real numbers

Prove that if $A$ is both open and closed then $A = \mathbb{R}$ also as one suggested let $A \neq \emptyset$ You may use what ever definition of open and closed you would like, just avoid going into ...
0
votes
0answers
14 views

Homomorphisms between countable spaces and Euclidean spaces?

Is there some place to start reading about homomorphisms between countable (discrete) spaces and Euclidean spaces or $l_2$? I know it is a rather general question, but I am not sure what I am looking ...
0
votes
1answer
17 views

Is there a lower bound for the maximal number of separated sets?

Let $(X,d)$ be a metric space and $T\colon X\to X$ uniformly continuous. A set $E\subset X$ is said to be $(n,\varepsilon)$-separated if for any distinct $x,y\in E$ there is a $0\leq j< n$ such ...
0
votes
0answers
19 views

extend $f: S\longrightarrow \mathbb{R}$ to $f^* : cl(S)\longrightarrow \mathbb{R} $ [duplicate]

if $f: A\longrightarrow B$ and $g:C\longrightarrow B$ such that $A\subset C$ and for each $a\in A , f(a)=g(a)$ then f extends to g. Assume that $f: S\longrightarrow \mathbb{R}$ is uniformly continous ...
2
votes
0answers
21 views

How to prove that every countable compact Hausdorff space is homeomorphic to a well-ordered set with its order topology? [duplicate]

I encountered this problem in a textbook: Let $X$ be a countable compact Hausdorff topological space, I was asked to prove that $X$ is always homeomorphic to a (necessarily countable) topological ...
3
votes
3answers
72 views

Equivalence of countable choice for subsets of the reals and “second countable $\implies$ Lindelöf”

Looking for a proof that in a second countable space every open cover has a countable subcover -- i.e. every s.c. space is a Lindelöf space -- I bumped into this question. That answered my question. I ...
2
votes
2answers
28 views

Prove that exist bijection between inverse image of covering space

Let $B$ be path-connected and $p:E\to B$ covering map (with $E$ as covering space). Prove that $\forall a,b\in B$ exist 1-1 injection correspondence between $p^{-1}(a)$ and $p^{-1}(b)$ I thought ...
0
votes
1answer
33 views

If $\tau_1, \tau_2,\tau_3$ then which are correct?

Let, $\tau_1, \tau_2,\tau_3$ be three topologies on a set $X$ such that $\tau_1 \subset\tau_2\subset\tau_3$ and $(X,\tau_2)$ be compact $T_2$ space. Then , (A) $\tau_1=\tau_2$ , if $(X,\tau_1)$ is ...
4
votes
1answer
67 views

If $f:S^1\to S^1$ doesn't have any fixed point then it is homotopic to the identity

How to show that every continuous function $f:S^1\to S^1$ without fixed points is homotopic to the identity? (without using homology nor the concept of degree).
0
votes
1answer
36 views

Number of path connected components

Is it possible to give an explicit characterization of compact subsets of $[0,\infty)$. Is it true that given any compact subset $K \subseteq [0,\infty)$ then $[0,\infty) \setminus K$ has only one ...
1
vote
1answer
34 views

Use Least Upper Bound to show that $\mathbb{R}$ is completee

Use Least Upper Bound to show that $\mathbb{R}$ is complete. The following is the proof I did, and it's slightly different from what I see from the book. Can someone check if I'm missing ...
2
votes
1answer
19 views

Example of metric continuous with respect to another metric but generating different topology

Take, say, the standard 2-sphere $S^2$. Equip it with some metric $d$; this metric will generate a topology that may or may not coincide with the standard Euclidean topology. In the case it does, ...
4
votes
1answer
32 views

Given two closed sets $A,B$, show that there exists some of them which contains all distances

Suppose that $A,B\subseteq[0,1)$ are closed, and that $A\cup B=[0,1)$. Show that there exists a set $C\in\{A,B\}$ such that given an $x\in[0,1)$, $C$ contains two points $p$ and $q$ such that ...
3
votes
1answer
74 views

$X$ is A-space iff the frontier of any closed set in $X$ is compact.

Hi everyone I have troubles with the following proposition: Definition: We say a metric space $(X,d)$ is an A-space iff every Hausdorff image of $X$ under a closed continuous map is metrizable. ...
1
vote
2answers
49 views

How to prove the group of automorphisms of $S^1$ as a topological group is $\mathbb Z_2$?

The title basically says it all. How does one prove the group of automorphisms of $S^1$ (the unit circle in $\mathbb C$), as a topological group, is $\mathbb Z_2$? I was surprised not to find the ...
0
votes
2answers
25 views

Compactness and Hausdorffness with different topology

Here is the question (Munkres pg. 170): Show that if $X$ is compact Hausdorff under both $\mathcal{T}$ and $\mathcal{T}'$, then either $\mathcal{T}$ and $\mathcal{T}'$ are equal or they are not ...
0
votes
1answer
26 views

Closure of bounded set is bounded? Topological space

Let $X$ be topological space, and $A \subseteq X$ that is bounded. Is the closure of $A$ also bounded? This is true if $X$ is topological vector space, but is it if $X$ is only topological?
0
votes
1answer
29 views

Is this topological space metrizable?

Let $X=\left\{0,1,2\right\}^{\mathbb{Z}}$ carry the product topology $\tau$. Surely, $(X,\tau)$ is compact (Tychonoff). But is $(X,\tau)$ metrizable and if yes - why? Is there a metric that ...
0
votes
0answers
18 views

Using Bounded Operator sequence Theorem

Let E$\subset L_1$ be a set of fourier series functions $e_n(t)=e^{int}$ for $n \in Z$. What is meant by saying to prove $Ge_n$ is a scalar multiple of $e_n$ and it is continuous? How can we prove it? ...
2
votes
1answer
24 views

Geodesic parameterization under conformal mapping

Under a conformal deformation of the euclidean metric, say: $\hat{g}_{ij}=e^{\phi}\delta_{ij}$, where $\phi$ depends on the radial coordinate alone, I am struggling to see the following fact: "With ...
0
votes
1answer
17 views

The Smith-Volterra-Cantor set

Let $S$ be the SVC set. Is S closed? Does $\operatorname{Bd} S$ have measure zero? I think the first answer is positive while the second is negative. I need a rigorous proof.
1
vote
1answer
42 views

Why every algebra on finite set is a topology

How can I prove that every algebra on finite set is a topology on this set And if the set is infinite how can give me an example algebra but it isn't topology
0
votes
1answer
30 views

modification of Dedekind cuts

Dedekind defining real numbers as equivalence classes of Cauchy sequences of rational numbers. $x=y$ means $x-y=0$ ie $x_n - y_n \to 0$. addition and multiplication are defined for each coordinate. ...
0
votes
1answer
16 views

Limit of bounded functions in compact-open topology

Let $(X, \mathscr{T})$ be a topological space and $(Y,d)$ be a metric space. Recall that the compact-open topology $\mathscr{T}_{co}$ on $Y^X$ is generated by the subbase $$ \mathscr{S} = \{ S(C, V) ...
0
votes
0answers
6 views

Non-rectifiable bounded closed set

Find a bounded closed set in $\mathbb{R}$ that is not rectifiable. When I say "$S\subset \mathbb{R}^n$ is rectifiable" I mean that the constant function $1$ is Riemann-integrable over $S$ (then one ...
0
votes
1answer
21 views

Quotient topology - can a non open set map back to open set?

Say $X$ be a set in $\Bbb R^2$ defined by the disk: $x^2+y^2\le 1$ where $x,y \in \Bbb R$. Now let's define a disjoint collection $X^*$ on $X$ by taking the boundary as one set - which is all $x,y$ ...
2
votes
1answer
17 views

Defining a function by right limits

Let $D$ be dense in $\mathbb{R}$ and let $f: D \rightarrow \mathbb{R}$ be increasing and continuous. Define $g: \mathbb{R} \rightarrow \mathbb{R}$ by $$g(x):= \inf\{f(t) : t \in D, t> x\}. $$ ...
3
votes
0answers
19 views

Continuity of a function in a locally convex topological space

I endow the space of bounded sequences with a locally convex topology $\tau$ such that $\tau$ is strictly finer than the product topology (the topology of pointwise convergence), $\tau_p$, and ...