Some new results on inner product quasilinear spaces

Abstract: In this article, we research on the properties of the floor of an element taken from an inner product quasilinear space. We prove some theorems related to this new concept. Further, we try to explore some new results in quasilinear functional analysis. Also, some examples have been given which provide an important information about the properties of floor of an inner product quasilinear space.


PUBLIC INTEREST STATEMENT
The theory of quasilinear spaces was introduced by Aseev (1986). Aseev used the partial order relation when he defined quasilinear spaces and so he can give consistent counterparts of results in linear spaces. As known, the theory of inner product space and Hilbert spaces play a fundamental role in functional analysis and its applications. We know that any inner product space is a normed space and any normed space is a particular class of normed quasilinear space. Hence, this relation and Aseev's work motivated us to examine quasilinear counterpart of inner product space in classical analysis. Thus, we introduce the concept of inner product quasilinear space. In this paper, we give some results related to floors of inner product quasilinear spaces. Also, some examples have been given which provide an important contribution to understand the structure of inner product quasilinear spaces.
We see from the definition of quasilinear space which given in Aseev (1986), the inverse of some elements of in quasilinear spaces may not be available. Yılmaz, Çakan, and Aytekin (2012), these elements are called as singular elements of quasilinear space. At the same time the others which have an inverse are referred to as regular elements. Then, in Çakan (2016), she noticed that the base of each singular elements of a combination of regular elements of the quasilinear space. Therefore, she defined the concept of the floor of an element in quasilinear space in Çakan (2016) which is very convenient for some analysis of quasilinear spaces. This work has motivated us to introduce some results about the floors of inner product quasilinear spaces, briefly, IPQLS.
In this paper, motivated by the work of Assev (1986) and Çakan (2016), we research some properties of floors of inner product quasilinear spaces and prove some theorems related to floor of a subset of an inner product quasilinear space. Further, we try to extend the results in quasilinear functional analysis. Our consequences gives us some information about the properties of floor of an inner product quasilinear space. Let us give some notation and preliminary results given by Aseev (1986).
Definition 1.1 A set X is called a quasilinear space (QLS, for short), if a partial order relation "≤", an algebraic sum operation, and an operation of multiplication by real numbers are defined in it in such way that the following conditions hold for any elements x, y, z, v ∈ X and any real numbers , ∈ ℝ: (1) x ≤ x; (2) x ≤ z if x ≤ y and y ≤ z, there exists an element ∈ X such that x + = x, A linear space is a quasilinear space with the partial order relation "=". The most popular example which is not a linear space is the set of all closed intervals of real numbers with the inclusion relation "⊆", algebraic sum operation and the real scalar multiplication We denote this set by Ω C (ℝ). Another one is Ω(ℝ), the set of all compact subsets of real numbers.
By a slight modification of algebraic sum operation (with closure) such as and by the same real scalar multiplication defined above and by the inclusion relation we get the nonlinear QLS, Ω C (E) and Ω(E), the space of all nonempty closed bounded and convex closed bounded subsets of some normed linear space E, respectively. Lemma 1.1 Suppose that any element x in a QLS X has an inverse element x � ∈ X. Then the partial order in X is determined by equality, the distributivity conditions hold, and consequently, X is a linear space (Aseev, 1986).
Suppose that X is a QLS and Y ⊆ X. Then Y is called a subspace of X whenever Y is a QLS with the same partial order and the restriction to Y of the operations on X. One can easily prove the fallowing theorem using the condition of to be a QLS. It is quite similar to its linear space analogue (Yılmaz et al., 2012). Yılmaz et al., 2012).
Let X be a QLS. An x ∈ X is said to be symmetric if (−1) ⋅ x = −x = x, and X d denotes the set of all such elements. denotes the zero's, additive unit of X and it is minimal, The inverse is unique whenever it exists and x � = −x in this case. Sometimes x ′ may not be exist but −x is always meaningful in QLSs. An element x possessing an inverse is called regular, otherwise is called singular. For a singular element x we should note that x − x ≠ 0. Now, X r and X s stand for the sets of all regular and singular elements in X, respectively. Further, X r , X d and X s ∪ {0} are subspaces of X and they are called regular, symmetric and singular subspaces of X, respectively (Yılmaz et al., 2012). Proposition 1.1 In a quasilinear space X every regular element is minimal (Yılmaz et al., 2012).
Definition 1.2 Let X be a QLS. A function ‖⋅‖ X :X ⟶ ℝ is called a norm if the following conditions hold (Aseev, 1986): A quasilinear space X with a norm defined on it is called normed quasilinear space (NQLS, for short). It follows from Lemma 1.1 that if any x ∈ X has an inverse element x � ∈ X, then the concept of NQLS coincides with the concept of a real normed linear space.
Let X be a NQLS. Hausdorff or norm metric on X is defined by the equality Since x ≤ y + (x − y) and y ≤ x + (y − x), the quantity h X (x, y) is well-defined for any elements x, y ∈ X, and It is not hard to see that this function satisfies all of the metric axioms.
Lemma 1.2 The operations of algebraic sum and multiplication by real numbers are continuous with respect to the Hausdorff metric. The norm is continuous function respect to the Hausdorff metric (Aseev, 1986).
Then Ω(E) and Ω C (E) are normed quasilinear spaces. In this case, the Hausdorff metric is defined as usual: where S r ( ) denotes a closed ball of radius r about ∈ X (Aseev, 1986). On the other hand, the set is called floor in X of M and is denoted by  X M (Çakan, 2016).
Definition 1.5 Let X be a quasilinear space. X is called solid-floored quasilinear space whenever for every y ∈ X. Otherwise, X is called nonsolid-floored quasilinear space (Çakan, 2016).
(1) Definition 1.6 Let X be a QLS. Consolidation of floor of X is the smallest solid-floored QLS X containing X, that is, if there exists another solid-floored QLS Y containing X then � X ⊆ Y.
Clearly, X = X for some solid-floored QLS X. Further, Ω C (ℝ n ) s = Ω C (ℝ n ). For a QLS X, the set is the floor of X in X .
Let us give an extended definition of inner product. This definition and some prerequisites are given by Y. Yılmaz. We can see following inner product as (set-valued) inner product on QLSs.
Definition 1.7 Let X be a quasilinear space. A mapping ⟨ , ⟩:X × X → Ω(ℝ) is called an inner product on X if for any x, y, z ∈ X and ∈ ℝ the following conditions are satisfied: if x ≤ y and u ≤ v then ⟨x, u⟩ ⊆ ⟨y, v⟩, if for any > 0 there exists an element x ∈ X such that x ≤ y + x and ⟨ x , x ⟩ ⊆ S ( ) then x ≤ y.
A quasilinear space with an inner product is called an inner product quasilinear space, briefly, IPQLS.
Example 1.3 One can see easily Ω C (ℝ), the space of closed real intervals, is an IPQLS with inner product defined by Every IPQLS X is a normed QLS with the norm defined by for every x ∈ X. This norm is called inner product norm. Classical norm of Ω C (ℝ) (see Aseev, 1986) is generated by the above inner product.
Proposition 1.2 x n → x and y n → y in an IPQLS then � x n , y n � → ⟨x, y⟩.
An IPQLS is called Hilbert QLS, if it is complete according to the Inner product (norm) metric. Ω C (ℝ) is a Hilbert QLS. Definition 1.8 (Orthogonality) An element x of an IPQLS X is said to be orthogonal to an element y ∈ X if We also say that x and y are orthogonal and we write x ⟂ y. Similarly, for subsets m, n ⊆ X we write x ⟂ m if x ⟂ z for all z ∈ m and m ⟂ n if a ⟂ b for all a ∈ m and b ∈ n.
An orthonormal set M ⊂ X is an orthogonal set in X whose elements have norm 1, that is, for all x, y ∈ M Definition 1.9 Let A be a nonempty subset of an inner product quasilinear space X. An element x ∈ X is said to be orthogonal to A, denoted by x ⟂ A, if ‖⟨x, y⟩‖ Ω(ℝ) = 0 for every y ∈ A. The set of all elements of X orthogonal to A, denoted by A ⟂ , is called the orthogonal complement of A and is indicated by For any subset A of an IPQLS X, A ⟂ is a closed subspace of X.

