What is the basepoint derivative df_p and how is it defined from Df(p)?

The basepoint $p$ remains important because it determines the linear map $Df(p)$ used in the output pair. The derivative depends on the point at which it is evaluated.

Conditions: Applies to the basepoint derivative $df_p(v) = (q, Df(p)v)$.

A vector field over $\mathbb{R}^3$ assigns to each point $p$ a vector $v$ belonging to the tangent space $T_p\mathbb{R}^3$ at that point.

Conditions: The ambient space in this example is $\mathbb{R}^3$.

The tangent space at a point $p$ is defined as the set of ordered pairs $(p,v)$ where the second entry $v$ ranges over all of $\mathbb{R}^n$. The first slot records the basepoint and the second slot records the vector part.

Conditions: $p \in \mathbb{R}^n$; $v \in \mathbb{R}^n$

The point $p$ serves as a basepoint. Retaining it motivates a basepoint-compatible notion of derivative, which is discussed next in the video.

Conditions: Applies to the first coordinate $p$ in $(p,v)\in T_p\mathbb{R}^n$

The cotangent space at $p$ is the dual space of the tangent space at $p$. It is written as $\operatorname{Hom}(T_p\mathbb{R}^n, \mathbb{R})$ because it consists of all linear maps from the tangent space $T_p\mathbb{R}^n$ to the field $\mathbb{R}$.

Conditions: $p$ is a basepoint.