Linear combination of jointly normal random variables (source code)

= Linear combination of jointly normal random variables

Every linear combination $a^TX$ of the coordinates of a <multivariate Gaussian distribution>[jointly normal random vector] is a <normal random variable>. Its mean is $a^T\mu$ and its variance is $a^T\Sigma a$.