Hilbert space
모든 위상 힐베르트 공간 위에는 유일한 매끄러움 구조가 존재한다. 즉, 주어진 위상 공간 위의 매끄러운 힐베르트 공간 구조는 만약 존재한다면 유일하다.