A Novel Approach to the Fuzzification of Fields

Zeng, Mingyi; Wang, Lan; Shi, Fu-Gui

doi:10.3390/sym14061190

Open AccessArticle

A Novel Approach to the Fuzzification of Fields

by

Mingyi Zeng

¹,

Lan Wang

¹ and

Fu-Gui Shi

^1,2,*

¹

School of Mathematics, Mudanjiang Normal University, Mudanjiang 157011, China

²

School of Mathematics and Statistics, Beijing Institute of Technology, Beijing 102488, China

^*

Author to whom correspondence should be addressed.

Symmetry 2022, 14(6), 1190; https://doi.org/10.3390/sym14061190

Submission received: 12 May 2022 / Revised: 30 May 2022 / Accepted: 6 June 2022 / Published: 9 June 2022

(This article belongs to the Special Issue Advances in Fuzzy Convexity Theory and Its Related Topics)

Download Versions Notes

Abstract

:

There are many symmetries in L-fuzzy algebras. In this paper, a novel approach to the fuzzification of a field is introduced. We define a mapping

F : L^{X} \to L

from the family of all the L-fuzzy sets on a field X to L such that each L-fuzzy set is an L-fuzzy subfield to some extent. Some equivalent characterizations

F (μ)

are given by means of cut sets. It is proved that

F

is L-fuzzy convex structure on X, hence

(X, F)

forms an L-fuzzy convexity space. A homomorphism between fields is exactly an L-fuzzy convexity preserving mapping and an L-fuzzy convex-to-convex mapping. Finally, we discuss some operations of L-fuzzy subsets.

Keywords:

L-fuzzy subfield measure; L-fuzzy field homomorphism; L-fuzzy convexity; L-fuzzy convex preserving mapping; L-fuzzy convex-to-convex mapping

1. Introduction

Symmetry occurs not only in geometry, but also in other branches of mathematics. In particular, there are many symmetries in groups, rings, fields, lattices and L-fuzzy algebras. Given a structured object X of any sort, a symmetry is a mapping of the object onto itself that preserves the structure. In algebra, the notion of field is one of the most basic and important concepts. The fuzzification of fields was first introduced in [1]. Later it was redefined in [2,3,4]. However, given a fuzzy set in a field, we know that it is either a fuzzy subfield or not. Only one of both cases is true. It does not have any fuzziness. In this paper, our aim is to present a novel approach to the fuzzification of fields. We do this work for two reasons. One is to extend the fuzzy field theory to a more general framework, and the other is to provide new examples for expanding the practical scope of fuzzy convexity theory.

Convexity theory has been accepted to be of increasing importance in recent years in the study of extremum problems in many areas of applied mathematics. As the axiomatization of the properties that usual convex sets fulfill, an abstract convexity on a set was proposed. In fact, convexity exists in so many mathematical areas, such as lattices, groups, rings, fields, metric spaces, graphs, matroids, functional analysis and so on. For example, all subalgebras of a universal algebra form exactly a convex structure [5]. Some more applications can be found in [6].

In 1994, the notions of fuzzy convex spaces and convex closure operators were first proposed by Rosa [7]. Later, Maruyama [8] generalized Rosa’s Definition to completely distributive lattice-valued setting, and investigated some combinatorial properties of lattice-valued fuzzy convex sets in Euclidean spaces. In a completely different direction, Shi and Xiu [9] proposed the concept of

(L, M)

-fuzzy convex structures, which contains L-convex structures and M-fuzzifying convex structures as special cases.

As mentioned above, fuzzy convexity exists in so many algebraic areas, such as hazy lattices, hazy groups, fuzzy rings, fuzzy universal algebras, and so on. For example, Li J. and Shi F.-G. first discovered the close relationship between fuzzy sublattice and fuzzy convex structures [10]. Afterwards, Liu and Shi applied (fuzzifying) convexities into M-hazy lattices [11], and M-fuzzifying groups [12], Mehmood and Shi applied (fuzzifying) convexities into M-hazzy rings [13,14] and An and Shi applied L-fuzzy convexities into L-fuzzy rings [15]. However, the research of the relationship between L-fuzzy convexity and L-fuzzy subfields are hardly available.

In this paper, we define a mapping

F : L^{X} \to L

from the family of all the L-fuzzy sets on a field X to L such that each L-fuzzy set is an L-fuzzy subfield to some extent. It is proved that

F

is L-fuzzy convex structure on X, hence

(X, F)

forms a convexity space. A homomorphism between fields is exactly an L-fuzzy convexity preserving mapping and an L-fuzzy convex-to-convex mapping. Our work shows that L-fuzzy subfield theory can be regarded as a new example for expanding the practical scope of fuzzy convexity theory.

2. Preliminaries

Throughout this paper, L is a completely distributive lattice [16,17], the smallest element and the largest element in L are denoted by ⊤ and ⊥, respectively.

An element a in L is called a prime element if

a ⩾ b \land c

implies

a ⩾ b

or

a ⩾ c

. a in L is called co-prime if

a ⩽ b \lor c

implies

a ⩽ b

or

a ⩽ c

[16]. The set of non-unit prime elements in L is denoted by

P (L)

. The set of non-zero co-prime elements in L is denoted by

J (L)

.

The binary relation ≺ in L is defined as follows: for

a, b \in L

,

a ≺ b

if and only if for every subset

D \subseteq L

, the relation

b ⩽

sup D always implies the existence of

d \in D

with

a ⩽ d

[17].

{a \in L ∣ a ≺ b}

is called the greatest minimal family of b, denoted by

β (b)

. Moreover, define a binary relation ∢ as follows: for all

a, b \in L

,

b ∢ a

if and only if for every subset

D \subseteq L

,

⋀ D ⩽ b

implies

d ⩽ a

for some

d \in D

. The set

{a \in M ∣ b ∢ a}

, denoted by

α (b)

, is called the greatest maximal family of a in the sense of [17]. In a completely distributive lattice L,

α

is a ⋀-⋃ map,

β

is a union-preserving map [17].

Theorem 1

([18]). Let

μ \in L^{X}

and

a \in L

. Define

\begin{matrix} μ^{[a]} = {x \in X ∣ a \notin α (μ (x))}; & μ^{(a)} = {x \in X ∣ μ (x) ≰ a}; \\ μ_{[a]} = {x \in X ∣ a ⩽ μ (x)}; & μ_{(a)} = {x \in X ∣ a \in β (μ (x))} . \end{matrix}

In a complete Heyting algebra L, there exists an implication operator ↦:

L \times L ⟶ L

