Is it possible that $\mathbb P [ Y = 1 | X = x] >0$ whereas $\mathbb P [ X = x] = 0$? This question follows my previous one here, which is about the optimal classifier $g^*$ in case $X$ follows normal distribution.

Let $X,Y$ be random variables in which

*

*$X$ follows normal distribution.


*$Y$ takes values in $\{-1,1\}$.
In measure-theoretic probability theory, $\mathbb P [ Y = 1 | X = x] := \mathbb E[\mathbf{1}_{\{Y=1\}} | \mathbf{1}_{\{X=x\}}]$ and $\mathbb P [ X = x] := \mathbb E[\mathbf{1}_{\{X=x\}}]$. Here $\mathbf{1}_{\{Y=1\}}$ and $\mathbf{1}_{\{X=x\}}$ are both integrable random variables. Then $\mathbb P [ Y = 1 | X = x]$ is well-defined even if $\mathbb P [ X = x] = 0$.

I would like to ask if it's possible that $\mathbb P [ Y = 1 | X = x] >0$ whereas $\mathbb P [ X = x] = 0$?
Thank you so much for your clarification!

Here's an example to help you understand what's going on.
Suppose that $10$ people enter an elevator with capacity $2000$lbs. Denote $X$ as the combined weight of all $10$ people in the elevator. (I chose this example because weight is a random variable that classically possesses a normal distribution.) Now define an indicator random variable $Y$ such that $Y=1 \iff$ capacity is exceeded and $Y=0$ otherwise. Then $$P(Y=1|X=2200)=1 $$
