Consider $Z \sim N[0,1]$. The standard normal probability density function is given by \begin{equation} \phi(x)=\frac{1}{\sqrt{2\pi}} e^{-\frac{1}{2}x^2} \end{equation} We define \begin{equation} \Phi(x)=\int^z_{-\infty} \phi(x)dx \end{equation} which is the probability that $Z<z$.
I am asked to compute the probability density of Z conditional on Z>0.
I know this translates to \begin{equation} P(Z=z|Z>0)=\frac{P(Z=z \cap Z>0)}{P(Z>0)} \end{equation} I know that I compute the numerator from the given relation for $\Phi(x)$ but I am having trouble with the numerator. How can I simplify the numerator $P(Z=z \cap Z>0)$?
I would firstly compute $\begin{equation} \text{P(Z<z|Z>0)}\end{equation}$ to obtain the cdf.
$$\begin{equation} \text{P(Z<z|Z>0)}\end{equation}=\frac{P(Z<z\cap Z>0)}{P(Z>0)}=\frac{P(0<Z<z) }{P(Z>0)}$$
$\Rightarrow \frac{P(0<Z<z) }{P(Z>0)}= 2\Phi(z)-1$, where $\Phi(z)$ is the cdf of the standard normal distribution.
Let $A$ be the event that $Z>0$. Then the cdf is
$$F_{Z|A}(z)=\begin{cases} 0, \ z<0 \\ 2\cdot \Phi(z)-1, \ 0 \leq z<\infty \end{cases}$$
Now differentiate to obtain the pdf.