I attach the definition of a bidual(double dual) space here:
I know that the canonical injection (i.e. the evaluation map) is what a general point in the bidual space should "do". However, what "actual" examples can we find that this bidual operator naturally appears? Why do we care about this space and where does it naturally arise?