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\mathrm{\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.

$\mathrm{\forall }n\equiv 0mod2\Rightarrow I_n=1+\sum _{k=0}^{\frac{n}{2}-1}\frac{\prod _{i=0}^k(\genfrac{}{}{0ex}{}{n-2i}{2})}{(k+1)!}$

$\mathrm{\forall }n\equiv 1mod2\Rightarrow I_n=1+\sum _{k=0}^{\frac{n-3}{2}}\frac{\prod _{i=0}^k(\genfrac{}{}{0ex}{}{n-2i}{2})}{(k+1)!}$

Voci correlate

• Idempotenza

Collegamenti esterni

• Template:Collegamenti esterni