Spaces defined by inductive or projective limits Topological linear spaces mathematics