[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Try to find the best operator theoretic analogue of the formula

[[math]] z=re^{it} [[/math]]

for the complex numbers, telling us that any number is a real multiple of a unitary.