 Research
 Open Access
 Published:
A note on inequalities and critical values of fuzzy rough variables
Journal of Inequalities and Applications volume 2015, Article number: 262 (2015)
Abstract
A fuzzy rough variable is defined as a rough variable on the universal set of fuzzy variables, or a rough variable taking ‘fuzzy variable’ values. In order to further discuss the mathematical properties of fuzzy rough variables, this paper extends some inequalities to the context of fuzzy rough theory based on the chance measure and the expected value operator, involving the Markov inequality, the Chebyshev inequality, the Hölder inequality, the Minkowski inequality, and the Jensen inequality. After that, linearity, monotonicity, and continuity of critical values of fuzzy rough variables are also investigated.
Introduction
Fuzzy set theory has been well developed and applied in a wide variety of real problems since it was proposed in 1965 by Zadeh [1]. Kaufmann [2] first introduced fuzzy variable as a fuzzy set of real numbers to describe fuzzy phenomena. By means of a mathematical way, a fuzzy variable was defined as a function from a possibility space to the set of real numbers by Liu [3]. Now, fuzzy set theory has been proved to be an excellent tool and one of the most successful approaches to the issue of how to understand and manipulate imperfect knowledge.
On the other hand, in order to deal with vague description of objects, rough set theory was initialized by Pawlak [4] in 1982, which provides a new powerful mathematical approach to handling imperfect knowledge in the real world. A fundamental assumption in this theory is that objects are perceived through, and thus can be represented by, available information on their attributes, but such information may not be sufficient to characterize these objects exactly. One way is approximating a set by other sets. Thus a rough set may be defined by a pair of crisp sets which give the lower and upper approximations of the original set. Liu [5] defined a rough variable to be a measurable function from a rough space to the set of real numbers and gave the definition of the lower and upper approximations of the rough variable.
With the development of fuzzy set theory and rough set theory, it is generally accepted that these two theories are related but distinct and complementary with each other. Thus many researchers began to consider the combination of the two theories. For example, in the real world, sometimes it is not easy to describe a fuzzy event by a precise fuzzy set, but the lower and upper approximations of the fuzzy set of a fuzzy event can be given, which can be seen as a fuzzy rough variable. In 1990, Dubois and Prade [6] initially proposed the concept of fuzzy rough sets by constructing a pair of upper and lower approximation operators of fuzzy sets with respect to a fuzzy similarity relation by means of the tnorm Min and its dual conorm Max. A fuzzy rough variable, very different from the fuzzy rough set introduced by Dubois and Prade [6], was defined by Liu [5] as a measurable function from a rough space to the set of fuzzy variables. In other words, a fuzzy rough variable is a rough variable defined on the universal set of fuzzy variables, or a rough variable taking ‘fuzzy variable’ values. By now, the fuzzy rough theory has been studied in both theoretical and practical perspectives, for instance, the generalized definition of a fuzzy rough set [7, 8], a new definition for the lower and upper approximations [9, 10], fuzzy rough attribute (or feature) selection [11, 12], as well as its applications in data reduction and classification [13–15], complex systems monitoring [16], neural networks [17], and so on.
It is well known that there are some inequalities in probability theory such as the Markov inequality, the Chebyshev inequality, the Jensen inequality, the Hölder inequality, and the Minkowski inequality, which make an important contribution to the development of probability theory in both theories and applications. On the basis of these inequalities, in possibility and rough theory, Liu [18] proved that these analogous inequalities hold both for fuzzy variables and rough variables. Moreover, Yang and Liu [19] also proved these inequalities for fuzzy random variables. As an extension of these researches, it is necessary to study these inequalities in the context of fuzzy rough theory. Therefore, in the present paper, some inequalities are presented for fuzzy rough variables, and some properties of critical values of fuzzy rough variables are also proved.
The rest of this paper is organized as follows. In Section 2, we first review some basic knowledge of fuzzy variables, rough variables, and fuzzy rough variables involving the chance measure and the expected value operator. Some inequalities for fuzzy rough variables are presented in Section 3. Section 4 introduces definitions of the \((\gamma,\delta)\)optimistic value and the \((\gamma,\delta)\)pessimistic value, and it discusses the linearity, monotonicity and continuity of the critical values to explore the mathematical properties of fuzzy rough variables.
Preliminaries
In this section, we recall some concepts and properties of fuzzy variables, rough variables, and fuzzy rough variables, which will be applied in the following sections.
Fuzzy variable
In order to measure a fuzzy event, Zadeh [20, 21] proposed the concepts of possibility measure and necessity measure in 1978 and 1979, respectively. Subsequently, possibility theory was developed by many researchers such as Dubois and Prade [22, 23]. Liu and Liu [24] presented the concept of credibility measure in 2002 on the basis of possibility measure and necessity measure, and then a complete axiomatic foundation of credibility theory was developed by Liu [3].
Definition 1
(Liu [5])
Let Θ be a nonempty set, \(\mathscr{P}(\Theta)\) the power set of Θ, and Pos a possibility measure. The triplet \((\Theta, \mathscr{P} (\Theta),\operatorname{Pos})\) is called a possibility space. A fuzzy variable is defined as a function from a possibility space \((\Theta ,\mathscr{P}(\Theta),\operatorname{Pos})\) to the set of real numbers.
Definition 2
(Liu and Liu [24])
Let \((\Theta, \mathscr{P}(\Theta),\operatorname{Pos})\) be a possibility space, and A a set in \(\mathscr{P}(\Theta)\). Then the credibility measure of A is defined by
where Pos and Nec represent the possibility measure [20] and the necessity measure [21], respectively.
Example 1
Let us consider a trapezoidal fuzzy variable \(\xi=(r_{1},r_{2},r_{3},r_{4})\). Then we have
Definition 3
(Liu and Gao [25])
The fuzzy variables \(\xi_{1},\xi _{2},\ldots,\xi_{n}\) are said to be independent if
for any Borel sets \(B_{1},B_{2},\ldots,B_{n}\) of real numbers.
Theorem 1
(Liu and Gao [25])
The fuzzy variables \(\xi_{1},\xi_{2},\ldots ,\xi_{n}\) are independent if and only if
for any Borel sets \(B_{1}, B_{2}, \ldots, B_{n}\) of real numbers.
Definition 4
(Liu and Liu [24])
Let ξ be a fuzzy variable. Then the expected value of ξ is defined by
provided that at least one of the two integrals is finite, where \(E^{\mathrm{f}}\) denotes the expected value operator of fuzzy variables.
Example 2
Let ξ be a fuzzy variable with a membership function
Then the expected value of ξ is \(E^{\mathrm{f}}[\xi]= \frac {1}{2}(a+b)\).
Example 3
The expected value of a trapezoidal fuzzy variable \(\xi =(r_{1},r_{2},r_{3},r_{4})\) is
Theorem 2
(Liu [24])
Let ξ and η be fuzzy variables with finite expected values. Then, for any real numbers a and b, we have
Rough variable
Rough set theory, initialized by Pawlak [4], has been proved to be an excellent mathematical tool to deal with vague description of objects. In order to provide an axiomatic theory to describe rough variables, Liu [5] gave some definitions about rough set theory as follows.
Definition 5
(Liu [5])
Let Λ be a nonempty set, \(\mathscr{A}\) a σalgebra of subset of Λ, Δ an element in \(\mathscr{A}\), and π a set function satisfying the following four axioms,
Axiom 1. \(\pi\{\Lambda\}<+\infty\);
Axiom 2. \(\pi\{\Delta\}>0\);
Axiom 3. \(\pi\{A\}\ge0\) for any \(A\in \mathscr{A}\);
Axiom 4. for every countable sequence of mutually disjoint events \(\{A_{i}\}_{i=1}^{\infty}\), we have
Then \((\Lambda,\triangle, \mathscr{A},\pi)\) is called a rough space.
Definition 6
(Liu [5])
A rough variable is a measurable function ξ from the rough space \((\Lambda,\Delta, \mathscr{A},\pi)\) to the set of real numbers. That is, for every Borel set B of ℜ, we have
The lower and upper approximations of the rough variable ξ are then defined as follows:
Definition 7
(Liu [5])
Let \((\Lambda,\Delta, \mathscr{A},\pi)\) be a rough space. Then the upper trust of an event A is defined by
the lower trust of the event A is defined by
and the trust of the event A is defined by
Example 4
Let \(\xi=([a,b],[c,d])\) be a rough variable with \(c\le a< b\le d\) representing the identity function \(\xi(\lambda)=\lambda\) from the rough space \((\Lambda,\Delta, \mathscr{A},\pi)\) to the set of real numbers, where \(\Lambda=\{c\le\lambda\le d\}\), \(\Delta=\{a\le\lambda\le b\}\), and π is the Lebesgue measure, which is a standard method that gives the subsets of a Euclidean space a length, area, or volume. In this case, π measures the length of a set. For example, if a set \(A=[a,b]\), then \(\pi\{A\}=ba\). According to Definitions 6 and 7, we can obtain the upper trust, the lower trust, and trust of the event \(\{\xi\le0\}\) as follows:
When \([a,b]=[c,d]\), we have \(\Lambda=\Delta\), and \(\overline{\operatorname{Tr}}\{\xi \le0\}=\underline{\operatorname{Tr}}\{\xi\le0\}\). It follows that
Definition 8
(Liu [5])
Let ξ be a rough variable. Then the expected value of ξ is defined by
provided that at least one of the two integrals is finite, where \(E^{\mathrm{r}}\) denotes the expected value operator of rough variables.
Example 5
Let \(\xi=([a,b],[c,d])\) be a rough variable with \(c\le a< b\le d\). We then have
Especially, when \([a,b]=[c,d]\), the rough variable ξ degenerates to an interval number \([a,b]\). Then we have
Theorem 3
(Liu [3])
Let ξ and η be rough variables with finite expected values. Then, for any real numbers a and b, we have
Fuzzy rough variable
Fuzzy rough variables have been defined in several ways. In this paper, we adopt the definition introduced by Liu [5] as follows.
Definition 9
(Liu [5])
A fuzzy rough variable is a function ξ from a rough space \((\Lambda ,\Delta, \mathscr{A},\pi)\) to the set of fuzzy variables such that \(\operatorname{Pos}\{\xi(\lambda)\in B\}\) is a measurable function of λ for any Borel set B of ℜ.
Example 6
Let \(\xi=(\rho,\rho+1,\rho+2)\) with \(\rho=([2,4],[0,6])\), where the triple \((a,b,c)\) with real numbers \(a\leq b\leq c\) denotes a triangular fuzzy variable and ρ is a rough variable, then ξ is a fuzzy rough variable.
Theorem 4
(Liu [3])
Assume that ξ is a fuzzy rough variable. Then, for any Borel set B of ℜ, we have

