Hilbert space
得られる直和は与えられたヒルベルト空間を互いに直交する部分空間として含むヒルベルト空間である。