# Questions tagged [gn.general-topology]

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

**40**

votes

**3**answers

7k views

### When is a Homology Class Represented by a Submanifold? [duplicate]

Possible Duplicate:
Cohomology and fundamental classes
Given an oriented manifold $M$ and an oriented submanifold $\phi:N\to M$ we can obtain a homology class $\phi_*[N]\in H_*(M)$ ...

**52**

votes

**1**answer

6k views

### Grothendieck's manuscript on topology

Edit: Infos on the current state by Lieven Le Bruyn: http://www.neverendingbooks.org/grothendiecks-gribouillis
Edit: Just in case anyone still thinks that Grothendieck's unpublished manuscripts are (...

**56**

votes

**28**answers

5k views

### Examples where it's useful to know that a mathematical object belongs to some family of objects

For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon:
(1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...

**24**

votes

**17**answers

9k views

### Applications of Brouwer's fixed point theorem

I'm presenting Brouwer's fixed point theorem to an audience that knows some point-set topology. Does anyone have any zippy / enlightening / cool applications or consequences of it? So far, I have:
...

**46**

votes

**1**answer

2k views

### Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?

Similarly is the complement of any countable set in $\mathbb R^3$ simply connected?
Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and ...

**54**

votes

**1**answer

2k views

### Every real function has a dense set on which its restriction is continuous

The title says it all: if $f\colon \mathbb{R} \to \mathbb{R}$ is any real function, there exists a dense subset $D$ of $\mathbb{R}$ such that $f|_D$ is continuous.
Or so I'm told, but this leaves me ...

**21**

votes

**7**answers

2k views

### A topological concept dual to compactness

We say that a subset A in a topological space X is anti-compact if every covering of A by closed sets has a finite subcover. Clearly if X is Hausdorff then all anti-compact subsets of X are finite. ...

**13**

votes

**12**answers

2k views

### Examples of $G_\delta$ sets

Recall that a subset $A$ of a metric space $X$ is a $G_\delta$ subset if it can be written as a countable intersection of open sets. This notion is related to the Baire category theorem. Here are ...

**15**

votes

**4**answers

12k views

### On the series 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + …

It is well-known that
A: The series of the reciprocals of the primes diverges
My question is whether property A is in some sense a truth strongly tied to the nature of the prime numbers.
Property A ...

**26**

votes

**4**answers

3k views

### Does the Brouwer fixed point theorem admit a constructive proof?

Wikipedia and a few websites (and a few mathoverflow answers) say there is a constructive proof of the Brouwer fixed point theorem, some others say no. The argument for a constructive proof is always ...

**19**

votes

**1**answer

2k views

### connectivity of the group of orientation-preserving homeomorphisms of the sphere

In the paper "Local Contractions and a Theorem of Poincare" Sternberg has mentioned the following question which was open when the paper was written:
Is the group of orientation-preserving ...

**14**

votes

**1**answer

2k views

### Questions about spectra of rings of continuous functions

I have been thinking a bit about rings of continuous functions of various kinds -- how they motivate the more modern notion of the Zariski topology on the prime spectrum as well as how they fit into a ...

**32**

votes

**1**answer

983 views

### Homeomorphisms and disjoint unions

Let $X$ and $Y$ be compact subsets of $\mathbb{R}^n$. Assume that $X \sqcup X \cong Y \sqcup Y$ (here $X \sqcup X$ is the disjoint union of two copies of $X$, considered as a topological space, and ...

**28**

votes

**1**answer

609 views

### Running most of the time in a connected set

Let $P$ be a compact connected set in the plane and $x,y\in P$.
Is it always possible to connect $x$ to $y$ by a path $\gamma$ such that the length of $\gamma\backslash P$ is arbitrary small?
...

**14**

votes

**8**answers

2k views

### Smooth classifying spaces?

Take G to be a group. I care about discrete groups, but the answer in general would be welcome too. There are the various ways to construct the classifying space of G, bar construction, cellular ...

**11**

votes

**4**answers

1k views

### Elements of infinite order in a profinite group

Say G is a profinite group with elements of arbitrarily large order. Do elements of infinite order exist (A) if we assume G is abelian? (B) in general?
A start for (A): we can ask the same question ...

**26**

votes

**1**answer

2k views

### Fake versus Exotic

Without recourse to the Disc Theorem (or its progeny), is it true that all known examples of exotic differentiable structures on 4-manifolds would be fake rather than exotic?
Terminology (perhaps non-...

**21**

votes

**2**answers

3k views

### complement of a totally disconnected closed set in the plane

While preparing a course in complex analysis, I stumbled over a remark in Dudziak's book on removable sets, namely that any totally disconnected $K \subset\subset {\mathbb C}$ must have a connected ...

**27**

votes

**4**answers

2k views

### In what rigorous sense are Sperner's Lemma and the Brouwer Fixed Point Theorem equivalent?

I understand that one can give a proof of each of these propositions assuming the truth of the other. But this seems a bit squishy to me, since there is a trivial sense in which any two true theorems ...

**17**

votes

**3**answers

1k views

### “Anti” fixed point property

Let $(X,\tau)$ be a topological space. If $f:X\to X$ is continuous, we say $x\in X$ is a fixed point if $f(x) = x$.
The space $(X,\tau)$ is said to have the anti fixed point property (AFPP) if the ...

**8**

votes

**3**answers

2k views

### Topological dimension versus cohomological dimension

This should be really well known but I don't seem to find a statement about it nor a question in MO answering this.
Consider a Compact Hausdorff topological space $X$. The cohomological dimension of ...

**27**

votes

**2**answers

3k views

### Why should have Peter May worked with CGWH instead of CGH in “The Geometry of Iterated Loop Space”?

This is a follow-up to Dan Ramras' answer of this question.
The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here).
The weak Hausdorff rather ...

**21**

votes

**3**answers

2k views

### The Closure-Complement-Intersection Problem

Background
Let $A$ be a subset of a topological space $X$. An old problem asks, by applying various combinations of closure and complement operations, how many distinct subsets of $X$ can you ...

**8**

votes

**2**answers

536 views

### Potential connected non-Lie subgroup

This painful question is inspired by the question
"non-Lie subgroups" . Let R denote the real numbers. Let f be an discontinuous additive map from R --> R. Is it possible that the graph of f, inside ...

**6**

votes

**2**answers

454 views

### Any 3-manifold can be realized as the boundary of a 4-manifold

We know
"Any closed, oriented $3$-manifold $M$ is the boundary of some oriented $4$-manifold $B$." See this post: Elegant proof that any closed, oriented 3-manifold is the boundary of some ...

**18**

votes

**2**answers

2k views

### How bogus is the glitzy proof of Borsuk-Ulam?

Suppose $f: S^2 \rightarrow {\bf R}^2$ is continuous; let $A$ be the set of points $u \in S^2$ such that $f(u)-f(-u) \in {\bf R} \times \{0\}$ (where $-u$ denotes the antipode of $u$). Given $u,-u \in ...

**18**

votes

**2**answers

365 views

### $\kappa$-homogeneous topological spaces

Let $\kappa>0$ be a cardinal and let $(X,\tau)$ be a topological space. We say that $X$ is $\kappa$-homogeneous if
$|X| \geq \kappa$, and
whenever $A,B\subseteq X$ are subsets with $|A|=|B|=\kappa$...

**14**

votes

**1**answer

1k views

### Why does the singular simplicial space geometrically realize to the original space?

I have seen it claimed that (for compactly generated Hausdorff spaces) the geometric realization of the singular (internal) simplicial space is homotopy equivalent to the original space. I know how to ...

**11**

votes

**1**answer

936 views

### Topologies on the field of rationals

Ostrowski's theorem give the answer for valuations, but is there a complete classification of (at least separated) topologies on Q (compatible with the field operations, obviously)?

**12**

votes

**3**answers

4k views

### What is the definition of continuity of set-valued functions?

According to the wiki of Kakutani's fixed-point theorem, A set-valued mapping $\varphi$ from a topological space $X$ into a powerset $\wp(Y)$ called upper semi-continuous if for every open set $W \...

**12**

votes

**4**answers

975 views

### nonhausdorff dimension

if $X$ is a topological space, a first step in making $X$ hausdorff is taking the quotient $H(X)=X/\sim$, where $\sim$ is the equivalence relation generated by: if $x,y$ cannot be seperated by ...

**9**

votes

**2**answers

606 views

### Is there a long exact sequence associated to a ramified covering?

A covering map $p:X\to Y$ between topological spaces can be viewed as a fiber bundle $\Sigma\to X\to Y$ with a discrete group $\Sigma=Gal(X/Y)$ as fiber. Such a fiber bundle leads to a long exact ...

**8**

votes

**1**answer

323 views

### A criterion for second countability

Let $(X,\tau)$ be a topological space.
Assume for any arbitrary topological base $\mathcal{E}$ of $\tau$ we have that: the Borel sigma algebras coming form $\mathcal{E}$ and $\tau$ are the same. ...

**6**

votes

**1**answer

1k views

### Minimize Energy for Charge Distributions

I am considering [positive] charge distributions $\rho:M\rightarrow\mathbb{R}_+$ (nonnegative reals) with unit charge $\int_M\rho=1$ for convenience. Here $M$ is a nice-enough region, say a ...

**14**

votes

**1**answer

507 views

### Are infinite simplicial complexes all manifolds?

Are infinite dimensional simplicial complexes manifolds locally modeled on $\mathbb R^\infty=\operatorname{colim}\mathbb R^n$? If they are homotopy equivalent, are they homeomorphic?
Of course not. ...

**9**

votes

**3**answers

606 views

### Map from simplex to itself that preserves sub-simplices

I believe this may be a standard algebraic topology problem, so I apologize in advance if this belongs in stackexchange (it's not a homework problem, however, and came about in a research context). I'...

**8**

votes

**5**answers

532 views

### Which topological properties are preserved under taking box products?

Although the box topology is a topology worth studying and is similar to the strong topology in differential topology, the box topology is in many regards very badly behaved since the box product of ...

**7**

votes

**2**answers

2k views

### Compact Hausdorff spaces without isolated points in ZF

S is uncountable := |$\mathbb{N}$| < |S|
S is noncountable := |S| $\not\leq |\mathbb{N}|$
(X,$T$) is a nice space := (X,$T$) is a compact Hausdorff space without isolated points
Does [ ZF / ...

**6**

votes

**1**answer

186 views

### Minimal Hausdorff topologies compatible with a bunch of functions

Let $X$ be an infinite set, let ${\cal F}$ be a set of functions $f: X\to X$. We say that a topology $\tau$ is compatible with ${\cal F}$ if every $f\in {\cal F}$ is a continuous function $f:(X, \tau)\...

**4**

votes

**2**answers

488 views

### Is a specific sequentially closed subset of $M([0,1])$ closed?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all $\...

**3**

votes

**4**answers

463 views

### Topological spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$

Let $(X,\tau)$ be a topological space. Let $\text{Cont}(X,X)$ denote the set of continuous functions $f:X\to X$.
What can be said about spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$? For ...

**14**

votes

**1**answer

386 views

### Nonperiodic points of homeomorphisms of a ball

Suppose $B$ is a $d$-dimensional ball (for some $d \geq 1$) and $T$ is a homeomorphism from $B$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that $...

**10**

votes

**3**answers

988 views

### A space in which sequences have unique limits but compact sets need not be closed

A topological space is KC if every compact subspace is closed.
A topological space is US if every convergent sequences has exactly one limit.
Does someone know an easy example of a US space which is ...

**7**

votes

**1**answer

243 views

### What is the height (or depth) of $[\mathbb{N}]^\infty$?

(This question assumes familiarity with combinatorial cardinal characteristics of the continnum.)
Let $[\mathbb{N}]^\infty$ be the family of infinite subsets of $\mathbb{N}$,
partially ordered by $\...

**6**

votes

**2**answers

210 views

### Dense and co-dense subsets in connected $T_2$-spaces

Is there a connected $T_2$-space $(X,\tau)$ with more than 1 point and with the following property?
Whenever $D\subseteq X$ is dense, $X\setminus D$ is not dense.

**6**

votes

**0**answers

410 views

### Does local strict contractibility imply ANR?

Say that a space (= compact metrizable space) $X$ is locally strictly contractible if, for every $p\in X$ and neighborhood $U$ of $p$, there is a neighborhood $V$ of $p$ which can be contracted to $p$ ...

**6**

votes

**3**answers

520 views

### When does the generalized Cantor space embed in a $\kappa$-compact space

The generalized Cantor space is the space $2^\kappa$, with basic open sets
$$
[\sigma] := \{f\in 2^\kappa : \sigma\subseteq f\},
$$
for $\sigma\in 2^{<\kappa}$.
A space is $\kappa$-compact if ...

**5**

votes

**1**answer

370 views

### When is there an unbounded tower in $[\mathbb{N}]^\infty$?

(Edit: I'm splitting the question, leaving here only what is answered by Ashutosh, and moving the rest to another question.)
This question assumes familiarity with combinatorial cardinal ...

**5**

votes

**3**answers

1k views

### Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...

**4**

votes

**2**answers

616 views

### How to define compatible topology for first-order structures?

Background Because a bounded distributive lattice can be represented by the clopen sets of a Priestley space, I tried to learn some basics about Priestley spaces. After reading (on Wikipedia)
A ...