Open Access
This article is

- freely available
- re-usable

*Axioms*
**2017**,
*6*(1),
5;
https://doi.org/10.3390/axioms6010005

Article

Kullback-Leibler Divergence and Mutual Information of Experiments in the Fuzzy Case

Department of Mathematics, Faculty of Natural Sciences, Constantine the Philosopher University in Nitra, A. Hlinku 1, SK-949 01 Nitra, Slovakia

Academic Editor:
Humberto Bustince

Received: 30 January 2017 / Accepted: 1 March 2017 / Published: 3 March 2017

## Abstract

**:**

The main aim of this contribution is to define the notions of Kullback-Leibler divergence and conditional mutual information in fuzzy probability spaces and to derive the basic properties of the suggested measures. In particular, chain rules for mutual information of fuzzy partitions and for Kullback-Leibler divergence with respect to fuzzy P-measures are established. In addition, a convexity of Kullback-Leibler divergence and mutual information with respect to fuzzy P-measures is studied.

Keywords:

fuzzy probability space; fuzzy partition; Shannon’s entropy; Kullback-Leibler divergence; mutual information; conditional mutual information## 1. Introduction

The notion of $\sigma -$algebra S of random events and the concept of probability space $(\Omega ,S,P)$ are a basis of the classical Kolmogorov probability theory [1]. A probability P is a normalized measure defined on the $\sigma -$algebra S. The event in classical probability theory is understood as an exactly and clearly defined phenomenon and, from a mathematical point of view, it is a classical, ordinary set. Consider a finite measurable partition $A$ of $(\Omega ,S,P)$ with probabilities ${p}_{1},\dots ,{p}_{n}$ of the corresponding elements of $A$. We recall that the Shannon entropy [2] of $A$ is the number $H(A)=-{\displaystyle {\sum}_{i=1}^{n}F\left({p}_{i}\right)}$, where the function $F:[0,\infty )\to \Re $ is defined by $F(x)=-x\mathrm{log}x$ if $x>0$ and $F(0)=0$. In [3], we have generalized this notion to situations when the considered probability space is a fuzzy probability space $(\Omega ,M,\mu )$ defined by Piasecki [4]. Instead of probability P it is considered a fuzzy P-measure $\mu $ defined on a fuzzy $\sigma -$algebra M of fuzzy subsets of $\Omega $. Recall that by a fuzzy subset f of a non-empty set $\Omega $ we mean a mapping $f:\Omega \to \left[0,1\right]$ (Zadeh [5]). A fuzzy subset from the fuzzy $\sigma -$algebra M is interpreted as a fuzzy event; the value $\mu (f)$ is interpreted as a probability of fuzzy event $f$. The structure $(\Omega ,M,\mu )$ can serve as an alternative mathematical model of probability theory for the case where the observed events are described unclearly, vaguely, so-called fuzzy events. In [6], the mutual information of fuzzy partitions of a given fuzzy probability space $(\Omega ,M,\mu )$ has been defined. It was shown that the entropy of fuzzy partitions introduced and studied by the author in [3] (see also [7]) can be considered as a special case of their mutual information. The proposed measures are fuzzy analogies of the relevant terms of the classical theory and they can be used whenever it is necessary to know the quantity of information received by the realization of experiments whose results are fuzzy events. Note that in [3] (see also [8]) using the concept of entropy of fuzzy partitions we define the entropy of the fuzzy dynamical system $(\Omega ,M,\mu ,U)$ (where $(\Omega ,M,\mu )$ is a fuzzy probability space and $U:M\to M$ is a measure $\mu $ preserving $\sigma -$homomorphism). Analogies of our results for the case of logical entropy (see, e.g., [9]) are provided in our recently published papers [10,11]. Recall that the logical entropy of the probability distribution $P=({p}_{1},\dots ,{p}_{n})\in {\Re}^{n}$ is defined as the number $h(P)={\displaystyle \sum _{i=1}^{n}{p}_{i}(1-{p}_{i})}$. In [9] the author deals with historical aspects of the logical entropy formula $h(P)$ and investigates the relationship between the logical entropy and Shannon’s entropy. It should be noted that other fuzzy analogies of entropy are presented in [12,13,14,15,16,17,18,19,20,21,22,23,24,25]. It is known that there are many possibilities for defining operations with fuzzy sets; an overview can be found in [26]. While our approach is based on Zadeh’s connectives [5], the authors of the cited papers used other connectives to define the fuzzy set operations.

In classical information theory [27] the mutual information is a special case of a more general quantity called Kullback-Leibler divergence, which was originally introduced by Kullback and Leibler in 1951 [28] as the divergence between two probability distributions. It is discussed in Kullback’s historic text [29]. The Kullback-Leibler divergence is also called by many other different names, as K-L divergence, whether relative entropy, or information gain. It plays an important role, as a mathematical tool, in the stability analysis of master equations [30] and Fokker-Planck equations [31], and in isothermal equilibrium fluctuations and transient nonequilibrium deviations [32] (see also [31,33]).

The main aim of this contribution is to define, using our previous results on this issue, the notion of Kullback-Leibler divergence and conditional mutual information in fuzzy probability spaces and to study properties of the suggested measures. The paper is organized as follows. In the next section, we give the basic definitions and some known facts used in this paper. Our results are presented in Section 3 and Section 4. In Section 3 we extend our study concerning the mutual information of fuzzy partitions. The notion of conditional mutual information of fuzzy partitions is introduced and subsequently chain rules for mutual information of fuzzy partitions are established. We also derive some more properties of this measure, e.g., data processing inequality. In Section 4 we define the Kullback-Leibler divergence and the conditional Kullback-Leibler divergence in fuzzy probability spaces. The basic properties of these measures are proved. Our results are summarized in Section 5.

## 2. Basic Definitions and Facts

We start by recalling some definitions and some known results which will be used in this contribution.

A fuzzy measurable space (Dvurečenskij [34]) is a couple $(\Omega ,M)$, where $\Omega $ is a non-empty set, and M is a fuzzy $\sigma -$algebra of fuzzy subsets of $\Omega $, i.e., $M\subset {\left[0,1\right]}^{\Omega}$ containing ${1}_{\Omega}$, excluding ${\left(1/2\right)}_{\Omega}$, closed under the operation $\perp :f\mapsto {1}_{\Omega}-f$ (i.e., if $f\in M$, then ${f}^{\perp}:={1}_{\Omega}-f\in M$) and countable supremums (i.e., satisfying the implication if ${f}_{n}\in M,n=1,2,\dots $, then ${\cup}_{n=1}^{\infty}{f}_{n}:={\mathrm{sup}}_{n}{f}_{n}\in M$). A fuzzy probability space (Piasecki [4]) is a triplet $(\Omega ,M,\mu )$, where $(\Omega ,M)$ is a fuzzy measurable space and the mapping $\mu :M\to \left[0,\infty \right)$ satisfies the following two conditions: (i) $\mu (f\cup {f}^{\perp})=1$ for all $f\in M;$ (ii) if ${\left\{{f}_{n}\right\}}_{n=1}^{\infty}$ is a sequence of pairwise W-separated fuzzy subsets from M (i.e., ${f}_{i}\le {f}_{j}^{\perp}$ (point wisely) whenever $i\ne j$), then $\mu ({\cup}_{n=1}^{\infty}{f}_{n})$$={\displaystyle {\sum}_{n=1}^{\infty}\mu ({f}_{n})}$.

The symbols ${\cup}_{n=1}^{\infty}{f}_{n}={\mathrm{sup}}_{n}{f}_{n}$ and ${\cap}_{n=1}^{\infty}{f}_{n}:={\mathrm{inf}}_{n}{f}_{n}$ denote the fuzzy union and the fuzzy intersection of a sequence ${\left\{{f}_{n}\right\}}_{n=1}^{\infty}\subset M$, respectively, in the sense of Zadeh [5]. The complement of fuzzy subset f of $\Omega $ is a fuzzy set ${f}^{\perp}$ defined by ${f}^{\perp}(\omega )=1-f(\omega ),\omega \in \Omega $. The following notions were defined by Piasecki in [35]. A fuzzy set $f\in M$ such that $f\ge {f}^{\perp}$ is called a W-universum; a fuzzy set $f\in M$ such that $f\le {f}^{\perp}$ is called a W-empty fuzzy set. It can be proved that a fuzzy event $f\in M$ is a W-universum if and only if there exists a fuzzy event $g\in M$ such that $f=g\cup {g}^{\perp}$. A W-universum is interpreted as a certain event and a W-empty set as an impossible event. W-separated fuzzy events are interpreted as mutually exclusive events. Each mapping $\mu :M\to \left[0,\infty \right)$ having the properties (i) and (ii) is called, in the terminology of Piasecki, a fuzzy P-measure. Any fuzzy P-measure has all properties analogous to properties of a classical probability measure; the proofs and more details can be found in [4]. The monotonicity of fuzzy P-measure $\mu $ implies that this measure transforms M into the interval $\left[0,1\right]$. In the following we will use the following property of fuzzy P-measure $\mu $.

