Why does the following code mess up the vertical alignment in the matrices?
\documentclass{article}
\usepackage{amsmath}
\usepackage{setspace}
\doublespacing
\begin{document}
The first case is
$\left[\begin{matrix} 1 & 2 & 3 \end{matrix}\right]$.
The second case is
$\renewcommand\arraystretch{0.5}\left[\begin{matrix} 1 & 2 & 3 \end{matrix}\right]$.
\end{document}

In the first case, the numbers are clearly too low, and the brackets are too long. This is due to the value of baselinestretch, which I cancel out by taking arraystretch = 1/baselinestretch in the second case. But here, the numbers come out just too high, and moreover the brackets are too long.
How to deal with this?
spacing adjustments of the AMS version)
doublespacingcommand? Also, the first case should be$\begin{bmatrix} 1 & 2 & 3 \end{bmatrix}$. The second case is strange here and should be avoided. – pluton May 9 '12 at 2:02bmatrixgives exactly the same output. – Yori May 9 '12 at 2:06