La forme generale d'une fonctionnelle linéaire dans l'espace des fonctions à variation bornée. (Q2591609)

\((V_c)\) sei der Raum der stetigen Funktionen \(x(t)\) in \([0,1]\) von beschränkter Variation. Der Raum \(\mathfrak{K}(x)\) der Funktionen, die in bezug auf die Funktion \(x\) als Maß (Basis) absolut stetig sind, ist isometrisch zu dem Raume der absolutstetigen Funktionen. Es existiert eine (nicht abzählbare) Menge \(\{u_\alpha\}\) von Funktionen \(u_\alpha\) aus \((V_c)\), \((\operatornamewithlimits{Var}\limits_0^1 u_\alpha(t) = 1\)), die paarweise zueinander singulär sind (d.h. die eine ist singulärer Teil der anderen) derart, daß sich jede Funktion \(x\) aus \((V_c)\) in der Form \(x(t)=\sum\limits_{i=1}^\infty \xi_{\alpha_i}(t)\) \(\left(\xi_{\alpha_i}(t) \in \mathfrak K(u_\alpha)\right)\) darstellen läßt, wo \(||x||=\sum\limits_{i=1}^\infty ||\xi_{\alpha_i}||\). Jedes lineare Funktional \(f(x)\) über \((V_c)\) ist darstellbar in der Form \[ \begin{gathered} f(x)=\sum_{i=1}^\infty \int\limits_0^1 m_{\alpha_i}(\tau_{\alpha_i})\bar \xi_{\alpha_i}d\tau_{\alpha_i}(\tau_{\alpha_i})\bar \xi_{\alpha_i} (\tau_{\alpha_i})= \xi_{\alpha_i}(t), \;\tau_{\alpha_i}= \operatornamewithlimits{Var}\limits_0^1 u_{\alpha_i}(t) \\ (m_{\alpha_i}(\tau) \;\text{beschränkt und meßbar)}. \end{gathered} \] Der Raum der linearen Funktionale über \((V_c)\) ist also isometrisch mit dem Raume der (nicht abzählbaren) Komplexe \(\{m_\alpha(\tau)\}\) mit der Norm \[ ||\{m_\alpha(\tau)\}||=\sup_\alpha \;\text{[wesentliche} \;\operatornamewithlimits{obere \;Grenze}\limits_{0\leqq \tau \leqq 1} \;\text{von}\,m_\alpha(\tau)]. \]