基于卢津可测性的无限维李群的可测正则性

我们讨论取值于向量空间的Lusin（卢津）可测向量值函数的Lebesgue空间 $\mathcal{L}^p([a,b],E)$ 以及相应的绝对连续函数向量空间 $AC_{L^p}([a,b],E)$。这些可用于构造取值于无限维李群 $G$ 的绝对连续函数李群 $AC_{L^p}([a,b],G)$。我们将Gl"ockner引入的无限维李群的 $L^p$-正则性概念推广到这一情形，并采纳若干结果与工具。