Elementary Symmetric Function/Examples/m Greater than n

From ProofWiki
Jump to navigation Jump to search

Example of Elementary Symmetric Function: $m > n$

Let $\map {e_m} {\set {x_1, x_2, \ldots, x_n} }$ be an elementary symmetric function in $m$ variables of degree $n$.

Let $m > n$.


\(\ds \map {e_m} {\set {x_1, x_2, \ldots, x_n} }\) \(=\) \(\ds 0\)


By definition:

\(\ds \map {e_n} {\set {x_1, x_2, \ldots, x_n} }\) \(=\) \(\ds \sum_{1 \mathop \le j_1 \mathop < j_2 \mathop < \mathop \cdots \mathop < j_m \mathop \le n} \paren {\prod_{i \mathop = 1}^m x_{j_i} }\)

However, there does not exist a set of $m$ integers which is a subset of $\set {1, 2, \ldots, n}$.

That is, the summation $\ds \sum_{1 \mathop \le j_1 \mathop < j_2 \mathop < \mathop \cdots \mathop < j_m \mathop \le n}$ is vacuous.

Hence the result.