Bolzano-Weierstrass theorem (complex case) I'm trying to prove Bolzano-Weierstrass Theorem to the complex case, i.e., if $(z_n)$ a complex sequence is bounded, then there is a subsequence of $z_n$ which converges.
I'm trying to use the real case of the Bolzano-Weierstrass theorem to prove the complex case without success. I need help.
Thanks
 A: HINT: Whether you write $z_n=x_n+iy_n$ or $z_n=r_ne^{i\theta_n}$, your problem boils down to showing that if $\langle a_n:n\in\Bbb N\rangle$ and $\langle b_n:n\in\Bbb N\rangle$ are bounded sequences of real numbers, then there is a strictly increasing sequence $\langle n_k:k\in\Bbb N\rangle$ in $\Bbb N$ such that $\langle a_{n_k}:k\in\Bbb N\rangle$ and $\langle b_{n_k}:k\in\Bbb N\rangle$ are both convergent. Do it one sequence at a time. First get a convergent subsequence of $\langle a_n:n\in\Bbb N\rangle$, then get a convergent subsequence of the corresponding subsequence of $\langle b_n:n\in\Bbb N\rangle$.
A: If the sequence $(z_n)$ is bounded, then so is $(\Re(z_n))$. Thus there exists a subsequence of $(z_n)$ for which the real part converges. Let's call this sequence $(w_n)$. As $(w_n)$ is a subsequence of $(z_n)$, it is also bounded, and thus $(\Im(w_n))$ is bounded, so we can find a subsequence of $(w_n)$ for which the imaginary part converges. Thus we have found a subsequence of $(z_n)$ for which both the real and the imaginary parts converge.
A: You could use BW a first time to extract a converging sub sequence of $\Re(z_n)$ and then a second time on $\Im(z_n)$ (you need to figure out how to make both converge together)
