Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [general-topology]

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; etc. Please use the more specific tags, (algebraic-topology), (differential-topology), (metric-spaces), (functional-analysis) whenever appropriate.

1
vote
0answers
9 views

Existence of a countable locally finite cover with nonempty intersection of two adjacent elements

Let $\Omega$ be an open connected set in $\mathbb{C}$, not necessarily bounded. Does there exist a countable locally finite cover of $\Omega$ consisting of only open discs $\{ B(z_i, r_i): i\geq 1\}$ ...
1
vote
1answer
32 views

$Lip_\alpha$ is not closed in $C[0,1]$

As the title says I am trying to show that $Lip_\alpha$ is not closed in $C[0,1]$. $Lip_\alpha$ is the class of functions on [0,1] that belong to $Lip_\alpha([0,1];K)$ where $f \in Lip_\alpha([0,1];K)$...
1
vote
1answer
17 views

Equivalence classes and metric spaces

Let $(X,d)$ be a metric space and let $S$ be the set of Cauchy sequences in $S$. Define "~" in $X$ by "$\{s_k\}$ ~ $\{t_k\}$" to mean that $d(s_k,t_k) \to 0$ as $k \to \infty$. Let $X'$ denote the set ...
0
votes
1answer
25 views

How to show a set is open using only the definition?

