On the parameter groups of linear transformations. (Q2596517)

\(X\) sei ein Banachscher Raum, \(\overline X\) der konjugierte Raum. \(T_t\) sei eine Halbgruppe (semigroup) von linearen Transformationen von \(X\) in sich selbst, d. h., \[ T_{t_1}\cdot T_{t_2}=T_{t_1+t_2},\qquad 0<t_1,t_2<\infty. \] \(\|T_t\|\) sei beschränkt auf \(0 < t < a\). Weiter soll \(T_t\) schwach meßbar sein, d. h. \(yT_tx\) ist meßbar für alle \(x\in X\), \(y\in \overline X\), \(0<t<\infty\). Verf. beweist: Wenn für jedes \(x\in X\), die Menge \(T_tx\), \(0<t<\infty\), separabel ist, dann ist \(\lim\limits_{s\to t+} T_sx = T_tx\). Nun sei \(\mathfrak X\) der Raum der auf \(X\) definierten beschränkten Transformationen. In der ``uniform topology'' von \(\mathfrak X\) wird Entfernung \((A, B)\) durch \(\|A - B\|\) definiert. Verf. beweist weiter: Wenn die Menge \(T_t\in\mathfrak X\), \(0 < t < \infty\), separabel in der ``uniform topology'' von \(\mathfrak X\) ist, dann ist \(\lim\limits_{s\to t+}\|T_s-T_t\|=0\), \(0 < t < \infty\).