(2.1) Let $g\in M.$ Then $\mu (f\cap g)=\mu (f)$ for all $f\in M$ if and only if $\mu (g)=1$.

Let $g\in M$ such that $\mu (g)>0$. Then the mapping $\mu (\cdot /g):M\to \left[0,1\right]$ defined by the formula
is a fuzzy P-measure on M; it is called a conditional probability.

$$\mu (f/g)=\frac{\mu (f\cap g)}{\mu (g)},f\in M,$$

**Definition 1**

[36]

**.**By a fuzzy partition (of a space $(\Omega ,M,\mu )$) we understand a finite collection $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ of pairwise W-separated fuzzy subsets from M such that $\mu ({\cup}_{i=1}^{n}{f}_{i})=1$.Every fuzzy partition $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ of $(\Omega ,M,\mu )$ represents in the sense of the classical probability theory a random experiment with a finite number of outcomes ${f}_{i},i=1,2,\dots ,n$ (which are fuzzy events) with a probability distribution ${p}_{i}=\mu ({f}_{i})$, $i=1,2,\dots ,n$, since ${p}_{i}\ge 0$ for $i=1,2,\dots ,n$, and $\sum _{i=1}^{n}{p}_{i}}=$ $\sum _{i=1}^{n}\mu ({f}_{i}})$ $=\mu ({\cup}_{i=1}^{n}{f}_{i})=1$. For that reason, we have defined in [3] the entropy of $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ by Shannon’s formula:
where:

$${H}_{\mu}(\xi )=-{\displaystyle {\sum}_{i=1}^{n}F(\mu ({f}_{i})}),$$

$$F:[0,\infty )\to \Re ,F(x)=\{\begin{array}{ll}x\mathrm{log}x,\hfill & \mathrm{if}x0;\hfill \\ 0,\hfill & \mathrm{if}x=0.\hfill \end{array}$$

In accordance with the classical theory the log is to the base 2 and entropy is expressed in bits.

**Definition 2**

[6]
where:
A conditional entropy of $\eta $ assuming a realization of the experiment $\xi $ is defined by the formula:

**.**Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ and $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$ be two fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu ).$ A conditional entropy of $\eta $ given a fuzzy event ${f}_{i}\in \xi $ is defined by:
$${H}_{\mu}(\eta /{f}_{i})=-{\displaystyle {\sum}_{j=1}^{m}F(\dot{\mu}({g}_{j}/{f}_{i}))},$$

$$\dot{\mu}({g}_{j}/{f}_{i})=\{\begin{array}{ll}\mu ({g}_{j}/{f}_{i}),\hfill & if\mu ({f}_{i})0;\hfill \\ 0,\hfill & if\mu ({f}_{i})=0.\hfill \end{array}$$

$${H}_{\mu}(\eta /\xi )=-{\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})\cdot {H}_{\mu}(\eta /{f}_{i})}=-{\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i})\cdot F(\dot{\mu}({g}_{j}/{f}_{i}))}}.$$

In the following, we will use the convention (based on continuity arguments) that $x\mathrm{log}\frac{x}{0}=\infty $ if $x>0$, and $0\mathrm{log}\frac{0}{x}=0$ if $x\ge 0$. It is easy to see that we can rewrite Equation (2) in the following way:

$${H}_{\mu}(\eta /\xi )=-{\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})}}\cdot \mathrm{log}\frac{\mu ({f}_{i}\cap {g}_{j})}{\mu ({f}_{i})}.$$

As in [3] we define in the set of all fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu )$ the relation $\prec $: Let $\xi ,\eta $ be two fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu )$. Then we write $\xi \prec \eta $ (and we say that the fuzzy partition $\eta $ is a refinement of the fuzzy partition $\xi $) iff for every $g\in \eta $ there exists $f\in \xi $ such that $g\le f$. Given two fuzzy partitions $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ and $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$ of a fuzzy probability space $(\Omega ,M,\mu )$, their common refinement $\xi \vee \eta $ is defined as the system $\xi \vee \eta =\{{f}_{i}\cap {g}_{j};i=1,\dots ,n,j=1,\dots ,m\}$. The fuzzy partition $\xi \vee \eta $ represents a joint experiment of experiments $\xi ,\eta $. Evidently, $\xi \prec \xi \vee \eta $ and $\eta \prec \xi \vee \eta $. If ${\xi}_{1},{\xi}_{2},\dots ,{\xi}_{n}$ are fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu )$, then we put ${\vee}_{i=1}^{n}{\xi}_{i}={\xi}_{1}\vee {\xi}_{2}\vee \dots \vee {\xi}_{n}$. Two fuzzy partitions $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ and $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$ of a given fuzzy probability space $(\Omega ,M,\mu )$ are called statistically independent, if $\mu ({f}_{i}\cap {g}_{j})=\mu ({f}_{i})\cdot \mu ({g}_{j})$, for $i=1,2,\dots ,n$, $j=1,2,\dots ,m$.

**Example**

**1.**

Let $\Omega =\left[0,1\right],$ and let $f:\Omega \to \left[0,1\right]$ be defined by $f(\omega )=\omega ,\omega \in \Omega $. Consider a fuzzy measurable space $(\Omega ,M)$, where $M=\left\{{1}_{\Omega},{0}_{\Omega},f,{f}^{\perp},f\cup {f}^{\perp},f\cap {f}^{\perp}\right\}$. Then it is easy to verify that the mapping $\mu :M\to \left[0,1\right]$ defined by the equalities $\mu \left({1}_{\Omega}\right)=\mu (f\cup {f}^{\perp})=1$, $\mu \left({0}_{\Omega}\right)=\mu (f\cap {f}^{\perp})=0$, $\mu (f)=p$, $\mu ({f}^{\perp})=1-p$, where $p\in \left(0,1\right)$, is a fuzzy P-measure and the system $(\Omega ,M,\mu )$ is a fuzzy probability space. The sets $\xi =\left\{f,{f}^{\perp}\right\}$, $\eta =\left\{f\cup {f}^{\perp}\right\}$, $\varsigma =\left\{{1}_{\Omega}\right\}$ are fuzzy partitions of $(\Omega ,M,\mu )$ such that $\varsigma \prec \eta \prec \xi $. We can calculate their entropy: ${H}_{\mu}(\xi )=-p\mathrm{log}p-(1-p)\mathrm{log}(1-p)$, ${H}_{\mu}(\eta )={H}_{\mu}(\varsigma )=0$. This makes sense, because the partitions $\eta $ and $\varsigma $ represent experiments whose results are certain events. In particular, if $p={\scriptscriptstyle \frac{1}{2}}$, then ${H}_{\mu}(\xi )=\mathrm{log}2=1$ bit.

The entropy and the conditional entropy of fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu )$ satisfy all properties analogous to properties of Shannon’s entropy of measurable partitions in the classical case; the proofs can be found in [3,6], respectively. We present some of them. If $\xi ,\eta ,\varsigma $ are fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu )$, then:

- (2.2)
- $\xi \prec \eta $ implies ${H}_{\mu}(\xi )\le {H}_{\mu}(\eta );$
- (2.3)
- ${H}_{\mu}(\eta \vee \varsigma /\xi )={H}_{\mu}(\varsigma /\xi \vee \eta )+{H}_{\mu}(\eta /\xi );$
- (2.4)
- $\xi \prec \eta $ implies ${H}_{\mu}(\xi /\varsigma )\le {H}_{\mu}(\eta /\varsigma );$
- (2.5)
- $\xi \prec \eta $ implies ${H}_{\mu}(\varsigma /\xi )\ge {H}_{\mu}(\varsigma /\eta );$
- (2.6)
- ${H}_{\mu}(\xi /\eta )\le {H}_{\mu}(\xi )$ with the equality if and only if $\xi ,\eta $ are statistically independent;
- (2.7)
- ${H}_{\mu}(\eta \vee \varsigma /\xi )\le {H}_{\mu}(\eta /\xi )+{H}_{\mu}(\varsigma /\xi );$
- (2.8)
- ${H}_{\mu}(\xi \vee \eta )={H}_{\mu}(\xi )+{H}_{\mu}(\eta /\xi ).$

