Compactness in topological linear spaces Topological linear spaces mathematics