Ordered Fuzzy Inner Product

• Ordered fuzzy inner product is a rigorous extension of classical inner products, incorporating ordered intervals to embed fuzziness into similarity and geometric properties.
• It preserves critical axioms such as positive definiteness, conjugate symmetry, and fuzzy Cauchy–Schwarz through two-sided interval bounds.
• This construct underpins new approaches in fuzzy rough set theory and operator characterization, enhancing analysis in uncertain, graded environments.

The ordered fuzzy inner product is a mathematically rigorous construct extending the classical inner product to fuzzy contexts via ordered intervals and general fuzzy algebraic systems. It refines notions of similarity, norm, and geometric properties for vectors and sets by embedding fuzziness into the fundamental structure, thereby enabling robust analysis in uncertain and graded environments. This concept is central in recent axiomatic developments of fuzzy inner product spaces and L-valued rough set theory, introducing a new class of functional forms that preserve essential geometric inequalities and offer generalization over earlier models (Daraby et al., 24 Dec 2025, Li et al., 2024).

1. Formal Definition and Algebraic Foundation

Let $a, b \in \mathbb{R}$. An ordered interval $[a,b]_o$ is defined by: $$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$ The set of all such intervals is $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$. On $O(\mathbb{R})$, coordinate‐wise operations are defined: $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$ A natural partial order is given by: $$[a,b]_o \succeq [c,d]_o \quad \Longleftrightarrow \quad \min\{a,b\}\ge\min\{c,d\},\ \max\{a,b\}\ge\max\{c,d\}.$$ Within an L-universe framework, with $X$ a nonempty crisp set and $(L,\wedge,\vee,\circledast,\to,0,1)$ a GL-quantale, for $L$-subsets $[a,b]_o$0, the ordered fuzzy inner product is: $[a,b]_o$1 where $[a,b]_o$2 is the universe's local capacity and $[a,b]_o$3 (Li et al., 2024).

2. Ordered Fuzzy Inner Product on Vector Spaces

For a complex vector space $[a,b]_o$4, a fuzzy number $[a,b]_o$5, and classical inner products $[a,b]_o$6 on $[a,b]_o$7, define: $[a,b]_o$8 to be an ordered fuzzy inner product if for all $[a,b]_o$9 and $$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$0,

$$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$1

with $$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$2 constants. A single inner product variant is frequently used: $$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$3 maintaining the interval bounds (Daraby et al., 24 Dec 2025).

3. Fundamental Properties and Geometric Inequalities

The ordered fuzzy inner product satisfies a set of axiomatic “quasi-inner-product” properties:

• Positive Definiteness:

$$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$4

• Conjugate Symmetry:

$$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$5

• Quasi-homogeneity:

$$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$6

• Quasi-additivity:

$$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$7

When $$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$8, these reduce to the classical axioms. Several important inequalities follow:

Inequality	Formula	Context
Fuzzy Cauchy–Schwarz	$$[a,b]_o = \begin{cases} \{x\mid a\le x\le b\}, & a\le b, \ \{x\mid b\le x\le a\}, & a>b. \end{cases}$$9	General $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$0
Fuzzy Parallelogram Law	$$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$1	General $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$2
Fuzzy Bessel’s Inequality	$$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$3	Orthonormal set

These interval-valued bounds preserve geometric properties essential to inner product spaces (Daraby et al., 24 Dec 2025).

4. Comparative Analysis with Classical and Fuzzy Models

When $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$4 and $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$5 is crisp-cut, the ordered fuzzy inner product collapses to the classic form. In contrast, classical fuzzy inner products, often defined by a t-norm, either lose fundamental inequalities like Cauchy–Schwarz or degenerate to a real-valued inner product. The ordered interval approach, complemented by two-sided bounds, retains both the “genuine fuzziness” and the full geometric strength, making it suitable for rigorous analysis and generalization (Daraby et al., 24 Dec 2025).

In L-universe settings, when $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$6, the construct recovers the traditional fuzzy intersection operator: $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$7 Ordered versions further generalize by incorporating universe capacity normalization (Li et al., 2024).

5. Applications in Fuzzy Rough Set Theory and Operator Characterization

The ordered fuzzy inner product serves as the foundation for new axiomatic approaches in L-valued rough sets. It is instrumental in defining the upper inverse of rough approximation operators: $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$8 and features in the single-axiom characterizations: $$O(\mathbb{R}) = \{ [a,b]_o \mid a,b\in\mathbb{R} \}$$9 Structural properties such as reflexivity, transitivity, symmetry, Euclidean, and median relations are incorporated by strengthening this axiom, allowing for comprehensive and unified characterization of $O(\mathbb{R})$0-valued rough approximations. These results tie the algebraic structure of ordered fuzzy inner products directly to the theory of fuzzy rough sets (Li et al., 2024).

6. Induced Fuzzy Norms and Example Computations

For each $O(\mathbb{R})$1, the induced fuzzy norm is

$O(\mathbb{R})$2

and it satisfies interval-valued norm conditions: $O(\mathbb{R})$3 where $O(\mathbb{R})$4 and $O(\mathbb{R})$5. For explicit computation, consider $O(\mathbb{R})$6, $O(\mathbb{R})$7, $O(\mathbb{R})$8, $O(\mathbb{R})$9, and

$$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$0

For $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$1, $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$2: $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$3 Analogously, in L-universe contexts, computations leverage GL-quantale t-norms and residua for $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$4-subset overlaps:

• Gödel t-norm: $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$5.
• Łukasiewicz t-norm: $$\begin{aligned} [a,b]_o \oplus [c,d]_o &= [a+c,\, b+d]_o, \ [a,b]_o \ominus [c,d]_o &= [a-c,\, b-d]_o, \ [a,b]_o \odot [c,d]_o &= [a\,c,\, b\,d]_o, \ k\,[a,b]_o &= [k\,a,\, k\,b]_o \quad (k\in \mathbb{R}). \end{aligned}$$6 (Daraby et al., 24 Dec 2025, Li et al., 2024).

7. Mathematical and Methodological Significance

The ordered fuzzy inner product generalizes classical constructs, preserves critical geometric inequalities, and enables precise characterizations across fuzzy and rough set theoretical frameworks. Its introduction is pivotal for a “third axiomatic approach” to L-valued rough sets, supporting robust, interval-valued reasoning in complex fuzzy contexts and subsuming earlier approaches as special cases. This suggests broader applications in functional analysis, fuzzy information processing, and uncertainty quantification, with implications for future research in generalized operator algebras and fuzzy model theory (Daraby et al., 24 Dec 2025, Li et al., 2024).