On the Analysis and Computation of Topological Fuzzy Measure in Distributed Monoid Spaces

The computational applications of fuzzy sets are pervasive in systems with inherent uncertainties and multivalued logic-based approximations. The existing fuzzy analytic measures are based on regularity variations and the construction of fuzzy topological spaces. This paper proposes an analysis of the general fuzzy measures in n-dimensional topological spaces with monoid embeddings. The embedded monoids are topologically distributed in the measure space. The analytic properties of compactness and homeomorphic, as well as isomorphic maps between spaces, are presented. The computational evaluations are carried out with n = 1, considering a set of translation functions with different symmetry profiles. The results illustrate the dynamics of finite fuzzy measure in a monoid topological subspace.


Introduction
The fuzzy set theory has numerous applications in a diverse array of complex systems.Decision making in information systems in the presence of uncertainties or incompleteness can be performed by employing fuzzy sets [1][2][3].The inherent uncertainties and imprecision of information can be modeled by employing ordered fuzzy numbers, where the fuzzy ordering is formulated by using trapezoidal structures [4].In general, the fuzzy decision-making process involves computations on multi-granular rough fuzzy sets [2].The variations in granularities are reflected in the efficiency of information aggregation and filtering.The convergence theory can be applied in analyzing fuzzy inference techniques with various topological applications.In general, the formation of fuzzy sets and fuzzy topology are constructed based on relational algebra, on a crisp set with an upper limit and lower limit [1].
The hybridizations of fussy sets, lattices, and topology have resulted in the formation of various structures of fuzzy topological spaces with different interpretations.In one approach, the fuzzy set theory is applied to the topology in order to construct fuzzy topological spaces [5].This formulation has created the structures of L-topology based on lattice models.In a different approach, the topological spaces are constructed based on the L-subset of the power set of any arbitrary set X [6].Hence, the topology based on the L-subset is called L-fuzzy topology, which is a distinct structure as compared to L-topology [7].An interrelationship exists between the fuzzy sets and the convexity of the underlying spaces.The L-convex spaces are formulated based on a continuous and complete lattice [8].The L-convex space supports the embedding of various categories of algebraic structures.
The analysis of compactness of the fuzzy sets and topological spaces is important for formulating corresponding measures [9].The degree of compactness and countability in L-fuzzy pretopological spaces can be analyzed [10].The formulation of pretopological spaces is based on the combination of a non-distributive lattice and implication operator algebra.Recently, the graph theoretic view of the topology is applied for analyzing the physical lattice-like structures of the honeycomb networks of physical systems [11].The invariant parameters in the topologically characterized graph-like structures are the topological indices and related connectivity polynomials.
The definitions of the fuzzy topological spaces are refined by incorporating two functors in order to form a category preserving the fuzzy compactness [12].The concept of the fuzzy ultrametric is introduced based on the sets of probability measures in a supported space [13].The measure is constructed in a fuzzy metric space with a compact support.The measures of noncompact fuzzy subsets in standard and fuzzy metric spaces are formulated [14].The regularity of the null-additivity of fuzzy measures on a metric space can be maintained, preserving the consistency of the respective measures [15].The fuzzy measure on any arbitrary topological space is constructed based on the general Borel sets [16].The measure preserves the monotone class of the Borel sets and may not be finite in all cases.From the algebraic point of view, the measure on an Abelian group is constructed, which is named as the Haar measure [17].It is considered that Haar measurable groups are locally compact in nature.The commutative convolution measure algebra is isomorphic to L 1 (G), with finite dimensional involution representation [18].If a space is not separable, then an uncountable number of pairwise disjoint subsets exist, which are open and measurable on any locally compact Abelian group [19].
This paper proposes the analysis and computational evaluations of topological fuzzy measures in distributed monoid spaces.It is considered that the underlying space is n-dimensional and the distributed embeddings of the monoids are arbitrary in the space.The topological fuzzy measures are finite and can be applied on the subspaces under appropriate translations.The computation of measure is performed in a 1D space under the influence of a set of translation functions with various symmetry profiles.The computational evaluations illustrate that the computed measures exhibit various covering and saturation effects, based on the incorporated beta control of the measure.
The rest of the paper is organized as follows.Section 2 presents the preliminary concepts.Section 3 presents definitions related to the presented model, and Section 4 presents a set of analytical properties.Section 5 presents computational evaluations.Finally, Section 6 concludes the paper.

