Orthogonal Frames in Krein Spaces †

: In this paper, we introduce the concept of orthogonal frames in Krein spaces, prove the independence of the choice of the fundamental symmetry, and from this, we obtain a number of interesting properties that they satisfy. We show that there is no distinction between orthogonal frames in a Krein space and orthogonal frames in its associated Hilbert. Furthermore, we characterize frames dual to a given frame, which is a useful tool for constructing examples


Introduction
The theory of frames in Hilbert spaces was introduced in the year 1952 by Duffin and Schaeffer [1]; this means that this theory is relatively recent.Subsequently, in the year 1982, Daubechies, Grossman and Meyer [2] considered frames as overcomplete bases for finding the series expansions of functions in the Hilbert space of square integrable functions L 2 (R).In this sense, a frame is an overcomplete basis by virtue of the frame decomposition theorem (see [3]) which states that every vector of a Hilbert space can be written as a linear combination of the elements of the frame, and where the coefficients in the expansion are not necessarily unique, which is a highly applicable theory in signal processing, since even when one element of the frame is lost, it is possible to recover the information through the other elements.For more information see [3] (Section 8.5).
Krein spaces are a generalization of Hilbert spaces (see [4,5]); thus, it is natural to think about the extension of the frame theory in Hilbert spaces to Krein spaces.Such an extension was developed by K. Esmeral, O. Ferrer and E. Wagner in the year 2015 [6], who established the notion of discrete frames in Krein spaces, whose existence does not depend on the fundamental decomposition; thus.interesting properties were obtained, largely because the inner product is indefinite.Krein spaces find many applications in physics, since these had its appearance in quantum field theory.It was Dirac [7] who, in 1942, introduced the subject of indefinite inner products in quantum field theory; a year later, Pauli [8] took up Dirac's ideas, and used these inner products for the quantization of fields, but the first mathematical treatment of a space with indefinite inner product was given by Pontrjagin [9], who was unaware of Dirac and Pauli's investigations.Herein lies the importance of working in these spaces.
As for orthogonal frames in Hilbert spaces, these have been extensively developed by Bhatt [10][11][12], and the present paper is inspired by these works.Now, due to the fundamental decomposition of a Krein space, as an orthogonal direct sum of a positive definite space and a negative definite space-which turn out to be Hilbert spaces-given a pair of orthogonal frames in the first one and a pair of orthogonal frames in the second one, according to the definition given in [13], it is satisfied that the union of these pairs of frames are orthogonal in the Hilbert space associated to the Krein, as can be seen in Theorem 3, which motivated the study of these objects in Krein spaces.
This manuscript is divided into the following sections.Section 2 corresponds to the preliminaries, where the definitions and results necessary to develop the theory of orthogonal frames in Krein spaces are presented.In Section 3, the results obtained are presented, as well as some examples that complement the theory.Finally, Section 4 contains the conclusions of the work and possible future work and ways forward.

