As a first step we identify the image of Δ.
Letting m→∞ identifies this limit as H.
Using the standard inner product we can identify H with H*.
The tangent space to N at x is identified with M via left translation.
The resulting metric space consists precisely of the Lebesgue integrable functions, provided we identify any two that are equal almost everywhere.