设x是复线性空间p是x上的半模求证存在x上的线性泛函

  • 2024-11-01