The tag has no wiki summary.

learn more… | top users | synonyms

62
votes
9answers
17k 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 ...
50
votes
4answers
3k 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 σ. ...
30
votes
4answers
1k 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 catgory Top topological ...
23
votes
4answers
1k 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 ...
20
votes
0answers
961 views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
19
votes
0answers
407 views

Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?

Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...
17
votes
0answers
482 views

Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$: $A' = aA$, $B' = bB$. Suppose it is known that ...
15
votes
5answers
1k views

Compactness of the Hilbert cube without the Axiom of Choice

I am just curious: is there a published proof of the compactness of the Hilbert cube that does not use the Axiom of Choice, or is it well known?
15
votes
0answers
1k views

Covers of $Z^k$

This is a question related to covers of $Z^\infty$. Is it possible to cover $Z^k$, $k>1$, with the $l_1$-metric by a constant (not depending on $k$) number of collections of subsets $U^0,...,U^c$ ...
14
votes
6answers
2k 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 ...
14
votes
5answers
3k views

Locally compact Hausdorff space that is not normal

What is a good example of a locally compact Hausdorff space that is not normal? It seems to be well-known that not all locally compact Hausdorff spaces are normal (and only a weaker version of ...
14
votes
0answers
152 views

Finite union of closed convex sets is triangulable?

I posted this question on Stackoverflow, but didn't get an answer. Let $A_1, \ldots, A_k \subseteq \mathbb{R}^n$ be closed convex sets. Is the union $\bigcup_{i=1}^k A_i$ triangulable, that is, ...
13
votes
2answers
896 views

Complete metric on the space of Jordan curves?

I was interested in putting a complete metric on the space of Jordan curves. Say, just planar Jordan curves contained in $B(\bar{0}, 2) \backslash B(\bar{0}, 1)$ which separates $\bar{0}$ and ...
11
votes
1answer
816 views

Analysis of the boundary of the Mandelbrot set

Motivation: The Mandlebrot set is a simply connected set with an infinitely complex boundary, but CAN one move from interior to the exterior of this topological space by just crossing over a finite ...
11
votes
0answers
956 views

Paracompact Hausdorff but not compactly generated?

I'm sorry to be asking a (possibly) elementary question, but I've run into a problem in point-set topology; I've just read that there exists paracompact Hausdoff spaces which are not compactly ...
10
votes
2answers
1k views

Does Riemann map depend continuously on the domain?

I've always taken this for granted until recently: In the simplest case, given Jordan curve $C \subseteq \mathbb{C}$ containing a neighborhood of $\bar{0}$ in its interior. Given parametrizations ...
10
votes
1answer
346 views

continuous images of open intervals

The well-known Hahn-Mazurkiewicz theorem characterizes those nonempty Hausdorff spaces $X$ that admit a continuous surjection $\alpha: [0, 1] \to X$ from the closed unit interval: it is necessary and ...
10
votes
1answer
371 views

convexity of images of space-filling curves

Suppose $f:[0,1]\to[0,1]^2$ is continuous and for each $t\in[0,1]$, the area of $\lbrace f(s) : 0\le s\le t \rbrace$ is $t$. For what sets of values of $t\in[0,1]$ can $\lbrace f(s) : 0\le s\le t ...
9
votes
10answers
2k views

Are nets and filters useful in geometry and topology?

Many results in topology can be restated using the concepts of nets and ultrafilters. This seems to be of interest for set theorists, maybe even logicians. But for geometers and topologists, those who ...
9
votes
1answer
443 views

Constructible sets in Hausdorff spaces

In an attempt to write a proof by contradiction, I end up with a space $X$ with the following properties: (0) $X$ is nonempty, (1) $X$ is Hausdorff, (2) $X$ has no isolated points, (3) every subspace ...
9
votes
0answers
281 views

Linearly Lindelöf spaces with Lindelöf degree of uncountable cofinality

Is there a linearly Lindelöf space $X$ with $\operatorname{cf} (L(X))> \aleph_{0}$ (where $L$ is the cardinal function Lindelöf degree)? $L(X)$ must be a limit cardinal, like $\aleph_{\omega_{1}}$ ...
8
votes
3answers
627 views

Topological spaces determined by generalized metric spaces

At http://en.wikibooks.org/wiki/Real_Analysis/Metric_Spaces you can find the standard definition of a metric space: a set $X$ given with a function $d:X\times X\to\mathbb{R}$ that satisfies properties ...
8
votes
1answer
1k views

The Wedge Sum of path connected topological spaces

A definition of wedge sum can be found here: http://en.wikipedia.org/wiki/Wedge_sum My professor has claimed that wedge sums of path connected spaces X and Y are well-defined up to homotopy ...
8
votes
1answer
348 views

Is there a $P$-space linearly Lindelöf and non-Lindelöf?

A completely regular topological space $(X,\tau)$ is a $P$-space, if every $G_\delta$-subset of $X$ is open (i.e $\tau$ is closed under countable intersection). A topological space $X$ is linearly ...
7
votes
1answer
281 views

Ultralimit versus partial limit

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$. A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique ...
7
votes
2answers
642 views

Patching together homeomorphisms: how badly can it fail?

Suppose we have a set $X$ with $X=U \cup V$. If we pick a permutation $f$ of $U$ and a permutation $g$ of $V$ which agree on the intersection $U \cap V$, we can coalesce them into one big endo-map $F$ ...
7
votes
1answer
94 views

Universality with respect to quotients

Is there an infinite cardinal $\kappa$ for which the following statement (S) true? (S) : There is a topology $\tau_\kappa$ on $\kappa$ such that for all topological spaces $(X,\tau)$ with $|X|\leq ...
6
votes
6answers
3k views

Is a topology determined by its convergent sequences?

Just a basic point-set topology question: clearly we can detect differences in topologies using convergent sequences, but is there an example of two distinct topologies on the same set which have the ...
6
votes
2answers
701 views

Cantor Sets Inside Cantor Sets

(Or: "I heard you liked Cantor Sets...") I'm working on a student project, and the following construction came up very naturally: If $C$ is the usual Cantor Set, build a countable union of copies of ...
6
votes
1answer
317 views

Sierpinski-like spaces

Let $\mathbb{S}$ be the Sierpinski space, that is $\mathbb{S}$ has $\{0,1\}$ as a base set, and $\tau = \{\emptyset, \{0\}, \{0,1\}\}$ as a topology. The Sierpinski space $\mathbb{S}$ has the ...
6
votes
1answer
286 views

On the cardinality of perfect spaces with the countable chain condition

QUESTION: Does every regular perfect space with the countable chain condition have cardinality bounded above by the continuum? Is this at least true for perfectly normal ccc spaces? Recall that a ...
6
votes
4answers
532 views

On Pseudo-finite topological spaces

We recall that a topological space $(X,\tau)$ is Pseudo-finite, if each compact subset of $X$ is finite. One of the classical example of Pseudo-finite topological spaces can be considered as an ...
6
votes
0answers
97 views

Is $(\omega+1)^\omega$ with the box topology ultraparacompact?

Let $\omega+1$ be endowed with the interval topology, that is $U\subseteq (\omega+1)$ is open if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite. We call $U\subseteq (\omega+1)$ basic if ...
6
votes
0answers
120 views

A forked plane continuum

I came up with this question while trying to solve the following MO one: Does every connected set that is not a line segment cross some dyadic square? Suppose $C$ is a plane continuum (i.e. a ...
6
votes
2answers
168 views

Product of “prime” topological spaces

We call a topological space $(X,\tau)$ product-decomposable if there is an index set $I$ and subsets $X_i\subseteq X$ for $i\in I$ such that $|X_i| > 1$ and $X \cong \prod_{i\in I} X_i$ where each ...
5
votes
2answers
175 views

“All retracts are closed” as separation axiom

The starting point of this question is the fact that any retract of a $T_2$-space is closed. Let's say a topological space $(X,\tau)$ is $T_{\textrm{rc}}$ if all retracts of $X$ are closed. All ...
5
votes
2answers
335 views

Existence of a compactification of $\mathbb{R}$ with $\aleph_0$ remainder

We now that the space $\mathbb{R}$ has compactifications with one point reminder, and two point reminder. but there is no compactification of $\mathbb{R}$ with three point reminder and the same holds ...
5
votes
4answers
484 views

Existence of an arbitrary Small positive continuous real Valued Function

Let $(X,\tau)$ be a Tychonoff Topological space. For each $x\in X$ consider an arbitrary positive real number $\epsilon_x>0$. Is There a continuous real valued function $f:X\rightarrow ...
5
votes
1answer
424 views

sets without perfect subset in a non-separable completely metrizable space

Suppose $X$ is a completely metrizable (but not separable) space. Suppose $D$ is a Borel (actually $F_{\sigma}$) subset of $X$. Is there any logical relation between the following statements? [1] ...
5
votes
1answer
217 views

Nonmetrizable compact totally disconnected spaces without isolated points

Brouwer proved that a topological space is homeomorphic to the Cantor set if and only if 1) it's non-empty, 2) it's compact, 3) it's totally disconnected, 4) it has no isolated points, and 5) ...
5
votes
2answers
470 views