as the right adjoint for the meet operation ∧ by

a \mapsto b = ⋁ {c \in L ∣ a \land c ⩽ b} .

We list some properties of the implication operation in the following lemma.

Lemma 1

([19]). Let L be a complete Heyting algebra and let ↦ be the implication operator corresponding to ∧. Then for all

a, b, c \in L

,

{a_{i}}_{i \in I} \subseteq L

, the following statements hold:

(1): $⊤ \mapsto a = a;$
(2): $c ⩽ a \mapsto b \Leftrightarrow a \land c ⩽ b;$
(3): $a \mapsto b = ⊤ \Leftrightarrow a ⩽ b;$
(4): $a \mapsto (\underset{i \in I}{⋀} a_{i}) = \underset{i \in I}{⋀} (a \mapsto a_{i})$ , hence $a \mapsto b ⩽ a \mapsto c$ whenever $b ⩽ c;$
(5): $(\underset{i \in I}{⋁} a_{i}) \mapsto b = \underset{i \in I}{⋀} (a_{i} \mapsto b)$ , hence $b \mapsto c ⩽ a \mapsto c$ whenever $a ⩽ b;$
(6): $(a \mapsto c) \land (c \mapsto b) ⩽ a \mapsto b;$
(7): $(a \mapsto b) \land (c \mapsto d) ⩽ a \land c \mapsto b \land d .$

Definition 1

([15]). Let μ be an L-fuzzy subset in a ring R. Then the L-fuzzy subring measure

R (μ)

of μ is defined as

R (μ) = \underset{x, y \in R}{⋀} [(μ (x) \land μ (y)) \mapsto (μ (x y) \land μ (x - y))] .

Lemma 2

([19]). Let

