 This is well-defined since "j" is injective.This map is an isometry, so it is continuous.However, since a continuous linear map between Banach spaces such as "H" and "L"2("E", "γ"; R) is uniquely determined by its values on any dense subspace of its domain, there is a unique continuous linear extension "I"