设 为一个
-代数,
为其正部。假设
是一个复线性空间,它是一个左
-模,且
,其中
,
, 和
配备有一个映射
使得
1. 映射 是
上的一个范数,并且
2. 对于每个
和
。
那么 被称为 pre-Finsler
-模。如果
是完备的,那么
被称为在
-代数
上的 Finsler 模。这个定义是由 Phillips 和 Weaver (1998; Moslehian 2001) 提出的定义的修改版。
例如,如果 是在
-代数
上的 Hilbert
-模,那么
连同
是一个 Finsler 模,因为
。存在不能被视为 Hilbert
-模的 Finsler
-模 (Phillips 和 Weaver 1998)。