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
▶ D3416: Complex martingale
▶ D2012: Conditional probability
Results
▶ R4783
▶ R4473: Almost idempotency of conditional expectation of random complex number
▶ R5324: Conditional expectation of a random real number conditioned on itself
▶ R2160: Conditional expectation of known random complex number
▶ R4733: Conditional expectation of known random euclidean real number
▶ R4781: Conditional expectation of known random real number
▶ R5170: Expectation of conditional expectation for a random complex number
▶ R2150: Expectation of conditional expectation for a random euclidean real number
▶ R4782: Expectation of conditional expectation for a random real number
▶ R2367: Law of total variance
▶ R4649: Probability calculus expression for basic real conditional expectation given a countable partition of the sample space
▶ R3401: Probability calculus expression for conditional expectation given disjoint non-null partition
▶ R4925: Probability calculus expression for conditional probability given disjoint non-null partition
▶ R4780: Real conditional expectation given independent sigma-algebra
▶ R2653: Real conditional expectation is absolutely integrable
▶ R5502: Real conditional expectation with respect to a constant random real number