(a)
the possibility \(\operatorname{Pos}\{\xi(\lambda)\in B\}\) is a rough variable;

(b)
the necessity \(\operatorname{Nec}\{\xi(\lambda)\in B\}\) is a rough variable;

(c)
the credibility \(\operatorname{Cr}\{\xi(\lambda)\in B\}\) is a rough variable.
Definition 10
(Liu [5])
Let ξ be a fuzzy rough variable. Then its expected value is defined by
provided that at least one of the two integrals is finite, where \(E^{\mathrm{f}}\) is the expected value operator of fuzzy variables.
Theorem 5
(Liu [5])
Assume that ξ and η are fuzzy rough variables with finite expected values. If \(\xi(\lambda)\) and \(\eta(\lambda)\) are independent fuzzy variables for each λ, then, for any real numbers a and b, we have
Definition 11
(Liu [5])
Let ξ be a fuzzy rough variable with finite expected value \(E[\xi ]\). The variance of ξ is defined as \(V[\xi]=E [(\xiE[\xi])^{2} ]\). Then the square root of \(V[\xi]\) is called the standard deviation of ξ.
Definition 12
(Liu [5])
Let ξ be a fuzzy rough variable, and B a Borel set of ℜ. Then the chance of a fuzzy rough event \(\xi\in B\) is a function from \((0,1]\) to \([0,1]\), defined as
which can also be written as follows:
Definition 13
(Liu [3])
Let ξ be a fuzzy rough variable, and B a Borel set of ℜ. For any real number \(\alpha\in(0,1]\), the αchance of a fuzzy rough event \(\xi\in B\) is defined as the value of chance at α, i.e., \(\operatorname{Ch}\{\xi\in B \}(\alpha )\), where Ch denotes the chance measure.
Inequalities of fuzzy rough variables
Some inequalities, including the Markov inequality, the Chebyshev inequality, the Hölder inequality, the Minkowski inequality, and the Jensen inequality, analogous to those in probability theory, have been proved to hold both for fuzzy variables and rough variables by Liu [18]. In this section, these inequalities are proved for fuzzy rough variables.
Theorem 6
Let ξ be a fuzzy rough variable, and f a nonnegative measurable function. If f is even and increasing on \([0,\infty)\), then, for any given number \(t>0\) and \(\alpha\in(0,1]\), we have
Proof
For a fuzzy variable τ, the following inequality has been proved by Liu [18].
on condition that f is a nonnegative function and it is even and increasing on \([0,\infty)\). Since \(\xi(\lambda)\) is a fuzzy variable, for any \(\lambda\in\Lambda\), it follows that
for each λ. Especially, for any set A with \(\operatorname{Tr}\{A\}\geq\alpha \), we have
It follows from the nonnegativity of f that
Therefore, we have
It follows from the arbitrariness of A that
That is,
The proof is completed. □
On the basis of the inequality presented in Theorem 6, the wellknown Markov inequality and the Chebyshev inequality in probability theory are proved in the context of fuzzy rough theory as follows, which can be seen as special cases of Theorem 6.
Theorem 7
(Markov inequality)
Let ξ be a fuzzy rough variable. Then, for any given numbers \(t>0\), \(p>0\), and \(\alpha\in(0,1]\), we have
Proof
It is a special case of Theorem 6 when \(f(x)=x^{p}\). □
Theorem 8
(Chebyshev inequality)
Let ξ be a fuzzy rough variable whose variance \(V[\xi]\) exists. Then, for any given numbers \(t>0\) and \(\alpha\in(0,1]\), we have
Proof
It is a special case of Theorem 6 when the fuzzy rough variable ξ is replaced with \(\xiE[\xi]\) and \(f(x)=x^{2}\). □
The Markov inequality gives an upper bound for the αchance that the absolute value of a fuzzy rough variable is greater than or equal to some positive constant, whereas the Chebyshev inequality describes to what extent the values taken by a fuzzy rough variable deviate from its expected value. Both of them state important properties of a fuzzy rough variable.
For instance, the following conclusion can be deduced from the Chebyshev inequality immediately, which implies that the αchance that the values taken by an arbitrary fuzzy rough variable with finite expected value exceed k (\(k>0\)) standard deviations away from its mean (i.e., expected value) is no more than \(\frac {1}{\alpha k^{2}}\).
Example 7
Let ξ be a fuzzy rough variable with finite expected value e and standard deviation σ. It follows from Theorem 8 that
Theorem 9
(Hölder inequality)
Let p and q be two positive real numbers with \(1/p+1/q=1\), ξ and η two fuzzy rough variables with \(E[\xi ^{p}]<\infty\) and \(E[\eta^{q}]<\infty\). If the fuzzy variables \(\xi (\lambda)\) and \(\eta(\lambda)\) are independent for each \(\lambda\in \Lambda\), then we have
Proof
The inequality holds trivially if at least one of ξ and η is zero a.s. Now we assume \(E[\xi^{p}]>0\) and \(E[\eta^{q}]>0\). It is easy to prove that the function \(f(x,y)= \sqrt[p]{x}\sqrt[q]{y}\) is a concave function on \(D=\{(x,y) \mid x\geq0, y\geq0\}\). Thus, for any point \((x_{0},y_{0})\) with \(x_{0}>0\) and \(y_{0}>0\), there exist two real numbers a and b such that
Letting \(x=\xi^{p}\), \(y=\eta^{q}\), \(x_{0}=E[\xi^{p}]\), and \(y_{0}=E[\eta^{q}]\), we have
Taking the expected values on both sides, we obtain
Hence the inequality (31) holds. □
As a special case of the Hölder inequality with \(p=q=2\), the Cauchy inequality can be obtained as follows, which is widely used for dealing with some mathematical problems.
Example 8
(Cauchy inequality)
Let ξ and η be two fuzzy rough variables with \(E[\xi^{2}]<\infty \) and \(E[\eta^{2}]<\infty\). If the fuzzy variables \(\xi(\lambda)\) and \(\eta(\lambda)\) are independent for each \(\lambda\in\Lambda\), then it follows from Theorem 9 that
Theorem 10
(Minkowski inequality)
Let p be a real number with \(1\le p<\infty\), ξ, and η two fuzzy rough variables with \(E[\xi^{p}]<\infty\) and \(E[\eta^{p}]<\infty\). If the fuzzy variables \(\xi(\lambda)\) and \(\eta(\lambda)\) are independent for each \(\lambda\in\Lambda\), then we have
Proof
The inequality holds trivially if at least one of ξ and η is zero a.s. Now we assume \(E[\xi^{p}]>0\) and \(E[\eta^{p}]>0\). It is easy to prove that the function \(f(x,y)= (\sqrt[p]{x}+\sqrt[p]{y})^{p}\) is a concave function on \(D=\{(x,y) \mid x\geq0, y\geq0\}\). Thus, for any point \((x_{0},y_{0})\) with \(x_{0}>0\) and \(y_{0}>0\), there exist two real numbers a and b such that
Letting \(x=\xi^{p}\), \(y=\eta^{p}\), \(x_{0}=E[\xi^{p}]\), and \(y_{0}=E[\eta^{p}]\), we have
Taking the expected values on both sides, we obtain
Hence the inequality (32) holds. □
Theorem 11
(Jensen inequality)
Let ξ be a fuzzy rough variable, and f a convex function. If \(E[\xi]\) and \(E[f(\xi)]\) are finite, then
Especially, when \(f(x)=x^{p}\) and \(p\geq1\), we have \(E[\xi]^{p}\leq E[\xi^{p}]\).
Proof
Since f is a convex function, for each y, there exists a number k such that \(f(x)f(y)\ge k\cdot(xy)\). Replacing x with ξ and y with \(E[\xi ]\), we obtain
Taking the expected values on both sides, we have
Hence the inequality (33) holds. □
The Jensen inequality gives a lower bound for the expected value of a convex function of a fuzzy rough variable. On the basis of the Jensen inequality, some other inequalities with regard to convex functions can be proved simply and directly. For instance, from the Jensen inequality as well as the Cauchy inequality and the Minkowski inequality, some important inequalities can be further deduced as follows.
Example 9
Let ξ and η be two fuzzy rough variables with \(E[\xi^{2}]<\infty \) and \(E[\eta^{2}]<\infty\). If the fuzzy variables \(\xi(\lambda)\) and \(\eta(\lambda)\) are independent for each \(\lambda\in\Lambda\), then it follows from Example 8 and Theorem 11 that
and it follows from Theorem 10 and Theorem 11 that
Critical values of fuzzy rough variable
In this section, we first recall the concepts of the \((\gamma,\delta )\)optimistic value and the \((\gamma,\delta)\)pessimistic value of a fuzzy rough variable defined by Liu [5]. Then the linearity, monotonicity, and continuity of these critical values are discussed. It is shown that these mathematical properties, which have been discussed for fuzzy variables and rough variables by Liu [3] as well as for fuzzy random variables by Yang and Liu [19], are also valid for fuzzy rough variables in a similar way.
Definition 14
(Liu [5])
Let ξ be a fuzzy rough variable, and \(\gamma,\delta\in(0,1]\). Then
is called the \((\gamma,\delta)\)optimistic value of ξ, and
is called the \((\gamma,\delta)\)pessimistic value of ξ.
Theorem 12
(Liu [3])
Let ξ be a fuzzy rough variable. Assume that \(\xi_{\sup}(\gamma ,\delta)\) is the \((\gamma,\delta)\)optimistic value and \(\xi_{\inf}(\gamma,\delta)\) is the \((\gamma,\delta)\)pessimistic value of ξ. If \(\delta>0.5\), then we have
Theorem 13
(Linearity)
Let \(\xi_{\sup}(\gamma,\delta)\) and \(\xi_{\inf}(\gamma ,\delta)\) be the \((\gamma,\delta)\)optimistic and \((\gamma,\delta)\)pessimistic values of a fuzzy rough variable ξ, respectively. Then we have

