Some new results on soft quasilinear spaces

1. Introduction

In this article, we focus on developing new results regarding normed quasilinear spaces. Aseev introduced quasilinear spaces, normed quasilinear spaces, and quasilinear operators in [1]. In [2, 3, 4], proper quasilinear spaces were defined, and many results were obtained on normed quasilinear spaces. In [5, 6], authors worked on bounded quasilinear interval-valued functions and analyzed the Hahn Banach extension theorem for interval-valued functions. To develop quasilinear functional analysis, quasilinear inner product spaces, which are generalizations of inner product spaces, were defined in [7, 8, 9, 10]. In [11], a special class of fuzzy number sequences was shown to be a Hilbert quasilinear space. In [12], authors provided easy examples of approximate estimations of deterministic autocorrelation of some semi non-deterministic signals or signals with inexact data in [12]. In [13], a new mathematical method for processing such a non-deterministic signal was presented by using interval-valued functions, which is called its model interval signal. Moreover, in [14], a new continuous-time epidemic model including nonlinear delay differential equations was analyzed by using parameters and functions selected from a class of intervals whose algebraic basis is based on quasilinear spaces.

In 1999, Molodtsov introduced soft set theory in [15] and showed various applications of this theory on economics, engineering, medical science, etc. In [16], several operations on soft sets were presented. Das and Samanta introduced the notions of soft element in [17] and soft real number in [18]. They worked on soft linear spaces, soft normed linear spaces, soft linear operators, soft inner product spaces, and their properties in [19,20, 21, 22]. In [23, 24], soft normed space was introduced from a new point of view, and soft inner product space and soft Hilbert space on soft linear spaces were introduced, respectively.

Based on these studies on soft linear spaces and quasilinear spaces, in [25], the notions of soft quasilinear spaces and soft normed quasilinear spaces were introduced. Afterwards, in [26], definitions of soft inner product quasilinear spaces and soft Hilbert quasilinear spaces were given, and some properties of soft inner product quasilinear spaces were studied.

In this paper, we define the concept of soft homogenized quasilinear space and obtain new results related to this new concept. We also provide properties of these spaces. Furthermore, we present new theorems and examples regarding the floor of soft quasilinear spaces and soft quasilinear inner product spaces. Our results contribute significantly to the development of quasilinear functional analysis.

2. Preliminaries

In this section, we introduce some notions related to soft set theory, as well as basic concepts such as soft quasilinear spaces, soft normed quasilinear spaces, and soft inner product quasilinear spaces.

Let \(Q\) be a universe and \(P\) be a set of parameters. \(P\left( Q\right)\) denotes the power set of \(Q\), and \(B\) denotes a non-empty subset of \(P\).

Definition 1. [15] A pair \(\left( G,P\right) \) is called a soft set over \(Q\), where \(G\) is a mapping defined by \(G:P\rightarrow P(Q)\).

Definition 2. [20] A soft set \(\left( G,P\right) \) over \(Q\) is said to be an absolute soft set represented by \(\widetilde{Q}\), if for every \(\lambda \in P \), \(G\left( \lambda \right) =Q\). A soft set \(\left( G,P\right) \) over \(Q\) is said to be a null soft set represented by \(\Phi \), if for every \(\lambda \in P\), \(G\left( \lambda \right) =\emptyset \).

Definition 3. [18] Let \(Q\) be a non-empty set and \(P\) be a non-empty parameter set. Then a function \(q:P\rightarrow Q\) is said to be a soft element of \(Q\). A soft element \(q\) of \(Q\) is said to belong to a soft set \(G\) of \(Q\), which is denoted by \(q\in Q\), if \(q\left( \lambda \right) \in G\left( \lambda \right) \), \(\lambda \in P\). So, for a soft set \(G\) of \(Q\) with respect to the index set \(P\), we have \(G(\lambda )=\left\{ q\left( \lambda \right) ,\lambda \widetilde{\in }P\right\} .\) A soft set \(\left( G,P\right) \) for which \(G(\lambda )\) is a singleton set, \(\forall \lambda \in P\) can be determined with a soft element by simply determining the singleton set with the element that it contains \(\forall \lambda \in P\).

The set of all soft sets \(\left( G,P\right) \) over \(Q\) is described by \( S\left( \widetilde{Q}\right) \) for which \(G\left( \lambda \right) \neq \emptyset \), for all \(\lambda \in P\), and the collection of all soft elements of \(\left( G,P\right) \) over \(Q\) is denoted by \(SE\left( \widetilde{ Q}\right) \). Now, let us give a definition that is meaningful in soft quasilinear spaces but not in soft linear spaces.

Definition 4. [25] Let \(Q\) be a quasilinear space and \(P\) be a parameter set. Let \(G\) be a soft set over \(\left( Q,P\right) \). \(G\) is said to be a soft quasilinear space of \(Q\) if \(Q\left( \lambda \right) \) is a quasilinear subspace of \(Q\) for every \(\lambda \in P\).

We use the notation \(\widetilde{q},\widetilde{w},\widetilde{z}\) to indicate soft quasi vectors of a soft quasilinear space and \(\widetilde{a},\widetilde{ b},\widetilde{c}\) to specify soft real numbers. If a soft quasi element \( \widetilde{q}\) has an inverse i.e. \(\widetilde{q}-\) \(\widetilde{q}= \widetilde{\theta }\) such that \(\widetilde{q}\left( \lambda \right) -\) \( \widetilde{q}\left( \lambda \right) =\widetilde{ \theta }\left( \lambda \right) \) for every \(\lambda \in P\) then it is called regular. If a soft quasi element \(\widetilde{q}\) has no inverse, then it is called singular. Also, \(\widetilde{Q}_{r}\) express for the set of all soft regular elements in \(\widetilde{Q}\) and \(\widetilde{Q}_{s}\) imply the sets of all soft singular elements in \(\widetilde{Q}\).

Definition 5. [25] Let \(\widetilde{Q}\) be the absolute soft quasilinear space i.e. \(\widetilde{Q}\left( \lambda \right) =Q\) for every \( \lambda \in P\). Then a mapping \(\left\Vert .\right\Vert :SE\left( \widetilde{ Q}\right) \longrightarrow \mathbb{R} \left( P\right) \) is said to be soft norm on the soft quasilinear space \( \widetilde{Q},\) if \(\left\Vert .\right\Vert \) satisfies the following conditions:

i) \(\left\Vert \widetilde{q}\right\Vert \widetilde{\geq }0\) if \( \widetilde{q}\neq \overline{\theta }\) for every \(\widetilde{q}\in \widetilde{ Q},\)

ii) \(\left\Vert \widetilde{q}+\widetilde{w}\right\Vert \widetilde{ \leq }\left\Vert \widetilde{q}\right\Vert +\left\Vert \widetilde{w} \right\Vert \) for every \(\widetilde{q},\widetilde{w}\in \widetilde{Q},\)

iii) \(\left\Vert \widetilde{\alpha } \cdot \widetilde{q}\right\Vert =\left\vert \widetilde{\alpha } \right\vert \cdot \left\Vert \widetilde{q} \right\Vert \) for every \(\widetilde{q}\in \widetilde{Q}\) and for every soft scalar \(\widetilde{\alpha }\),

iv) if \(\widetilde{q}\widetilde{\preceq }\widetilde{w}\), then \(\left\Vert \widetilde{q}\right\Vert \widetilde{\leq }\left\Vert \widetilde{w}\right\Vert \) for every \(\widetilde{q},\widetilde{w}\in \widetilde{Q},\)

