The Related Properties of Generalized Orthogonal Group in Specific Normed Linear Spaces ()
1. Related Properties of Generalized Orthogonal Group and Generalized Orthogonal Basis
Orthogonality is an important study content of inner product space. On the one hand, as scholars have deepened their understanding of functional analysis, especially the understanding of Banach geometric theory, generalized orthogonal theory in the normed linear space was established and corresponding studies were carried out. The essential characteristics of orthogonality were applied to extend orthogonality from inner product space to general normed linear space. On the other hand, orthogonal groups, orthogonal bases and orthogonalization of vector groups have been extensively studied, making the whole system more complete. As a result, the study achievements within these fields have played an important role in the improvement of the inner product space theory. Naturally, scholars are making efforts to extend related theories to general normed linear spaces. At the same time, the application of related orthogonality of nonorthogonal function expansion is also rising [1].
In this paper, based on the research achievements of orthogonal theory, the concepts of generalized orthogonal group and generalized orthogonal basis in the general normed linear space were introduced. The conclusion that any two nonzero generalized orthogonal groups must be linearly independent groups was proven. An example showing that there exist four nonzero Birkhoff orthogonal groups in two-dimensional space was given. Also, this example further drew our attention to the study of generalized orthogonal groups’ properties. Next, the existence of nonzero generalized orthogonal groups and its linear correlation were discussed, as well as some related questions of nonzero generalized orthogonal groups in lp space.
The research on orthogonal and isometric mapping has attracted much attention as early as the beginning of the 20th century. In 1934, B. D. Roberts proposed the concept of Roberts orthogonality [2]. The specific definition is as follows.
Definition 1.1 ( [2] ) Let X be a normed linear space,
, if the equation
holds for any real number
. Then x is Roberts orthogonal to y, denoted by
.
Definition 1.2 ( [3] ) Let X be a normed linear space,
, if they satisfy
.
Then x is isosceles orthogonal or James orthogonal to y, denoted by
.
According to the property of “The perpendicular segment between the point and the line is shortest”, the concept of Birkhoff orthogonality in normed linear space was proposed by G. Birkhoff in 1935.
Definition 1.3 ( [4] ) Let X be a normed linear space,
, if the inequelity
holds for any
in the range of real number. Then x is Birkhoff orthogonal to y, denoted by
.
Because R. C. James has made outstanding contributions to the study of Birkhoff Orthogonal, Birkhoff Orthogonal is also known as James Orthogonal or Birkhoff-James Orthogonal.
Definition 1.4 ( [5] ) Suppose M and N are two subspaces of X, if for any
and
, there exist
, then M is Birkhoff orthogonal to N, denoted by
.
and
are abbreviated as
and
in particular.
Definition 1.5 ( [5] ) A norm on
is standard when satisfies
.
Definition 1.6 ( [6] ) Let X be a linear space and
be a functional on X. If for any
and
,
satisfies the following conditions:
1)
,
;
2)
(Triangle inequality);
3)
(Absolute homogeneity).
Then
is called a norm on X, and
is called a normed linear space. When the norm is not emphasized, X is used to represent
. A real finite-dimensional normed linear space is called a Minkowski space, and a two-dimensional Minkowski space is called a Minkowski plane.
Based on the definition and related theorems of orthogonality, as scholars keep studying in the field of orthogonal elements, conclusions in specific Orlicz sequence space were correspondingly drawn [7] [8]. Along with the further understanding of orthogonal elements, the concept of orthogonal groups was proposed for the reason that orthogonal elements are not commutative. In the inner product space, the generalized orthogonal theory was relatively complete. And in algebra, studies on vector groups were already carried out. Naturally, the generalized orthogonal groups whose properties are derived from orthogonality while keep their own differences were studied in this paper. Considering of different orthogonal properties, different orthogonal groups were correspondingly proposed. And the related properties of orthogonal groups were studied in specific normed linear space.
Based on these definitions, in the general normed linear space, the concepts of generalized isosceles orthogonal group, generalized Birkhoff orthogonal group, generalized Roberts orthogonal group, strong Birkhoff orthogonal group and generalized orthogonal basis are introduced correspondingly as follows:
Definition 1.7 Let X be a normed linear space,
is a vector group of X, if there exist
or
for any
, then the vector group A is a generalized Birkhoff orthogonal group of X.
Definition 1.8 Let X be a normed linear space,
is a vector group of X, if there exist
and
for any
, then the vector group A is a strong Birkhoff or commutative Birkhoff orthogonal group of X.
Definition 1.9 Let X be a normed linear space,
is a vector group of X, if there exist
for any
. Moreover, considering the symmetry of isosceles orthogonal, then the vector group A is a strong Birkhoff or commutative Birkhoff orthogonal group of X.
Definition 1.10 Let X be a normed linear space,
is a vector group of X, if there exist
or
for any
, then the vector group A is a generalized Roberts orthogonal group of X.
Definition 1.11 Let A be a generalized orthogonal group on normed linear space X. If A is also a set of basis on X, then A is a generalized orthogonal basis of X.
Theorem 1.1 Any two elements in any nonzero generalized orthogonal group in a normed linear space are linearly independent.
Proof In the following, we distinguish four cases.
Case 1: If
is a nonzero Birkhoff orthogonal group. Assuming that
is linearly related, then there exist
,
.
This is a contradiction to the definition of Birkhoff orthogonal. Thus, if
is a nonzero Birkhoff orthogonal group, then it is linearly independent.
Case 2: If
is a nonzero strong Birkhoff orthogonal group. Assuming that
is linearly related, then there exist
,
and
.
This is a contradiction to the definition of Birkhoff orthogonal. Thus, if
is a nonzero strong Birkhoff orthogonal group, then it is linearly independent.
Case 3: If
is a nonzero isosceles orthogonal group. Similarly, assuming that
is linearly related, then there exist
and
.
This is a contradiction to the definition of isosceles orthogonal. Thus, if
is a nonzero isosceles orthogonal group, then it is linearly independent.
Case 4: If
is a nonzero Roberts orthogonal group. Assuming that
is linearly related, then there exist
and
.
This is a contradiction to the definition of Roberts orthogonal. Thus, if
is a nonzero Roberts orthogonal group, then it is linearly independent. □
The generalized orthogonal group of two elements is linearly independent, so it is natural for us to consider whether there are linear independent orthogonal group of three or more elements in two-dimensional space.
Reasoning 1.1 Any generalized orthogonal group containing two nonzero elements in a two-dimensional space is a generalized orthogonal basis.
However, it should be noted that in a three-dimensional space, a generalized orthogonal group containing three elements is not necessarily a generalized orthogonal basis. Specific examples are given below.
Theorem 1.2 Let X be the inner product space and
,
are orthogonal to each other, then in there exists at least one zero element.
Proof Proof by contradiction assuming that
are nonzero and orthogonal to each other. Since
, we have
.
Thus,
.
Since
, we have
.
Similarly, we have
. This contradicts the linear correlation of
, hence the theorem is proved. □
Theorem 1.3 ( [9] ) For any convex quadrilateral abcd on the Minkowski plane X, the sum of its diagonals is no less than the sum of lengths of any set of opposite sides, that is
(1-1)
(1-2)
Formula (1-1) holds if and only if
.
Theorem 1.4 ( [2] ) Let C be a convex body in
. The following propositions are equivalent
1) C is an ellipsoid;
2) For any straight line L passing through the origin, there is a hyperplane H such that
.
Theorem 1.5 Let X be a two-dimensional real normed linear space. If there exists a generalized Roberts orthogonal group on X, then
holds.
Theorem 1.6 ( [10] ) Let E be a two-dimensional real normed linear space. If there exist
,
,
and
, then
.
Note that the theorem above does not hold for Birkhoff orthogonality.
Example 1.1 ( [11] ) In
with the norm
, vector
,
and
satisfy
,
and
.
Example 1.2 Let X be a linear space formed by a continuous function
on a closed interval
, and specify
.
Then
is a two-dimensional normed linear space; the two vectors x and y in X are Roberts orthogonal to each other if and only if
.
Example 1.3 Let
, if the norm
satisfies
,
,
and
, where
, then
,
,
,
,
,
and
.
Example 1.3 shows that the number of elements in a nonzero generalized orthogonal group can be greater than the number of elements in the basis.
2. Generalized Orthogonal Group in lp Space
In this part, the existence of nonzero generalized orthogonal groups and its linear correlations were applied in discussing the related questions in the specific normed linear space namely the lp space. The existences of generalized orthogonal elements and generalized orthogonal groups in
and
space were proven.
Theorem 2.1 Let
, then any linearly independent group on X can be Schmidt orthogonalized.
Proof Let
and J is the standard dual mapping on X. Select
which is a standard dual mapping satisfying
for
and
.
It follows that
is one option of standard dual mapping.
, let
, and we have
. Thus,
is a semi-inner product of a generation norm on X.
Assume
, and we have
.
Thus,
.
We have
which implies that u,w is a set of orthogonal basis. □
Proposition 2.1 ( [2] ) If X is a Minkowski plane, then for any vector x in X, there exists a corresponding H in X (H is a hyperplane passing through the origin) so that any vector in H is Birkhoff orthogonal to x (denoted by
).
However, when the dimension of the space is greater than two, the situation is completely different.
Lemma 2.1 ( [2] ) Let X be a normed linear space with dimensions great than or equal to three. If H exists for any vector x such that
(H is a hyperplane through the origin), then x is an inner product space.
Next, we were trying to find the generalized orthogonal element in
space using the same proof methods as Lemma 2.1.
Proposition 2.2 Birkhoff orthogonal element of
space.
,
, satisfying
and
.
Then we have
.
Let
satisfying
, and it follows that
.
Hence
.
In the two-dimensional subspace
of
space, let
,
and
, which is
.
Let
and
, we have
and
,
,
,
.
If
holds, then
must hold for any
.
Since
, we have that
,
which is an orthogonal point pair. Hence
,
;
,
.
Proposition 2.3 Roberts orthogonal element of
space.
Let
be a point on the unit sphere of two-dimensional lp space and
, it follows that
.
Let
, and we have
,
.
which implies that the hyperplane
supports the ball at x.
When
, the unit sphere is strictly convex, then x is Birkhoff orthogonal to y for any X. If
, then
(the point y in the hyperplane except for x).
Let
, and we have
and
.
Thus,
.
When
or
, there exists elements Roberts orthogonal to x, which are
,
;
,
;
,
;
,
;
,
;
,
;
,
;
,
.
Proposition 2.4 If
and
, then
.
Proof In the following, we distinguish two cases.
Case 1: Since
and
, we have
and
.
It follows that
and
.
Case 2: Since
and
, we have
and
.
It follows that
and
. □
Proposition 2.5 The isosceles orthogonality on space
can be obtained from the foregoing.
Proof In the following, we distinguish three cases.
Case 1: If
and
, then
.
Case 2: If
and
, then
.
1) If
and
, then we have
and
.
Hence
.
2) If
and
, similarly,
.
Case 3: If
and
, then
.
1) If
and
, then we have
and
.
Hence
.
2) If
and
, similarly, we have
. □
Theorem 2.2 There exist at least n elements in n-dimensional lp space that are orthogonal to each other and linearly independent.
Example 2.1 Let X be a
space, then
is the generalized Birkhoff orthogonal group of X, is also the generalized isosceles orthogonal group and the generalized Roberts orthogonal group of X, and is linearly independent.
Then we naturally consider the existence of generalized orthogonal groups in lp subspaces.
Reasoning 2.1 Let X be a two-dimensional
subspace,
,
,
,
,
and
. It is proved that A and B are generalized orthogonal groups of X, and
,
,
,
are mutually commutative. Hence A and B can also be called as generalized commutative Birkhoff orthogonal groups of X.
Reasoning 2.2 Let X be a two-dimensional
subspace,
,
,
,
,
,
,
,
,
. It is proved that A, B and C are generalized Roberts orthogonal groups of X, and
,
,
,
,
,
are mutually commutative. Hence A, B and C are called generalized commutative Roberts orthogonal groups of X.
Reasoning 2.3 Let X be a two-dimensional
subspace,
,
and
. It is proved that A is a generalized isosceles orthogonal group of X.
Reasoning 2.4 Let X be a
space,
,
,
,
,
,
,
,
and
. It is proved that A, B and C are generalized isosceles orthogonal groups of X.
Reasoning 2.5 Let X be a
space,
,
,
and
. It is proved that A is a generalized Birkhoff orthogonal group of X. However,
,
,
are not mutually Brikhoff orthogonal, then A cannot be called as a generalized commutative Birkhoff orthogonal group of X.
However, there still remains further study and discussion on the existence of generalized orthogonal groups in other normed linear spaces.
3. Conclusion
Based on the concept of orthogonal group in inner product space and some related properties, the definition of generalized orthogonal group in general normed linear space is introduced in this paper. Furthermore, the existence and linear correlation of nonzero generalized orthogonal groups are discussed. Some related problems of nonzero generalized orthogonal groups in specific normed linear space namely the lp space are discussed, and corresponding conclusions are drawn. Also, generalized orthogonal basis in the three-dimensional Orlicz sequence space is discussed, and the isosceles orthogonal basis is extended especially.