(a)
if \(c \geq0\), then \((c\xi)_{\sup}(\gamma,\delta) = c\xi_{\sup }(\gamma,\delta)\) and \((c\xi)_{\inf}(\gamma,\delta) = c\xi_{\inf}(\gamma ,\delta)\);

(b)
if \(c < 0\), then \((c\xi)_{\sup}(\gamma,\delta)= c\xi_{\inf}(\gamma ,\delta)\) and \((c\xi)_{\inf}(\gamma,\delta) = c\xi_{\sup}(\gamma,\delta)\).
Proof
(a) If \(c=0\), then the part (a) is obvious. In the case of \(c>0\), we have
In a similar way we may prove \((c\xi)_{\inf}(\gamma,\delta) = c\xi_{\inf }(\gamma,\delta)\). In order to prove the part (b), it suffices to prove that \((\xi)_{\sup }(\gamma,\delta)= \xi_{\inf}(\gamma,\delta)\) and \((\xi)_{\inf}(\gamma ,\delta) = \xi_{\sup}(\gamma,\delta)\). In fact, we have
Similarly, we may prove that \((\xi)_{\inf}(\gamma,\delta)=\xi_{\sup }(\gamma,\delta)\). □
Theorem 14
(Monotonicity and continuity)
Let \(\xi_{\sup}(\gamma,\delta)\) and \(\xi _{\inf}(\gamma,\delta)\) be the \((\gamma,\delta)\)optimistic and \((\gamma,\delta)\)pessimistic values of a fuzzy rough variable ξ, respectively. Then we have

