# 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.

8,458 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
17k views

### Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
19k views

### When quotient map is open?

Quotient map from $X$ to $Y$ is continuous and surjective with a property : $f^{-1}(U)$ is open in $X$ iff $U$ is open in $Y$. But when it is open map? What condition need?
7k views

1k views

### What's the origin of the term "chaotic topology"?

If $X$ is a set, some sources* refer to the topology $\{\emptyset,X \}$ as the chaotic topology. (I've also seen it called the trivial, codiscrete, and indiscrete topology.) What is the origin of and ...
449 views

### Stokes' Theorem general case

With the following lemma : Lemma : Let $f_{+},f_{-} : U \longmapsto \mathbb{R}$ be $C^{1}$ maps with $f_{-} \leq 0 \leq f_{+}$ with $U \subset \mathbb{R}^{n}$ open and bounded with $C^{1}$ boundary. ...
439 views

### What is the structure preserved by strong equivalence of metrics?

Let $d_1$ and $d_2$ be two metrics on the same set $X$. Then $d_1$ and $d_2$ are (topologically) equivalent if the identity maps $i:(M,d_1)\rightarrow(M,d_2)$ and $i^{-1}:(M,d_2)\rightarrow(M,d_1)$ ...
588 views

### Exercise in Engelking's book regarding a disconnected space.

This is related to 6.3.24 in Engelking's Topology book. The Hilbert space $H$ is the set of sequences $(x_i) \in \mathbb R ^\omega$ such that $\|x\|=\sum _{i=1} ^\infty x_i ^2<\infty$, with ...
261 views

### Is there a topological space of cardinality $\kappa$ containing all metric spaces of cardinality $\kappa$?

It is known that all the countable metrizable spaces embed in $\mathbb{Q}$. Then a natural question is: are there an uncountable cardinal $\kappa$ and a topological space $X$ of cardinality $\kappa$ ...
2k views

### Nerve Theorem: Is the finite union of closed convex sets triangulable?

My Question: Let $A_1, \ldots, A_k \subseteq \mathbb{R}^n$ be closed convex sets. Is the union $\bigcup_{i=1}^k A_i$ triangulable$^1$? If so, why? Background: I'm trying to better understand the ...
225 views

### Finite-Dimensional Homogeneous Contractible Spaces

Suppose that $X \subset \mathbb{R}^n$ is compact, homogeneous and contractible (and thus connected). Does $X$ have to be a point? I couldn't think of a non-trivial example, and there isn't a ...
306 views

319 views

### Why use the Lefschetz Zeta function?

Given a compact, triangulable space $X$ and a continuous function $f: X\rightarrow X$, then we define the Lefschetz number $\Lambda_{f}$ by \Lambda_{f} = \sum_{k\geq0}(-1)^{k}Tr(f_{\ast}\vert H_{k}(...
1k views

181 views

### Name/source for cardinal invariant in topology

Given a topological space $\mathcal{X}=(X,\tau)$ and a set $A\subseteq X$, say that $A$ is $\mathcal{X}$-sufficient iff every continuous function $(A,\tau_A)\rightarrow\mathbb{R}$ extends to a unique ...
186 views

### Homology $H_n(\mathbb{RP}^n)$

I don't understand the homology computation of real projective $\mathbb{RP}^n$ associated to the decomposition of $\mathbb{S}^i$ as union of two $i$-cells, i.e $E_+^i,E_-^i$. I'm going to introduce ...
179 views

### Construction of the Universal Covering Space via Compact-Open Topology

Recently I've been self-studying the theory of covering spaces from "Introduction to Topological Manifolds", by John M. Lee. At the end of Chapter 11, there is an explicit construction of ...
I am trying to solve the following problem from Hatcher's Algebraic Topology and have written a solution. Could you help me checking my solution, whether I am right? Thanks in advance. $Y$ is simply-...
Let $C$ be a set and let $2^C$ be its power set. Consider the union function $\cup: 2^C\times 2^C\rightarrow 2^C$ such that $\cup (X,Y)=X\cup Y$. For a fixed $Y\in 2^C$, let $\cup_Y$ be the evaluation ...