**Definition 3**

[6]

**.**Let $\xi ,\eta $ be two fuzzy partitions of a given fuzzy probability space $(\Omega ,M,\mu ).$ The mutual information of $\xi $ and $\eta $ is defined by the formula:
$${I}_{\mu}(\xi ,\eta )={H}_{\mu}(\xi )-{H}_{\mu}(\xi /\eta ).$$

As a simple consequence of (2.8) we have:

$${I}_{\mu}(\xi ,\eta )={H}_{\mu}(\xi )+{H}_{\mu}(\eta )-{H}_{\mu}(\xi \vee \eta ).$$

It is evident that ${I}_{\mu}(\xi ,\xi )={H}_{\mu}(\xi )$, and ${I}_{\mu}(\xi ,\eta )$ = ${I}_{\mu}(\eta ,\xi )$. Hence, we can write:

$${I}_{\mu}(\xi ,\eta )={H}_{\mu}(\eta )-{H}_{\mu}(\eta /\xi ).$$

The proofs of the following two theorems can be found in [6].

**Theorem 1**

[6]

**.**Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ and $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$ be two fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu ).$ Then:
$${I}_{\mu}(\xi ,\eta )={\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})\mathrm{log}\frac{\mu ({f}_{i}\cap {g}_{j})}{\mu ({f}_{i})\cdot \mu ({g}_{j})}}}.$$

**Theorem 2**

[6]

**.**${I}_{\mu}(\xi ,\eta )\ge 0$ with the equality if and only if $\xi ,\eta $ are statistically independent.## 3. Mutual Information and Conditional Mutual Information in Fuzzy Probability Spaces

In this section by using our previous results we introduce the notion of conditional mutual information in fuzzy probability spaces. We derive chain rules for mutual information of fuzzy partitions and we will prove some more properties concerning these measures.

**Definition**

**4.**

Let $\xi ,\eta ,\varsigma $ be fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu ).$ Then the conditional mutual information of $\xi $ and $\eta $ given $\varsigma $ is defined by the formula:

$${I}_{\mu}(\xi ,\eta /\varsigma )={H}_{\mu}(\xi /\varsigma )-{H}_{\mu}(\xi /\eta \vee \varsigma ).$$

**Remark**

**1.**

Since, according to (2.5), we have ${H}_{\mu}(\xi /\varsigma )\ge {H}_{\mu}(\xi /\eta \vee \varsigma ),$ for the conditional mutual information the inequality ${I}_{\mu}(\xi ,\eta /\varsigma )\ge 0$ holds.

**Theorem**

**3.**

For fuzzy partitions $\xi ,\eta ,\varsigma $ of a fuzzy probability space $(\Omega ,M,\mu ),$ it holds:

$${I}_{\mu}(\xi ,\eta \vee \varsigma )={I}_{\mu}(\xi ,\eta )+{I}_{\mu}(\xi ,\varsigma /\eta )={I}_{\mu}(\xi ,\varsigma )+{I}_{\mu}(\xi ,\eta /\varsigma ).$$

**Proof.**

By simple calculation we obtain:
Analogously we obtain the second equality. □

$$\begin{array}{c}{I}_{\mu}(\xi ,\eta )+{I}_{\mu}(\xi ,\varsigma /\eta )={H}_{\mu}(\xi )-{H}_{\mu}(\xi /\eta )+{H}_{\mu}(\xi /\eta )-{H}_{\mu}(\xi /\eta \vee \varsigma )\\ ={H}_{\mu}(\xi )-{H}_{\mu}(\xi /\eta \vee \varsigma )={I}_{\mu}(\xi ,\eta \vee \varsigma ).\end{array}$$

Let $\xi ,\eta $ be fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu )$. Denote ${\xi}_{0}=\left\{{1}_{\Omega}\right\}$. Evidently, we have ${\xi}_{0}\vee \xi =\xi $, and ${H}_{\mu}(\xi /{\xi}_{0})={H}_{\mu}(\xi )$. Hence, we can write:

$${I}_{\mu}(\xi ,\eta /{\xi}_{0})={H}_{\mu}(\xi /{\xi}_{0})-{H}_{\mu}(\xi /\eta \vee {\xi}_{0})={H}_{\mu}(\xi )-{H}_{\mu}(\xi /\eta )={I}_{\mu}(\xi ,\eta ).$$

**Theorem 4**(Chain rules)

**.**

Let ${\xi}_{1},{\xi}_{2},\dots ,{\xi}_{n}$ and $\eta $ be fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu ).$ Then, for $n=1,2,\dots ,$ the following equalities hold:

- (i)
- ${H}_{\mu}({\xi}_{1}\vee {\xi}_{2}\vee \dots \vee {\xi}_{n})=$${\sum}_{i=1}^{n}{H}_{\mu}}({\xi}_{i}/{\vee}_{k=0}^{i-1}{\xi}_{k});$
- (ii)
- ${H}_{\mu}({\vee}_{i=1}^{n}{\xi}_{i}/\eta )$$={\displaystyle {\sum}_{i=1}^{n}{H}_{\mu}}({\xi}_{i}/({\vee}_{k=0}^{i-1}{\xi}_{k})\vee \eta );$
- (iii)
- ${I}_{\mu}({\vee}_{i=1}^{n}{\xi}_{i},\eta )=$${\sum}_{i=1}^{n}{I}_{\mu}}({\xi}_{i},\eta /{\vee}_{k=0}^{i-1}{\xi}_{k}).$

**Proof.**

The first two equalities may be obtained using the principle of mathematical induction from the properties (2.8) and (2.3). By Equation (4), using the two previous equalities and Equation (7), we obtain:

$${I}_{\mu}({\vee}_{i=1}^{n}{\xi}_{i},\eta )={H}_{\mu}({\vee}_{i=1}^{n}{\xi}_{i})-{H}_{\mu}({\vee}_{i=1}^{n}{\xi}_{i}/\eta )\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}{H}_{\mu}}({\xi}_{i}/{\vee}_{k=0}^{i-1}{\xi}_{k})-{\displaystyle {\sum}_{i=1}^{n}{H}_{\mu}}({\xi}_{i}/({\vee}_{k=0}^{i-1}{\xi}_{k})\vee \eta )\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}({H}_{\mu}}({\xi}_{i}/{\vee}_{k=0}^{i-1}{\xi}_{k})-{H}_{\mu}({\xi}_{i}/({\vee}_{k=0}^{i-1}{\xi}_{k})\vee \eta ))={\displaystyle {\sum}_{i=1}^{n}{I}_{\mu}}({\xi}_{i},\eta /{\vee}_{k=0}^{i-1}{\xi}_{k}).\square $$

**Definition**

**5.**

Let $\xi ,\eta ,\varsigma $ be fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu ).$ We say that $\xi $ is conditionally independent to $\varsigma $ given $\eta $ (and write $\xi \to \eta \to \varsigma $) if ${I}_{\mu}(\xi ,\varsigma /\eta )=0.$

**Theorem**

**5.**

For fuzzy partitions $\xi ,\eta ,\varsigma $ of a fuzzy probability space $(\Omega ,M,\mu ),$ it holds:

$$\xi \to \eta \to \varsigma \mathit{if}\mathit{and}\mathit{only}\mathit{if}\varsigma \to \eta \to \xi .$$

**Proof.**

Let $\xi \to \eta \to \varsigma .$ Then:
and according to the property (2.8) we can write:

$$0={I}_{\mu}(\xi ,\varsigma /\eta )={H}_{\mu}(\xi /\eta )-{H}_{\mu}(\xi /\eta \vee \varsigma ),$$

$${H}_{\mu}(\xi /\eta )={H}_{\mu}(\xi /\eta \vee \varsigma )={H}_{\mu}(\xi \vee \eta \vee \varsigma )-{H}_{\mu}(\eta \vee \varsigma ).$$

Calculate:

$${I}_{\mu}(\varsigma ,\xi /\eta )={H}_{\mu}(\varsigma /\eta )-{H}_{\mu}(\varsigma /\xi \vee \eta )\phantom{\rule{0ex}{0ex}}={H}_{\mu}(\varsigma \vee \eta )-{H}_{\mu}(\eta )-{H}_{\mu}(\xi \vee \eta \vee \varsigma )+{H}_{\mu}(\xi \vee \eta )\phantom{\rule{0ex}{0ex}}={H}_{\mu}(\xi \vee \eta )-{H}_{\mu}(\eta )-{H}_{\mu}(\xi /\eta )={H}_{\mu}(\xi /\eta )-{H}_{\mu}(\xi /\eta )=0.$$