v) if for any \(\varepsilon \widetilde{>}0\) there exists an element \(\widetilde{q}_{\varepsilon }\in \widetilde{Q}\) such that\(,\) \( \widetilde{q}\widetilde{\preceq }\widetilde{w}+\widetilde{q}_{\varepsilon }\) and \(\left\Vert \widetilde{q}_{\varepsilon }\right\Vert \widetilde{\leq } \varepsilon \) then \(\widetilde{q}\widetilde{\preceq }\widetilde{w}\) for any soft elements \(\widetilde{q},\widetilde{w}\in \widetilde{Q}\).

A soft quasilinear space \(\widetilde{Q}\) with a soft norm\(\left\Vert .\right\Vert \) on \(\widetilde{Q}\) is called soft normed quasilinear space and is indicated by \(\left( \widetilde{Q},\left\Vert .\right\Vert \right) \) or \(\left( \widetilde{Q},\left\Vert .\right\Vert ,P\right) .\)

Theorem 1.[26] If a soft norm \(\left\Vert .\right\Vert \) on soft normed quasilinear space \(\widetilde{Q}\) satisfied the condition " \(\xi \in Q \), and \(\lambda \in P,\) \(\left\{ \left\Vert \widetilde{q}\right\Vert \left( \lambda \right) =\xi \right\} \) is a singleton set.". If for every \(\lambda \in P\), \(\left\Vert .\right\Vert _{\lambda }:Q\rightarrow\mathbb{R} ^{+}\) be a mapping such that for every \(\xi \in Q\), \(\left\Vert \xi \right\Vert _{\lambda }=\left\Vert \widetilde{q}\right\Vert \left( \lambda \right) \), where \(\widetilde{q}\in \widetilde{Q}\) such that \(\widetilde{q} \left( \lambda \right) =\xi \). Then for every \(\lambda \in P\), \(\left\Vert .\right\Vert _{\lambda }\) is a norm on quasilinear space \(Q\).

Let \(\widetilde{Q}\) be a soft normed quasilinear space. Then, soft Hausdorff or soft norm metric on \(\widetilde{Q}\) is defined by \[ h_{Q}(\widetilde{q},\widetilde{w})=\inf \left\{ \widetilde{r}\widetilde{\geq }0:\widetilde{q}\widetilde{\preceq }\widetilde{w}+\widetilde{q}_{1}^{r}\text{ , }\widetilde{w}\widetilde{\preceq }\widetilde{q}+\widetilde{q} _{2}^{r},\left\Vert \widetilde{q}_{i}^{r}\right\Vert \widetilde{\leq } \widetilde{r}\right\} . \]

Definition 6. [26] Let \(\widetilde{Q}\) be a soft quasilinear space, \(\widetilde{W}\subseteq \widetilde{Q}\) and \(\widetilde{q}\in \widetilde{W}\). The set \[ F_{\widetilde{q}}^{\widetilde{W}}=\{\widetilde{m}\in \widetilde{W}_{r}: \widetilde{m}\widetilde{\preceq }\widetilde{q}\}, \] is called floor in \(\widetilde{W}\) of \(\widetilde{q}\) . If \(\widetilde{W}=\widetilde{Q}\) then we will say only floor of \( \widetilde{q}\) and written shortly \(F_{\widetilde{q}}\) instead of \(F \widetilde{_{\widetilde{q}}^{Q}}\).

Definition 7. [26] Let \(\widetilde{Q}\) be a soft quasilinear space, \(\widetilde{Q}\) is called a solid floored soft quasilinear space whenever \[ \widetilde{q}=\sup \{\widetilde{m}\in \widetilde{W}_{r}:\widetilde{m} \widetilde{\preceq }\widetilde{q}\} \] for every \(\widetilde{q}\in \) \(\widetilde{Q}\). Otherwise, \(\widetilde{Q}\) is called a non-solid floored soft quasilinear space.

Theorem 2.[26] Absolute soft quasilinear space \(\left( \widetilde{\Omega _{C}\left(\mathbb{R}\right) }\right) \) is a solid floored.

Definition 8. [26] Let \(\widetilde{Q}\) be a soft quasilinear space. Consolidation of floor of \(\widetilde{Q}\) is the smallest solid floored soft quasilinear space \(\widehat{\left( \widetilde{Q}\right) }\) containing \( \widetilde{Q}\), namely, if there exists different solid floored soft quasilinear space \(\widetilde{W}\) including \(\widetilde{Q},\) then \(\widehat{ \left( \widetilde{Q}\right) }\widetilde{\subseteq }\widetilde{W}\) .

Definition 9. [26] Let \(\widetilde{Q}\) be the absolute soft quasilinear space i.e. \(\widetilde{Q}(\lambda )=Q\), \( \forall \lambda \in P\). Then a mapping \[ \left\langle .\right\rangle :SE\left( \widetilde{Q}\right) \times SE\left( \widetilde{Q}\right) \rightarrow \Omega \left(\mathbb{R}\right) (P) \] is said to be a soft quasi inner product on the soft quasilinear space \( \widetilde{Q}\), if \(\left\langle .\right\rangle \) satisfies the following conditions:

i) \(\left\langle \widetilde{q},\widetilde{w}\right\rangle \in \left( \Omega \left(\mathbb{R}\right) \right) _{r}\equiv \widetilde{\mathbb{R} }\) if \(\widetilde{q},\widetilde{w}\in \widetilde{Q}_{r}\),

ii) \(\left\langle \widetilde{q}+\widetilde{w},\widetilde{z} \right\rangle \widetilde{\subseteq }\left\langle \widetilde{q},\widetilde{z} \right\rangle +\left\langle \widetilde{w},\widetilde{z}\right\rangle \) for all \(\widetilde{q},\widetilde{w},\widetilde{z}\in \widetilde{Q}\),

iii) \(\left\langle \widetilde{\alpha }\cdot \widetilde{q},\widetilde{w }\right\rangle =\widetilde{\alpha }\cdot \left\langle \widetilde{q}, \widetilde{w}\right\rangle \) for all \(\widetilde{q},\widetilde{w}\in \widetilde{Q}\) and for every soft scalar \(\widetilde{\alpha }\),

iv) \(\left\langle \widetilde{q},\widetilde{w}\right\rangle =\left\langle \widetilde{w},\widetilde{q}\right\rangle \) for all \(\widetilde{ q},\widetilde{w}\in \widetilde{Q}\),

v) \(\left\langle \widetilde{q},\widetilde{w}\right\rangle \widetilde{ \supseteq }\overline{0}\) if \(\widetilde{q}\in \widetilde{Q}_{r}\) and \( \left\langle \widetilde{q},\widetilde{q}\right\rangle =\left\{ \overline{0} \right\} \Leftrightarrow \widetilde{q}=\left\{ \theta \right\} \),

vi) \(\left\Vert \left\langle \widetilde{q},\widetilde{w}\right\rangle \right\Vert _{\Omega \left(\mathbb{R}\right) }=\sup \left\{ \left\Vert \left\langle x,y\right\rangle \right\Vert :x\in F_{\widetilde{q}}^{\widehat{(\widetilde{Q})}},y\in F_{\widetilde{w}}^{ \widehat{(\widetilde{Q})}}\right\} \),

vii) \(\left\langle \widetilde{q},\widetilde{w}\right\rangle \widetilde{\subseteq }\left\langle \widetilde{z},\widetilde{v}\right\rangle \) if \(\widetilde{q}\widetilde{\preceq }\widetilde{z}\) and \(\widetilde{w} \widetilde{\preceq }\widetilde{v}\) for all \(\widetilde{q},\widetilde{w}, \widetilde{z},\widetilde{v}\in \widetilde{Q}\),

