零模關于一致模的條件分配性方程

侯曉東 張繼鵬

（泰山科技學院 數理教學部，山東 泰安 271000）

聚合算子廣泛應用于多個領域，如：人工智能、信息融合及決策理論。條件分配性[1-8]作為兩個聚合算子之間的一個重要性質，極具研究價值。作為信息論最優化中比較直接的應用，偽分析通常要求算子之間要滿足一定的條件分配性方程[9，10]。

一致模和零模作為三角模、三角余模的兩種推廣，研究領域如：不同類一致模的結構、特征刻畫、有關的吸收方程以及函數方程等。文獻[9，10]研究了零模關于一致模的條件分配性方程：

F（x，U（y，z））=U（F（x，y），F（x，z）），x、y、z∈[0，1]，0

關于零模F 關于一致模U的條件分配性方程：

F（x，U（y，z））=U（F（x，y），F（x，z）），x、y、z∈[0，1]，0

文獻[11]已給出取小、取大一致模時的完整解。在此基礎上，本文討論帶有連續、阿基米德基礎算子的一致模類的條件分配性方程。

1 預備知識

本節給出文中涉及到的概念及結論。

定義1：若二元函數U:[0，1]2→[0，1]，對于任意x、y、z∈[0，1]滿足下列條件：

（1）U（x，y）=U（y，x）， （交換性）

（2）U（x，U（y，z））=U（U（x，y），z）， （結合性）

（3）U（x，y）≤U（x，z），y≤z （單調性）

（4）U（e，x）=x， （單位元e∈[0，1]）

稱U為一致模，e 為一致模U的單位元。當e=1 時，一致U退化為三角模T；當e=0 時，一致模U退化為三角余模S。若U為帶有單位元e∈]0，1[的一致模，根據定義可構造二元函數TU、SU:[0，1]2→[0，1]:[12]：

分別記公式（1）中的一致模為Umin，公式（2）中的一致模為Umax。

定理3：設U是帶有單位元e∈]0，1[的一致模。TU與SU均為嚴格的，則下列之一成立：

（i）U∈Umin；（ii）U∈Umax；（iii）U是可表示一致模；

定理4：設U是帶有單位元e∈]0，1[的一致模。TU為嚴格的，SU為冪零的，則下列之一成立：

（i）U∈Umin；（ii）U∈Umax；

定理5：設U是帶有單位元e∈]0，1[的一致模。TU為冪零的，SU為嚴格的，則下列之一成立：

（i）U∈Umin；（ii）U∈Umax；

定理6：設U是帶有單位元e∈]0，1[的一致模。TU與SU均為冪零的，則下列之一成立：

（ii）U∈Umin；（ii）U∈Umax。

下面介紹零模的概念及相關結論。

定義7[13]：設二元函數F:[0，1]2→[0，1]，滿足交換性、結合性、非遞減性，并且存在吸收元k∈[0，1]，即：

F（k，x）=k，x∈[0，1]，F（0，x）=k，其中x≤k；F（1，x）=k，其中x≥k；

稱F 為零模。顯然，當k=0 時，零模F 退化為三角模T；當k=1時，零模F 退化為三角余模T。

定理2.12[13]：設F 是帶有吸收元k∈]0，1[的零模，則F 的結構如下：

其中：T為三角模，S為三角余模。

2 主要結論

基于具有連續基礎算子的一致模，在給定基礎算子類型的條件下研究方程：

F（x，U（y，z））=U（F（x，y），F（x，z）），x、y、z [0，1]，0

討論如下三種情況：TU和SU為冪等的或者阿基米德的；TU=min 且SU為連續的；

TU為連續的且SU=max。

定理2.1：設F 是帶有吸收元k∈]0，1[的連續零模，一致模U具有連續基礎三角模TU和基礎三角余模SU，單位元e∈]0，1[。若連續零模F 與一致模U滿足條件分配性方程：

F（x，U（y，z））=U（F（x，y），F（x，z）），x、y、z [0，1]，0

（i）e

其中：T2*是連續三角模，T2**是嚴格三角模，S2*和S2**是連續三角余模，S*是冪零三角余模，并且冪零三角余模S*中滿足s（1）=1的加法生成子也是嚴格三角模T2**的乘法生成子。

（iii）e

因此，e 是零模F 的冪等元，從而其基礎三角余模SF具有序和結構。

②區間[e，k]是一致模U的冪等元。令x∈]0，1[，y=z=e，代入（3）得

F（x，e）=F（x，U（e，e））=U（F（x，e），F（x，e））。

由于F 是連續的，{F（x，e）:x∈[0，1]}=[e，k]均是U的冪等元。所以，SU具有序和結構，對任意的（x，y）∈[0，e]2]k，1]2，有U（x，y）=max（x，y）。

由于TU=min，所以對任意的（x，y）∈[0，e]2，有U（x，y）=min（x，y），SF是連續三角余模。

③接下來討論當（x，y）∈[k，1]2時，零模F 和一致模U 的結構。若存在a∈]k，1[是U的冪等元，則對任意的x∈]k，1[，有

F（x，a）=F（x，U（a，a））=U（F（x，a），F（x，a）），

由于F 是連續的，{F（x，a）:x∈[k，1]}=[k，a]都是U的冪等元。

若a=1，則x∈[k，1]是U 的冪等元：任意的（x，y）∈[e，1]2，有SU（x，y）=max（x，y）。由于任意的三角模都關于SU（x，y）=max（x，y）分配，所以TF為任意連續三角模。

若存在一致模U的最大非平凡冪等元a<1，則（ii）成立。

反之，通過計算得知：若零模F 和一致模U具有上述定理中的任何一種形式，則（3）顯然成立。同理可證其它結論成立。

3 結論

本文討論一類連續零模關于一致模的條件分配性方程，其中U為帶有連續阿基米德基礎算子的一致模。我們證明了基礎三角余模TU=min 和基礎三角余模SU=max時方程的非空解。在未來的工作中，我們計劃討論上述結論效用理論中的應用[13]。