Is a random variable's support always a subset of its image? Random variable X (as a measureable function from some probability space to the reals) has support S and image T. True or False: 
i.) S is always a subset of T.
ii.) (S,E,dF) is the induced probability space with: sample space S, events E the intersections of S with the Borel sets, and dF the probability measure derived from F -the distribution of X.
(As S is the smallest closed subset of reals R with probability 1, it is a subset of the closure of T.  The two issues come from having read somewhere that the support is, "loosely" speaking, the outcomes X can take on mapping the space to R.  Started with case T finite.)           
 A: The answer is no to i). And the situation can be pathological. 
Let the probability spaces $(\Omega,\Sigma,\mu)$ be $[0,1]$ with the Lebesgue measure. Let $V_\alpha \subseteq \Omega$ be a closed nowhere dense set with $\mu(V_\alpha)\ge\alpha$ that does not contain $0$ (such sets can be shown to exist). 
Let $X: \Omega\to [0,1]$ be the random variable (measurable function)  $X(\omega)=\omega$ if $\omega\notin V_\alpha$ and $X(\omega)=0$ otherwise. 
Let $S$ be the support of $X$. It must contain the open set $[0,1]\setminus V_\alpha$, because $S$ is closed and each open subset of $[0,1]\setminus V_\alpha$ has positive probability of realizing under $X$. But any measurable set containing $[0,1]\setminus V_\alpha$ has probability one of 
realizing under $X$. Thus, the support $S$ of $X$ is the closure of $[0,1]\setminus V_\alpha$ which is $[0,1]$. 
But $S$ contains $V_\alpha$ which is not in the range of $X$.  
A: For i), let $q_1,q_2,\ldots$ be an enumeration of the rationals. Let $\Omega=\mathbb{Q}$, $\Sigma=2^\mathbb{Q}$ and $\mu$ be given by $\mu\big(\{q_n\}\big)=1/2^n$. Let $X:\mathbb{Q}\to\mathbb{R}$ be the identity. Then $X(\Omega)=\mathbb{Q}$ which is smaller than the support of $X$, which is all of $\mathbb{R}$.