(a)
\(\xi_{\sup}(\gamma,\delta)\) is a decreasing and leftcontinuous function of γ for each δ;

(b)
\(\xi_{\sup}(\gamma,\delta)\) is a decreasing and leftcontinuous function of δ for each γ;

(c)
\(\xi_{\inf}(\gamma,\delta)\) is an increasing and leftcontinuous function of γ for each δ;

(d)
\(\xi_{\inf}(\gamma,\delta)\) is an increasing and leftcontinuous function of δ for each γ.
Proof
(a) For each fixed δ, it is easy to prove that \(\xi_{\sup}(\gamma ,\delta)\) is a decreasing function of γ. Next, we prove the leftcontinuity of \(\xi_{\sup}(\gamma,\delta)\) with respect to γ. Let \({\gamma_{i}}\) be an arbitrary sequence of numbers in \((0,1]\) such that \(\gamma_{i}\uparrow\gamma\). Then \({\xi_{\sup}(\gamma_{i},\delta)}\) is a decreasing sequence. If the limitation is equal to \(\xi_{\sup}(\gamma ,\delta)\), then the leftcontinuity is proved. Otherwise, we have
Letting \(z^{*}=(\lim_{i\rightarrow\infty}\xi_{\sup}(\gamma_{i},\delta)+\xi _{\sup}(\gamma,\delta))/2\), we have
Then, for any given \(\varepsilon> 0\), there exists \(A_{i}\) with \(\operatorname{Tr}\{ A_{i}\}\geq\gamma_{i}\) such that
Define \(A^{*} =\bigcup_{i=1}^{\infty}A_{i}\). It is clear that \(\operatorname{Tr}\{ A^{*} \}\geq \operatorname{Tr}\{A_{i} \}\geq\gamma_{i}\). Letting \(i\rightarrow\infty\), we get \(\operatorname{Tr}\{A^{*} \}\geq\gamma \). Thus
Letting \(\varepsilon\rightarrow0\), we obtain \(\operatorname{Ch}\{\xi\geq z^{*} \}(\gamma)\geq\delta\). Hence \(z^{*}\leq\xi_{\sup}(\gamma ,\delta)\). A contradiction proves the leftcontinuity of \(\xi_{\sup }(\gamma,\delta)\) with respect to γ.
(b) For each fixed γ, it is easy to prove that \(\xi_{\sup}(\gamma ,\delta)\) is a decreasing function of δ. Next, we prove the leftcontinuity of \(\xi_{\sup}(\gamma,\delta)\) with respect to δ. Let \({\delta_{i}}\) be an arbitrary sequence of numbers in \((0,1]\) such that \(\delta_{i}\uparrow\delta\). Then \({\xi_{\sup}(\gamma,\delta_{i})}\) is a decreasing sequence. If the limitation is equal to \(\xi_{\sup}(\gamma ,\delta)\), then the leftcontinuity is proved. Otherwise, we have
Letting \(z^{*}=(\lim_{i\rightarrow\infty}\xi_{\sup}(\gamma_{i},\delta)+\xi _{\sup}(\gamma,\delta))/2\), we have
It follows from the definition of \(\xi_{\sup}(\gamma,\delta_{i})\) that
Then, letting \(i\rightarrow\infty\), we obtain
Hence \(z^{*}\leq\xi_{\sup}(\gamma,\delta)\). A contradiction proves the leftcontinuity of \(\xi_{\sup}(\gamma,\delta)\) with respect to δ. The parts (c) and (d) may be proved similarly. □
Conclusions
Based on previous study on inequalities and critical values in fuzzy set theory and rough set theory, this paper made a further study on fuzzy rough theory, and enriched the research area of this theory in the following two parts: (i) some inequalities in fuzzy rough theory were proved including the Markov inequality, the Chebyshev inequality, the Hölder inequality, the Minkowski inequality and the Jensen inequality, which are analogous to those of the fuzzy case and rough case; (ii) we explored the linearity, monotonicity and continuity of critical values of the fuzzy rough variable.
This paper discussed these inequalities as well as properties of the critical values in a theoretical way. However, the theorems and conclusions presented in this paper would also make an important contribution to practical applications of the fuzzy rough theory. Taking a decision system with fuzzy rough coefficients (e.g. [26, 27]) for instance, in order to get optimal solutions to a problem (modeled by a mathematical model with fuzzy rough coefficients), the objective functions as well as some constraints involving fuzzy rough variables should be analyzed. It is clear that the analyses of these functions and the development of a solving algorithm for the fuzzy rough model may benefit greatly from the inequalities and properties of the critical values presented in this paper.
References
 1.
