Function that is invariant under all permutations of its variables
This article is about functions that are invariant under all permutations of their variables. For the generalization of symmetric polynomials to infinitely many variables (in algebraic combinatorics), seering of symmetric functions. For symmetric functions on elements of a vector space, seesymmetric tensor.
Inmathematics, afunction of variables issymmetric if its value is the same no matter the order of itsarguments. For example, a function of two arguments is a symmetric function if and only if for all and such that and are in thedomain of The most commonly encountered symmetric functions arepolynomial functions, which are given by thesymmetric polynomials.
A related notion isalternating polynomials, which change sign under an interchange of variables. Aside from polynomial functions,tensors that act as functions of several vectors can be symmetric, and in fact the space of symmetric-tensors on avector space isisomorphic to the space ofhomogeneous polynomials of degree on Symmetric functions should not be confused witheven and odd functions, which have a different sort of symmetry.
Given any function in variables with values in anabelian group, a symmetric function can be constructed by summing values of over all permutations of the arguments. Similarly, an anti-symmetric function can be constructed by summing overeven permutations and subtracting the sum overodd permutations. These operations are of course not invertible, and could well result in a function that is identically zero for nontrivial functions The only general case where can be recovered if both its symmetrization and antisymmetrization are known is when and the abelian group admits a division by 2 (inverse of doubling); then is equal to half the sum of its symmetrization and its antisymmetrization.
Consider thereal functionBy definition, a symmetric function with variables has the property thatIn general, the function remains the same for everypermutation of its variables. This means that, in this case,and so on, for all permutations of
Consider the functionIf and are interchanged the function becomeswhich yields exactly the same results as the original
Consider now the functionIf and are interchanged, the function becomesThis function is not the same as the original if which makes it non-symmetric.
Instatistics, an-sample statistic (a function in variables) that is obtained bybootstrapping symmetrization of a-sample statistic, yielding a symmetric function in variables, is called aU-statistic. Examples include thesample mean andsample variance.
Symmetrization – process that converts any function in n variables to a symmetric function in n variablesPages displaying wikidata descriptions as a fallback
Vandermonde polynomial – determinant of Vandermonde matrixPages displaying wikidata descriptions as a fallback