是平方可积函数的向量空间。
去除 T.你可能注意到了，尽管范数历史上定义在先，人们也提出了半范数的定义，它是范数的一种非 T 版本。一般的说，可以定义拓扑空间的性质和结构二者的非 T 版本。首先，考虑拓扑空间的一个性质，比如是豪斯多夫的性质。你可以定义另一个拓扑空间性质，通过定义空间 "X" 为满足这个性质，当且仅当柯尔莫果洛夫商 KQ("X") 是豪斯多夫的。这是一个明智的不太着名的性质，这种空间 "X" 被为预正则的。（甚至有预正则性的更直接的定义）。现在考虑可以放置到拓扑空间