What is the definition of contractible space? (It is not a duplicate)
I'm studying two algebraic topology texts (namely Munkres and Theodore)
Here are definitions given in those texts
Munkres
Let $X$ be a topological space.
If the identity map on $X$ is null-homotopic, then $X$ is contractible.
.
Theodore
Let $X$ be a topological space and $x_0\in X$.
If there is a continuous map $F:X\times[0,1]\rightarrow X$ such that $F(x,0)=x$ and $F(x,1)=x_0$ ($x \in X$) and $F(x_0,t)=x_0$ ($t\in[0,1]$), then $X$ is contractible.
You can see that Theodore's definition is stronger than Munkres', since $F$ in the Theodore's definition is a homotopy relative to $\{x_0\}$
Which is the standard definition for a contractible space?
And is a contractible space simply connected under the Munkre's definition?
I saw posts here saying that "Contractible space is simply-connected".
However, with Munkres definition, I can only show that two paths are homotopic, not path-homotopic. How do I show they are path-homotopic?
These two definitions are not equivalent in general. In my experience, the first definition is more common. For an example of a space whose identity is nullhomotopic but not nullhomotopic relative to a point, see exercises 6 and 7 in chapter 0 of Hatcher's Algebraic Topology.
If a space is contractible in the sense that the identity is nullhomotopic, then it is homotopy equivalent to a point. In particular, it is simply connected.