A locally convex vector space is complete iff every Cauchy net converges: It has to be Cauchy in each seminorm; and then has to converge in each each seminorm. So I guess you better look at: Property (P) Each pseudometric is complete.
Peter Michor
- 25.3k
- 2
- 64
- 112