Skip to main content
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
Results tagged with
Search options not deleted user 1004

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

13 votes

Can you write $\mathbb R^2$ as a disjoint union of two totally disconnected sets?

Here's a proof that if $X$ is any simply connected Hausdorff space such that $X\setminus \{p\}$ is path connected for all $p\in X$, then the complement of any totally disconnected subset is connected. …
George Lowther's user avatar
27 votes
Accepted

Is every locally connected subset of Euclidean space R^n locally path connected ?

No. There are locally connected subsets of $\mathbb{R}^2$ which are totally path disconnected. See my answer to this old MO question "Can you explicitly write R2 as a disjoint union of two totally pat …
George Lowther's user avatar
5 votes

Pair of curves joining opposite corners of a square must intersect---proof?

There is a simple proof that a game of Hex must have a winner, which implies the result you want.See here: Brouwer's Fixed Point Theorem and the Jordan Curve Theorem, Lemma 5.5. The Brouwer fixed poin …
George Lowther's user avatar
12 votes
Accepted

Dense sets in the space of continuous functions

No, $S$ does not have to span $C(X)$. Taking the case with $X=[0,1]$, let $\mu$ be any atomless finite signed measure whose positive and negative parts $\mu^+$,$\mu^-$ have full support, so that $\mu …
George Lowther's user avatar
40 votes
Accepted

Does Euclidean space have a compact factor?

No it is not possible. Suppose that $X\times Y\cong\mathbb{R}^n$. Then, as the product is contractible, both $X$ and $Y$ must be contractible spaces. For any $x\in X$, I'll show that $\lbrace x\rbrace …
George Lowther's user avatar
24 votes
Accepted

On the global structure of the Gromov-Hausdorff metric space

To answer the main question -- there are no nontrivial self-isometries of $\mathcal{GH}$. I can give a proof of this, but as it is getting rather long, I will state some facts in $\mathcal{GH}$ witho …
George Lowther's user avatar
4 votes

Connected components of the boundary of an open subset

Yes, it is possible to prove that $f^{-1}(0)$ has an unbounded component. I'll give a proof of this. I see that BS already has one proof -- maybe that can also be translated into a similar argument. I …
George Lowther's user avatar
1 vote

Completeness of Borel measure

No, it is not possible for $\mu$ to be complete. There exists a closed subset $K$ of $X$ with $\mu(K)=0$ and a continuous onto map $f\colon K\to2^\omega$. With $K,f$ as above, if $A\subseteq …
George Lowther's user avatar
62 votes

Can you explicitly write $\mathbb{R}^2$ as a disjoint union of two totally path disconnected...

Let $S$ be a subset of the reals such that $S \cap [a,b]$ and $S^c \cap [a,b]$ cannot be written as a countable union of closed sets for any $a < b$. This can be done (this explicit example of a non-B …
George Lowther's user avatar
29 votes

Is there a measure zero set which isn't meagre?

There's already been some good answers to this. However, this is something that I have also thought about recently, because I happen to have come across several meagre sets of full Lebesgue measure in …
George Lowther's user avatar