# Double Dual Isomorphism Proof

I am trying to prove that T'' = T (where T'' is the double transpose of T) by showing that the the dual of the dual of a linear finite vector space is isomorphic to the original vector space.

i.e., T: X --> U (A linear mapping)
The transpose of T is defined as the following:
T': U' --> X' (Here U' is the dual of U and X' is the dual of X)
And the double transpose of T is defined as:
T'': X'' --> U'' (Here X'' is the dual of the dual of X and U'' is the dual of the dual of U)
And since X'' is isomorphic to X and U'' is isomorphic to U, (This is the part I still need to prove)
T'' = T

Last edited:

Related Calculus and Beyond Homework Help News on Phys.org
matt grime
Homework Helper
Hold on there. I got confused because you're using * to mean transpose when * means dual, and then you talk about dual spaces.... confusing.

Anyway, just use the definition of transpose (which is what, in your course?) and dual.

(Ohj, and the double dual of a (linear) vector space is not isomorphic to the original space, in general, by the way.)

Last edited:
I have edited my original post in hopes it will make things a little clearer.

matt grime
Homework Helper
The editing still omits the crucial information about what *your* definition of the 'transpose/dual' of a linear map is. In my world it is taulogically trivial that the double dual is what you started with. But as you haven't defined the 'transpose/dual' it is impossible to offer advice.

The definition of the dual is the linear space formed by the set of linear functions on a linear space X.

matt grime