Trasformazione antilineare
# Trasformazione antilineare

In matematica si dice trasformazione antilineare, applicazione antilineare, funzione antilineare, mappa antilineare o operatore antilineare una trasformazione $f:V\to W$ da uno spazio vettoriale sui complessi in un secondo spazio dello stesso genere se:

    $f(a\mathbf {x} +b\mathbf {y} )={\bar {a}}f(\mathbf {x} )+{\bar {b}}f(\mathbf {y} )\qquad \forall a,b\in \mathbb {C} \quad \forall \mathbf {x} ,\mathbf {y} \in V$

dove ${\bar {a}}$ è il complesso coniugato di $a$.

Queste entità talvolta sono chiamate trasformazione coniugatolineare e trasformazione semilineare.

Se insieme alla precedente $f$ si considera una seconda trasformazione antilineare del genere $g:W\to X$ che conduce ad un terzo spazio vettoriale sui complessi $X$, la composizione di $f$ con $g$ è una trasformazione lineare complessa $g\circ f:V\rightarrow X$.

Una trasformazione antilineare $f:V\to W$ è equivalente ad una trasformazione lineare del genere ${\bar {f}}:V\to {\bar {W}}$ che conduce allo spazio vettoriale complesso coniugato ${\bar {W}}$.

Per un operatore antilineare la definizione di aggiunta è diversa da quella usuale:

    $(\mathbf {x} ,f^{+}\mathbf {y} )=(f\mathbf {x} ,\mathbf {y} )^{*}=(\mathbf {y} ,f\mathbf {x} )$

in cui l'operatore risulta correttamente antilineare in $\mathbf {x}$ e $\mathbf {y}$.

