Multilineaire afbeelding

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de wiskunde is een multilineaire afbeelding een afbeelding van meer veranderlijken die lineair is in elk van de veranderlijken.

Het begrip lineair veronderstelt dat we over de bewerkingen optelling en scalaire vermenigvuldiging beschikken, de onderliggende verzamelingen zijn dus meestal vectorruimten of op zijn minst modulen.

Het begrip wordt ook gebruikt om een verschil tussen oude media (boeken, film enzovoort) en nieuwe media (internet, games enzovoort) aan te duiden. Multilineariteit staat dan voor de mogelijkheid meer verhaallijnen in te bouwen, onder andere via hypertekst, ofwel voor de gebruiker van deze media om het document op een niet-lineaire wijze te consumeren.

Definitie[bewerken]

Zij een ring, zij een willekeurige verzameling ("indexverzameling"), en zij een familie modulen over . Zij eveneens een moduul over . Noteer voor het Cartesisch product, en zij een afbeelding van het product der modulen naar het moduul . We noemen multilineair als voor elk punt en voor elke index de partiële afbeelding lineair is. Hierbij worden de coördinaten van het punt als volgt gedefinieerd:

als ;

.

Bijzondere gevallen[bewerken]

Een multilineaire vorm is een multilineaire afbeelding waarbij het doelmoduul de ring zelf is.

Een bilineaire afbeelding is een multilineaire afbeelding op een product van precies twee modulen. Analoog spreekt men soms van trilineaire, quadrilineaire, ... afbeeldingen.

Verschil met sesquilineair[bewerken]

Als we voor het lichaam der complexe getallen nemen (zodat en complexe vectorruimten zijn), dan is naast het begrip bilineaire afbeelding ook dat van sesquilineaire afbeelding nuttig en courant. Een sesquilineaire afbeelding is weliswaar lineair in de eerste component, maar toegevoegd lineair in de tweede component.