f : S \mapsto S^{'}

be a set mapping andet

{μ_{i}}

and

{η_{i}}

be the families of L-fuzzy subsets in S and

S^{'}

respectively. Then we have

(1): $f_{L}^{\to} (f_{L}^{\leftarrow} (η_{i})) = η_{i}$ if f is surjective;
(2): $f_{L}^{\leftarrow} (f_{L}^{\to} (μ_{i})) = μ_{i}$ if f is injective,

where

f_{L}^{\to} : L^{S} \to L^{S^{'}}

and

f_{L}^{\leftarrow} : L^{S^{'}} \to L^{S}

are defined by

f_{L}^{\to} (μ) (y) = ⋁ {μ (x) ∣ f (x) = y}, f_{L}^{\leftarrow} (η) = η \circ f .

Definition 2

([9]). A mapping

C : L^{X} ⟶ M

is called an

(L, M)

-fuzzy convexity on X if it satisfies the following conditions:

(LMC1) $C (χ_{\emptyset}) = C (χ_{X}) = ⊤_{M}$ ;
(LMC2) if ${μ_{i} ∣ i \in Ω} \subseteq L^{X}$ is nonempty, then $\underset{i \in Ω}{⋀} C (μ_{i}) ⩽ C (\underset{i \in Ω}{⋀} μ_{i})$ ;
(LMC3) if ${μ_{i} ∣ i \in Ω} \subseteq L^{X}$ is nonempty and totally ordered, then $\underset{i \in Ω}{⋀} C (μ_{i}) ⩽ C (\underset{i \in Ω}{⋁} μ_{i})$ .

The pair

(X, C)

is called an

(L, M)

-fuzzy convex space. An

(L, L)

-fuzzy convex space is called an L-fuzzy convex space for short.

Definition 3

([9]). Let

(X, C)

and

(Y, D)

be

(L, M)

-fuzzy convexity spaces. A mapping

f : X ⟶ Y

is called

(1): An $(L, M)$ -fuzzy convexity preserving mapping provided $D (λ) ⩽ C (f_{L}^{\leftarrow} (λ))$ for all $λ \in L^{Y}$ .
(2): An $(L, M)$ -fuzzy convex-to-convex mapping provided $C (λ) ⩽ D (f_{L}^{\to} (λ))$ for all $λ \in L^{S}$ .
(3): A mapping $f : X ⟶ Y$ is called an $(L, M)$ -fuzzy isomorphism provided f is bijective, $(L, M)$ -fuzzy convex preserving and $(L, M)$ -fuzzy convex-to-convex.

An

(L, L)

-fuzzy convex preserving mapping is called an L-fuzzy convex preserving mapping, an

(L, L)

-fuzzy convex-to-convex mapping is called an L-fuzzy convex-to-convex mapping, and an

(L, L)

-fuzzy isomorphism is called an L-fuzzy isomorphism for short.

Definition 4

([2,3,4]). An L-fuzzy set μ of a field F is said to be an L-fuzzy subfield of F if for any

x, y \in F

,

μ (x - y) ⩾ μ (x) \land μ (y), μ (x y^{- 1}) ⩾ μ (x) \land μ (y), y \neq 0 .

Definition 5

([20]). Let μ and ν be two L-fuzzy subsets of a field F. Define the L-fuzzy subset

μ \circ ν

of F by

\forall x, y \in F

,

(μ \circ ν) (z) = \underset{z = x y}{⋁} (μ (x) \land ν (y)) .

Theorem 2

([18]).

\forall μ \in L^{X}

, the following conditions are true.

(1): $μ = \underset{a \in L}{⋁} (a \land μ_{[a]}) = \underset{a \in M (L)}{⋁} (a \land μ_{[a]}) = \underset{a \in L}{⋁} (a \land μ_{(a)}) = \underset{a \in M (L)}{⋁} (a \land μ_{(a)}) .$
(2): $μ = \underset{a \in L}{⋀} (a \lor μ_{[a]}) = \underset{a \in P (L)}{⋀} (a \lor μ_{[a]}) = \underset{a \in L}{⋀} (a \lor μ_{(a)}) = \underset{a \in P (L)}{⋀} (a \lor μ_{(a)}) .$

3. A Novel Definition of $L$ -Fuzzy Subfield

According to Definition 4, we know that an L-fuzzy set in a field F is either an L-fuzzy subfield or not. Only one of both cases is true. It does not have any fuzziness. Next we shall present a novel approach to the fuzzification of subfields.

Definition 6.

Let μ be an L-fuzzy subset in a field F. Then L-fuzzy subfield measure

F (μ)

is defined as

F (μ) = \underset{x, y \in F}{⋀} ((μ (x) \land μ (y)) \mapsto μ (x y^{- 1})) \land \underset{x, y \in F}{⋀} ((μ (x) \land μ (y)) \mapsto μ (x - y)) .

It is obvious that

μ

is an L-fuzzy subfield of F if and only of

F (μ) = ⊤

.

Example 1.

Let

R

be the field of real numbers, and

L = 2^{{a, b}}

with

a \neq b

. Define

μ, ν, λ : R ⟶ L

by

\begin{matrix} μ (x) = \{\begin{matrix} {a, b}, i f x = 1, \\ \emptyset, i f x \neq 1 . \end{matrix} & ν (x) = & \{\begin{matrix} {a, b}, i f x i s a n i n t e g e r, \\ {b}, i f x i s n o t a n i n t e g e r . \end{matrix} \\ λ (x) = \{\begin{matrix} {a}, i f x i s a r a t i o n a l n u m b e r, \\ \emptyset, i f x i s a n i r r a t i o n a l n u m b e r . \end{matrix} \end{matrix}

Then we have

F (μ) = ⊥, F (ν) = {b} a n d F (λ) = ⊤ .

(1): In fact, if $x = y = 1$ , then $x - y = 0$ , in this case,

$μ (x) \land μ (y) \mapsto μ (0) = {a, b} \mapsto \emptyset = \emptyset,$

therefore we obtain $F (μ) = \emptyset (= ⊥)$ .
(2): If $x = 2, y = 3$ , then $x y^{- 1}$ is not an integer, in this case,

$ν (x) \land ν (y) \mapsto ν (x y^{- 1}) = {a, b} \mapsto {b} = {b},$

therefore we obtain $F (ν) = {b}$ .
(3): If both x and y are rational numbers, then $x - y, x y^{- 1}$ are rational numbers, in this case,

$λ (x) \land λ (y) \mapsto λ (x - y) \land λ (x y^{- 1}) = {a, b} \mapsto {a, b} = {a, b} (= ⊤) .$

If one of x and y is irrational number, then both $x - y$ and $x y^{- 1}$ are irrational numbers, in this case,

$λ (x) \land λ (y) \mapsto λ (x - y) \land λ (x y^{- 1}) = \emptyset \mapsto \emptyset = {a, b} (= ⊤) .$

However we can obtain $F (λ) = ⊤$ .

Example 2.

Let

R

be the field of real numbers, and

L = [0, 1]

, define

μ, ν, λ : R ⟶ L

by

\begin{matrix} μ (x) = \{\begin{matrix} 0, i f x = 0, 1, \\ 1, i f x \neq 0, 1 . \end{matrix} & ν (x) = & \{\begin{matrix} 0.5, i f x i s a r a t i o n a l n u m b e r, \\ 1, i f x i s a n i r r a t i o n a l n u m b e r . \end{matrix} & λ (x) = 0.5, \forall x \in R . \end{matrix}

Then we have

F (μ) = 0, F (ν) = 0.5 a n d F (λ) = 1 .

(1): In fact, if $x = y \neq 0, 1$ , then $x - y = 0$ and $x y^{- 1} = 1$ , in this case,

$\begin{matrix} μ (x) \land μ (y) \mapsto μ (0) \land μ (1) = 1 \mapsto 0 = 0 . \end{matrix}$

So we can get $F (μ) = 0$ .
(2): If $x = y$ are irrational numbers, then $x - y = 0, x y^{- 1} = 1$ are rational numbers, in this case,

$ν (x) \land ν (y) \mapsto ν (0) \land ν (1) = 1 \mapsto 0.5 = 0.5 .$

So $F (ν) = 0.5$ .
(3): $F (λ) = 1$ is obvious.

Theorem 3.

Let μ be an L-fuzzy set in a field F. Then

\begin{matrix} F (μ) = & \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x y)) \land \underset{y \in F, y \neq 0}{⋀} (μ (y) \mapsto μ (y^{- 1})) \\ \land \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x + y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (- y)) . \end{matrix}

Proof.

From Definition 6 we can obtain that

\forall x, y \in F

, (

y \neq 0

when considering

y^{- 1}

)

\begin{matrix} F (μ) \land μ (x) \land μ (y) ⩽ μ (x y^{- 1}), & F (μ) \land μ (y) ⩽ μ (1), \\ F (μ) \land μ (x) \land μ (y) ⩽ μ (x - y), & F (μ) \land μ (y) ⩽ μ (0) . \end{matrix}

In particular we have that

\begin{matrix} F (μ) \land μ (y) ⩽ F (μ) \land μ (e) \land μ (y) ⩽ μ (y^{- 1}), \\ F (μ) \land μ (y) ⩽ F (μ) \land μ (0) \land μ (y) ⩽ μ (- y), \\ F (μ) \land μ (y) = F (μ) \land μ (y^{- 1}), \\ F (μ) \land μ (y) = F (μ) \land μ (- y), \\ F (μ) \land μ (x) \land μ (y) = F (μ) \land μ (x) \land μ (y^{- 1}), \\ F (μ) \land μ (x) \land μ (y) = F (μ) \land μ (x) \land μ (- y) . \end{matrix}

This shows that

\begin{matrix} F (μ) ⩽ & \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (y^{- 1})), \\ F (μ) ⩽ & \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x + y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (- y)) . \end{matrix}

So

\begin{matrix} F (μ) ⩽ & \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (y^{- 1})) \\ \land \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x + y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (- y)) . \end{matrix}

can be proved.

Analogously we can prove

\begin{matrix} F (μ) ⩾ & \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (y^{- 1})) \\ \land \underset{x, y \in F}{⋀} (μ (x) \land μ (y) \mapsto μ (x + y)) \land \underset{y \in F}{⋀} (μ (y) \mapsto μ (- y)) . \end{matrix}

To sum up, it is available. □

The following lemma is obvious.

Lemma 3.

Let μ be an L-fuzzy set in a field F. Then

F (μ) ⩾ a

if and only if for any

x, y \in F

,

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), y \neq 0, μ (x) \land μ (y) \land a ⩽ μ (x - y) .

The next Theorem presents some equivalent descriptions of L-fuzzy subfield measure.

Theorem 4.

Let μ be an L-fuzzy set in a field F. Then

(1): $F (μ) = ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} .$
(2): $F (μ) = ⋁ {a \in L ∣ \forall b ⩽ a, μ_{[b]} is a subfield of F} .$
(3): $F (μ) = ⋁ {a \in L ∣ \forall b \notin α (a), μ^{[b]} is a subfield of F} .$
(4): $F (μ) = ⋁ \{a \in L ∣ \forall b \in P (L), b ≱ a, μ^{(b)} is a subfield of F\} .$
(5): $F (μ) = ⋁ {a \in L ∣ \forall b \in β (a), μ_{(b)} is a subfield of F}$ if $β (a \land b) = β (a) \cap β (b)$ for any $a, b \in L$ .

Proof.

(1) ⟺ (2)

Suppose that

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F .

Then for any

b ⩽ a

and for any

x, y \in μ_{[b]}

, we have

\begin{matrix} μ (x y^{- 1}) ⩾ μ (x) \land μ (y) \land a ⩾ μ (x) \land μ (y) \land b ⩾ b, \\ μ (x - y) ⩾ μ (x) \land μ (y) \land a ⩾ μ (x) \land μ (y) \land b ⩾ b, \end{matrix}

this shows

x y^{- 1} \in μ_{[b]}, x - y \in μ_{[b]}

. Therefore

μ_{[b]}

is a subfield of F. Hence

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩽ & ⋁ \{a \in L ∣ \forall b ⩽ a, μ_{[b]} is a subfield of F\} . \end{matrix}

Conversely, assume that

a \in L

and

\forall b ⩽ a

,

μ_{[b]}

is a subfield of F.

For any

x, y \in F

, let

b = μ (x) \land μ (y) \land a

. Then

b ⩽ a

and

x, y \in μ_{[b]}

, thus

x y^{- 1}, x - y \in μ_{[b]}

, i.e.,

μ (x y^{- 1}) ⩾ b = μ (x) \land μ (y) \land a, μ (x - y) ⩾ b = μ (x) \land μ (y) \land a .

This means that

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩾ & ⋁ \{a \in L ∣ \forall b ⩽ a, μ_{[b]} is a subfield of F\} . \end{matrix}

So

(1) ⟺ (2)

is clearly established;

(1) ⟺ (3)

Suppose that

a \in L

and for any

x, y \in F

,

μ (x) \land μ (y) \land a ⩽ μ (x y), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Then for any

b \notin α (a)

and

x, y \in μ^{[b]}

, we have

b \notin α (μ (x)) \cup α (μ (y)) \cup α (a) = α (μ (x) \land μ (y) \land μ (a)) .

By

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y),

