MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am interested in the distance between two conjugacy classes in a group like $SO(n)$. However let's consider $U(n)$ for simplicity. My conjecture is that the Hausdorff distance between the conjugacy classes of $\Lambda_1$ and $\Lambda_2$, both of which are diagonal matrices, is given by the distance of the eigenvalues $(\lambda_1, \ldots, \lambda_n)$ and $(\lambda^{(2)}_1, \ldots, \lambda^{(2)}_n)$ as elements in the homogeneous space $\mathbb{T}^n / S_n$, where the action of the symmetric group $S_n$ on $\mathbb{T}^n$ is by permutation of the coordinates. Thus by translation invariance, the closest element to $X$ in the conjugacy class of $Y$ is any one that can be simultaneously diagonalized with $X$. However I don't know how to prove this plausible statement.

share|cite|improve this question

Diagonalization gives a map $f\colon U(n)\to \mathbb{T}^n/S_n$. The map $f$ is also the projection to the orbit-space of of the $U(n)$-action by conjugacy on $U(n)$. Hence $f$ is a submetry; i.e., $f(B_r(M))=B_r(f(M))$ for any matrix $M$. Hence your statement follows.

share|cite|improve this answer
Do people really say submetry? – Mariano Suárez-Alvarez Jan 4 '12 at 6:16 – Anton Petrunin Jan 4 '12 at 6:21
I guess your claim that $f$ is a submetry can be proved by Lipschitzness of the exponential map at every point on $U(n)$, which in turn can be proved by Baker-Hausdorff lemma. Is this how you think about it? – John Jiang Jan 4 '12 at 6:24
$DEITY, now Lipschitzness!... :P – Mariano Suárez-Alvarez Jan 4 '12 at 6:26
+1 for appeal to deity. – John Jiang Jan 4 '12 at 6:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.