viii) \(\forall \widetilde{\epsilon }\widetilde{\geq }\overline{0}\), \( \exists \widetilde{q}_{\overline{\epsilon }}\in \widetilde{Q}\) such that \( \widetilde{q}\widetilde{\preceq }\widetilde{w}+\widetilde{q}_{\overline{ \epsilon }}\) and \(\left\langle \widetilde{q}_{\overline{\epsilon }}, \widetilde{q}_{\overline{\epsilon }}\right\rangle \widetilde{\subseteq }S_{ \overline{\epsilon }}(\theta )\) then \(\widetilde{q}\widetilde{\preceq } \widetilde{w}\).

A soft quasilinear space \(\widetilde{Q}\) with a soft quasi inner product \( \left\langle .\right\rangle \) on \(\widetilde{Q}\) is called a soft quasilinear inner product space and denoted by \(\left( \widetilde{Q} ,\left\langle .\right\rangle ,P\right) \).

Remark 1. If \(\widetilde{Q}\) is a soft linear space, then above conditions are determined by conditions of the real soft inner product spaces. Moreover, a regular subspace \(\widetilde{Q}_{r}\) of a soft quasilinear inner product space \(\widetilde{Q}\) is a soft (linear) inner product space with the same inner product.

Definition 10. [26] A soft quasi vector \(\widetilde{q}\) of soft quasilinear inner product space \(\widetilde{Q}\) is said to be orthogonal to soft quasi element \(\widetilde{w}\in \widetilde{Q}\) if \[ \left\Vert \left\langle \widetilde{q},\widetilde{w}\right\rangle \right\Vert _{\Omega \left(\mathbb{R}\right) }=\overline{0}. \] It is also denoted by \(\widetilde{q}\bot \widetilde{w}.\) Let \(\widetilde{M}\) be a non-null soft quasi subset of soft quasilinear inner product space \( \widetilde{Q}\) such that \(\widetilde{M}\left( \lambda \right) \neq \emptyset \) for every \(\lambda \in P\). If a soft quasi vector \(\widetilde{q}\) of soft quasilinear inner product space \(\widetilde{Q}\) orthogonal to every soft quasi vectors of \(\widetilde{M}\), then we say that \(\widetilde{q}\) is orthogonal to \(\widetilde{M}\) and we write \(\widetilde{q}\bot \widetilde{M}\) . A non-null orthonormal soft quasi subset \(\widetilde{M}\) of soft quasilinear inner product space \(\widetilde{Q}\) such that \(\widetilde{M} \left( \lambda \right) \neq \emptyset \) for every \(\lambda \in P\) is a orthogonal soft quasi subset in \(\widetilde{Q}\) whose soft quasi vectors have norm \(\overline{1}\); that is, for all \(\widetilde{q},\widetilde{w}\in \widetilde{M}\) \[ \left\Vert \left\langle \widetilde{q},\widetilde{w}\right\rangle \right\Vert _{\Omega \left(\mathbb{R}\right) }=\begin{cases} \overline{0}, & \widetilde{q}=\widetilde{w} \\ \overline{1}, & \widetilde{q}\neq \widetilde{w}\end{cases}. \]

Definition 11. The set of all soft elements of \(\widetilde{Q}\) orthogonal to \(\widetilde{W}\) , denoted by \(\widetilde{W}^{\bot }\), is called the orthogonal complement of \(\widetilde{W}\) and is indicated by \[ \widetilde{W}^{\bot }=\left\{ \widetilde{q}\in \widetilde{Q}:\left\Vert \left\langle \widetilde{q},\widetilde{w}\right\rangle \right\Vert _{\Omega \left(\mathbb{R}\right) }=0,\widetilde{w}\in \widetilde{W}\right\} . \]

3. Main results

Definition 12. Let \(\widetilde{Q}\) be a soft quasilinear space and \(\widetilde{\alpha } \widetilde{\beta }\widetilde{\geq }\widetilde{0}\) for every soft scalars \( \widetilde{\alpha },\widetilde{\beta }\). If \[ \left( \widetilde{\alpha }+\widetilde{\beta }\right) \cdot \widetilde{q}= \widetilde{\alpha }\cdot \widetilde{q}+\widetilde{\beta }\cdot \widetilde{q} \] for every \(\widetilde{q}\in \widetilde{Q}\), then we say that \(\widetilde{Q}\) is a soft homogenized quasilinear space.

Theorem 3. Let \(\widetilde{Q}\) be a soft quasilinear space. \(\widetilde{\Omega _{C}(Q)}\) is a soft homogenized quasilinear space but \(\widetilde{\Omega (Q)}\) is not a soft homogenized quasilinear space.

Proof. First, we will show that \(\widetilde{\Omega _{C}(Q)}\) is a soft homogenized quasilinear space for a soft quasilinear space \(\widetilde{Q}.\) We have to show that \(\left( \widetilde{\alpha }+\widetilde{\beta }\right) \cdot \widetilde{q}=\widetilde{\alpha }\cdot \widetilde{q}+\widetilde{\beta }\cdot \widetilde{q}\) for every \(\widetilde{q}\in \widetilde{\Omega _{C}(Q)}\) and \( \widetilde{\alpha }\widetilde{\beta }\widetilde{\geq }\widetilde{0}\) for \( \widetilde{\Omega _{C}(Q)}\) to be soft homogenized quasilinear space. We obtain \(\left( \widetilde{\alpha }+\widetilde{\beta }\right) \cdot \widetilde{q}\subseteq \widetilde{\alpha }\cdot \widetilde{q}+\widetilde{ \beta }\cdot \widetilde{q}\) since \(\widetilde{\Omega _{C}(Q)}\) is a quasilinear space. Let \(c\in \left( \widetilde{\alpha }\cdot \widetilde{q}+ \widetilde{\beta }\cdot \widetilde{q}\right) \left( \lambda \right) \) for a parameter \(\lambda \). Then, we get \begin{equation*} c=\widetilde{\alpha }\left( \lambda \right) a+\widetilde{\beta }\left( \lambda \right) b \end{equation*} for \(a,b\in \widetilde{q}\left( \lambda \right) \). Here, we can write \begin{equation}\tag{1} c=(\widetilde{\alpha }+\widetilde{\beta })\left( \lambda \right) \cdot \left[ \frac{\widetilde{\alpha }\left( \lambda \right) }{\widetilde{\alpha }\left( \lambda \right) +\widetilde{\beta }\left( \lambda \right) }a+\frac{ \widetilde{\beta }\left( \lambda \right) }{\widetilde{\alpha }\left( \lambda \right) +\widetilde{\beta }\left( \lambda \right) }b\right] . \label{1} \end{equation} If we take \(\widetilde{t}=\frac{\widetilde{\alpha }}{\widetilde{\alpha }+ \widetilde{\beta }}\) and \(\widetilde{k}=\frac{\widetilde{\beta }}{\widetilde{ \alpha }+\widetilde{\beta }},\) then we obtain

(i) \(\widetilde{\alpha }\widetilde{\leq }\widetilde{\alpha }+\widetilde{ \beta }\Rightarrow \frac{\widetilde{\alpha }}{\widetilde{\alpha }+\widetilde{ \beta }}\widetilde{\leq }\widetilde{1}\) and \(\widetilde{0}\widetilde{\leq } \frac{\widetilde{\alpha }}{\widetilde{\alpha }+\widetilde{\beta }}\) for \( \widetilde{\alpha },\widetilde{\beta }\in \widetilde{\mathbb{R}}^{+}\).

(ii) \(\widetilde{\alpha }+\widetilde{\beta }\widetilde{\leq }\widetilde{ \alpha }\Rightarrow \widetilde{1}\widetilde{\geq }\frac{\widetilde{\alpha }}{ \widetilde{\alpha }+\widetilde{\beta }}\) and \(\widetilde{0}\widetilde{\leq } \frac{\widetilde{\alpha }}{\widetilde{\alpha }+\widetilde{\beta }}\) \( \widetilde{\alpha },\widetilde{\beta }\in \widetilde{\mathbb{R}}^{-}\) for \(\widetilde{\alpha }\widetilde{\beta }\widetilde{\geq }\widetilde{0}.\) So, we have \(\widetilde{0}\leq \widetilde{t}\leq \widetilde{1}\) from (i) and (ii).