we know

α (μ (x y^{- 1})) \subseteq α (μ (x) \land μ (y) \land a), α (μ (x - y)) \subseteq α (μ (x) \land μ (y) \land a) .

Hence

b \notin α (μ (x y^{- 1})), b \notin α (μ (x - y))

, i.e.

x y^{- 1}, x - y \in μ^{[b]}

.

This means that

μ^{[b]}

is a subfield of F and

a \in {a \in L ∣ \forall b \notin α (a), μ^{[b]} is a subfield of F}

. This shows that

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩽ & ⋁ \{a \in L ∣ \forall b \notin α (a), μ^{[b]} is a subfield of F\} . \end{matrix}

Conversely, assume that

a \in {a \in L ∣ \forall b \notin α (a), μ^{[b]} is a subfield of F} .

Now we prove for any

x, y \in F

,

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Suppose that

b \notin α (μ (x) \land μ (y) \land a) .

By

α (μ (x) \land μ (y) \land a) = α (μ (x)) \cup α (μ (x)) \cup α (a),

we know that

b \notin α (a)

and

x, y \in μ^{[b]}

. Since

μ^{[b]}

is a subfield of F, it holds that

x y^{- 1}, x - y \in μ^{[b]}

, i.e.,

b \notin α (μ (x y^{- 1}))

and

b \notin α (μ (x - y))

. This shows that

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Therefore

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y),\} \\ ⩾ & ⋁ \{a \in L ∣ b \notin α (a), μ^{[b]} is a subfield of F\} . \end{matrix}

So

(1) ⟺ (3)

is clearly established;

(1) ⟺ (4)

Suppose that

a \in L

and for any

x, y \in F

,

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Let

b \in P (L), b ≱ a

and

x, y \in μ^{(b)}

. Now we prove

x y^{- 1}, x - y \in μ^{(b)}

. If

x y^{- 1}, x - y \notin μ^{(b)}

, i.e.,

μ (x y^{- 1}) ⩽ b

and

μ (x - y) ⩽ b

, then

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}) ⩽ b, μ (x) \land μ (y) \land a ⩽ μ (x - y) ⩽ b .

By

b \in P (L)

and

x, y \in μ^{(b)}

, we have

a ⩽ b

, which contradicts

b ≱ a

. Hence

x y^{- 1}, x - y \in μ^{(b)}

. This shows that

μ^{(b)}

is a subfield of F. Therefore

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩽ & ⋁ \{a \in L ∣ \forall b \in P (L), b ≱ a, μ^{(b)} is a subfield of F\} . \end{matrix}

Conversely, assume that

a \in {a \in L ∣ \forall b \in P (L), b ≱ a, μ^{(b)} is a subfield of F} .

Now we prove that for any

x, y \in F

,

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Let

b \in P (L)

and

μ (x) \land μ (y) \land a ≰ b

. Then

μ (x) ≰ b

,

μ (y) ≰ b

and

a ≰ b

, i.e.,

x, y \in μ^{(b)}

. Since

μ^{(b)}

is a subfield of F, it holds that

x y^{- 1} \in μ^{(b)}, x - y \in μ^{(b)}

, i.e.

μ (x y^{- 1}) ≰ b, μ (x - y) ≰ b

. This shows that

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Therefore

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩾ & ⋁ \{a \in L ∣ \forall b \in P (L), b ≱ a, μ^{(b)} is a subfield of F\} . \end{matrix}

So

(1) ⟺ (4)

is clearly established;

(1) ⟺ (5)

Suppose that

a \in \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} .

Then for any

b \in β (a)

and for any

x, y \in μ_{(b)}

, it holds that

\begin{matrix} b \in β (μ (x)) \cap β (μ (y)) \cap β (a) = β (μ (x) \land μ (y) \land a) \subseteq β (μ (x y)), \\ b \in β (μ (x)) \cap β (μ (y)) \cap β (a) = β (μ (x) \land μ (y) \land a) \subseteq β (μ (x - y)), \end{matrix}

i.e.,

x y^{- 1}, x - y \in μ_{(b)}

. This shows that

μ_{(b)}

is a subfield of F. This means that

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩽ & ⋁ \{a \in L ∣ \forall b \in β (a), μ_{(b)} is a subfield of F\} . \end{matrix}

Conversely, assume that

a \in {a \in L ∣ \forall b \in β (a), μ_{(b)} is a subfield of F} .

Now we prove that for any

x, y \in F

,

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Let

b \in β (μ (x) \land μ (y) \land a)

