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.