Talk:Complete inner product space