Professional Documents
Culture Documents
Band 78
Indefinite Inner
Product Spaces
Springer-Verlag
Berlin Heidelberg New York 1974
Janos Bognar
Mathematical Institute of the Hungarian Academy of Sciences,
1053 Budapest, Hungary
This work is subject to copyright. All rights arc reserved, whether the whole or patt of
the material is concerned, specifically those of translation, reprinting, fe-use of illustra-
tions, broadcasting, reproduction by photocopying machine or similar means, and
storage in data banks. Uneler § 54 of the German Copyright Law ,,,here copies are made
for other than private usc, a fee is payable to the publisher, the amount of the fee to
be determined by agreement with the publisher. © by Springer-Verlag Berlin Heidel-
berg 1974. Library of Congress Catalog Card Number 73-10669.Softcover reprint of
the hardcover 1st edition 1974
Preface
1. Vector Spaces
2. Inner Products 3
3. Orthogonality 7
4. Isotropic Vectors 9
5. Maximal Non-degenerate Subspaces 11
6. Maximal Semi-definite Subspaces . 12
7. Maximal Neutral Subspaces 14
8. Projections of Vectors on Subspaces 15
9· Ortho-complemented Subspaces 18
10. Dual Pairs of Subspaces . . . 20
11. Fundamental Decompositions 24
Notes to Chapter I . . . . . . . 26
1. Majorants . . . . . . . . . . . . . . . 77
2. Majorants and Metrizable Partial Majorants 79
3. Orthonormal Systems . . . . . 81
4. Minimal Majorants . . . . . . 84
5. Majorants and Decomposability. 88
6. Decomposition Majorants 90
7. Invariant Properties of G);+ and G);- • 93
8. Subspaces of Spaces with a Hilbert Majorant . 95
Notes to Chapter IV . . . . . . . . . . . . . 98
1. Preliminaries. . . . . . . 120
2. The Adjoint of an Operator 121
3. Isometric Operators. . . . 124
4. Unitary and Rectangular Isometric Operators. 128
5. Spectral Properties of Unitary Operators 131
6. Selfadjoint Operators . 133
7. Cayley Transformations 136
8. Unitary Dilations 139
Notes to Chapter VI . . . 14S
Bibliography. . 210
Index of Terms. 221
Index of Symbols 224
Chapter I. Inner Product Spaces without Topology
The basic notions connected with general inner product spaces are introduced and
analysed. In particular, non-degenerate spaces (Sections 4- 5), maximal semi-
definite subspaces (Sections 6-7), ortho-complemented subspaces (Section 9), and
decomposable spaces (Section 11) are investigated. Because of their simplicity, the
proofs can alternatively be worked out by the reader. Lemmas 4.4, 5.1, 6.3, 10.1,
10.7 and Corollaries 9.5, 11.9 deserve special attention.
1. Vector Spaces
2. Inner Products
(2.1)
are fulfilled for everyIXvIX2 E C and Xl' X2 , x, Y E (§3. Relations (2.1) and
(2.2) obviously imply
(y, 1X1X1 + 1X2X2) = (X1(y, Xl) + (X2(y, x 2) .
The number (x, y) is termed the inner product of x and y.
A vector space equipped with an inner product will be called an
inner product space.
4 I. Inner Product Spaces without Topology
(2-3 ) (x, y) = -
1
(x + y, + y)
X
1
- - (x - y, x - y) +
4 4
+ -i(x + ~y,
. x + ly
.) - -i (
% -
.ly , X -
.)
zy
4 4
for every x, y E~. Thus the inner product is uniquely determined by
the values of the inner square. Relation (2.3) is called the polarization
formula.
Consider an element % of the inner product space (2;. As (x, x) =
= (x, x), there are three possibilities: either (x, x) 0, or (x, x) 0, > <
or (x, x) = o. Correspondingly x is said to be positive, negative, or
neutral. It is clear that the .zero vector is neutral.
The set of all neutral vectors in ~ is called the neutral part of (2;, or
the neutral set of the inner product (. , .), and will be denoted by ~o.
The symbol ~oo will stand for the set obtained from ~o by omitting the
element 0:
~oo = {x E ~ : (x, x) = 0, % =1= O} .
We denote by ~++ (resp. ~--) the set consisting of the zero element
together with all positive (negative) elements of ~, and by ~+ (resp.
~-) the set of all non-negative (non-positive) elements of~. Thus e.g.
(x, y) = .1' ellii (x= {~l> ~2' ... }EGf, y= {171> 172' .•. }EGf)
i=l
defines an inner product on Gf, which may be indefinite, semi-definite
etc. depending on the numbers ej"
Example 2.4. VVe consider a real-valued function (1 of bounded
variation on the real line R, and the vector space Gf of all complex-
valued functions on R that are measurable and square-summable ",rith
respect to the total variation of (1. The relation
(x, y) = J x(~) y(~) d(1(~) (x,y E Gf)
R
Lemma 2.6. If the inner product space Q: contains at least one positive
(negative) vector, then every element of Q: is the sum of two positive (nega-
tive) vectors.
Proof. If X,X o E Q:, (xo, x o) > 0, then for sufficiently large positive
numbers (X the quantity
3. Orthogonality
Lemma 3.3. Ij £, we are subspaces ojrg and dim we = m < 00, then
dim (£ n weI) > dim £ - dim we .
Proal. We may assume that dim £ = l < 00, since in the opposite
case the result follows by considering subspaces of £ with increasing
finite dimensions. We may also assume that m > 1. l>
Let el , ... , el and Iv ... , I", be bases of £ and we,
respectively. The
elements of £ n weIare of the form aIel + ... +
aiel, where the
coefficients ai satisfy the equations
I
}; (ej' Ik)ai = 0 (k=1, ... ,m).
j=l
< 00 we obtain y =
00
Hence
A (y, x-Yo) + A (x-Yo, y) + IAI2 (y, y);;:; 0 .
8. Projections of Vectors on Subspaces 17
Setting j, = ~(x-Yo, Y), where f1, runs through all non-zero real
f1,
numbers, we obtain:
(8·3) y = Y1 + ... + Yn ,
where yjis a projection of x on 2j (j = 1, ... ,n). In particular, x has
a profection on 2 it and only if it has a profection on each 2j (j = 1, ... , n).
Prooj. Suppose that Y is a projection of x on 2. Then x = Y z, +
where yE2, zE21. Let (8.3) be the decomposition of y corresponding
to (8.2). Using the notation
(8.4) Z,:. = I: Yk
k*j
(j = 1, .. .,n)
9. Ortho-complemented Subspaces
In the last section we were looking for projection.,; of different vectors x
on a fixed subspace 3. One may also raise the following question: what
are the conditions on the subspace 3 in order that every x in the space
~ would have at least one projection on 3? Clearly, a necessary and
sufficient condition is <3, 3 1 ) = ~.
If a subspace 3 of the inner product space ~ satisfies the condition
<3,3 1 ) = ~, we shall say that 3 is ortho-complemented. In other words,
the subspace 3 C ~ is ortho-complemented, if it admits an orthogonal
complementary subspace, i.e. a complementary subspace contained in
3 1 . For a non-degenerate 3 this happens if and only if 3 (+) 3 1 =~.
Lemma 9.1. If 3 is ortho-complemented, so is 3 1 .
Proof. Since 3 c 3 11 , the relation <3, 3 1 ) = ~ implies
<3 1 ,3 11 ) =~. D
We remark that 3 1 may be ortho-complemented without 3 being
so. An example is a non-closed subspace in Hilbert space.
The following result is a special case of Theorem 8.5.
Lemma 9.2. Let 3 be the orthogonal direct sum of n subspaces: 3 =
= 3 1 (+) ... (+) 3 n . Then 3 is ortho-cmnplemented if and only if each
3 j (j = 1, ... ,n) is so. D
Lemma 9.3. A neutral subspace 3 C~ is ortho-complemented if and
only if 3 c ~o.
Proof. According to Corollary 4.5 we have 3 C 3 1 . Therefore the
property <3, 3 1 ) = ~ is now equivalent to 3 1 = ~ or, what is the
same, to 3 ~~. D
Theorem 9.4. The following two conditions are necessary and suffi-
cient in order that the subspace 3 C ~ would be ortho-complemented:
a) 3 0 C ~o ;
b) 3jBo is ortho-complemented in ~/~o.
00
sequences x = gv ~2' •.. } satisfying }; l~jl2 < 00, and the inner product
is defined by the relation j=\
00
independent and the vectors 11' ... , In are also linearly independent,
b) the subspaces <e1 , • • • , en>, <II> ... , In) form a dual pair. Thenext
lemma enables us to show that a converse of b) holds too.
Lemma lOA. Let 2 be an n-dimensional (1 < n <
(0) subspace of Ii,
and let we c Ii be a subspace satislying 2 n we.!. = O. There exist two
systems {ei}~' {fi}~ fOY'ming a dual pair such that <e1 , • • . , en) = 2,
<11' ... , I,,) c we.
Proal. Choose a basis {gi}~ of 2, and put e1 = gl' As e1 (f we.!., one
can find an 11 in we with (el> 11) = 1.
Suppose that two dual companions {ei}~' {li}~ (k <
n) have already
been constructed, where <e1 , ••• , ek) = <gl' ... , gk) and Ii E we
(j = 1, ... ,k). Put
k
eH1 = gH1 - 2,' (gH1' Ii) ei .
i=1
Then <e1 , · · • , eH1) = <gl' ... , gH1), (eH1' Ii) = 0 (j = 1, ... ,k).
Furthermore, since eHI (f we.!., there is a vector hH1 E 9)l satisfying the
relation (eH1' hH1 ) = 1. We set
k
IH1 = hk+l - 1; (hHj , ei ) Ii'
i=1
and verify easily that IH1 E 9)1, (/H1' ei ) = 0j,k+1 (j = 1, ... , h+1).
In the n-th step we obtain the desired dual pair. 0
Corollary 10.5. If 2, 9)1 are subspaces of Ii such that 1 < dim 2 =
= dim we< 00 and 2 nwe.!. = 0, then some basis 012 forms a dual pair
'I1:'£th some basis 01 9)1. 0
"*
Let Ik E wen)31, Ik O. As Ik cannot be orthogonal to the whole of)3,
it is not orthogonal to ek • Hence we may assume that (e k , fk) = 1.
Consequently, (e j , Ik) = dik (j = 1, ... , n), and this is true for every k.
It follows that Ik (k = 1, ... , n) are linearly independent; thus they
form a basis of we. 0
Lemma 10.7. In a non-degenerate inner productspace~ every finite-
dimensional subspace has a dual companion.
Prool. Let)3 be a subspace of @ with dim)3 = n 00. If n = 0, <
then we = 0 is a dual companion for)3. If n >
0, we may apply Lem-
ma 10.4 to )3 and ~. Thus we obtain a basis {ei}~ of )3 and a system
{/i}~ ( ~ which form a dual pair. The span </1> ... , In> will be a dual
companion for)3. 0
The following lemma can be applied in some cases as a substitute
for Lemma 10.1.
Lemma 10.8. If)3 # we, where )3 and we are finite-dimensional
subspaces 01 the inner product space ~, then )3 we 1 = ~. +
Prool. If)3 = 0, then necessarily we = 0, hence the assertion is
true. Otherwise we make use of Corollary 10.5 in order to obtain a
basis {ei}~ of)3 and a basis {fi}~ of we such that (ei,l k ) = dik (J',k = 1,
... ,n). For every x E @ we set
n
x.\! = L (x, Ij) ei '
j=1
Then dim 2 < 00. It remams to apply Lemma 9.8 and Corollary
1'1.5. 0
Corollary 11.8. Every inner product space of finite dimension zs
decomposable. 0
From Corollaries '11.8, 11.2 and Lemmas 9.2, 9.8 we obtain the
following strengthening of Lemma 9.8.
Corollary 11.9. Every finite-dimensional non-degenerate subspace oj
an inner product space is ortho-complemented. 0
Notes to Chapter I
Lemma 1.2. Let 03 be a vector space with 0 < dim 03 co. If <
T 1, ... , Tn are commuting linear operators on 03, then they have a com-
mon el:genvector.
Proof. Restricting Tv ... , T n - 1 to an eigenspace of Tn and making
use of Lemma 1.1 the problem can be reduced to the case of n - 1
operators. Thus the conclusion follows by induction. 0
2. Isometric Operators
Let (;l; be an inner product space with inner product (. ,.). A linear
operator U in Q; is said to be iso111etn:c, if (Ux, Uy) = (x, y) for every
pair x, y E '1J(U).
If (;l; is decomposable, and for some fundamental decomposition
(;l; = (;l;O(+)(;l;+(+)(;l;-; (;l;o c ~o, (;l;+ C ~++, (;l;- c ~--
the linear operator U is the direct sum of an operator in (;l;o, an iso-
metric operator in (;l;+, and an isometric operator in (;l;-, then, as it is
easy to see, U is isometric. From Example 2.3 below it turns out,
however, that even in a decomposable space not every isometric oper-
ator can be obtained in this way.
In contrast to the situation in Hilbert space, an isometric operator
in an inner product space need not be invertible; a trivial example is
the zero operator on a neutral inner product space (;l; O. For an *-
invertible isometric operator U the inverse U-l is obviously isometric.
Lemma 2.1. A n isometric operator U transforms isotropic and no}t-
1·sotropic elements of '1J(U) into isotropic and non-isotropic elell1ents
of m(U), respectively.
Proof. Let x E '1J(U). If (x, y) = 0 for every Y E '1J(U), then
(Ux, Uy) = 0 for every Uy E m(U). If (x, y) *- 0 for some y E '1J(U),
then (Ux, Uy) *- 0 for the corresponding Uy E m(U). 0
Corollary 2.2. If the domain of an isometric operator U is non-
degenerate, then U is invertible. 0
The condition appearing in Corollary 2.2 is not necessary for in-
vertibility; e.g. the restriction of an invertible isometric operator U
to a degenerate subspace 2 C '1J( U) remains to be invertible.
We are going to study the eigenvalues and principal subspaces of
isometric operators.
In Hilbert space, as it is well known, an isometric operator has only
unimodular, semi-simple eigenvalues. (We say that the number ex E C
is unimodular, if lex I = 1.) In an indefinite inner product space this is
not necessarily true, not even in the most "regular" case of an iso-
metric operator that maps a finite-dimensional non-degenerate space
onto itself.
32 II. Linear Operators in Inner Product Spaces
Ue = -1 e, Uf = 2f.
2
Then U is an isometric operator with eigenvalues VI = 1/2, V2 = 2.
The Hilbert space theorem on the orthogonality of eigenvectors
belonging to different eigenvalues fl, v of an isometric operator remains
valid for the principal vectors of an isometric operator in an arbitrary
inner product space under the assumption that fl and v do not lie sym-
metrically with respect to the unit circle.
Theorem 2.5. Let U be an isometric operator in the inner product
space~. If fl, V are eigenvalues of U such that fl v =F 1, then the principal
subspace ®,.(U) is orthogonal to ®v(U).
Proof. Let
(U-flI), x = 0, (U-vIr Y = O.
We must show that (x, y) = O. For r + s = 0 this is evident. Assum-
ing the validity of the same conclusion for r + s < n, we prove it
for J' + s = n.
Introduce the notations
(U-flI) x = Xl' (U-vI) Y = YI'
As the cases where r = 0 or s = 0 can be neglected, we have
(U -flI),-1 Xl = 0, (U _vI)S-1 YI = 0 .
Hence, by the assumption,
(x, YI) = (Xl> y) = (Xl' YI) = 0.
Making use of these relations we obtain
(x, y) = (Ux, Uy) = (flX + Xl' vy + Yl) = flv (X, y) .
The theorem is proved. D
Coronary 2.6. The principal subspace belonging to a non-unimodular
eigenvalue of an isometric operator is neutral. D
2. Isometric Operators 33
*
Proof. Owing to Corollary 2.2, v cannot be 0; thus v* is defined.
*
Denoting the direct sum of all principal subspaces ~J'(U) with f-l v,
f-l v* by 2.(U), we have
+
03 = (~v(U) ev'(U)) 2.(U) . +
Here, according to Theorem 2.5, the last component is orthogonal to
the first and second ones. (Note that the case Ivl = 1, ~v(U) = ~.*(U)
is not excluded.) Applying Lemma 1.4.2 we obtain that the subspace
+
6.(U)
*
ev'(U) is non-degenerate. This proves the assertion for
Ivl = 1, while for Ivl 1 the desired conclusion follows from Corollary
2.6, Lemma 1.10.2, and Lemma 1.10·3· 0
The next theorem complements the above one by showing that the
structure of UI~v(U) and UI~p'(U) is the same.
Theorem 2.8. Let 03 be a finite-dimensional, non-degenerate inner
product space. Let U be an isometric operator in 03 with '1)(U) = 03, and
let v be an et'genvalue of U. If the basis {fi}~ of ~.*(U) is a dual companion
for the basis {ei}~ of ev(U), then the matrices of UI@3v(U) and UI(5•• (U)
relative to {ei}~ and {Ii }~, respectively, are the inverses of the transposed
conjugates of each other.
Proof. The existence of the dual pair {ei}~' {fi}~ follows from
Theorem 2,7 and Lemma 1.10,6, Let
n
Uei = I:" 8ri er , Ufi = 2..' Cf!rifr (f = 1, ... ,n) .
1=1 7=1
3. Symmetric Operators
4. Cayley Transformations
(5.7) }.=/:;Y-/:;8,
'1'-8
where
52 j = <fi , (A - /\/)fi , ... ,
(A - /\/)';-1 fi ) (j = 1, ... ,10)
with some fjEQ;, }'iEC and positive integer r i satisfying the relations
(A - A/),; Ii = 0, (A - /\/)';-1 Ij =F- 0 .
By Lemma 5.1 we have 52 j c ~(U), U52 j c 52 j •
The second half of the lemma can be proved in a similar way,
making use of Lemma 5.2. 0
42 II. Linear Operators in Inner Product Spaces
In this section and the next one we consider the mutual behaviour of
two inner products (.,.) and (., ')1 defined on the same vector space 0;,
when (. , ')1 satisfies a sign condition on the neutral set of (. , .). The
results have applications in the special case (x, yh = (Tx, Ty)
(x,y E 0;) as well as in the case (X,Y)l = (Ax, y) (x,y E 0;), the operator T
(resp. A) being linear (resp. symmetric) and defined everywhere in 0;.
Throughout the present section we assume that (.,.) is
an indefinite inner product, while (., .h is an arbitrary inner
product on 0:.
Lemma 6.1. If (x, x) = °implies (x, X)1 ~ 0, then
(y, Y)l < (z, Z)l
(y, y) = (z, z)
for every pair y,z E 0; with (y, y) < 0 , (z, z) > 0 .
Proof. If the assertion is false, there exist two elements y, Z E 0;
such that
(y, y) = - 1, (z, z) = 1, - (y, yh (z, Z)1 . >
Setting x = e y + z, where lei = 1, we obtain:
(x, x) = 2 Re {e (y, z)} ,
(x, X)1 < 2 Re {e (y, z)d .
Thus for a suitable e we have (x,x) = 0, (x,xlI < ° in contradiction
with the hypothesis. 0
6. Pairs of Inner Products: Semi-boundedness 43
Theorem 6.2. If (x, x) = °implies (x, X)1 > 0, then
where
for suitable real numbers [11' [I~ and every vector x. By addition we
obtain ([11 + [I~) (x,x) :s ° for
every x. Since (.,.) is indefinite,
[I~ = - Thus (X,X)1 = [ll(X,X) identically in x. It remains to apply
[11'
the polarization formula (1.2·3)· 0
Lemma 6.4. If the relations (x, x) = 0, x i=- °imply (x, xlI > 0, then
(y, Y)l < (z, Z)l
(y, y) (z, z)
The results contained in this section are more or less evident from the
intuitive picture of the neutral set of an inner product as a surface
separating the positive and negative elements of the space. The sym-
bols (. , .) and (. , ')1 will denote two arbitrary inner products on the
vector space @;.
°
Thus for a suitable S and every 0: we have (x, x) = 0, and by a sub-
sequent choice of 0: also (x, xh = can be achieved. Since (7.3) guaran-
tees that x -=I- 0, our result contradicts the assumption. Therefore
equations (7.2)-(7.3) cannot hold simultaneously. 0
Lemma 7.2. Suppose that x E ~oo implies (x, xh > 0. Then either
(y, y) ° °
< implies (y, yh > 0, or (z, z) > implies (z, Z)1 > 0.
Proof. If the conclusion is false, there exist two vectors y, z such
°,
that
(y, y) = - 1 , (y, y)l <
(z, z) = 1 , (z, zh < °.
Setting x = sy + z, where \s\ = 1, we obtain:
x -=I- 0, (x, x) = 2 Re {s(y, z)}, (x, xh < 2 Re {s(y, z)d .
Thus for a suitable s we have x -=I- 0, (x, x) = 0, (x, xh < 0, contrary to
the assumption. 0
8. Plus-operators
Proof. In Theorem 6.2 we put (x, Y)l = (Tx, Ty) (x,y E Q:). 0
For every plus-operator T the number p(T) defined by (8.2) is
non-negative. If p(1'»O, we say T is a strict plus-operator. In the
opposite case (i.e., when p(T) = 0) T is said to be a non-strict plus-
operator.
Corollary 8.2. A strict plus-operator carries positive vectors into
positive vectors. 0
Corollary 8.3. The range of a non-strict plus-operator is a positive
subspace. 0
The properties of strict and non-strict plus-operators contained in
Corollaries 8.2 and 8.3 are not characteristic.
Example 8.4. Let Q: be the vector space of complex sequences
< 00.
00
+i=2
00
The linear operator T that maps {~i }~1 into {(Xj ~i-l }~l'
9. Pesonen Operators
*
Remark 9.3. It is not an essential restriction on the Pesonen
operator A if we assume that (Ax, x) >°
whenever (x, x) > 0, x 0.
In fact, according to Theorems 9.1-9.2 this can always be achieved
rep~acing, if necessary, the space 0: by its anti-space 0:' and the opera-
tor A by -A.
The next result is a consequence of Theorem 6.2.
10. Fundamental Projectors 49
Theorem 9.4. If A is a Pesonen operator s~tch that (Ax, x) >0 for
every x E ~OO, then
(Ax, x) > ftA (x, x) (x E @) ,
where
ftA = inf (Ax, x)
(X,-<) =1
>-co. 0
where
(10.4) x = x+ + x- ;
is the decomposition of the vector x corresponding to (10.1). The opera-
tors P+, P- will be called the fundamental projectors belonging to the
fund amen tal decomposition (10.1).
Theorem 10.1. If 2 is a positive subspace of the decomposable, non-
degenerate inner product space ~, and P+, P- are the fundamental
projectors belonging to a fundamental decomposition (10.1) of ~, then the
restriction P+12 is invertible. Similarly, if 2 is negative, then P-12
is invertible.
Proof. Let 2 be positive. Suppose that for some x E 2 we have
P+x = O. Then x = P-x. Hence x E 2n~- C ~+ n~-- = O.
In the case of a negative 2 a similar reasoning applies to P-I~· 0
The rest of the present section is devoted to quasi-positive and
quasi-negative spaces. Recall that these spaces are decomposable
(Theorem 1.11.7).
Lemma 10.2. If ~ is a quasi-negative, non-degenerate inner product
space, then for any maximal positive definite or maximal positive sub-
space 2e@ and any fundamental decomposition (10.1) we have dim 2 =
= dim ~+. Analogously, if @ is a q~tasi-positive, non-denegerate space,
then for any maximal negative definite or maximal negative subspace 2
and any fundamental decomposition (10.1) we have dim 2 = dim @-.
Proof. Let 2 be a positive (possibly positive definite) subspace of
the quasi-negative, non-degenerate space @. Consider a fundamental
decomposition (10.1) of @ and the corresponding fundamental projec-
tors P+, P-.
If P+2 =F @+ then, @+ being finite-dimensional and positive
definite, there is a non-zero vector YE@+ orthogonal to P+2. Since y
is orthogonal to @- as well, for every xE2 we have (x, y) = (P+x, y) +
+ (P-x, y) = O. Thus y 1. 2. Therefore the proper extension (y,2)
of 2 is positive (d. Remark 1.3.2). Moreover, it is positive definite
provided 2 was so.
10. Fundamental Projectors 51
Consequently, for a maximal positive definite or maximal positive B
we have P+B=@+. Hence, in view of Theorem 10.'1, B is isomorphic
to @+. 0
Corollary 10.3. In a quasi-negative, non-degenerate space ft'ery
maxitnal positive definite subspace is maximal positive. Ina q'ttasi-
positive, non-degenerate space every maxl:mal negative def£11ite subspace
is maximal negative. 0
Making use of Lemma 1.11.4 we also find:
Corollary 10.4. If
(10.5) @=@t(+)@j; @t c ~++, @j c ~-- (j = 1, 2)
are two fundamental decompositions of the quasi-negative, non-degenerate
inner product space @, then dim @i = dim @t. For a quasi-positive @
we have dim @~ = dim @2" . 0
Lemma 10.2 justifies the following definitions.
Let @ be a quasi-negative, non-degenerate inner product space, and
let B be a maximal positive definite subspace of @. The non-negative
integer dim B will be termed the rank of positivity of the space @ (or of
the inner product (. , .)), and denoted by x+(@). For every fundamental
decomposition (10.1) we have
(10.6) x+ (@) = dim Q;+ .
°
holds only if x+ = 0. Similarly, the negative definiteness of (2;- yields
- (x-, x-) > with equality holding if and only if x- = 0. 0
Lemma 11.3 x = O. The relation 1))( n21 = 0 follows in a similar way once
we realize that]1))( =]22 = 2 (see (11.4)). Finally, I))( is isometri-
cally isomorphic to 2, since] is an isometric operator (Lemma 11.1). D
By the aid of I-norms an extremely useful description of semi-
definite subspaces c:;tn be given. For this purpose we need one more
definition.
Let 2 be a subspace of the decomposable, non-degenerate inner prod-
uct space @. Consider a fundamental decomposition
@ = @+ (+) @-; @+ C \15++ , @- c \15-- ,
and the corresponding fundamental projectors P+, P-. Suppose that
P+ 12 is invertible. Then every element x E 2 is uniquely specified by
its projection P+x, so that the formula
(11.10) (x E 2)
defines a linear operator ]{+ = K+(2) from @+ to @- with domain
<JJ(K+) = P+2 and range ffi(K+) = P-2. We say, K+ is the angular
operator of the subspace 2 with respect to @+. Similarly, if P-12 is
invertible, then the angular operator K- = K-(2) of 2 with respect
to @- can be defined by the relation
(11.11) K- P-x = P+x (x E 2);
we have <JJ(K-) = P-2, ffi(K-) = P+2 .
Theorem 11.6. Suppose that
@ = @+ (+) @-; @+ C \15++, @- C \15-- .
Let 2 be a subspace of @. If KT(K-) is the angular operator of 2 with
respect to @+(@-), then
(11.12) 2 = {x+ + K+x+; x+ E 2d
(resp.
(11.13)
where 2 1 (22) is a subspace of @+(@-). Conversely, if 2 can be written in
the form (11.12) (resp. (11.13)), 'where 2 1 (52 2) is a subspace of @+(@-) and
I(+(K-) is a linear operator from 21 to @- (from 22 to @+), then K+(K-)
is the angular operator of 2 with respect to @+(@-).
The proof is straightforward. D
Theorem 11.7. S~tppose that
@ = @+ (+) @-; @+ C \15++ , @- c \15-- ,
and denote the corresponding fundamental symmetry by]. A subspace
2c@ is positive if and only if the angular operator K+ of 2 with respect
Notes to Chapter II 55
to Q;+ exists and satisfies the condition
Notes to Chapter II
Most results of this chapter were originally obtained as tools for the
study of linear operators in special kinds of inner product spaces, but
it has been evident from the beginning that they remain valid under
more general assumptions. Here we bring them together in order to
make clear their respective ranges as well as to make subsequent proofs
of deeper theorems more transparent.
Isometric and symmetric operators in inner product spaces of
finite dimension have been studied for a long time. An account of
the results appears in the book of Marcev [1].
Symmetric operators in certain quasi-positive inner product spaces
of infinite dimension were introduced by Pontrjagin [1J, in a wider class
of spaces by Ginzburg [2J (d. also Pesonen [1], Langer [1J), and in
arbitrary non-degenerate spaces by Berezin [1J.
More and more general types of isometric operators in indefinite
inner product spaces of infinite dimension have been considered by
KreIn and Rutman [1], Iohvidov [1], [2J, Krein [4J, Iohvidov and
KreIn [1], Ginzburg [1], [2J, and again by Iohvidov [4J, [11].
Corollary 2.2 was noted by Iohvidov and Krein [1J, and Lemma 2.1
by Iohvidov [4]. For the rest of the results of Section 2 see Mal' cev [1 J,
Iohvidov and Krein [1].
56 II. Linear Operators in Inner Product Spaces
Partial majorants (locally convex topologies ill which the inner product is separately
continuous; Sections 2- 4) and admissible topologies (partial majorants with respect
to which every continuous linear form is an inner multiplication; Sections 5-7),
especially their relation to orthogonal companions and to the existence of projec-
tions are discussed. Sections 8-9 deal with the natural normed topology of definite
subspaces. The list of more important results includes Corollary 2.5 as well as
Theorems 3.3, 5.3, 6.1, 6.5, 7.1, and 9.2.
Let ~ be a vector space with an inner product (. , .), and let, be a topol-
ogy on~. We say that, is a partial maforant of the inner product (or:
a partial majorant on ~) if 1), is locally convex, and 2) for any fixed
y E ~ the function fJ!y(x) = (x, y) is ,-continuous on ~.
60 III. Partial Majorants and Admissible Topologies
p clearly satisfies (1.1). The property (1.2) follows from the fact
that for a positive number (} the relation x E (}~l is equivalent to
lal x E lal (} ~l or, in view of (3.4), to ax E lal (} ~1' In order to check
(1.3) let xi E (}i~l (i = 1,2). Then ~ xi E ~l and, by the convexity
of ~l> (}i
1
(}l
_ .._ - - Xl + ---
(}2
-1 x2 E ~l'
(}l + (}2 (}l (}l + (}2 (}2
n n
y = l:,' p"y,,; {y,,}~ c~ , }; IP"I < 1.
"=1 "=1
(3·8) (x, Y) = L
~i n-i-l .
i=-oo
Suppose that this inner product has a partial majorant defined by
a norm II· II. Then I(x, y)1 < (3(y) Ilxll for a suitable (3(y) and >°
every x, y E~. Setting
y = en = {(Ji,-n}~-oo (n = 1, 2, ... )
we obtain:
I(x, e_n)1 = l~n-ll < (3(e_ n ) Ilxll (x E~; n = 1,2, ... ) .
The
for
choice x = {~j}~oo; ~i = ° for f < 0, ~j = (j + 1) (3(e-i-l)
f > 0, yields n (3(e_ n ) < (3(e_ n ) Ilxll (n = 1,2, ... ), which is
impossible. Thus our inner product has no normed partial majorant;
by Theorem 3.1 it cannot have a metrizable partial majorant either.
5. Admissible Topologies
{(x, Yl)' ... , (x, y,J} = 1.: IXk{(X k , YI)' ... , (Xk' y,,)}
k=1
(5.5) "
(x", }; fJjYj) = cp(xk ) (k = '1, ... , m)
j=1
cp(x) = cp (J.;
k=1
O(k X ,,) = ( i'
k=1
O(kXk '
= (x, Yo)· 0
It is clear that the weak topology is separated if and only if the
inner product is non-degenerate. This remains true for every admissible
topology.
P(x)
I
<-n1 (j = 1, ... , n)} (n = '1,2, ... ) ,
(5.10) (x E ~) .
68 III. Partial Majorants and Admissible Topologies
Therefore the sequence {q3(y,,)}~ is bounded for any fixed (j; belonging
to the conjugate space Q;* of the normed space &. But q3(y,,) can be
regarded as the value of a linear form y" on the element (j; of the Banach
space Q;*. According to (5.9) this linear form is continuous; its norm
is not greater than, and by the Hahn-Banach extension principle not
less than, the value Ily,,11 = q(y,,). Thus (5.8) contradicts the principle
of uniform boundedness. 0
The results to be presented in this and the next section show that ad-
missible topologies are a natural tool in the study of orthogonal com-
panions, the existence of projections etc. It also turns out that often
in these applications the particular choice of the admissible topology
is indifferent.
Theorem 6.1. Let 't be an admissible topology on the inner product
space Q;. Then the i-closure of any s~tbspace 2 c Q; coincides with 211 .
Proof. Denoting the i-closure of 2 by 2 we have 2 C 2 11 , since
2 c 211 by definition and 211 is i-closed by Lemma 2.4.
Now let Xo (£ 2. Then Xo has a i-neighbourhood disjoint from 2.
This neighbourhood contains a set of the form
{x: PYj(x-xo) <8 (j=1, ... ,n)},
where Py" ... , PYn belong to the family of semi-norms defining't, and
8is positive. Introducing the notations
P(x) = max pyj(x) (x E Q;) ,
1;;;;1;;;;"
it is easy to see that q is a semi-norm and q(xo) ;;::: 8. Therefore the Hahn-
Banach extension principle assures the existence of a linear form <p on
Q; with
<p(xo) = 8 ,
(6.2) l<p(x) I < q(x) (x E Q;) •
8. Intrinsic Topology
(n = 1,2, ... ) .
If no more than a finite number of vectors ej is positive, then the
above construction applies to the anti-space of Q:, again providing a
singular subspace in Q:. 0
But for any yE~ we have (xm - x n ' y) = (xm - x n ' Yo), where Yo is the
projection of y on.\3. Consequently, (9.4) implies (9.1). Thus for some
x E ~ the relation (9.2) holds. Furthermore, in view of Corollary 2.5
and Theorem 2.1, .\3 is weakly closed. Hence x E 2 .
74 III. Partial Majorants and Admissible Topologies
Notes to Chapter HI
Partial majorants and admissible topologies have been studied for
some time in the duality theory of topological vector spaces; see e.g.
Bourbaki [1J, Kothe [1J, Robertson and Robertson [1], Schaefer [1J.
The application of the general theory to inner product spaces was
initiated, in different directions and independently of each other, by
Aronszajn [1J and Scheibe [1]. The investigations of Aronszajn were
continued by Wittstock [2J, [3J, and those of Scheibe by Ginzburg and
Iohvidov [1].
The mathematical treatment of the intrinsic topology of definite
subspaces, a subject characteristic for inner product spaces, began with
76 III. Partial Majorahts and Admissible Topologies
Sections 1, 2, and 4 are concerned with the existence and general properties of
majorants (roughly speaking, normed topologies in which the inner prodnct is
jointly continuous). Section 3 deals with orthonormal systems. Sections 5 -7 dis-
cuss the existence and topological properties of fundamental decompositions in
terms of majorants. In Section 8 the study of the projection problem is carried on.
The following results should be specially mentioned: Theorems 3.3, 5.2,6.4, 7.2, 8.6,
Corollaries 6.3,7.4, and Lemma 7.1.
1. Majorants
is a semi-norm on @, and for P(x), P(y) < e we have [(x, y)[ < 1. Thus
the topologYil :::; i defined by p is a majorant. 0
Remark 1.3. In Example II1.3.2 we exhibited a non-degenerate
inner product having no normed partial majorant, hence no normed
majorant. From Lemma 1.2 and Corollary II1.2.2 it follows that this
inner product cannot have any kind of majorant.
Consequently, in the case of Example II1.3.2 the weak topology is
not a majorant. This fact is much more general.
Theorem 1.4. The weak topology io of the non-degenerate inner prod-
~tct space @ is a majorant if and only if dim @ oc. <
Proof. Let dim @ <
00. Then, owing to Corollary 1.11.8, @ is
decomposable. Therefore, by Lemma II.11.4, any J-norm defines a
majorant iJ on @. Since a finite-dimensional vector space has only one
separated locally convex topology (the euclidean topology), io coincides
with iJ.
Suppose, conversely, that io is a majorant. Then there exist ele-
ments Zlo . • • , zn E @ and a number e >
0 such that I(x, y) [ 1 when- <
ever [(x, zj)i<e, [(y, zj)[<e (j = 1, ... , n).
Denote the subspace (Zl"'" zn) by 53. Let xE53 1 , YE@. Then
[(mx, Zj)[ = 0 < e (j = 1, ... , n; 111 = 1,2, ... ) ,
and for a suitable a > 0 also
[(ay, Zj)[ < e (j=1, ... ,n).
It follows that
[(mx,ay)[ <1 (m = 1,2, ... ) ,
i.e., (x, y) = 0.
2. Majorants and Metrizable Partial Majorants 79
We have proved that 21 C 0:: 1. Therefore 2ll ) 0:: ll = 0::. On the
other hand, according to Theorem 1.10.10, 2ll = 2. As a result,
0:: = 2. 0
On the other hand, II· II does not define a majorant of (., .), Sl11ce
(e k , ek )"-7-oo (k"-7-oo), whereas Ilekll = 1 (k = 1,2, ... ).
If, however, the metrizable partial majorant is complete, this
phenomenon cannot occur.
Theorem 2.3. Every complete metrizable partial majorant is a
majorant.
Proof. Let < be a complete metrizable partial majorant on the inner
product space 0::. Consider two sequences {x,,}';:", {y,,}';:" ( 0:: such that
80 IV. l\Iajorant Topologies on Inner Product Spaces
lim x"
H-+OO
= lim 1'"
n-+OO
= 0 with respect to i. The linear forms Cfy" (n = 1, 2,
... ) defined by <py,,(x) = (x,Y n ) (x E @) are i-continuous, and for
fixed x the numerical sequence {<py,,(X)}~=l is bounded (tends to 0).
Thus, according to the uniform boundedness principle (valid in Fnkhet
spaces), given any neighbourhood U of OEe there exists a i-neigh-
bourhood ~ of OE@ so that x E ~ implies ipy,,(X)EU (n = 1,2, ... ).
In particular, <py,,(x n ) E U if n is sufficiently large. Hence (x"' Yn ) -+ 0
(n-> 00). 0
Proof. Let i be defined by the norm II· II. The relation .' < i
holds if and only if there exists an ex > 0 such that
Ilxll' < exllxll (x E @) .
3. Orthonormal Systems 81
3. Orthonormal Systems
The next result relies on Lemma 3.1 and the idea of the Gram-
Schmidt orthogonalization process.
Theorem 3.2. Let Xl' x 2 , . •. be a sequence of elements in the non-
degenerate inner product space 0;. Then there exists a countable (finite or
infinite) orthonormal system {e i } ( a; whose span contains each of the
vectors Xv x 2, . . . .
Proof. Let Xi, = Yo be the first non-zero element in the sequence
{xi}' If it is non-neutral, we set el = 1(Yo,Yo) 1- 1/2 Yo' In the opposite
case we apply Lemma 3.1 to obtain an orthonormal system {e V e2 }
satisfying Yo E <el , e2 )·
Suppose that for some positive integern we have already constructed
a finite orthonormal system {el , . . . , ed whose span 53 k contains the
vectors xl> ... ,x". Let jn be the first index with Xi" E! 53 k (if such an
index exists). Put
k
Yn = Xi" - 2.,' (e i , ei ) (xin' ei ) ei .
i~1
82 IV. Majorant Topologies on Inner Product Spaces
*"
According to Corollary 1.11.9 and Lemma 1.4.22* is non-degenerate.
If (y", Yn) 0, we define eHI = I(y", Y")1- 1 / 2Y,,. Otherwise we select
an orthonormal system {eHj, eH2} C 2Ji such that y" E (eHj , ek+2)
(d. Lemma 3.1). In both cases we obtain a finite extension of the
orthonormal system {e 1 , . . . , ek } with span containing X,,+1 as well. 0
Let i be a locally convex topology on the inner product space @.
We say that the system {x"}1'EF C @ is complete in @ with respect to i
<
(or: i-complete in @), if the span x")1' EF is i-dense in @.
Theorem 3.3. Suppose that i is a separable Inajorant on the non-
degenerate inner product space @. Then every orthonormal system in @
is countable, and there is a i-complete orthonormal system in @.
Proof. Let i1 < i be a normed majorant on @ (d. Lemma 1.2 and
Corollary III.2.2). Then also i1 is separable. Let 21 be the subspace
spanned by the positive elements of an orthonormal system {e"}"G r.
The topology il121 induced by the separable normed topology i1 is
separable. On the other hand, il121 being a majorant on 21> the in-
trinsic topology iint(21 ) is weaker than i l 121 . As al result, iint(21) is
separable. Therefore, by the theory of Hilbert spaces, the set of positive
elements ey is countable.
Passing to the anti-space of @ we conclude that the set of negative
elements e1' is also countable.
Finally, let Xl' x 2 , ••• be a i-dense sequence in @. According to
Theorem 3.2 there exists a countable orthonormal system {e j } C @
whose span contains each xi" In particular, {e i } is i-complete in @. 0
The next result yields criteria for the validity of a natural generali-
zation to indefinite inner product spaces of the well-known orthogonal
expansion theorems.
Theorem 3.4. Let {ej}j':1 be an orthono1'1nal system in the no1/.-
degenerate inner product space @. The following conditions are equi-
valent:
a) @ admits a fundamental decomposition
(3.'1) @ = @+(+l@-; @+ C ~++, @- C ~--
such that the e/ s with (e j , eil = 1 belong to @+ and form there a iint (@+)-
complete orthonormal system, whereas the e/s with (e i , eil = -1 belong
to @- and form there a iint(@-)-complete orthonormal system.
b) We have
co
(3·2) .2.' (x, ej )12
1 < 00 (x E @)
i~1
and
(3-3) - L I(x, ei )1 2 :::; (x, x):::; l..,' I(x, ei )[2 (x E @) .
(ej,ej)~-1 (ej,ej)~1
3. Orthonormal Systems 83
c) We have the relations (3.2) and
co
(3.4) (x, y) = L (e i , Gi ) (x, ei ) (e i , y) (x,y E ~) •
j=1
d) The function
e:t- = {e j if (e j , ej ) = 1 , e-:- = {e j if (e j , ej ) = - 1 ,
J 0 otherwise; J 0 otherwise.
a) impl£es b). If x = x+ + X-, where X+E~+, X-E@-, then by the
theory of Hilbert spaces
00 00
(3.7) x" =
"
2,' (e j , Gi ) (x, ej ) Gj .
i=1
Then
for i ~ n,
for i> n.
Applying relation (3-3) to the element x-x" we obtain:
00 n co
- 1.: I(x, ejW ~ (x, x) - 2: (e j , ej )l(x,6i )1 2 :'S 2; I(x, ej)12 .
j=,,+1 i=1 j=n+l
(3.12) x = -
i=1
00
.E (x, en ej (x E ~-) .
Since the topology involved in the convergence of the series (3.6), (3.11),
(3.12) is a majorant, inner products can be calculated term by term.
Making use of this remark it is easy to verify (3.1) and the relations
4. Minimal Majorants
Proof. Let -r be defined by the norm II· II. For some (X >0 we
have I(x, y)1 < (X Ilxllllyll (x,y E Gr). Setting
(4.1) Ilxll l = (X1/2llxll (x E (g)
we obtain:
I(x, y)1 ~ Ilxlll Ilylll (x,y E Gr) .
Let
V2
From (4.3) and (4.5) it follows that I(x, y)1 ::;:; IlxlloollYltco (x,y E 0:).
In particular, the topology Too defined by II . 1100 is a majorant on 0:.
Moreover, from (4.5), (4A) and (4.1) we obtain the relation tlxltoo ::;
::;a 1i2 11xll (x E 0:). Thus Too ::; T.
It remains to prove that T~ = Teo' By (4A) and (4.5) we have
Ilxll" > Ilxll oo · Therefore
(4.7) Ilxtl;, < Ilxll~ (x E 0:; n = 1,2, ... ) .
In view of (4.6) and (4.7) the limit
(4.8) Ilxll co = lim
n-+OO
Ilxll;, (x E 0:)
exists and satisfies the inequality
(4.9) Ilxii OO
:s Ilxll~ (x E 0:).
On the other hand, relations (IIIA.2), (4.6), (4.8) yield:
I(x, y)1 < Ilxll~ IIYlln < IlxllOOllyll" (x,y E 0:; n = 1,2, ... ) .
Hence I(x, y)1 ~ IlxilCOIlYilco , i.e.,
(4.10) Ilxll~ ~ Ilxll co
(x E 0:) .
According to (4.9), (4.10) and (4.8) we have:
(4.11) Ilxll~ = lim
/[----'?oo
Ilxll;, (x E 0:) .
Passing in (4.2) to the limit with the help of formulas (4.5), (4.11), we
conclude that Ilxll oo = Ilxll~ . 0
;; l~il2
i=1
< 00, i=1
i (2f)2 1~2i12 < 00, .i
1=1
(21')2
1
1~2i _11 2 < 00.
For X,Y E (;);, Y = {1Ji }';"', put
00
(x, y) =
j=1
.1' (~2i-l "iJ2i + ~2i ii2j-l) .
Each of the norms
defines a majorant of this inner product, as one verifies most easily with
the help of Lemma 1.1.
Suppose II . 113 is a norm on (;); that defines a
weaker topology than any of II . 111 and II . 112' For the elements
xn = {
1
;- ()j,2n-l
1}00
+ ,/-()j,2n. '
fn yn 1=1
Yn =
_
{2Vn()j,2n-l + ,I1}00
a ()i,2n .
2 yn 1=1
:S io(x)) and 2; l~il2 (The first condition says that all but a
i~1
(x, y) = 2: ~i 17-i-1 .
i~-oo
One verifies in just the same way as in Example 1.11.3 that the n011-
degenerate inner product space Q; so obtained is non-decomposable.
Nevertheless, Q; admits a majorant defined by the quadratic norm
00 )1/2 (x a;) .
11xII = (
i~~ool~iI2 E
where the integrals exist in the T-topology. It is easy to see that the
subspaces
@;- = E( -O)~ , @;o = (E(O) - E( -O))@;, @;+ = (I -E(O))@;
form a fundamental decomposition of @;; moreover, each of the sub-
spaces 'la, @;+, @;-, @;o +
@;+, @;o @;-, @;++ +
@;- is T-c1osed. 0
Remark 5.3. For a non-degenerate @;the second half of Theorem 5.2
is weaker than Corollary III.2.6.
*
equivalent to any quadratic norm. (We may choose e.g. @ = lP;
1 < p< co, P 2, since it contains closed subspaces without closed
complementary subspaces, as first proved by Murray [1].) Consider the
Banach space @ X @* of all pairs {x, r}, where x belongs to @ and r
is a continuous linear form on @, linear operations and norm being
defined by the relations
(Xl {Xl' rl} + (X2{X2, r2} = {(XlXl + 0;2X 2, C'l(Pl + (X2r2}
((Xl> (X2 E C; X l ,X2 E 0:; (Pl>r2 E @*) ,
(5.6) II{x, <p}11 = (11x11 2 + 11<p112)1f2 (XE0:, <pE0:*).
Introduce the non-degenerate inner product
(5.7) ({X, r}, {y, '1fJ}) = 1p(X) + r(y) (X,y E @; r, 'If' E 0:*).
Obviously, the norm (5.6) defines a majorant of the inner product (5.7).
We are going to prove that this majorant is an admissible topology.
Let (JJ denote a linear form on @ X 0:* which is continuous relative
to the norm (5.6). The restriction of (JJ to 0: X 0 can be looked upon as
a continuous linear form on the Banach space @. Thus for a suitable
<Po E @* we have (JJ({x, O}) = <Po (x) (x E @). Similarly, making use of
the reflexivity of 0:, we find an Xo E@ with (JJ({O, r}) = <p(xo) (<pE@*).
As a result,
({x, <p} E @x@*).
Now suppose that @ X @* is decomposable. Then, in view of
Theorem 5.5 and what we have just seen, the norm (5.6) is equivalent
to a quadratic norm on 0: X @*. The restriction of the latter to @ X 0
yields a quadratic norm on @ equivalent to the original norm. This
contradicts the choice of @.
6. Decomposition Majorants
Now let XE@ be arbitrary. Setting P+x = x+, with the help of
(6.3) we find:
Ilx+112 < 0211x+IIJ = 02(X+, x+) = 02(X+, x) ~ {J02 Ilx+llllxll .
Hence Ilx+11 < {J021Ixll, so that
Ilxlli = (lx, x) < {J IIIxllllxl1 = {J 112x+-xllllxll ~
< {J(2{J(j2 + 1) Ilx11 2 •
Therefore the majorant i J is weaker than the minimal majorant i. As
a result, i J = i. 0
From Theorems 6.1 -6.2 we obtain:
Corollary 6.3. If@ has a fundallwntal decomposition of the form (6.1),
where one of the subspaces @+, @- is intrinsically complete, then there is
only one decomposition majorant on @. 0
In the previous section we have seen that in some instances the de-
composition majorant does not depend on how the fundamental de-
composition is chosen. In order to prove other invariant properties
of fundamental decompositions, we need the following improvement of
Theorem II.i0.1.
Lemma 7.1. Suppose that the inner product space 0: admits a funda-
mental decomposition of the form
(7.1) 0:=0:+(+)0:-; 0:+c~++, @-c~--.
Proof. For every x E ~ Lemma II.i '1.2 yields IIP+xII I < IlxiII. If
2 is positive, then for x E 2 we also have
Ilxllj = IIP+xllj + liP-xii} = 211 P +x llj - (x, x) :S 21I P +x llj.
Analogously, for x in a negative subspace 2 we find
Ilxll} = 21IP-xll} + (x, x) < 21IP-xllj. D
and
(7.2) (2(-) ( ~--
Lemma 7.3. Suppose that the inner product space (2 admits a funda-
mental decomposition of the form (7.1). Let 3 be a Positl:ve definite sub-
space of @. Then dimillt 3 ~ dimint (2+. Similarly, if 3 ( (2 is negative
definite, then dimint 3 ~ dimint @-.
Proof. Consider the fundamental symmetry] and the decomposi-
tion majorant i ] belonging to (7.1). For any subspace we (@ denote
by dim] 9)( the irdimension of 9)(, i.e., the minimal power of sets
liT ( 9)( whose span <21) is iT-dense in we. Let 3 be positive definite.
Since i ] is a majorant, ij~t (3) i]13; hence dimint 3 ~ dim] 3.
Further, by Lemma 7.1, dim] 3 :::;; dim] @I. Finally, dim] (2+ =
= dimint (2+ by definition. 0
Corollary 7.4. If (7.1), (7.2) are two fl£ndamental decompositions of
(2, then
(7.5) (2 = (20 (+) (2(+) (+) (2H; (2(+) (~++, (2(-) (1:j3--
are two fundamental decompositions, then in view of Corollary 1.5.3
and Lemma 1.5.2 the subspaces (2+ (+) (2- and (21+) (+) (2H are
8. Subspaces of Spaces with a Hilbert Majorant 95
Notes to Chapter IV
Krein spaces, the most important type of inner product spaces, can roughly be
characterized as non-degenerate, decomposable, complete spaces. Sections 1-2 deal
with their global properties. In Sections 4, 7, 9, 10 maximal semi-definite subspaces
of Krein spaces are investigated, while Sections 3, 5, 6, 8 are essentially concerned
with ortho-complemented subspaces. Theorems 1.3, 3.4, 3.5, 4.2, 5.3,5.7,6.3,7.1
and 9.1 give an idea of the contents of the chapter.
1. Krein Spaces
The rest of this book is devoted to Krein spaces and their linear
operators. The letter Sj, when used without explanation, will
always denote a Krein space.
It is well known that every positive definite inner product space Q; can
be embedded in a Hilbert space Sj as a dense subspace, and that this
procedure is essentially unique. The corresponding result for more
general inner product spaces reads as follows.
Theorem 2.1. Let
(2.1 ) 0;+ C \13+1 , 0;- c \13--
be a f~mdatnental decomposition of the decomposable, non-degenerate inner
prodnct space~. Denote the intrinsic completion of 0;+ and ~- by Sj+ and
Sj-, respectively. Then the cartesian prodnct Sj = Sj+ X Sj- is a Krein
space, and 0; l:S isometrically isomorphic to a dense subspace of Sj.
Let
(2.2) Q;j C \13++ , ~i c \13-- (j = 1,2)
3. Subspaces 103
3. Subspaces
of £ a fundamental decomposition
(3·3) S)- c ~--
Proof. Owing to Theorem II.1 0.1 the conditions are sufficient. Next
suppose that x+(5)) = 00, x-(5)) >
O. Let {e j };'" and {II}' respectively,
be orthonormal systems contained in the components 5)+ and 5)- of
a fundamental decomposition of 5). Denote by 2 the set of all elements
+ fMl'
00
of the form 2.Or.lj where o<'j ;:j= 0 only for a finite number of
1 00
indices and, moreover, 1:o<'j = 0<.1 = {Jl (d. also Example 1.4.9 and the
2
proof of Theorem III.S.1). Then £, is a positive definite subspace, but
the vectors
(n = 1,2, ... )
Now let x(Sj) = 00. Choose two orthonormal systems {e j };:" C Sj+,
{If};:" C Sj-. Define a linear operator K+ in the following way:
~(K+) = {2.;IX.e. :
i=t 1 1
i=t 1 1 i=t 7 +1 1 1
Then '1)(K+) is closed, (6.2) is fulfilled, but (6.3) does not hold for any
y < 1. On account of Lemma IV.7.1, Theorem II.H.7 and Theo-
rem 5.7, respectively, the subspace
£ = {x~ + K+x+: x+E;D(K+)}
is closed, positive definite, but not uniformly positive.
The case of negative definite subspaces can be treated by passing
to the anti-space of Sj. D
£2+£~=£1'
where £~ stands for the isotropic part of £1' On the other hand, by
Lemmas IV.S.7 and I. 4.4, there exists a closed positive definite sub-
space 23 such that .
23+2~=£1'
In view of Theorem 6.3 23 is uniformly positive, hence intrinsically
complete. But, according to Lemma I.5.2, £2 is isometrically isomorphic
to 23, In particular, £2 is intrinsically complete. At the same time,
having a degenerate closure £1> the subspace £2 is not uniformly positive-
(d. Lemma 5.4).
112 V. The Geometry of Krein Spaces
"*
1. £ contains a neutral non-zero vector XO' In this case, taking an
element Y E 5) with (xo, y) 0 and a sequence {x,,};x' c £ with x" -;> Xo
(n -;> 00), we find:
lim
1t-'?-00
Ix"ls = 0, lim (xw y)
n-)-oo
"* 0.
Hence £ is singular.
2. £ is positive definite. In this case we proceed as follows.
We consider a fundamental decomposition
(8.1)
with respective fundamental projectors P+, P- and fundamental sym-
metryJ = P+ - P-. Instead of P"'x, as usual, we shall write X+.
The subspace £ being non-uniformly definite, there exists an
Xl E £ such that (Xl' Xl) < Ilxlli~. By Theorem II.10.1 we may require
(xt,xt) = 1.
Set
(8.2) ~2 = {x E ~: x+ ~ xt} .
Then £1 +
£2 = £. Thus, on account of Lemma 8.1, £2 is non-uni-
formly definite. Consequently, there exists an X 2 E £2 satisfying the
conditions (x 2 , x2 ) < ~ Ilx211~, (x~~, xi) = 1. In view of (8.2) we also
have (xt, x;I-) = O.
Pursuing the process, we construct a sequence {xn};x' c £ such that
9. Alternating Pairs
An ordered pair {£v £2} of subspaces of the Krein space ,'9 will be
called an alternating pair provided £1 is positive, £2 is negative, and
9. Alternating Pairs 115
)31 ~ 3 2 , If, in addition, )31 is maximal positive and 3 2 is maximal
negative, we say that {3 v 3d is an alternating maximal pair.
By an alternating extension of the alternating pair l31 , 32 } we mean
an alternating pair {3~, 3~} such that 31 c )3~, 32 C 3~.
or, equivalently,
(9.4) P 2K l x = Kl;J x (x E P 3l )
7 ,
The purpose of this section is to give an idea of how one applies alter-
na ting pairs.
Let SdO be a I-Iilbert space with inner product [., .Jo and norm
II . 110' Let T l , T2 be dissipative operators in S)o; by this we mean that
Tv T2 are linear operators with dense domains ;])(Tl ), ;])(T2) satisfying
(10.1) [Tjxj' xj]o + [xi' Tjxi]o ~ 0 (xi E '1J(Tj); j = '1,2).
Suppose also that
(10.2) [1;X1' x2Jo = [Xl' T 2x 2]o (Xl E '1J(T l ), X2 E '1J(T2)) •
10. Dissipative Operators in Hilbert Space 117
Notes to Chapter V
The objects called here Krein spaces for the first time occurred implic-
itly in papers of Nevanlinna [4J and Pesonen [1]. Formally they were
introduced by Ginzburg ['I] in 1957 and investigated thereupon by
several authors including Iohvidov, Langer,Phillips, and Scheibe.
Nonetheless, the new term seems to be justified by the fact that the
theory of these spaces grew out, for the most part, of the school of
M. G. KreIn, and has largely been influenced by KreIn's personality
and contributions.
The present definition of Krein spaces was formulated by Scheibe
[1]. Most authors start from a Hilbert space and introduce the indefi-
nite inner product as a derived concept. In the latter treatment the
indefinite rather than the definite inner product is called J-inner
product.
The last assertion of Theorem '1. -, was proved by Iohvidov and
Krein [1J in a special case. In the general case it is due to Scheibe [1].
It follows also from independent investigations of Ginzburg [3].
Theorem 1.3 has first been obtained by Nevanlinna [4J and in-
dependently reproved by Langer [2J, Phillips [3], and Scheibe [1].
Langer also noticed that a non-degenerate, decomposable space is a
Krein space if and only if it is weakly sequentially complete (d. the
assumption of Theorem III.9.3).
That Krein spaces are completions of decomposable non-degenerate
spaces was observed in a special case by Iohvidov and KreIn [1J, and
in the general case by Ginzburg and Iohvidov ~1]. The uniqueness of
the completion seems to be considered in Theorem 2.1 for the first
time.
Theorem 3.4 was obtained by Scheibe [1J and Ginzburg [3J, inde-
pendently of each other. For a special case of Theorem 3.5 see Iohvidov
and KreIn [1].
Theorem 4.2, Theorem 4.4 and Lemma 4.5 belong to Phillips [1], [2].
The first two of these results have also been proved by Ginzburg [3].
Notes to Chapter V 119
The study of linear operators in Krein spaces begins with this chapter. Main topics
include criteria for the continuity of isometric operators (Section 3) as well as basic
properties and the location of spectra of unitary and selfadjoint operators (Sec-
tions 4-7). In Section 8 it is proved that every continuous linear operator of a Hil-
bert space has a unitary dilation in a Krein space. Theorems 3.5,3.10,5.1,5.5.6.1,
7.5,8.6 and Lemma 4.7 can be mentioned as representative results.
1. Preliminaries
pact if for every bounded sequence {x,,}~ C 0: 1 the sequence {Txn}~ c 0:2
contains a convergent subsequence.
Linear combinations of compact operators are compact. If 0: j
(j = 1, 2,3,4) are Hilbert spaces, if 1'j E ~(0:i' 0: i + 1 ) (j = 1,2,3), and
jf 1'2 is compact, then 1'11'2 and 1'21'3 are compact.
The linear operator l' from the I-lilbert space 0:1 to the Hilbert
space G!2 is said to be closed, if the relations {x,J;x'c:D(T), xn-)ox,
Tx" -)0 y imply x E :D(T), Tx = y. This property is equivalent to the
closedness of the graph {{x, Tx}: x E '1)( T)} of l' in the Hilbert space
G!1 X G!2·
A linear operator l' mayor may not have closed extensions. In
the first case there exists a least closed extension, denoted by T and
called the closure of 1'.
Let l' be a closed linear operator in the Hilbert space G!. With
respect to T, the following classification of complex numbers A is
customary. If T - AI is invertible and its range coincides with G!,
then ). is said to belong to the resolvent set e(1') of T. If T - AI is
invertible and its range is a dense proper subspace of 0:, then }, is said
to lie in the continuous spectrum actT) of 1'. If l' - AI is invertible
and its range is not dense in G!, then A is assigned to the residual spec-
trum ar(T) of 1'. Finally, in case l' - AI is not invertible, A is said to
belong to the point spectrum ap(T) of 1'.
The set
a(T) = ac(T) u ar(T) u ap(T) ,
complementary to (2(T) in C, is called the spectrU1n of T.
The points belonging to e(T) are called reg%lar points of T. By the
closed graph principle, }. E (2(T) if and only if (1' - A1)-1 E ~.
If A E ac(T), then (T - }.It J is discontinuous on its domain.
Obviously, ap(T) consists of the eigenvalues of 1'.
An important subset of ap ( 1') is the set of "normal" eigenvalues.
The number A is said to be a normal eigenvalue of the closed linear opera-
tor T in the H.ilbert space 0:, if 1) 0< <
dim @)}.(T) 00; 2) @);JT) has a
complementary subspace ,12;. in 0: which is closed, invariant for T, and
such that). is a regular point of 1'\,12;. .
The following result is also known in the Hilbert space case. Since,
however, it is less standard, we present the proof, adapted to the Krein
space situation.
Theorem 2.9. Let T be a closed linear operator with dense domain in
the Krein space~. If ffi( T) is closed, so is ffi( T*).
Proof. Let zJJJC(T). Then the relation
cp(Tx) = (x, z) (x E 'tI(T))
uniquely defines a linear form cp on ffi(T).
Since T is closed, so is SJC(T). Let 53 be a closed complementary
subspace to SJC(T) (say, the J-orthogonal companion of SJC(T), where J
is a fundamental symmetry on SJ). For u E ffi(T) let T(-l)U denote the
unique element x E 53 satisfying Tx = u. By the closed graph prin-
ciple, T(-lj is continuous. On the other hand, cp(u) = (T(-1)u, z)
(u E ffi(T)). Thus cp is continuous.
Extending cp to all of ~ as a continuous linear form and applying
Theorem V.1.5 we find an element y E ~ such that cp(Tx) = (Tx, y)
(x E 'tI(T)), i.e.,
(Tx, y) = (x, z) (x E 'tI(T)) .
Hence z = T*y, z E ffi(T*), SJC(T)l c ffi(T*). Now the assertion
follows from Theorem 2.6 d). D
3. Isometric Operators
Let U be an isometric operator in the Krein space S). Though U pre-
serves intrinsic norms, it need not preserve natural norms; what is
more, U can be discontinuous (with respect to the strong topology).
This will turn out from the criteria of continuity given below mainly
in terms of ~(U) and lH(U).
Remark 3.1. When looking for sufficient conditions of continuity
in terms of ~(U) and lH(U), we may restrict ourselves to the case
where ~(U) and ffi(U) are non-degenerate. To see this, we distinguish
between two possibilities.
a) ffi(U) is degenerate. We neglect the trivial case dim~(U)<
< 00, but assume that U is continuous. Choosing a non-zero isotropic
vector of lH(U), say Ue, and a discontinuous linear form rp on ~(U)
with rp(e)*- -1, the formula U1x = Ux +
rp(x) Ue (x E ~(U)) de-
fines a discontinuous isometric operator UI having the same domain
and range as U. Consequently, in this case ~(U) and lH(U) do not
decide on the continuity of U.
b) ~(U) is degenerate, but ffi(U) is non-degenerate. Then, on
account of Lemma II.2.1, U~o = 0, where ~o denotes the isotropic
part of ~(U). Thus the problem of continuity can be split into two
pieces (see Theorem 1.5.4): one concerning the restriction of U to a
maximal non-degenerate subspace ~l of ~(U) (by Lemma I1.2.1 the
range of this restriction is also non-degenerate), and another concerning
the dependence of XO and Xl on the vector XO +
Xl (XO E ~o, Xl E ~l).
For this operator U both ~(U) and ffi(U) can be decomposed into the
orthogonal direct sum of the uniformly definite subs paces ~+, ~-.
Nevertheless, from (3.3) and Theorem 3.5 it follows that U is discon-
tinuous. On the other hand, if V is the identity mapping on ~+ (+) ~
then V is continuous and isometric; one of the fundamental decom-
positions of ffi(V) still consists of the non-uniformly definite subspaces
~l' ~2·
This dependence on the choice of the fundamental decompositions
ceases when ~(U) is closed.
Theorem 3.8. An isometric operator U with ortho-complernented
domain ~(U) in the Krein space .\iis continuous if and only if ffi( U)
is ortho-complemented.
Proof. By Theorem V.5-3 ~(U) can be written in the form
(3.4) ~(U) = ~"( +)~-; ~+ c ~++, ~- c ~-- ,
where ~+ and ~- are closed and uniformly definite. Obviously,
(3· 5)
3. Isometric Operators 127
Proof. Lemma 1.9.1 and Theorem V-3,4 assure that the values %
appearing in the statement make sense.
Let U1 be a rectangular isometric proper extension of U. Since '1:J
is ortho-complemented, we have '1:J(U1 ) = '1:J( +)'1:J1, where 5\)1 =
= '1:Jl (l '1:J(U1 ). Since '1)(U1 ) is ortho-complemented, so is '1)1 (d.
Lemma 1.9.2). Moreover, '1:J1 =t O. The relation 5\)1 '1) implies
U1'1:J I ~ U1'1); hence U1'1:J1 (ffil. As a result, the isometric operator
U1 maps the ortho-complemented non-zero subspace '1:J1 ( '1)1 into ffil.
Owing to Corollaries 1.9.5 and 1.4.5 '1:J1 contains either a positive or a
negative vector; ffi 1 must contain a vector of the same kind.
4. Unitary and Rectangular Isometric Operators 129
= (un:'c, unx), this proves the assertion concerning the sign of S!1' 0
5. Spectral Properties of Unitary Operators 131
For a unitary operator the point l' = 0 is always regular (d. The-
orem 4.2). Consequently, Theorem 5.1 a) can be reformulated as fol-
lows.
Corollary 5.3. The spectrum of a unitary operator in Sj lies symmetri-
cally with respect to the unit circle. 0
6. Selfadjoint Operators
The linear operator A in the Krein space ,'{:> is said to be selfadjoint if
:t'l(A) is dense in ,Q) and A * = A.
In particular, every selfadjoint operator is symmetric and closed
(ef. Theorem 2.2 c). On the other hand, if A is symmetric and :t'l(A)=,Q),
then A is selfadjoint.
From Theorem 2.Jwe obtain the following analogue of Theorem 5.1.
Theorem 6.1. Ij A is a seljadjoint operator in the Krein space ,Q) and
A E C,then
a) }, E etA) implies },Ee(A);
b) A E O'c(A) inzplies }, E O'c(A) ;
-
product &)=&)n X&)o, i.e., the Hilbert space of all ordered pairs {x,y}
(x,y E Sjo) with inner product
[{Xl' yd, {X2' Y2}] = [Xl' x2Jo + [Y1' Y2JO·
The new inner product
({xv Y1}, {X2' Y2}) = [xv :>'2JO + [Y1' x2Jo
turns &) into an indefinite Krein space (see Section V.i0). For any
To E )S(&)o) with adjoint T~*l the formula A{x, y} = {Tox, T~*ly}
defines a selfadjoint operator on the Krein space &).
Let A E C, A =F ).. If we fix To by the equations Toe j = Aej ei+l +
(j = 1,2, ... ), where {e j };", is a complete orthonormal system in the
Hilbert space &)0' then A E ar(ToL }. E e(To). Owing to Theorem 2.7 a)
applied to the Hilbert space &)0' the latter inclusion is equivalent to
}. E e( T~*l). Thus A E ar(A). On the other hand, if Toe j = J.e j + ~ ej
J
(f = 1,2, ... ), then}, E ac (1'o) and A E e(T~*l), so that A E ac(A).
The next result is an analogue of Theorem 5.5 and, at the same time,
an extension of Theorems 11.3.5-II.3.6. A further extension, relating
to certain discontinuous selfadjoint operators, will be given in Sec-
tion 7.
Theorem 6.5. Let A be a continuous selfadjoint operator in the Krein
space &). If A is a normal eigenvalue of A, so is A, and the principal sub-
spaces El,.(A), El;:(A) form a dual pair; moreover, the matrices of AIEl).(A)
and A IEl;:(A) with respect to any dual pair of bases are the transposed
conjugates of each other.
The proof essentially duplicates that of Theorem 5.5. One has to
replace U, '1'* and 1'1'1 = 1 by A, A and 1m}, = 0, respectively. As a
counterpart of VEl = El the inclusion AEl c El can only be stated;
then Theorem 11.3.7 yields A.B* c .B*, which suffices in the rest of the
argument. At the end of the proof the references Theorem 11.2.8 and
Corollary 11.2.6 are to be replaced by Theorem II.}.6 and Corollary
II·3.4· 0
Corollary 6.6. If A is a real, normal eigenvalue of the selfadjoint
operator A E )S(&)), then El;.(A) is non-degenerate. 0
The following lemma, actually a Hilbert space result, serves as a
point of departure when analysing selfadjoint operators with the help
of fundamental decompositions (see Chapters VIII-IX).
Lemma 6.7. Let A be a symmetric operator in the Krein space &).
Consider a fundamental decomposition
(6.1) &) = &)+(+)&)-; &)+ C ~++, &)- c ~--
6. Selfadjoint Operators 135
and the corresponding f1t11damental projectors P+, P-. Sttppose that
5)+ ( SD(A). Suppose also that either A is closed or ;:.-:+(5)) is finite. Set
An = P+AI5)+, A12 = P+AI5)-,
(6.2)
A21 = P-AI5)+, A22 = P-AI5)-.
Then:
a) SD(An) =SD(A21) = 5)+, SD(A12l=SD(A22)=SD(A)n5)-;
b) An and A22 are symmetric;
c) An, A12 and A21 are contin1~ous;
d) in order that A22 be densely defined, closed, or selfadjoint in 5)-
it -is necessary and sufficient that A have the respective property in 5).
7. Cayley Transformations
(7.6) ')J = 8
A-C
.. _ - -
A -C
belongs to (Jp(U), (Jf(U), O"c(U) or e(U), respectively. It, in particular, A is
a normal eigenvalue of A, then')J is a normal eigenvalue 0/ U.
Proof. We have
(7.7) U = cI + 8(C - C)(A - CI)-1.
As inverses, multiples and translates of closed operators are closed,
U is closed.
Let A E C, A =I=- (, and let ')J be the number furnished by (7.6). If
), E O"p(A) then, owing to Lemma II.S.i, ')J E O"p(U). If, on the other hand,
}, E[ O"p(A), then Lemma II.S.2 applied to the inverses of the transform a-
VI. Unitary and Selfadjoint Operators in Krein Spaces
tions (7.5)-(7.6) (see Lemma 11.4.1 and Remark II.5.3) yields v E! O'p(U).
Moreover, from (7.5) and (7.6) we derive
Theorem 7.4. Let U be a closed linear operator in S). Let 13, Cbe corn-
*
plex mtmbers such that 1131 = 1, C C, 13 E! O'p(U). Then the Cayley
transform
A (CU - sCI)(U - eI)-l
*
(7.8) =
(7.9) A = Cv - sC
v-s
belongs to O'p(A), O'r(A), O'e(A) or e(A), respectively. 1 f, in particular, v is
a normal eigenvalue of U, then}, is a normal eigenvalue of A.
Proof. We have
(7.10) A = C1 + s(C - C)(U - eft l •
Thus A is closed.
The assertion concerning O'p(U), O'r(U), O'e(U) and e(U) follows from
the similar statement of Theorem 7.3, since (7.5) and (7.8) as well as
* *
(7.6) and (7.9) are mutually inverse transformations, while s E! O'p(U)
and v 13 are equivalent to CE! O'p(A) and A C, respectively (d.
Lemma 11.4.1 and Remark II.5.3).
For a normal eigenvalue v of U we argue just as in the proof of
Theorem 7.3, replacing A, A, U, v by U, 'V, A, A, respectively, and re-
ferring to (7.8) instead of (7.5). 0
8. Unitary Dilations 139
8. Unitary Dilations
One sees immediately that in the case where indefinite inner prod-
ucts are not admitted T can have a unitary dilation only if T is
a contraction (i.e., its norm does not exceed 1). This condition is
kno-INn to be sufficient as well. It turns out that in the general case
every T E 18(~o) has a unitary dilation. Before proving this, however,
we need some preparation.
Let ~o be a Hilbert space. Recall that a positive operator B E 18(~o)
has a unique positive square root B1f2 E 18(~o); moreover, B1/2 is the
strong limit of a sequence of polynomials of B (see e.g. Riesz and
Sz.-Nagy [1; Section 104J). In particular, we have:
Lemma 8.1. Let ~o be a Hilbert space. If two positive operators
Bv B2 E 18(~o) and an operator 5 E 18(~o) fulfil the condition
SB 1 = B 2S, then SBi/ 2 = B~/2S. 0
The following special case of Lemma 2.'10 is also related to square
roots.
Lemma 8.2. Let ~o be a Hilbert space. If A E )8(.5)0) is selfadjoint,
then m(A2) = 91(A). 0
Lemma 8.4. Let Sjo be a Hilbert space. Let S,AI,A2 E ~(Sjo), A! = AI>
A~ = A 2. Denote by Pi (j = 1,2) the orthogonal projector with range
9l(Aj)' If SAl = A 2S, then SPI = P 2 S.
Proof. SAl = A 2 S implies that S9l(A l ) c 9l(A 2 ). Hence
(8.5) SPl = P 2SP1 •
Similarly, AlS* = S* A2 yields S*9l(A 2 ) c 9l(Al) i.e.
(8.6)
Proof· Set
(8.14) AT = 1- 1'*T, AT* = 1- TT*.
142 VI. Unitary and Selfadjoint Operators in Krein Spaces
Denote by FI, Fy, Fj, Ft., F T*, F'i. the orthogonal projectors satis-
fying the conditions
(8.15) ffi(F~) = m(AT)l n m(AT =+= IATIl,
(see (8.15)). Along with (8.16) and Lemma 8.3 they imply:
IATI (F:j: - Fr) = AT(F:j: + Fr) = AT(I - F~) = AT .
Hence, in view of (8.19), (8.20) and (8.14), Qif T = 1 - T*T.
Finally, from (8.20), (8.15), (8.16) and Lemma 8.3 we infer
Ji. = (F:j: - Fr)2 = F:j: + Fr = I - F~
so that, according to (8.'19) and Lemma 8.2,
QTJi. = IATI1/2(I - FJ) = IATII/2 = QT' 0
~) = X.5)i'
i=~oo
the cartesian product of the Hilbert spaces 'S)i (f = 0, ±1, ±2, ... ),
where
f
~~{
.5)0 if = 0,
(8.23 ) e 1 ffi(QT) if f> 0,
ffi(QT*) if j < 0.
In other words, .5) is the Hilbert space of all sequences X= {xi}~-oo
< ex);
00
J T'Xi if j < 0.
By the aid of Lemma 8.5 it is easy to see that ffi(J) c .5) and J- 1 = J.
Moreover, J is continuous and selfadjoint. Thus, according to
144 VI. Unitary and Selfadjoint Operators in Krein Spaces
QT*X_l + Txo if f = 0,
Xj_l otherwise.
T*xo + ITQTxl if f= 0,
Xi+l otherwise
for every x E.5;,). Hence U is unitary with respect to (. , .).
Let x E Sj(O) (see (8,27)). It follows by induction relative to n that
in this case
if j = 0,
(8.}0) if 1 ~ j :S n,
otherwise
and
if j = 0,
Notes to Chapter VI
Positive operators in a Krein space (Sections 1 and 3) have turned out (see Chap-
ter VIII, especially Section 6 and the Notes) to be the most fruitful generalizations
of positive operators in Hilbert space. In Section 2 an alternative extension of the
latter concept is considered. Sections 4- 6 resume the study of plus-operators begun
in Section II.S. A unifying feature of the chapter is the repeated application of the
Schwarz inequality. Theorems 1.3, 3.1, 5.2, 5.4, 5.5 and 6.1 deserve particular
attention.
1. Positive Operators
Example 2.3. Let 5) be a Krein space with rv+(5)) dim 5), and let] <
denote a fundamental symmetry on 5). Then rvt(5)) rv+(5)), so that >
by Theorem 2.1 ] cannot be written in the form T*T.
holds. Then there exists an co> 0 such that for every 0 < c < Co the
operator A-(PA-c)l (cj. (3.3)) is uniformly positive.
Proof· From (3.3) and (3.4), writing PA = P and applying Lemma
II.11.4, we obtain:
P = inf ~A::~~t > inf jAx, ::). > (X > 0 .
(x,x»o (x, x) -(x,x) >0 Ilxll} -
Further, by Theorem 11.9.4,
(3·5) (Ax, x) > fl(x, x) (x E 5)) .
For x E ~+, 0 < c < P relations (3.5) and (3.4) yield:
being non-negative (d. Section II.8). Recall that for every operator of
this kind
(4.2) (Tx, Tx) > f1o(T) (x, x) (x E ~)
(Theorem II.8.1).
According to relation (4.2) the operator
(4·3) A = T*T - f1o(T)I
is positive. Thus from Theorem 1.3 we obtain:
Lemma 4.1. If T E ){l(~) is a plus-operator, then a(T*T) is real. 0
In the case where both T and T* are plus-operators we can prove
more.
Theorem 4.2. If the adjoint of the plus-operator T E ){l(~) is also a
fJlus-operator, then a( T* T) is non-negative.
Proof. We use the notations (4.1), (4.3). By relation (4.2) the
operator A is positive. Let AE ap(A) u actA). Repeating the proof of
Theorem 1.3 we find a sequence {xn}~ C ~ such that
(4.4) Ilx"ll, = 1 (n = 1,2, ... ), IIAx" - Ax"llr-+- 0 (n --'>(0) ,
t4.5) (xn' x,,) -+ ex, (Ax", x,,) -)- },ex (n -+(0) ,
where J is a fixed fundamental symmetry and ex E R. According to the
same proof ex >0 implies}, > 0, while ex <
0 yields A o. In par- ::s
ticular, a,(A) = €I (d. Theorem VI.6.1 c)). It remains to show that
}. > -f1o(T) even in the case ex o. <
Let
(4.6) ex < 0 , }. < -f1o(T) .
From (4.3)-(4.5) we obtain:
(T*Tx", T*Txn ) = (Axn' Ax" - }.x,,)+ (Ax", AXn) +
+ 2f1o(T)(Ax", xn ) + f10 (T)(xn' xn ) -)-
2 ex(}. + f1o(T))2.
Therefore, in view of (4.6),
(4.7) lim (T*Tx" , T*Txn )
n-..oo
<0.
154 VII. Positive Operators and Plus-operators in Iu-em Spaces
5. Strict Plus-operators
I.e.,
p
IITell] ~ (t[ril}+ ,;)1/2 +liT;"I I] . D
Corollary 5.3. If T E )B(S)) is a strict plus-operator and £ is a closed
pos1:tive subspace of S), then T£ is closed. D
Theorem 5.4. If T E )B(S)) is a strict plus-operator, then the null
space ill (T) is uniformly negative.
Proof. The assumption ensures the existence of a number p > 0
such that the operator A = T*T - pI is positive (d. (4.'1) and (4.2)).
Let us fix a fundamental symmetry J and an element XES). Setting
JAx = y, with the help of Lemma 1.2.2 (applied to the A-inner
product) and Lemma II.ltA we obtain:
IIAxllj = (Ax, Ax)] = (Ax, y)2 < (Ax, x)(Ay, y) 2
< (Ax, x) IIAII] Ilyll} = (Ax, x) IIAII] IIAxIIJ.
Consequently,
(5.2) IIAxll] < IIA IIJ (Ax, x) (x S)) .
* *
E
(5·3)
the corresponding fundamental projectors P+, P-, and the fundamen-
tal symmetry] = P+ - P-. Put x+ = P+x, x- = P-x for every
x E 5). Let
sr
Since, however, is convex, it is sufficient to prove (5.8) for 11K' - KII]
smaller than some e >
O. We also may assume that T12 *- O.
Theorem 5.2 and the relation 2 C ~+ yield IITxllJ > ollxll] (x E 2),
where the number 0>
0 is independent of 2. Making use of the
inequality (x, x) > 0 once more, we derive:
(x E 2) .
A linear operator l' E 58( Sj) is called a doubly strict plus-operator prov-
ided both l' and T* are strict plus-operators. In particular, the
underlying Krein space is required to be indefinite (d. Sec-
tions 4- 5 and II.S).
Example 4.} exhibits a strict plus-operator ,"vhose adjoint is not
even a plus-operator.
The follovving result characterizes doubly strict plus-operators
among strict plus-operators.
So T* is a strict plus-operator. 0
From Lemma n.10.2 and Theorems 5.2, 6.1 we derive:
(in the special case x(Sj) < co see Iohvidov and Krein [1J). Helton
[2J examined the iterates of CPT'
Conditions for the continuity or closedness of plus-operators in
Banach spaces with a J-metric have been given by Iohvidov [14J.
Operators T E )8(,~) with the property that (Tx, Tx) ~ (x, x)
(resp. (Tx, Tx) :S (x, x)) for every x may be called augmenting (d1'-
minishing) operators.
Evidently, an operator is augmenting in Sj if and only if it is
diminishing in the anti-space of Sj. Furthermore, an operator T E )8(Sj)
is a strict plus-operator if and only if it is a non-zero multiple of an
augmenting operator. Hence many results can equally well be establish-
ed for augmenting (or diminishing) operators and strict plus-operators,
as displayed by the history of the subject. This is, however, not always
the case; for instance, the divisibility conditions obtained by Smul'jan
[1J, [2J are better suited to augmenting operators.
It can be shown that the formula
C = T(D) = (P- - P+D)(P+ - P-D)-l
defines a one-to-one correspondence between a subclass of diminishing
operators DE )8(Sj) and a subclass of operators C E )8(Sj) having the
property llc\l; ~ 1, where J = P+ - P-. The linear fractional trans-
formation r (which has nothing to do with CPT above) has been inves-
tigated by Potapov ['I], Ginzburg [2J, and Iohvidov ['12J, [15].
Analytic functions whose values are diminishing operators in Sj
have first been studied by Potapov ['1J (finite-dimensional Sj) and Ginz-
burg [1J (arbitrary .~). For an idea of how these functions intervene in
the theory of characteristic operator functions see e.g. V. M. Brodskii
['1]. Concerning operator valued analytic functions d. also SmuI'jan
[8l .
Chapter VIII. Invariant Semi-definite Subspaces of
Linear Operators in Krein Spaces
we have:
(2·3 ) Kl = KP + X(11 - P) ,
In particular,
(2.4)
and
(2.5) IIKP + X(11 - P)II, < 1, IIKP + Y(11 - P)II, :::; 1 ,
where J = P+ - P- is the fundamental symmetry belonging to the
decomposition (2.1), and Sj+, Sj- are considered as Hilbert spaces
relative to the J-inner product.
Let x+ E S)+. Then, according to Theorems II.11.6 and V.4.2,
x+ + K 1x+ E 21 , On the other hand, if we denote the operator matrix
of T with respect to (2.1) by (T jZ )i,I=I,2' where Til E )8(SjI' Sjj)'
Sjl = Sj+, Sj2 = Sj-, then T(x+ +
K 1x+) can be written in the form
(Tnx+ + T I2 K 1x+) + (T21 X+ + T 22K 1x+) .
Now the assumption T21 C weI yields
T 21x+ + T 22 K 1x+ = Ml(Tnx+ + T I2 K 1x+)
or, x+ being arbitrary,
T21 + T22Kl = M 1(Tn +T 12K 1 ) •
where ( E C and
(3·3)
Thus, still formally,
(3.4) (A - (1)-1 =
= ((II-oTI)-l 0 )(
(1 2- TZ)-I
II
-B2I
-B12 ((A
I2) ll -UI)-1
0 (A 22 -U z l '
0)
t
where
(3.5)
-
Let ( i= (. The spectrum of a selfadjoint operator in Hilbert space
being real, from (3-3) and Lemma VI.6.7 we conclude that B2I E
E )S(&)+ ,&)-), whereas BIZ admits a continuous closure BI2 E )S(&)-,&)+).
Since ffi(B 2I ) C 'V(A 22 ) = 'V(A I2 ) = 'V(B I2 ), with the aid of (3.5) it
follows that TI E )S(&)+), while T2 admits a continuous closure
T2 E )S(&)-).
But, in order to ascribe an exact meaning to equation (3.4), we need
more. The elementary identity
IIAnx - (xii} = IIAnx - Re ( . xiiI + (1m C)211xlll (x E &)+) ,
where] = P+ - P-, yields:
(3·6) (C i= C) .
The estimate
(3·7) (C i= C)
can be verified similarly. Now if
(3.8)
-
then by (3.5), (3.3), (3.6) and (3·7) we have IITIII! <1 , IIT211J < 1 ,
so that
We fix Cin compliance with (3.8) and build the Cayley transform
- -
(3.9) U = (A - U)(A - U)-l = 1+ (C - C)(A - (1)-l .
the matrix elements U 21 , U 22 will not be used in the sequel. The assump-
tion concerning the compactness of AdA22 - CoI 2)-1 for a certain 1;0'
along with the well-known equation
Rco - Rc = (1;0 - C)Rc.Rc
where RJl = (A22 - flI 2J-1 (fl E e(A 22 )), imply the compactness of
A12(A22 - CI2)-1. Hence U 12 is compact.
Owing to Theorem 3.1 there exists a maximal positive subspace
E1 c &) such that UE 1 eEl and @3v(U) eEl (oj! E a~), where
a~ = {~ == f: A E ao} .
conditions
(4.4) {A~1 + AoB + C)xi + (2Ao1 + B)Xi-l + Xi-2 = °
(j = 0,1, ... ,P-1; X-I = X- 2 = 0) .
Setting j = °we see that necessarily),o E O'p{L).
The usefulness of the pencil L in treating the differential equation
(4.1) is partly due to the following circumstance.
Lemma 4.1. A function v(t) of the form (4.2) is an elementary
solution of the equation (4.1) ifand only if x o, Xv ••• , xP_ 1 is a Jordan
chain to the eigenvalueAo of the quadratic pencil (4.3).
The proof is straightforward. 0
constitzde a Jordan chain of the operator ~4. to the same Ao. Conversely, If
the vectors Yj = {yj, yf} (f = 0,1, ... ,P-1) form a Jordan chain of
A to the eigenvalue Ao , then }'o is non-zero, and the vectors x o, Xl> . . . , x P_ 1
successively obtal'nable from the formula
- ~I + ~CI/2L(}.rIC1/2 -C!/2L(Ar l )
AIr
•
(A - l = ( A A
L(A)-IC1/2 -}.L(Ar l
Therefore (A - AIr
l is defined throughout SJ if and only if L(J,r1 is
defined throughout SJo .
In the case A = 0 we obtain:
5. Quadratic Operator Equations in Hilbert Space -175
Lemmas 4.2 and 4.4 serve as a point of departure for utilizing Krein
space theory in the study of the quadratic pencil (4.3).
Thus for
D = Bl - B
we have Z~'kD = DZo , so that Zo is symmetric relative to the D-inner
product
(x, Y)D = (Dx, Y)o (x,y E Sjo) .
Therefore, in view of assumption a) and Theorem II.3.3, the D-inner
product is identically zero on the span of the subspaces 6,.(Zo) (A E 0"0)'
Hence, by assumption: b) and the continuity of the D-inner product,
(x, Y)D = ° (x,y E Sjo). The positive definite inner product (. , ')0 being
non-degenerate, D must be zero. Thus Bl = B. The relation C1 = C
now easily follows from (5.4) and (5.7). D
The next result connects the quadratic equation L(Z) = with the °
operator r1 defined on the Krein space Sj (d. (4.5) - (4.8)).
Lemma 5.3. Let ,S3 be a subspace of the Krein space Sj = SjoxSj~,
where Sj~ stands for the anti-space of Sjo, Suppose that ,S3 has an angular
operator K = K+(,S3) E 18(Sj+, SJ-) with respect to Sj+ (see (4.6) - (4.7)).
The s2tbspace ,S3 is invariant for .11 (cf. (4.8)) 1/ and only 1:f the operator
Zo = KC1f2 satisfies the eq2£ation L(Zo) = 0.
Proof. Sj+ and Sj- being isometrically isomorphic to Sjo resp. its
anti-space, we may regard K as an element of 18(Sjo) and write
,S3 = {{x+, Kx+}: x+ E Sjo} .
Therefore, in view of (4.8),
A,S3 = {{C 1[2Kx+, - C1/2x+ - BKx+}: x+ E Sjo} .
Consequently, the relation A.53 C .53 holds if and only if
(5.8)
Since all operators involved are continuous andm(C1/2) = 9((C1/2) 1 = Sjo ,
(5.8) is equivalent to
KC 1[2KC 1[2 y+ + BKC1/2y+ + Cy+ = 0
and this was to be proved. D
As to the interdependence between the quadratic pencil L and the
roots of the operator equation L(Z) = 0, the simplest fact is the follow-
ing.
Lemma 5.4. If Zo E 18(Sjo) satisfies the equation L(Zo) = 0, then every
Jordan chain of Zo is a Jordan chain of the quadratic pencil L to the
same eigenvalue. In particular, O"p(Zo) C O"p(L).
s. Quadratic Operator Equations in Hilbert Space 177
form a Jordan chain of A to the same 11.0 ' Therefore, by the construction
of 53, each Yi is contained in 53. Recalling the definition of K we conclude
that
+
KC1f2xj = l'oX j Xj_l (f = 0,1, ... ,P-1; X-I = 0) .
Hence {Xi}~-l is a Jordan chain of Zo = KC 1/2 to the eigenvalue 11.0 '
If the span of all Jordan chains of L corresponding to points of ao
is dense in Sjo, then condition c) completely determines the values of
Zo on this dense subset and, by continuity, on the whole space. The
rest of the statement follows from Lemma 5.2. 0
6. Spectral Functions
"*
to consist of a finite number of normal eigenvalnes. It follows that the
span {5 of the principal subspaces (5,JA) (1m A 0) is ortho-comple-
mented and A restricted to lSi is a positizable operator with real
spectrum.
Let A E )8-(&)) be a positizable operator with real spectnml. There
exists a unique function E defined in all b'ut a finite mtmber of points
of the real line and satisfying conditions 1)-2) and 4)-7) above, as
well as the following ones:
3 a) the critical points of E form a S11bset of the finite set {it E a(A) :
rp(A) = O}, where rp is a positizing polynomial for A;
3b) E(A) is undefined if and only zf A is a critical point of E;
3 c) zf A is a critical point of E, then for every closed interval [}'v A2J
lying in a sufficiently slnall right-hand or left-hand neighbMtrhood of A
the subspace (E(A2) - E(A 1 ))&) is definite.
E is called the spectral function of the positizable operator A.
Property 8) and the analogue of 9) remain valid in the positizable
case. Instead of 10) we have:
co
10a) rp(A) = S + Jrp(A) dE(A) ,
-00
T2 that are A-adjoints of each other for some uniformly positive opera-
tor A E Q3-(S)). In essence, our treatment follows Hess.
Theorem 1.4 coupled with a theorem of Sz.-Nagy ['I] says that the
unitary operator U in the Krein space S) is fundamentally reducible if
and only if the sequence {II unll! }:=1 is bounded. This proposition,
and its extension to commutative groups of unitary operators, have
been proved by Phillips [3J (d. also Krein [6J, [8J, Daleckil and
KreIn [1J). The connection between Theorems -1.2 and 1.4 was pointed
out by Hess [lJ.
A related type of theorem give conditions on an operator T for the
existence of a reducing decomposition S) = S)l + S)2 where S)1 and S)2
are maximal uniformly definite (not necessarily orthogonal) subspaces
with the additional property that O'(TIS)l) is disjoint from 0'(TIS)2)'
These results and their applications to stability theory are largely
due to Krein. A detailed account and a bibliography of the subject
can be found in the book of Daleckil and KreIn ['I]. Cf. also Krein [6J,
[8J for earlier versions as well as Marksjo and Textorius [1J, Langer [9J,
Svarcman [1J for special topics.
Theorems stating the existence of invariant maximal positive (semi-
definite) subspaces for various kinds of operators in S) (d. Sections
2-3) have been proved, in chronological order, by the following authors:
Pontrjagin [1J (x(S)) < 00, selfadjoint operators, analytic method),
KreIn (in the paper of KreIn and Rutman [1J; x(.S)) = 1, unitary opera-
tors, using the theory of cones in Banach spaces), Iohvidov [lJ (x(S)) <
< 00, unitary operators, from Pontrjagin's result by means of the
Cayley transformations), KreIn [4J (x(S)) < 00, strict plus-operators,
by means of the Brouwer fixed point principle; in a paper of Iohvidov
and KreIn [1J reproved by the aid of the Schauder fixed point principle),
Langer [1J-[3] (x(S)) = 00, separable S), selfadjoint operators A with
compact P+ A P-, by means of the Tihonov fixed point principle),
Krein [7J (arbitrary ~; unitary, selfadjoint and certain plus-operators T
with compact P+TP-), Iohvidov [9J (arbitrary S), arbitrary plus-
operators T E Q3-(.S)) with compact P+TP-, by means of a "fixed point
theorem for set-valued mappings"), Langer [5J, [12J (arbitrary S),
positizable operators, by means of the spectral function). For in-
variant subspaces of selfadjoint, quasi-nilpotent operators d. Lario-
nov [4J.
Quite recently Masuda [lJ has attacked the invariant subspace
problem with the help of an ad hoc iteration procedure rather than
a fixed point theorem. In this way he obtained a condition ensuring
the existence of a unique invariant maximal positive subspace for
a unitary operator U on S) in terms of the numerical ranges of
Ull + U12K and U 22 - KU12 , where K runs through st(S)+, S)-).
182 VIII. Invariant Semi-definite Subspaces of Linear Operators
Those properties of Pontrjagin spaces (Krein spaces with a finite rank of indefinite-
ness) and of their linear operators are considered which are not available in arbi-
trary Krein spaces or can there only be established by more delicate methods. In
particular, Sections 4- 5 give estimates for the number of non-unimodular (resp.
non-real) or non-semi-simple eigenvalnes of an isometric (resp. symmetric) operator,
while in Sections 7-9 the investigation of invariant maximal semi-definite sub-
spaces is carried on. Theorems 1.4, 2.2, 2.5, 3.2,4.3, 7.3, 8.2, 9.3, 9.4 and Corollary
8.5 are worth special mentioning.
2. Closed Subspaces
The following agreeable property of Ilk has already been proved as a
part of Theorem V.6.3.
Lemma 2.1. Every closed definite subspace of Ilk is uniformly def-
inite. 0
The next result, a consequence of Lemma 2.1, plays a decisive role
in the theory of Pontrjagin spaces.
Theorem 2.2. Every closed, non-degenerate subspace 53 c Ilk is ortho-
complemented.
Proof. By Theorem V.3.1 and Lemma 1.11.153 is the orthogonal
direct sum of a closed positive definite and a closed negative definite
subspace. It remains to apply Lemma 2.1 and Theorem V.5·3· 0
From Theorem 2.2 with the help of Theorem V.3.4 and Lemma 1.1
we obtain:
Corollary 2.3. Every closed, non-degenerate subspace of Ilk is a space
of type Ilk' for some k' < k. 0
Example V.6.S shows that a type Ilk' subspace of II", where h' k,<
need not be closed. Nevertheless, for k' = k the following converse
of Corollary 2.3 holds.
Theorem 2.4. If Il(,,) c Ilk are two Pontrjagin spaces with the same
finite rank of positivity k, then Il(k) is closed in Ilk'
Proof. Let
Il(k) = Il(+) (+) IlH; Il(+) C ~++, IlH C ~--
be a fundamental decomposition of Il(k)' In view of Lemma 1.3 the
subspace Il(+) gives rise to a fundamental decomposition of Ilk as well:
II" = Il(+)(+)Il-.
SinceIlH is an intrinsically complete subspace of the negative definite,
intrinsically complete space Il-, the theory of Hilbert spaces assures
that Il(-) is ortho-complemented in Il-. Consequently, Il(k) is ortho-
complemented in II" . Thus by Corollary III.2.S Il(,,) is closed in II" . 0
where
(2.2)
(2·3) £2 = £2 , £O( + )£2 = £1 ,
(2.4) £a # £0.
If £1 and £2 are prescribed subspaces satisfying (2.2) and (2.3), then apart
from the conditiol'fs (2.4) al1.d
(2.5) £3 c (£1(+)~)1
the subspace £3 may be chosen arbitrarily. On the other hand, for any
fixed £a satisfying (2.4) one and only one choice of £1 and £2 is possible:
(2.6) £1 = £n£;, £2 = £In£; .
Then Lemma III.2.4, the definition of 533 and the relation 5301-53, re-
spectively, yield 531 =53v 2°n21 =0 and 2°-121 , Moreover, 2°+21 =
= 2, since 2° + 2; =ilk (ef. Lemma 1.10.8) and 2° ( 5]. Thus (2.2)
is valid. In a similar \vay we obtain that the subspace 5]2 = 53 1 n 2t
satisfies (2.3). Relation (2.1) is now a consequence of that part of the
theorem we have already established.
Finally, in order to see the uniqueness of 21 and 2 2 , let 5:s be fixed,
23 =1=1= 2°, and let 21> 22 be subs paces satisfying (2.1), (2.2) and
(2.3)· Then necessarily 21 ( 2n2;, 22 c 21n2t. As, however,
2 n2:l- and 21 n2; themselves meet all requirements involving 21 and
22 (d. the preceding paragraph), their proper subspaces cannot. This
proves (2.6). 0
(4.1) "
}; dimiS"j(U) < k .
i~1
is finite.
b) If 1::1> ••• ,eN are unimodular, non-semi-simple eigenvalues and
VI' . . . ,vn are non-unimodular eigenvalues of U such that v7 =F VI
(j,l = 1, ... ,n), then
N n
(4.4) 1.," m(l:: j )
i~l
+ LmYj :::;
i~1
k ,
(4.6) t [diJ2
J~l
= m(e) ,
*
Theorem 4.6. Let A be a symmetric operator inIlk • Let AI, ... , A"
be a set of non-real eigenvalues of A such that Ai I,t (j,l = 1, ... , 11) .
Then
n
17 dim 6;,(A) ~ k . 0
i=l
Corollary 4.7. A symmetric operator in Ilk has no 1110re than k eigen-
>
valtfes in the half-plane 1m A 0 and no more than!? eigenvalues in the
<
half-plane 1m A o. 0
Theorem 4.8. The nlnnber of non-semi-simple eigenvalues of a sym-
metric operator in Ilk does not exceed k 0
Theorem 4.9. The length of a Jordan chain corresponding to a real
+
eigenvalue of a SY1111Jtet1'1:C operator in Ilk cannot be greater than 2!? 1. 0
* *
copies of the space and defining in the fth copy (i = 1, ... , !?) a sym-
metric operator with non-real eigenvalues Ai' I'i (Ai Al for iI), one
obtains a symmetric operator with non-real eigenvalues AI, AI> ... , Ak ,
Ak in a space Ilk' Starting from Example 11.3.1, a similar process leads
to a symmetric operator with k real, non-semi-simple eigenvalues in Ilk'
Further, choosing two k-dimensional neutral subspaces ~\ # 22 in
a 2!?-dimensional space Ilk (d. Theorem 11.1'1.5), defining Al in 21
to be a linear operator with a Jordan chain of length k to a non-real
eigenvalue A, and defining a linear operator A2 in 22 so that the matrices
192 IX. Pontrjagin Spaces and Their Linear Operators
of Al and A2 relative to dual bases of .\31 and .\3 2 (Lemma 1.10.6) would
be the transposed conjugates of each other (Lemma 1.10.1), we easily
verify that the direct sum A = Al +
A2 is symmetric on Ilk and has
a Jordan chain of length k to the non-real eigenvalue A. Finally, the
existence of a symmetric operator having a Jordan chain of length
2k + 1 to a real eigenvalue in Ilk will be exhibited by the next
example.
Example 4.11. Let Ilk (k >
0) be the orthogonal direct sum of a
k-dimensional positive definite subspace Il+ and a (k 1 )-dimensional +
negative definite subspace n-.
Let {ej}~ and {If }~+1 be orthonormal
bases of Il+ and Il-, respectively. Set
1.
(I if s_ l' S
) V2 j T
I
ej ) 1 k ,
+1,
lV~-
gj = tk+l if j = k
a) The subspaces
(5.1) I](j = I]((U - eI)j (j = 0,1, ... )
obviously satisfy the conditions
(5.2) (j=0,1, ... ),
00
and
SJ'li = SJ'li+ 1 (f > jO) •
Let j > 1, and let @ C SJ'li+l be a subspace linearly independent of
SJ'li' Employing the identity
(5.5) (v, (U - sl)w) = -8((U - e1)v ,Uw) (lei = 1; v,w E ~(U)) ,
which is a simple consequence of the isometric property of U, for
x E SJ'l1 and y E @ we find:
(x, (U - e1)iy) = -e((U -e1) x, U(U - e1)i- 1 y) = 0,
Thus (U - e1)i@ 1.. SJ'l1' On the other hand, the assumption @ C SJ'li+l
yields (U - e1)i@ c SJ'l1' So (U - e1)i@ is orthogonal to itself and
°
therefore, by Lemma 1.1, its dimension does not exceed the value k.
Since, however, the condition @nSJ'li = implies that (U - e1)il@
is invertible, we have dim@ < k. As a result,
(5.6) codim!ni+l SJ'l1 < k (j = 1,2, ... ) .
Let t > 1 be an index such that SJ'lt =1= SJ'lt+l' Then, according to
(5.4), SJ'li =1= SJ'li+l (f = 0,1, ... ,t). Thus, in view of (5.2), each
SJ'li (f < t) has a non-zero complementary subspace in, SJ'li+l:
(5.7) SJ'li+l = SJ'lj + @i (j = 0,1, ... , t) ,
(5.8) @j =1= ° (j = 0,1, ... , t) .
Put
(5.9) (j = 1,2, ... , [t ~ 1]).
From the relations @2i-l
obtain:
C SJ'l2i' @2i-1 n~i-l = ° (see (5.7)) we
t~ . co
whose existence follows from the fact that the principal subspaces of an
operator are linearly independent. By Theorem 11.2.5 the components
of IDC are pairwise orthogonal. The same theorem assures that each
(5Vj(U) is orthogonal to itself. Finally, (5.20) yields IDC(si) ..1 IDC(sj)
(j = 1, ... , N). As a result, IDC is a neutral subspace. Hence, in view
of Lemma 1.1,
(5.23) dim IDC < k .
Relations (5.21)-(5.23) imply (4.4).
c) For a closed U the eigenspace m1 = m(U - el) is closed.
m
Therefore, owing to Theorem V.3.1, 1 has a fundamental decompo-
sition of the form
(5.24) m1 = m~ (+) mt (+ ) m1 ;
m~ c 1.)30 , mt c 1.)3++ , m1 C 1.)3-- ,
where m1 is closed.
Choose
(5.25)
Then (5"c (5.(U) and, by Theorem 2.2, (5" is ortho-coinplemented in
il". Consequently, there exists a subspace (5' satisfying
(5.(U) = (5' (+) (5".
As S is a non-semi-simple eigenvalue, (5' cannot be zero. Moreover,
S being non-zero and (5" being contained in the eigenspace m1 =
= m(U - el), we have U(5" = (5", so that Lemma II.2.9 and the
invariance of (5.(U) yield U(5' c (5'.
Set
(5.26) U' = UI(5', mi = m(U' - el)i (j = 0,1, ... ) .
Applying assertion a), already established, to the operator U' we find:
(5.27)
On the other hand, the relations m~ c mI , m; n m1 C (5' n (5" = 0
imply dimm~ < codim\ll,m1 ; hence, in view of (5.24), Lemma 1.3.1
and Lemma 1.1,
(5.28) dim m~ < k.
From '(5.27) and (5.28) it follows that (5' is finite-dimensional.
Since (5" is ortho-complemented whereas (5" c 1 C i (j = 1,2, m m
... ) and, according to (5.26), m;
= min(5' (j = 0,1, ... ), we have
dim ®: =
1,+1
2; p.
i=s+1 J
(s = 0,1, ... ,to).
In particular,
such that
(6.2) II+ c SD(A) .
Denote the corresponding fundamental projectors by P+, P-. With
respect to (6.1) the operator A can be represented by a matrix
(6·3)
198 IX. Pontrjagin Spaces and Their Linear Operators
where
An = P+ AIIJ+ , Al2 = P+AIII-,
(6.4)
A2l = P-AIII+ , A22 = P-AIII-.
A few properties of Ail (j,l = 1,2) have been enumerated in Lemma
VI.6.7.
Consider a spacelIo (i.e., a negative definite, intrinsically complete
space) containinglI-, and a symmetric extensionA;2 of A22 iniio . Set
(6.5)
where P n - is the orthogonal projector from lIo onto 1I-. It is easy to
see that the matrix operator
(y E ~(A)). 0
Theorems 6.1-6.2 yield:
Corollary 6.3. Let A be a densely defined symmetric operator in ilk ,
and let A be a non-real number. Unless the orthogonal companion of
ffi(A -AI) is negative definite, A is an eigenvalue of some regular sym-
metric extension of A. 0
200 IX. Pontrjagin Spaces and Their Linear Operators
Consequently,
(Ax, x) (Ax+, x+)
-----
(x, x)
> ---,----:--
(x+, x')
(XE ~++, X <!II+) .
jf 1~j~k,
if k + 1 <j'~ 2k.
Then
if j +
I = 2k +1,
otherwise.
The linear operator A defined by the relations
(jic1,k+1);
is selfadjoint, has the only eigenvalue 0, and each of the subspaces
<gl' g2, ... , gk>' <gv g2, ... , gk-l, gk+l> '
<gv g2, ... , gk-2, gk+l' gk+2>, ... , <gk+l' gk+2' ... , g2k>
is neutral and invariant under A.
Although the k-dimensional invariant positive subspace need not
be unique, certain parameters connected with it are uniquely deter-
mined.
Lemma 8.4. Let A be a selfadjoint operator in ilk' Let 21 c ;tJ(A) and
B c ;tJ(A) be a k-dimensional and an arbitrary invariant positive sub-
space of A, respectively. Then for every A E R we have
dim i5,,(A \2) <: dim i5 A(A \2 1) .
Lemma II.1.i yields U,,+!Wc c W1. On the other hand, u;;t! also
commutes with Ui . (Really, if A and B are commuting, completely
invertible operators, then AB-l = B-lBAB-l = B-lABB-l =
= B-lA.) Hence u;;t!WC c WC. In addition, WC is closed and contains
9. Common Invariant Positive Subspaces 205
b) Sl' is Two-compact.
c) The left-hand side of (9.12) is a Two-continuous function of the
variable K1 E Sl'.
According to a), the conclusion of our theorem holds if and only if
(9.13) n Sl'u
UEU
"* £}.
But, on account of a) and c), every Sl'u is contained in Sl' and closed
with respect to the induced topology Twol ~1'. Therefore, by assertion
b), instead of (9.13) it is sufficient to show that the intersection of any
finite subfamily of the family {Sl'u }UEU is non-void. In other words
(see a)), it is sufficient to prove the theorem for finite familiesU. This,
however, has been previously done in Lemma 9.2. 0
Notes to Chapter IX
Arons, M. E., Han, M. Y., Sudarshan, E. C. G.: [1J Finite quantum electrodynamics:
a field theory using an indefinite metric. Phys. Rev. (2) 137, B 1085-B 1104
(1965).
Aronszajn, N.: [1] Quadratic forms on vector spaces. In: Proc. Internat. Sympos.
Linear Spaces, pp. 29-87. Jerusalem and Oxford: Jerusalem Academic Press
and Pergamon 1961.
Azizov, T. J a.: [1] The spectra of certain operator classes in Hilbert space. Mat.
Zametki 9,303-310 (1971) [Russian].
[2] Invariant subspaces and criteria of completeness for the system of root
vectors of J-dissipative operators in the Pontrjagin space II,.. Dokl. Akad.
Nauk SSSR 200,1015-1017 (1971) [Russian].
Azizov, T. J a., Iohvidov, 1. S.: [1J A criterion, in order to form a complete system
or a basis, for the root vectors of a completely continuous J-selfadjoint operator
in the Pontrjagin space II,.. Mat. Issled. 6, no. 1, 158-161 (1971) [Russian].
[2] Linear operators in Hilbert spaces with a G-metric. Uspehi Mat. Nauk 26,
no. 4, 43-92 (1971) [Russian].
Berezin, F. A.: [1] On the Lee model. Mat. Sb. 60, 425-446 (1963) [RussianJ.
Berge, C.: [1] Espaces topologiques: fonctions multivoques, Paris: Dunod 1959.
Bleuler, K.: [1] Eine neue Methode zur Behandlung der longitudinalen und skalaren
Photonen. Helvetica Phys. Acta 23,567-586 (1950).
Bognar, J. (= Bognar, Ja.): [1] On the existence of square roots of an operator
which is self-adjoint with respect to an indefinite metric. Magyar Tud. Akad.
Mat. Kutat6 Int. K6zl. 6, 351-363 (1961) [Russian].
[2] On a discontinuity property of the inner product in spaces with indefinite
metric. Uspehi Mat. Nauk 17, no. 1, 157-159 (1962) [Russian].
[3] Non-negativity properties of operators in spaces with indefinite metric.
Ann. Acad. Sci. Fenn. Ser. A I, no. 336/10 (1963).
[4J Certain relations among the non-negativity properties of operators in spaces
with an indefinite metric. Magyar Tud. Akad. Mat. Kutat6 Int. K6zl. 8,
201-212 (1963) [Russian].
[5] Certain relations among the non-negativity properties of operators in spaces
with an indefinite metric. II. Studia Sci. Math. Hungar. 1, 97-102 (1966)
[Russian].
[6] Certain relations among the non-negativity properties of operators in spaces
with an indefinite metric. III. Studia Sci. Math. Hungar. 1,419-426 (1966)
[Russian].
[7] On decomposition majorants of an indefinite metric. Math. Z. 101, 65-67
(1967).
Bibliography 211
Bognar, J.: [8J Involution as operator conjugation. In: Colloquia Math. Soc.
Janos Bolyai, Vol. 5, Hilbert space operators and operator algebras, pp. 53 - 64.
Amsterdam/London: North-Holland 1972.
[9J A remark on doubly strict plus-operators. Mat. Issled. (to appear) [Russian}.
Bognar, J., Kramli, A.: [1] Operators of the form C*C in indefinite inner product
spaces. Acta Sci. Math. (Szeged) 29,19-29 (1968).
Bogoljubov, N. N., Medvedev, B. V., Polivanov, M. K.: [1] On the question of an
indefinite metric in quantum field theory. Naucnye Doklady VySSel Skoly,
Fiz.-Mat. Nauki (1958), no. 2,137-142 (1958) [RussianJ.
Bonsall, F. F.: [1] Indefinitely isometric linear operators in a reflexive Banach
space. Quart. J. Math. Oxford Ser. (2) 6, 179-187 (1955).
Bourbaki, N.: [1] Elements de mathematique. XV, XVIII, XIX. Espaces vec-
toriels topologiques. Actualites Sci. Ind., nos. 1189, 1229, 1230. Paris: Hermann
1953 and 1955.
Brodskil, M. L.: [1] On properties of operators mapping the non-negative part of
a space with indefinite metric into itself. Uspehi Mat. Nauk 14, no. 1, 147-152
(1959) [RussianJ.
Brodskil, V. M.: [1] Operator colligations and their characteristic functions. Dokl.
Akad. Nauk SSSR 198,16-19 (1971) [Russian].
Browder, F. E.: [1] A remark on the Dirichlet problem for non-elliptic self-adjoint
partial differential operators. Rend. Circ. Mat. Palermo (2) 6,249-253 (1957).
- [2J On the Dirichlet problem for linear non-elliptic partial differential equations.
II. Rend. Circ. Mat. Palermo (2) 7,303-308 (1958).
Cordes, H. 0.: [lJ On maximal first order partial differential operators. Amer. J.
Math. 82, 63-91 (1960).
Crandall, M. G., Phillips, R. S.: [1] On the extension problem for dissipative
operators. J. Functional Analysis 2,147-176 (1968).
Daleckil, J. u. L.: [lJ Differentiation of non-hermitian matrix functions depending
on a parameter. Izv. Vyss. Ucebn. Zaved. Matematika 2, 52-64 (1962)
[Russian].
Daleckil, J u. L., Fadeeva, E. A. : [lJ Hyperbolic equations with operator coeffi-
cients, and ultra-parabolic systems. Ukrain.Mat. Z. 24,92-95 (1972) [RussianJ.
Daleckil, Ju. L., KreIn, M. G.: [lJ The stability of the solutions of differential
equations in a Banach space, Moscow: Nauka 1970 [RussianJ.
Davis, Ch.: [lJ J-unitary dilation of a general operator. Acta Sci. Math. (Szeged)
31,75-86 (1970).
- [2J Dilation of uniformly continuous semi-groups. Rev. Roumaine Math.
Pures Appl. 15, 975-983 (1970).
Davis, Ch., Foia~, C.: [lJ Operators with bounded characteristic function and their
J-unitary dilation. Acta Sci. Math. (Szeged) 32,127-139 (1971).
Dirac, P. A. M.: [lJ The physical interpretation of quantum mechanics. Proc. Roy.
Soc. London Ser. A 180,1-40 (1942).
Dolph, C. L.: [1] Recent developments in some non-self-adjoint problems of
mathematical physics. Bull. Amer. Math. Soc. 67,1-69 (1961).
Dunford, N., Schwartz, J .T.: [lJ Linear operators. I. General theory, New York/
London: Interscience 1958.
Eisenfeld, J.: [1] On symmetrization and roots of quadratic eigenvalue problems.
J. Functional Analysis 9, 410-422 (1972).
212 Bibliography
Fan, K.: [1J Fixed-point and minimax theorems in locally convex topological linear
spaces. Proc. Nat. Acad. Sci. U.S.A. 38,121-126 (1952).
[2J Invariant subspaces of certain linear operators. Bull. Amer. Math. Soc. 69.
773-777 (1963).
[3J Invariant cross-sections and invariant linear subspaces. Israel J. Math. 2,
19-26 (1964).
[4J Invariant subspaces for a semi group of linear operators. Indag. Math. 27,
447-451 (1965).
[5J Applications of a theorem concerning sets with convex sections. Math.
Ann. 163, 189-203 (1966).
Fischer, H. R., Gross, H.: [1] Quadratic forms and linear topologies. I. Math. Ann.
157,296-325 (1964).
Gerisch, A. (= Geris, A.), Gerisch. vI'. (= Geris, V.): [1J Pontrjagin's space and
convergence of the Bubnov-Galerkin method. Dohl. Akad. Nauk SSSR 193.
1218-1221 (1970) [Russian].
Ginzburg, Ju. P.: [1] On J-contractive operator functions. Dokl. Akad. Nauk
SSSR 117, 171-173 (1957) [Russian].
[2] On J-contractive operators in Hilbert space. Odess. Gos. Ped. Inst. Nauen.
Zap. Fiz.-Mat. Fak. 22, no. 1, 13-20 (1958) [Russian].
[3] Subspaces of a Hilbert space with indefinite metric. Odess. Ped. lnst.
Nauen. Zap. Kaf. Mat. Fiz. Estestv. 25. no. 2,3-9 (1961) [Rnssian].
[4] Projections in a Hilbert space with bilinear metric. Dok!. Akad. Nauk
SSSR 139.775-778 (1961) [Russian].
Ginzburg. Ju. P., Iohvidov.1. S.: [1] A study of the geometry of infinite-dimensional
spaces with bilinear metric. Uspehi Mat. Nauk 17, no.4. 3- 56 (1962) [Russian].
Glazman.1. M .• Ljubie. Ju. 1.: [1] Finite-dimensional linear analysis. Moscow:
Nauka 1969 [Russian].
Glicksberg,1. L.: [1] A further generalization of the Kakutani fixed point theorcm.
with application to Nash equilibrium points. Proc. ArneI'. Math. Soc. 3.170-174
(1952).
Gorbaeuk. M. L.. Slepcova. G. P., Temeenko, M. E.: [1] Stability of motion of a
rigid body suspended on a string and filled with fluid. Ukrain. Mat. Z. 20.
586- 602 (1968) [Russian].
Gorbaeuk. V. 1. (= Pljuseeva, V.!.): [1] The integral representation of hermitian-
indefinite matrices with % negative squares. Ukrain. Mat. Z. 14. 30- 39 (1962)
[Russian].
[2J The integral representation of continuous hermitian-indefinite kernels.
Dohl. Akad. Nauk SSSR 145. 534-537 (1962) [Russian].
[3J The integral representation of hermitian-indefinite kernels (the case of several
variables). Ukrain. Mat. Z. 16.232-236 (1964) [Russian].
[4J The integral representation of hermitian-indefinite kernels. Ukrain. Mat. Z.
17. no. 3.43-58 (1965) [Russian].
[5] On the uniqueness of the representation of hermitian-indefinite functions
and sequences. Ukrain. Mat. Z. 18. no. 2,107-113 (1966) [Russian].
[6] Extensions of a real hermitian-indefinite function with one negative square.
Ukrain. Mat. Z. 19. no. 4.119-125 (1967) [Russian].
[7J Self-adjoint extensions of some Hermitian operators in a space with in-
definite metric. In: Colloquia Math. Soc. Janos Bolyai. Vo1.5. Hilbert space
operators and operator algebras. pp.265-269. Amsterdam/London: North-
Holland 1972.
Bibliography 213
Iohvidov, 1. S.: [7] Operators with completely continuous iterations. Dokl. Akad.
Nauk SSSR 153,258-261 (1963) [Russian].
[8J Singular linear manifolds in the spaceII,.. Ukrain. Mat. Z. 16, 300-308
(1964) [RussianJ.
[9J On a lemma of Ky Fan generalizing the fixed-point principle of A. N.
Tihonov. Dokl. Akad. Nauk SSSR 159,501-504 (1964) [RussianJ.
[10J On maximal definite linear manifolds in a Hilbert space with a G-metric.
Ukrain. Mat. Z. 17, no. 4, 22-28 (1965) [Russian].
[llJ G-isometric and I-semiunitary operators in Hilbert space. Uspehi Mat.
Nauk20,no.3, 175-181 (1965) [Russian].
[12J Linear fractional transformations of I-contractive operators. Akad. Nauk
Armjan. SSR Dokl. 42,3-8 (1966) [Russian].
[13J Unitary extensions of isometric operators in the Pontrjagin space III and
continuations in the ~1 class of finite sequences of the class ~l;n. Dokl. Akad.
Nauk SSSR 173,758-761 (1967) [Russian].
[14J Banach spaces with a I-metric and certain classes of linear operators in
these spaces. Bul. Akad. Stiince RSS Moldoven. 1, 60 - 80 (1968) [RussianJ.
[15J On a class of linear fractional operator transformations. Voronez. Gos.
Univ. Trudy Sem. Funkcional. Anal. 18-44 (1970) [RussianJ.
Iohvidov,1. S., Kreln, M. G.: [1J Spectral theory of operators in spaces with an
indefinite metric. I. Trudy Moskov. Mat. Obsc. 5,367-432 (1956) and 6, 486
(1957) [Russian].
[2J Spectral theory of operators in spaces with an indefinite metric. II. Trudy
Moskov. Mat. Obsc. 8, 413-496 (1959) and 1-5,452-454 (1966) [RussianJ.
Iohvidov, 1. S., Senderov, V. A.: [1] The bounded ness of I -semiunitary operators in
Banach spaces with a I-metric. Mat. Issled. 5, no. 4, 166-170 (1970)
[Russian].
Jarchow, H.: [lJ Stetigkeit hermitescher Formen. Ann. Acad. Sci. Fenn. Ser. A I,
no. 441 (1969).
- [2J Topologisch stetige hermitesche Formen. Math. Z. 113, 326- 334 (1970).
Jelinek, J., Virsik, J.: [1] Pseudo-unitary spaces. Casopis Pest. Mat. 91, 18-33
(1966).
Bibliography 215
Jonas, P.: [1] Eine Bedingung fUr die Existenz einer EigenspektraUunktion fur ge-
wisse Automorphismenlokalkonvexer Raume. Math. Nachr. 45, 143-160(1970).
Kallen, G., Pauli, W.: [IJ On the mathematical structure of T. D. Lee's model of a
renormalizablc field theory. Danske Vid. Selsk. lVIat.-Fys. lVIedd. 30, no. 7
(1955).
Karrer, G.: [IJ Spektraltheorie der Automorphismen Hermite'scher Formen. Ann.
Acad. Sci. Fenn. Ser. A I, no. 237 (1957).
Kothe, G.: [1] Topologische lineare Raume, Vol. 1, Berlin/Gottingen/Heidelberg:
Springer 1960.
Kraljevic, H.: [1] Simultaneous diagonalisation of two symmetric bilinear func-
tionals. Glasnik Mat. Ser. III 1, 57-63 (1966).
KreIn, lVI. G.: [IJ On weighted integral equations the distribution functions of which
are not monotonic. In: Memorial volume dedicated to D. A. Grave, pp. 88-103.
Moscow/Leningrad: Gostehizdat 1940 [Russian].
[2J Completely continuous linear operators in function spaces with two norms.
Akad. Nauk Ukrain. RSR. Zbirnik Prac' Inst. Mat. no. 9, 104-129 (1947)
[UkrainianJ .
[3J Helices in the infinite-dimensional Lobacevskil space. Uspehi Mat. Nauk 3,
no.3, 158-160 (1948) [Russian].
[4J An application of the fixed-point principle in the theory of linear transforma-
tions of spaces with an indefinite metric. Uspehi Mat. Nauk 5, no. 2,180-190
(1950) [Russian].
[5J Integral representation of a continuous hermitian,indefinite function with a
finite number of negative squares. Dokl. Akad. N auk SSSR 125, 31 - 34 (1959)
[Russian].
[6J Lectures on the theory of the stability of solutions of differential equations
in a Banach space. Kiev: Akad. Nauk Ukrain. SSR Inst. lVIat. 1964 [RussianJ.
[7J A new application of the fixed-point principle in the theory of operators in a
space with indefinite metric. Dokl. Akad. Nauk SSSR 154, 1023-1026 (1964)
[Russian].
[8J Introduction to the geometry of indefinite I-spaces and to the. theory of
operators in those spaces. In: Second mathematical summer school, Part I,
pp. 15-92. Kiev: Naukova Dumka 1965 [Russian].
[9J Distribution of roots of polynomials orthogonal on the unit circle with respect
to a sign-alternating weight. Teor. Funkcil Funkcional. Anal. i Prilozen. no. 2,
131-137 (1966) [Russian].
KreIn, M. G., Langer, H. (= Langer, G. K.) : [1] On the spectral function of a self-
adjoint operator in a space with indefinite metric. Dokl. Akad. Nauk SSSR 152,
39-42 (1963) [Russian].
[2J On the theory of quadratic pencils of self-adjoint operators. DokL Akad.
Nauk SSSR 154,1258-1261 (1964) [RussianJ.
[3J Certain mathematical principles of the linear theory of damped vibrations
of continua. In: Applications of the theory of functions in continuum mechanics,
Vol. II, pp.233-322. iYIoscow: Nauka 1965 [Russian].
[4J The defect subspaces and generalized rcsolvents of a hermitian operator in
the spaccII,.. FunkcionaL Anal. i Prilozen. 5, no.2, 59-71 and no. 3, 54-69
(1971) [Russian].
[5J Dber die verallgemeinerten Resolventen und die characteristische Funktion
eines iSOluetrischen Operators im Raume II". In: Colloquia Math. Soc. Janos
Bolyai, VoL 5, Hilbert space operators and operator algebras, pp. 353-399.
Amsterdam/London : North-Holland 1972.
216 Bibliography
Krem, M. G., Rutman, M. A.: [1] Linear operators leaving invariant a cone in a
Banach space. Uspehi Mat. Nauk 3, no. 1, 3-95 (1948) [Russian].
Krei:n, M. G., Smul'jan, Ju. L.: [1] Plus-operators in a space with an indefinite
metric. Mat. Issled. 1, no. 1, 131-161 (1966) [Russian].
[2] i-polar representations of plus-operators. Mat. Issled. 1, no. 2, 172-210
(1966) [Russian].
[3] Linear fractional transformations with operator coefficients. Mat. Issled. 2,
no. 3, 64-96 (1967) [Russian].
Krei:n, S. G., Moiseev, N.N.: [1] On oscillations of a vessel containing a liquid with
a free surface. Prikl. Mat. Meh. 21, 169-174 (1957) [Russian].
Kuhne, R.: [1) Uber eine Klasse ]-selbstadjungierter Operatoren. Math. Ann. 154,
56-69 (1964).
- [2] Minimaxprinzipe fur stark gedampfte Scharen. Acta Sci. Math. (Szeged) 29,
39-68 (1968).
Kuzel', A. V.: [1] The spectral analysis of quasi-unitary operators in a space with
indefinite metric. Teor. Funkcii Funkcional. Anal. i Prilozen. no. 4, 3-27
(1967) [Russian).
Langer, H. (= Langer, G. K.): [1] On i-hermitian operators. Dokl. Akad. Nauk
SSSR 134,263-266 (1960) [Russian].
[2] Zur Spektraltheoric ]-sclbstadjungierter Operatoren. Math. Ann. 146,
60-85 (1962).
[3J Eine Verallgemeinerung eines Satzes von L. S. Pontrjagin. Math. Ann. 152,
434-436 (1963).
[4] Eine Erweiterung der Spurformel der St6rungstheorie. Math. Nachr. 30,
123-135 (1965).
[5] Invariant subspaces of linear operators acting in a space with indefinite
metric. Dokl. Akad. Nauk SSSR 169,12-15 (1966) [Russian].
[6] Spektralfunktionen einer Klasse ]-selbstadjungierter Operatoren. Math.
Nachr. 33, 107-120 (1967).
[7] Uber einen Satz von M. A. Neumark. Math. Ann. 175,303-314 (1968).
[8] Uber stark gedampfte Scharen im Hilbertraum. J. Math. Mech. 17, 685 -705
(1968).
[9] Uber die schwache Stabilitat linearer Differentialgleichungen mit periodi-
schen Koeffizienten. Math. Scand. 22, 203-208 (1968).
[10] A remark on invariant subspaces of linear operators in Banach spaces with
an indefinite metric. Mat. Issled. 4, no. 1, 27 - 34 (1969) [Russian].
[11] Maximal dual pairs of invariant subspaces of i-selfadjoint operators. Mat.
Zametki 7,443-447 (1970) [Russian].
[12] Invariante Teilraume definisierbarer ]-selbstadjungierter Operatoren.
Ann. Acad. Sci. Fenn. Ser. A I, no. 475 (1971).
[13] Verallgemeinerte Resolvcnten eines ]-nichtnegativen Opcrators mit end-
lichem Defekt. J. Functional Analysis 8, 287-320 {1971}.
[14] Generalized co-resolvents of a n-isometric operator with unequal defect
numbers. Funkcional. Anal. i Prilozen. 5, no. 4,73-75 (1971) [Russian].
[15] Zur Spektraltheorie verallgemeinerter gew6hnlicher Difierentialoperatoren
zweiter Ordnung mit einer nichtmonotonen Gewichtsfunktion. Univ. Jyvaskyla
Dept. Math., Report 14 (1972).
Larionov, E. A.: [1] A commutative family of operators in a space with indefinite
metric. Mat. Zametki 1, 589- 594 (1967) [Russian].
Bibliography 217
Larionov, E. A.: [2] The extension of dual subspaces. Dokl. Akad. Nauk SSSR
176,515-517 (1967) [RussianJ.
[3J The extension of dual subspaces invariant under an algebra. Mat. Zametki 3,
253-260 (1968) [Russian].
[4J Nilpotent I-selfadjoint operators. Dohl. Akad. Nauk SSSR 183, 768-771
(1968) [Russian].
[5J Selfadjoint quadratic pencils. Izv. Akad. Nauk SSSR Ser. Mat. 33,138-154
(1969) [RussianJ.
Lax, P. D., Phillips, R. S.: [1] The acoustic equation with an indefinite energy form
and the Schr6dinger equation. J. Functional Analysis 1, 37- 83 (1967).
[2J Scattering theory, New York/London: Academic Press 1967.
[3J Decaying modes for the wave equation in the exterior of an obstacle. Comm.
Pure Appl. Math. 22,737-787 (1969).
Lee, T. D., Wick, G. C.: [1] Negative metric and the unitarity of the S-matrix.
Nuclear Phys. B 9, 209-243 (1969).
Liberzon, V. 1., Surman, V. S.: [1] Operator-irreducible symmetric operator alge-
bras in the Pontrjagin space IJI. Izv. Akad. Nauk SSSR Ser. Mat. 35,
1159-1170 (1971) [Russian].
Littman, 'V.: [1] Remarks on the Dirichlet problem for general linear partial dif-
ferential equations. Comm. Pure Appl. Math. 11, 145-151 (1958).
Lo, c.-y.: [1J A class of polynomials in self-adjoint operators in spaces with an
indefinite metric. Canad. J. Math. 20, 673-678 (1968).
- [2J On polynomials in self-adjoint operators in spaces with an indefinite metric.
Trans. Amer. Math. Soc. 134,297-304 (1968).
Loginov, A. 1.: [1J Semidegenerate algebras in a Pontrjagin space. Mat. Zametki 6,
73-80 (1969) [Russian].
[2J Commutative symmetric operator algebras in a Pontrjagin space. Izv. Akad.
Nauk SSSR Ser. Mat. 33,549-569 (1969) [Russian].
[3J Complete commutative symmetric operator algebras in the Pontrjagin
space III' Mat. Sb. 84,575-582 (1971) [RussianJ.
Louhivaara, 1. S.: [1] Uber das erste Randwertproblem fur die Differentialgleichung
u xx + U yy + q U + f = O. Ann. Acad. Sci. Fenn. Ser. A I, no. 183 (1955).
[2J Uber das zweite und dritte Randwertproblem fur die Differentialgleichung
u xx + U yy + q U + f = O. Ann. Acad. Sci. Fenn. Ser. A I, no. 203 (1955).
[3J Uber das Dirichletsche Problem fur die selbstadjungierten linearen partiellen
Differentialgleichungen zweiter Ordnung. Rend. Circ. Mat. Palermo (2) 5,
260-274 (1956).
[4J Bemerkung zur Theorie der Nevanlinnaschen Raume. Ann. Acad. Sci.
Fenn. Ser. A I, no. 232 (1956).
[5J Zur Theorie der Unterraume in linearen Raumen mit indefiniter Metrik.
Ann. Acad. Sci. Fenn. Ser. A I, no. 252 (1958).
[6J Uber verschiedene Metriken in linearen Raumen. Ann. Acad. Sci. Fenn.
Ser. A I, no. 282 (1960).
[7J Uber die neuere Entwicklung der Theorie der linearen Raume mit indefiniten
Bilinearformen. In: Festband 70. Geburtstag R. Nevanlinna, pp.66-81-
Berlin/Heidelberg/New York: Springer 1966.
Mal'cev, A. 1.: [1] Foundations of linear algebra, San Francisco/London: Freeman
1963.
Marksj6, B., Textorius, B.: [1] On the stability of linear differential equations in
spaces with an indefinite metric. Math. Scand. 20, 177 -192 (1967).
218 Bibliography
Masuda, K.: [lJ On the existence of invariant subspaces in spaces with indefinite
metric. Proc. Amer. Math. Soc. 32, 440-444 (1972).
Mnrray, F. J.: [lJ On complementary manifolds and projections in spaces Lp and lp.
Trans. Amer.Math. Soc. 41,138-152 (1937).
Nagy, K. L.: [n Indefinite metric in quantum field theory. Nuovo Cimento (10) 17,
supplemento, 92-131 (1960).
[2J State vector spaces with indefinite metric in quantum field theory, Grollin-
gen and Budapest: Noordhoff and Akademiai Kiad6 1966.
[3J Complex poles, cuts, indefinite metric and unitarity. Acta Phys. Acad. Sci.
Hungar. 29, 251-265 (1970).
Narmark, M. A.: [1] On commuting unitary operators in spaces with indefinite
metric. Acta Sci. Math. (Szeged) 24, 177-189 (1963).
[2J Unitary representations of solvablc groups in spaces with indefinite metric.
Izv. Akad. Nauk SSSR Ser. Mat. 27, 1181-1185 (1963) [Russian].
[3J Commutative algebras of operators in the space Ill' Rev. Roumaine Math.
Pures App!. 9, 499-528 (1964) [Russian].
[4J Unitary representations of the Lorentz group in spaces with indefinite
metric. Mat. Sb. 65,198-211 (1964) [RussianJ.
[5J On unitary group representations in spaces with indefinite metric. Acta
Sci. Math. (Szeged) 26,201-209 (1965).
[6J Kommutativc symmetrische Operatorenalgebren in Pontryaginschen Ran-
menilk . Math. Ann. 162, 147-171 (1965) and 170, 166 (1967).
[7J On the structure of the unitary representations of locally compact groups in
the space Ill' Izv. Akad. Nauk SSSR Ser. Mat. 29, 689-700 (1965) [RussianJ.
[8J Conditions for the unitary equivalence of commutative symmetric algebras
in the Pontrjagin space Ilk' Trudy Moskov. Mat. Obse. 15,383-399 ('1966)
[Russian].
[9J Structure of unitary representations of locally compact groups and sym-
metric representations of algebras in the Pontrjagin space II". Izv. Akad. Nauk
SSSR Ser.Mat. 30,1111-1132 (1966) [Russian].
[10J Degenerate operator algebras in the Pontrjagin space Ilk' Izv. Akad.
Nauk SSSR Ser. Mat. 30,1229-1256 (1966) [Russian].
[llJ Representations of commutative symmetric Banach algebras and commu-
tative topological groups in the space II". Dokl. Akad. Nauk SSSR 170, 271-274
(1966) [Russian J.
[12J Analog of Stone's theorem for a space with an indefinite metric. Dokl.
Akad. Nauk SSSR 170,1259-'1261 (1966) [Russian].
[13J On unitary group representations and symmetric algebra representations
in spaces with indefinite metric. In: Proceedings of the symposium in analysis,
pp.145-156. Kingston, Ontario: Queen's University 1967.
Nalmark, M. A., Ismagilov, R. S.: [lJ Representations of groups and algebras in
a space with indefinite metric. In: Itogi N auki, Mathematical analysis 1968,
pp. 73-105. Moscow: Akad. Nauk SSSIUnst. Nauen. Informacii 1969 [Russian].
Nevanlinna, R.: [1] Erweiterung der Theorie des Hilbertschen Raumes. Comm.
Sem. Math. Univ. Lund, Tome Supplementaire, 160-168 (1952).
[2J Dber metrische lineare Raume. II. Bilinoarformen und Stetigkeit. Ann.
Acad. Sci. Fenn. Ser. A I, no. 113 (1952).
[3J Dber metrische Iineare Raume. III. Theorie dor Orthogonalsysteme. Ann.
Acad. Sci. Fenn. Ser. A I, no. 115 (1952).
[4J Dber metrische lineare RauIne. IV. Zur Theorie der Unterraume. Ann.
Acad. Sci. Fenn. Ser. A I, no. 163 (1954).
Bibliography 219
Noel, G.: [1] Topologies sur un vectoriel hermitien non degenere. c. R. Acad. Sci.
Paris 257, 2785-2787 (1963).
- [2] Operateurs fortement (f)-normaux dans un espace de type (f). Acad. Roy.
Belg. Bull. Cl. Sci. (5) 51, 570- 585 (1965).
Olubummo, A., Phillips, R. S.: [1] Dissipative ordinary differential operators.
J. Math. Mech. 14, 929-949 (1965).
Ovcinnikov, V. 1.: [1] The decomposability of spaces with indefinite metric. Mat.
Issled. 3, no. 4,175-177 (1968) [Russian].
Pauli, W.: [1] On Dirac's new method of field quantization. Rev. Modern Phys. 15,
175-207 (1943).
Pelsahovic, E. E.: [1] Sufficient conditions for the existence of a solution of the
equation A = fiB) for selfadjoint operators in a space with indefinite metric.
Vestnik Moskov. Univ. Ser.I Mat. Meh. 21, no. 4, 47-53 (1966) [Russian].
Pesonen, E.: [1] Dber die Spektraldarstellung quadratischer Formen in linearen
Raumen mit indefiniter Metrik. Ann. Acad. Sci. Fenn. Ser. A I, no. 227 (1956).
Phillips, R. S.: [1] Dissipative operators and parabolic partial differential equations.
Comm. Pure Appl. Math. 12,249-276 (1959).
[2] Dissipative operators and hyperbolic systems of partial differential equa-
tions. Trans. Amer. Math. Soc. 90, 193-254 (1959).
[3] The extension of dual subspaces invariant under an algebra. In: Proc.
Internat. Sympos. Linear Spaces, pp. 366- 398. Jerusalem and Oxford: J erusa-
lem Academic Press and Pergamon 1961.
[4] A minimax characterization for the eigenvalues of a positive symmetric
operator in a space with an indefinite metric. J. Fac. Sci. Univ. Tokyo Sect.
I A Math. 17, 51- 59 (1970).
Phillips, R. S., Sarason, L.: [1] Singular symmetric positive first order differential
operators. J. Math. Mech. 15,235-271 (1966).
Pontrjagin, L. S.: [1] Hermitian operators in spaces with indefinite metric. Izv.
Akad. Nauk SSSR Ser. Mat. 8, 243-280 (1944) [Russian].
Potapov, V. P.: [1] The multiplicative structure of J-contractive matrix functions.
Trudy Moskov. Mat. Obsc. 4, 125-236 (1955) [Russian].
Reid, W. T.: [1] Symmetrizable completely continuous linear transformations in
Hilbert space. Duke Math. J. 18,41-56 (1951).
Riesz, F., Sz.-Nagy, B.: [1] Le90ns d'analyse fonctionnelle, 4 e edition, Paris and
Budapest: Gauthier-Villars and Akademiai Kiad6 1965.
Robertson, A. P., Robertson, W.: [1] Topological vector spaces, New York: Cam-
bridge University Press 1964.
Savage, L. J.: [1] The application of vectorial methods to metric geometry. Duke
Math. J. 13, 521-528 (1946).
Schaefer, H. H.: [1] Topological vector spaces, New York and London: Macmillan
and Collier-Macmillan 1966.
Scheibe, E.: [1] Dber hermitische Formen in topologischen Vektorraumen.1. Ann.
Acad. Sci. Fenn. Ser. A I, no. 294 (1960).
Senderov, V. A.: [1] Operators that are absolute indefinitely bounded from below in
spaces with indefinite metric. Mat. Zametki 10, 301-305 (1971) [Russian].
Shah Tao-shing: [1] On conditionally positive-definite generalized functions. Sci.
Sinica 11, 1147-1168 (1962).
220 Bibliography
721/17/73 V/12/6
Ergebnisse der Mathematik und ihrer Grenzgebiete