Main results
In this section, we try to explore some properties of floor of an element in an inner product quasilinear space. We note that the concept of floor is unneeded in linear spaces. Because, the floor of a linear space is equal to itself.
Definition 2.1 Let X be a quasilinear space. X is called homogenized quasilinear space if for every x ∈ X and ≥ 0 the following condition is satisfied: Clearly, every linear space is a homogenized quasilinear space. But the reverse is not true.
Let X be a normed linear space. Then Ω C (X) is a homogenized quasilinear space but Ω(X) is nonhomogenized quasilinear space.
Proposition 2.1 Let X be a homogenized IPQLS and x ∈ X. Then F x is convex subset of X.
Proof Let X be a homogenized IPQLS. From Definition 1.3, we get for a x ∈ X. So we have for every a, b ∈ F x . From the condition (13), we get for all 0 ≤ ≤ 1. Hence, Since, X is a homogenized IPQLS, for every 0 ≤ ≤ 1. So, we obtain This completes the proof. ✷

Remark 2.1 Floor of an element of an IPQLS X is convex if and only if this IPQLS X is homogenized.
If X is not homogenized inner product quasilinear space in the above proposition, then F x is not con- Proposition 2.2 Let X be an IPQLS and A, B ⊆ X. Then, we have The proof of proposition is similar to the classical linear counterpart.

