[Verse 1]
In every vector space there lives a twin
A dual space that measures from within
V-star holds all the linear maps that go
From vectors to the field we need to know
Each functional's a measuring device
Takes any vector, gives a number's price
The same dimension but they're not the same
Two different players in the duality game
[Chorus]
Dual spaces, mirror faces
V and V-star dance around
Objects here, measurements there
But V-double-star comes back to ground
What you measure can be measured too
Reflexivity pulls us through
Dual spaces, mirror faces
Mathematics spinning round
[Verse 2]
Build the dual by collecting every map
Structure-preserving, bridging every gap
Hom of V to k, that's the recipe
A pattern that extends through geometry
From Pontryagin to Poincaré's domain
Serre duality follows the same refrain
Morphisms to a simple target space
Give us the dual in every mathematical place
[Chorus]
Dual spaces, mirror faces
V and V-star dance around
Objects here, measurements there
But V-double-star comes back to ground
What you measure can be measured too
Reflexivity pulls us through
Dual spaces, mirror faces
Mathematics spinning round
[Bridge]
Position momentum through Fourier's eyes
Optimization bounds that maximize
Category theory flips every arrow's flight
Duality organizes mathematical sight
When you evaluate at a vector's core
You get a function that opens up the door
V-double-star is naturally the same
As V itself in this reflexive game
[Chorus]
Dual spaces, mirror faces
V and V-star dance around
Objects here, measurements there
But V-double-star comes back to ground
What you measure can be measured too
Reflexivity pulls us through
Dual spaces, mirror faces
Mathematics spinning round
[Outro]
Every measurement can itself be measured
Every dual leads back to what we treasured
In the dance of spaces, we discover
Mathematics is its own true lover