Welcome to MathOverflow

Question

4

If $U\subset\mathbb{R}^n$ is an open and contractible subset such that there is a continuous function $f\colon U\to\mathbb{R}$ with only one minimum and the level curves of $f$ are connected by paths, then is $U$ homeomorphic to $\mathbb{R}^n$?

flag	asked Jun 25 at 17:53 Juan Ahtziri 49●2

If the function were a Morse function (in particular, smooth) this would follow from Morse theory—maybe that is enough for your? (Could the level sets not be path connected in your situation?) – Mariano Suárez-Alvarez Jun 25 at 17:57

@Mariano: You can make a spiral construction in $\mathbb{R}^2$ such that that the inverse of a value (say 1) is the unit circle and some curves in the unit disc spiraling out towards the unit circle, but never getting there. You can put the unique minimum at 0 taking the value 0. The inverse image of 1 would be connected but not path connected. – Thomas Kragh Jun 25 at 18:21

2

If $U$ contains the origin, then $f=x_1^2+...+x_n^2$ satisfies the first condition and is a Morse function, but the set is not necessarily homeomorphic to $\mathbb R^n$. ( math.stackexchange.com/questions/55114/… ) Level sets can easily fail to be path-connected, for instance take $x_1^2+...x_{n-1}^2<1$, then '$\{f>1\}$' has two components. – Will Sawin Jun 25 at 18:22

You should assume your function to be proper. Perhaps, in case of not differentiability, please assume also that, away from the minimum point, $f$ is locally homeomorphic to the map $(x_1, \dots, x_n) \mapsto x_1$. This should suffices. – Daniele Zuddas Jun 25 at 18:27

8

What about Whitehead manifold? – Anton Petrunin Jun 25 at 18:36

show 1 more comment

Igor Rivin · Answer 1 · 2012-06-26 00:53:10Z UTC

1

See http://mathoverflow.net/questions/53841/hidden-convexity (almost, but not quite a duplicate)

answered Jun 26 at 0:53

Igor Rivin
31.2k●3●37●71

Lennart Meier · Answer 2 · 2012-06-26 09:18:35Z UTC

0

@Mariano: In my situation the function is not a Morse function and the curves of level are connected by paths, I think that this hypothesis about U are enough, but I can't proof this affirmation.

@Anton: I don't know if the Whitehead manifold has a function with this properties.

I want to proof that the compact sets $K_m = U-f^{-1}([0,m])$ (assuming that $0$ is the minimum value of $f$) are simply-connected, this will implies that $U$ is simply-connected to infinite.

edited Jun 26 at 9:18

Lennart Meier

answered Jun 25 at 20:11

Juan Ahtziri
1

This should really have been a comment below Mariano's answer (well, the comment to Anton would have gone in the comment thread below the answer). There is an extensive wikipedia page on the Whitehead manifold. It is an open 3-manifold which is contractible but not homeomorphic to $\mathbb{R}^3$. You'd still have to find a map from it to $\mathbb{R}$ with only one minimum, but basically Anton was giving evidence that the answer to your question is no. The terminology "simply-connected to infinity" is not standard, but does appear in the SE thread Will Sawin linked to – David White Jul 24 at 12:44

contractible open sets

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.