The map $f:\mathbb{Z}_3 \to \mathbb{Z}_6$ given by $f(x + 3\mathbb{Z}) = x + 6\mathbb{Z}$ is not well-defined By naming an equivalence class in the domain that is assigned at least two different values prove that the following is not a well defined function.

$$f : \Bbb Z_{3} \to \Bbb Z_{6} \;\;\;\text{ given by } f(\overline x) = [x]  $$
In this case we represent an element of the domain as an $\bar x$ and use the notation $[x]$ for equivalence classes in the co-domain.

$f(\overline0) =  [0] \;,$  $ \Bbb Z_{3}  \quad (3x+0)\;\; \overline 0 = \{ ...-6,-3,0,3,6...  \}, \; \Bbb Z_{6}\;  (6x+0)\; \overline0 =\{ ...-12,-6,0,6,12...\}$ 
$f(\overline1) = [1], $ $\qquad   \; (3x+1) \; \;\;\;\overline   1 = \{ ...-5,-2,1,4,7 ... \},\; \;  (6x+1)\;\overline1 =\{...-11,-5,1,7,13.. \}$
$f(\overline2) = [2], $ $\qquad  \qquad \qquad \;\overline 2 = \{ ...-4,-3,2,5,8 ... \},\;\;\overline 2 = \{ ...-10,-4,2,8,14  ...\},\;$
$f(\overline3) = [3] ,$  $\qquad \qquad \qquad \qquad \qquad \qquad,\; \quad \quad \quad \; \; \; \;\overline 3 = \{ ...-9,-3,3,9,15 ... \},$
$f(\overline4) =  [4],\qquad \qquad \qquad\qquad \qquad\qquad \; \quad \quad \quad \quad \; \;\overline 4 = \{ ...-8,-2,4,10,16...  \}, $ 
$f(\overline5) = [5], \qquad \qquad \qquad\qquad \qquad\qquad \; \quad \quad \quad \quad \;\;\overline 5 = \{ ...-7,-1,5,11,17...  \},  $
$f(\overline6) = [6] ,$
So my main question for this problem is how to find out if this question is not a function. From the information I have gathered here I still cannot see why this is not a function any help on showing how this is not function would be much appreciated.

The set of equivalence classes for the relation $\cong_{m}$ is denoted $\Bbb Z_{m}$

The $ 3x+0 \text{ and } 6x+0$ are just showing how I got $\overline 0 $

In your consideration of the equivalence classes of $0$, you looked at the classes in both $\mathbb{Z}_3$ and $\mathbb{Z}_6$, but for the rest you only looked at the classes in $\mathbb{Z}_6$. If you look at both, the answer will become clear: in $\mathbb{Z}_3$, $\overline{0}$ and $\overline{3}$ are both $\{\ldots, -6, -3, 0, 3, 6, \ldots\}$. So this single equivalence class is getting sent to both $\overline{0}$ and $\overline{3}$ in $\mathbb{Z}_6$, which are different things in $\mathbb{Z}_6$!
