이거 복속벡터공간이라는 조건으로는 부족하지 않나요??
복소내적공간이어야 가능할 것 같은데...