Preliminaries
Let X be any arbitrary set equipped with a binary relation (or operation) * : X 2 → X .The structure (X, * ) is called a group if the following axioms are maintained [20]: The group (X, * ) is called Abelian if ∀x, y ∈ X, x * y = y * x.If X represents an underlying space, then a corresponding topology τ ⊆ P(X) can be constructed on it.The topology τ should maintain the following axioms (I represents the index set) [21]: A space is called a sigma measurable if it can be equipped with a function,

Groupoid Space
Let X be any arbitrary point set and A ⊂ X is equipped with an operation in n-dimensional space as o x : A 2n → A n , such that ∀a, b ∈ A n , ∃c ∈ A n , where c = ao x b.The (X n , o x ) is a groupoid space.

Distributed Monoid Space
Let (X n , o x ) be a groupoid space and The M is a distributed monoid (DM) if ∀B i ∈ M the following properties are satisfied [20]:

Topological Distributed Monoid (DM)
Let (X n , o x ) be a groupoid space with a distributed monoid M. The (X n , M, τ) is a topological DM space if the following topological properties are satisfied in topology τ on X n :

Fuzzy Topological Measure
A fuzzy topological measure in (X n , M, τ) is defined as µ τ : τ → [0, 1] , such that The scaling factor β i is a control parameter for the quantization in a fuzzy range for any arbitrary translation function in the topological DM space.

Local Isomorphism
If there is a bijection

