ormula_3 是一个从 formula_1 到 formula_2 的函数，它有以下的线性特性：所有从 formula_1 到 formula_2 的线性泛函集合, 记为 formula_10, 本身即为一向量空间，称为 formula_1 的对偶空间（或称为formula_1的代数对偶空间，以和连续对偶空间区分）。
连续线性泛函.若V是一拓扑向量空间，所有连续线性泛函的集称为连续对偶，有时也简称为对偶空间。若formula_1是巴拿赫空间，其对偶空间也是。为了把普通的对偶