Theoremadvanced
Karhunen-Loève theorem
Also called Kosambi-Karhunen-Loève theorem.
A zero-mean square-integrable process has an orthogonal eigenfunction expansion with uncorrelated coefficients.
A zero-mean square-integrable process has an orthogonal eigenfunction expansion with uncorrelated coefficients.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag M3X8Y4 Edit this page History Report an error