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)

1
vote
1answer
41 views

Let $A,B$ be compact subsets of $X$. Prove that $A \cap B$ is compact.

Let $A,B$ be compact subsets of $X$. Prove that $A \cap B$ is compact. Attempt: Suppose by contrapositive, that $A \cup B$ is compact. Then let $V$ be an open cover of $A \cup B$. Then let $A$ be ...
-1
votes
2answers
20 views

The image of a path-connected set under a continuous map is path-connected

Show that if $X$ is path-connected and $f:X\to Y$ is a continuous map, then the image $f(X)$ is path-connected. In order to show this is path connected I know the definition is :
1
vote
1answer
23 views

Show that the finite complement topology is connected

I am looking at $\mathbb{R}^n$ with the finite complement topology and need to show it's connected. I know that a connected doesn't have any non-trivial clopen sets. For $U \in T$ where T is the ...
-1
votes
1answer
19 views

Topology show X is compact

I no the following where we can use the definition of compact to be:
0
votes
1answer
18 views

A partition of the unit square such that the quotient space is the Klein bottle

Write down a partition $X^*$ of the unit square $X=[0,1]\times[0,1]$ such that the quotient space is the Klein bottle. I understand the definition of Quotient topology and Partitions, however, ...
1
vote
2answers
35 views

Topology without tears exercises 1.2 #6 i)

Let T be a topology on a set X such that T consists of precisely four sets; that is , $T = \{X, \emptyset, A, B\}$, where $A$ and $B$ are non empty distinct proper subsets of $X$. Prove that $A$ and ...
0
votes
0answers
27 views

Solution Verification: Prove in detail that the open rectangles in the Euclidean plane form an open base

I want some verification and/or some polishing on my proof. However if it is good, please let me know (I think this is highly unlikely to happen). Problem. Prove in detail that the open rectangles ...
-2
votes
0answers
18 views

a connect set in plane [on hold]

Let $$E=\{(x,y)\in\Bbb{R^2}:x\in\Bbb{Q^c}\,\ or\,\,y\in\Bbb{Q^c}\}$$ show that $E$ is connect,is $$E=\{(x,y)\in\Bbb{R^2}:x\in\Bbb{Q}\,\ or\,\,y\in\Bbb{Q}\}$$ connect?
4
votes
1answer
29 views

Extending a topology to linear combinations?

Suppose I have a topological space $X$, and some arbitrary field $K$. I am trying to nicely describe a set of functions on ${}_K X$, the set of $K$-linear combinations of values in $X$. I feel like ...
0
votes
1answer
12 views

Let $(X, \mathfrak T)$ be a topological space and supposed that $A$ is a subset of $X$ then the Bd(A) is a closed set.

Let $(X, \mathfrak T)$ be a topological space and supposed that $A$ is a subset of $X$ then the Bd(A) is a closed set. I am in an introduction to proofs class. I have to decided if this is a true ...
4
votes
2answers
43 views

How to show that there exists a sequence in $[0,1]$ such that the set of accumulation points of the sequence is $[0,1]$

This is related to homework but I am trying to find a special case first and see if I can generalize it. The problem is to construct some sequence $(x_n)$ in $[0,1]$ such that the accumulation points ...
1
vote
1answer
11 views

Let $A$ be a subset of $X$. Define $\mathfrak T = \{ U: A \subseteq U\} \cup \{\emptyset\}$. Then $\mathfrak T$ is a topology on $X$.

Let $A$ be a subset of $X$. Define $\mathfrak T = \{ U: A \subseteq U\} \cup \{\emptyset\}$. Then $\mathfrak T$ is a topology on $X$. I think this is a true statement and I therefore need to prove ...
1
vote
1answer
28 views

Why is this a convex polygon?

Let $\text{E}(2)$ be the group of isometries of the plane $\mathbb R^2$. Then $\text{E}(2)=\text{O}(2)\times\mathbb R^2$ as a topological space and is the semi-direct product as groups. Let $G$ be a ...
-1
votes
0answers
33 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 these following values mean? 1- $$\ \sup_{x\in B}\inf_{y\in cB} d(x,y) $$ and 2- $$\ \sup_{x\in B}\inf_{y\in ...
2
votes
1answer
24 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
21 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
23 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
26 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
34 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
20 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
31 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
27 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
26 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
30 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
24 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
96 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
43 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
33 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
46 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
19 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
19 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
34 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
18 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
78 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
29 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
68 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
37 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
78 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 ...