A question about the Stone–Čech compactification of discrete spaces

Let $D(\kappa)$ be the discrete space of cardinality $\kappa$, and $\beta D(\kappa)$ its Stone–Čech compactification. Is there, for every infinite cardinal $\kappa$, a subset $Y \in [\beta ...
5
votes
2answers
94 views

scott continuity, sub additivity

Let $(X, \sqsubseteq_x)$ and $(Y, \sqsubseteq_y)$ be two posets and let $\delta_x:X \to X$ and $\delta_y:Y \to Y$ be two closure operators (monotone, inflationary, idempotent). Then, a monotone ...
5
votes
1answer
387 views

Products with compactly generated spaces

It is well known that if $X$ and $Y$ are topological spaces with $X$ locally compact Hausdorff and $Y$ compactly generated, then $X \times Y$ (with the ordinary product topology) is compactly ...
5
votes
0answers
277 views

Sequences and pseudocharacter in compact spaces

Is there a consistent example of a compact Hausdorff space $X$ on which the following holds? i) there is a $Y \in {[X]}^{\aleph_1}$ such that $\psi (Y) = \aleph_1$; and ii) there is no non-trivial ...
5
votes
0answers
388 views

Continuous images of Cantor cubes

The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
4
votes
2answers
508 views

Co-Hausdorffification

