In a class hand-out of "review" material (which, in theory, should simply be concepts that we learned last semester in class but in practice contains a lot of stuff that we never covered due to what must be some sort of miscommunication as a result of the previous professor retiring), we were given the following definition of a conditional density:
Suppose that $(X,Y)$ is a random pair where $X$ has a continuous distribution and the distribution of $Y$ is discrete. The conditional density of $X$ given $Y=y$ is:
$f[x|y]=$lim$_{h\rightarrow{0}}\frac{1}{h}P(x\leq X\leq x+h|Y=y)$
My main issue is that I don't understand where the $\frac{1}{h}$ part is coming from.
I understand the concept in general that, for a continuous random variable, $P(X=x)=0$, and thus we use lim$_{h\rightarrow{0}}[F(x+h)-F(x)]$ to "approximate" $P(X=x)$. But I don't understand why in the conditional case we have this $\frac{1}{h}$ term in the limit? To be more precise, I don't understand how to DERIVE this given equation.
I have searched around this site and the Internet but don't know if I am falling victim to terminology or what. I have searched phrases like "mixed conditional density" and "continuous conditioned on discrete" but can't seem to find anything talking about this. The closest I've been able to find are cases where one continuous distribution is conditioned on another continuous distribution, which use limits and l'Hopital's rule, but in none of those problems can I find the source of the $\frac{1}{h}$ term.
I am sure the answer is pretty simple, but I don't know why I can't find sources on it. Is there some specific term for this sort of problem I am not aware of, or does anybody know a source that gives the proof? I have fiddled around with Bayes' rule to rewrite the conditional distribution, but this isn't terribly helpful when speaking in generalities like this.
EDIT:
The solution was noted by Kim Jong Un in the comments. But for posterity's sake, it has to do with remembering the formal definition of a derivative. That is,
$f'(x)=$lim$_{h\rightarrow{0}}\frac{f(a+h)-f(a)}{h}$
From there, it is straightforward substitution.