En lineara algebro, **plurlineara funkcio** estas funkcio de kelkaj variabloj, kiu estas lineara je ĉiu el la variabloj.

Plurlineara funkcio de *n* variabloj estas ankaŭ nomata ĵ *n*-lineara funkcio.

Se ĉiuj variabloj apartenas la sama spaco, povas esti konsiderata simetria, malsimetria kaj alterna *n*-linearaj mapoj. La lastaj du koincidas se la ringo (aŭ kampo) havas karakterizon malsama de du, aliokaze la unuaj du koincidas.

Ĝenerala diskuto de ĉi tiuj funkcioj estas je plurlineara algebro.

Subspecoj
---------

Plurlineara funkcio estas **simetria** se ĝia valoro ne ŝanĝiĝas se interŝanĝi iuj ajn argumentojn de la funkcio

{\displaystyle f(x\_{1},\dots ,x\_{n})=f(x\_{1},\dots ,x\_{i-1},x\_{j},x\_{i+1},\dots ,x\_{j-1},x\_{i},x\_{j+1},\dots ,x\_{n})}
Plurlineara funkcio estas **deklivo-simetria** aŭ **malsimetria** se ĝia valoro ŝanĝas sian signumon se interŝanĝi iuj ajn du argumentojn de la funkcio

{\displaystyle f(x\_{1},\dots ,x\_{n})=-f(x\_{1},\dots ,x\_{i-1},x\_{j},x\_{i+1},\dots ,x\_{j-1},x\_{i},x\_{j+1},\dots ,x\_{n})}
Plurlineara funkcio estas **alterna** se

{\displaystyle [\exists i\neq j,x\_{i}=x\_{j}]\Rightarrow f(x\_{1},\dots ,x\_{n})=0}
Alivorte ĝi valoro estas 0 se inter la argumentoj estas almenaŭ du la samaj

*f(... v, ... v, ...) = 0*
Sekve de ĉi tio, valoro *f(v1, ...vn)* de alterna plurlineara funkcio de estas 0 se ĝi argumentoj *vi* estas ne lineare sendependaj.

Ekzemploj
---------

* Ena produto super la reela nombra kampo (skalara produto) estas simetria dulineara funkcio de du vektoraj variabloj.
* Vektora produto estas deklivo-simetria dulineara funkcio de du vektoraj variabloj.
* Determinanto de matrico estas deklivo-simetria plurlineara funkcio de la kolumnoj (aŭ linioj)) de kvadrata matrico.
* Spuro de matrico estas plurlineara funkcio de la kolumnoj (aŭ (linioj, vicoj)) de kvadrata matrico.
* Dulinearaj mapoj estas plurlinearaj mapoj.

Plurlinearaj funkcioj sur kvadrataj matricoj
--------------------------------------------

Oni povas konsideri plurlinearajn funkciojn, sur *n×n* kvadrata matrico super komuta ringo *K* kun idento, kiel funkcio de la linioj (aŭ ekvivalente de la kolumnoj) de la matrico. Estu *A* ĉi tia matrico kaj *ai*, *1 ≤ i ≤ n* estu la linioj de *A*. Tiam la plurlineara funkcio *D* povas esti skribita kiel

{\displaystyle D(A)=D(a\_{1},\ldots ,a\_{n})}
tia ke

{\displaystyle D(a\_{1},\ldots ,ca\_{i}+a\_{i}',\ldots ,a\_{n})=cD(a\_{1},\ldots ,a\_{i},\ldots ,a\_{n})+D(a\_{1},\ldots ,a\_{i}',\ldots ,a\_{n})}
Se *εj* estas la *j*-a linio de la identa matrico, oni povas esprimi ĉiun linion *ai* kiel sumo

{\displaystyle a\_{i}=\sum \_{j=1}^{n}A(i,j)\varepsilon \_{j}}
Uzante ĉi tiun esprimon por *a1* la \_multilinearity\_ de *D* la *D(A)* povas esti skribita kiel

{\displaystyle D(A)=D\left(\sum \_{j=1}^{n}A(1,j)\varepsilon \_{j},a\_{2},\ldots ,a\_{n}\right)=\sum \_{j=1}^{n}A(1,j)D(\varepsilon \_{j},a\_{2},\ldots ,a\_{n})}
Plu faranta ĉi tiun anstataŭon por ĉiu {\displaystyle a\_{i}} rezultas

{\displaystyle D(A)=\sum \_{k\_{1}=1}^{n}\sum \_{k\_{2}=1}^{n}\dots \sum \_{k\_{n}=1}^{n}A(1,k\_{1})A(2,k\_{2})\dots A(n,k\_{n})D(\varepsilon \_{k\_{1}},\dots ,\varepsilon \_{k\_{n}})}
Tiel *D(A)* estas plene difinita per tio kiel *D* operacias sur {\displaystyle \varepsilon \_{k\_{1}},\dots ,\varepsilon \_{k\_{n}}}.

Ĉe *2×2* matricoj estas

{\displaystyle D(A)=A\_{1,1}A\_{2,1}D(\varepsilon \_{1},\varepsilon \_{1})+A\_{1,1}A\_{2,2}D(\varepsilon \_{1},\varepsilon \_{2})+A\_{1,2}A\_{2,1}D(\varepsilon \_{2},\varepsilon \_{1})+A\_{1,2}A\_{2,2}D(\varepsilon \_{2},\varepsilon \_{2})}
Kie *ε1 = [1, 0]* kaj *ε2 = [0,1]*. Se D estas alterna funkcio tiam *D(ε1, ε1) = D(ε2, ε2) = 0* kaj *D(ε1, ε2) = -D(ε2 , ε1) = D(I)*. Se *D(I) = 1* rezultas la determinanta funkcio sur *2×2* matricoj:

*D(A) = A1, 1 A2, 2 - A1, 2 A2, 1*

Kontinueco
----------

Se la valoro kaj la argumentoj *vi* de plurlineara funkcio *f(v1, ...vn)* estas eroj de spaco kun normo, do eblas uzi difinon de kontinueco de *f*.

Tiam *f* estas kontinua se kaj nur se estas tia *M>0* ke por ĉiu kolekto de la argumentoj *(v1, ...vn)*

*||f(v1, ...vn)|| ≤ M ||v1|| ··· ||vn)||*
kie en la dekstra flanko estas produto.

Propraĵoj
---------

Plurlineara funkcio ĉiam havas valoron de nulo, se unu el ĝiaj argumentoj estas nulo.

Por *n>1*, la sola *n*-lineara funkcio, kiu estas ankaŭ lineara funkcio estas la nula funkcio.

Vidu ankaŭ
----------

* Algebra prezento
* Lineara
* Lineara funkcio
* Dulineara funkcio
* Homogena polinomo
* Homogena funkcio
* Tensoro