How is the tangent space defined in this clip?
Conditions
Reasoning, step by step
- Fix a point .
- Construct the set of ordered pairs for all .
- Define as this collection of pairs.
Example
The video displays the definition and annotates the first slot as a "point" and the second slot as a "vector".
Common misconceptions
- Thinking the tangent space is just the set of vectors without the basepoint .
- Confusing the tangent space with the ambient space .
Watch the explanation
Connected concepts
Explore next
Related questions
The basepoint remains important because it determines the linear map used in the output pair. The derivative depends on the point at which it is evaluated.
Conditions: Applies to the basepoint derivative .
A vector field over assigns to each point a vector belonging to the tangent space at that point.
Conditions: The ambient space in this example is .
The basepoint derivative is a map from the tangent space at to the tangent space at . It sends a tangent vector to the pair , packaging the ordinary derivative with the target basepoint.
Conditions: is an open subset of .; and .; .
The point 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 in
The cotangent space at is the dual space of the tangent space at . It is written as because it consists of all linear maps from the tangent space to the field .
Conditions: is a basepoint.
Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.