We want to show that the set $S=\{x\in\mathbb R : 1<x<3\}$ is open using only the definition of open sets. [ Definition: A subset $S$ of $\mathbb R^n$ is open iff $\forall s\in S, \exists B_{\...
0
votes
0answers
16 views

$(0,3)$ as a non-Hausdorff smooth manifold

Consider the interval $(0,3)$ and let the neighborhoods of the points in $(0,3)-\{1,2\}$ be as those in the real line, while the neighborhoods of $i=1$ or $2$ are defined to be $(i-\epsilon,i] \cup (2,...
-3
votes
2answers
25 views

$\bigcap E_k$ consists of precisely one point. [on hold]

Show that if $\{E_k\}$, is a decreasing sequence of closed nonempty subsets of a complete metric space whose diameters tend to zero, then $\bigcap E_k$ consists of precisely one point Please, help.
0
votes
0answers
37 views

Show this is complete. [duplicate]

Let $(X,d)$ be a metric space and let $S$ be the set of Cauchy sequences in $S$. Define "~" in $X$ by declaring "$\{s_k\}$ ~ $\{t_k\}$" to mean that $d(s_k,t_k) \to 0$ as $k \to \infty$. Let $X'$ ...
2
votes
1answer
25 views

Show that there is $A \subseteq \mathbb{R} $ for which is $A' \subset (A')'$, in topology of left rays on $\mathbb{R}$.

Show that there is set $A$, $A \subseteq \mathbb{R} $ for which is $A' \subset (A')'$, considering topology of left rays on $\mathbb{R}$. I can not think of any set. Seems trivial(?). I tried ...
2
votes
0answers
19 views

Definition of mapping telescope

In Kochman's stable homotopy theory, pg 121 prop 4.24 We let $X$ be a based CW complex. Let $X^n$ be an increasing sequence of subcomplex whose union equals $X$. We define $$TX = \bigcup_{n \ge ...
2
votes
1answer
21 views

Homeomorphism or not?

Problem: Let $f:X \rightarrow Y$ and $g:Y \rightarrow Z$ where $X,Y$ and $Z$ are metric spaces. If $g \circ f$ is homeomorphism and $f$ is surjective prove that $f$ and $g$ are homeomorphism. The ...
3
votes
2answers
34 views

Is there a bounded connected set $X$ such that for all point $b$ there exists $r > 0$ such that $X \setminus O(b, r)$ is disconnect?

I find a question by myself, and I do not know if it is an interesting question. Let $X \subseteq \mathbb{R}^n$ be a bounded connected set. And I define a "bad point" $b \in \mathbb{R}^n$ with ...
0
votes
0answers
38 views

Visualising connectedness in topology

recently started a topology course, I am struggling to visualise connected topological spaces in topology,I am understanding the definition when it comes to clopen subsets and disjointness ie [0,1) U(...
0
votes
2answers
25 views

A space X is completely regular if and only if it is homeomorphic to a subspace of $[0,1]^J$

The following is from Munkres Topology: A space X is completely regular if and only if it is homeomorphic to a subspace of $[0,1]$$^J$ for some $J$. Note: $[0,1]$$^J$ is given the product ...
5
votes
2answers
293 views

Product of Mrówka space and one point compactification discrete space.

I was reading an article and I have some troubles to understand it. First, the required definition to understand the problem: Let $\mathcal{U}\subseteq \{A\subseteq\omega: |A|=\aleph_0 \}$. We say ...
0
votes
1answer
45 views

Product of compact metric spaces is again compact.

Proof Let $(X_j,d_j)$ be a compact metric space for $j=1,...,n$. Denote $X=X_1 \times X_2 \times...\times X_n$ to be the product of compact metric spaces. Assume the property that the open sets in $(...
0
votes
1answer
34 views

The only meagre and open set is the empty set?

Suppose that A is a meagre set in a topological space X. I think that the answer of my question is yes, because $\mathring {A}$ is empty. Am I right?
8
votes
2answers
149 views

What is the topology associated with the algebras for the ultrafilter monad?

It is easy to find references stating that the category of compact Hausdorff spaces $\mathbf{CompHaus}$ is equivalent to the category of algebras for the ultrafilter monad, $\mathbf{\beta Alg}$. After ...
3
votes
2answers
39 views

Does the definition of the set $S^n$ have implied algebraic structure?

Let's say I wish to define a topological space $(S^1, \mathscr{O})$. I would imagine that such a space is only made of two structures, namely two sets. However, the definition of $S^n$ is given by: $$...
0
votes
0answers
17 views

Meromorphic Function on a Riemann Surface

I have a question about an argument used in Szamuely's "Galois Groups and Fundamental Groups" in the excerpt below (or look up at pages 73/74): In the proof we construct locally in $U$ a polynomial $...
0
votes
2answers
46 views

Does this condition for finding the limit points work?

I am reading Topology Without Tears, and I've been scribbling notes in the margin trying to streamline some of Morris's more... inefficient explanations. Being the soulless automaton that I am, I ...
1
vote
0answers
30 views

Closed graph and fixed points

I’m currently trying to understand the following Proposition from a paper i’m reading: Prop.: Let $X$ and $Y$ be two Hausdorff topological linear spaces. Let $H:X \times Y \rightarrow Y$ be a ...
0
votes
1answer
45 views

Connectedness of complements

Let $A$ and $B$ are compact subsets of $\mathbb{C}$ such that $B=A \cup$ iso($B$). If $A^c$ is connected then prove that $B^c$ is connected. Here iso($B$) denotes the set of isolated points of $B$. ...
0
votes
0answers
17 views

Condition for Riemannian distance to be equal to metric distance

If $M$ is a metric space than it is a topological space and if it is locally homeomorphic to to $R^n$ we say that it is a manifold and if we equipped this manifold with a inner product $g_p$ on ...
2
votes
1answer
32 views

Prove that topological space $ X= {[0,1]}^{2} $ with dictionary order topology is not second countable. (my solution)

Prove that topological space $ X= {[0,1]}^{2} $ with dictionary order topology is not second countable. I would assume that it is second countable. So then there would exist a basis $B$ of $X$ which ...
1
vote
2answers
18 views

On topological space $ X =(0,1) ^{2}$ with dictionary order topology find the weight of the space $X$.

On topological space $ X =(0,1) ^{2}$ with dictionary order topology find the weight of the space $X$. I am simply stuck don't even know where to start.
1
vote
2answers
40 views

Prove that the weight of standard topology cannot be $\in \mathbb{N}$.

Prove that the weight of standard topology on $\mathbb{R} $ cannot be $\in \mathbb{N}$. The weight is the minimal cardinality of all bases. It seems simple enough, I would assume it is finite and ...
1
vote
1answer
17 views

Let ($X_{i} , i \in I$) be family of disjoint topological spaces, where each of them weight $\alpha$

Let ($X_{i} , i \in I$) be family of disjoint topological spaces, where each of them weight $\alpha$ and assume that on $X = \bigcup(X_{i})_{i \in I}$ we have a weak topology. If the card($I$) $\leq \...
2
votes
1answer
57 views

Quotient to make $X$ a $T_1$ space

Let $X$ be a topological space. We define a relation on $X$: $$x \approx y : \quad \Leftrightarrow \quad x \in \overline{\{y\}}.$$ In general $\approx$ is no equivalence relation since it lacks ...
2
votes
1answer
51 views

Equivalence between Category of Covers and $\pi_1(X)$ Sets

I have a question about an argument used in Szamuely's "Galois Groups and Fundamental Groups" in the excerpt below (or look up at page 38): In order to show the category equivalence claimed in Thm 2....
0
votes
0answers
18 views

Gluing hyperbolic convex polygon

How can I prove the existence of a regular convex $4n$-gon, $C$, with the angles $\pi /2n$ and how would I be able to show that $C$, is a gluing diagram for a hyperbolic surface after is has been ...
0
votes
0answers
43 views

Unit circle and cone

I know that in the following question, I would consider finitely many cases depending on where the points are located, but I would appreciate help on this: a) How would I define a unit circle in a ...
0
votes
0answers
33 views

Proof set of content zero has void interior

Given a set of content zero $A \subset R^{n}$, how can be proved that the interior of $A$ is void?
0
votes
1answer
14 views

Show that a set $K$ cofinal in a directed set $J$ is also a directed set

$J$ directed means that for all pairs $a,b$ in $J, \exists c$ s.t. $a,b<c$ and $K$ is cofinal in $J$ so for each $j \in J$, $\exists d \in K$ such that $j<d$. I am struggling with how to prove ...
0
votes
0answers
26 views

Connected sum of Torus and Klein bottle.

If we look at the polygons of these spaces and we cut out a piece and glue it together like so, Do we lose any information when we compute the fundamental group using CW complex method described in ...
3
votes
2answers
71 views

What happens if $U\in \textit{P}(X)$ is always either closed or open

Let $X$ be a topological space s.t. $\forall U\in \textit{P}(X)$, $U$ is either open or closed (or both only in the cases $U=X, U=\varnothing$). What can we say about $X$? I found this example of ...
0
votes
1answer
37 views

Properties of Minkowski product of sets

We work in a normed vector space $\mathbb{X}$. Let $A$ a subset of unit sphere $\mathbb{S}_1=\{ x\in \mathbb{X} \mid \|x\|= 1 \}$. Decide if: $A$ is compact iff $[0,1]A=\{ tx | x\in A, t\in [0,1] \}...
2
votes
1answer
37 views

Prove that for each cardinal number $\alpha > 0$ exists a topological space $X$ so that $ w(X) = \alpha$.

Prove that for each cardinal number $\alpha > 0$ exists a topological space $X$ so that $ w(X) = \alpha$, where $ w(X)$ is the minimal cardinality of all bases of the topology on X. Can I just ...
1
vote
1answer
31 views

Find $\mathbb{R}_l \cap \mathbb{R}_K$

Find $\mathbb{R}_l \cap \mathbb{R}_K$, where $\mathbb{R}_l$ is the lower limit topology on $\mathbb{R}$ and $\mathbb{R}_K$ is the K-topology on $\mathbb{R}$. Is the intersection an empty set? I can't ...
0
votes
0answers
47 views

Real Analysis: If the restrictions on two closed sets are continuous, then the function from the union of the two closed sets is also continuous. [duplicate]

Suppose that $A,B \subseteq \mathbb{R}$ are closed and that $f: A \cup B \rightarrow \mathbb{R}$. Show that if the restrictions $f|_{A}: A \rightarrow \mathbb{R}$ and $f|_{B}: B \rightarrow \mathbb{R}...
0
votes
1answer
35 views

Understanding the meaning of immersion for Manifolds

Let $f: X \rightarrow Y$ be a smooth map of manifolds. $f$ is an immersion at $x \in X$ if $df_x: T_x(X) \rightarrow T_y(Y)$ is an injective map where $y = f(x).$ $T_x(X)$ is the tangent plane of $X$ ...
0
votes
1answer
31 views

Is the preimage of a simple root connected?

Consider a matrix $A(p) \in \mathbb{R}^{N \times N}$ that depends linearly on a set of real nonnegative parameters $p =[p_1,\dots,p_n], p_j \geq 0$. Let $A$ be nonnegative irreducible for any ...
1
vote
0answers
47 views

Point Set Topology (open sets, polynomials, hausdorff spaces)

I am trying to complete this Topological problem and I have completed it, I just would like some opinions on how to make my work better and if someone could check it for me as well. I would greatly ...
1
vote
1answer
26 views

Example of Non-Compact Closed Set contained in Open Set With Special Property

I am looking for an example of an open set $A$ in a metric space $X$ and a closed, non-compact subset $B$ of $A$ such that there is no $\delta > 0$ s.t. $\{x: \textrm{dist}(x,B) < \delta\} \...
1
vote
0answers
39 views

Meaning of Path Connectedness

Recently I've been reading through Chapter 9 of Artin's "Algebra". I'm having trouble understanding the proof of a proposition (Proposition 9.7.9, to be precise). It states: "Let $G$ be a path-...
1
vote
1answer
20 views

Show that every locally compact Hausdorff space is completely regular

It would be very appreciated if someone could review my solution. Thanks! Problem: Show that every locally compact Hausdorff space is completely regular. Proof: Let X be a locally compact ...
1
vote
1answer
37 views

If $f\in C_0$ and $g$ is continuous, can we show that $f\circ g\in C_0$?

Let $E$ be a locally compact Hausdorff space and $$C_0(E):=\left\{f\in C(E):\left\{|f|\ge\varepsilon\right\}\text{ is compact for all }\varepsilon>0\right\}.$$ Let $f\in C_0(E)$, $E'$ be another ...
0
votes
1answer
26 views

Topology, compact

I have had some problems to solve the following question : Is there a continuous bijection of a compact Hausdorff space over the space of rational numbers? I think the answer should be no, it has cost ...
2
votes
2answers
31 views

Compactness of a subset of $L_1([0,1])$

Suppose that $X = L_1([0,1]):= \{f:[0,1]\mapsto [0,\infty): \int_0^1 |f(x)|~dx <\infty\}$. Equip $X$ with the standard metric $d(f,g) = \int_0^1 |f(x)-g(x)|~dx$. Now, define: $$C:= \{f\in X: f(x) \...
4
votes
1answer
36 views

Addition of continuous functions over topological spaces is continuous.

Just wanted to verify if the following proof works: Suppose $f:X\rightarrow \mathbb{R}$ $g:X\rightarrow \mathbb{R}$ are continuous. Want to show that: $h=f+g$ is continuous. We are going to prove ...
1
vote
2answers
35 views

A Homology calculation Question

Let $q: S^n\rightarrow S^n\vee S^n$ be the map we get quotienting the equator. What is $q_*$ on $n$-th Homology level? $q_*:\mathbf{Z}\rightarrow \mathbf{Z}\oplus\mathbf{Z}$ ?