Local Homeomorphism
If there is a bijection h :
Proof.Let (X n , M, τ) be a topological DM space, such that ∃D, E ⊂ X n , where {D, However, in the distributed monoid subspace,

  
space, the monotonicity of the topological fuzzy measure is preserved as , preserving the monotonicity of the topological fuzzy measure in the space, the topological fuzzy measure of a monoid is bounded as be a topological DM space, where . As the topological translation maintains the property that , then τ\M and, by following topological properties, D ∪ E ∈ τ.However, this indicates that Lemma.In the (X n , M, τ) space, the monotonicity of the topological fuzzy measure is preserved as µ τ (τ) > µ τ (M).
Proof.Let (X n , M x , τ x ) and (Y n , M y , τ y ) be two Hausdorff topological DM spaces, and t : Y n → X n be any arbitrary function, such that the following property is maintained: Symmetry 2019, 11, 9 5 of 10 Theorem 6.In two Hausdorff topological DM spaces (X n , M x , τ x ) and (Y n , M y , τ y ) equipped with t : Y n → X n , the monoid homeomorphic subspaces are measure equivalent as µ τ (t −1 (S)) = λµ τ (h(S)), where λ > 0 and, S = ∪ i∈I (B i ∈ M x ).
Theorem 7. (X n , M, τ) is at least a Haar measurable commutative space if the inverses exists.
Proof.Let (X n , M, τ) be a topological DM space.As M is a monoid subspace, thus Proof.Let X be a compact set and (X n , M, τ) be a compact topological DM space.If C is a cover of X n , then Theorem 10.In the (X n , M x , τ x ) and (Y n , M y , τ y ) locally homeomorphic topological DM spaces, Proof.Let (X n , M x , τ x ) and (Y n , M y , τ y ) be two locally homeomorphic topological DM spaces.Thus, Theorem 11.In the (X n , M x , τ x ) and (Y n , M y , τ y ) locally isomorphic as well as homeomorphic topological DM spaces, µ τ ( ∪ i∈I Proof.Let (X n , M x , τ x ) and (Y n , M y , τ y ) be two locally isomorphic as well as homeomorphic topological DM spaces.This indicates that ∀B Theorem 12.The topological fuzzy measure is consistent under compression if ∀D i ∈ τ\{φ}, β s > sup({β i : D i ∈ τ\{φ}}) and, µ τ Symmetry 2019, 11, 9 6 of 10 Proof.Let (X n , M, be a topological DM space equipped with fuzzy measure µ τ (.).The translation function maintains ∀a ∈ X n , |g(a) −1 | ∈ (0, +∞).Let the topological DM space be ∀D i ∈ τ, β s = sup({β i : D i ∈ τ\{φ}}) + (ε > 0), where µ τ (D i ) ∈ [0, 1].As a result, the following condition will be maintained by compressed measure: maintaining consistency under compression.

Computational Evaluations
The computational evaluations are carried out in a 1D topological DM space with distributed monoid embedding, such that ∀a ∈ X ⊂ R, a ∈ (−∞, +∞).The computational model of measure in the distributed monoid considers, The measures are numerically computed by employing translation functions various profiles, such as (a) inverse translation (g(a) −1 = a −1 ), (b) fixed coefficient translation (g(a) −1 = ka, k ∈ R + ), and (c) nonlinear periodic translation (g(a) −1 = cos −1 (ka) = 0) in a topological DM space.The numerical datasets are generated by software written in C language with installed Math-libraries.The samples are collected in datasets covering entirely positive and negative domains.The resulting profiles of the translation functions of different categories with various symmetries are presented in Figures 1-3.
The profile of inverse translation, presented in Figure 1, illustrates that the translation has a higher concentration zone around the origin, and appears to have symmetric distribution.The fixed coefficient translation profiles presented in Figure 2 consider two coefficient values, and the resulting profiles illustrate that the variations in translations have approximately symmetric distributions in the domain.The inverse and fixed coefficient translations do not cover a null (zero) translation point (i.e., translations are always in the non-zero positive range).The profile of the nonlinear periodic translation is presented in Figure 3, which is asymmetric in nature, with a monotonic reduction of translation in the domain.Moreover, the nonlinear periodic translation covers a null (zero) translation point (i.e., preserving translation invariant fixed point).The variations of the aggregate (sum) of translations covering M = {(A, o x )} in different cases are presented in Figure 4.

Computational Evaluations
The computational evaluations are carried out in a 1D topological DM space with distributed monoid embedding, such that . The computational model of measure in the distributed monoid considers, in a topological DM space.The numerical datasets are generated by software written in C language with installed Math-libraries.The samples are collected in datasets covering entirely positive and negative domains.The resulting profiles of the translation functions of different categories with various symmetries are presented in Figures 1-3.The profile of inverse translation, presented in Figure 1, illustrates that the translation has a higher concentration zone around the origin, and appears to have symmetric distribution.The fixed coefficient translation profiles presented in Figure 2 consider two coefficient values, and the resulting profiles illustrate that the variations in translations have approximately symmetric distributions in the domain.The inverse and fixed coefficient translations do not cover a null (zero) translation point (i.e., translations are always in the non-zero positive range).The profile of the nonlinear periodic translation is presented in Figure 3, which is asymmetric in nature, with a monotonic reduction of translation in the domain.Moreover, the nonlinear periodic translation covers a null (zero) translation point (i.e., preserving translation invariant fixed point).The variations of the aggregate (sum) of translations covering in different cases are presented in Figure 4.The profile of inverse translation, presented in Figure 1, illustrates that the translation has a higher concentration zone around the origin, and appears to have symmetric distribution.The fixed coefficient translation profiles presented in Figure 2 consider two coefficient values, and the resulting profiles illustrate that the variations in translations have approximately symmetric distributions in the domain.The inverse and fixed coefficient translations do not cover a null (zero) translation point (i.e., translations are always in the non-zero positive range).The profile of the nonlinear periodic translation is presented in Figure 3, which is asymmetric in nature, with a monotonic reduction of translation in the domain.Moreover, the nonlinear periodic translation covers a null (zero) translation point (i.e., preserving translation invariant fixed point).The variations of the aggregate (sum) of translations covering

Coefficient translation profiles
in different cases are presented in Figure 4.The aggregated translation is much smaller in case of the fixed coefficient translations as compared to the other categories of translations.The inverse translation has the highest aggregated value because of the existence of a singularity at the origin.However, the nonlinear periodic translation exhibits a moderately higher aggregated translation value.

Coefficient translation profiles
The fuzzy measures are computed considering two cases, such as (1) deterministic measures under sup(.)control, and (2) random measure under the control of randomized  The aggregated translation is much smaller in case of the fixed coefficient translations as compared to the other categories of translations.The inverse translation has the highest aggregated value because of the existence of a singularity at the origin.However, the nonlinear periodic translation exhibits a moderately higher aggregated translation value.
The fuzzy measures are computed considering two cases, such as (1) deterministic measures under sup(.)control, and (2) random measure under the control of randomized β i values maintaining conditions of fuzzy measures.The dynamics of the resulting fuzzy measures are presented in Figures 5  and 6.
The aggregated translation much smaller in case of the fixed coefficient translations as compared to the other categories of translations.The inverse translation has the highest aggregated value because of the existence of a singularity at the origin.However, the nonlinear periodic translation exhibits a moderately higher aggregated translation value.
The fuzzy measures are computed considering two cases, such as (1) deterministic measures under sup(.)control, and (2) random measure under the control of randomized i β values maintaining conditions of fuzzy measures.The dynamics of the resulting fuzzy measures are presented in Figures 5,6.The sup(.) control considers a fixed beta value as a control parameter, based on a set of translation values, and it exerts a compressive effect on the distribution of measures.As a result, the domain of distribution of the fuzzy measure tends to cover [0, 1] entirely, as presented in Figure 5.Moreover, the covering measure distribution is nonlinear in nature.However, the randomized fuzzy measures are computed based on randomly generated beta control values, depending on the respective individual translation profiles.As a result, it generates a nonlinear measure surface with a saturation effect.The saturation effect depends upon two factors, namely (1) randomized distribution of the i β control parameter and (2) variations in the localized random measures based on distinctive individual i β values.The variations of the i β control parameters are presented in Figure 7.As the randomized control parameter is monotonically increased, the aggregated translation values incorporate saturation at a comparatively lower limit boundary (<1).However, both of the fuzzy measures are consistent in nature within the space.
Variations of beta control values for datasets .As the randomized control parameter is monotonically increased, the aggregated translation values incorporate saturation at a comparatively lower limit boundary (<1).However, both of the fuzzy measures are consistent in nature within the space.

Conclusions
The analytic understanding of topological fuzzy measures facilitates the construction of specific measure spaces along with its applications.The analysis and computation of topological fuzzy measures vary if the underlying spaces embed monoid algebraic structures.In this paper, the concept of topologically distributed monoid spaces is presented, and a set of novel theorems is constructed

Beta values
Beta for sup(.)control Beta for randomized measure

Conclusions
The analytic understanding of topological fuzzy measures facilitates the construction of specific measure spaces along with its applications.The analysis and computation of topological fuzzy measures vary if the underlying spaces embed monoid algebraic structures.In this paper, the concept of topologically distributed monoid spaces is presented, and a set of novel theorems is constructed in order to gain analytical insights into fuzzy measures in such spaces.The fuzzy measure of the distributed monoid spaces can be computed with diverse distribution profiles covering the entire measure range, using a specific control parameter.The measures are finite in nature and the equivalent topological fuzzy measures in two locally homeomorphic monoid spaces can be formulated if the underlying space is Hausdorff.The proposed topological fuzzy measure is consistent under compression.In compact spaces, the covering topological fuzzy measure of the distributed monoids preserves the limiting unity measure.Furthermore, the minimal form of the fuzzy Haar measurability can be preserved in the topological distributed monoid spaces under certain conditions.The minimal Haar measurability of the proposed topological fuzzy measure considers the identity elements only.As a limiting case, the proposed measure does not consider the existence of a group structure in the underlying space.The topological fuzzy measures in the distributed monoid spaces can be computed under various translations, generating a variety of measure distributions and covers.
Funding: The funding of this work is partly covered by Gyeongsang National University, Jinju, ROK.

.
The measures are numerically computed by employing translation functions having various profiles, such as (a) inverse translation

Figure 3 .
Figure 3. Profile of modulus of nonlinear trigonometric translation.

Figure 3 .
Figure 3. Profile of modulus of nonlinear trigonometric translation.

Figure 3 .
Figure 3. Profile of modulus of nonlinear trigonometric translation.Symmetry 2019, 11 FOR PEER REVIEW 9

Figure 4 .
Figure 4. Variations of aggregate functional translation for different categories.
i β values maintaining conditions of fuzzy measures.The dynamics of the resulting fuzzy measures are presented in Figures5,6.Variation of sum of translation functions in [-1

Figure 4 .
Figure 4. Variations of aggregate functional translation for different categories.

Figure 6 .
Figure 6.Surface map of fuzzy measure under randomly varying beta control.The sup(.)control considers a fixed beta value as a control parameter, based on a set of translation values, and it exerts a compressive effect on the distribution of measures.As a result, the domain of distribution of the fuzzy measure tends to cover [0, 1] entirely, as presented in Figure5.Moreover, the covering measure distribution is nonlinear in nature.However, the randomized fuzzy measures are computed based on randomly generated beta control values, depending on the respective individual translation profiles.As a result, it generates a nonlinear measure surface with a saturation effect.The saturation effect depends upon two factors, namely (1) randomized distribution of the β i control parameter and (2) variations in the localized random measures based on distinctive individual β i values.The variations of the β i control parameters are presented in Figure7.As the randomized control parameter is monotonically increased, the aggregated translation values incorporate saturation

Figure 7 .
Figure 7. Variations of beta control values for various datasets.

Figure 7 .
Figure 7. Variations of beta control values for various datasets.
fuzzy set is a set equipped with a nonbinary discrete measure, given as (X, µ F ), such that µ F : X → [0, 1] .A fuzzy set can have a support built into it.