It follows that $\varsigma \to \eta \to \xi $. The opposite implication is obvious. □

According to Theorem 5, we may say that $\xi $ and $\varsigma $ are conditionally independent given $\eta $ and write $\xi \leftrightarrow \eta \leftrightarrow \varsigma $ instead of $\xi \to \eta \to \varsigma $.

**Theorem**

**6.**

For fuzzy partitions $\xi ,\eta ,\varsigma $ of a fuzzy probability space $(\Omega ,M,\mu )$ such that $\xi \to \eta \to \varsigma ,$ we have:

- (i)
- ${I}_{\mu}(\xi \vee \eta ,\varsigma )=$${I}_{\mu}(\eta ,\varsigma );$
- (ii)
- ${I}_{\mu}(\eta ,\varsigma )=$${I}_{\mu}(\xi ,\varsigma )+$${I}_{\mu}(\varsigma ,\eta /\xi );$
- (iii)
- ${I}_{\mu}(\xi ,\eta /\varsigma )\le $${I}_{\mu}(\xi ,\eta );$
- (iv)
- ${I}_{\mu}(\xi ,\eta )\ge {I}_{\mu}(\xi ,\varsigma ).$

**Proof.**

- (i)
- Since by the assumption ${I}_{\mu}(\xi ,\varsigma /\eta )=0,$ using the chain rule for logical mutual information, we obtain:$${I}_{\mu}(\xi \vee \eta ,\varsigma )={I}_{\mu}(\eta \vee \xi ,\varsigma )={I}_{\mu}(\eta ,\varsigma )+{I}_{\mu}(\xi ,\varsigma /\eta )={I}_{\mu}(\eta ,\varsigma ).$$
- (ii)
- According to Theorem 3 we have ${I}_{\mu}(\xi \vee \eta ,\varsigma )=$${I}_{\mu}(\varsigma ,\xi )+$${I}_{\mu}(\varsigma ,\eta /\xi )$. Hence, using the equality (i) of this theorem, we obtain:$${I}_{\mu}(\eta ,\varsigma )={I}_{\mu}(\xi \vee \eta ,\varsigma )={I}_{\mu}(\varsigma ,\xi )+{I}_{\mu}(\varsigma ,\eta /\xi ).$$
- (iii)
- Since ${I}_{\mu}(\xi ,\eta )\ge 0,$ from (ii) it follows the inequality:$${I}_{\mu}(\varsigma ,\eta /\xi )\le {I}_{\mu}(\varsigma ,\eta ).$$By Theorem 5 we can interchange $\xi $ and $\varsigma $. Doing so we obtain ${I}_{\mu}(\xi ,\eta /\varsigma )\le $${I}_{\mu}(\xi ,\eta )$.
- (iv)
- By Theorem 3, the mutual information ${I}_{\mu}(\xi ,\eta \vee \varsigma )$ can be expressed in two different ways:$$\begin{array}{c}{I}_{\mu}(\xi ,\eta \vee \varsigma )={I}_{\mu}(\xi ,\eta )+{I}_{\mu}(\xi ,\varsigma /\eta )\\ ={I}_{\mu}(\xi ,\varsigma )+{I}_{\mu}(\xi ,\eta /\varsigma ).\end{array}$$Since $\xi \to \eta \to \varsigma $, we have ${I}_{\mu}(\xi ,\varsigma /\eta )=0$, and, therefore, it holds ${I}_{\mu}(\xi ,\eta )={I}_{\mu}(\xi ,\eta \vee \varsigma )$. Using the second equality, we obtain:$${I}_{\mu}(\xi ,\eta )={I}_{\mu}(\xi ,\eta \vee \varsigma )={I}_{\mu}(\xi ,\varsigma )+{I}_{\mu}(\xi ,\eta /\varsigma ).$$Since ${I}_{\mu}(\xi ,\eta /\varsigma )\ge 0$, we have ${I}_{\mu}(\xi ,\eta )\ge {I}_{\mu}(\xi ,\varsigma )$. □

Note that, in the classical theory, the last assertion from the previous theorem is known as the data processing inequality.

## 4. Kullback-Leibler Divergence with Respect to Fuzzy P-Measures

In this part we define the Kullback-Leibler divergence in fuzzy probability spaces and its conditional version. We prove basic properties of these measures; in particular, Gibb’s inequality. Finally, using the concept of conditional Kullback-Leibler divergence we establish a chain rule for Kullback-Leibler divergence with respect to fuzzy P-measures. In the proofs we use the following known log-sum inequality: for non-negative real numbers ${a}_{1},{a}_{2},\dots ,{a}_{n}$, ${b}_{1},{b}_{2},\dots ,{b}_{n}$, it holds:
with the equality if and only if $\frac{{a}_{i}}{{b}_{i}}$ is constant. Recall that we use the convention that $x\mathrm{log}\frac{x}{0}=\infty $ if $x>0$, and $0\mathrm{log}\frac{0}{x}=0$ if $x\ge 0$.

$$\sum _{i=1}^{n}{a}_{i}\mathrm{log}\frac{{a}_{i}}{{b}_{i}}}\ge ({\displaystyle \sum _{i=1}^{n}{a}_{i}})\mathrm{log}\frac{{\displaystyle {\sum}_{i=1}^{n}{a}_{i}}}{{\displaystyle {\sum}_{i=1}^{n}{b}_{i}}$$

**Definition**

**6.**

Let $\mu ,$ $\nu $ be fuzzy P-measures on a common fuzzy measurable space $(\Omega ,M).$ Then, for any fuzzy partition $\xi $ of fuzzy probability spaces $(\Omega ,M,\mu ),$ $(\Omega ,M,\nu ),$ we define the Kullback-Leibler divergence ${D}_{\xi}(\mu $ ‖ $\nu )$ by:

$${D}_{\xi}(\mu \Vert \nu )={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i}})\mathrm{log}\frac{\mu ({f}_{i})}{\nu ({f}_{i})}.$$

**Remark**

**2.**

The Kullback-Leibler divergence is not a metric in a true sense since it is not symmetric, i.e., the equality ${D}_{\xi}(\mu $ ‖ $\nu )$$={D}_{\xi}(\nu $ ‖ $\mu )$ is not necessarily true (as shown in the example that follows), and does not satisfy the triangle inequality.

**Example**

**2.**

Consider the fuzzy measurable space $(\Omega ,M)$ from Example 1 and the following two fuzzy P-measures $\mu ,\nu $ defined on M: $\mu $ is defined as in Example 1 and $\nu $ is defined in a similar way: $\nu \left({1}_{\Omega}\right)=\nu (f\cup {f}^{\perp})=1,$ $\nu \left({0}_{\Omega}\right)=\nu (f\cap {f}^{\perp})=0,$ $\nu (f)=q,$ $\nu ({f}^{\perp})=1-q,$ where $q\in \left(0,1\right).$ Then, for the fuzzy partition $\xi =\left\{f,{f}^{\perp}\right\},$ we obtain:
If $p=q,$ then ${D}_{\xi}(\mu $ ‖ $\nu )=$${D}_{\xi}(\nu $ ‖ $\mu )=0.$ If $p=\frac{1}{2},$ $q=\frac{1}{3},$ then we have:
and:

$${D}_{\xi}(\mu \Vert \nu )=p\cdot \mathrm{log}\frac{p}{q}+\left(1-p\right)\cdot \mathrm{log}\frac{1-p}{1-q},\mathit{and}{D}_{\xi}(\nu \Vert \mu )=q\cdot \mathrm{log}\frac{q}{p}+\left(1-q\right)\cdot \mathrm{log}\frac{1-q}{1-p}.$$

$${D}_{\xi}(\mu \Vert \nu )=\frac{1}{2}\cdot \mathrm{log}\frac{{\scriptscriptstyle \frac{1}{2}}}{{\scriptscriptstyle \frac{1}{3}}}+\frac{1}{2}\cdot \mathrm{log}\frac{{\scriptscriptstyle \frac{1}{2}}}{{\scriptscriptstyle \frac{2}{3}}}=\frac{1}{2}\cdot \mathrm{log}\frac{3}{2}+\frac{1}{2}\cdot \mathrm{log}\frac{3}{4}=0.084963\mathit{bit}$$

