 complexifié

nom masculin

Complexifié d'un espace vectoriel E sur ℝ, espace vectoriel sur ℂ, égal à E × E muni de l'opération interne qui, au couple [(x,y),(x′,y′)], associe le couple (x + x′, y + y′) et de l'opération externe qui, au couple [α + iβ, (x,y)], associe le couple (αx − βy, αy + βx).

Expressions avec complexifié

Complexifié d'un espace vectoriel E sur ℝ,

espace vectoriel sur ℂ, égal à E × E muni de l'opération interne qui, au couple [(x,y),(x′,y′)], associe le couple (x + x′, y + y′) et de l'opération externe qui, au couple [α + iβ, (x,y)], associe le couple (αx − βy, αy + βx).