Jump to content

Vector space/Bidual/Natural mapping/Fact

From Wikiversity
Natürliche mapping ins Bidual

Let be a field, and let be a -vector space.

Then there exists a natural

injective linear mapping

If has finite dimension, then is an

isomorphism.