Further, from definition of convexity on quasilinear spaces we find \( \frac{\widetilde{\alpha }\left( \lambda \right) }{\widetilde{\alpha }\left( \lambda \right) +\widetilde{\beta }\left( \lambda \right) }a+\frac{ \widetilde{\beta }\left( \lambda \right) }{\widetilde{\alpha }\left( \lambda \right) +\widetilde{\beta }\left( \lambda \right) }b\in \widetilde{q}\left( \lambda \right) \) since \(\widetilde{t}+\widetilde{k}=\frac{\widetilde{\alpha }}{\widetilde{\alpha }+\widetilde{\beta }}+\frac{\widetilde{\beta }}{ \widetilde{\alpha }+\widetilde{\beta }}=\frac{\widetilde{\alpha }+\widetilde{ \beta }}{\widetilde{\alpha }+\widetilde{\beta }}=\widetilde{1}.\) Thus, for a \(k\in \widetilde{q}\left( \lambda \right) \) we obtain \begin{equation*} c=(\widetilde{\alpha }+\widetilde{\beta })\left( \lambda \right) k\in \widetilde{q}\left( \lambda \right) \end{equation*} from (\ref{1}). Therefore, we get \(c\in \) \(\left( \left( \widetilde{\alpha }+ \widetilde{\beta }\right) \cdot \widetilde{q}\right) \left( \lambda \right) \) for arbitrary soft parameter \(\lambda \).

Example 1. \(\widetilde{\Omega ( \mathbb{R} )}\) is not a homogenized soft quasilinear space. Let \begin{eqnarray*} \widetilde{A} &:&M\longrightarrow \Omega ( \mathbb{R} ) \\ \lambda &\longrightarrow &\widetilde{A}(\lambda )=\{1,2\}. \end{eqnarray*} From here, we obtain \(\left( \widetilde{2}\cdot \widetilde{A}\right) (\lambda )=\left\{ 2,4\right\} \). Otherside, we get \(\left( \widetilde{A}+ \widetilde{A}\right) (\lambda )=\widetilde{A}(\lambda )+\widetilde{A} (\lambda )=\left\{ 2,3,4\right\} .\) Also, \(\widetilde{\alpha }\widetilde{ \beta }\widetilde{\geq }\widetilde{0}\) we obtain \(\widetilde{2}\cdot \widetilde{A}\neq \widetilde{A}+\widetilde{A}\) for every parameter \( \widetilde{\alpha }\left( \lambda \right) =\alpha \).

Example 2. Let \(\widetilde{Q}=\widetilde{\Omega ( \mathbb{R} ^{2})}\) and \(\widetilde{A}\) be a soft quasi vector on \(\widetilde{\Omega ( \mathbb{R} ^{2})}\). Let \(\widetilde{A}(\lambda )=\{A_{1},A_{2}\}\) such that \( A_{1}=\{(0,t):0\leq t\leq 1\}\) and \(A_{2}=\{(t,0):0\leq t\leq 1\}\) for a \( \lambda \) parameter\(.\) Then, similar to above example if we take \(\widetilde{ \alpha }\left( \lambda \right) =\alpha \) for every \(\lambda \) parameter, then we obtain \[ \left( \widetilde{2}\cdot \widetilde{A}\right) \left( \lambda \right) =\{2A_{1},2A_{2}\}. \] Otherside, we have \begin{eqnarray*} \left( \widetilde{A}+\widetilde{A}\right) \left( \lambda \right) &=&\{A_{1},A_{2}\}+\{A_{1},A_{2}\} \\ &=&\{(0,2t):0\leq t\leq 1\}\cup \ \{(t,t):0\leq t\leq 1\}\cup \{(2t,0):0\leq t\leq 1\}. \end{eqnarray*} This gives \(\widetilde{\Omega ( \mathbb{R} ^{2})}\) is not a homogenized soft quasilinear space for \(\widetilde{\alpha } \left( \lambda \right) =1\) and \(\widetilde{\beta }\left( \lambda \right) =1\) soft scalars.

Theorem 4. Let \(\widetilde{Q}\) be a soft homogenized quasilinear space. If \(\widetilde{A }\in \widetilde{Q_{d}}\), then there exist a \(\widetilde{B}\in \widetilde{Q}\) such that \(\widetilde{A}=\widetilde{B}-\widetilde{B}\).

Proof. Let \(\widetilde{A}\) be a symmetric soft quasi vector of homogenized soft quasilinear space \(\widetilde{Q}\) i.e. \(\widetilde{A}=-\) \(\widetilde{A}.\) Sametime, we obtain \(\widetilde{A}\) \(+\widetilde{A}=\) \(\widetilde{A}\) \(- \widetilde{A}\) since \(\widetilde{A}\) \(=\) \(\widetilde{A}\). For every \(\lambda \) parameter we obtain \(\left( \widetilde{A}+\widetilde{A}\right) \left( \lambda \right) =\) \(\left( \widetilde{A}-\widetilde{A}\right) \left( \lambda \right) \). Since \(X\) is a homogenized quasilinear space, we find \(\widetilde{ A}(\lambda )+\widetilde{A}\left( \lambda \right) =\) \((\widetilde{2} \widetilde{A})\left( \lambda \right) \). This gives \(\widetilde{A}\left( \lambda \right) =\frac{\widetilde{A}}{\widetilde{2}}\left( \lambda \right) \) \(-\frac{\widetilde{A}}{\widetilde{2}}\left( \lambda \right) .\) So, we obtain \(\widetilde{A}=\frac{\widetilde{A}}{\widetilde{2}}\) \(-\frac{\widetilde{A}}{ \widetilde{2}}.\)

Now, let us give our results regarding floor in a soft quasilinear space.

Theorem 5. Let \(\widetilde{Q}\) be a soft quasilinear space and \(\widetilde{U}\subseteq \) \(\widetilde{Q}\). Then the following conditions satisfies:

a) \(\left\{ \widetilde{0}\right\} \in F_{\widetilde{U}}^{\bot },\)

b) If \(\widetilde{U}\subseteq \widetilde{V}\), then \(F_{\widetilde{U} }\subseteq F_{\widetilde{V}}\) and if \(\widetilde{U}^{\bot }\subseteq \widetilde{V}^{\bot }\), then \(F_{\widetilde{U}}^{\bot }\subseteq F_{ \widetilde{V}}^{\bot },\)

c) \(F_{\left\{ \widetilde{0}\right\} }=\left\{ \widetilde{0}\right\} . \)

