Questions tagged [gn.general-topology]

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

Filter by
Sorted by
Tagged with
33 votes
2 answers
2k views

Are the Sierpiński cardinal $\acute{\mathfrak n}$ and its measure modification $\acute{\mathfrak m}$ equal to some known small uncountable cardinals?

This question was motivated by an answer to this question of Dominic van der Zypen. It relates to the following classical theorem of Sierpiński. Theorem (Sierpiński, 1921). For any countable partition ...
Taras Banakh's user avatar
  • 40.8k
325 votes
34 answers
92k views

Why is a topology made up of 'open' sets? [closed]

I'm ashamed to admit it, but I don't think I've ever been able to genuinely motivate the definition of a topological space in an undergraduate course. Clearly, the definition distills the essence of ...
37 votes
5 answers
4k views

Reference for the Gelfand duality theorem for commutative von Neumann algebras

The Gelfand duality theorem for commutative von Neumann algebras states that the following three categories are equivalent: (1) The opposite category of the category of commutative von Neumann ...
Dmitri Pavlov's user avatar
17 votes
3 answers
2k views

How many tacks fit in the plane?

Call a tack the one point union of three open intervals. Can you fit an uncountable number of them on the plane? Or is only a countable number?
nonlinearality's user avatar
103 votes
5 answers
16k views

Independent evidence for the classification of topological 4-manifolds?

Is there any evidence for the classification of topological 4-manifolds, aside from Freedman's 1982 paper "The topology of four-dimensional manifolds", Journal of Differential Geometry 17(3) 357–453? ...
Brendan Guilfoyle's user avatar
13 votes
1 answer
666 views

Strongly rigid Hausdorff spaces

A space $(X,\tau)$ is called rigid if $\textrm{Aut}(X)=\{\textrm{id}_X\}$. We say $(X,\tau)$ is strongly rigid if for every continuous map $f:X\to X$ we have that $f = \textrm{id}_X$ or $f$ is ...
Dominic van der Zypen's user avatar
106 votes
9 answers
35k views

solving $f(f(x))=g(x)$

This question is of course inspired by the question How to solve f(f(x))=cosx and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
Kevin Buzzard's user avatar
110 votes
4 answers
13k views

Is there a sheaf theoretical characterization of a differentiable manifold?

I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a ...
Daniel Moskovich's user avatar
90 votes
3 answers
13k views

Is every sigma-algebra the Borel algebra of a topology?

This question arises from the excellent question posed on math.SE by Salvo Tringali, namely, Correspondence between Borel algebras and topology. Since the question was not answered there after some ...
Joel David Hamkins's user avatar
67 votes
10 answers
12k views

Non-homeomorphic spaces that have continuous bijections between them

What are nice examples of topological spaces $X$ and $Y$ such that $X$ and $Y$ are not homeomorphic but there do exist continuous bijections $f: X \to Y$ and $g: Y \to X$?
53 votes
4 answers
6k views

Are the rationals homeomorphic to any power of the rationals?

I asked myself, which spaces have the property that $X^2$ is homeomorphic to $X$. I started to look at some examples like $\mathbb{N}^2 \cong \mathbb{N}$, $\mathbb{R}^2\ncong \mathbb{R}, C^2\cong C$ (...
HenrikRüping's user avatar
48 votes
8 answers
8k views

When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine. Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
Pete L. Clark's user avatar
35 votes
3 answers
10k views

The deep significance of the question of the Mandelbrot set's local connectedness?

I am given to understand that the celebrated open problem (MLC) of the Mandelbrot set's local connectness has broader and deeper significance deeper than some mere curiosity of point-set topology. ...
David Feldman's user avatar
34 votes
4 answers
8k views

Why are the integers with the cofinite topology not path-connected?

An apparently elementary question that bugs me for quite some time: (1) Why are the integers with the cofinite topology not path-connected? Recall that the open sets in the cofinite topology on a ...
Theo Buehler's user avatar
  • 5,703
28 votes
1 answer
1k views

Is the Golomb countable connected space topologically rigid?

The Golomb space $\mathbb G$ is the set of positive integers endowed with the topology generated by the base consisting of the arithmetic progressions $a+b\mathbb N_0$ with relatively prime $a,b$ and $...
Taras Banakh's user avatar
  • 40.8k
27 votes
2 answers
6k views

Countable connected Hausdorff space

Let me start by reminding two constructions of topological spaces with such exotic combination of properties: 1) The elements are non-zero integers; base of topology are (infinite) arithmetic ...
Fedor Petrov's user avatar
79 votes
5 answers
5k views

Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?

