I'm trying to solve this exercise:
Let $X,Y$ be real-valued random variables defined on the same probability space $(\Omega, \mathcal{A}, \mathbb{P})$ and $\operatorname{supp} (X)= \operatorname{supp} (Y) = \mathbb N^*$. Find the support of $Z = X/Y$.
Here is the definition of support of a random variable in my lecture note:
My attempt:
I guess that $\operatorname{supp} (Z)=\mathbb R_+$.
Assume that there exists $z \in \mathbb R_+$ s.t there is an open neighborhood $(a,b)$ of $z$ s.t $\mathbb P (Z \in (a,b)) = 0$. As such, for any $p,q \in \mathbb N^*$ such that $p/q \in (a,b)$, we have $\mathbb P (\{\omega \in \Omega \mid X(\omega) = p \,\,\text{and} \,\, Y(\omega) = q\}) = 0$.
I'm stuck at using the fact that $\operatorname{supp} (X)= \operatorname{supp} (Y) = \mathbb N^*$ to finish the proof.
Could you please shed me some light?
