Nuclear function spaces on the base of a hypercomplex system (Q789671)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nuclear function spaces on the base of a hypercomplex system |
scientific article |
Statements
Nuclear function spaces on the base of a hypercomplex system (English)
0 references
1983
0 references
Let Q be a complete separable locally compact metric space. The authors consider socalled structure measures \(\gamma\) (A,B,r) on Q, where \(r\in Q\) and A,\(B\subseteq Q\) are Borel sets. Satisfying certain properties these measures constitute so called hypercomplex systems with basis Q, which are the spaces \(L_ 1(Q)\) with a convolution defined by \(\gamma\). Let \(\Xi\) be a fixed sequence of functions \(\xi_ n\) in \(L_ 2(Q)\) and \(D_ k=(T_{\xi_ 1}...T_{\xi_ k})^{-1}\) be ''differential'''' operators, where \(T_{\xi_ j}f=\xi_ j*f.\) These operators \(D_ k\) are defined on the range of \(T_{\xi_ 1}...T_{\xi_ k}\). Now let \({\mathcal C}^{\infty}\!_ 0(Q,\Xi)\) denote the space of all infinitely ''differentiable'' functions on Q, where differentiability is to be interpreted as above. For a certain index set \(T=\{\tau =(\tau_ 1,\tau_ 2(p)\}\) denote \(D(Q,\Xi)=\cap_{\tau \in T}H_{\tau},\) where \(H_{\tau}\) is the completion of the space \({\mathcal C}^{\infty}\!_ 0(Q,\Xi)\) with respect to the inner product \[ (f,g)_{\tau}=\sum^{\tau_ 1}_{k=0}\int(D_ kf)(p)(D_ kg)(p)\tau_ 2(p)dp,\quad \tau_ 2:Q\to [1,\infty],\quad \tau_ 1=0,1,...\quad. \] It is shown that under suitable assumptions the space D(Q,\(\Xi)\) is a nuclear space and that D(Q,\(\Xi)\) is invariant under \(T_{\xi}\).
0 references
nuclear function spaces
0 references
structure measures
0 references
hypercomplex systems
0 references