Nuclear Space

A locally convex topological vector space with the property that continuous linear maps from it to arbitrary Banach spaces factor in a way analogous to trace-class (nuclear) operators: bounded sets map to relatively compact sets under appropriately approximating finite-rank factorizations, yielding strong compactness and tensor-product regularity.