:::对偶群.若formula_1是局部紧致阿贝尔群，formula_1的特征标是一个从formula_1到圆群formula_16的连续群同态；特征标在逐点乘法下构成一个群，一个特征标的反元素是它的复共轭。可证明所有formula_1上的特征标在紧致开拓扑（即：以紧集上的一致收敛定义收歛性）下构成一个局部紧致阿贝尔群，称作对偶群，记为formula_23或formula_24。若formula_1可分，则formula_23可度量化，对一般的formula_1则不尽然。这可用线性代数中的对偶空间来类