Theorem 2.1 If M is a convex subspace of Hilbert QLS X, then F M is complete and convex subspace of Hilbert QLS X.
Proof Let a, b ∈ F M . Then, in view of Definition 1.3, there exist a x ∈ M such that a ≤ x and there exist a y ∈ M such that b ≤ y. From (12) and (13), we have Since M is convex, we find a z ∈ M such that Let a n ∈ F M and a n → a for some a ∈ X. Then for any > 0 there exists an N ∈ ℕ such that the following condition holds for any n > N: (2) a n ≤ a + a 1n , a ≤ a n + a 2n , ‖ ‖ a in ‖ ‖ ≤ 2 .
On the other hand, if a n ∈ F M then there exist a x n ∈ M such that a n ≤ x n for every n ∈ ℕ. From here and above inequality, we get for every n ∈ ℕ. By the (18), we have a ≤ x n for every n ∈ ℕ. Now, we show that a is a regular element of X. By Lemma 1.2, we know −a n → −a when a n → a. So, for any > 0 there exists an n ∈ ℕ such that the following condition holds for any n > n : Because of a n ∈ F M , a n − a n = 0. By Lemma 1.2, (2) and (3), we get and From here, we have 0 = a − a since X is a Hilbert QLS. This shows that a is a regular element of X. Thus, since x n ∈ M for all n ∈ ℕ, we obtain a ∈ F M . This proves that the set F M is complete. ✷ Corollary 2.1 Let X be a Hilbert QLS and M is a convex subspace of X. Then F M is a complete subspace of X even if M is not complete.

Proposition 2.3
If X is an IPQLS and x ∈ X, then F x is a closed.
Proof Let b n ∈ F x and b n → b for some b ∈ X. Then for all > 0 there exists an n 0 ∈ ℕ such that the following condition holds for any n > n 0 : Since b n ∈ F x , b n ≤ x for every n ∈ ℕ. So, we have ≤ . Also, we can show that b is regular element of X similar to the above proof. By Lemma 1.
So, for any > 0 there exists an n 0 ∈ ℕ such that the following condition holds for any n > n 0 : From here, we have 0 = b − b since X is an IPQLS. This shows that b is a regular element of X. ✷ Lemma 2.1 Let X be an IPQLS. A floor of any element of IPQLS X may not subspace of X. But, the orthogonal complement of floor of any element of IPQLS X is subspace of X.
Proof Let a, b ∈ F x . Definition of floor of an element a ≤ x and b ≤ x for a x ∈ X. Since X is an IPQLS, we have for every , ∈ ℝ. From here, we obtain ⋅ a + ⋅ b ∉ F x since ⋅ x + ⋅ x may not equal to x for all , ∈ ℝ. So, F x is not a subspace of X. Now, let z ∈ F x and c, d ∈ F ⊥ x for a x ∈ X. From (15), (20) and (21) a ≤ x n + a 2n , ‖ ‖ a 2n ‖ ‖ ≤ (3) −a n ≤ −a + b 1n , −a ≤ −a n + b 2n , . a n − a n ≤ a − a + a 1n + b 1n , a − a ≤ a n − a n + a 2n The floor of an subset of Ω C (ℝ) d is equal to the largest element according to the order relation of the Ω C (ℝ).
Example 2.1 Let RZ = n, 0 :n ∈ ℝ − , the right-zero subset of Ω C (ℝ). By the definition of floor, we get Similarly, if we say LZ = 0, n :n ∈ ℝ + , the left-zero subset of Ω C (ℝ), we find From here, we have Theorem 2.2 Suppose that X is an IPQLS and A, B ⊆ X. If A ⋃ B = X, then F A ⋃ F B = X r .
Proof It is easy to see that x ∈ X r for every x ∈ F A ⋃ F B . Let us consider x ∈ X r . From here, we know that x ∈ X. Since A ⋃ B = X,x is an element either A or B.
If x is an element of A, x ∈ F A since x ∈ X r . If x is an element of B, x ∈ F B since x ∈ X r .This implies x ∈ F A ⋃ F B . ✷ Remark 2.3 Although, in an IPQLS X, F A ⋃ F B = X r for all A, B ⊆ X, the combination of A and B may not be equal to X.
Example 2.2 Let us consider the IPQLS X = Ω C (ℝ) and the subspaces A = X s and B = X r . Clearly, A ⋃ B = X and F A ⋃ F B = X r . If we take C = LZ and D = RZ (RZ and LZ are subset of Ω C (ℝ) which is given in Example 2.1), we get F RZ ⋃ F LZ = X r . But C ⋃ D = RZ ⋃ LZ ≠ X.