Proof. Let \(\widetilde{q}\) is a arbitrary soft quasi vector in \(\widetilde{U}\). \( \left\{ \widetilde{0}\right\} \in F_{\widetilde{U}}^{\bot }\) since \( \left\Vert \left\langle \widetilde{q},\left\{ \widetilde{0}\right\} \right\rangle _{\widetilde{\Omega \left( \mathbb{R} \right) }}\right\Vert =\left\Vert \left\langle \widetilde{q}\left( \lambda \right) ,\left\{ \widetilde{0}\right\} \left( \lambda \right) \right\rangle _{\Omega \left( \mathbb{R} \right) }\right\Vert =\left\Vert \left\langle \widetilde{q}\left( \lambda \right) ,0\right\rangle _{\Omega \left( \mathbb{R} \right) }\right\Vert =\left\{ \widetilde{0}\right\} \) for a parameter \( \lambda \). Let \(\widetilde{U}\subseteq \widetilde{V}.\) We must show that \(\widetilde{q} \in F_{\widetilde{V}}\) for every \(\widetilde{q}\in F_{\widetilde{U}}.\) If \( \widetilde{q}\in F_{\widetilde{U}}\), then there exist a \(\widetilde{u}\in \widetilde{U}\) such that \(\widetilde{q}\in F_{\widetilde{u}}.\) Since \( \widetilde{U}\subseteq \widetilde{V}\), we find \(\widetilde{u}\in \widetilde{V }.\) Thus, we obtain \(F_{\widetilde{u}}\widetilde{\subseteq }\cup _{ \widetilde{u}\in \widetilde{U}}F_{\widetilde{v}}.\) This gives \(\widetilde{q} \in F_{\widetilde{V}}.\) if \(\widetilde{U}^{\bot }\subseteq \widetilde{V} ^{\bot }\), then \(F_{\widetilde{U}}^{\bot }\subseteq F_{\widetilde{V}}^{\bot } \) can be showed similarly. Clearly, \begin{eqnarray*} F_{\left\{ \widetilde{0}\right\} } &=&\left\{ \widetilde{q}\in \widetilde{ Q_{r}}:\widetilde{q}\widetilde{\leq }\left\{ \widetilde{0}\right\} \right\} \\ &=&\left\{ \widetilde{q}\left( \lambda \right) \in Q_{r}:\widetilde{q}\left( \lambda \right) \leq \left\{ \widetilde{0}\right\} \left( \lambda \right) \right\} \\ &=&\left\{ \widetilde{q}\left( \lambda \right) \in Q_{r}:\widetilde{q}\left( \lambda \right) \leq 0\right\} \\ &=&\left\{ \widetilde{0}\right\} \end{eqnarray*} for a parameter \(\lambda \).

Definition 13. Let \(\widetilde{Q}\) be a soft quasilinear space. \( \widetilde{M}\subseteq \widetilde{Q}\) is a convex if and only if \(\widetilde{ \alpha }\widetilde{q}+(1-\widetilde{\alpha })\widetilde{w}\in F_{\widetilde{M }}\) for every \(\widetilde{q},\widetilde{w}\in F_{\widetilde{M}}\) and soft scalar \(\widetilde{\alpha }\).

Theorem 6. Let \(\widetilde{Q}\) be a soft quasilinear space and \(\widetilde{M}\) is a subspace of \(\widetilde{Q}.\) Then \(F_{\widetilde{M}}\) is a convex subspace of soft quasilinear space \(\widetilde{Q}\) if and only if \(F_{M}\) is a convex subspace of \(Q\).