$${D}_{\xi}(\nu \Vert \mu )=\frac{1}{3}\cdot \mathrm{log}\frac{{\scriptscriptstyle \frac{1}{3}}}{{\scriptscriptstyle \frac{1}{2}}}+\frac{2}{3}\cdot \mathrm{log}\frac{{\scriptscriptstyle \frac{2}{3}}}{{\scriptscriptstyle \frac{1}{2}}}=\frac{1}{3}\cdot \mathrm{log}\frac{2}{3}+\frac{2}{3}\cdot \mathrm{log}\frac{4}{3}=0.0817036\mathit{bit}.$$

This means that ${D}_{\xi}(\mu $ ‖ $\nu )\ne $${D}_{\xi}(\nu $ ‖ $\mu ),$ in general.

The following result suggests interpretation of Kullback-Leibler divergence as a measure of how different two fuzzy P-measures (over the same fuzzy partition) are.

**Theorem**

**7.**

Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ be a fuzzy partition of fuzzy probability spaces $(\Omega ,M,\mu )$, $(\Omega ,M,\nu )$. Then ${D}_{\xi}(\mu $ ‖ $\nu )\ge 0$ (Gibb’s inequality) with the equality if and only if $\mu ({f}_{i})=\nu ({f}_{i})$, for $i=1,2,\dots ,n$.

**Proof.**

Putting ${a}_{i}=\mu ({f}_{i})$ and ${b}_{i}=\nu ({f}_{i})$, for $i=1,2,\dots ,n$, in the log-sum inequality, we obtain ${\sum}_{i=1}^{n}{a}_{i}}={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}=\mu ({\cup}_{i=1}^{n}{f}_{i})=1;$ analogously we obtain ${\sum}_{i=1}^{n}{b}_{i}}=1$. Therefore, by Equation (8):
with the equality if and only if $\frac{\mu ({f}_{i})}{\nu ({f}_{i})}=\alpha $ for $i=1,2,\dots ,n$, where $\alpha $ is constant. Taking the sum for all $i=1,2,\dots ,n$, we obtain $\alpha =1$. This means that ${D}_{\xi}(\mu $ ‖ $\nu )=0$ if and only if $\mu ({f}_{i})=\nu ({f}_{i})$, for $i=1,2,\dots ,n$. □

$${D}_{\xi}(\mu \Vert \nu )={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\mathrm{log}\frac{\mu ({f}_{i})}{\nu ({f}_{i})}\phantom{\rule{0ex}{0ex}}\ge \left({\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\right)\mathrm{log}\frac{{\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}}{{\displaystyle {\sum}_{i=1}^{n}\nu ({f}_{i})}}=1\cdot \mathrm{log}\frac{1}{1}=0$$

**Theorem**

**8.**

Let $\mu ,$ $\nu $ be fuzzy P-measures on a common fuzzy measurable space $(\Omega ,M).$ Then, for any fuzzy partition $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ of fuzzy probability spaces $(\Omega ,M,\mu ),$ $(\Omega ,M,\nu ),$ it holds:
where n is the number of members of $\xi $, and $\nu $ is the uniform probability distribution over $\xi $, i.e., $\nu ({f}_{i})={\scriptscriptstyle \frac{1}{n}}$, for $i=1,2,\dots ,n$.

$${H}_{\mu}(\xi )=\mathrm{log}n-{D}_{\xi}(\mu \Vert \nu ),$$

**Proof.**

Calculate:

$${D}_{\xi}(\mu \Vert \nu )={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\mathrm{log}\frac{\mu ({f}_{i})}{\nu ({f}_{i})}={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\mathrm{log}\frac{\mu ({f}_{i})}{{\scriptscriptstyle \frac{1}{n}}}\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\left(\mathrm{log}\mu ({f}_{i})-\mathrm{log}{n}^{-1}\right)\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\mathrm{log}\mu ({f}_{i})+\mathrm{log}n=\mathrm{log}n-{H}_{\mu}(\xi ).\square $$

As a consequence of the previous two theorems we obtain the following property of entropy of fuzzy partitions:

**Corollary**

**1.**

For any fuzzy partition $\xi $ of a fuzzy probability space $(\Omega ,M,\mu ),$ it holds ${H}_{\mu}(\xi )\le \mathrm{log}n,$ where n denotes the number of members of $\xi ,$ with the equality if and only if $\mu $ is the uniform probability distribution over $\xi .$

**Proof.**

Let $\nu $ be the uniform probability distribution over $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$. Then, according to the previous theorem and Gibb’s inequality (Theorem 7) we have:
which implies the inequality ${H}_{\mu}(\xi )\le \mathrm{log}n$, where n is the number of members of $\xi $. Since by Theorem 7 ${D}_{\xi}(\mu $ ‖ $\nu )=0$ if and only if $\mu ({f}_{i})=\nu ({f}_{i})$, for $i=1,2,\dots ,n$, the equality ${H}_{\mu}(\xi )=\mathrm{log}n$ holds if and only if $\mu $ is the uniform probability distribution over $\xi $. □

$$0\le {D}_{\xi}(\mu \Vert \nu )=\mathrm{log}n-{H}_{\mu}(\xi ),$$

In the following, a concavity of entropy ${H}_{\mu}(\xi )$ as a function of $\mu $ and convexity of K-L divergence with respect to fuzzy P-measures are shown. We recall, for the convenience of the reader, the definitions of convex and concave function:

A real-valued function $f$ is said to be convex over an interval $\left[a,b\right]$ if for every ${x}_{1},{x}_{2}\in \left[a,b\right]$ and for any real number $\alpha \in \left[0,1\right]$,

$$f\left(\alpha {x}_{1}+(1-\alpha ){x}_{2}\right)\le \alpha f\left({x}_{1}\right)+(1-\alpha )f\left({x}_{2}\right).$$

A real-valued function $f$ is said to be concave over an interval $\left[a,b\right]$ if for every ${x}_{1},{x}_{2}\in \left[a,b\right]$ and for any real number $\alpha \in \left[0,1\right]$,

$$f\left(\alpha {x}_{1}+(1-\alpha ){x}_{2}\right)\ge \alpha f\left({x}_{1}\right)+(1-\alpha )f\left({x}_{2}\right).$$

**Remark**

**3.**

In the proofs of some of the next assertions, the following known properties are used:

- (i)
- A function $f$ is concave over an interval if and only if the function $-f$ is convex over the interval.
- (ii)
- The sum of two concave functions is itself concave; the sum of two convex functions is itself convex.
- (iii)
- Every real-valued affine function, i.e., each function of the form $f(x)=ax+b,$ $a,b\in \Re ,$ is simultaneously convex and concave.

It is easy to prove the following proposition.

**Proposition**

**1.**

Let ${\mu}_{1},$ ${\mu}_{2}$ be fuzzy P-measures on a given fuzzy measurable space $(\Omega ,M).$ Then, for every real number $\alpha \in \left[0,1\right],$ the mapping $\alpha {\mu}_{1}+(1-\alpha ){\mu}_{2}$ is a fuzzy P-measure on $(\Omega ,M).$

**Theorem 9**(Concavity of entropy)

**.**

Let $\xi $ be a fuzzy partition of fuzzy probability spaces $(\Omega ,M,{\mu}_{1}),$ $(\Omega ,M,{\mu}_{2}).$ Then, for any real number $\alpha \in \left[0,1\right],$ the following inequality holds:

$$\alpha {H}_{{\mu}_{1}}(\xi )+\left(1-\alpha \right){H}_{{\mu}_{2}}(\xi )\le {H}_{\alpha {\mu}_{1}+(1-\alpha ){\mu}_{2}}(\xi ).$$

**Proof.**

Assume that $\xi =\left\{{f}_{1},{f}_{2},\dots ,{f}_{n}\right\}.$ Since the function F is convex, we obtain:
which proves the concavity of entropy ${H}_{\mu}(\xi )$ as a function of fuzzy P-measure $\mu $. □

$$\alpha {H}_{{\mu}_{1}}(\xi )+\left(1-\alpha \right){H}_{{\mu}_{2}}(\xi )=-\alpha {\displaystyle \sum _{i=1}^{n}F\left({\mu}_{1}\left({f}_{i}\right)\right)}-\left(1-\alpha \right){\displaystyle \sum _{i=1}^{n}F\left({\mu}_{2}\left({f}_{i}\right)\right)}\phantom{\rule{0ex}{0ex}}=-{\displaystyle \sum _{i=1}^{n}(\alpha F\left({\mu}_{1}\left({f}_{i}\right)\right)}+\left(1-\alpha \right)F\left({\mu}_{2}\left({f}_{i}\right)\right))\le -{\displaystyle \sum _{i=1}^{n}}F\left(\alpha {\mu}_{1}\left({f}_{i}\right)+\left(1-\alpha \right){\mu}_{2}\left({f}_{i}\right)\right)\phantom{\rule{0ex}{0ex}}=-{\displaystyle \sum _{i=1}^{n}}F\left(\left(\alpha {\mu}_{1}+\left(1-\alpha \right){\mu}_{2}\right)\left({f}_{i}\right)\right)={H}_{\alpha {\mu}_{1}+(1-\alpha ){\mu}_{2}}(\xi ),$$

**Theorem 10**(Convexity of K-L divergence)

**.**

The K-L divergence ${D}_{\xi}(\mu $ ‖ $\nu )$ is convex in the pair $(\mu ,\nu ),$ i.e., for fuzzy P- measures ${\mu}_{1},$ ${\nu}_{1}$ and ${\mu}_{2},$ ${\nu}_{2}$ on a common fuzzy measurable space $(\Omega ,M),$ we have, for any fuzzy partition $\xi $ of fuzzy probability spaces $(\Omega ,M,{\mu}_{i}),$ $(\Omega ,M,{\nu}_{i}),i=1,2,$ and for any real number $\alpha \in \left[0,1\right],$ the following inequality:

$${D}_{\xi}(\alpha {\mu}_{1}+(1-\alpha ){\mu}_{2}\Vert \alpha {\nu}_{1}+(1-\alpha ){\nu}_{2})\le \alpha {D}_{\xi}({\mu}_{1}\Vert {\nu}_{1})+(1-\alpha ){D}_{\xi}({\mu}_{2}\Vert {\nu}_{2}).$$

**Proof.**

Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ be a fuzzy partition of fuzzy probability spaces $(\Omega ,M,{\mu}_{1})$, $(\Omega ,M,{\mu}_{2})$, $(\Omega ,M,{\nu}_{1})$, $(\Omega ,M,{\nu}_{2})$. Fix $i\in \left\{1,2,\dots ,n\right\}$. Putting ${a}_{1}=\alpha {\mu}_{1}({f}_{i})$, ${a}_{2}=(1-\alpha ){\mu}_{2}({f}_{i})$, ${b}_{1}=\alpha {\nu}_{1}({f}_{i})$, ${b}_{2}=(1-\alpha ){\nu}_{2}({f}_{i})$ in the log-sum inequality, we obtain:
Summing these inequalities over all i, we obtain what was claimed. □

$$(\alpha {\mu}_{1}({f}_{i})+(1-\alpha ){\mu}_{2}({f}_{i}))\cdot \mathrm{log}\frac{\alpha {\mu}_{1}({f}_{i})+(1-\alpha ){\mu}_{2}({f}_{i})}{\alpha {\nu}_{1}({f}_{i})+(1-\alpha ){\nu}_{2}({f}_{i})}\phantom{\rule{0ex}{0ex}}\le \alpha {\mu}_{1}({f}_{i})\cdot \mathrm{log}\frac{\alpha {\mu}_{1}({f}_{i})}{\alpha {\nu}_{1}({f}_{i})}+(1-\alpha ){\mu}_{2}({f}_{i})\cdot \mathrm{log}\frac{(1-\alpha ){\mu}_{2}({f}_{i})}{(1-\alpha ){\nu}_{2}({f}_{i}).}$$

**Theorem**

**11.**

Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\}$ and $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$ be two fuzzy partitions of a fuzzy probability space $(\Omega ,M,\mu ).$ Then the mutual information ${I}_{\mu}(\xi ,\eta )$ of $\xi $ and $\eta $ is a concave function of $\mu $ for fixed $\mu ({g}_{j}/{f}_{i}),$ $j=1,2,\dots ,m,$ $i=1,\dots ,n.$ The mutual information ${I}_{\mu}(\xi ,\eta )$ of $\xi $ and $\eta $ is a convex function of $\mu ({g}_{j}/{f}_{i}),$ for fixed $\mu ({f}_{i}),i=1,\dots ,n.$

**Proof.**

Let us prove the first assertion. By Equations (6) and (2) we have:

$${I}_{\mu}(\xi ,\eta )={H}_{\mu}(\eta )-{\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i})\cdot F(\dot{\mu}({g}_{j}/{f}_{i}))}}.$$

