absorbing set banach space category theory compact space convex set dual space finsler manifold functional analysis lebesgue measure mathematics neighbourhood system real number support supremum topological vector space topology triangle inequality unit vector vector space