This past week I have been refreshing my knowledge of topological vector spaces (tvs) while reading some papers on generalizations of the Mazur-Ulam theorem to metrizable tvs. 727 more words