Proof. Let \(\widetilde{\alpha }\cdot \widetilde{a}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}\in F_{\widetilde{M}}\) for \(\forall \widetilde{a}, \widetilde{b}\in F_{\widetilde{M}}\) such that \(\widetilde{a}{(\lambda )=}a\in F_{M}\mathbf{,}\widetilde{b}{(\lambda )}=b\mathbf{\in }F_{M}, \widetilde{x}{(\lambda )=}x\in M\mathbf{,}\widetilde{y}{ (\lambda )=y}\in M\) and soft scalar \(\widetilde{\alpha }{(\lambda )=} \alpha \) for every parameter \(\lambda \). From Definition 6, there exists \(\widetilde{x},\widetilde{y}\in \widetilde{M}\) such that \(\widetilde{ \alpha }\cdot \widetilde{a}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}\widetilde{\leq }\widetilde{\alpha }\cdot \widetilde{x}+( \widetilde{1}-\widetilde{\alpha })\cdot \widetilde{y}\)\textbf{. }Then for every parameter \(\lambda \), we get \({(}\widetilde{\alpha }\mathbf{ \cdot }\widetilde{a}{)(\lambda )+(}\widetilde{1}{-}\widetilde{ \alpha }{)\cdot }\widetilde{b}{(\lambda )}\leq {(} \widetilde{\alpha }{\cdot }\widetilde{x}{)(\lambda )+(} \widetilde{1}{-}\widetilde{\alpha }{)\cdot }\widetilde{y} {(\lambda )}\). This gives \[ \widetilde{\alpha }{(\lambda )\cdot }\widetilde{a}{(\lambda )+( }\widetilde{1}{-}\widetilde{\alpha }{)(\lambda )\cdot } \widetilde{b}{(\lambda )}\leq \widetilde{\alpha }{(\lambda )\cdot }\widetilde{x}{(\lambda )+(}\widetilde{1}{-}\widetilde{ \alpha }{)(\lambda )\cdot }\widetilde{y}{(\lambda ).} \] So, we obtain \(\alpha \cdot a+(1-\alpha )\cdot b\leq \alpha \mathbf{\cdot }x \mathbf{+(}1\mathbf{-}\alpha \mathbf{)\cdot }y\in M.\) Otherside, there exists a \(\widetilde{c}\in \widetilde{M}\) such that \(\widetilde{\alpha } \cdot \widetilde{a}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}+ \widetilde{c}=\overline{\theta }\) because of \(\widetilde{\alpha }\cdot \widetilde{a}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}\in \widetilde{M}_{r}\) \(.\) So, we obtain \({(}\widetilde{\alpha }{ \cdot }\widetilde{a}{)(\lambda )+(}\widetilde{1}{-}\widetilde{ \alpha }{)\cdot }\widetilde{b}{(\lambda )+}\widetilde{c} (\lambda )=\theta \) for every parameter \(\lambda .\) This gives \(\alpha \cdot a+(1-\alpha )\cdot b\in M_{r}.\) Therefore, we get \(\alpha \cdot a+(1-\alpha )\cdot b\in F_{M}.\) Let \(\alpha \cdot a+(1-\alpha )\cdot b\in F_{M}\) for \(\forall a,b\in F_{M}\) such that \(\widetilde{a}{(\lambda )=}a\in F_{M}{,}\widetilde{b} {(\lambda )=b\in }F_{M},\widetilde{x}{(\lambda )=}x\in M {,}\widetilde{y}{(\lambda )=y}\in M\) and soft scalar \( \widetilde{\alpha }{(\lambda )=}\alpha \) for every parameter \(\lambda \). From Definition 6, there exists \(x,y\in M\) such that \(\alpha \cdot a+(1-\alpha )\cdot b\leq \alpha \cdot x+(1-\alpha )\cdot y\). Then for every parameter \(\lambda \), we get \[ \mathbf{(}\widetilde{\alpha }{\cdot }\widetilde{a}{)(\lambda )+(}\widetilde{1}{-}\widetilde{\alpha }{)\cdot }\widetilde{b} {(\lambda )=}\alpha \cdot a+(1-\alpha )\cdot b\widetilde{\leq }\alpha \cdot x+(1-\alpha )\cdot y{=(}\widetilde{\alpha }{\cdot } \widetilde{x}{)(\lambda )+(}\widetilde{1}{-}\widetilde{\alpha } {)\cdot }\widetilde{y}{(\lambda )}. \] This gives \(\widetilde{\alpha }{\cdot }\widetilde{a}{+(} \widetilde{1}{-}\widetilde{\alpha }{)\cdot }\widetilde{b} \widetilde{\leq }\widetilde{\alpha }{\cdot }\widetilde{x}{+(} \widetilde{1}{-}\widetilde{\alpha }{)\cdot }\widetilde{y} {.}\) Otherside, there exists a \(d\in M\) such that \(\alpha \cdot a+(1-\alpha )\cdot b+d=\theta \) because of \(\alpha \cdot a+(1-\alpha )\cdot b\in M_{r}.\) So, we obtain \({(}\widetilde{\alpha }{\cdot } \widetilde{a}(\lambda )+(\widetilde{1}{-}\widetilde{\alpha } )\cdot \widetilde{b}{(\lambda )+}\widetilde{d}(\lambda )=\theta \) for every parameter \(\lambda .\) This gives \(\widetilde{\alpha } {\cdot }\widetilde{a}{+(}\widetilde{1}{-}\widetilde{ \alpha }{)\cdot }\widetilde{b}\in \widetilde{M}_{r}.\) Therefore, we get \(\widetilde{\alpha }\mathbf{\cdot }\widetilde{a}\mathbf{+(}\widetilde{1} \mathbf{-}\widetilde{\alpha }\mathbf{)\cdot }\widetilde{b}\in F_{\widetilde{M }}.\)

Theorem 7. Let \(\widetilde{Q}\) be a soft homogenized quasilinear space. \(F_{\widetilde{q }}\) is a convex for a \(\widetilde{q}\in \widetilde{Q}.\)

Proof. We assume that \(\widetilde{Q}\) be a soft homogenized quasilinear space. We have to show that \(\widetilde{\lambda }\cdot \widetilde{w}+(1-\widetilde{ \lambda })\cdot \widetilde{w^{^{\prime }}}\in F_{\widetilde{q}}\) for \( \widetilde{w},\widetilde{w^{^{\prime }}}\in F_{\widetilde{q}}\). For a \( \widetilde{q}\in \widetilde{Q},\) we have \(F_{\widetilde{q}}=\{\widetilde{w} \in \widetilde{Q}_{r}:\widetilde{w}\widetilde{\preceq }\widetilde{q}\}.\) From here, we obtain \(\widetilde{w}\widetilde{\preceq }\widetilde{q}\) and \( \widetilde{w^{^{\prime }}}\widetilde{\preceq }\widetilde{q}\) for every \( \widetilde{w},\widetilde{w^{^{\prime }}}\in F_{\widetilde{q}}.\) Since \( \widetilde{Q}\) be a soft quasilinear space, we find \(\widetilde{\lambda } \cdot \widetilde{w}\widetilde{\preceq }\widetilde{\lambda }\cdot \widetilde{q }\) and \((\widetilde{1}-\widetilde{\lambda })\cdot \widetilde{w^{^{\prime }}} \widetilde{\preceq }(\widetilde{1}-\widetilde{\lambda })\cdot \widetilde{q}\) for every \(\widetilde{0}\widetilde{\preceq }\widetilde{\lambda }\widetilde{ \preceq }\widetilde{1}\) and \(\widetilde{\lambda }\cdot \widetilde{w}+( \widetilde{1}-\widetilde{\lambda })\cdot \widetilde{w^{^{\prime }}} \widetilde{\preceq }\widetilde{\lambda }\cdot \widetilde{q}+(\widetilde{1}- \widetilde{\lambda })\cdot \widetilde{q}\). Since \(\widetilde{Q}\) is a homogenized soft quasilinear space, we obtain \(\widetilde{\lambda }\cdot \widetilde{q}+(\widetilde{1}-\widetilde{\lambda })\cdot \widetilde{q}=( \widetilde{\lambda }+\widetilde{1}-\widetilde{\lambda })\cdot \widetilde{q}= \widetilde{q}\). This gives \(\widetilde{\lambda }\cdot \widetilde{w}+( \widetilde{1}-\widetilde{\lambda })\cdot \widetilde{w^{^{\prime }}}\in F_{ \widetilde{q}}\).

Remark 2. A floor of a soft quasi vector of a soft quasilinear space \(\widetilde{Q}\) is a convex if and only if soft quasilinear space \(\widetilde{Q}\) is homogenized. In the above theorem, if \(\widetilde{Q}\) would not be homogenized, then \(F_{\widetilde{q}}\) had not been convex for a \(\widetilde{q }\in \widetilde{Q}\) because of the equality \(\widetilde{\alpha }\cdot \widetilde{q}+\widetilde{\beta }\cdot \widetilde{q}=(\widetilde{\alpha }+ \widetilde{\beta })\cdot \widetilde{q}\) may not satisfy for all soft scalars \(\widetilde{\alpha },\widetilde{\beta }.\)

Theorem 8. Let \(\widetilde{Q}\) be a soft Hilbert quasilinear space and \(\widetilde{K}\) is a soft convex subspace of \(\widetilde{Q}\). Then the set of floor of \( \widetilde{K}\) i.e. \(F_{\widetilde{K}}\) is a convex complete soft subspace of \(\widetilde{Q}.\)

Proof. First, we will show that \(F_{\widetilde{K}}\) is a convex soft subspace of \( \widetilde{Q}.\) We have \(\widetilde{\alpha }\cdot \widetilde{q}+(\widetilde{1 }-\widetilde{\alpha })\widetilde{w}\in \widetilde{K}\) for every \(\widetilde{q },\widetilde{w}\in \widetilde{K}\) and \(\widetilde{0}\widetilde{\preceq } \widetilde{\alpha }\widetilde{\preceq }\widetilde{1}\) since \(\widetilde{K}\) is a soft convex set. Let \(\widetilde{a},\widetilde{b}\in F_{\widetilde{K}}.\) Then there exists a \(\widetilde{q},\widetilde{w}\in \widetilde{K}\) such that \(\widetilde{\alpha }\widetilde{\preceq }\widetilde{q}\) and \(\widetilde{b} \widetilde{\preceq }\widetilde{w}\). Otherwise, we find \(\widetilde{\alpha } \cdot \widetilde{a}\widetilde{\leq }\widetilde{\alpha }\cdot \widetilde{q}\) and \((\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}\widetilde{\leq }( \widetilde{1}-\widetilde{\alpha })\cdot \widetilde{w}\) for \(\widetilde{0} \widetilde{\preceq }\widetilde{\alpha }\widetilde{\preceq }\widetilde{1}\). We obtain \(\widetilde{\alpha }\cdot \widetilde{a}+(\widetilde{1}-\widetilde{ \alpha })\cdot \widetilde{b}\widetilde{\preceq }\widetilde{\alpha }\cdot \widetilde{q}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{w}\)\ since \(\widetilde{Q}\) is a soft quasilinear space. Further, we find \(\widetilde{ \alpha }\cdot \widetilde{q}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{w}\in \widetilde{K}\) because of \(\widetilde{K}\) is a soft convex subspace of \(\widetilde{Q}\). Also, we obtain \(\widetilde{\alpha }\cdot \widetilde{a}+(\widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}\in \widetilde{K_{r}}.\) This gives \(\widetilde{\alpha }\cdot \widetilde{a}+( \widetilde{1}-\widetilde{\alpha })\cdot \widetilde{b}\in F_{\widetilde{K}}\). Now, we will show that \(F_{\widetilde{K}}\) is a complete. Let \(\widetilde{a} _{n}\in F_{\widetilde{K}}\) and \(\widetilde{a}_{n}\rightarrow \widetilde{a} \in \widetilde{Q}\) for \(n\rightarrow \infty \). \ If \(\widetilde{a}_{n}\in F_{ \widetilde{K}},\) then there exists \(\widetilde{q}_{n}\in \widetilde{K}\) for every \(n\in \mathbb{N} \) such that \begin{equation}\tag{2} \widetilde{\alpha _{n}}\widetilde{\preceq }\widetilde{q_{n}}. \label{2} \end{equation} On the other hand, for every \(\widetilde{\varepsilon }\widetilde{\geq } \widetilde{0}\) there exists a \(n_{0}\in \mathbb{N} \) such that for every \(n>n_{0},\) we get \begin{equation}\tag{3} \widetilde{a}_{n}\widetilde{\leq }\widetilde{a}+\widetilde{a} _{1n}^{\varepsilon },\text{ }\widetilde{a}\widetilde{\leq }\widetilde{a}_{n}+ \widetilde{a}_{2n}^{\varepsilon }\text{ and }\left\Vert \widetilde{a} _{in}^{\varepsilon }\right\Vert \widetilde{\leq }\widetilde{\varepsilon }. \label{3} \end{equation} From (\ref{2}) and (\ref{3}), we have \(\widetilde{a}\widetilde{\leq } \widetilde{q}_{n}+\widetilde{a}_{2n}^{\varepsilon }\) and \(\left\Vert \widetilde{a}_{2n}^{\varepsilon }\right\Vert \widetilde{\leq }\widetilde{ \varepsilon }\) for every \(n\in \mathbb{N} \). Additionally, we find \(\widetilde{a}\widetilde{\leq }\widetilde{q}_{n}\) for every \(n\in \mathbb{N} \) from Definition 5. Now, we show that \(\widetilde{a}\in \widetilde{K_{r}}.\) Since\ \(\widetilde{Q}\) is a soft Hilbert quasilinear space and [25], we find \(-\widetilde{a}_{n}\rightarrow - \widetilde{a}\) and \(\widetilde{a}_{n}-\widetilde{a}_{n}\rightarrow \widetilde{a}-\widetilde{a}\) for \(n\rightarrow \infty \). Thus, for every \( \widetilde{\varepsilon }\widetilde{\geq }\widetilde{0}\) there exists a \( n_{0}\in \mathbb{N} \) such that for every \(n>n_{0},\) we get \begin{equation*} \widetilde{a}_{n}-\widetilde{a}_{n}\widetilde{\leq }\widetilde{a}-\widetilde{ a}+\widetilde{a}_{1n}^{\varepsilon },\text{ }\widetilde{a}-\widetilde{a} \widetilde{\leq }\widetilde{a}_{n}-\widetilde{a}_{n}+\widetilde{a} _{2n}^{\varepsilon }\text{ and }\left\Vert \widetilde{a}_{in}^{\varepsilon }\right\Vert \widetilde{\leq }\widetilde{\varepsilon }. \end{equation*} From here, we have \begin{equation*} \widetilde{0}\widetilde{\leq }\widetilde{a}-\widetilde{a}+\widetilde{a} _{1n}^{\varepsilon },\text{ }\widetilde{a}-\widetilde{a}\widetilde{\leq } \widetilde{0}+\widetilde{a}_{2n}^{\varepsilon }\text{ and }\left\Vert \widetilde{a}_{in}^{\varepsilon }\right\Vert \widetilde{\leq }\widetilde{ \varepsilon } \end{equation*} and \begin{equation*} \widetilde{0}\widetilde{\leq }\widetilde{a}-\widetilde{a},\text{ }\widetilde{ a}-\widetilde{a}\widetilde{\leq }\widetilde{0} \end{equation*} since \(\widetilde{a}_{n}\in F_{\widetilde{K}}\) and \(\widetilde{Q}\) is a soft Hilbert quasilinear space. From [25] Definition 11., we find \( \widetilde{0}=\widetilde{a}-\widetilde{a}.\) This gives \(\widetilde{a}\in \widetilde{K_{r}}\). Therefore, we say that \(F_{\widetilde{K}}\) is complete.

Remark 3. Here we note that the floor of subspace of a Hilbert quasilinear space is always complete whether the this subspace is complete or not.

Theorem 9. Let \(\widetilde{Q}\) be a soft quasilinear inner product space. Then \(F_{ \widetilde{w}}\) is a closed and bounded for every \(\widetilde{w}\in \widetilde{Q}\).

Proof. Let \((\widetilde{q}_{n})\in F_{\widetilde{w}}\) and \(\widetilde{q} _{n}\rightarrow \widetilde{q}\in \widetilde{Q}\) for every \(n\rightarrow \infty \). So, we know that for every \(\widetilde{\varepsilon }\widetilde{ \succ }\widetilde{0}\) there exist a \(n_{0}\in \mathbb{N} \) such that for every \(n\geq n_{0}\), we have \begin{equation*} \widetilde{q}_{n}\widetilde{\leq }\widetilde{q}+\widetilde{q}_{1n\text{ } }^{\varepsilon },\widetilde{q}\widetilde{\leq }\widetilde{q}_{n}+\widetilde{q }_{2n\text{ }}^{\varepsilon },\left\Vert \widetilde{q}_{in}^{\varepsilon }\right\Vert \widetilde{\leq }\widetilde{\varepsilon }^{1/2}. \end{equation*} Further, for every \(n\in N\) we find \(\widetilde{q}_{n}\widetilde{\leq } \widetilde{w}\) since \(\widetilde{q}_{n}\in F_{\widetilde{w}}\). Since \( \widetilde{Q}\) be a soft inner product quasilinear space, we get \begin{equation*} \widetilde{q}\widetilde{\leq }\widetilde{q}_{n}\widetilde{\leq }\widetilde{w} \text{ for }\widetilde{q}\widetilde{\leq }\widetilde{q}_{n}+\widetilde{q}_{2n \text{ }}^{\varepsilon }\text{ and }\left\Vert \widetilde{q} _{2n}^{\varepsilon }\right\Vert ^{2}=\left\Vert \left\langle q_{2n}^{\varepsilon },q_{2n}^{\varepsilon }\right\rangle \right\Vert \widetilde{\leq }\widetilde{\varepsilon }\text{.} \end{equation*} Now, we will show that \(\widetilde{q}\in \widetilde{Q}_{r}.\) If \(\widetilde{q }_{n}\rightarrow \widetilde{q},\) then we have \(-\widetilde{q}_{n}\rightarrow -\widetilde{q}\). So, for every \(\widetilde{\varepsilon }\widetilde{\succ } \widetilde{0}\) there exist a \(n_{0}\in \mathbb{N} \) such that for every \(n\geq n_{0}\), we have \begin{equation*} \widetilde{q}_{n}\widetilde{\leq }\widetilde{q}+\widetilde{q}_{1n\text{ } }^{\varepsilon },\widetilde{q}\widetilde{\leq }\widetilde{q}_{n}+\widetilde{q }_{2n\text{ }}^{\varepsilon },\left\Vert \widetilde{q}_{in}^{\varepsilon }\right\Vert \widetilde{\leq }\frac{\varepsilon ^{1/2}}{2} \end{equation*} \begin{equation*} -\widetilde{q}_{n}\widetilde{\leq }-\widetilde{q}+\widetilde{u}_{1n\text{ } }^{\varepsilon },-\widetilde{q}\widetilde{\leq }-\widetilde{q}_{n}+ \widetilde{u}_{2n\text{ }}^{\varepsilon },\left\Vert \widetilde{u} _{in}^{\varepsilon }\right\Vert \widetilde{\leq }\frac{\varepsilon ^{1/2}}{2} . \end{equation*} Moreover, since \(\widetilde{q_{n}}\in \widetilde{Q}_{r}\), we obtain \( \widetilde{q_{n}}-\widetilde{q_{n}}=\widetilde{0}\). Since \(\widetilde{Q}\) is a soft quasilinear inner product space, we find \begin{equation*} \widetilde{q}_{n}-\widetilde{q}_{n}\widetilde{\leq }\widetilde{q}-\widetilde{ q}+\widetilde{q}_{1n\text{ }}^{\varepsilon }+\widetilde{u}_{1n\text{ } }^{\varepsilon }\text{ and }\widetilde{q}-\widetilde{q}\widetilde{\leq } \widetilde{q}_{n}-\widetilde{q}_{n}+\widetilde{q}_{2n\text{ }}^{\varepsilon }+\widetilde{u}_{2n\text{ }}^{\varepsilon },\left\Vert \widetilde{q} _{in}^{\varepsilon }+\widetilde{u}_{in}^{\varepsilon }\right\Vert \widetilde{ \leq }\varepsilon ^{1/2}. \end{equation*} From Definition 9, we get \begin{equation*} \widetilde{0}\widetilde{\leq }\widetilde{q}-\widetilde{q}+\widetilde{q}_{1n \text{ }}^{\varepsilon }+\widetilde{u}_{1n\text{ }}^{\varepsilon }\text{ and }\left\Vert \widetilde{q}_{in}^{\varepsilon }+\widetilde{u} _{in}^{\varepsilon }\right\Vert ^{2}=\left\Vert \left\langle \widetilde{q} _{1n}^{\varepsilon }+\widetilde{u}_{1n}^{\varepsilon },\widetilde{q} _{1n}^{\varepsilon }+\widetilde{u}_{1n}^{\varepsilon }\right\rangle \right\Vert _{\Omega \left( \mathbb{R} \right) }\widetilde{\leq }\varepsilon \text{ }\Rightarrow \widetilde{0} \widetilde{\leq }\widetilde{q}-\widetilde{q} \end{equation*} and \begin{equation*} \widetilde{q}-\widetilde{q}\widetilde{\leq }\widetilde{0}+\widetilde{q}_{2n \text{ }}^{\varepsilon }+\widetilde{u}_{2n\text{ }}^{\varepsilon }\text{ and }\left\Vert \widetilde{q}_{2n}^{\varepsilon }+\widetilde{u} _{2n}^{\varepsilon }\right\Vert ^{2}=\left\Vert \left\langle \widetilde{q} _{2n}^{\varepsilon }+\widetilde{u}_{2n}^{\varepsilon },\widetilde{q} _{2n}^{\varepsilon }+\widetilde{u}_{2n}^{\varepsilon }\right\rangle \right\Vert _{\Omega \left(\mathbb{R} \right) }\widetilde{\leq }\varepsilon \text{ }\Rightarrow \widetilde{q}- \widetilde{q}\widetilde{\leq }\widetilde{0}. \end{equation*} So, we obtain \(\widetilde{q}-\widetilde{q}=\widetilde{0}\). This gives \( \widetilde{q}\in \widetilde{Q}_{r}\). Thus we get that \(F_{\widetilde{w}}\) is closed. Moreover, we know that \(\widetilde{w}\widetilde{\leq }\widetilde{q}\) for every \(\widetilde{w}\in F_{\widetilde{q}}\) and \(\widetilde{w}\in \widetilde{Q }_{r}.\) Since \)\widetilde{Q}\) is a soft quasilinear inner product space, we get \(\left\Vert \widetilde{w}\right\Vert \leq \) \(\left\Vert \widetilde{q} \right\Vert \). This gives us that \(F_{\widetilde{q}}\) is bounded.

