# Questions tagged [gn.general-topology]

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

414 questions
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)$ ...
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 (...
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, ...
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: ...
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 ...
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 ...
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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? ...
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 ...
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
2k views

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 ...
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 ...
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. ...
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 ...
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. ...
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'...
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 ...
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 / ...
186 views

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 ...
386 views

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