I have the CDF: $$ F(x)= \begin{cases} 0 & \text{if } x < 1 \\ \frac{x^2-2x+2}{2} & \text{if } 1 \le x < 2 \\ 1 & \text{if } x \ge 2 \end{cases} $$ I want to find the PDF and I noticed that $F$ is not continuous (at $x=1$), but it is right continuous. Therefore it's still a valid CDF. And I know, after reading different posts on this site, that the PDF is $$ f(x)= \begin{cases} 0 & \text{if } x < 1 \\ \frac{1}{2} & \text{if } x=1 \\ x-1 & \text{if } 1 < x < 2 \\ 0 & \text{if } x \ge 2 \end{cases} $$ My question is this: Why (according to what definition/fact/theorem) is the probability mass $\frac{1}{2}$ at $x=1$?
If you blindly differentiate the CDF, piece-by-piece, you lose that information; at least I did. (Edit) I always thought the probability of a single point from a continuous random variable was $0$. (End edit)
Thank you in advance for your help and insights.