Category:Absolutely Symmetric Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Absolutely Symmetric Functions.
Definitions specific to this category can be found in Definitions/Absolutely Symmetric Functions.


Let $f: \R^n \to \R$ be a real-valued function.

Definition $1$

Let $f$ be such that, for every pair $\tuple {x_i, x_j}$ in $\R^2$:

$\map f {x_1, x_2, \ldots, x_i, \ldots, x_j, \ldots, x_n} = \map f {x_1, x_2, \ldots, x_j, \ldots, x_i, \ldots, x_n}$

Then $f$ is an absolutely symmetric function.


Definition $2$

Let $f$ be such that, for all $\mathbf x := \tuple {x_1, x_2, \ldots, x_n} \in \R^n$:

$\map f {\mathbf x} = \map f {\mathbf y}$

where $\mathbf y$ is a permutation of $\tuple {x_1, x_2, \ldots, x_n}$.

Then $f$ is an absolutely symmetric function.

Subcategories

This category has only the following subcategory.