Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.
3
votes
Accepted
Composition of (topologically) connected binary relations
No. There are two (discontinuous) surjective maps $f,g:S^1\to S^1$ whose graphs are connected but the graph of $g\circ f$ (as well as its closure) is not.
The map $f$ is defined as follows, using th …
11
votes
Infimum of a finite number of distances in the plane
This is possible even on the real line.
There is a strictly increasing continuous function $f:[0,1]\to\mathbb R$ whose derivative is zero almost everywhere. It is a suitable sum of a series of Cantor …
4
votes
Accepted
Approximate selection theorems for factoring through perfect maps
Consider $X=Y=S^1$. Let $f:X\to Y$ be a 2-fold covering and $g:X\to\mathbb R^2$ the standard embedding (whose image is a unit circle). Assume $\epsilon<1$, then there is no map $h$ with the desired pr …
5
votes
A question about homeomorphic subsets of Hilbert space
Yes. Let $A$ be the set in question. We may assume that $0\notin A$ and moreover that $A$ is outside the unit ball centered at the origin.
Since $A$ is closed (in a complete space) and not compact, i …
45
votes
Accepted
Is every closed set of Q² the intersection of some connected closed set of R² with Q²
Enumerate all rational points outside your set. Then cover these points by open balls by induction as follows: the next ball is centered at the first rational point not covered so far, its radius is s …
40
votes
Accepted
When factors may be cancelled in homeomorphic products?
For $A=[0,1]$, let $B$ be the 2-torus with one hole and $C$ be the 2-disc with two holes.
The products $B\times[0,1]$ and $C\times[0,1]$ can be realized in $\mathbb R^3$: the former as a thickening o …
23
votes
Hausdorff dimension of the boundary of an open set in the Euclidean space - lower bound
Here is a simple proof for the Hausdorff dimension. Consider the orthogonal projection to $\mathbb R^{d-1}$. Since $A$ is bounded, the projection of the boundary contains the projection of $A$. The la …
13
votes
Locally complete space is topologically equivalent to a complete space
This is not a reference but a short direct proof.
Let $\bar X$ be the completion of $X$. Define $f:X\to\mathbb R$ by $f(x)=dist(x,\bar X\setminus X)$. Obviously $f$ is continuous, and the local compl …
9
votes
Accepted
Solenoid of a continuous map of a ball, is it contractible?
No, it is not even path-connected in general, already for $n=1$.
Consider the folding map $f:[0,1]\to[0,1]$, namely $f(t)=2t$ for $t\le 1/2$ and $f(t)=2(1-t)$ for $t\ge 1/2$. There is no path connect …
4
votes
Accepted
Lebesgue dimension of closures satisfying the Z-set condition
No for general topological spaces, yes for metrizable ones (and I believe the argument can be generalized to all normal spaces).
Bad example: $X=\{a,b,c\}$ with open sets $\emptyset$, $X$, $\{a\}$, $ …
7
votes
Trivial fiber bundle
No. Let $B=S^1$, $F=\mathbb Z$, $E=S^1\times\mathbb Z$, and let $p$ be a two-fold covering on each component: $p(z,n)=z^2$ where $S^1$ is regarded as the unit circle in $\mathbb C$ (for the purposes o …
20
votes
Accepted
Is a left topological group which is a manifold a topological group?
Here is a counter-example with $G$ homeomorphic to $\mathbb R^2$. Let $f:\mathbb R\to\mathbb R$ be a discontinous additive homomorphism (constructed using a Hamel basis of $\mathbb R$ over $\mathbb Q$ …
4
votes
Proper maps and transversality
The comments explain how to prove the fact.
If you want to put a formal wrapping around it, consider the strong (Whitney) $C^\infty$ topology on the space of maps $W\to M$. The strong $C^0$ topology …
2
votes
Shape of long sequences in C(ω_1)
I can partially answer the second question. If $X$ is a compact Hausdorff space whose topology has a countable base at every point [Edit: $\omega_1$ has this property but not compact], then there are …
3
votes
Uncountable preimage of every point
Here is a formalization of André Henriques' answer to the Hausdorff dimension variant of the question.
Let $K=\{0,1\}^\infty$ be the standard Cantor set. Define a map $f:K\to[0,1]$ as follows:
for a …