Zadeh, LA: Fuzzy sets. Inf. Control 8, 338353 (1965)
 2.
Kaufmann, A: Introduction to the Theory of Fuzzy Subsets. Academic Press, New York (1975)
 3.
Liu, B: Uncertainty Theory: An Introduction to Its Axiomatic Foundations. Springer, Berlin (2004)
 4.
Pawlak, Z: Rough sets. Int. J. Inf. Comput. Sci. 11, 341356 (1982)
 5.
Liu, B: Theory and Practice of Uncertain Programming. PhysicaVerlag, Heidelberg (2002)
 6.
Dubois, D, Prade, H: Rough fuzzy sets and fuzzy rough sets. Int. J. Gen. Syst. 17, 191200 (1990)
 7.
Radzikowska, AM, Kerre, EE: A comparative study of fuzzy rough sets. Fuzzy Sets Syst. 126, 137155 (2002)
 8.
Wu, WZ, Mi, JS, Zhang, WX: Generalized fuzzy rough sets. Inf. Sci. 151, 263282 (2003)
 9.
DeCock, M, Cornelis, C, Kerre, EE: Fuzzy rough sets: the forgotten step. IEEE Trans. Fuzzy Syst. 15, 121130 (2007)
 10.
Morsi, NN, Yakout, MM: Axiomatics for fuzzy rough sets. Fuzzy Sets Syst. 100, 327342 (1998)
 11.
