The point-set-topology tag has no wiki summary.

**60**

votes

**9**answers

15k 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 ...

**45**

votes

**4**answers

2k 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 σ.
...

**27**

votes

**4**answers

953 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

**4**answers

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

**19**

votes

**0**answers

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

**19**

votes

**0**answers

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

**17**

votes

**0**answers

462 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

**0**answers

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

**6**answers

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

**13**

votes

**5**answers

2k 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 ...

**13**

votes

**2**answers

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

**12**

votes

**4**answers

907 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?

**12**

votes

**0**answers

134 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, ...

**11**

votes

**0**answers

938 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

**2**answers

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

**1**answer

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

**10**

votes

**1**answer

370 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

**10**answers

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

**1**answer

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

**9**

votes

**1**answer

423 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

**0**answers

276 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

**1**answer

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

**1**answer

330 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

**3**answers

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

**7**

votes

**1**answer

251 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

**2**answers

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

**6**

votes

**4**answers

519 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

**1**answer

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

**5**

votes

**4**answers

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

**5**

votes

**2**answers

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

**5**

votes

**4**answers

480 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

**2**answers

316 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

**1**answer

381 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

**1**answer

198 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

**2**answers

432 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

**1**answer

367 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

**0**answers

367 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

**4**answers

925 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

**2**answers

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

**4**

votes

**2**answers

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

**4**

votes

**0**answers

134 views

### Is the limit set of a group action always closed?

Let $G$ be a discrete group acting on a compact metric space $X$. A point $x\in X$ is called a limit point, if there is a base point $x_0\in X$ and an injective sequence $(x_k)_{k\in\mathbb{N}}$ in ...

**4**

votes

**0**answers

445 views

### continuous selection of a multivalued function?

The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...

**3**

votes

**2**answers

901 views

### Paracompact but not Hausdorff

Do paracompact non-Hausdorff spaces admit partions of unity? I'm just curious.

**3**

votes

**1**answer

212 views

### Continuous Functions

Is there a pair of continuous surjective functions say $f_1$ and $f_2$ from $\mathbb{Q}$ to itself such that for every $x, y \in \mathbb{Q}$, $f_1^{-1}(x) \cap f_2^{-1}(y)$ is non-empty?

**3**

votes

**1**answer

928 views

### $\Delta_{2}^{1}$-hard set?

Hello everybody!
I'm interested in $\Delta_{2}^{1}$ subsets of Polish spaces, i.e. those sets that are both $\Pi_{2}^{1}$ and $\Sigma_{2}^{1}$ in the boldface hierarchy of Polish spaces.
There is a ...

**3**

votes

**2**answers

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

**3**

votes

**2**answers

1k views

### Is $C^{\infty}[0,1]$ or $S$ separable?

I want to know if $C^{\infty}[0,1]$ or $S$ (Schwartz function space) is separable. Can somebody offer me some results or references?
Thank you!

**3**

votes

**1**answer

350 views

### On One point Lindeloffication of topological spaces

As you Know when we define a topological space to be the one point compactification of the topological space $X$, we look for a compact space $Y$ such that $X\subset Y$ and $X$ is dense in $Y$ and ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

235 views

### Coloring $\mathbb{Z}^k$ and a fixed point theorem

This is potentially another approach to this question. I put it as an update there, but perhaps it would be better to post it separately. If we color $\mathbb{Z}^k$ with the $\ell_\infty$ metric in ...