Involuzione (teoria degli insiemi)
# Involuzione (teoria degli insiemi)

In matematica, un'involuzione è una funzione caratterizzata dalla proprietà di essere l'inversa di sé stessa. Se applicata due volte, quindi, il risultato coincide con l'elemento di partenza.

## Definizione

Un'involuzione è una funzione

    $f:X\to X$

tale che

    $f(f(x))=x\quad \forall x\in X$

Ogni involuzione è necessariamente una funzione biiettiva.

Il concetto di involuzione è talvolta utilizzato al posto di idempotenza, che riguarda più propriamente funzioni tali che $f(f(x))=f(x)$.

## Esempi

La funzione identità è un'involuzione banale. Esempi meno banali includono la moltiplicazione per -1 di un numero reale, l'inverso di un numero razionale, l'insieme complemento di un sottoinsieme, il coniugato di un numero complesso e l'operatore di trasposizione.

In algebra lineare, tranne che in caratteristica due, un'applicazione lineare che sia un'involuzione è sempre diagonalizzabile.

In teoria dei gruppi, una permutazione è un'involuzione se è prodotto di trasposizioni indipendenti.

## Conteggio delle involuzioni

Il numero di involuzioni in un insieme con n elementi è dato dalla seguente relazione ricorsiva:

    $I_{0}=I_{1}=1$
    $I_{n}=I_{n-1}+I_{n-2}(n-1)$

I primi termini della sequenza sono 1, 1, 2, 4, 10, 26, 76, 232 (sequenza A000085 nella On-Line Encyclopedia of Integer Sequences).

Per calcolare il numero di involuzioni in un insieme con "n" elementi si può ricorrere anche a questa formula, non ricollegata ad altri insiemi.

    $\forall n\equiv 0\mod 2\Rightarrow I_{n}=1+\sum _{k=0}^{{\frac {n}{2}}-1}{\frac {\prod _{i=0}^{k}{n-2i \choose 2}}{(k+1)!}}$
    $\forall n\equiv 1\mod 2\Rightarrow I_{n}=1+\sum _{k=0}^{\frac {n-3}{2}}{\frac {\prod _{i=0}^{k}{n-2i \choose 2}}{(k+1)!}}$
