On Convergence in n-Inner Product Spaces
BULLETIN of the Bull. Malaysian Math. Sc. Soc. (Second Series) 25 (2002) 11-16
M ALAYSIAN M ATHEMATICAL S CIENCES S OCIETY
On Convergence in n-Inner Product Spaces
H ENDRA G UNAWAN
Department of Mathematics, Bandung Institute of Technology, Bandung 40132, Indonesia
e-mail: hgunawan@dns.math.itb.ac.id
Abstract. We discuss the notions of strong convergence and weak convergence in n-inner product
spaces and study the relation between them. In particular, we show that the strong convergence
implies the weak convergence and disprove the converse through a counter-example, by invoking an
analogue of Parseval’s identity in n-inner product spaces.1. Introduction
n ≥ X ≥ n
Let
2 be an integer and be a real vector space of dimension . A real-valued
- n
1
function < ⋅ ⋅ ⋅ ⋅ > on
X satisfying the following five properties: , | , " , z , z z , , z ≥ ; z , z z , , z = if and only if
" n " n
1
1
2
1
1
2 z , z , , z are linearly dependent; (I1)
" n
1
2 z , z z , , z = z , z z , , z for every permutation
" n i i i " i
1
1
2
1
1 2 n ( i , , i ) of ( 1 , , n ) ;
(I2)
" n "
1 x , y z , , z = y , x z , , z ; (I3)
" n " n
2
2
α x , y z , , z = α x , y z , , z , α ∈ ; (I4)
" " R 2 n 2 n
′ ′
- x x , y z , , z = x , y z , , z x , y z , , z ; (I5) " n " n " n
2
2
2 < ⋅ ⋅ ⋅ ⋅ >
is called an n -inner product on
X , and the pair ( X , , | , , ) is called an n -inner " product space. n X < ⋅ ⋅ ⋅ ⋅ >
On an -inner product space ( , , | , , ) , the following function
"
1
2 z z z = z z z z
, , , : , , ,
1 2 " n
1
1 2 " n
H. Gunawan
z , , z ≥ , z , , z = " "
1 n 1 n
if and only if
z z
(N1)
, " , 1 n
are linearly dependent;
z z is invariant under permutation; (N2) , " ,
1 n
α z , z , , z = α ⋅ z , z , , z , α ∈ ;
" "
1 2 n
1 2 n R
(N3)
- ≤ +
x y , z , , z x , z , , z y , z , , z . (N4) 2 " n 2 " n
2 " n
X < ⋅ ⋅ >
For example, any inner product space ( , , ) can be equipped with the standard
n -inner product < x , y > < x , z > < x , z > "
2 n < z , y > < z , z > < z , z > " n
2
2
2
2 x , y | z , , z : = .
" n
2 # # % # < > < > < > z , y z , z z , z n n " n n
2 Observe here that the induced n -norm
1
2
< z z > < z z > < z z > , , ,
1
1
1
2 "
1 n< z z > < z z > < z z > , , ,
2
1
2
2 "
2 n z , , z =" n
1
# # % # < > > < >
z ,z ( z , z z , z n n " n n
1
2 represents the volume of the n -dimensional parallelepiped spanned by z , , z .
" n
1 An n -inner product enjoys many properties analogous to those of an inner product.
For instance, one may verify that the Cauchy-Schwarz inequality
2
2
2
≤
x , y z , , z x , z , , z y , z , , z
" n " n " n
2
2
2
∈ holds for every x , y , z , , z
X .
2 " n
The concept of 2-normed spaces was first introduced by Gähler [3], while that of 2-inner product spaces was developed by Diminnie, Gähler and White [1,2].
n ≥
Their generalization for 2 may be found in Misiak’s works [9,10]. For recent results on n -normed spaces and n -inner product spaces, see, for example, [4,5,7,8].
In this paper, we shall discuss the notions of strong convergence and weak convergence in n -inner product spaces and study the relation between them. In particular, we show that the strong convergence implies the weak convergence and disprove the converse through a counter-example, by invoking an analogue of Parseval’s identity in n -inner product spaces.
On Convergence in n-Inner Product Spaces
2. Main results
< ⋅ ⋅ ⋅ ⋅ > ⋅ ⋅ Let ( X , , | , , ) be an n -inner product space and , , n -norm.
" " be the induced ∈
A sequence ( x ) in
X is said to converge strongly to a point x
X k
− ∈
whenever x x , z , , z → for every z , , z
X . In such a case, we k " n 2 " n
2
write x → Meanwhile, x . ( x ) is said to converge weakly to x whenever
k k
< x − x y z z > → y z z ∈
X , , , for every , , , . k " n
2 " n
2 x y
Clearly if ) ( x and ( y ) converge strongly/weakly to and respectively, then, for
k k
∈ + any , β , ( α x β y ) converges strongly/weakly to α + x β y . α
R k k
→ Moreover, one may observe that if x x , then
k → z z ∈ X ⋅ ⋅ x , z , , z x , z , , z for every , , . This tells us that , , k 2 " n 2 " n 2 " n " n ⋅ ⋅
is continuous in the first variable. By Property (N2) of -norms, , , " is continuous in each variable.
Next, if x x y → y , then by the triangle inequality for real numbers and → and
k k
the Cauchy-Schwarz inequality for the n -inner product we have −
x , y z , , z x , y z , , z k k " n " n
2
2
- ≤ − − −
x x , y z , , z x x , y y z , , z
k " n k k " n
2
2
- −
x , y y z , , z k " n
2
≤ − ⋅
x x , z , , z y , z , , z k " n " n
2
2
− ⋅ − +x x , z , , z y y , z , , z
k " n k " n2
2
⋅ + x z z y − y z z , , , , , ,
" n k " n
2
2
whence < x , y | z , , z > → < x , y | z , , z > . This shows that < ⋅ , ⋅ | ⋅ , , ⋅ > is " " "
k k 2 n 2 n continuous in the first two variables.
Now we come to our main results. The first proposition below tells us that a sequence cannot converge weakly to two distinct points.
′ ′ Proposition 2.1. If ( x ) converges weakly to x and x simultaneously, then x = x .
k Proof. By hypothesis and Property (I5) of n -inner products, we have
< x y z z > → < x y z z >
, | , , , , , and at the same time
k 2 " n 2 " n′ < x y z z > → < x y z z > y z z ∈
X
, | , " , , , " , for every , , " , . By the
k 2 n 2 n 2 n
uniqueness of the limit of a sequence of real numbers, we must have ′
< x , y | z , , z > = < x , y z , , z > or " "
H. Gunawan
′
x − x , y z , , z =
"
2 n
′ for every y , z , , z ∈
X . In particular, by taking y = x − x , we obtain
" n
2
− ′ =
x x , z , , z
" n
2
for every y , z , , z ∈
X . By Property (N1) of 2-norms and elementary linear algebra,
"
2 n
′ ′ this can only happens if x − x = or x = x . The next proposition says that the strong convergence implies the weak convergence.
Proposition 2.2. If ( x ) converges strongly to x, then it converges weakly to x . k
Proof. By the Cauchy-Schwarz inequality, we have
x − x , y z , , z ≤ x − x , z , , z ⋅ y , z , , z
" " "
k 2 n k 2 n 2 n
for every y , z , , z ∈
X . Since by hypothesis the right-hand side tends to 0 for every
" n
2 y , z , , z ∈ X , so does the left-hand side.
" n
2 Corollary 2.3. A sequence cannot converge strongly to two distinct points .
The terminology that we use suggests that there are sequences that converge weakly but do not converge strongly. Here is one example that invokes an analogue of Parseval’s identity.
Example 2.4. Let ( X , < ⋅ , ⋅ > ) be a separable Hilbert space of infinite dimension and
( e ),
X . Then, for each x and z ∈ X , we k indexed by N, be an orthonormal basis for
have < x , e > < z , e > = < x , z > . In particular, if x = z , then we have Parseval’s
k k ∑ k
2
1
2
2 identity < x , e > = x , where || ⋅ || = < ⋅ , ⋅ > denotes the induced norm. k
∑ k X n < ⋅ ⋅ ⋅ ⋅ >
Now equip with the standard -inner product , | , , , as given previously in
" x z z ∈
X
the introduction. Then, for each , , , , we have the following analogue of
2 " n
Parseval’s identity
2
2
2
x , e z , , z = x , z , , z z , , z
" " " k 2 n 2 n 2 n
∑ k n
−
1
where || ⋅ , , ⋅ || denotes the standard ( − n
- n −
1
1 ) norm on X (see [6]). For n = 2 , the "
identity can be verified easily as follows
On Convergence in n-Inner Product Spaces
2
2
2 x , e | z = x , e z − x , z z , e k k k
∑ k ∑ k [ ]
2
4
2
2
2 = 2 x , e z , e x , z z x , z z , e + x , e z −
[ k k k k ] ∑ k
2
4
2
2
2
2 = + x z − 2 x , z z x , z z
2
2
2
2 = x z − x , z ⋅ z
[ ]
2
2 = x , z z .
As the reader would have already expected by now, our counter-example is
( e ) . Because of Parseval’s identity, we must have < x , e z , , z > → for every
" k k 2 n x , z , , z ∈ X , that is, ( e ) converges weakly to 0. Now, for each k ∈ and" 2 n k
N
- z , , z ∈
X , denote by e the orthogonal projection of e on the subspace spanned "
2 n k k
- by z , , z . Then one may observe that e − e →
1 , whence " 2 n k k
e , z , , z = e − e ⋅ z , , z → z , , z ≠ .
k " n k k " n " n
2
2
2 n n
− 1 −
1
whenever z , , z are linearly independent. This shows that ( e ) does not converge
2 " n k
strongly to 0 in X .
3. Special cases
As shown in [5], on any n -inner product space (
X , < ⋅ , ⋅ | ⋅ , , ⋅ > ) , we can define an inner "
product < , ⋅ ⋅ > with respect to a linearly independent set { a , , a } ⊆
X by "
1 n x , y : = x , y a i a
, " , ∑ 2 i n i i n
{ , " , n } ⊆ {
1 , " , }
2
1
2 ⋅ = < ⋅ ⋅ >
and put || || , as the induced norm. Then, given a sequence ( x ) in
X , we can k
also define the strong convergence with respect to || ⋅ || and the weak convergence with respect to < , ⋅ ⋅ > . These types of convergence are in general weaker than the previous ones, defined with respect to || , , ⋅ || and < ⋅ , ⋅ | ⋅ , , ⋅ > respectively.
" ⋅ "
In the standard case, however, one may observe that they are as strong as the previous ones, respectively, so that we have the following relation between the four types of convergence:
H. Gunawan
⋅ < ⋅ ⋅ ⋅ ⋅ >
strong convergence w.r.t. || , , || ⇒ weak convergence w.r.t. , | , " ,
⋅ " < , ⋅ ⋅ >
strong convergence w.r.t. ||⋅ || ⇒ weak convergence w.r.t. (see [8] for basic ideas). This gives us another explanation why our counter-example in the previous section works.
Finally, in the finite-dimensional case, we know that any sequence that converges weakly with respect to < , ⋅ ⋅ > will converge strongly with respect to ||⋅ || , and that any sequence that converges strongly with respect to ||⋅ || will converge strongly with respect to || , , ⋅ || . Therefore, the four types of convergence are all equivalent.
⋅ " References
Demonstratio Math
. (1973),
6 1.
C. Diminnie, S. Gähler and A. White, 2-inner product spaces, 525-536.
Demonstratio Math 2.
.
C. Diminnie, S. Gähler and A. White, 2-inner product spaces. II,
10 (1977), 1969-188.
3. Math . N achr . 28 (1965), 1-43.
S. Gähler, Lineare 2-normietre Räume, 4. n -inner products, n -norms, and the Cauchy-Schwarz inequality, Sci . Math .
H. Gunawan, On Jpn
5 . (2002), 53-60.
5. n -inner product space is an inner product space, submitted.
H. Gunawan, Any Per Math 6.
. .
H. Gunawan, A generalization of Bessel’s inequality and Parseval’s identity, Hungar. (2002), 177-181.
Soochow J Math 7.
. .
H. Gunawan and Mashadi, On finite-dimensional 2-normed spaces,
27 (2001), 321-329.
8. n -normed spaces, Int . J . Math . Math . Sci . (2001), 631-639.
H. Gunawan and Mashadi, On
140
9. n -inner product spaces, Math . N achr . (1989), 299-319.A. Misiak, 10. n -inner product spaces, Math . N achr .
A. Misiak, Orthogonality and orthonormality in 143 (1989), 249-261.