Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Could any one give me hint for this one?

how to show $SU(2)/\mathbb{Z}_2\cong SO(3)$,

well, Is it the same: there is a 2-fold covering map from $SU(2)$ to $SO(3)$? what is that map will be?

share|improve this question

3 Answers 3

up vote 9 down vote accepted

Recall that we have a map $\Phi : SU(2) \to SO(3)$ that sends a matrix $A \in SU(2)$ to the linear endomorphism $\Phi_A$ on $\Bbb{R}^3$ defined as follows: recall that the Lie algebra $\mathfrak{su}(2)$ has basis given by

$$ E_1 = \left(\begin{array}{cc} 0 & i \\ i & 0 \end{array}\right),\ \ \ E_2 = \left(\begin{array}{cc} 0 & -1 \\ 1 & 0 \end{array}\right),\ \ \ E_3 = \left(\begin{array}{cc} i & 0 \\ 0 & -i \end{array}\right).$$

This basis is orthonormal with respect to inner product $\langle U,V\rangle = \frac{1}{2}\textrm{Tr}(UV^*)$ on $\mathfrak{su}(2)$, so we can identify $\mathfrak{su}(2)$ and $\Bbb{R}^3$ as an inner product space. Now, for any $U \in \mathfrak{su}(2)$ we define $\Phi_A(U)=AUA^{-1}$. Then $\Phi_A$ preserves the given inner product on $\mathfrak{su}(2)$, which means $\Phi_A$ is an orthogonal linear mapping of $\mathfrak{su}(2)\simeq \Bbb{R}^3$, by the above identification. Thus, $\mathrm{Im}\ \Phi\subset O(3)$.

Recall that an arbitrary element of $SU(2)$ looks like

$$A = \left(\begin{array}{cc} \alpha & -\overline{\beta} \\ \beta & \overline{\alpha} \end{array}\right)$$

for $\alpha,\beta \in \Bbb{C}$ satisfying $|\alpha|^2 + |\beta|^2 = 1$. Now it is easy to see that $SU(2)$ is homeomorphic to $S^3$, which means in particular that $SU(2)$ is connected. Therefore its image under the continuous group homomorphism $\Phi$ is necessarily contained in the identity component of $O(3)$, which is $SO(3)$.

Again appealing to the coordinate expression for $SU(2)$ given above, one can directly compute the kernel of $\Phi$, that is, find the matrices $A$ in $SU(2)$ such that $AE_iA^{-1} = E_i$ for $i = 1,2,3$. Eventually, one finds $\textrm{Ker}\ \Phi= \{\pm I\}$.

We now show that $\Phi$ is surjective. Suppose you know that $\Phi$ is a covering map. Then there is $U$ open about the identity $I \in SO(3)$ and $V$ open about the identity $I$ in $SU(2)$ such that $U$ is homeomorphic to $V$.

Let $\langle U \rangle$ denote the subgroup generated by the set $U$. Then $\langle U \rangle$ must be contained in $\textrm{Im} \Phi$ that is a subgroup. However because $U$ is open it is also closed using an argument via cosets and connectedness of $SO(3)$ now implies that $SO(3) \subseteq \textrm{Im}\Phi$. It follows that $\Phi$ is surjective and so we have proven that

$$SU(2)/\{ \pm I\} \cong SO(3).$$

$\hspace{6in} \square$

I should say that there is also another argument to prove that $\Phi$ is surjective. Namely, we already know that the associated Lie algebra homomorphism

$$\phi : \mathfrak{su}(2) \longrightarrow \mathfrak{so}(3)$$

is an isomorphism, so it would suffice to prove that the map

$$\textrm{exp} : \mathfrak{so}(3) \longrightarrow SO(3)$$

is surjective.

share|improve this answer
    
Yes, it's better now (you want the matrices to exponentiate into SU(2)). The choice of $A$ should reflect the choice of basis in $\mathfrak{su}(2)$. Now it's consistent. To prove surjectivity, you can use that SO(3) is connected and that the quotient map sends a small neighborhood of the identity in SU(2) to a small neighborhood of the identity of SO(3), so the image is an open subgroup of the latter, hence everything by connectedness. –  t.b. Aug 25 '12 at 9:02
    
What do you mean by "If SO(3) is abelian". It's certainly not abelian... Questions on surjectivity of the exponential map tend to be much harder than your first argument. Since the exponential map is a diffeomorphism in a neighborhood of $0$, the group generated by the image of the exponential map must be everything (this is basically your first argument again). –  t.b. Aug 25 '12 at 13:18

$SU(2)$ is isomorphic to quaternions. In this this article you can find a way to represent every quaternion with a rotation of $\mathbb{R}^3$, namely an element of $SO(3)$, and for every rotation of $\mathbb{R}^3$ there's a quaternion that represents it. So you get a surjective function from quaternions to $SO(3)$, this function should be a homomorphism. Composing you get a surjective homomorphism from $SU(2)$ to $SO(3)$. Check if the kernel is $\{1,-1 \}$.

Maybe this can help you. Check for details :)

share|improve this answer
4  
When you say quaternions you mean unit quaternions. –  t.b. Aug 25 '12 at 8:43

Hint:

The lead paragraphs of this Wiki page.

share|improve this answer

Your Answer

 
discard

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.