## What does the property that path-connectedness implies arc-connectedness imply?

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

A space X is path-connected if any two points are the endpoints of a path, that is, the image of a map [0,1] \to X. A space is arc-connected if any two points are the endpoints of a path, that, the image of a map [0,1] \to X which is a homeomorphism on its image. If X is Hausdorff, then path-connected implies arc-connected.

I was wondering about the converse: What properties must X have if path-connected implies arc-connected? In particular, what are equivalent properties?

-

More precisely: what properties must have a space where two points that can be joined by a path can be joined by an arc.  And more vaguely: why is it needed (or simply useful) to know that two points can be joined by an arc, and not simply a path? – Benoit Jubin Oct 21 2009 at 1:09

## 2 Answers

I don't have an answer, but here is an example to show it's not a local property that decides it. Consider the real line with two inseparable zeros, 0 and 0'. Clearly there is a path from 0 to 0' but not an arc. On the other hand, if you adjoin a point at infinity, making a circle with a double point on it, you can make such an arc going through infinity, and so the space is arc-connected.

-

3
That's not an embedding, though - the image is the whole space, and the circle with a double point isn't Hausdorff. – Harry Altman May 30 2010 at 1:55

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

It suffices that $X$ be Hausdorff: the path is then a compact metric image of [0,1] and as such arc-wise connected (do Problem 6.3.11 of Engelking's General Topology).

-

But it is not necessary. The real line with a double origin is a counterexample. – skupers May 24 2010 at 3:13
The best I can come up with then is an artificial any two points are connected by a locally connected metric continuum''. Any arc is such a continuum and the exercise mentioned above establishes that such continua are arcwise connected. It looks to me like that exercise, a step towards the Hahn-Mazurkiewicz theorem, will have to be a main part of any argument and any iff-condition that should set things up for a construction of an arc will be as artificial as what I wrote above. – KP Hart May 25 2010 at 9:27
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9454508423805237, "perplexity_flag": "head"}