A colleague asks me the following: "I wonder if you can give me a reference - or a guidance where to look – from a fact I recall from graduate school. I’m sure it can be generalized quite a bit but in the simplest form is it is the 'double density theorem':


Let $F$ be a number field and $j\_1$ and $j\_2$ two distinct embeddings of $F$ into the complex plane $\mathbb C$ which are NOT related by complex conjugation: i.e. $j\_2$ is not equal $\bar{j\_1}$. Then then map
 $$
j\_1 \times j\_2 : \Delta\subset F \times F \to \mathbb C \times\mathbb C, 
$$
(where $\Delta$ is the diagonal) has a dense image ( in the usual metric topology)."



Double Density Theorem?
Here is a more elementary explanation than others that have been given in comments or answers. When $j\_1$ and $j\_2$ are two complex (i.e., non-real) embeddings of $F$ that are neither equal nor complex-conjugate, you could use them as part of the components in the Euclidean embedding of $F$ into ${\mathbf R}^{r\_1} \times {\mathbf C}^{r\_2}$. We know the image of ${\mathcal O}\_F$ under that embedding is a lattice (full-rank discrete subgroup), so $F$ is the ${\mathbf Q}$-span of a lattice in a Euclidean space, and therefore $F$ has dense image in ${\mathbf R}^{r\_1} \times {\mathbf C}^{r\_2}$. Now project to the two components corresponding to $j\_1$ and $j\_2$.