Theorem 10. In a soft quasilinear inner product space, the floor of any soft quasi vector may not be a subspace. But, the orthogonal complement set of the floor of a soft quasi vector is always a subspace of space.

Proof. Let \(\widetilde{Q}\) be a soft quasilinear inner product space. For a \( \widetilde{q}\in \widetilde{Q}\), we have \({{F}_{\widetilde{q}}}=\left\{ \widetilde{a}\in \widetilde{Q}{_{r}}:\widetilde{a}\widetilde{\leq } \widetilde{q}\right\} \). If \(\widetilde{a},\widetilde{b}\in {{F}_{\widetilde{ q}}}\), then \(\widetilde{a}\widetilde{\leq }\widetilde{q}\) and \(\widetilde{b} \widetilde{\leq }\widetilde{q}\). Since \(\widetilde{Q}\) be a soft quasilinear space, we get \begin{equation*} \widetilde{\alpha }\cdot \widetilde{a}\widetilde{\leq }\widetilde{\alpha } \cdot \widetilde{q}\text{ and }\widetilde{\beta }\cdot \widetilde{b} \widetilde{\leq }\widetilde{\beta }\cdot \widetilde{q} \end{equation*} for soft scalars \(\widetilde{\alpha },\widetilde{\beta }\). Since \(\widetilde{ Q}\) is a soft quasilinear space, we get \(\widetilde{\alpha }\cdot \widetilde{ a}+\widetilde{\beta }\cdot \widetilde{b}\widetilde{\leq }\widetilde{\alpha } \cdot \widetilde{q}+\widetilde{\beta }\cdot \widetilde{q}\). But, because of the inequality \(\widetilde{\alpha }\cdot \widetilde{a}+\widetilde{\beta } \cdot \widetilde{b}\widetilde{\leq }\widetilde{q}\) may not be satisfy for every soft scalars \(\widetilde{\alpha },\widetilde{\beta }\), we obtain \( \widetilde{\alpha }\cdot \widetilde{a}+\widetilde{\beta }\cdot \widetilde{b} \widetilde{\nleq }\widetilde{q}.\) So, the floor of a soft vector of a quasilinear space \(\widetilde{Q}\) may not be subspace. Now, we will show that \(F_{\widetilde{q}}^{\bot }\) is a subspace of a soft quasilinear space \(\widetilde{Q}\). Let \(\widetilde{c},\widetilde{d}\in F_{ \widetilde{q}}^{\bot }\) and \(\widetilde{z}\in F_{\widetilde{q}}\). For soft scalars \(\widetilde{\alpha },\widetilde{\beta }\), we find \begin{eqnarray*} &&\left\Vert \left\langle \widetilde{z},\widetilde{\alpha }\cdot \widetilde{c }+\widetilde{\beta }\cdot \widetilde{d}\right\rangle \right\Vert \widetilde{ \leq }\left\Vert \left\langle \widetilde{z},\widetilde{\alpha }\cdot \widetilde{c}\right\rangle \right\Vert +\left\Vert \left\langle \widetilde{z} ,\widetilde{\beta }\cdot \widetilde{d}\right\rangle \right\Vert =\widetilde{\alpha }\left\Vert \left\langle \widetilde{z},\widetilde{c} \right\rangle \right\Vert +\widetilde{\beta }\left\Vert \left\langle \widetilde{z},\widetilde{d}\right\rangle \right\Vert =\widetilde{0}. \end{eqnarray*} This gives \(\widetilde{\alpha }\cdot \widetilde{c}+\widetilde{\beta }\cdot \widetilde{d}\in F_{\widetilde{q}}^{\bot }\). So, we obtain \(F_{\widetilde{q} } \) is a subspace of quasilinear space \(\widetilde{Q}\) for every \(\widetilde{ q}\in \widetilde{Q}\).