Let ${g}_{j}\in M$. Since ${f}_{k}\cap {g}_{j}\le {f}_{k}\le {f}_{l}^{\perp}\le {f}_{l}^{\perp}\cup {g}_{j}^{\perp}={({f}_{l}\cap {g}_{j})}^{\perp}$ whenever $k\ne l$, the system $\{{f}_{1}\cap {g}_{j},\dots ,{f}_{n}\cap {g}_{j}\}$ is a system of pairwise W-separated fuzzy subsets from M. Due to the assumption $\mu ({\cup}_{i=1}^{n}{f}_{i})=1$, the property (2.1) and additivity of the fuzzy P-measure, we get:

$$\mu ({g}_{j})=\mu \left(({\cup}_{i=1}^{n}{f}_{i})\cap {g}_{j}\right)=\mu \left({\cup}_{i=1}^{n}({f}_{i}\cap {g}_{j})\right)={\displaystyle \sum _{i=1}^{n}\mu ({f}_{i}\cap {g}_{j})}={\displaystyle \sum _{i:\mu ({f}_{i})>0}\mu ({f}_{i})\mu ({g}_{j}/{f}_{i})}.$$

This means that, for fixed $\mu ({g}_{j}/{f}_{i})$, $\mu ({g}_{j})$ is a linear function of $\mu ({f}_{i})$. Therefore, ${H}_{\mu}(\eta )$, which is a concave function of $\mu ({g}_{j})$, is a concave function of $\mu ({f}_{i})$. The second term of the difference in Equation (9) is a linear function of $\mu ({f}_{i})$. Hence, (see Remark 3) the difference in Equation (9) is a concave function of $\mu ({f}_{i})$. Thus, the first part of theorem is proved.

Now, let us prove the second part. We fix $\mu $ over $\xi $ and consider two different conditional fuzzy P-measures ${\mu}_{1}({g}_{j}/{f}_{i})$ and ${\mu}_{2}({g}_{j}/{f}_{i})$, defined for ${f}_{i}\in \xi $, $\mu ({f}_{i})>0$, and $j=1,2,\dots ,m$. Then, for $i=1,\dots ,n$, $j=1,2,\dots ,m$, we have:

$${\mu}_{1}({f}_{i}\cap {g}_{j})=\mu ({f}_{i}){\dot{\mu}}_{1}({g}_{j}/{f}_{i}),\mathrm{and}{\mu}_{2}({f}_{i}\cap {g}_{j})=\mu ({f}_{i}){\dot{\mu}}_{2}({g}_{j}/{f}_{i}).$$

According to Proposition 1 we can define, for every real number $\alpha \in \left[0,1\right]$, the following conditional fuzzy P-measure:

$${\mu}_{\alpha}({g}_{j}/{f}_{i})=\alpha {\mu}_{1}({g}_{j}/{f}_{i})+(1-\alpha ){\mu}_{2}({g}_{j}/{f}_{i}).$$

Then we have:

$${\mu}_{\alpha}({f}_{i}\cap {g}_{j})=\alpha {\mu}_{1}({f}_{i}\cap {g}_{j})+(1-\alpha ){\mu}_{2}({f}_{i}\cap {g}_{j}),\mathrm{and}\phantom{\rule{0ex}{0ex}}{\mu}_{\alpha}({g}_{j})=\alpha {\mu}_{1}({g}_{j})+(1-\alpha ){\mu}_{2}({g}_{j}).$$

Therefore, if we put ${\nu}_{\alpha}({f}_{i}\cap {g}_{j})=\mu ({f}_{i})\cdot {\mu}_{\alpha}({g}_{j})$, we obtain:

$${\nu}_{\alpha}({f}_{i}\cap {g}_{j})=\alpha \mu ({f}_{i})\cdot {\mu}_{1}({g}_{j})+(1-\alpha )\mu ({f}_{i})\cdot {\mu}_{2}({g}_{j}).$$

According to Theorem 1 and Theorem 10 we can write:

