およびをそれぞれ、ヒルベルト空間およびのそれぞれの双対空間への自然な反線型等距同型とすれば、は写像の合成