Let M be a complete metric space. If \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}\end{document} admits an isometric shift, then M is separable.
机构:
St Petersburg State Univ, Russian Acad Sci, VA Steklov Inst Math, St Petersburg Dept, St Petersburg, RussiaSt Petersburg State Univ, Russian Acad Sci, VA Steklov Inst Math, St Petersburg Dept, St Petersburg, Russia