Jensen, R, Shen, Q: Fuzzyrough sets assisted attribute selection. IEEE Trans. Fuzzy Syst. 15, 7389 (2007)
 12.
Jensen, R, Shen, Q: New approaches to fuzzyrough feature selection. IEEE Trans. Fuzzy Syst. 17, 824838 (2009)
 13.
Chen, DG, Zhang, L, Zhao, SY, Hu, QG, Zhu, PF: A novel algorithm for finding reducts with fuzzy rough sets. IEEE Trans. Fuzzy Syst. 20, 385389 (2012)
 14.
Jensen, R, Shen, Q: Fuzzyrough attribute reduction with application to web categorization. Fuzzy Sets Syst. 141, 469485 (2004)
 15.
Jensen, R, Shen, Q: Fuzzyrough data reduction with ant colony optimization. Fuzzy Sets Syst. 149, 520 (2005)
 16.
Shen, Q, Richard, J: Selecting informative features with fuzzyrough sets and its application for complex systems monitoring. Pattern Recognit. 37, 13511363 (2004)
 17.
Lingras, P: Fuzzyrough and roughfuzzy serial combinations in neurocomputing. Neurocomputing 36, 2944 (2001)
 18.
Liu, B: Inequalities and convergence concepts of fuzzy and rough variables. Fuzzy Optim. Decis. Mak. 2, 87100 (2003)
 19.
