18
$\begingroup$

Let $X$ be a topological space, and define a path as a continuous map $\gamma : [a,b] \rightarrow X$. Two paths $\gamma : [a,b] \rightarrow X$ and $\phi : [c,d] \rightarrow X$ are equivalent ($\gamma \sim \phi$) iff there exists an increasing homeomorphism $\psi: [a,b] \rightarrow [c,d]$ such that $\phi \circ \psi = \gamma$. The equivalence class of a path is denoted by $[\gamma ]$.

Now define the space of paths $P(X) = \lbrace [\gamma]\ \vert\ \gamma : [a,b] \rightarrow X\ \text{is a path} \rbrace$.

I am wondering: is there is a useful or a natural topology that can be put on $P(X)$, generated by $X$?

Usually topologies are chosen to make a certain type of function continuous, but I can't think of anything in particular that would be a natural type of function on paths.

  • 4
    I don't know if it will help in your application, but the [compact-open topology](http://en.wikipedia.org/wiki/Compact-open_topology) is a useful topology to put on spaces of maps.2011-12-08
  • 4
    Useful in what way. Intuitively for me the "obvious" choice would be to topologize the set of maps $[a,b]\to X$ with the compact-open topology, and then let $P(X)$ just have the quotient topology. Is this meaningful? I'm not quite sure, but it's the first thing that "makes sense".2011-12-08
  • 0
    Yeah using the compact open topology with a quotient map would certainly give a topology on $P(X)$. I haven't really thought about what that topology is like to be honest, but it sounds interesting.2011-12-08
  • 0
    Another idea I had would be to maybe come up with a topology that makes a certain type of map continuous. For example, one which makes linear functionals on smooth paths in $\mathbb{C}$ into continuous maps $X \rightarrow \mathbb{R}$. That didn't seem to be all that interesting of a topology though when I worked it out.2011-12-08
  • 8
    The compact-open topology doesn’t seem to play well with $\sim$. Clearly we may as well consider only maps from $I=[0,1]$ to $X$. Take one of the simplest cases, the point $[1_I]\in C(I,I)/\sim$, the set of all strictly monotone increasing maps from $I$ onto $I$: if $\alpha\in C(I,I)\setminus[1_I]$ is such that $\alpha(0)=0$ and $\alpha(1)=1$, $\alpha$ cannot be separated from $[1_I]$ by an open set in the compact-open topology, and therefore $C(I,I)/\sim\;$ isn’t $T_1$.2011-12-08
  • 0
    @Brian Ah, this is what I was afraid of. Thanks for figuring this out!2011-12-08

2 Answers 2

3

Your equivalence relation seems well-suited to studying just the image of the path, so in a metric space, you could use the Hausdorff metric on the collection of images of the paths. The Hausdorff metric is where the distance between two compact sets $A,B$ is the supremum of all distances $d(a,B)$ and $d(b,A)$ for points $a$ in $A$ and $B$ in $B$.

In this topology, two equivalence slashes are close if their images are almost the same.

However, this doesn't work completely well since some paths have the same image without being equivalent.

1

Wouldn't the function that has to be continuous be the one that takes a path $\gamma$ to its equivalence class?

  • 0
    The question seems to me to be two-fold. What topology do I use and where should I look? I merely pointed out that when your space is an equivalence class the quotient map is a natural candidate.2013-04-04