I've been stuck on a problem from Rotman's Introduction to Algebraic Topology for a while. I'm doing the exercises outside of class right now so it's difficult to ask for help. I'm hoping someone here can help out.
The question is:
Let $f,g:I \to I \times I$ be continuous; let $f(0)=(a,0)$ and $f(1) = (b,1)$, and let $g(0) = (0,c)$ and $g(1)=(1,d)$ for some $a,b,c,d \in I$. Show that $f(s)=g(t)$ for some $s,t \in I$; that is, the paths intersect. (Hint: Use Theorem 0.3 (Brouwer's Fixed Point Theorem for the disc $D^n$) for a suitable map $I \times I \to I \times I$ (There is a proof in [Maehara]; this paper also shows how to derive the Jordan curve theorem from the Brouwer theorem.)
Here, $I=[0,1]$. I have shown in a previous problem if $X$ is homeomorphic to $D^n$ then any continuous function from $X$ to $X$ has a fixed point so we can use this on $I \times I$. I tried reading the paper by Maehara (http://www.maths.ed.ac.uk/~aar/jordan/maehara.pdf) but it seems that the problem in the paper is very different from this problem:
First, the domains of their functions are $[-1,1]$ so they are able to define the function $F: [-1,1] \times [-1,1] \to [-1,1] \times [-1,1]$ in a way to get a contradiction.
Second, their functions $f,g$ are paths on a rectangle with end points a,b,c,d. Ours are just paths on $I \times I$ so they are able to conclude that the difference in the first coordinate of $F(-1,t_0)$ is nonnegative to get a contradiction.
I've toyed with a similar method as in the paper by defining an $F: I \times I \to I \times I$ similarly but with absolute values in the numerators of both coordinates but I can't get a contradiction from this since I only have that the image of $F$ must have as one of its coordinates the value 1.
Any help is much appreciated!