1为标量域formula_2（formula_3或formula_4）上的赋范向量空间，其中的范数记作formula_5。考虑它的对偶赋范空间formula_6。依定义，formula_6是由所有从formula_1射到标量域formula_2上的连续线性泛函formula_10构成的空间（也称为连续对偶空间），装备了对偶范数formula_11：对偶空间formula_6因此也是赋范空间（可以证明是巴拿赫空间），而它的对偶赋范空间formula_14则称为元空间formula_1的二次对偶空间（或称双