ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Simple map
▼ Simple function
▼ Measurable simple complex function
▼ Simple integral
▼ Unsigned basic integral
▼ Unsigned basic expectation
▼ Basic expectation
▼ Random real number moment
▼ Expectation
▼ Conditional expectation representative
Definition D2280
Conditional expectation
Children
▶ Complex martingale
▶ Conditional probability
Results
▶ R4783
▶ Almost idempotency of conditional expectation of random complex number
▶ Conditional expectation of a random real number conditioned on itself
▶ Conditional expectation of known random complex number
▶ Conditional expectation of known random euclidean real number
▶ Conditional expectation of known random real number
▶ Expectation of conditional expectation for a random complex number
▶ Expectation of conditional expectation for a random euclidean real number
▶ Expectation of conditional expectation for a random real number
▶ Law of total variance
▶ Probability calculus expression for basic real conditional expectation given a countable partition of the sample space
▶ Probability calculus expression for conditional expectation given disjoint non-null partition
▶ Probability calculus expression for conditional probability given disjoint non-null partition
▶ Real conditional expectation given independent sigma-algebra
▶ Real conditional expectation is absolutely integrable
▶ Real conditional expectation with respect to a constant random real number