You're already familiar with the linearity of expectation for real random variables. It's a powerful tool that lets us break down complex expressions. For real random variables $X$ and $Y$ and real constants $a$ and $b$, we know that $E[aX + bY] = aE[X] + bE[Y]$.

Good news: this property holds even when we step into the complex plane. For complex random variables $Z$ and $W$, and complex constants $a$ and $b$, the rule is exactly the same.

This might seem simple, but it's incredibly useful. It confirms that the algebraic rules we rely on for real-valued expectations don't break down when we introduce imaginary numbers. Let's see why this works by expanding the terms.

Let $Z = X + iY$ and $W = U + iV$. Let the complex constant be $a = a_r + i a_i$. We want to find the expectation of $aZ$.

The proof shows that linearity in the complex case is a direct consequence of linearity in the real case, which you already know. The same logic applies to sums, confirming the general formula $E[aZ + bW] = aE[Z] + bE[W]$. This property is essential for manipulating and simplifying expressions in fields like signal processing, where signals are often represented by complex numbers.

The complex conjugate is a fundamental operation. How does it interact with expectation? It turns out you can swap the order of these two operations without changing the result.

For a complex random variable $Z = X + iY$, the expectation of its conjugate, $Z^* = X - iY$, is simply the conjugate of its expectation.

The proof for this is straightforward. We just apply the definition of expectation.

These two properties, linearity and the conjugate relationship, form the bedrock for working with expectations of complex random variables. They ensure that the familiar rules of algebra extend gracefully into the complex domain.