$${I}_{{\mu}_{\alpha}}(\xi ,\eta )={\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}{\mu}_{\alpha}({f}_{i}\cap {g}_{j})\mathrm{log}\frac{{\mu}_{\alpha}({f}_{i}\cap {g}_{j})}{\mu ({f}_{i})\cdot {\mu}_{\alpha}({g}_{j})}}}={D}_{\eta /\xi}(\mu \Vert {\nu}_{\alpha})\phantom{\rule{0ex}{0ex}}\le \alpha {\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}{\mu}_{1}({f}_{i}\cap {g}_{j})\mathrm{log}\frac{{\mu}_{1}({f}_{i}\cap {g}_{j})}{\mu ({f}_{i})\cdot {\mu}_{1}({g}_{j})}}}+(1-\alpha ){\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}{\mu}_{2}({f}_{i}\cap {g}_{j})\mathrm{log}\frac{{\mu}_{2}({f}_{i}\cap {g}_{j})}{\mu ({f}_{i})\cdot {\mu}_{2}({g}_{j})}}}\phantom{\rule{0ex}{0ex}}=\alpha {I}_{{\mu}_{1}}(\xi ,\eta )+(1-\alpha ){I}_{{\mu}_{2}}(\xi ,\eta ).\square $$

Finally, we define a conditional version of the Kullback-Leibler divergence and, subsequently, we will prove the chain rule for K-L divergence.

**Definition**

**7.**

Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\},$ $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$ be two fuzzy partitions of fuzzy probability spaces $(\Omega ,M,\mu ),$ $(\Omega ,M,\nu ).$ Then we define the conditional Kullback-Leibler divergence ${D}_{\eta /\xi}(\mu $ ‖ $\nu )$ by:

$${D}_{\eta /\xi}(\mu \Vert \nu )={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}{\displaystyle {\sum}_{j=1}^{m}\dot{\mu}({g}_{j}/{f}_{i})}\mathrm{log}\frac{\dot{\mu}({g}_{j}/{f}_{i})}{\dot{\nu}({g}_{j}/{f}_{i})}.$$

**Theorem 12**(Chain rule for K-L divergence)

**.**

If $\xi ,\eta $ are two fuzzy partitions of fuzzy probability spaces $(\Omega ,M,\mu ),$ $(\Omega ,M,\nu ),$ then:

$${D}_{\xi \vee \eta}(\mu \Vert \nu )={D}_{\xi}(\mu \Vert \nu )+{D}_{\eta /\xi}(\mu \Vert \nu ).$$

**Proof.**

Let $\xi =\left\{{f}_{1},\dots ,{f}_{n}\right\},$ $\eta =\left\{{g}_{1},\dots ,{g}_{m}\right\}$. Using the property (2.1), we obtain:

$${\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})}=\mu \left({f}_{i}\cap ({\cup}_{j=1}^{m}{g}_{j})\right)=\mu ({f}_{i}),\mathrm{for}i=1,2,\dots ,n.$$

Therefore:

$${D}_{\xi \vee \eta}(\mu \Vert \nu )={\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})}}\mathrm{log}\frac{\mu ({f}_{i}\cap {g}_{j})}{\nu ({f}_{i}\cap {g}_{j})}\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})}}\mathrm{log}\frac{\mu ({f}_{i})\dot{\mu}({g}_{j}/{f}_{i})}{\nu ({f}_{i})\dot{\nu}({g}_{j}/{f}_{i})}\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})}}\mathrm{log}\frac{\mu ({f}_{i})}{\nu ({f}_{i})}+{\displaystyle {\sum}_{i=1}^{n}{\displaystyle {\sum}_{j=1}^{m}\mu ({f}_{i}\cap {g}_{j})}}\mathrm{log}\frac{\dot{\mu}({g}_{j}/{f}_{i})}{\dot{\nu}({g}_{j}/{f}_{i})}\phantom{\rule{0ex}{0ex}}={\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}\mathrm{log}\frac{\mu ({f}_{i})}{\nu ({f}_{i})}+{\displaystyle {\sum}_{i=1}^{n}\mu ({f}_{i})}{\displaystyle {\sum}_{j=1}^{m}\dot{\mu}({g}_{j}/{f}_{i})}\mathrm{log}\frac{\dot{\mu}({g}_{j}/{f}_{i})}{\dot{\nu}({g}_{j}/{f}_{i})}\phantom{\rule{0ex}{0ex}}={D}_{\xi}(\mu \Vert \nu )+{D}_{\eta /\xi}(\mu \Vert \nu ).\square $$

## 5. Discussion

In this paper we extend our study concerning mutual information of fuzzy partitions in fuzzy probability spaces. In Section 3, using our previous results, the notion of conditional mutual information of fuzzy partitions is defined and chain rules for mutual information of fuzzy partitions are established. Subsequently, using the notion of conditional mutual information of fuzzy partitions we have defined the notion of conditional independence of fuzzy partitions and we have proved, inter alia, data processing inequality for the studied situation. In Section 4 the notion of Kullback-Leibler divergence for fuzzy P-measures is introduced and the basic properties of this measure are shown. In particular, a convexity of Kullback-Leibler divergence with respect to fuzzy P-measures is proved and a convexity of mutual information of fuzzy partitions is studied. Finally, a conditional version of the Kullback-Leibler divergence is defined and chain rules for Kullback-Leibler divergence with respect to fuzzy P-measures are established.

As noted previously, logical versions of some results concerning the entropy and mutual information of fuzzy partitions presented in Section 2 and Section 3 are given in [10]. In [9] Ellerman studied, in addition to the logical entropy and logical mutual information, the concept of logical Kullback-Leibler divergence. The aim of our next study will be to provide a logical version of Kullback-Leibler divergence for fuzzy probability measures.

Let us mention, finally, the fuzzy set theory has been shown to be useful in many applications of mathematics and it is continually developing. Currently, algebraic structures, based on fuzzy set theory, as MV-algebras (cf. [37,38]), D-posets (cf. [39,40]), effect algebras (cf. [41,42]), and IF-sets (cf. [43,44,45,46,47]) are subject of intensive research and, of course, there are also many results about the entropy on these structures. Some of them can be found, e.g., in [48,49,50,51,52,53,54,55,56,57,58].

## Acknowledgments

The author thanks the editor and the referees for their valuable comments and suggestions.

## Conflicts of Interest

The author declares no conflict of interest.

## References

