Hilbert space의 orthonormal set {u_a | a in A}가 maximal이면 linear functional (x, u_a)이 dual basis고 l^2(A)는 Hilbert space의 dual space가 되는거지?