Example 3. Let \(\widetilde{Q}=\widetilde{\Omega _{C}\left( \mathbb{R} \right) }\) and we take a soft quasi vector \(\widetilde{q}\in \widetilde{Q}\) such that \(\widetilde{q}(\lambda )=[1,3]\) for every parameter \(\lambda \). If \(\widetilde{q}_{1}(\lambda )=\{1\}\) and \(\widetilde{q}_{2}(\lambda )=\{3\}\) then we find \(\widetilde{q}_{1}(\lambda )+\widetilde{q}_{2}(\lambda )=\{4\}\) for \(\widetilde{q}_{1},\widetilde{q}_{2}\in \) \({{F}_{\widetilde{q}}}\) and \( \lambda \) parameter. But \(\{4\}\notin F_{\widetilde{q}(\lambda )}\). So, \( {{F}_{\widetilde{q}}}\) is a not subspace of \(\widetilde{Q}.\)

4. Conclusions and Future Works

In our study, a special type of soft quasilinear spaces, which are homogenized soft quasilinear spaces have been introduced. Moreover, some related properties and examples of homogenized soft quasilinear spaces have been given. Lastly, related theorems including floor of soft quasilinear theory and many conclusions are researched. Some algebraic properties of soft normed quasilinear spaces such as basis, dimensions and properness will be studied in further investigations depending on the descriptions of homogenized soft quasilinear space given in this research.

Author Contributions

All authors contributed equally in this paper. All authors read and approved the final version of this paper.

Conflicts of Interest

The authors declare no conflict of interest.