- Kolmogorov, A.N. Foundations of the Theory of Probability; Chelsea Press: New York, NY, USA, 1950. [Google Scholar]
- Shannon, C.E. A Mathematical Theory of Communication. Bell Syst. Tech. J.
**1948**, 27, 379–423. [Google Scholar] [CrossRef] - Markechová, D. The entropy of fuzzy dynamical systems and generators. Fuzzy Sets Syst.
**1992**, 48, 351–363. [Google Scholar] [CrossRef] - Piasecki, K. Probability of fuzzy events defined as denumerable additive measure. Fuzzy Sets Syst.
**1985**, 17, 271–284. [Google Scholar] [CrossRef] - Zadeh, L.A. Fuzzy Sets. Inf. Control
**1965**, 8, 338–358. [Google Scholar] [CrossRef] - Markechová, D. Entropy and mutual information of experiments in the fuzzy case. Neural Netw. World
**2013**, 23, 339–349. [Google Scholar] [CrossRef] - Markechová, D. Entropy of complete fuzzy partitions. Math. Slovaca
**1993**, 43, 1–10. [Google Scholar] - Markechová, D. A note to the Kolmogorov-Sinai entropy of fuzzy dynamical systems. Fuzzy Sets Syst.
**1994**, 64, 87–90. [Google Scholar] [CrossRef] - Ellerman, D. An Introduction to Logical Entropy and Its Relation to Shannon Entropy. Int. J. Seman. Comput.
**2013**, 7, 121–145. [Google Scholar] [CrossRef] - Markechová, D.; Riečan, B. Logical Entropy of Fuzzy Dynamical Systems. Entropy
**2016**, 18, 157. [Google Scholar] [CrossRef] - Ebrahimzadeh, A.; Giski, Z.E.; Markechová, D. Logical Entropy of Dynamical Systems—A General Model. Mathematics
**2017**, 5, 4. [Google Scholar] [CrossRef] - Mesiar, R.; Rybárik, J. Entropy of Fuzzy Partitions—A General Model. Fuzzy Sets Syst.
**1998**, 99, 73–79. [Google Scholar] [CrossRef] - Mesiar, R. The Bayes formula and the entropy of fuzzy probability spaces. Int. J. Gen. Syst.
**1990**, 4, 67–71. [Google Scholar] - Dumitrescu, D. Fuzzy measures and the entropy of fuzzy partitions. J. Math. Anal. Appl.
**1993**, 176, 359–373. [Google Scholar] [CrossRef] - Dumitrescu, D. Entropy of a fuzzy dynamical system. Fuzzy Sets Syst.
**1995**, 70, 45–57. [Google Scholar] [CrossRef] - Riečan, B. An entropy construction inspired by fuzzy sets. Soft Comput.
**2003**, 7, 486–488. [Google Scholar] - Hu, Q.; Yu, D.; Xie, Z.; Liu, J. Fuzzy probabilistic approximation spaces and their information measures. IEEE Trans. Fuzzy Syst.
**2006**, 14, 191–201. [Google Scholar] - Yu, D.; Hu, Q.; Wu, C. Uncertainty measures for fuzzy relations and their applications. Appl. Soft Comput.
**2007**, 7, 1135–1143. [Google Scholar] [CrossRef] - Rahimi, M.; Riazi, A. On local entropy of fuzzy partitions. Fuzzy Sets Syst.
**2014**, 234, 97–108. [Google Scholar] [CrossRef] - Rahimi, M.; Assari, A.; Ramezani, F. A Local Approach to Yager Entropy of Dynamical Systems. Int. J. Fuzzy Syst.
**2015**, 1, 1–10. [Google Scholar] [CrossRef] - Markechová, D.; Riečan, B. Entropy of Fuzzy Partitions and Entropy of Fuzzy Dynamical Systems. Entropy
**2016**, 18, 19. [Google Scholar] [CrossRef] - Khare, M. Fuzzy σ-algebras and conditional entropy. Fuzzy Sets Syst.
**1999**, 102, 287–292. [Google Scholar] [CrossRef] - Khare, M.; Roy, S. Conditional entropy and the Rokhlin metric on an orthomodular lattice with Bayessian state. Int. J. Theor. Phys.
**2008**, 47, 1386–1396. [Google Scholar] [CrossRef] - Srivastava, P.; Khare, M.; Srivastava, Y.K. M-Equivalence, entropy and F-dynamical systems. Fuzzy Sets Syst.
**2001**, 121, 275–283. [Google Scholar] [CrossRef] - Criado, F.; Gachechiladze, T. Entropy of fuzzy events. Fuzzy Sets Syst.
**1997**, 88, 99–106. [Google Scholar] [CrossRef] - Dubois, D.; Prade, M. A review of fuzzy set aggregation connectives. Inf. Sci.
**1985**, 36, 85–121. [Google Scholar] [CrossRef] - Gray, R.M. Entropy and Information Theory; Springer: Berlin/Heidelberg, Germany, 2009. [Google Scholar]
- Kullback, S.; Leibler, R.A. On information and sufficiency. Ann. Math. Stat.
**1951**, 22, 79–86. [Google Scholar] [CrossRef] - Kullback, S. Information Theory and Statistics; John Wiley & Sons: New York, NY, USA, 1959. [Google Scholar]
- Schnakenberg, J. Network theory of microscopic and macroscopic behavior of master equation systems. Rev. Mod. Phys.
**1976**, 48, 571–585. [Google Scholar] [CrossRef] - Risken, H. The Fokker-Planck Equation, Methods of Solution and Applications; Springer: New York, NY, USA, 1984. [Google Scholar]
- Qian, H. Relative entropy: Free energy associated with equilibrium fluctuations and nonequilibrium deviations. Phys. Rev. E
**2001**, 63, 042103. [Google Scholar] [CrossRef] [PubMed] - Ellis, R.S. Entropy, Large Deviations, and Statistical Mechanics; Springer: New York, NY, USA, 1985. [Google Scholar]
- Dvurečenskij, A. On the existence of probability measures on fuzzy measurable spaces. Fuzzy Sets Syst.
**1991**, 43, 173–181. [Google Scholar] [CrossRef] - Piasecki, K. New concept of separated fuzzy subsets. In Proceedings of the Polish Symposium on Interval and Fuzzy Mathematics, Poznan, Poland, 26–29 August 1983; Albrycht, J., Wiśniewski, H., Eds.; Wydaw. Politechniki Poznańskiej: Poznan, Poland, 1985; pp. 193–195. [Google Scholar]
- Piasecki, K. Fuzzy partitions of sets. BUSEFAL
**1986**, 25, 52–60. [Google Scholar] - Riečan, B.; Mundici, D. Probability on MV-algebras. In Handbook of Measure Theory; Pap, E., Ed.; Elsevier: Amsterdam, The Netherlands, 2002; pp. 869–910. [Google Scholar]
- Di Nola, A.; Dvurečenskij, A. Product MV-algebras. Multiple-Valued Log.
**2001**, 6, 193–215. [Google Scholar] - Kôpka, F.; Chovanec, F. D-posets. Math. Slovaca
**1994**, 44, 21–34. [Google Scholar] - Frič, R. On D-posets of fuzzy sets. Math. Slovaca
**2014**, 64, 545–554. [Google Scholar] [CrossRef] - Foulis, D.J.; Bennett, M.К. Effect algebras and unsharp quantum logics. Found. Phys.
**1994**, 24, 1325–1346. [Google Scholar] [CrossRef] - Dvurečenskij, A.; Pulmannová, S. New Trends in Quantum Structures; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2000. [Google Scholar]
- Atanassov, K. Intuitionistic Fuzzy Sets: Theory and Applications; Physica Verlag: New York, NY, USA, 1999. [Google Scholar]
- Atanassov, K. Intuitionistic fuzzy sets. Fuzzy Sets Syst.
**1986**, 20, 87–96. [Google Scholar] [CrossRef] - Atanassov, K. More on intuitionistic fuzzy sets. Fuzzy Sets Syst.
**1989**, 33, 37–45. [Google Scholar] [CrossRef] - Atanassov, K.; Riečan, B. On two operations over intuitionistic fuzzy sets. J. Appl. Math. Stat. Inform.
**2006**, 2, 145–148. [Google Scholar] [CrossRef] - Riečan, B. Algebraic and Proof-Theoretic Aspects of Non-Classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday; Springer: Berlin/Heidelberg, Germany, 2007; pp. 290–308. [Google Scholar]
- Petrovičová, J. On the entropy of partitions in product MV-algebras. Soft Comput.
**2000**, 4, 41–44. [Google Scholar] [CrossRef] - Petrovičová, J. On the entropy of dynamical systems in product MV-algebras. Fuzzy Sets Syst.
**2001**, 121, 347–351. [Google Scholar] [CrossRef] - Riečan, B. Kolmogorov–Sinaj entropy on MV-algebras. Int. J. Theor. Phys.
**2005**, 44, 1041–1052. [Google Scholar] [CrossRef] - Ďurica, M. Entropy on IF-events. Notes Intuit. Fuzzy Sets
**2007**, 13, 30–40. [Google Scholar] - Di Nola, A.; Dvurečenskij, A.; Hyčko, M.; Manara, C. Entropy on Effect Algebras with the Riesz Decomposition Property I: Basic Properties. Kybernetika
**2005**, 41, 143–160. [Google Scholar] - Di Nola, A.; Dvurečenskij, A.; Hyčko, M.; Manara, C. Entropy on Effect Algebras with the Riesz Decomposition Property II: MV-Algebras. Kybernetika
**2005**, 41, 161–176. [Google Scholar] - Giski, Z.E.; Ebrahimi, M. Entropy of Countable Partitions on Effect Algebras with the Riesz Decomposition Property and Weak Sequential Effect Algebras. Cankaya Univ. J. Sci. Eng.
**2015**, 12, 20–39. [Google Scholar] - Farnoosh, R.; Rahimi, M.; Kumar, P. Removing noise in a digital image using a new entropy method based on intuitionistic fuzzy sets. In Proceedings of the International Conference on Fuzzy Systems, Vancouver, BC, Canada, 24–29 July 2016.
- Burillo, P.; Bustince, H. Entropy on intuitionistic fuzzy sets and on interval-valued fuzzy sets. Fuzzy Sets Syst.
**1996**, 78, 305–316. [Google Scholar] [CrossRef] - Szmidt, E.; Kacprzyk, J. Entropy for intuitionistic fuzzy sets. Fuzzy Sets Syst.
**2001**, 118, 467–477. [Google Scholar] [CrossRef] - Ebrahimzadeh, A.; Giski, Z.E.; Markechová, D. Logical Entropy on Effect Algebras with the Riesz Decomposition Property. Commun. Theor. Phys.
**2017**. under review. [Google Scholar]

© 2017 by the author. 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 ( http://creativecommons.org/licenses/by/4.0/).