QUADERNI dell'Istituto di Matematica FACOLTA' DI ECONOMIA UNIVERSITA' DI MESSINA
S 0-operators and generated families
DAVID CARFI' e CLARA GERMANA' Dottori di Ricerca presso l'Università di Messina
no 2 `2000
Via dei Verdi, 75 - 98122 MESSINA (Italy)
1
Quaderni dell'Istituto di Matematica
Facoltà di Economia Università di Messina
S 0-operators and generated families
DAVID CARFI' e CLARA GERMANA' Dottori di Ricerca presso l'Università di Messina
no 2 `2000
Via dei Verdi, 75 - 98122 MESSINA (Italy)
Rivista con referee
2
Quaderni dell'Istituto di Matematica
Facoltà di Economia Università di Messina
Comitato Scientico
Prof. Maria Teresa Calapso - Università di Messina Prof. Marcel Decuyper - Professore onorario dell' Università di Lille - Francia Prof. Benedetto Matarazzo - Università di Catania Prof. Lorenzo Peccati - Università Bocconi - Milano Prof. Mircea Predeleanu - Universitè Paris 6 - Francia Prof. Radu Rosca - Accademia Reale del Belgio
o¨
¨e
Prof. Ronald Rosseau - Kath lieke Industri le Hogeschool Ostende - Belgio Prof. Bernard Rouxel - Universitè de Brest - Francia Prof. Gilbert Saporta - Conservatoire National des Arts et Métiers - Parigi Prof. Anton Stefanescu - Università di Bucarest - Romania
o¨
Prof. Leopold Verstraelen - Kath lieke Universiteit Leuven - Belgio
Lavoro presentato da: Prof. Maria Teresa Calapso Prof. Radu Rosca
3
S 0-operators
and generated families
David Carfì
Department of Mathematics, University of Messina, Italy Email: davidcar@gmail.com
Clara Germanà
Faculty of Economics, University of Messina, Italy Email:
[email protected] Dedicated to Professor Radu Rosca, with admiration and esteem.
Abstract
The aim of this paper is to study some new concepts introduced by D.Carfì to generalize the linear structure of the space of tempered distributions. The new concepts are: 1) operator of class S 0 or S 0 -operator; 2) family generated by an S 0 -operator; 3) superposition of a family of tempered distributions of class SL(see [9]) with respect to an operator; 0 4) image of a family of distributions under an operator A : Sn0 → Sm . These new concepts permit the development of a generalization of linear algebra in the space of tempered distributions and a more deeply study of some problems faced by linear algebra, as the theory of system, theory of decision, the optimal control, the quantum mechanics and so on. Mathematics Subject Classification (1991): 46F10, 46F99, 47A05, 47N50,
70A05, 70B05, 81P05, 81Q99.
Key words: Linear operator, tempered distribution, basis, quantum system, state, linear superposition, subspace, generator, linear independence, contravariant components, system of coordinates, matrix, expansion of an operator, resolution of the identity, representation of an operator.
0.
Preliminaries and notations
In this paper we shall use the following notations and concepts:
1)
n, m
2)
Sn := S(Rn , C)
are natural numbers;
smooth functions (i.e.
is the Schwartz space, that is to say the set of all the of class
C ∞)
of
1
Rn
in
C
rapidly decreasing at innity
and
S(Rn ,C)
3)
µn
is the standard Schwartz topology on
is the Lebesgue measure in
X
(·)X
is a non empty set
S(Rn , C);
Rn ; (·) = (·)(R,C)
is the immersion of
is the identic function on
R
in
X;
C
and if
is
Sn0 := S 0 (Rn , C) is the space of tempered distributions from Rn n the dual of the topological vector space (S(R , C), S(Rn ,C) ) i.e. 4)
to
C, that
S 0 (Rn , C) =(S(Rn , C), S(Rn ,C) )∗ = L(Sn , C), X
where, if
and
Y
operators from 5) if
Hom(X, Y ) is the set of all L(X, Y ) is the set of all linear and continuous
are two topological vector spaces,
linear operators from
X
to
a ∈ Rn , δ a
X to Y Y;
and
Sn
is the distribution of Dirac on
centered at
a,
i.e.
the
with
Rm
functional:
δa : Sn → C : φ 7→ φ (a) ; s (R , Sn0 ) = s(m, n) the space of all families in Sn0 m 0 the set of all functions from R to Sn . m
6) we denote by as indices set, i.e. Moreover, let
v(p)
v
be one of these families, for each
the distribution
vp .
is denoted by
s (Rm , Sn0 )
The set
p ∈ Rm ,
is a vector space with respect the following two standard
operations: i) the addition
2
+ : s (Rm , Sn0 ) → s (Rm , Sn0 ) : (v, w) 7→ v + w v + w is the family dened (v + w) (p) = (v + w)p = vp + wp ;
where
by
v + w : Rm → Sn0 : p 7→ vp + wp ,
i.e.
ii) the multiplication by scalars
· : C × s (Rm , Sn0 ) → s (Rm , Sn0 ) : (λ, v) 7→ λv where
λv
the sequel we shall 7) if
U
λv : Rm → Sn0 : p 7→ λvp m 0 denote s (R , Sn ) by X ;
is the family:
(λv) (p) = (λv)p = λvp
in
f ∈ L1loc (U, C), then Z hf | = hf |n : D(U, C) → C : g 7→ f gdµn
is an open subset of
Rn ,
i.e.
and
U
g ∈ L1loc (U, C) and f g ∈ L1 (U, C) Z hf |gin := hg|n (f ) := hf |n (g) := f gdµn ;
is the regular distribution generated by we put
f;
if
U
2
6= 8) S(h,ω) is the (h, ω) -Fourier-Schwartz transformation (where h, ω ∈ R = R\{0}) i.e. the operator S(h,ω) : Sn →Sn , such that, for all f ∈ Sn and a ∈ Rn , one has
n Z n 1 1 −iω(·|a) −iω(·|a) S(h,ω) (f )(a) = e fe dµn = (f ), h h Rn Rn .
where
(· | ·)
S(h,ω)
is an homeomorphism and, about its inverse, one has
is the standard scalar product on
− S(h,ω) (f )(a)
=
|ω| h 2π
n Z
Moreover, we recall that
f eiω(·|a) dµn = S(2π/(|ω|h),−ω) (f )(a),
Rn
i.e.
f (x) = With
R6= )
|ω| h 2π
F(h,ω)
n Z
eiω(x|·) S(h,ω) (f )dµn = S(2π/(|ω|h),−ω) S(h,ω) (f ) (x).
Rn
we shall denote the
(h, ω)-Fourier
such that, for all
u ∈ Sn0
and for any
f ∈ Sn ,
h, ω ∈ F(h,ω) : Sn0 →Sn0 ,
transformation (where
on the space of tempered distributions, i.e. the operator one has
F(h,ω) (u)(f ) = u(S(h,ω) (f )), i.e. the transpose of
S(h,ω) ,
formally:
Moreover, we recall that
F(h,ω)
F(h,ω) = t (S(h,ω) ).
is an homeomorphism and that one has
− F(h,ω) = F(2π/(|ω|h),−ω) , and
F(h,ω) (u(α) ) = (ωi)α (·)α F(h,ω) (u) α i α (F(h,ω) (u))(α) . F(h,ω) ((·) u) = ω 9) We shall use also the following denitions from [9]:
Denition 0.1 (family of tempered distributions of class S ). Let T ∈ s(Rm , Sn0 ) a family of distributions. One denes the family T family of m class S or S -family if, for each f ∈ Sn , the function T (f ) of R in C, dened m by T (f )(p) = Tp (f ), for each p ∈ R , belongs to the space Sn . The set of all these families is denoted by
S(Rm , Sn0 ) = S(m, Sn0 ) = S(m, n).
Denition 0.2 (of operator generated by an S - family of tempered distributions). Let T ∈ S(Rm , Sn0 ) be a family of tempered distributions of S.
T (or associated with T ) Tb : Sn → Sm dened by Tb(f )(p) = Tp (f ), for each f in Sn and m for each p in R , i.e. with the notations of the above denition, dened by b T (f ) = T (f ), for each f in Sn ;
class
One denes operator generated by the family
the operator
3
Denition 0.3 (family of tempered distributions of class SL). Let v ∈ S (Rm , Sn0 ) , a family of distributions. One denes the family v family of class SL or SL-family if one has v b ∈ L(Sn , Sm ). The family of such systems is denoted by
SL (Rm , Sn0 ) = SL(m, Sn0 ) = SL(m, n). 10) In [10] we have state and prove the following theorems:
Theorem 0.1 (of structure). vector space
S (Rm , Sn0 )
The set
is a subspace of the
(s(m, n), +, ·) .
Theorem 0.2 (of linear embedding).
The application
∧
(·) : S (Rm , Sn0 ) → Hom (Sn , S (Rm , C)) : v 7→ vb is an injective linear operator, thus one has
Theorem 0.3 (of structure). vector space
∧
(v + w) = vb + w b
The set
(S (Rm , Sn0 ) , +, ·) .
SL (Rm , Sn0 )
and
∧
(λv) = λb v.
is a subspace of the
Theorem 0.4 (of isomorphism). The function ∧
(·) : SL (Rm , Sn0 ) → L (Sn , S (Rm , C)) dened by
∧
(·) (v) = vb is
an isomorphism.
11) In [9] one gives the following denitions:
Denition 0.4 (linear superpositions of an SL-family). Let a ∈ S 0 (Rm , C) and
v ∈ SL (Rm , Sn0 ) .
v with respect to (the system a or ultralinear combination of v with respect to (the system a, or linear superposition of v with respect to (the system of
One denes generalized linear combination of of coecients) of coecients) coecients)
a,
the distribution
Z av := a ◦ vb : φ 7→ a (b v (φ)) ,
Rm i.e.
Z
av = t (b v )(a).
Rm Moreover, if
u ∈ Sn0
and there exists an
a ∈ S 0 (Rm , C)
such that
Z u=
av, Rm
u of
is said an
v
S 0 -linear
the distribution
v.
superposition of
Z
Z
v := Rm
Finally, we dene linear superposition
Rm
4
1(Rm ,C) v,
1(Rm ,C) is the regular m functional on R of value 1; where
distribution generated by the complex constant
Denition 0.5 (of S -ultralinear independence). denes
Let
v ∈ SL(Rm , Sn0 ).
One
v S -ultralinearly independent, if one has Z u ∈ S 0 (Rm , C) ∧ uv = 0Sn0 ⇒ u = 0S 0 (Rm ,C) ; Rm
Denition 0.6 (of generalized linear span). One denes
v ∈ SL (Rm , Sn0 ) . S -ultralinear span of v , and it's denoted by Suspan (v), the Z 0 0 m u ∈ Sn : ∃a ∈ S (R , C) : u = av ; Let
0
set
Rm
Denition 0.7 (system of S -ultragenerators). Let T dened system of
S -ultragenerators
for
V ⊆ Sn0
∈ SL (Rm , Sn0 ). T is Suspan (T ) = V ;
if and only if
Denition 0.8 (of S -ultrabasis). Let v ∈ SL(Rm , Sn0 ) and let V One denes
v S -ultrabasis of V
if it is
S
⊆ Sn0 .
-ultralinearly independent, and one
has
Suspan(v) = V ;
Denition 0.9 (the system of contravariant components).
Let v ∈ w ∈ Suspan(v). R 0 m av is The only tempered distribution a ∈ S (R , C) such that w = Rm denoted by [w|v] and is called the system of contravariant components of w with respect to v or the system of coordinates of w in v .
SL(Rm , Sn0 )
1.
be an
S
-ultralinearly independent family and
S 0 -operators
Denition 1.1 (operator of class S 0 ). Let A ∈ Hom(Sn , Sm ). One denes
A
operator of class S 0 or S 0 -operator if the functional δp ◦ A is a tempered
distribution for all p ∈ Rm , i.e.
δp ◦ A ∈ Sn0 ,
for each p ∈ Rm .
Example 1.1 Each A ∈ L(Sn , Sm ) is an operator of class S 0 .
4
Notation 1.1 The set of all S 0 -operators is denoted by S 0 Hom(Sn , Sm ). Theorem 1.1 (of structure). The set Hom(Sn , Sm ).
5
S 0 Hom(Sn , Sm ) is a subspace of
Proof.
Let
λ∈C
and
A, B ∈ S 0 Hom(Sn , Sm ).
(δp ◦ (A + λB)) (φ)
For each
p ∈ Rm ,
one has
= δp ((A + λB) (φ)) = = δp (A (φ) + λB(φ)) = = δp (A (φ)) + δp (λB(φ)) = =
(δp ◦ A)(φ) + λδp (B(φ)) =
=
[δp ◦ A + λ (δp ◦ B)] (φ) ,
so
δp ◦ (A + λB) = δp ◦ A + λ (δp ◦ B) and then
δp ◦ (A + λB) ∈ Sn0 .
Theorem 1.2 (of isomorphism). Let
tor of class S , moreover the application 0
v ∈ S(m, Sn0 ). Then, vb is an opera-
∧
(·) : S(m, Sn0 ) → S 0 Hom(Sn , Sm ) : v → vb
is an isomorphism. Proof.
Let
p ∈ Rm ,
one has
(δp ◦ vb) (φ)
=
δp (b v (φ)) =
= vb(φ)(p) = = vp (φ). So, one has
δp ◦ vb = vp ∈ Sn0 , and hence
vb is
an operator of class
S 0.
Now, we already know that
∧
(·) : S(m, Sn0 ) → Hom(Sn , Sm ) is an injective homomorphism (see the preliminaries) hence we have to prove that the application
∧
(·) : S(m, Sn0 ) → S 0 Hom(Sn , Sm ) is surjective. Let
A ∈ S 0 Hom(Sn , Sm )
and let
v : Rm → Sn0 : p 7→ δp ◦ A, be a family of distributions. For each
v (φ) (p)
φ ∈ Sn
and for each
=
vp (φ) =
=
(δp ◦ A)(φ) =
=
δp (A (φ)) =
=
A (φ) (p) 6
p ∈ Rm ,
one has
thus
v (φ) = A (φ) and hence, in particular, we deduce that
v (φ) ∈ Sm , and so
v ∈ S(Rm , Sn0 ). Moreover, for any
φ ∈ Sn ,
one has
vb(φ) = v(φ) = A(φ) and thus
vb = A. Q.E.D.
2.
The family generated by an
Denition 2.1 (of family generated by an
S Hom(Sn , Sm ). One denes 0
S 0 -operator
family generated by
S 0 -operator). Let A ∈ A the family
A∨ = (δp ◦ A)p∈Rm .
Example 2.1 Let (·)S
n
be the identic operator on
[(·)Sn ]∨
Let
S(a,b)
the
(a, b)-Fourier
p ∈ Rn ,
(δp ◦ (·)Sn )p∈Rn =
=
(δp )p∈Rn .
∨
= δp ◦ S(a,b)
= = =
S(a,b)
∨
p∈Rn
,
one has
δp ◦ S(a,b)
and thus
one has
Schwartz transformation, then, one has
S(a,b) now, for each
=
Sn ,
is the
(a, b)-Fourier
t
S(a,b) (δp ) =
F(a,b) (δp ) = n 1 e−ib(p|·) a family.
Theorem 2.1 (of isomorphism). Let
family A is an S -family and the application ∨
4 A ∈ S 0 Hom(Sn , Sm ). Then, the
∨
(·) : S 0 Hom(Sn , Sm ) → S(Rm , Sn0 )
is the inverse of the isomorphism (·)∧ of the theorem 1.2. 7
Proof.
For all
p ∈ Rm ,
one has
(A∨ )p = δp ◦ A, so, for each
φ ∈ Sn ,
one has
(A∨ ) (φ) (p)
=
(A∨ )p (φ) =
=
(δp ◦ A)(φ) =
= δp (A(φ)) = = A (φ) (p) and hence
(A∨ ) (φ) = A (φ) ∈ Sm , thus
A∨
is an
S -family.
Moreover, let
A ∈ S 0 Hom(Sn , Sm ), ∧
(A∨ ) (φ) (p)
and so
one has
=
(A∨ )p (φ) =
=
(δp ◦ A) (φ) =
=
δp (A (φ)) =
=
A (φ) (p)
∧
(A∨ ) = A. Let
v ∈ S(m, n)
one has
∨
((b v ) )p = δp ◦ vb = vp and thus
(b v )∨ = v;
in fact, the last equality holds because
(δp ◦ vb) (φ)
=
δp (b v (φ)) =
= vb (φ) (p) = = vp (φ) , and this completes the proof.
3.
Generated families and S -ultrabases
Theorem 3.1 (fundamental theorem on the coordinates in a generated family). Let A ∈ L(Sn , Sn ) be a bijective operator. Then, A∨ is an
ultrabasis of Sn0 . Moreover, for each u ∈ Sn0 , one has Z u=
(u ◦ A− )A∨ ,
Rn
8
and so
[u | A∨ ] = u ◦ A− .
Proof.
Let
A−
the inverse of
A,
one has
A− ∈ L(Sn , Sn ), in fact, because
Sn is a Frechét space, it follows by the Banach's inverse operator u ∈ Sn0 , one has
theorem. Now, for any
u ◦ (·)Sn =
u = =
u ◦ (A− ◦ A) =
=
(u ◦ A− ) ◦ A =
=
(u ◦ A− ) ◦ (A∨ )∧ = Z (u ◦ A− )A∨ ,
=
Rn and thus
Suspan(A∨ ) = Sn0 , so
A∨
Sn0 . ∨ that A
ultragenerates
Now we prove Let
a ∈ Sn0
is ultralinearly independent.
be such that
Z Rn
aA∨ = 0Sn0 ,
recalling the denition of ultralinear combination, one has
0Sn0
= a ◦ (A∨ )∧ = = a ◦ A,
and hence
0Sn0
=
0Sn0 ◦ A− =
=
(a ◦ A) ◦ A− =
= a ◦ (A ◦ A− ) = = a ◦ (·)Sn = a, so
a = 0Sn0
and
A∨
is also ultralinearly independent.
Example 3.1 The operators (·)S thus the families
[(·)Sn ]∨
n
and
S(a,b) ∨
and
S(a,b)
Q.E.D.
are two bijective operators and
are two ultrabases of
has
[u| [(·)Sn ]∨ ]
=
u ◦ [(·)Sn ]− =
=
u ◦ (·)Sn =
=
u, 9
Sn0 .
Moreover, one
and
[u| S(a,b) ∨ ]
= u ◦ S(a,b)
−
=
−
= F(a,b) (u). 4 In such way, the Fourier ultraexpansion theorem (see [Ca]) is a particular case of the above theorem. At this point, we recall that if
A ∈ L(Sn , Sm ),
the
operator
t is called the transpose of
0 A : Sm → Sn0 : a 7→ a ◦ A
A.
Corollary 3.1 Let
ultrabasis of
Sn0
A ∈ L(Sn , Sn ) be a bijective operator. Then, A∨ is an and moreover, for each u ∈ Sn0 one has Z t u= (A− )(u)A∨ , Rn
where t (A− ) is the transpose operator of A, and hence one has [· | A∨ ] = t (A− ).
Example 3.2 One has [·| [(·)Sn ]∨ ]
=
t
=
t
= and
[·| S(a,b) ∨ ] =
4.
t
− (·)Sn = (·)Sn =
(·)Sn0 ,
− − S(a,b) = F(a,b) . 4
Bases and transpose operators
The theorem 3.1 we have another corollary, to state it we give a denition due to D.Carfì:
Denition 4.1 (superposition of a family with respect to an operator). Let V ⊆ Sn0 be a subspace of Sn0 , A ∈ Hom(V, Sm0 ) and v ∈ SL Rm , S 0 Rk , C
be a family of distributions. One denes A, the operator Z Av : V → Rm
Sk0
superposition of v with respect to Z
: u 7→
A(u)v. Rm
10
Example 4.1 (on the position operator). be the position operator and let
Z
f
be the
Xf
Let
(a, b)-Fourier
X : S10 → S10 : u 7→ (·)u family, then one has
Z (u)
=
X(u)f =
R
ZR =
[(·)u]f = t b f ((·)u) = t S(a,b) ((·)u) = R
= =
F(a,b) ((·)u) = 1 0 i F(a,b) (u) = b i P F(a,b) (u) = b −i~ −1 P ◦ F(a,b) (u) b~
= = = = and hence
Z Xf = R
−1 P ◦ F (a,b) , b~
where
P : S10 → S10 : u 7→ −i~u0 is the momentum operator of a quantum particle.
4
Example 4.2 (on the momentum operator). Z
Pf
(u)
=
R
P (u)f = ZR
=
(−i~u0 )f = R t b f (−i~u0 ) = t S(a,b) (−i~u0 ) =
=
F(a,b) (−i~u0 ) =
=
−i~F(a,b) (u0 ) =
=
−i~(ib)1 (·)1 F(a,b) (u) =
=
~b(·)F(a,b) (u),
= =
and hence
One has
Z
Z
P f = b~ X ◦ F(a,b) . 4
R
Example 4.3 (on the kinetic energy operator). T : S10 → S10 : u 7→ 11
~2 00 u 2m
Let
be the kinetic energy operator of a nonrelativistic quantum particle, one has
Z
Tf
Z (u)
=
T (u)f =
R
R
~2 00 u f= R 2m ~2 t b f u00 = 2m 2 ~ 00 F(a,b) u = 2m ~2 (ib)2 (·)2 F(a,b) (u) = 2m ~2 b2 − X 2 ◦ F(a,b) , 2m Z
= = = = = and hence
Z Tf = − R
~ 2 b2 X 2 ◦ F(a,b) . 4 2m
The corollary of theorem 3.1 is the following.
Corollary 4.1 (resolution of the identity). Let A ∈ L(Sn , Sn ) be a bijective operator. Then, A∨ is an ultrabasis of Sn0 and moreover one has Z (·)Sn0 =
t
(A− )A∨ .
Rn
More generally, we have the following theorem.
Theorem 4.1 (resolution of a transpose operator). Let A, B ∈ L(Sn , Sn )
be two bijective operators. Then,
A∨ · B ∨
is an ultrabasis and t
Z B=
t
(A− )(A∨ · B ∨ ).
Rn
Proof.
The family
A∨ · B ∨
is a basis because one has (see the remark below)
A∨ · B ∨ = (A ◦ B)∨
12
and
A◦B
u ∈ Sn0 , one t − ∨ t (B) (A )(u)A = Rn Z t (A− )(u)A∨ ◦ B =
is a bijective operator. Now, for each
t
has
Z
(B)(u)
= = =
Rn −
t
[ (A )(u) ◦ A] ◦ B = t
=
(A− )(u) ◦ (A ◦ B) =
Z =
t
(A− )(u)(A ◦ B)∨ =
t
(A− )(u)(A∨ · B ∨ ).
Rn
Z = Rn
Remark 4.1 If A, B ∈ L(Sn , Sn ) and p ∈ Rn , one has (A ◦ B)∨ (p)
= δp ◦ (A ◦ B) = (δp ◦ A) ◦ B = Z = (δp ◦ A)B ∨ = Rn Z = (A)∨ (p)B ∨ =
=
Rn
(A∨ · B ∨ )p . N
=
After a denition of D.Carfì, we give another theorem.
0 Sm
Denition 4.2 (image of a family under an operator). Let be an operator and v : R → k
Sn0
A : Sn0 →
be a family of distributions. The family
0 A(v) : Rk → Sm : p → A(vp )
is called
image of v under A.
Theorem 4.2 (on the image under a transpose operator). Let
0 ). Then, L(Sn , Sm ) and v ∈ SL(Rk , Sm t
Proof.
For each
p ∈ Rk ,
B(v) = v · B ∨ .
one has
(v · B ∨ )p
Z
vp B ∨ =
= R
= vp ◦ (B ∨ )∧ = = vp ◦ B = =
t
B (vp ) =
=
t
B(v)(p)
13
B∈
and hence
v · B ∨ = t B(v).
Theorem 4.3 (ultralinearity of a transpose operator). Let
0 L(Sn , Sm ) and v ∈ SL(Rk , Sm ). Then, for each a ∈ Sk0 one has Z Z t B av = a t B(v). Rk
Proof.
B ∈
Rk
One has
t
Z
B
av
Z
av ◦ B =
=
Rk
Rk
(a ◦ vb) ◦ B =
=
= a ◦ (b v ◦ B) = Z = a(b v ◦ B)∨ = Rk Z = a(v · B ∨ ) = Rk Z = a t B(v). Rk
Remark 4.1
The above theorem furnishes a property very similar to the
following classic property of a vector space:
if A ∈ Hom(V, W ) then
A
k X
! ai vi
=
i=1
k X
ai A(vi );
i=1
so we can consider the above property as an ultralinearity of the transpose of an operator
B ∈ L(Sn , Sm ). N
We conclude this section with a characterization of the ultrabases by the transpose operators.
Theorem 4.4 (characterization of the ultrabases). Let A ∈ Hom(Sn , Sm ). Then, the following assertions hold 1) A∨ is ultralinearly independent if and only if t A is injective; 2) A∨ ultragenerates Sn0 if and only if t A is surjective; 3) A∨ is an ultrabasis if and only if t A is bijective.
14
Proof.
1)
A∨
is ultralinearly independent if and only if
Z Rm implies
0 a = 0Sm
0 a ∈ Sm
and
aA∨ = 0Sn0
but, because
Z
aA∨ = a ◦ A = t A(a),
Rm this is equivalent to the statement:
t
A(a) = 0Sn0
implies
0 , a = 0Sm
and then
ker t A = {0Sn0 }. 2)
A∨
ultragenerates
Sn0
if and only if, for each
such that
Z u=
u ∈ Sn0
there exist an
0 a ∈ Sm
aA∨ = t A(a)
Rm but this is the surjectivity of
t
A.
3) It follows directly from the above two assertions.
References [1] J. Barros-Neto.
An Introduction to the theory of distributions.
Marcel
Dekker, Inc. NewYork, 1973. [2] D. Carfì. Quantum operators and their action on tempered distributions.
Booklets of the Mathematics Institute of the Faculty of Economics, University of Messina, (10):120, 1996. Available as Researchgate Paper at https://www.researchgate.net/publication/210189140\_Quantum\ _operators\_and\_their\_action\_on\_tempered\_distributions.
[3] D. Carfì.
Principles of a generalization of the linear algebra in
S0n.
Booklets of the Mathematics Institute of the Faculty of Economics, University of Messina, (4):114, 1997. Available as Researchgate Pa-
at https://www.researchgate.net/publication/210189138\ _Principles\_of\_a\_generalization\_of\_the\_linear\_algebra\ _in\_the\_spaces\_of\_tempered\_distributions. per
[4] D. Carfì.
A conformally invariant caracterization of constant mean cur-
vature surfaces in 3-dimensional space forms. 115, 1998. [5] D.
Carfì.
Researchgate Paper,
https://dx.doi.org/10.13140/RG.2.1.2023.7526. On
Pseudo-Riemannian
manifolds
carrying skew symmetric Killing vectors Field.
Matematico di Messina, 5(series II):9198, 1998.
with
Minkowski
pages
index
Rendiconti del Seminario Available as Researchgate
https://www.researchgate.net/publication/210189136\ _On\_Pseudo-Riemannian\_manifolds\_with\_Minkowski\_index\ _carrying\_skew\_symmetric\_Killing\_vectors\_Field. Paper
at
15
SL-ultralinear operators and some their applications. Booklets of the Mathematics Institute of the Faculty of Economics, University of Messina, pages 113, 1998. Available as Researchgate
[6] D. Carfì.
at https://www.researchgate.net/publication/210189135\ _SL-ultralinear\_operators\_and\_some\_their\_applications. Paper
[7] D. Carfì.
Skew Symmetric Killing Vector Fields on a Parakahelerian
Rendiconti del Seminario Matematico di Messina,
Manifold.
7(se-
https:// www.researchgate.net/publication/210189129\_Skew\_Symmetric\ _Killing\_Vector\_Fields\_on\_a\_parakahelerian\_Manifold. ries II):117124, 2000.
[8] D.
Available as Researchgate Paper at
SL-ultralinear
Carfì.
ulty, University of Messina,
operators. 38:195214,
Annals of Economic Fac2000.
Available
as
Re-
https://www.researchgate.net/publication/ 210189128\_SL-ultralinear\_operators. searchgate
[9] D. Carfì.
Paper
at
S -Ultralinear
Algebra in the space of tempered distributions.
AAPP | Physical, Mathematical, and Natural Sciences, 2001.
[10] D. Carfì and C. Germanà.
S -nets
tions and generated operators.
Messina,
(in print).
in the space of tempered distribu-
Rendiconti del Seminario Matematico di
6(series II):113124, 1999.
Available as Researchgate Paper at
https://www.researchgate.net/publication/267462823\_S-nets\ _in\_the\_space\_of\_tempered\_distributions\_and\_generated\ _operators. [11] D Carfì and C.. Germanà. The space of multipliers of
S0
and the
S -families
Booklets of the Mathematics Institute of the Faculty of Economics, University of Messina, (5):115, 1999. Available as
of tempered distributions.
https://www.researchgate.net/publication/ 210189132\_The\_space\_of\_multipliers\_of\_S\%27\_and\_the\ _S-families\_of\_tempered\_distributions. Researchgate Paper at
[12] D. Car and C. Germanà. On the coordinates in an ultra-linearly indepen-
Booklets of the Mathematics Institute of the Faculty of Economics, University of Messina, (1):115, 2000. Available as Researchgate dent family.
at https://www.researchgate.net/publication/210189127\ _On\_the\_coordinates\_in\_an\_ultralinearly\_independent\ _family. Paper
[13] D. Carfì and C. Germanà. The coordinate operator in
SL-ultralinear
alge-
Booklets of the Mathematics Institute of the Faculty of Economics, University of Messina, (4):113, 2000. Available as Researchgate Pabra.
https://www.researchgate.net/publication/210189125\_The\ _coordinate\_operator\_in\_SL-ultralinear\_algebra. per at
[14] D. Carfì and E. Musso. T-transformations of Willmore isothermic surfaces.
Rendiconti del Seminario Matematico di Messina,
2000.
(series
II):6986,
Conference in honor of P. Calapso. Available as Researchgate
at https://www.researchgate.net/publication/266991245\ _T-transformations\_of\_Willmore\_isothermic\_surfaces. Paper
16
[15] J. B. Conway.
A course in functional analysis.
Analisi 3.
[16] G. Gilardi.
Springer Verlag, 1985.
McGraw-Hill, 1994.
[17] I.M. Guelfand and G.E. Chilov.
Les Distributions (Tome 2).
Dunod, Paris,
1964.
Topics in Functional analysis and applications.
[18] S. Kesavan.
Wiley Eastern
Limited, 1989. [19] S. Lang.
Real and functional analisys.
[20] C. Miranda.
Springer Verlag, 1993.
Istituzioni di Analisi funzionale.
Unione Matematica Italiana,
1978. [21] S. Roman.
Advanced Linear Algebra.
[22] W. Rudin.
Real and complex analysis.
[23] W. Rudin.
Functional analysis.
[24] L. Schwartz. [25] E. Zeidler.
Springer-Verlag, New York, 1992. Mc Graw-Hill, 1966.
Mc Graw-Hill, 1977.
Théorie des Distributions.
Hermann, Paris, 1978.
Nonlinear Functional Analysis and its applications, volume IV.
Springer Verlag, 1985. [26] E. Zeidler.
Applied Functional Analysis, volume I.
Springer Verlag, 1995.
David Carfì
Clara Germanà
Via Canova, 32
Institute of Mathematics
98121 Messina,
Faculty of Economy
Sicily, Italy
University of Messina
david.car@cys.it
Via Dei Verdi, 75
[email protected]
98122 Messina, Sicily, Italy
dcar@dipmat.unime.it
[email protected]
17