Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

But don't assume knowledge of any topological dimension theory. Here is a specific approach (an open problem):

Does there exist a separable metric space $X$ such that the following two conditions hold:

  • $|X|\ge 2$;
  • for every closed   $A\subseteq X$   such that   $X\setminus A$   is disconnected, there exists   $Y\subseteq A$   homeomorphic to   $X$;

?

(I formulated this question around 1960, perhaps without ever publishing it; I didn't work on it--too bad, since I like this question :-) )

BTW, you're welcome to use any means (including the dimension theory) to construct $X$. If you did it without using dimension theory or fpp for $I^n$ then you'd obtain a new proof of   $\dim I^n\ge n$   and of fpp for $I^n$, for every $n$ (it's well known and easy that if this fpp holds for every natural $n$, then for arbitrary cardinal $n$ too).

TERMINOLOGY:   fpp = Fixed Point Property.

share|improve this question
1  
What's fpp? ${}$ –  Mariano Suárez-Alvarez Feb 16 '13 at 6:30
    
fpp = the Fixed Point Property (I'll add this explanation to the formulation of the problem). –  Włodzimierz Holsztyński Feb 16 '13 at 7:26
2  
I find this question very confusingly written. In the title you say "$\infty$-dimensional" but not in the text. If infinite dimension is a consequence of your conditions, please indicate that. The text is fragmented (what is the first paragraph for?). You could just say "fixed-point property" in the single place where you use "fpp", so you don't have to explain what the acronym means. Also, it might help if you explain why $I^\omega$ isn't a solution, even if so for a trivial reason. –  Andrej Bauer Feb 16 '13 at 7:47
    
Oops, I was reading the second condition wrong, thinking you want a copy of $X$ inside $X \setminus A$. $I^\omega$ obviously is not a solution. –  Andrej Bauer Feb 16 '13 at 7:49
    
@A.B.--my bad. Any space $X$, which satisfies the above 2 conditions (from the question) must be $\infty$-dimensional--think of the Ind definition of the topological dimension. (The bad luck wants that my first attempt at posting my question ended in a failure; I've encountered a software system difficulty. My first edition was quite extensive. It's hard for me to concentrate on the second edition, when I am a kind of sick of writing about the same again). –  Włodzimierz Holsztyński Feb 16 '13 at 9:00

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.