复赋范空间

complex normed space