Yang, LX, Liu, B: On inequalities and critical values of fuzzy random variables. Int. J. Uncertain. Fuzziness Knowl.Based Syst. 13, 163175 (2005)
 20.
Zadeh, LA: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1, 328 (1978)
 21.
Zadeh, LA: A theory of approximate reasoning. In: Hayes, J, Michie, D, Thrall, RM (eds.) Mathematical Frontiers of the Social and Policy Sciences, pp. 69129. Westview Press, Boulder (1979)
 22.
Dubois, D, Prade, H: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum, New York (1988)
 23.
Dubois, D, Prade, H: Fuzzy numbers: an overview. In: Bezdek, JC (ed.) Analysis of Fuzzy Information, vol. 2, pp. 339. CRC Press, Boca Raton (1988)
 24.
Liu, B, Liu, YK: Expected value of fuzzy variable and fuzzy expected value models. IEEE Trans. Fuzzy Syst. 10, 445450 (2002)
 25.
Liu, Y, Gao, J: The independence of fuzzy variables in credibility theory and its applications. Int. J. Uncertain. Fuzziness Knowl.Based Syst. 15, 120 (2007)
 26.
Mondal, M, Maity, AK, Maiti, MK, Maiti, M: A productionrepairing inventory model with fuzzy rough coefficients under inflation and time value of money. Appl. Math. Model. 37, 32003215 (2013)
 27.
Xu, J, Zhao, L: A multiobjective decisionmaking model with fuzzy rough coefficients and its application to the inventory problem. Inf. Sci. 180, 679696 (2010)
Acknowledgements
This work was supported in part by grants from the Ministry of Education Funded Project for Humanities and Social Sciences Research (No. 14YJC630124), the Shanghai Philosophy and Social Science Planning Project (No. 2014EGL002), and the Innovation Program of Shanghai Municipal Education Commission (No. 14YS005).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhao, M., Liu, J. & Wang, K. A note on inequalities and critical values of fuzzy rough variables. J Inequal Appl 2015, 262 (2015). https://doi.org/10.1186/s1366001507870
Received:
Accepted:
Published:
Keywords
 fuzzy rough variable
 expected value operator
 chance measure
 critical value