Quasi-complete space

• Every quasi-complete TVS is sequentially complete.^[2]
• In a quasi-complete locally convex space, the closure of the convex hull of a compact subset is again compact.^[3]
• In a quasi-complete Hausdorff TVS, every precompact subset is relatively compact.^[2]
• If X is a normed space and Y is a quasi-complete locally convex TVS then the set of all compact linear maps of X into Y is a closed vector subspace of ${\displaystyle L_{b}(X;Y)}$.^[4]
• Every quasi-complete infrabarrelled space is barreled.^[5]
• If X is a quasi-complete locally convex space then every weakly bounded subset of the continuous dual space is strongly bounded.^[5]
• A quasi-complete nuclear space then X has the Heine–Borel property.^[6]

Every complete TVS is quasi-complete.^[7] The product of any collection of quasi-complete spaces is again quasi-complete.^[2] The projective limit of any collection of quasi-complete spaces is again quasi-complete.^[8] Every semi-reflexive space is quasi-complete.^[9]

The quotient of a quasi-complete space by a closed vector subspace may fail to be quasi-complete.

• Complete topological vector space – Structure in functional analysis
• Complete uniform space – Topological space with a notion of uniform propertiesPages displaying short descriptions of redirect targets