The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...
Qiaochu Yuan's user avatar
50 votes
4 answers
22k views

When is $L^2(X)$ separable?

I have never studied any measure theory, so apologise in advance, if my question is easy: Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable? In reality, I am interested in ...
Bugs Bunny's user avatar
  • 12.1k
46 votes
6 answers
4k views

Why the "W" in CGWH (compactly generated weakly Hausdorff spaces)?

In his 1967 paper A convenient category of topological spaces, Norman Steenrod introduced the category CGH of compactly generated Hausdorff spaces as a good replacement of the category Top topological ...
André Henriques's user avatar
43 votes
7 answers
21k views

How do you show that $S^{\infty}$ is contractible?

Here I mean the version with all but finitely many components zero.
David Zureick-Brown's user avatar
37 votes
5 answers
3k views

When factors may be cancelled in homeomorphic products?

It is easy to see that if $A\times B$ is homeomorphic to $A\times C$ for topological spaces $A$, $B$, $C$, then one may not conclude that $B$ and $C$ are homeomorphic (for example, take $C=B^2$, $A=B^{...
Fedor Petrov's user avatar
23 votes
5 answers
8k views

totally disconnected and zero-dimensional spaces

When do the notions of totally disconnected space and zero-dimensional space coincide? From what I gather, there are at least three common notions of topological dimension: covering dimension, small ...
Justin Campbell's user avatar
15 votes
6 answers
3k views

Giving $\mathit{Top}(X,Y)$ an appropriate topology

$\DeclareMathOperator\Top{\mathit{Top}}$I am not sure if its OK to ask this question here. Let $\Top$ be the category of topological spaces. Let $X,Y$ be objects in $\Top$. Let $F:\mathbb{I}\...
Amr's user avatar
  • 1,025
80 votes
5 answers
6k views

How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a fixed set X. We may order the topologies by refinement, so that τ ≤ σ just in case every τ open set is open in σ. ...
Joel David Hamkins's user avatar
58 votes
6 answers
7k views

Torsion in homology or fundamental group of subsets of Euclidean 3-space

Here's a problem I've found entertaining. Is it possible to find a subset of 3-dimensional Euclidean space such that its homology groups (integer coefficients) or one of its fundamental groups is not ...
Ryan Budney's user avatar
  • 42.9k
45 votes
2 answers
5k views

Continuous bijections vs. Homeomorphisms

This is motivated by an old question of Henno Brandsma. Two topological spaces $X$ and $Y$ are said to be bijectively related, if there exist continuous bijections $f:X \to Y$ and $g:Y \to X$. Let´s ...
Ramiro de la Vega's user avatar
44 votes
6 answers
4k views

Does $\mathbb C\mathbb P^\infty$ have a group structure?

Does $\mathbb C\mathbb P^\infty$ have a (commutative) group structure? More specifically, is it homeomorphic to $FS^2$, (the connected component of) the free commutative group on $S^2$? $\mathbb C\...
Ben Wieland's user avatar
  • 8,667
42 votes
8 answers
5k views

What is a metric space?

According to categorical lore, objects in a category are just a way of separating morphisms. The objects themselves are considered slightly disparagingly. In particular, if I can't distinguish ...
Andrew Stacey's user avatar
32 votes
1 answer
3k 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-...
Brendan Guilfoyle's user avatar
13 votes
1 answer
620 views

$T_2$-spaces where all non-empty open sets are homeomorphic

We say that a $T_2$-space $(X,\tau)$ has homeomorphic open sets if every non-empty open set $U\subseteq X$ endowed with the subspace topology is homeomorphic to $(X,\tau)$. The rationals with the ...
Dominic van der Zypen's user avatar
12 votes
1 answer
752 views

Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?

There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$. We usually call it $\mathbb{C}$, but by this we impose a ...
Uri Bader's user avatar
  • 11.4k
11 votes
4 answers
2k views

Non-trivial convergent sequence in Stone-Čech compactification of $\mathbb{N}$

Why are there only trivial convergent sequences in the Stone-Čech compactification of $\mathbb{N}$?
maryam's user avatar
  • 147
5 votes
1 answer
640 views

Can $L^1_{loc}$ be represented as colimit?

Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space ...
ABIM's user avatar
  • 5,019
230 votes
4 answers
15k views

Is $\mathbb R^3$ the square of some topological space?

The other day, I was idly considering when a topological space has a square root. That is, what spaces are homeomorphic to $X \times X$ for some space $X$. $\mathbb{R}$ is not such a space: If $X \...
Richard Dore's user avatar
  • 5,205
186 votes
8 answers
12k views

Two commuting mappings in the disk

Suppose that $f$ and $g$ are two commuting continuous mappings from the closed unit disk (or, if you prefer, the closed unit ball in $R^n$) to itself. Does there always exist a point $x$ such that $f(...
fedja's user avatar
  • 59.5k
133 votes
5 answers
29k views

Does the inverse function theorem hold for everywhere differentiable maps?

(This question was posed to me by a colleague; I was unable to answer it, so am posing it here instead.) Let $f: {\bf R}^n \to {\bf R}^n$ be an everywhere differentiable map, and suppose that at each ...
Terry Tao's user avatar
  • 108k
74 votes
9 answers
14k views

understanding Steenrod squares

There is a function on $\mathbb{Z}/2\mathbb{Z}$-cohomology called Steenrod squaring: $Sq^i:H^k(X,\mathbb{Z}/2\mathbb{Z}) \to H^{k+i}(X,\mathbb{Z}/2\mathbb{Z})$. (Coefficient group suppressed from ...
Aaron Mazel-Gee's user avatar
71 votes
9 answers
8k views

What is a continuous path?

I would like some help, because I am getting mad trying to answer the following Question: Let $X$ be a topological space, what is a continuous path in $X$? Well, maybe you're already getting ...
Valerio Capraro's user avatar
67 votes
11 answers
10k views

How should one think about non-Hausdorff topologies?

In most basic courses on general topology, one studies mainly Hausdorff spaces and finds that they fit quite well with our geometric intuition and generally, things work "as they should" (sequences/...
65 votes
22 answers
10k views

When has discrete understanding preceded continuous?

From my limited perspective, it appears that the understanding of a mathematical phenomenon has usually been achieved, historically, in a continuous setting before it was fully explored in a discrete ...
57 votes
1 answer
5k 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 ...
Gro-Tsen's user avatar
  • 29.9k
48 votes
3 answers
7k views

Thurston's 24 questions: All settled?

Thurston's 1982 article on three-dimensional manifolds1 ends with $24$ "open questions":       $\cdots$ Two naive questions from an outsider: (1) Have all $24$ now been resolved? (2)...
Joseph O'Rourke's user avatar
44 votes
3 answers
12k 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)$ ...
Steve's user avatar
  • 2,223
39 votes
4 answers
4k views

Topological Characterisation of the real line.

What is a purely topological characterisation of the real line( standard topology)?
Suryateja's user avatar
  • 501
32 votes
4 answers
5k 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 ...
coudy's user avatar
  • 18.5k
31 votes
17 answers
14k 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: ...
30 votes
4 answers
2k views

is f a polynomial provided that it is "partially" smooth?

Let $f$ be a $C^\infty$ function on $(c,d)$ ,and let $O=\cup_{n\in \mathbb{Z}^+} (a_n,b_n)$ where $(a_n,b_n)$ are disjoint open interval in $(c,d)$ and $O$ is dense in $(c,d)$. Suppose for each $n\in ...
Ben's user avatar
  • 397
21 votes
6 answers
4k views

Topological characterization of the closed interval $[0,1]$

This question is related to question 92206 "What properties make $[0, 1]$ a good candidate for defining fundamental groups?" but is not exactly equivalent in my opinion. It is even suggested in one ...
21 votes
1 answer
1k views

Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra. Moreover, a morphism of commutative von Neumann algebras induces a continuous morphism of the corresponding ...
Dmitri Pavlov's user avatar
19 votes
2 answers
728 views

Existence of a *really* nice topology on the powerset of a topological space

TL;DR. Given a topological space $X$, is there a natural way to "induce" a topology on $\mathcal{P}(X)$ from the topology of $X$ in such a way that 1) all the basic operations of set theory (...
Emily's user avatar
  • 10.3k

1
2 3 4 5
15