Stack Exchange Network

Stack Exchange network consists of 174 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 [gn.general-topology]

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

40
votes
3answers
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
1answer
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
28answers
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
17answers
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
1answer
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
1answer
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
7answers
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
12answers
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
4answers
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
4answers
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
1answer
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
1answer
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
1answer
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
1answer
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
8answers
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
4answers
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
1answer
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
2answers
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
4answers
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
3answers
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
3answers
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
2answers
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
3answers
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
2answers
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
2answers
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
2answers
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
2answers
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
1answer
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
1answer
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
3answers
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
4answers
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
2answers
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
1answer
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
1answer
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
1answer
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
3answers
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
5answers
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
2answers
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
1answer
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
2answers
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
4answers
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
1answer
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
3answers
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
1answer
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
2answers
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
0answers
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
3answers
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
1answer
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
3answers
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
2answers
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 ...