Given a topological space $(X,\tau)$ we can define the "$T_2$-ification" of $X$ by setting $T_2(X,\tau) = X/\simeq$ where $x\simeq y$ in $X$ if and only if for every open neighborhood of $x$ has ...
4
votes
3answers
310 views

Infinite topological spaces such that every subset is a retract

Let $X$ be an infinite set and let $(X,\tau)$ be a topological space such that for every non-empty $A\subseteq X$ there is a continuous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$. Does this ...
4
votes
4answers
963 views

What is a reference for profinite sets?

The question is in the title. The motivation behind the question is as follows: there are plenty of references about profinite groups and profinite completions of groups. It seems that their not ...
4
votes
2answers
339 views

Fundamental groups and homology groups of closed subsets of the plane

Let $X$ be a closed subset of $\mathbb{R}^2$. What restrictions are there on $\pi_1(X)$ and on the homology groups of $X$ (both singular and Cech)? This is elementary if $X$ has reasonable local ...
4
votes
2answers
232 views

An approximate infinite-dimensional fixed point theorem

Given $\epsilon > 0$ and $f : [0, 1]^{\omega} \rightarrow [0, 1]^{\omega}$, can we find $x$ such that $x \in \textrm{Conv}\left( \left\{f(y) : ||y - x||_{\infty} < \epsilon\right\}\right)$? In ...