proposition 11.29 Gaussian moments
open in the book ·
parts/02-mathematical-methods/09-probability-statistics.tex:735
· p. 379
Rests on
-
depends_on
definition 11.23
Expectation, moments and quantiles in the continuous
case
¶
-
depends_on
definition 11.20
Density
¶
-
depends_on
definition 7.39
Darboux sums and the definite integral
¶
- depends_on axiom 7.1 Completeness of $\R$ ¶
-
depends_on
definition 7.39
Darboux sums and the definite integral
¶
-
depends_on
definition 11.4
Expectation
¶
-
depends_on
definition 7.45
Series
¶
- depends_on definition 7.2 Absolute value ¶
-
depends_on
definition 7.4
Convergence
¶
- depends_on definition 7.2 Absolute value ¶ ↺
-
depends_on
definition 11.3
Discrete random variable
¶
- depends_on definition 11.1 Discrete probability space ¶
-
depends_on
definition 7.45
Series
¶
-
depends_on
definition 11.20
Density
¶
- depends_on definition 11.28 Gaussian distribution ¶
- proves proof ch:09-probability-statistics@proof-13 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Expectation, moments and quantiles in the continuous case | declared | parts/02-mathematical-methods/09-probability-statistics.tex:740 |
depends_on |
→ | Gaussian distribution | declared | parts/02-mathematical-methods/09-probability-statistics.tex:740 |
proves |
← | ch:09-probability-statistics@proof-13 | declared | parts/02-mathematical-methods/09-probability-statistics.tex:743 |