. By

β (μ (x) \land μ (y) \land a) = β (μ (x)) \cap β (μ (y)) \cap β (a),

we know that

x, y \in μ_{(b)}

and

b \in β (a)

. Since

μ_{(b)}

is a sufield of F, it holds that

x y^{- 1}, x - y \in μ_{(b)}

, i.e.,

b \in β (μ (x y^{- 1}))

and

b \in β (μ (x - y))

. This shows that

μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y) .

Therefore

\begin{matrix} F (μ) = & ⋁ \{a \in L ∣ μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F\} \\ ⩾ & {a \in L ∣ \forall b \in β (a), μ_{(b)} is a subfield of F} . \end{matrix}

So

(1) ⟺ (5)

is clearly established.

In conclusion,

(1) ⟺ (2) ⟺ (3) ⟺ (4) ⟺ (5)

. □

By Definition 1 and Definition 6, we obtain the following Theorem.

Theorem 5.

Let μ be an L-fuzzy subset in a field F. Then

F (μ) ⩽ R (μ)

.

4. The Relation between $L$ -Fuzzy Subfield Measure and $L$ -Fuzzy Convexity

In this section, we will investigate the relation between L-fuzzy subfield measure and L-fuzzy convexity. We will prove that a field homomorphism is exactly an L-fuzzy convex preserving mapping and an L-fuzzy convex-to-convex mapping.

For each

μ \in L^{F}

,

F (μ)

can be naturally considered as a mapping

F : L^{F} ⟶ L

defined by

μ \mapsto F (μ)

.

The following Theorem shows that

F

is an L-fuzzy convexity on F.

Theorem 6.

Let F be a field. Then the mapping

F : L^{F} ⟶ L

defined by

μ \mapsto F (μ)

is an L-fuzzy convexity on F, which is called the L-fuzzy convexity induced by L-fuzzy subfield measure on F.

Proof.

(LMC1) It is straightforward that

\begin{matrix} F (χ_{\emptyset}) = F (χ_{F}) = ⊤ . \end{matrix}

(LMC2) Let

{μ_{i} ∣ i \in Ω} \subseteq L^{F}

be nonempty. To prove

\begin{matrix} \underset{i \in Ω}{⋀} F (μ_{i}) ⩽ F (\underset{i \in Ω}{⋀} μ_{i}) . \end{matrix}

For any

a ⩽ \underset{i \in Ω}{⋀} F (μ_{i})

, by Theorem 4, for all

i \in Ω

, we have

\begin{matrix} μ_{i} (x) \land μ_{i} (y) \land a ⩽ μ_{i} (x y^{- 1}), μ_{i} (x) \land μ_{i} (y) \land a ⩽ μ_{i} (x - y), \end{matrix}

for all

x, y \in F

. This implies

\begin{matrix} (\underset{i \in Ω}{⋀} μ_{i} (x)) \land (\underset{j \in Ω}{⋀} μ_{j} (y)) \land a ⩽ \underset{i \in Ω}{⋀} (μ_{i} (x) \land μ_{i} (y) \land a) ⩽ \underset{i \in Ω}{⋀} μ_{i} (x y^{- 1}), \\ (\underset{i \in Ω}{⋀} μ_{i} (x)) \land (\underset{j \in Ω}{⋀} μ_{j} (y)) \land a ⩽ \underset{i \in Ω}{⋀} (μ_{i} (x) \land μ_{i} (y) \land a) ⩽ \underset{i \in Ω}{⋀} μ_{i} (x - y) . \end{matrix}

By Lemma 3, we have

a ⩽ F (\underset{i \in Ω}{⋀} μ_{i})

. From the arbitrarin ess of a, we obtain

\begin{matrix} \underset{i \in Ω}{⋀} F (μ_{i}) ⩽ F (\underset{i \in Ω}{⋀} μ_{i}) . \end{matrix}

(LMC3) Let

{μ_{i} ∣ i \in Ω} \subseteq L^{F}

be nonempty and totally ordered. To prove

\begin{matrix} \underset{i \in Ω}{⋀} F (μ_{i}) ⩽ F (\underset{i \in Ω}{⋁} μ_{i}) . \end{matrix}

For any

a ⩽ \underset{i \in Ω}{⋀} F (μ_{i})

. By Lemma 3, for all

i \in Ω

, we have

\begin{matrix} μ_{i} (x) \land μ_{i} (y) \land a ⩽ μ_{i} (x y^{- 1}), μ_{i} (x) \land μ_{i} (y) \land a ⩽ μ_{i} (x - y), \end{matrix}

for all

x, y, \in F

. Let

b \in J (L)

such that

\begin{matrix} b ≺ (\underset{i \in Ω}{⋁} μ_{i} (x)) \land (\underset{i \in Ω}{⋁} μ_{i} (y)) \land a, \end{matrix}

Then we have

\begin{matrix} b ≺ \underset{i \in Ω}{⋁} μ_{i} (x), b ≺ \underset{i \in Ω}{⋁} μ_{i} (y), b ⩽ a . \end{matrix}

Hence there exists some

i, j \in Ω

such that

b ⩽ μ_{i} (s), b ⩽ μ_{j} (t), b ⩽ a

. Since

{μ_{i} ∣ i \in Ω}

is totally ordered, we assume

μ_{j} ⩽ μ_{i}

, it follows that

b ⩽ μ_{i} \land μ_{i} (y) \land a

.

By

μ_{i} \land μ_{i} (y) \land a ⩽ μ_{i} (x y^{- 1}), μ_{i} \land μ_{i} (y) \land a ⩽ μ_{i} (x - y),

we obtain

b ⩽ μ_{i} (x y^{- 1})

and

b ⩽ μ_{i} (x - y)

.

Hence

b ⩽ \underset{i \in Ω}{⋀} μ_{i} (x y^{- 1})

and

b ⩽ \underset{i \in Ω}{⋀} μ (x - y)

.

From the arbitrariness of b, we have

\begin{matrix} (\underset{i \in Ω}{⋁} μ_{i} (x)) \land (\underset{i \in Ω}{⋁} μ_{i} (y)) \land a ⩽ \underset{i \in Ω}{⋁} μ_{i} (x y^{- 1}), \\ (\underset{i \in Ω}{⋁} μ_{i} (x)) \land (\underset{i \in Ω}{⋁} μ_{i} (y)) \land a ⩽ \underset{i \in Ω}{⋁} μ_{i} (x - y) . \end{matrix}

Combining Lemma 3, we have

a ⩽ F (\underset{i \in Ω}{⋁} μ_{i})

