Accessible cylindrical measures on locally convex spaces (Q1070491)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Accessible cylindrical measures on locally convex spaces
scientific article

    Statements

    Accessible cylindrical measures on locally convex spaces (English)
    0 references
    0 references
    0 references
    1985
    0 references
    The accessibility of a cylindrical measure, which is weaker than the quasi-invariance [\textit{W. Linde}, Z. Wahrscheinlichkeitstheorie verw. Gebiete 40, 91-99 (1977; Zbl 0342.28007 and Zbl 0354.28006)], the scalar quasi-invariance [\textit{S. Chevet}, Lect. Notes Math. 644, 125-158 (1978; Zbl 0387.60005)] and the partial admissibility [\textit{Y. Takahashi}, Hokkaido Math. J. 8, 150-166 (1979; Zbl 0444.28013)], is introduced and the conditions for the exitence of an accessible cylindrical measure are investigated. Let \(\mu\) be a finitely additive cylindrical measure on a locally convex space E and \(\tau_{\mu}\) be the weakest linear topology on \(E^*\) (the topological dual of E) making the characteristic functional \(\int_{E}\exp (i<x,x^*>)d\mu (x)\) continuous. The topological dual of \((E,\tau_{\mu})\) is called the kernel of \(\mu\) and denoted by \(K_{\mu}\). \(\mu\) is said to be accessible if \(E\subset K_{\mu}\). Let \(\tau\) be another linear topology on E. \(\mu\) is called of type p \((0<p<+\infty)\) with respect to \(\tau\) if \(\tau\) is finer than \(\tau_{\mu}.\) The main result is as follows. Let E and F be locally convex spaces, T be a continuous linear mapping from F into E, \(\tau\) be a linear topology on E, \(\tau_ k\) be the Mackey topology on F, and let \(0<p<2\). Then the following two statements are equivalent. (1) E admits a T(F)-accessible cylindrical measure of type p with respect to \(\tau\). (2) There exists a probability space (\(\Omega\),\(\nu)\) such that T:\((E,\tau)\to (F,\tau_ k)\) can be factored as follows; \[ (E,\tau)\to S_ p\to S_ 0\to (F,\tau_ k), \] where \(S_ p\) is a subspace of \(L^ p(\Omega,\nu)\), \(S_ 0\) is a subspace of \(L^ 0(\Omega,\nu),S_ p=S_ 0\) and \(S_ p\to S_ 0\) is the identity.
    0 references
    0 references
    0 references
    0 references
    0 references
    accessibility of a cylindrical measure
    0 references
    quasi-invariance
    0 references
    scalar quasi- invariance
    0 references
    admissibility
    0 references
    finitely additive cylindrical measure on a locally convex space
    0 references
    characteristic functional
    0 references
    kernel
    0 references
    type p
    0 references
    Mackey topology
    0 references
    0 references