Processing math: 89%
Research article

Revisiting the m-weak core inverse

  • Received: 05 March 2024 Revised: 05 June 2024 Accepted: 20 June 2024 Published: 08 July 2024
  • MSC : 15A09

  • The m-weak core inverse of a complex matrix was introduced by D. E. Ferreyra and Saroj B. Malik in 2024. We have revisited this inverse by using the inverse along two matrices, that is, we have proved that the m-weak core inverse of a complex matrix coincides with the inverse along two complex matrices. Moreover, the necessary and sufficient conditions of the m-weak core inverse of a complex matrix have been obtained. The one-sided m-weak core inverse has been introduced by using the core-EP (EP means Equal Prohection) inverse of A.

    Citation: Jinyong Wu, Wenjie Shi, Sanzhang Xu. Revisiting the m-weak core inverse[J]. AIMS Mathematics, 2024, 9(8): 21672-21685. doi: 10.3934/math.20241054

    Related Papers:

    [1] Jamalud Din, Muhammad Shabir, Nasser Aedh Alreshidi, Elsayed Tag-eldin . Optimistic multigranulation roughness of a fuzzy set based on soft binary relations over dual universes and its application. AIMS Mathematics, 2023, 8(5): 10303-10328. doi: 10.3934/math.2023522
    [2] Rukchart Prasertpong . Roughness of soft sets and fuzzy sets in semigroups based on set-valued picture hesitant fuzzy relations. AIMS Mathematics, 2022, 7(2): 2891-2928. doi: 10.3934/math.2022160
    [3] Ahmad Bin Azim, Ahmad ALoqaily, Asad Ali, Sumbal Ali, Nabil Mlaiki, Fawad Hussain . q-Spherical fuzzy rough sets and their usage in multi-attribute decision-making problems. AIMS Mathematics, 2023, 8(4): 8210-8248. doi: 10.3934/math.2023415
    [4] R. Mareay, Radwan Abu-Gdairi, M. Badr . Soft rough fuzzy sets based on covering. AIMS Mathematics, 2024, 9(5): 11180-11193. doi: 10.3934/math.2024548
    [5] Jia-Bao Liu, Rashad Ismail, Muhammad Kamran, Esmail Hassan Abdullatif Al-Sabri, Shahzaib Ashraf, Ismail Naci Cangul . An optimization strategy with SV-neutrosophic quaternion information and probabilistic hesitant fuzzy rough Einstein aggregation operator. AIMS Mathematics, 2023, 8(9): 20612-20653. doi: 10.3934/math.20231051
    [6] Amal T. Abushaaban, O. A. Embaby, Abdelfattah A. El-Atik . Modern classes of fuzzy α-covering via rough sets over two distinct finite sets. AIMS Mathematics, 2025, 10(2): 2131-2162. doi: 10.3934/math.2025100
    [7] Muhammad Naeem, Muhammad Qiyas, Lazim Abdullah, Neelam Khan, Salman Khan . Spherical fuzzy rough Hamacher aggregation operators and their application in decision making problem. AIMS Mathematics, 2023, 8(7): 17112-17141. doi: 10.3934/math.2023874
    [8] D. Jeni Seles Martina, G. Deepa . Some algebraic properties on rough neutrosophic matrix and its application to multi-criteria decision-making. AIMS Mathematics, 2023, 8(10): 24132-24152. doi: 10.3934/math.20231230
    [9] Attaullah, Shahzaib Ashraf, Noor Rehman, Asghar Khan, Muhammad Naeem, Choonkil Park . Improved VIKOR methodology based on q-rung orthopair hesitant fuzzy rough aggregation information: application in multi expert decision making. AIMS Mathematics, 2022, 7(5): 9524-9548. doi: 10.3934/math.2022530
    [10] Mona Hosny . Generalization of rough sets using maximal right neighborhood systems and ideals with medical applications. AIMS Mathematics, 2022, 7(7): 13104-13138. doi: 10.3934/math.2022724
  • The m-weak core inverse of a complex matrix was introduced by D. E. Ferreyra and Saroj B. Malik in 2024. We have revisited this inverse by using the inverse along two matrices, that is, we have proved that the m-weak core inverse of a complex matrix coincides with the inverse along two complex matrices. Moreover, the necessary and sufficient conditions of the m-weak core inverse of a complex matrix have been obtained. The one-sided m-weak core inverse has been introduced by using the core-EP (EP means Equal Prohection) inverse of A.



    Pawlak first proposed the rough set theory[1], which is the basis for testing the granularity of knowledge[2]. In recent years, many models related to rough sets have emerged, such as the rough set theory based on fuzzy covering[3,4,5]. The fuzzy set theory was first proposed by Zadeh[6]. Since then, theories and applications related to fuzzy sets[7] have also been widely studied, such as fuzzy soft sets[8], feature selection of fuzzy sets[9], outlier detection of fuzzy sets[10,11,12], decision application of fuzzy sets, etc.[13,14,15,16]. The relation and difference between fuzzy set theory and rough set theory is also a hot topic. An important component of this research is the roughness of the fuzzy set. Dubois et al first defined the concepts of the rough fuzzy set and fuzzy rough set[17]. The roughness measurement method of fuzzy sets proposed by Banerjee et al really makes the relationship between fuzzy sets and rough sets closer[18], and it has laid a solid foundation for subsequent researchers to explore the roughness measurement of fuzzy sets by applying fuzzy entropy[19], from the perspective of distance[20] and based on soft relation[21]. Li first mentioned the concept of disturbed fuzzy sets[22]. Liu and Chen formally described the concept of disturbed fuzzy sets[23]. Chen and Wu extended the tautology of fuzzy sets[24] to interval-valued fuzzy sets[25], intuitionistic fuzzy sets[26], and disturb fuzzy sets[27], respectively. It is found that the same result can be obtained only when the disturbation fuzzy set is generalized to the ordinary fuzzy set. Therefore, the disturbation fuzzy set shows excellent properties in the operation and has extensive research value, which is not found in any kind of fuzzy set, including the interval valued fuzzy set. Subsequently, Han et al. put forward the concept of disturbed fuzzy rough sets and the roughness measure of disturbed fuzzy sets[28]. It further enriches the theoretical basis of combining the fuzzy set and the rough set. However, there are few researches on the roughness measurement of the disturbance fuzzy set, and the application of disturbance fuzzy set roughness measurement is even less.

    Upper and lower approximations of fuzzy sets are two important aspects in the study of fuzzy rough sets theory[29]. In this paper, there are two limitations: On the one hand, it is found in the exploration that the approximation of ˜M˜N generally cannot be obtained by the approximation of ˜M and ˜N, and these properties are the result of logical forms defined by assumptions in the domain of discussion expressed in an approximate manner[30]. Therefore they bring inconvenience and difficulty to the research in many fields, including the roughness measurement of disturbed fuzzy sets. On the other hand, when data analysis, data mining, decision support system, and machine learning are carried out, the datasets are usually huge, in order to solve the inconvenience caused by too large datasets. So in this paper, first, the related concepts of the rough set, disturbation fuzzy set, and roughness measurement are introduced. Second, by introducing two new operators designed by Zhang et al. and associating them with the disturbation fuzzy set, the limitation that the execution subset is not the equality of the set and cannot be studied quantitatively is effectively solved. Finally, the roughness measure of the disturbation fuzzy set is studied quantitatively, and its boundedness is obtained. Therefore, it is expected that using the boundary of roughness measure of the disturbing fuzzy set proved in this paper can effectively avoid the computing space outside the boundary and improve the computing efficiency.

    In this section, some basic concepts related to approximate space, upper and lower approximations of fuzzy sets, the roughness measure of fuzzy sets, and disturbation fuzzy sets are given.

    Definition 2.1 (Approximate space)[1] The nonempty set U is called the discourse domain, S is the equivalence relation on U, and (U,S) is called an approximate space.

    Definition 2.2 (Upper approximation, lower approximation, and boundary field)[1] (U,S) is the known approximation space, MU, and in the approximation space y1,y2,,yk represents an equivalence class with respect to S. ˉS(M) is the upper approximation of M and S_(M) is the lower approximation of M. The boundary area BNS is represented by

    S_(M)={yi|[yi]SM},S(M)={yi|[yi]SM}, (2.1)

    while

    BNS=ˉS(M)s_(M),k=1,2,,m.

    Definition 2.3. (Upper and lower approximations of fuzzy sets) [1] In U, the upper and lower approximations of the fuzzy set M are defined as: U/S[0,1] and

    S_(M)(y)=infyYkM(x),
    ˉS(M)(y)=supyYkM(x),k=1,2,,m.

    Definition 2.4. (Roughness measure of fuzzy set)[1] (U,S) is the known approximation space, MU, and the M roughness measure in (U,S) is

    ρM=1|s_(M)||ˉS(M)|,

    where the set || represents the cardinality of .

    Yao[2] once proposed that the roughness measure of a fuzzy set can be understood as the distance between the upper approximation and the lower approximation of the fuzzy set. If M: U[0,1] is in U, M(y),yU gives y membership in M.

    Definition 2.5. (Disturbed fuzzy sets)[23] If

    ˜P:Zω,z˜P(z) (2.2)

    and

    ω={˜P(z)=(˜Pα(z),˜Pβ(z))|˜Pα(z),˜Pβ(z)[0,1]} (2.3)

    call ˜P a disturbed fuzzy set on Z, then all disturbed fuzzy sets on the discourse domain U are denoted as ˜E(U).

    Based on the concepts of upper approximation and lower approximation, this section introduces the roughness measure formula of the disturbed fuzzy set, the operation relations of upper approximation, and lower approximation, and the key properties of roughness measure of the disturbed fuzzy set.

    Definition 3.1. (Operation of disturbed fuzzy sets)[28] Let

    ω={μ=(μα,μβ)},

    the interval corresponding to (μα,μβ) is

    [max(0,μαμβ),min(1,μα+μβ)] (3.1)

    for all

    μ=(μα,μβ),ν=(να,νβ),μ,νω,

    the operation on ω is defined as

    μν=(min{μα,να},max{μβ,νβ}),μν=(max{μα,να},min{μβ,νβ}),μc=(1μα,1μβ). (3.2)

    Definition 3.2. (Relation of disturbed fuzzy sets)[28] The relationship between μ and ν is defined as

    μ=νμα=να,μβ=νβ,μνμανα,μβνβ,μ<νμα<να,μβνβ or μανα,μβ<νβ, (3.3)

    otherwise, we call it incomparable and denote by U(μ,ν).

    Obviously, when (ω,), ¯0=(0,1) and ¯1=(1,0) are the minimum and maximum elements on ω, respectively.

    Definition 3.3. (Upper and lower approximations of disturbed fuzzy sets)[28] Let μ,ν be the two given parameters,

    ˜M˜E(U),˜0<νμ˜1,

    and the (U,S) be the approximate space, defining the upper and lower approximations of a disturbed fuzzy set. The μ cut sets and ν cut sets of S_(˜M) and ˉS(˜M) are

    (S_(˜M))μ={yU|(˜M)(y)μ}, (3.4)
    (ˉS(˜M))ν={yU|ˉS(˜M)(y)ν}, (3.5)

    where, (S_(˜M))μ and (ˉS(˜M))ν can be regarded as the sets of objects with μ and ν as the minimum membership degrees in the disturbance fuzzy set ˜M.

    Definition 3.4. (Roughness of disturbed fuzzy set)[28] Let (U,S) be the approximate space,

    ˜M˜E(U),ˉ0<νμˉ1,

    then the roughness of the disturbed fuzzy set ˜M on U in accordance with parameter μ,ν is

    ˜ρ˜μ,˜ν˜M=1|S_(˜M)˜μ||ˉS(˜M)˜ν|. (3.6)

    Han et al. introduced several key properties of this roughness measure[28].

    Proposition 3.1. (Disturbation of upper and lower approximation of fuzzy sets)[28] Let μ,ν be two given parameters,

    ˜M˜E(U),0<νμ1,

    and let (S_(˜M))μ and (ˉS(˜M))ν be the μ cut sets and ν cut sets of the upper and lower approximations of the disturbed fuzzy set S_(˜M) and ˉS(˜M), where

    (ˉS(˜M˜N))ν=(ˉS(˜M))ν(ˉS(˜N))ν, (3.7)
    (S_(˜M˜N))μ=(S_(˜M))μ(S_(˜N))μ, (3.8)
    (S_(˜M))μ(S_(˜N))μ(S_(˜M˜N))μ, (3.9)
    (ˉS(˜M˜N))ν(ˉS(˜M))ν(ˉS(˜N))ν. (3.10)

    Property 3.1. For disturbed fuzzy set ˜M,˜N, there is[28]

    ˜ρμ,ν˜M˜N=1|(S_(˜M˜N))μ||(ˉS(˜M˜N))ν|=1|(S_(˜M˜N))μ||(ˉS(˜M))ν(ˉS(˜N))ν|1|(S_(˜M))μ(S_(˜N))μ||(ˉS(˜M))ν(ˉS(˜N))ν|, (3.11)
    ˜ρμ,ν˜M˜N=1|(S_(˜M˜N))μ||(ˉS(˜M˜N))ν|=1|(S_(˜M))μ(S_(˜N))μ||(ˉS(˜M˜N))ν|1|(S_(˜M))μ(S_(˜N))μ||(ˉS(˜M))ν(ˉS(˜N))ν|. (3.12)

    The pioneering study of fuzzy sets[1] derived as (3.8) and (3.9) in Proposition 3.1, which carry out the property that subsets are not equal sets, hindered the quantitative study of fuzzy sets. Because of this difficulty, Zhang et al. designed two new operators[31]. In this section, the new operator proposed by Zhang et al. is fully associated with the disturbed fuzzy set so as to effectively avoid the bad influence of this property in the roughness measurement process of the disturbed fuzzy set. The roughness measure of the disturbed fuzzy set can be studied quantitatively.

    Definition 4.1. (Determine the increment operator)[31] Let the discourse domain be U,S, the equivalence class on U, P,QU, when P is extended by Q(i.e., PQ),

    X_()():U×UU,

    defining

    X_(P)(Q)={[p]S|pH(P),hP(p)Q},

    and lP(p)Q is called the definite increment of P, where

    H(P)={hP(p)|pBNS(P)P},
    lP(p)=[p]SPandhP(p)=[p]SlP(p).

    Definition 4.2. (Uncertain decrement operator)[31] Let the discourse domain be U, S the equivalence class on U, P,QU, when P is cut by Q(i.e., PQ),

    X_()():U×UU,

    defining

    ˉX(P)(Q)={[p]S|pH(P),hP(p)Q=}

    and

    lP(p)Q,

    which is called the uncertainty decrement of P, where

    H(P)={hP(p)|pBNS(P)P},
    lP(p)=[p]SPandhP(p)=[p]SlP(p).

    Property 4.1. [31] P,QU, so

    X_(P)(Q)=X_(Q)(P), (4.1)
    ˉX(P)(Q)=ˉX(Q)(P). (4.2)

    Property 4.2. [31]

    X_(P)()=, (4.3)
    X_(P)(P)=, (4.4)
    X_(P)(¬P)=BNS(P)=ˉSPS_P. (4.5)

    Property 4.3. [31]

    ˉX(P)()=, (4.6)
    ˉX(P)(P)=, (4.7)
    ˉX(P)(¬P)=BNS(P). (4.8)

    Theorem 4.1. Let ˜M and ˜N be two disturbed fuzzy sets in the discourse domain U. Parameters μ,ν satisfy 0<νμ1, while \underline{X}˜Mμ(˜Nμ), ˉX˜Mν(˜Nν), \underline{X}˜Nμ(˜Mμ), and ˉX˜Nν(˜Mν) are, respectively, ˜Mμ, ˜Nμ determines the increment and ˜Mν, and the uncertainty of ˜Nν decreases so we can get

    (S_(˜M˜N))μ=(S_(˜M))μ(S_(˜N))μX_˜Mμ(˜Nμ)=(S_(˜M))μ(S_(˜N))μX_˜Nμ(˜Mμ), (4.9)
    (ˉS(˜M˜N))ν=(ˉS(˜M))ν(ˉS(˜N))νˉX˜Mν(˜Nν)=(ˉS(˜M))ν(ˉS(˜N))νˉX˜Nν(˜Mν). (4.10)

    Property 4.4. For disturbed fuzzy sets ˜M and ˜N,

    ˜ρμ,ν˜M˜N=1|(S_(˜M))μ(S_(˜N))μX_˜Mμ(˜Nμ)||(ˉS(˜M))ν(ˉS(˜N))ν|=1|(S_(˜M))μ(S_(˜N))μX_˜Nμ(˜Mμ)||(ˉS(˜M))ν(ˉS(˜N))ν,|, (4.11)
    ˜ρμ,ν˜M˜N=1|((˜M))μ((˜N))μ||(ˉS(˜M))ν(ˉS(˜N))νˉX˜Mν(˜Nν)|=1|((˜M))μ((˜N))μ||(ˉS(˜M))ν(ˉS(˜N))νˉX˜Nν(˜Mν)|. (4.12)

    When calculating the roughness measurement of disturbed fuzzy sets, the datasets of many programs are huge and the measurement is very complicated and cumbersome work, which requires a lot of manpower and material resources. Therefore, this section presents the boundaries of some results necessary for the roughness measurement of disturbed fuzzy sets. Understanding the boundaries of these results before operation can greatly improve work efficiency. It has very important practical significance.

    Theorem 5.1. The upper bound of the roughness measure ˜ρ˜μ,˜ν˜M˜N of the disturbed fuzzy sets ˜M and ˜N in the discourse domain U is

    ˜ρ˜μ,˜ν˜M˜N1˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2(˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N)

    with respect to parameter μ,ν, satisfying 0<νμ1.

    Proof. From (3.7) in Proposition 3.1 and the fundamental properties of sets, we can get

    ˜ρ˜μ,˜ν˜M˜N1max{|(S_(˜M))μ|,|(S_(˜N))μ|}|(ˉS(˜M))ν|+|(ˉS(˜N))ν|, (5.1)

    if

    |(S_(˜M))μ||(S_(˜N))μ|.

    Thus

    ˜ρ˜μ,˜ν˜M˜N11(|(ˉS(˜M))ν||(s_(˜M))μ|+||(ˉS(˜N))ν|||(s_(˜M))μ|), (5.2)

    so, by Definition 3.4, we get

    ˜ρ˜μ,˜ν˜M˜N1˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2(˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N). (5.3)

    Theorem 5.2. The upper bound of the roughness measure ˜ρ˜μ,˜ν˜M˜N of the disturbed fuzzy sets ˜M and ˜N in the discourse domain U is

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+U

    with respect to parameter μ,ν, satisfying 0<νμ1 and

    U=|(s_(˜M˜N))μ||(ˉS(˜M˜N))ν|.

    Proof. From (3.8) in Proposition 3.1 and the fundamental properties of sets, we can get

    ˜ρ˜μ,˜ν˜M˜N=1|(S_(˜M))μ||(ˉS(˜M˜N))ν||(S_(˜N))μ||(ˉS(˜M˜N))ν|+|(S_(˜M˜N))μ||(ˉS(˜M˜N))ν|. (5.4)

    Also, according to (3.10) in Proposition 3.1,

    (ˉS(˜M˜N))ν(ˉS(˜M))ν, (5.5)
    (ˉS(˜M˜N))ν(ˉS(˜N))ν. (5.6)

    In other words, we have

    |(ˉS(˜M˜N))ν||(ˉS(˜M))ν|, (5.7)
    |(ˉS(˜M˜N))ν||(ˉS(˜N))ν|, (5.8)

    so we can get

    |(S_(˜M))μ||(ˉS(˜M))ν||((S_˜M))μ||(ˉS(˜M˜N))ν|, (5.9)
    |(S_(˜N))μ||(ˉS(˜N))ν||(S_(˜N))μ||(ˉS(˜M˜N))ν|. (5.10)

    Next, according to (3.9) in Proposition 3.1, it is obtained

    ˜ρ˜μ,˜ν˜M˜N1|(S_(˜M))μ||(ˉS(˜M))ν||(S_(˜N))μ||(ˉS(˜N))ν|+|(S_(˜M˜N))μ||(ˉS(˜M˜N))ν|. (5.11)

    According to Definition 3.4, we can get

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+|(S_(˜M˜N))μ||(ˉS(˜M˜N))ν|. (5.12)

    Therefore, to sum up,

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+U,

    when

    U=|(s_(˜M˜N))μ||(ˉS(˜M˜N))ν|.

    Remark 5.1. The bounds of Theorem 5.1 depend on roughness measures of the disturbed fuzzy sets ˜M and ˜N, and the bounds of Theorem 5.2 depend on roughness measures of the disturbed fuzzy sets ˜M and ˜N as well as (S_(˜M˜N))μ and (ˉS(˜M˜N))ν.

    Theorem 5.3. The lower bound of the disturbed fuzzy sets ˜M and ˜N in the discourse domain U for the roughness measure ˜ρ˜μ,˜ν˜M˜N with respect to parameter μ,ν is

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+L,

    which satisfies 0<νμ1, and

    L=|X_˜Mμ(˜Nμ)|max{|(ˉS(˜M))ν|,|(ˉS(˜N))ν|}.

    Proof. From (4.11) in Property 4.4 and the fundamental properties of sets, it is obtained that

    ˜ρ˜μ,˜ν˜M˜N1|(S_(˜M))μ|+|(S_(˜N))μ|+|X_˜Mμ(˜Nμ)|max{|(ˉS(˜M))ν|,|(ˉS(˜N))ν|}, (5.13)

    We can obtain

    |(ˉS(˜M))v||(ˉS(˜N))ν| (5.14)

    and

    ˜ρ˜μ,˜ν˜M˜N1|(S_(˜M))μ|+|(S_(˜N))μ|+|X_˜Mμ(˜Nμ)||(ˉS(˜M))ν|=1|(S_(˜M))μ||(ˉS(˜M))ν||(S_(˜N))μ||(ˉS(˜M))ν||X_˜Mμ(˜Nμ)||(ˉS(˜M))ν|, (5.15)

    According to Definition 3.4 and

    |(s_(˜N))μ||(ˉS(˜M))ν||(s_(˜N))μ||(ˉS(˜N))ν|,

    we can get

    ˜ρ˜μ,˜ν˜M˜N1|(S_(˜M))μ||(ˉS(˜M))ν||(S_(˜N))μ||(ˉS(˜M))ν||X_˜Mμ(˜Nμ)||(ˉS(˜M))ν|=1(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N)|X_˜Mμ(˜Nμ)||(ˉS(˜M))ν|, (5.16)

    so

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1|X_˜Mμ(˜Nμ)||(ˉS(˜M))ν|. (5.17)

    Likewise,

    |(ˉS(˜M))v|<|(ˉS(˜N))ν|, (5.18)

    we can get

    ˜ρ˜μ,˜ν˜M˜N1|(S_(˜M))μ|+|(S_(˜N))μ|+|X_˜Mμ(˜Nμ)||(ˉS(˜N))ν|, (5.19)

    thus,

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1|X_˜Mμ(˜Nμ)||(ˉS(˜N))ν|. (5.20)

    To sum up,

    ˜ρ˜μ,˜ν˜M˜N˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+L,

    when

    L=|X_˜Mμ(˜Nμ)|max{|(ˉS(˜M))ν|,|(ˉS(˜N))ν|}.

    Theorem 5.4. The lower bound of the disturbed fuzzy sets ˜M and ˜N in the discourse domain U for the roughness measure ˜ρ˜μ,˜ν˜M˜N with respect to parameter μ,ν is

    ˜ρ˜μ,˜ν˜M˜N11˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N+˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜NI(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N),

    which satisfies 0<νμ1, and

    I=|(ˉS(˜M˜N))ν|+|ˉX˜Mν(˜Nν)|min{|(s_(˜M))μ|,|(s_(˜N))μ|}.

    Proof. From (4.12) in Property 4.4 and the fundamental properties of sets, it is obtained that

    ˜ρ˜μ,˜ν˜M˜N1min{|X_((˜M))μ|,|X_((˜N))μ|}|(ˉS(˜M))ν|+|(ˉS(˜N))ν||(ˉS(˜M˜N))ν||ˉX˜Mν(˜Nν)|, (5.21)

    if

    |(S_(˜M))μ||(S_(˜N))μ|, (5.22)

    we can get

    ˜ρ˜μ,˜ν˜M˜N11|(ˉS(˜M))ν||(s_(˜M))μ|+|(ˉS(˜N))ν||(s_(˜M))μ||(ˉS(˜M˜N))ν||(s_(˜M))μ||ˉX˜Mν(˜Nν)||(s_(˜M))μ|. (5.23)

    According to Definition 3.4 and

    |(ˉS(˜N))ν||(s_(˜M))μ||(ˉS(˜N))ν||((s_˜N))μ|,

    we can get

    ˜ρ˜μ,˜ν˜M˜N11|(ˉS(˜M))ν||(s_(˜M))μ|+|(ˉS(˜N))ν||(s_(˜M))μ||(ˉS(˜M˜N))ν||(s_(˜M))μ||ˉX˜Mν(˜Nν)||(s_(˜M))μ|=1111˜ρ˜μ,˜ν˜M+11˜ρ˜μ,˜ν˜N|(ˉS(˜M˜N))ν|+|ˉX˜Mν(˜Nν)||(s_(˜M))μ|. (5.24)

    Therefore, define

    I|((˜M))μ|=|(ˉS(˜M˜N))ν|+|ˉX˜Mν(˜Nν)||(s_(˜M))μ|, (5.25)

    so

    ˜ρ˜μ,˜ν˜M˜N11˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜NI|(s_(˜M))μ|(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N). (5.26)

    Likewise, for

    |(S_(˜M))μ|>|(S_(˜N))μ|, (5.27)

    define

    I|((˜N))μ|=|(ˉS(˜M˜N))ν|+|ˉX˜Mν(˜Nν)||(S_(˜N))μ|, (5.28)

    so

    ˜ρ˜μ,˜ν˜M˜N11˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜NI|(s_(˜N))μ|(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N). (5.29)

    Thus, to sum up

    ˜ρ˜μ,˜ν˜M˜N11˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N+˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜NI(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N),

    when

    I=|(ˉS(˜M˜N))ν|+|ˉX˜Mν(˜Nν)|min{|(s_(˜M))μ|,|(s_(˜N))μ|}.

    Remark 5.2. The lower bound of ˜ρ˜μ,˜ν˜M˜N is different from the upper bound of ˜ρ˜μ,˜ν˜M˜N, and the roughness measure depends not only on the disturbation fuzzy sets ˜M and ˜N, but also on |(ˉS(˜M))ν|,|(ˉS(˜N))ν|,|(S_(˜M))μ|,|(S_(˜N))μ|, and |ˉX˜Mν(˜Nν)|.

    Remark 5.3. In the study of the disturbed fuzzy set, it is fully understood that the roughness measure of the disturbed fuzzy set is bounded, and often roughness comparison can be made by roughly calculating the roughness measure limit of the disturbed fuzzy set, which can greatly reduce the calculation amount.

    In the previous section, it has been proved that the roughness measure of perturbed fuzzy sets is bounded, but the bound of the roughness measure of disturbed fuzzy sets can be fully applied in practical problems. Next, the superiority of the theory proposed in this paper is demonstrated more clearly through a practical application of grouping different students in a competition, as shown in Tables 15.

    Table 1.  Assessment table of students' mathematical language ability level.
    Student 1 Student 2 Student 3 Student 4 Student 5 Student 6
    ˜M (0.80,0.09) (0.30,0.01) (0.66,0.06) (0.61,0.23) (0.43,0.05) (0.60,0.10)
    ˜N (0.80,0.09) (0.75,0.21) (0.45,0.08) (0.70,0.09) (0.64,0.03) (0.50,0.14)

     | Show Table
    DownLoad: CSV
    Table 2.  Mathematical and verbal approximations of disturbed fuzzy sets caused by A classification.
    Student 1 Student 2,Student 3,Student 5 Student 4,Student 6
    S_(˜M) (0.80,0.09) (0.30,0.06) (0.60,0.23)
    S_(˜N) (0.66,0.03) (0.45,0.21) (0.50,0.14)
    ˉS(˜N) (0.66,0.03) (0.75,0.03) (0.70,0.09)

     | Show Table
    DownLoad: CSV
    Table 3.  Approximate values of the intersection and union of mathematical and verbal disturbed fuzzy sets caused by A class classification.
    Student 1 Student 2,Student 3,Student 5 Student 4,Student 6
    S_(˜M˜N) (0.80,0.03) (0.64,0.06) (0.60,0.09)
    ˉS(˜M˜N) (0.66,0.09) (0.75,0.01) (0.70,0.01)
    S_(˜M˜N) (0.66,0.09) (0.30,0.21) (0.50,0.23)
    ˉS(˜M˜N) (0.66,0.09) (0.45,0.05) (0.61,0.14)

     | Show Table
    DownLoad: CSV
    Table 4.  Mathematical and verbal approximations of disturbed fuzzy sets caused by B classification.
    Student 1,Student 4 Student 2,Student 5 Student 3,Student 6
    S_(˜M) (0.61,0.23) (0.30,0.05) (0.60,0.10)
    ˉS(˜M) (0.80,0.09) (0.43,0.01) (0.66,0.06)
    S_(˜N) (0.66,0.09) (0.64,0.21) (0.45,0.14)
    ˉS(˜N) (0.70,0.03) (0.75,0.03) (0.50,0.08)

     | Show Table
    DownLoad: CSV
    Table 5.  Approximate values of the intersection and union of mathematical and verbal disturbed fuzzy sets caused by B class classification.
    Student 1,Student 4 Student 2,Student 5 Student 3,Student 6
    S_(˜M˜N) (0.70,0.09) (0.64,0.03) (0.60,0.10)
    ˉS(˜M˜N) (0.80,0.03) (0.75,0.01) (0.66,0.06)
    S_(˜M˜N) (0.61,0.23) (0.30,0.21) (0.45,0.14)
    ˉS(˜M˜N) (0.66,0.09) (0.43,0.05) (0.50,0.08)

     | Show Table
    DownLoad: CSV

    Example 6.1. Due to receiving the notice that our province will soon hold a student learning competition to test the learning ability of two subjects of mathematics and Chinese, the school will send 6 students to participate in the competition. It is known that each student's ability level assessment of mathematics and Chinese constitutes a disturbance fuzzy set. The school will formulate two combinations, respectively,

    A:{{student1},{student2,student3,student5},{student4,student6}},
    B:{{student1,student4},{student2,student5},{student3,student6}}.

    If you want to know which combination is more likely to win, set parameter

    (0.00,0.00)<μ=ν(0.60,0.10),

    (in real life, people usually think that 60 is a passing grade on a 100-point scale, and the parameter selection of different practical questions will be different). Table 1 is the assessment table of students' mathematical and language ability levels. The mathematics of disturbed fuzzy sets and the language of disturbed fuzzy sets are represented by ˜M and ˜N, respectively.

    So, according to Definition 3.4 and Tables 2 and 4,

    ˜ρ˜μ,˜ν˜M(A)=1|S_(˜M)˜μ||ˉS(˜M)˜ν|=116=56,˜ρ˜μ,˜ν˜N(A)=1|S_(˜N)˜μ||ˉS(˜N)˜ν|=116=56, (6.1)
    ˜ρ˜μ,˜ν˜M(B)=1|S_(˜M)˜μ||ˉS(˜M)˜ν|=124=12,˜ρ˜μ,˜ν˜N(B)=1|S_(˜N)˜μ||ˉS(˜N)˜ν|=124=12. (6.2)

    From Theorems 5.1–5.4, it follows

    ˜ρ˜μ,˜ν˜M˜N(A)˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+U=203, (6.3)
    ˜ρ˜μ,˜ν˜M˜N(A)11˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N+˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜NI(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N)=1718, (6.4)
    ˜ρ˜μ,˜ν˜M˜N(B)˜ρ˜μ,˜ν˜M+˜ρ˜μ,˜ν˜N1+U=3, (6.5)
    ˜ρ˜μ,˜ν˜M˜N(B)11˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N+˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜N2˜ρ˜μ,˜ν˜M˜ρ˜μ,˜ν˜NI(1˜ρ˜μ,˜ν˜M)(1˜ρ˜μ,˜ν˜N)=67, (6.6)

    and to sum up,

    1718˜ρ˜μ,˜ν˜M˜N(A)203,3˜ρ˜μ,˜ν˜M˜N(B)67.

    Obviously, the roughness of B classification is smaller.

    If the traditional disturbation fuzzy set roughness measure calculation method is

    ˜ρμ,ν˜M˜N=1|(S_(˜M˜N))μ||(ˉS(˜M˜N))ν|=1|(S_(˜M))μ(S_(˜N))μ||(ˉS(˜M˜N))ν|, (7.1)

    we need to calculate the number of equivalence classes after the intersection of (S_(˜M))μ and (S_(˜N))μ.

    In Tables 3 and 5, the approximate values of the mathematical and verbal intersection of the disturbed fuzzy set caused by A classification and B classification are listed, respectively. It can be seen that the traditional method is more complicated to calculate. However, it can be seen from the example that using the method proposed in this paper to avoid complex calculation can effectively improve the work efficiency. This paper only lists 2 classification methods for 6 students. In practical problems, there may be tens of thousands of students' classification methods, etc. Therefore, when the sample size is large, the roughness measurement boundary of the disturbation fuzzy set proposed in this paper will greatly reduce the workload in operation. In practical problems with large datasets, such as when we need to do data mining, bioinformatics, cybersecurity, natural language processing, etc., the sample size is often huge. Therefore, it is usually better to determine the range of roughness first and then calculate in a small range.

    First, this work effectively solves the problem that the execution subsets are not equal sets, which hindrances the quantitative study of disturbed fuzzy sets.

    Second, through quantitative research, the new properties of the disturbation fuzzy set operation and the boundary of the roughness of the disturbation fuzzy set are established effectively, which can effectively reduce the workload in the operation when the actual data capacity is huge.

    This paper proposes and proves that the roughness measure of the disturbed fuzzy set is bounded. In practical application, a full understanding of the roughness measure boundary of the disturbed fuzzy set can effectively avoid unnecessary computing space and greatly improve work efficiency. However, the roughness measurement of disturbed fuzzy sets depends on the choice of parameter μ,ν. The roughness measurement of disturbed fuzzy sets without parameters will be further explored in future work.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This work was supported by the National Natural Science Foundation of China (No. 61603055).

    Li Li: responsible for the planning, design and implementation of the research, providing financial and technical support. Hangyu Shi: designed research methods, processed and analyzed data, performed theorem proving, and wrote the first draft of the paper. Xiaona Liu: assisted in paper analysis and verification, and participated in paper revision. Jingjun Shi: provide partial data and coordinate the study as a whole.

    The authors declare no conflicts of interest.



    [1] J. Benítez, E. Boasso, H. W. Jin, On one-sided (B,C)-inverses of arbitrary matrices, Electron. J. Linear Al., 32 (2017), 391–422. https://doi.org/10.48550/arXiv.1701.09054 doi: 10.48550/arXiv.1701.09054
    [2] E. Boasso, G. Kantún-Montiel, The (b,c)-inverses in rings and in the Banach context, Mediterr, Mediterr. J. Math., 14 (2017), 21 pages. http://dx.doi.org/10.1007/s00009-017-0910-1
    [3] O. M. Baksalary, G. Trenkler, Core inverse of matrices, Linear Multilinear A., 58 (2010), 681–697. http://dx.doi.org/10.1080/03081080902778222 doi: 10.1080/03081080902778222
    [4] X. F. Cao, Y. Y. Huang, X. Hua, T. Y. Zhao, S. Z. Xu, Matrix inverses along the core parts of three matrix decompositions, AIMS Math., 8 (2023), 30194–30208. http://dx.doi.org/ 10.3934/math.20231543 doi: 10.3934/math.20231543
    [5] J. L. Chen, D. Mosić, S. Z. Xu, On a new generalized inverse for Hilbert space operators, Quaest. Math., 43 (2020), 1331–1348. http://dx.doi.org/10.2989/16073606.2019.1619104 doi: 10.2989/16073606.2019.1619104
    [6] M. P. Drazin, Pseudo-inverses in associative rings and semigroup, Am. Math. Mon., 65 (1958), 506–514. http://dx.doi.org/10.1080/00029890.1958.11991949 doi: 10.1080/00029890.1958.11991949
    [7] M. P. Drazin, A class of outer generalized inverses, Linear Algebra Appl., 43 (2012), 1909–1923. https://doi.org/10.1016/j.laa.2011.09.004 doi: 10.1016/j.laa.2011.09.004
    [8] M. P. Drazin, Left and right generalized inverses, Linear Algebra Appl., 510 (2016), 64–78. https://dx.doi.org/10.1016/j.laa.2016.08.010 doi: 10.1016/j.laa.2016.08.010
    [9] D. E. Ferreyra, F.. Levis, N. Thome, Characterizations of k-commutative equalities for some outer generalized inverses, Linear Multilinear A., 68 (2020), 177–192. https://dx.doi.org/10.1080/03081087.2018.1500994 doi: 10.1080/03081087.2018.1500994
    [10] D. E. Ferreyra, S. B. Malik, The m-weak core inverse, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM, 118 (2024), 17 pages. https://dx.doi.org/10.1007/s13398-023-01539-y
    [11] Y. Y. Ke, J. Višnjić, J. L. Chen, One sided (b,c)-inverse in rings, Filomat, 34 (2020), 727–736. https://doi.org/10.2298/FIL2003727K doi: 10.2298/FIL2003727K
    [12] E. H. Moore, On the reciprocal of the general algebraic matrix, Bull. Amer. Math. Soc., 26 (1920), 394–395.
    [13] K. Manjunatha Prasad, K. S. Mohana, Core-EP inverse, Linear Multilinear A., 62 (2014), 792–804. https://doi.org/10.1080/03081087.2013.791690 doi: 10.1080/03081087.2013.791690
    [14] M. Mehdipour, A. Salemi, On a new generalized inverse of matrices, Linear Multilinear A., 66 (2018), 1046–1053. https://doi.org/10.1080/03081087.2017.1336200 doi: 10.1080/03081087.2017.1336200
    [15] S. B. Malik, N. Thome, On a new generalized inverse for matrices of an arbitrary index, Appl. Math. Comput., 226 (2014), 575–580. http://dx.doi.org/10.1016/j.amc.2013.10.060 doi: 10.1016/j.amc.2013.10.060
    [16] R. Penrose, A generalized inverse for matrices, Proc. Cambridge Philos. Soc., 51 (1955), 406–413. http://dx.doi.org/10.1017/S0305004100030401 doi: 10.1017/S0305004100030401
    [17] D. S. Rakić, A note on Rao and Mitra's constrained inverse and Drazin's (b, c) inverse, Linear Algebra Appl., 523 (2017), 102–108. https://doi.org/10.1016/j.laa.2017.02.025 doi: 10.1016/j.laa.2017.02.025
    [18] H. X. Wang, Core-EP decomposition and its applications, Linear Algebra Appl., 508 (2016), 289–300. https://doi.org/10.1016/j.laa.2016.08.008 doi: 10.1016/j.laa.2016.08.008
    [19] H. X. Wang, J. L. Chen, Weak group inverse, Open Math., 16 (2018), 1218–1232. http://dx.doi.org/10.1515/math-2018-0100 doi: 10.1515/math-2018-0100
    [20] S. Z. Xu, J. L. Chen, J. Benítez, Dingguo Wang, Generalized core inverse of matrices, Miskolc Math. Notes, 20 (2019), 565–584. http://dx.doi.org/10.18514/MMN.2019.2594 doi: 10.18514/MMN.2019.2594
    [21] S. Z. Xu, H. X. Wang, J. L. Chen, X. F. Chen, T. W. Zhao, Generalized WG inverse, J. Algebra Appl., 20 (2021), 2150072(12 pages). https://doi.org/10.1142/S0219498821500729
    [22] Y. K. Zhou, J. L. Chen, M. M. Zhou, m-weak group inverses in a ring with involution, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM, 115 (2021), 13 pages. https://doi.org/10.1007/s13398-020-00932-1
  • This article has been cited by:

    1. Li Li, Jin Yang, Disturbing Fuzzy Multi-Attribute Decision-Making Method with If Weight Information Is Disturbing Fuzzy Number, 2024, 12, 2227-7390, 1225, 10.3390/math12081225
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(767) PDF downloads(31) Cited by(0)

Figures and Tables

Figures(1)  /  Tables(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog