希尔伯特 -模的概念是 希尔伯特空间 概念的推广。Kaplansky (1953) 首次使用了这类对象。对希尔伯特
-模的研究始于 1970 年代,Rieffel (1974) 对
-代数的诱导表示的工作以及 Paschke (1973) 的博士论文。希尔伯特
-模是
-代数理论、算子代数理论、算子
-理论、群表示理论和算子空间理论中的有用工具。它也用于研究
-代数的 Morita 等价性、
-理论的
-代数、
-代数量子群(Lance 1995,Wegge-Olsen 1993)。
在 -代数
上的预希尔伯特模是一个复线性空间
,它是一个左
-模(且
,其中
,
, 和
),配备了一个
-值内积
,满足
1. ,
2. 当且仅当
,
3. ,
4. ,
5. .
预希尔伯特 -模被称为希尔伯特
-模或希尔伯特
-模(在
上),如果它关于范数
是完备的。如果集合
的闭线性张成在
中稠密,则
被称为满的。例如,每个
-代数
都是一个满的希尔伯特
-模,只要我们定义
。