Preliminaries
The following definitions, propositions, theorems and comments are necessary to understand the results of this article.In the following, K denotes the field of real numbers or the field of complex numbers.Definition 1 ([4,5]).Let F be a vector space over the field K.An inner product in F is a function which satisfies the following properties: ) is called an inner product space.Similarly, the space (F, −[•, •]) is also an inner product space and is known as the anti-space of (F, [•, •]).For the condition (iii) above, it is clear that [x, x] ∈ R for all x ∈ F, so, by the law of trichotomy of real numbers, it is possible to give the following definition.Definition 2 ([4,5]).Let (F, [•, •]) be a space with inner product and x ∈ F. We shall say that: Definition 3 ([4,5]).Let V be a vector subspace of F. If V has only positive vectors and the null vector, V is said to be defined positive.Similarly, if V has only negative vectors and the null vector, V is said to be defined negative.On the other hand, if it has both positive and negative elements, V is said to be a space with indefinite inner product.
Definition 5 ([4,5]).Let V, V be subspaces of F such that V ∩ V = {0}.The direct sum of V and V is denoted V[ +]V .In addition, if V⊥V then it is called orthogonal direct sum and we write V ⊕ V .Definition 6 ([4,5] Fundamental Decomposition).Let (F, [•, •]) be a space with inner product.We say that F admits a fundamental decomposition if subspaces exist The subspace V 0 := V ∩ V ⊥ is called the isotropic part of V and its non-zero elements are known as isotropic vectors.If V 0 = {0} , it is said that V is a non-degenerate subspace; otherwise, it is called a degenerate subspace.Definition 7 ([4,5]).A Krein space is a space with non-degenerate inner product (K, [•, •]) which admits a fundamental decomposition Definition 8 ([4,5]).Let (K, [•, •]) be a Krein space with fundamental decomposition K = K + ⊕ K − , then we know that there are unique operators To operators, P + and P − are known as fundamental projectors.The operator is called the fundamental symmetry of Krein space K associated to the fundamental decomposition.From now on, we will write (K, [•, •], J) to denote Krein space (K, [•, •]) with fundamental symmetry J associated with the fundamental decomposition •] J is a positive definite inner product, known as J-inner product.
Definition 9 ([4,5]).Let (K, [•, •], J) be a Krein space.The fundamental symmetry J induces a norm in K defined by This norm is known as the J−norm of K.In a more explicit form, , for all k ∈ K.
Example 1.Let 2 (N) be the vector space of summable square sequences over C.Then, the usual inner product which gives Hilbert space structure to 2 (N) is defined by for all {α n } n∈N , {β n } n∈N ∈ 2 (N).However, to 2 (N), we can also see it as a Krein space with an inner product whose J-inner product coincides with the usual one.In this sense, we define the following mapping, for all {α n } n∈N , {β n } n∈N ∈ 2 (N).Thus, if {e n } n∈N is the canonical orthonormal basis of 2 (N) then 2 (N) accepts the following fundamental decomposition: From now on, whenever we see 2 (N) as a Krein space, we shall understand it to be endowed with a fundamental symmetry An example of such symmetry is the one developed above, and a more trivial example is the symmetry given by the identity operator in 2 (N).Thus, we will write 2 (N) instead of 2 (N) when viewed as Krein space with such properties and the fundamental symmetry by J 2 to avoid confusion.
In the following, B(K) denotes the space of linear and bounded operators in (K, [•, •]).
Remark 1.Given a bounded linear operator T : Thus, note that T • is bounded linear and in essence different from the operator T.
) be Krein spaces.The adjoint of the bounded linear operator T : Remark 2. Given a Krein space (K, [•, •], J), it is of great importance for what follows, to denote with J J the linear and bounded mapping defined from Krein space (K, [•, •]) to the associated Hilbert space (K, [•, •] J ) as J J (k) := J(k) for all k ∈ K.We also define the linear and bounded mappings: for all k ∈ K. and adjoints are given by (id J ) * = J J and (id be Krein spaces and consider T : Given that, by Theorem 1, (K, [•, •] J ) is a Hilbert space, and since (K + , [•, •] J ) and (K − , [•, •] J ) are also, the following theorem is fully developed in the theory of frames in Hilbert spaces, and motivates the study of frames in Krein spaces.For a general overview of the theory of frames in Hilbert spaces, see [3,[14][15][16][17].
, exist, are bounded and surjective.Furthermore, note that the pre-frame operator associated to the sequence and therefore T • X is well-defined, bounded and surjective, since The constants A and B are called bounds of the frame.

Definition 13 ([6]
).Let (K, [•, •], J) be a Krein space and the sequence X = {x n } n∈N a frame in 2 (N) is well defined and bounded.This operator is called pre-frame operator associated with X.
Proof.It is sufficient to note that the following diagram commutes: Proposition 5 ([6,18]).Let (K, [•, •], J) be a Krein space and X a frame in (K, [•, •]).Then, the adjoint operator of the pre-frame operator is given by and is known as the operator analysis associated with X.
The operator is called frame operator associated with X.
Remark 3. Let k in K any, then the frame operator is given by: In the following section, we present the main results of this work, extending the notion of orthogonal frames of Hilbert spaces to Krein spaces.

Orthogonal Frames in Krein Spaces
We then define an operator that will allow us to study orthogonal frames in Krein spaces.
The operator W X,Y can be seen as follows: Note that given two frames X and Y in a Krein space K, then it is clear that Y is dual to X if and only if the above operator satisfies that W X,Y = id K .In addition, note that if X = Y then W X,Y = S X , that is, the operator W X,Y turns out to be the frame operator associated with X.
In a Hilbert space H, it is said that X is a frame orthogonal to Y if and only if ran (T • X ) * ⊥ ran (T • Y ) * , or equivalently, if and only if W 0 X,Y ≡ 0, as can be seen in [10][11][12][13].Now, the following theorem allows us to think about orthogonal frames in Krein spaces, attending to the above definition for the associated Hilbert space.
* turns out to be the operator 0. Thus, it is useful to ask about the relationship between Y , which is the same for the relationships between operators W X,JY , W JX,Y and W JX,JY .The following result establishes some relationships between these operators.Proof.Let X, Y be frames in (K, [•, •]); then, it is clear that JX, JY are also frames in (ii) ⇒ (iii) Suppose that X, JY are orthogonal in (K, [•, •]).We want to prove that W JX,JY ≡ 0. In effect, (iii) ⇒ (iv) Suppose that W JX,JY ≡ 0. Let us see that W JX,Y ≡ 0. In effect, in effect, let k ∈ K be anyone, then For this note that the following diagram commutes: This concludes the proof of the theorem.
Remark 5. Given a Krein space (K, [•, •], J) and consider a bounded linear operator ψ : In fact, for any k ∈ K, we have that In addition, note that ψ is surjective if and only if ψ • es surjective.
Proof.From the above observation, the operator ψ Then, and then ψ is surjective.
(⇐) Suppose that ψ is surjective.Let us see that ψ(X) is frame in (K, [•, •]).Since ψ is surjective then Thus, note that for any k ∈ K, ψ * (k) ∈ K, Proof.Suppose that X, Y are orthogonal frames in (K, [•, •]) and ψ 1 , ψ 2 ∈ B(K) are surjective; then, by the above result ψ 1 (X), ψ 2 (Y) are frames in (K, [•, •]).It remains to prove that W ψ 1 (X),ψ 2 (Y) ≡ 0. In effect, Theorem 6.Let (K, [•, •], J) be a Krein space and X, Y are frames in (K, [•, •]).Then, the following are equivalent •], J) be a Krein space, X be a frame in (K, [•, •]) with bounds be B ≥ A > 0 and {e n } n∈N be the canonical basis of 2 (N).Then, the dual frames to X are the families of the form: Additionally, (ii) with associated fundamental symmetry When C n is viewed as a Krein space with this fundamental symmetry J C n , we will write ker(T X ) = span{(−1, 1, 0, 0), (1, 0, −1, 0)} and ker(T Y ) = span{(1, 1, 1, 0), (0, 0, 0, 1)} that is, T X , T Y are both surjective linear transformations.Moreover, for any (β 1 , β 2 ) ∈ (2),  Let us consider X = {e 1 + e 2 , e 2 + e 3 , e 3 + e 4 , e 4 + e 5 , e 5 } in (K, [•, •] K ).Note that think of giving conditions under which given a pair of frames and the families of frames dual to these, these families are orthogonal, while following the line of results obtained in the articles [10][11][12][13].Likewise, we can think of introducing the definition of orthogonal frames in soft Hilbert spaces, since the theory of soft frames was already introduced in the article [19].Similarly, following the ideas of this article, it is possible to introduce the notion of orthogonal continuous frames and extend the results obtained here.For continuous frames in Hilbert and Krein spaces, see [20,21], respectively.Therefore, much remains to be done; in the meantime, these results may have applications in signal processing theory, data analysis and mathematical physics.
} n∈N ∈ ran(T * Y ) be any, then {α n } n∈N and {β n } n∈N are of the form and only if ψ is surjective.Suppose that ψ(X) is a frame in (K, [•, •]), then the frame operator S ψ(X) exists and is invertible.Furthermore, S ψ(X) = T ψX J 2 T * ψX and for any {α n } n∈N ∈ 2 (N) is satisfied