Definition talk:Expectation/Continuous

From ProofWiki
Jump to navigation Jump to search

The integrals do not make notational sense because of the absence of a connection between Definition:Probability Measure on the one hand, and Definition:Measure (Measure Theory) and related concept Definition:Integrable Function on Measure Space on the other hand.

The notation wants to refer to the latter paradigm but fails on grounds of wanting to accommodate to the former. This page and Definition:Probability Measure are hence ripe for refactoring. — Lord_Farin (talk) 12:43, 25 April 2018 (EDT)

It turns out that the integral form given here applies to any random variable. (the Riemann-Stieltjes integral is defined with respect to monotonic functions, which CDFs always are) I don't know anything about Riemann-Stieltjes integrals, and I assume no-one here does (the person who posted the definition in the first place also seems to be confused, and everyone else has assumed it to be nonsense) either so I won't do any further work myself, but this could form a second General Definition rather than just being under continuous and I leave this message here as a suggestion to any future contributors or my future self. Caliburn (talk) 15:36, 29 December 2021 (UTC)