. By the arbitrariness of a, we obtain

\underset{i \in Ω}{⋀} F (μ_{i}) ⩽ F (\underset{i \in Ω}{⋁} μ_{i})

. Therefore

F

is an L-fuzzy convexity on F. □

Now we consider the L-fuzzy subfield measures of homomorphic image and preimage of L-fuzzy sets.

Theorem 7.

Let

f : F \to F^{'}

be a field homomorphism,

μ \in L^{F}

and

η \in L^{F^{'}}

. Then

(1): $F (f_{L}^{\to} (μ)) ⩾ F (μ);$ if f is injective, then $F (f_{L}^{\to} (μ)) = F (μ) .$
(2): $F (f_{L}^{\leftarrow} (η)) ⩾ F (η);$ if f is suijective, then $F (f_{L}^{\leftarrow} (η)) = F (η) .$

Proof.

(1)

can be proved from Theorem 4 and the following fact.

\begin{matrix} F (f_{L}^{\to} (μ)) = & ⋁ \{a \in L | \begin{matrix} f_{L}^{\to} (μ) (x^{'}) \land f_{L}^{\to} (μ) (y^{'}) \land a ⩽ f_{L}^{'} (μ) (x^{'} {y^{'}}^{- 1}), \\ f_{L}^{\to} (μ) (x^{'}) \land f_{L}^{\to} (μ) (y^{'}) \land a ⩽ f_{L}^{'} (μ) (x^{'} - y^{'}), \forall x^{'}, y^{'} \in F^{'} \end{matrix}\} \\ = & ⋁ \{a \in L | \begin{matrix} \underset{f (x) = x^{'}}{⋁} μ (x) \land \underset{f (y) = y^{'}}{⋁} μ (y) \land a ⩽ \underset{f (z) = x^{'} {y^{'}}^{- 1}}{⋁} μ (z), \\ \underset{f (x) = x^{'}}{⋁} μ (x) \land \underset{f (y) = y^{'}}{⋁} μ (y) \land a ⩽ \underset{f (z) = x^{'} - y^{'}}{⋁} μ (z), \forall x^{'}, y^{'} \in F^{'} \end{matrix}\} \\ ⩾ & ⋁ \{a \in L | \begin{matrix} μ (x) \land μ (y) \land a ⩽ μ (x y^{- 1}), μ (x) \land μ (y) \land a ⩽ μ (x - y), \forall x, y \in F \end{matrix}\} \\ = & F (μ) . \end{matrix}

If f is injective, the above ⩾ can be replaced by =. Hence

F (μ) = F (f_{L}^{\to} (μ))

.

(2)

can be proved from the following fact.

\begin{matrix} F (f_{L}^{\leftarrow} (η)) = & \underset{x, y \in F}{⋀} ((f_{L}^{\leftarrow} (η) (x) \land f_{L}^{\leftarrow} (η) (y)) \mapsto f_{L}^{\leftarrow} (η) (x y^{- 1})) \\ \land \underset{x, y \in F}{⋀} ((f_{L}^{\leftarrow} (η) (x) \land f_{L}^{\leftarrow} (η) (y)) \mapsto f_{L}^{\leftarrow} (η) (x - y)) \\ = & \underset{x, y \in F}{⋀} ((η (f (x)) \land η (f (y))) \mapsto η (f (x) f (y^{- 1}))) \\ \land \underset{x, y \in F}{⋀} ((η (f (x)) \land η (f (y))) \mapsto η (f (x) - f (y))) \\ ⩾ & \underset{x^{'}, y^{'} \in F^{'}}{⋀} ((η (x^{'}) \land η (y^{'})) \mapsto η (x^{'} {y^{'}}^{- 1})) \\ \land \underset{x^{'}, y^{'} \in F^{'}}{⋀} ((η (x^{'}) \land η (y^{'})) \mapsto η (x^{'} - y^{'})) \\ = & F (η) . \end{matrix}

If f is surjective, the above ⩾ can be replaced by =. Thus we can obtain that

F (η) = F (f_{L}^{\leftarrow} (η)) .

□

By Theorem 7 (1) and (2), we obtain the following Theorem.

Theorem 8.

Let

F_{F}

and

F_{F^{'}}

be the L-fuzzy convexities induced by L-fuzzy subfield measures on F and

F^{'}

. If

f : F ⟶ F^{'}

is a field homomorphism, then

f : (F, F_{F}) ⟶ (F^{'}, F_{F^{'}})

is an L-fuzzy convexity preserving and L-fuzzy convex-to-convex mapping.

The following corollary is obvious.

Corollary 1.

Let

F_{F}

and

F_{F^{'}}

be the L-fuzzy convexities induced by L-fuzzy subfield measures on F and

F^{'}

. If

f : F ⟶ F^{'}

is a field isomorphism, then

f : (F, F_{F}) ⟶ (F^{'}, F_{F^{'}})

is an L-fuzzy isomorphism.

5. The Operations of $L$ -Fuzzy Subfields

In this section, we shall discuss some operation properties of L-fuzzy subfields measures.

In a field F, given two L-fuzzy sets

μ

,

ν

,

μ \circ ν

is defined in Defintion 5. Now we present its representations by means of cut sets.

Theorem 9.

Let F be a field,

μ, ν \in L^{F}

. Then the following conditions are true.

(1): $\forall a \in L, {(μ \circ ν)}_{(a)} \subseteq μ_{(a)} \circ ν_{(a)} \subseteq μ_{[a]} \circ ν_{[a]} \subseteq {(μ \circ ν)}_{[a]} .$
(2): $\forall a \in L, {(μ \circ ν)}^{(a)} \subseteq μ^{(a)} \circ ν^{(a)} \subseteq μ^{[a]} \circ ν^{[a]} \subseteq {(μ \circ ν)}^{[a]}$ , in particular, if $a \in P (L)$ , then ${(μ \circ ν)}^{(a)} = μ^{(a)} \circ B^{(a)}$ .
(3): $μ \circ ν = \underset{a \in L}{⋀} {a \lor (μ^{[a]} \circ ν^{[a]})} = \underset{a \in P (L)}{⋀} {a \lor (μ^{[a]} \circ ν^{[a]})} .$
(4): $μ \circ ν = \underset{a \in L}{⋀} {a \lor (μ^{(a)} \circ ν^{(a)})} = \underset{a \in P (L)}{⋀} {a \lor (μ^{(a)} \circ ν^{(a)})} .$
(5): $μ \circ ν = \underset{a \in L}{⋁} {a \land (μ_{[a]} \circ ν_{[a]})} = \underset{a \in M (L)}{⋁} {a \land (μ_{[a]} \circ ν_{[a]})} .$
(6): $μ \circ ν = \underset{a \in L}{⋁} {a \land (μ_{(a)} \circ ν_{(a)})} = \underset{a \in M (L)}{⋁} {a \land (μ_{(a)} \circ ν_{(a)})} .$

Proof.

(1)

\forall a \in L

, first we prove that

{(μ \circ ν)}_{(a)} \subseteq μ_{(a)} \circ ν_{(a)}

. By

\begin{matrix} z \in {(μ \circ ν)}_{(a)} & \Rightarrow & a \in β ((μ \circ ν) (x)) & = & β (\underset{z = x y}{⋁} (μ (x) \land ν (y))) \\ = & ⋃_{z = x y} β (μ (x) \land ν (y)) & \subseteq & ⋃_{z = x y} β (μ (x) \cap ν (y)) \end{matrix}

we can obtain

a \in β (μ (x)) and a \in β (ν (y)) \Rightarrow x \in μ_{(a)} and y \in ν_{(a)} \Rightarrow z = x y \in μ_{(a)} \circ ν_{(a)},

this shows

{(μ \circ ν)}_{(a)} \subseteq μ_{(a)} \circ ν_{(a)}

.

It is obvious that

μ_{(a)} \circ ν_{(a)} \subseteq μ_{[a]} \circ ν_{[a]}

.

μ_{[a]} \circ ν_{[a]} \subseteq {(μ \circ ν)}_{[a]}

is proved as follows.

Suppose that

z \in μ_{[a]} \circ ν_{[a]}

. Then by

μ_{[a]} \circ ν_{[a]} = {z \in F ∣ x \in μ_{[a]}, y \in ν_{[a]}, z = x y}

, we have

(μ \circ ν) (z) = \underset{z = x y}{⋁} (μ (x) \land ν (y)) ⩾ \underset{z = x y}{⋁} (a \land a) = a,

that is,

z \in {(μ \circ ν)}_{[a]}

, so

μ_{[a]} \circ ν_{[a]} \subseteq {(μ \circ ν)}_{[a]}

.

So

\forall a \in L, {(μ \circ ν)}_{(a)} \subseteq μ_{(a)} \circ ν_{(a)} \subseteq μ_{[a]} \circ ν_{[a]} \subseteq {(μ \circ ν)}_{[a]} .

(2)

{(μ \circ ν)}^{(a)} \subseteq μ^{(a)} \circ ν^{(a)}

can be proved from the following implications.

\begin{matrix} z \in {(μ \circ ν)}^{(a)} & \Rightarrow (μ \circ ν) (z) ≰ a \\ \Rightarrow \underset{z = x y}{⋁} (μ (x) \land ν (y)) ≰ a \\ \Rightarrow \exists x, y \in F such that z = x y, μ (x) ≰ a, ν (y) ≰ a \\ \Rightarrow \exists x, y \in F such that z = x y, x \in μ^{(a)}, y \in ν^{(a)} \\ \Rightarrow z = x y \in μ^{(a)} \circ ν^{(a)}, \end{matrix}

we can obtain

{(μ \circ ν)}^{(a)} \subseteq μ^{(a)} \circ ν^{(a)}

.

In particular, if

a \in P (L)

, then the inverse of the above implications are true. In this case,

{(μ \circ ν)}^{(a)} = μ^{(a)} \circ ν^{(a)}

.

It is obvious that

μ^{(a)} \circ ν^{(a)} \subseteq μ^{[a]} \circ ν^{[a]}

, next we prove that

μ^{[a]} \circ ν^{[a]} \subseteq {(μ \circ ν)}^{[a]}

.

Suppose that

z \notin {(μ \circ ν)}^{[a]}

, then

a \in α ((μ \circ ν) (z))

. By

\begin{matrix} a \in α ((μ \circ ν) (z)) & = α (\underset{z = x y}{⋁} (μ (x) \land ν (y))) \\ \subseteq ⋂_{z = x y} (α (μ (x)) \cup α (ν (y))) \\ \Rightarrow \forall x, y \in F with z = x y, it follows a \in α (μ (x)) or a \in α (ν (y)) \\ \Rightarrow \forall x, y \in F with z = x y, it follows x \notin μ^{[a]} or y \notin ν^{[a]} \\ \Rightarrow z \notin μ^{[a]} \circ ν^{[a]} . \end{matrix}

We can obtain

μ^{(a)} \circ ν^{(a)} \subseteq μ^{[a]} \circ ν^{[a]}

.

From (1) and (2) and Theorem 2, we can obtain (3), (4), (5) and (6). □

Theorem 10.

Let F be a field,

μ, ν \in L^{F}

, then

F (μ \circ ν) ⩾ F (μ) \land F (ν)

.

Proof.

By Theorem 4, we can obtain the following fact.

\begin{matrix} F (μ \circ ν) = & ⋁ {a \in L ∣ \forall b \in P (L), b ≱ a, {(μ \circ ν)}^{(b)} is a subfield of F} \\ = & ⋁ {a \in L ∣ \forall b \in P (L), b ≱ a, μ^{(b)} \circ ν^{(b)} is a subfield of F} \\ ⩾ & (⋁ {a \in L ∣ \forall b \in P (L), b ≱ a, μ^{(b)} is a subfield of F}) \\ \land (⋁ {a \in L ∣ \forall b \in P (L), b ≱ a, ν^{(b)} is a subfield of F}) \\ = & F (μ) \land F (ν) . \end{matrix}

□

6. Conclusions

We define a mapping

F : L^{X} \to L

from the family of all the L-fuzzy sets on a field X to L such that each L-fuzzy set is an L-fuzzy subfield to some extent. Some equivalent characterizations

F (μ)

are given by means of cut sets. It is proved that

F

is L-fuzzy convex structure on X, hence

(X, F)

forms an L-fuzzy convexity space. A homomorphism between fields is exactly an L-fuzzy convexity preserving mapping and an L-fuzzy convex-to-convex mapping. Finally we discuss some operations of L-fuzzy subsets. This method can be applied to other algebra systems, such as groups, ideals, and so on, that is, we can applied L-fuzzy convexity into L-fuzzy groups, L-fuzzy ideals, and so on. It may be further applied to the study of fuzzy topological vector space.

Author Contributions

Writing—original draft preparation, M.Z.; writing—review and editing, F.S.; supervision, L.W. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the funding from Heilongjiang Education Department (Nos.1355ZD009 and 1354ZD009), the National Natural Science Foundation of China (11871097), the Reform and Development Foundation for Local Colleges and Universities of the Central Government (Excellent Young Talents Project of Heilongjiang Province) (2020YQ07, ZYQN2019071), Student Science and Technology Innovation Program of Mudanjiang Normal University (kjcx2020-15mdjnu).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

Nanda, S. Fuzzy Fields and Fuzzy Linear Spaces; Elsevier North-Holland, Inc.: Amsterdam, The Netherlands, 1986; Volume 19, pp. 89–94. [Google Scholar]
Biswas, R. Fuzzy fields and fuzzy linear spaces redefined. Fuzzy Sets Syst. 1989, 33, 257–259. [Google Scholar] [CrossRef]
Malik, D.S.; Mordeson, J.N. Fuzzy subfields. Fuzzy Sets Syst. 1990, 37, 383–388. [Google Scholar] [CrossRef]
Gu, W.; Lu, T. Fuzzy algebras over fuzzy fields redefined. Fuzzy Sets Syst. 1993, 53, 105–107. [Google Scholar] [CrossRef]
Zhong, Y.; Yang, S.-J.; Shi, F.-G. The relationship between L-subuniverses and L-convexities. J. Intell. Fuzzy Syst. 2017, 33, 3363–3372. [Google Scholar] [CrossRef]
Vel, M. Theory of Convex Structures; Elsevier North-Holland, Inc.: Amsterdam, The Netherlands, 1993. [Google Scholar]
Rosa, M.V. On fuzzy topology fuzzy convexity spaces and fuzzy local convexity. Fuzzy Sets Syst. 1994, 62, 97–100. [Google Scholar] [CrossRef]
Maruyama, Y. Lattice-Valued Fuzzy Convex Geometry. RIMS Kokyuroku 2009, 1641, 22–37. [Google Scholar]
Shi, F.-G.; Xiu, Z.-Y. (L,M)-fuzzy convex structures. J. Nonlinear Sci. Appl. 2017, 10, 3655–3669. [Google Scholar] [CrossRef] [Green Version]
Li, J.; Shi, F.-G. L-fuzzy convexity induced by L-convex fuzzy sublattice degree. Iran. J. Fuzzy Syst. 2017, 14, 83–102. [Google Scholar]
Liu, Q.; Shi, F.-G. M-hazy lattices and its induced fuzzifying convexities. J. Intell. Fuzzy Syst. 2019, 37, 1–15. [Google Scholar] [CrossRef]
Liu, Q.; Shi, F.-G. A new approach to the fuzzification of groups. J. Intell. Fuzzy Syst. 2019, 37, 1–14. [Google Scholar] [CrossRef]
Mehmood, F.; Shi, F.-G.; Hayat, K.; Yang, X.-P. The homomorphism theorems of M-hazy rings and their induced fuzzifying convexities. Mathematics 2020, 8, 411. [Google Scholar] [CrossRef] [Green Version]
Mehmood, F.; Shi, F.-G.; Hayat, K. A new approach to the fuzzification of rings. J. Nonlinear Convex Anal. 2020, 21, 2637–2646. [Google Scholar]
An, Y.Y.; Wang, L.; Shi, F.-G. A generalized Definition of fuzzy subrings. J. Math. 2022, in press.
Gerhard, G. A Compendium of Continuous Lattices; Springer: Berlin, Germany, 1980. [Google Scholar]
Wang, G.J. Theory of topological molecular lattices. Fuzzy Sets Syst. 1992, 47, 351–376. [Google Scholar]
Shi, F.-G. L-fuzzy relations and L-fuzzy subgroups. J. Fuzzy Math. 2000, 8, 491–499. [Google Scholar]
Shi, F.-G.; Xin, X. L-fuzzy subgroup degrees and L-fuzzy normal subgroup degrees. J. Adv. Res. Pure Math. 2011, 3, 92–108. [Google Scholar]
Zhang, C.Y. Fuzzy subfield and it’s pointwise characterization. Fuzzy Theory and Application–Selected Papers of the 9th Annual Meeting of Fuzzy Mathematics and Systems Association of China, 1998. Available online: https://kns.cnki.net/kcms/detail/detail.aspx?dbcode=CPFD&dbname=CPFD9908&filename=ZGXC199808002084&uniplatform=NZKPT&v=uKi6zvJSVNmW0PV370n2imwJtyO5OSgrO_bX73N5Ke3o_8as92CNEHyU031nqet6PxDonZ0ZKtM%3d (accessed on 1 March 2022).

Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Zeng, M.; Wang, L.; Shi, F.-G. A Novel Approach to the Fuzzification of Fields. Symmetry 2022, 14, 1190. https://doi.org/10.3390/sym14061190

AMA Style

Zeng M, Wang L, Shi F-G. A Novel Approach to the Fuzzification of Fields. Symmetry. 2022; 14(6):1190. https://doi.org/10.3390/sym14061190

Chicago/Turabian Style

Zeng, Mingyi, Lan Wang, and Fu-Gui Shi. 2022. "A Novel Approach to the Fuzzification of Fields" Symmetry 14, no. 6: 1190. https://doi.org/10.3390/sym14061190

APA Style

Zeng, M., Wang, L., & Shi, F.-G. (2022). A Novel Approach to the Fuzzification of Fields. Symmetry, 14(6), 1190. https://doi.org/10.3390/sym14061190

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

A Novel Approach to the Fuzzification of Fields

Abstract

1. Introduction

2. Preliminaries

3. A Novel Definition of $L$ -Fuzzy Subfield

4. The Relation between $L$ -Fuzzy Subfield Measure and $L$ -Fuzzy Convexity

5. The Operations of $L$ -Fuzzy Subfields

6. Conclusions

Author Contributions

Funding

Institutional Review Board Statement

Informed Consent Statement

Data Availability Statement

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

Article Menu

A Novel Approach to the Fuzzification of Fields

Abstract

1. Introduction

2. Preliminaries

3. A Novel Definition of L -Fuzzy Subfield

4. The Relation between L -Fuzzy Subfield Measure and L -Fuzzy Convexity

5. The Operations of L -Fuzzy Subfields

6. Conclusions

Author Contributions

Funding

Institutional Review Board Statement

Informed Consent Statement

Data Availability Statement

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

3. A Novel Definition of $L$ -Fuzzy Subfield

4. The Relation between $L$ -Fuzzy Subfield Measure and $L$ -Fuzzy Convexity

5. The Operations of $L$ -Fuzzy Subfields