Next Article in Journal
A Feature Extraction Method Using Improved Multi-Scale Entropy for Rolling Bearing Fault Diagnosis
Next Article in Special Issue
Logarithmic Sobolev Inequality and Exponential Convergence of a Markovian Semigroup in the Zygmund Space
Previous Article in Journal
Amplitude- and Fluctuation-Based Dispersion Entropy
Previous Article in Special Issue
A Lower Bound on the Differential Entropy of Log-Concave Random Vectors with Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Inequalities Combining Rough and Random Information

School of Management, Shanghai University, Shanghai 200444, China
*
Author to whom correspondence should be addressed.
Entropy 2018, 20(3), 211; https://doi.org/10.3390/e20030211
Submission received: 1 February 2018 / Revised: 18 March 2018 / Accepted: 18 March 2018 / Published: 20 March 2018
(This article belongs to the Special Issue Entropy and Information Inequalities)

Abstract

:
Rough random theory, generally applied to statistics, decision-making, and so on, is an extension of rough set theory and probability theory, in which a rough random variable is described as a random variable taking “rough variable” values. In order to extend and enrich the research area of rough random theory, in this paper, the well-known probabilistic inequalities (Markov inequality, Chebyshev inequality, Holder’s inequality, Minkowski inequality and Jensen’s inequality) are proven for rough random variables, which gives a firm theoretical support to the further development of rough random theory. Besides, considering that the critical values always act as a vital tool in engineering, science and other application fields, some significant properties of the critical values of rough random variables involving the continuity and the monotonicity are investigated deeply to provide a novel analytical approach for dealing with the rough random optimization problems.

1. Introduction

Rough set theory, initially introduced by Pawlak [1] in 1982 as a mathematical tool to handle problems with insufficient information, has been tested and verified to be a remarkable instrument for dealing with uncertain situations. Its main assumption is that any object from a universe can be perceived through available information, and such information may not be sufficient to characterize the object exactly. Due to the fact that a splendid way of approximating a set is to use other sets, the two crisp sets, named as lower and upper approximations, are generally used to represent rough sets. So far, rough set theory has been applied to various fields especially data mining and biological information processing (see, e.g., [2,3,4,5]). Considering that a rough variable is of great significance to the optimization problems with rough information, Liu [6] in 2002 initiated a definition for a rough variable, that is a function converting the rough space to the real set. Based on the definition, some fundamental arithmetics, numerical characteristics, including the expectation value and variance, and other properties of rough variables are investigated and proven in succession. By virtue of the theory of rough variables developed by Liu [6], a great deal of problems in practical applications can be solved admirably (see, e.g., [7,8]).
It is known that uncertainties always exist of diverse types on account of the extreme complexity of the real world, some of which are possibly hard to describe by extant distinct theories. Hence, researchers turned to hybrid uncertainty theories, which indeed represent the problems in complex uncertain situations well, such as data reduction [9], neural networks [10], and so on. For example, serving as mathematical descriptions for fuzzy stochastic phenomena, the notion of a fuzzy random variable was introduced by Kwakernaak [11] first and then developed by several researchers such as Puri and Ralescu [12] and Kruse and Meyer [13] according to different requirements of measurability. Further, Liu [6] initially presented specific definitions for fuzzy rough variables, random fuzzy variables and bifuzzy variables and dived into the expectation, variance and other properties of them. By now, these hybrid uncertain variables have been diffusely applied to various fields, such as risk decision [14] and water management [15].
Among all these hybrid uncertainty theories, rough random theory is authoritative in managing the indeterministic problems that cannot be solved by rough set theory and probability theory separately. In 1990, Dubois and Prade [16] first introduced the rough random set, which is described as an approximation to a random set by a pair of upper and lower approximations. For example, in real life, a random set takes place with a certain probability in a random event in which the random set cannot be represented exactly, but its upper and lower approximate sets can be given. Then, the pair of sets are called rough random sets. Similar to the rough random set, the notion of a rough random variable was presented and well defined by Liu [6] in 2002 as a function from a probability space to the set of rough variables, or a random variable taking “rough variable” values. Following that, Liu [17] further discussed the chance measure, the chance distribution and some critical numerical characteristics of rough random variables. Subsequently, several sequel studies focused on the applications of rough random variables. For example, Wang et al. [18] employed rough random variables to guarantee the efficiency and accuracy of the final ranking of alternatives in decision making. Moreover, on account of improving the scheduling efficiency in the Pubugou Hydropower Project, rough random variables were introduced by Zhang and Xu [19] to the resource-constrained project scheduling problem.
As is well known, there are several proverbial inequalities in probability theory, including Markov inequality, Chebyshev inequality, Jensen’s inequality, Holder’s inequality and Minkowski inequality, based on which some critical properties of random variables involving laws of large numbers can be proven immediately, which immensely boosts the development of probability theory. In view of the significance of these inequalities, Liu [20] applied them to rough variables and fuzzy variables and then deduced many superior properties such as convergence in trust and convergence in the mean. Later, subsequent research intensively studied these inequalities further and concretely proved that these inequalities also hold for fuzzy random variables [21], fuzzy rough variables [22] and random fuzzy variables [23], which gives strong support to subsequent development of these two theories. Considering that it is of great significance in rough random theory, this paper proves these inequalities for rough random variables and also dives into the properties of their critical values.
The rest of this paper is organized as follows. In Section 2, an overview of the basic knowledge of random variables, rough variables and rough random variables is given including the chance measure and the expected value operator. Some inequalities for rough random variables are described and verified in Section 3. Based on the definitions of the ( γ , δ ) -optimistic value and the ( γ , δ ) -pessimistic value, Section 4 studies the monotonicity and continuity of the critical values. Finally, the conclusions are presented in Section 5.

2. Preliminaries

Roughly speaking, rough random variables are combinations of rough variables and random variables. Thus, in this section, some theoretical fundamentals of random variables, rough variables and rough random variables are retrospected to provide knowledge and theoretic preparation for the following sections.

2.1. Random Variable

Probability theory, initialized early in the 17th Century, immensely boosted the development of science, management, and so on. As a ripe theoretical system, the fundamental concepts in probability theory have been defined in a unified and standardized manner, some of which are recalled as follows.
Definition 1.
Assume that Ω represents a nonempty set, A is a σ-algebra of subsets of Ω and Pr is a set function called a probability measure satisfying the following axioms:
Axiom 1. Pr { } = 0 ;
Axiom 2. Pr { Ω } = 1 ;
Axiom 3. For any countable sequence of mutually-exclusive random events A n A , n = 1 , 2 , , we have Pr { n A n } = n Pr { A n } .
Then, ( Ω , A , Pr ) is called a probability space.
Definition 2.
Assume that a probability space is described by ( Ω , A , Pr ) . Then, a random variable κ on the space is defined as a measurable function from the probability space to the real line R .
Definition 3.
Assume that a random variable is represented by κ. Then, the probability distribution Φ ( x ) of κ represents the probability that the value of κ is no larger than a real number x, that is,
Φ ( x ) = Pr { τ Ω | κ ( τ ) x } .
Definition 4.
Assume that a probability space is described by ( Ω , A , Pr ) , and κ is a random variable on the space. Then, the expected value of κ, E p [ κ ] , is defined by:
E p [ κ ] = 0 + Pr { κ ρ } d ρ 0 Pr { κ ρ } d ρ ,
provided that at least one of the two integrals is finite.
Theorem 1.
Assume that a probability space is described by ( Ω , A , Pr ) , and κ and λ are two random variables with expected values E p [ κ ] and E p [ λ ] , respectively. Then, we have:
E p [ i κ + j λ ] = i E p [ κ ] + j E p [ λ ] ,
where i and j are two real numbers.

2.2. Rough Variable

As an important part of rough set theory, a rough variable is indeed a terrific tool to assist rough set theory in dealing with uncertain situations. For the sake of fully depicting rough variables, some related definitions were given by Liu [6] to handle the problems in rough set theory.
Definition 5.
(Liu [6]) Assume that a set Λ is non-empty, A is a σ-algebra of subsets of Λ with element Δ A , and the set function π (a measure) satisfies three properties, i.e., real-valued, nonnegative and countable additive. Then, (Λ, Δ, A , π) is called a rough space.
Definition 6.
(Liu [17]) Assume that a rough space is described as (Λ, Δ, A , π). Then, the upper and lower trusts of an event A are defined as:
T r ¯ { A } = π { A } π ( Λ ) ,
T r ̲ { A } = π { A Δ } π ( Δ ) ,
respectively. Then, the trust of the rough event A is defined by:
Tr { A } = 1 2 ( T r ¯ { A } + T r ̲ { A } ) .
Definition 7.
(Liu [17]) Assume that a rough space is described as (Λ, Δ, A , π). Then, a rough variable κ is a measurable function from the rough space to the set of real numbers. That is, for every Borel set B of R , we have:
{ τ Λ | κ ( τ ) B } A .
The lower and the upper approximations of the rough variable κ are then defined as:
κ ̲ = { κ ( τ ) | τ Δ } , κ ¯ = { κ ( τ ) | τ Λ } .
Example 1.
Assume that a rough space is described as (Λ, Δ, A , π), where Λ = { o τ l } , Δ = { p τ q } and o p < q l . Here, π is a length measure for a set; for example, if a set A = [ a , b ] , then π { A } = b a . A rough variable κ is defined on this space as an identity function κ ( τ ) = τ . Then, we can calculate the lower and upper trusts, as well as the trust of the event κ 0 , as follows:
T r ¯ { κ 0 } = 0 , i f   o 0 o o l , i f   o 0 l 1 , i f   l 0 ,
T r ̲ { κ 0 } = 0 , i f   p 0 p p q , i f   p 0 q 1 , i f   q 0 ,
Tr { κ 0 } = 0 , i f   o 0 o 2 ( o l ) , i f   o 0 p 2 o p p l o q 2 ( l o ) ( q p ) , i f   p 0 q l 2 o 2 ( l o ) , i f   q 0 l 1 , i f   l 0 .
Moreover, for the special case [ p , q ] = [ o , l ] , we have Λ = Δ and T r ̲ { κ 0 } = T r ¯ { κ 0 } , and then, the trust Tr { κ 0 } becomes:
Tr { κ 0 } = 0 , i f   p 0 p p q , i f   p 0 q 1 , i f   q 0 .
Definition 8.
(Liu [6]) Assume that a rough space is described as (Λ, Δ, A , π) with a rough variable κ on this space. Then, the expected value of κ, E r [ κ ] , is defined by:
E r [ κ ] = 0 + Tr { κ ρ } d ρ 0 Tr { κ ρ } d ρ ,
Example 2.
Assume that κ is a rough variable represented laconically by κ = ( [ p , q ] , [ o , l ] ) with o p < q l . Then, we have:
E r [ κ ] = 1 4 ( p + q + o + l ) .
When p = o and q = l , we obtain:
E r [ κ ] = 1 2 ( q + p ) .
Theorem 2.
(Liu [6]) Assume that a rough space is described by (Λ, Δ, A , π), κ and λ are two rough variables with expected values E r [ κ ] and E r [ λ ] , respectively. Then, we have:
E r [ i κ + j λ ] = i E r [ κ ] + j E r [ λ ] ,
where i and j are two real numbers.

2.3. Rough Random Variable

As a natural extension of rough set theory and probability theory, rough random theory was proposed by Liu [6] for studying the indeterminate phenomenon with combined rough and random information. In this section, for the purpose of describing a rough random variable more precisely, some elementary concepts of rough random variables, including the chance measure and expected value operator, are reviewed below.
Definition 9.
(Liu [17]) Assume that a probability space is described by ( Ω , A , Pr ) . Then, a rough random variable κ on the space is defined as a function from the space to the set of rough variables such that Tr { κ ( τ ) O } is a measurable function of τ for any Borel set O of R .
Definition 10.
(Liu [17]) Assume that a probability space is described by ( Ω , A , Pr ) , κ is a rough random variable and E r represents the expected operator of rough variables. Then, the expected value of κ, E [ κ ] , is defined by:
E [ κ ] = 0 + Pr { τ Ω | E r [ κ ( τ ) ] ρ } d ρ 0 Pr { τ Ω | E r [ κ ( τ ) ] ρ } d ρ ,
provided that at least one of the two integrals is finite.
Theorem 3.
(Liu [17]) Assume that a probability space is described by ( Ω , A , Pr ) and κ and λ are two rough random variables with expected values E [ κ ] and E [ λ ] , respectively. Then, we have:
E [ i κ + j λ ] = i E [ κ ] + j E [ λ ] ,
where i and j are two real numbers.
Definition 11.
(Liu [17]) Assume that a probability space is described by ( Ω , A , Pr ) and κ is a rough random variable with expected value E ( κ ) . Then, the variance of κ, V [ κ ] , is defined by:
V [ κ ] = E [ ( κ E ( κ ) ) 2 ] .
Definition 12.
(Liu [17]) Assume that a probability space is described by ( Ω , A , Pr ) with a rough random variable κ on the space. Then, the chance of the event κ O , Ch { κ O } , is defined by:
Ch { κ O } ( α ) = sup Pr { A } α inf τ A Tr { κ ( τ ) O } ,
where O is a Borel set of R .

3. Inequalities of Rough Random Variables

In this section, the five celebrated inequalities (Markov inequality, Chebyshev inequality, Holder’s inequality, Minkowski inequality and Jensen’s inequality) commonly used in probability theory and demonstrated for rough variables by Liu [20] are also clarified for rough random variables, which will give substantial theoretical support for practical applications, involving decision making, resource-constrained project schedule, and so on, and then will make them well solved.
Theorem 4.
Assume that a probability space is described by ( Ω , A , Pr ) with a rough random variable κ on the space. Provided that a function g is measurable, nonnegative and strictly increasing on [ 0 , ) , then we have:
Ch { | κ | r } ( α ) E [ g ( κ ) ] α g ( r ) ,
where r and α are two predetermined real numbers satisfying r > 0 and α ( 0 , 1 ] .
Proof of Theorem 4.
Since κ ( τ ) is a rough variable where τ Ω , it follows from the inequality proven by Liu [17] that:
Tr { | κ ( τ ) | r } E [ g ( κ ( τ ) ) ] g ( r )
for each τ . Specifically, when Pr { A } α where A Ω , we have:
inf τ A Tr { | κ ( τ ) | r } E [ g ( κ ( τ ) ) ] g ( r ) , τ A .
Since the function g is nonnegative, we have:
E [ g ( κ ) ] g ( r ) = 1 g ( r ) 0 + Pr { τ Ω | E r [ g ( κ ( τ ) ) ] ρ } d ρ 1 g ( r ) 0 + Pr { τ A | E r [ g ( κ ( τ ) ) ] ρ } d ρ 0 + Pr { τ A | inf τ A Tr { | κ ( τ ) | r } ρ } d ρ = inf τ A Tr { | κ ( τ ) | r } · Pr A inf τ A Tr { | κ ( τ ) | r } · α .
Simplifying the inequality, we obtain:
inf τ A Tr { | κ ( τ ) | r } E [ g ( κ ) ] α g ( r ) .
Due to the arbitrariness of A, the above inequality can be rewritten as:
sup Pr { A } α inf τ A Tr { | κ ( τ ) | r } E [ g ( κ ) ] α g ( r ) .
That is,
Ch { | κ | r } ( α ) E [ g ( κ ) ] α g ( r ) .
  ☐
Especially, when the function g in Theorem 4 takes designated forms, the inequality (21) can be seen as the two well-known inequalities, Markov inequality and Chebyshev inequality, in rough random theory. A brief proof will be given in the following.
Theorem 5.
(Markov inequality) Assume that a probability space is described by ( Ω , A , Pr ) with a rough random variable κ on the space. Then, we have:
Ch { | κ | r } ( α ) E [ | κ | s ] α r s ,
where r, s and α are three predetermined real numbers satisfying r > 0 , s > 0 and α ( 0 , 1 ] .
Proof of Theorem 5.
Suppose that the function g ( x ) is equal to | x | s with s > 0 . Then, for a positive number r, we have:
g ( κ ) = | κ | s , g ( r ) = | r | s .
Substituting them into the inequality (21), then we have:
Ch { | κ | r } ( α ) E [ g ( κ ) ] α g ( r ) = E [ | κ | s ] α r s .
  ☐
Theorem 6.
(Chebyshev inequality) Assume that a probability space is described by ( Ω , A , Pr ) and κ is a rough random variable with finite variance V [ κ ] . Then, we have:
Ch | κ E [ κ ] | r ( α ) V [ κ ] α r 2 ,
where r and α are two predetermined real numbers satisfying r > 0 and α ( 0 , 1 ] .
Proof of Theorem 6.
Based on Definition 11, the inequality (23) can be reformed as:
Ch { | κ E [ κ ] | r } ( α ) E [ ( κ E ( κ ) ) 2 ] α r 2 .
Letting κ = κ E [ κ ] , then we obtain:
Ch { | κ | r } ( α ) E [ | κ | 2 ] α r 2 .
In light of the Markov inequality, the inequality (23) is obtained immediately. ☐
Chebyshev and Markov inequalities describe the upper bound of chance with different conditions where the absolute value of a rough random variable is no less than a positive number, which state the fundamental properties of a rough random variable. Based on these, numerous inequalities about rough random variables can be verified with a slight alteration.
Theorem 7.
Assume that a probability space is described by ( Ω , A , Pr ) and κ is a rough random variable with a finite expected value of its modulus e ˜ . Then, we have:
Ch { | κ | e ˜ } ( α ) 1 α .
Proof of Theorem 7.
Owing to κ being a rough random variable, it follows from Equation (22) that:
Ch { | κ | r } ( α ) E [ | κ | s ] α r s ,
where r > 0 and s > 0 . Assuming that r = e ˜ and s = 1 , respectively, it can be derived that:
Ch { | κ | e ˜ } ( α ) e ˜ α e ˜ = 1 α .
  ☐
Theorem 8.
(Holder’s inequality) Assume that a probability space is described by ( Ω , A , Pr ) and κ and λ are two rough random variables on this space. Provided that s and t are two positive numbers satisfying 1 / s + 1 / t = 1 , then we have:
E [ | κ λ | ] E [ | κ | s ] s · E [ | λ | t ] t ,
where E [ | κ | s ] < and E [ | λ | t ] < .
Proof of Theorem 8.
To prove the inequality (25), two cases should be discussed. Case 1: Assume that at least one of the two rough random variables κ and λ is equal to zero. It can be easily deduced that:
E [ | κ τ | ] = E [ 0 ] = 0 , E [ | κ | s ] s · E [ | λ | t ] t = 0 .
The inequality (25) holds obviously for this case. Case 2: Assume that the two rough random variables κ and λ are both greater than zero. In this case, we can obtain E [ | κ | s ] > 0 , E [ | λ | t > 0 , and E [ | κ λ | ] > 0 . Let the function g ( x , y ) = x s y t be defined on the first quadrant. Obviously, the function g ( x , y ) is concave on the definition domain. Thus for any given point ( x 1 , y 1 ) in the first quadrant, there always exits an inequality that:
g ( x , y ) g ( x 1 , y 1 ) i ( x x 1 ) + j ( y y 1 ) , x > 0 , y > 0 ,
where i and j are two real numbers. Assuming that x 1 = E [ | κ | s ] , y 1 = E [ | λ | t ] , x = | κ | s , and y = | λ | t , respectively, we have:
g ( | κ | s , | λ | t ) g ( E [ | κ | s ] , E [ | λ | t ] ) i ( | κ | s E [ | κ | s ] ) + j ( | λ | t E [ | λ | t ] ) .
Take the expected value on both sides simultaneously, and then, we have:
E [ g ( | κ | s , | λ | t ) ] g ( E [ | κ | s ] , E [ | λ | t ] ) .
That is,
E [ | κ λ | ] E [ | κ | s ] s · E [ | λ | t ] t .
  ☐
Theorem 9.
(Minkowski inequality) Assume that a probability space is described by ( Ω , A , Pr ) and κ and λ are two rough random variables. Provided that s is a positive number satisfying 1 s < , then we have:
E [ | κ + λ | s ] s E [ | κ | s ] s + E [ | λ | s ] s .
Proof of Theorem 9.
To prove the inequality (26), two cases should be discussed similarly. Case 1: Assume that at least one of the two rough random variables κ and λ is equal to zero. The inequality (26) holds obviously. Case 2: Assume that the two rough random variables κ and λ are both greater than zero. In this case, we have E [ | κ | s ] > 0 , E [ | λ | s > 0 and E [ | κ + λ | ] > 0 . Suppose that the function g ( x , y ) = ( x s + y s ) s is defined on the first quadrant. Obviously, the function g ( x , y ) is concave on the definition domain. Thus, for any given point ( x 1 , y 1 ) in the first quadrant, there always exits an inequality that:
g ( x , y ) g ( x 1 , y 1 ) i ( x x 1 ) + j ( y y 1 ) , x > 0 , y > 0 ,
where i and j are two real numbers. Assuming that x 1 = E [ | κ | s ] , y 1 = E [ | λ | s ] , x = | κ | s and y = | λ | s , respectively, we have:
g ( | κ | s , | λ | s ) g ( E [ | κ | s ] , E [ | λ | s ] ) i ( | κ | s E [ | κ | s ] ) + j ( | λ | s E [ | λ | s ] ) .
Take the expected value on both sides simultaneously, and then, we get:
E [ g ( | κ | s , | λ | s ) ] g ( E [ | κ | s ] , E [ | λ | s ] ) .
That is,
E [ | κ + λ | s ] s E [ | κ | s ] s + E [ | λ | s ] s .
  ☐
Theorem 10.
(Jensen’s inequality) Assume that a probability space is described by ( Ω , A , Pr ) and κ is a rough random variable with a finite expected value E [ κ ] . Provided that the function g is convex and the expected value of g ( κ ) , E [ g ( κ ) ] , is finite, then we obtain:
g ( E [ κ ] ) E [ g ( κ ) ] .
Further, supposing that the function g ( x ) is equal to | x | s with s 1 , we have | E [ κ ] | s E [ | κ | s ] .
Proof of Theorem 10.
For any convex function g ( x ) , there always exists a recognized inequality:
g ( x ) g ( y ) i · ( x y ) ,
where i is a real number. Since the function g is convex, substitute the rough random variable κ for x and its expected value E [ κ ] for y separately, and we have:
g ( κ ) g ( E [ κ ] ) i · ( κ E [ κ ] ) .
Taking the expected value on both sides simultaneously, then we have:
E [ g ( κ ) ] g ( E [ κ ] ) i · ( E [ κ ] E [ κ ] ) = 0 .
  ☐
Holder’s inequality and Minkowski inequality discuss the relationship between the expected value of rough random variables, while Jensen’s inequality depicts the function character of the expected value of a rough random variable. In view of these inequalities, we can directly deduce some other serviceable inequalities regarding convex functions as follows.
Theorem 11.
Assume that a probability space is described by ( Ω , A , Pr ) and κ and λ are two rough random variables with E [ | κ | ] < and E [ | λ | ] < . Provided that the function g is convex, then following Theorems 9 and 10, we obtain:
E [ | κ | ] + E [ | λ | ] E [ | κ + λ | ] | E [ κ + λ ] | .

4. Critical Values of Rough Random Variables

For the purpose of depicting a rough random variable more profoundly, Liu [17] gave the definition of the optimistic and the pessimistic value of rough random variables. As an extension of Liu’s work, this section further dives into the properties (monotonicity, continuity and others) of critical values.
Definition 13.
(Liu [17]) Assume that a rough random variable is represented by κ and γ , δ are two positive numbers in ( 0 , 1 ] . Then, we have:
κ sup ( γ , δ ) = sup t | Ch { κ t ( γ ) δ } ,
where κ sup ( γ , δ ) represents the ( γ , δ ) optimistic value of κ, and:
κ inf ( γ , δ ) = inf t | Ch { κ t } ( γ ) δ ,
where κ inf ( γ , δ ) represents the ( γ , δ ) pessimistic value of κ.
Theorem 12.
(Liu [17]) Assume that a rough random variable is represented by κ and γ , δ are two positive numbers in ( 0 , 1 ] . Then, we obtain:
Ch { κ κ inf ( γ , δ ) } ( γ ) δ , Ch { κ κ sup ( γ , δ ) } ( γ ) δ .
Theorem 13.
Assume that a rough random variable is represented by κ and a is a real number. Then, we obtain:
(i) when a 0 , ( a κ ) sup ( γ , δ ) = a κ sup ( γ , δ ) and ( a κ ) inf ( γ , δ ) = a κ inf ( γ , δ ) ;
(ii) when a < 0 , ( a κ ) sup ( γ , δ ) = a κ inf ( γ , δ ) and ( a κ ) inf ( γ , δ ) = a κ sup ( γ , δ ) .
Proof of Theorem 13.
(i) When a is equal to zero first, Part (i) holds obviously.
Suppose that the number a is greater than zero; we have:
( a κ ) sup ( γ , δ ) = sup t | Ch { a κ t ( γ ) δ } = a sup t / a | Ch { κ t / a ( γ ) δ } = a κ sup ( γ , δ ) .
Take the similarly proven process, and then, we have ( a κ ) inf ( γ , δ ) = a κ inf ( γ , δ ) .
(ii) When proving Part (ii), it is equivalent to proving the two inequalities ( κ ) sup ( γ , δ ) = κ inf ( γ , δ ) and ( κ ) inf ( γ , δ ) = κ sup ( γ , δ ) . The proving process is as follows:
( κ ) sup ( γ , δ ) = sup t | Ch { κ t ( γ ) δ } = inf t | Ch { κ t ( γ ) δ } = κ inf ( γ , δ ) .
A similar way can be used to prove that ( κ ) inf ( γ , δ ) = κ sup ( γ , δ ) .  ☐
Theorem 14.
(Monotonicity and continuity) Assume that a rough random variable is represented by κ. Then, we obtain:
(i) When δ takes any value in ( 0 , 1 ] , κ sup ( γ , δ ) can be denoted as a function of γ, which satisfies two characteristics, decrease and left-continuity.
(ii) When γ takes any value in ( 0 , 1 ] , κ sup ( γ , δ ) can be denoted as a function of δ, which satisfies two characteristics, decrease and left-continuity.
(iii) When δ takes any value in ( 0 , 1 ] , κ inf ( γ , δ ) can be denoted as a function of γ, which satisfies two characteristics, increase and left-continuity.
(iiii) When γ takes any value in ( 0 , 1 ] , κ inf ( γ , δ ) can be denoted as a function of δ, which satisfies two characteristics, decrease and left-continuity.
Proof of Theorem 14.
(i) When δ takes a fixed value in ( 0 , 1 ] , the function g ( γ ) = κ sup ( γ , δ ) is decreasing obviously.
Next, we prove that the function g ( γ ) = κ sup ( γ , δ ) is continuous from the left. Assume that a positive progression is denoted by { γ m }, which approaches to γ . Then, { κ sup ( γ m , δ ) } is increasing distinctly. If the sequence { κ sup ( γ m , δ ) } approaches to κ sup ( γ , δ ) , the continuity from the left is established. If not, we have:
lim m κ sup ( γ m , δ ) > κ sup ( γ , δ ) .
Assume h = ( lim m κ sup ( γ m , δ ) + κ sup ( γ , δ ) ) / 2 . It is clear that:
κ sup ( γ m , δ ) > h > κ sup ( γ , δ )
for all m. For a fixed positive number ς , there always exists a set A m where Pr { A m } γ m such that:
inf τ A m Tr { κ ( τ ) h } δ ς
for each m. Define:
A = m = 1 A m .
Visibly, Pr A Pr A m γ m . Assuming that m approaches to ∞, we get Pr A γ . Then:
Ch κ h ( γ ) = sup Pr { A } γ inf τ A Tr κ ( τ ) h inf τ A Tr κ ( τ ) h δ ς .
Assuming that ς approaches to zero, we have Ch κ h ( γ ) δ . Hence, h κ sup ( γ , δ ) . The continuity from the left is established.
(ii) When γ takes a fixed value in ( 0 , 1 ] , the function g ( δ ) = κ sup ( γ , δ ) is decreasing obviously.
Next, we prove that the function g ( δ ) = κ sup ( γ , δ ) is continuous from the left. Assume that a positive progression is denoted by { δ m }, which approaches to δ , then { κ sup ( γ , δ m ) } is increasing distinctly. If the sequence { κ sup ( γ , δ m ) } approaches to κ sup ( γ , δ ) , the continuity from the left is established. If not, we have:
lim m κ sup ( γ , δ m ) > κ sup ( γ , δ ) .
Assume h = ( lim m κ sup ( γ , δ m ) + κ sup ( γ , δ ) ) / 2 . It is clear that:
κ sup ( γ , δ m ) > h > κ sup ( γ , δ )
for all m. According to Definition 13, we have:
Ch κ h ( γ ) δ m
for each m. Assuming that m approaches to ∞, we have:
Ch κ h ( γ ) δ .
Hence, h κ sup ( γ , δ ) . The continuity from the left is established. Taking the similarly proven process, Parts (iii) and (iiii) can be proven immediately.  ☐

5. Conclusions

In this study, we first recalled some basic knowledge of random variables, rough variables and rough random variables. Based on this, some inequalities and properties of critical values, generally used in rough set theory and probability theory, are proven for rough random variables to extend and enrich rough random theory. In this paper, the contribution of our work to rough random theory is as follows: (1) The paper proved the well-known probabilistic inequalities including Markov inequality, Chebyshev inequality, Holder’s inequality, Minkowski inequality and Jensen’s inequality for rough random variables. (2) This paper delved into the critical values, and then, some properties of critical values including the continuity, monotonicity, and others, were proven methodically.

Acknowledgments

The authors are thankful to the referees for their valuable comments and suggestions that helped in the improvement of the paper.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Pawlak, Z. Rough sets. Int. J. Inf. Comput. Sci. 1982, 11, 341–356. [Google Scholar] [CrossRef]
  2. Basios, V.; Gunji, Y.P. Chaotic dynamics in biological information processing: Revisiting and revealing its logic (a mini-review). Opera Med. Physiol. 2017, 3, 1–13. [Google Scholar]
  3. Chakhar, S.; Ishizaka, A.; Labib, A.; Saad, I. Dominance-based rough set approach for group decisions. Eur. J. Oper. Res. 2016, 251, 206–224. [Google Scholar] [CrossRef] [Green Version]
  4. Liu, Y.; Yang, J.; Chen, Y.; Tan, K.; Wang, L.; Yan, X. Stability analysis of hyperspectral band selection algorithms based on neighborhood rough set theory for classification. Chemom. Intell. Lab. Syst. 2017, 169, 35–44. [Google Scholar] [CrossRef]
  5. Yao, Y.; Zhou, B. Two bayesian approaches to rough sets. Eur. J. Oper. Res. 2016, 251, 904–917. [Google Scholar] [CrossRef]
  6. Liu, B. Rough variables. In Theory and Practice of Uncertain Programming; Springer: Berlin/Heidelberg, Germany, 2002; pp. 225–234. [Google Scholar]
  7. Changdar, C.; Pal, R.K.; Mahapatra, G.S. A genetic ant colony optimization based algorithm for solid multiple travelling salesmen problem in fuzzy rough environment. Soft Comput. 2017, 21, 4661–4675. [Google Scholar] [CrossRef]
  8. Chen, Y.; Niu, Z.; Wang, L. L2 continuity of the Calderón type commutator for the Littlewood-Paley operator with rough variable kernel. Kodai Math. J. 2017, 4, 405–420. [Google Scholar] [CrossRef]
  9. Chen, D.; Zhang, L.; Zhao, S.; Hu, Q.; Zhu, P. A novel algorithm for finding reducts with fuzzy rough sets. IEEE Trans. Fuzzy Syst. 2012, 20, 385–389. [Google Scholar] [CrossRef]
  10. Lingras, P. Fuzzy-rough and rough-fuzzy serial combinations in neurocomputing. Neurocomputing 2001, 36, 29–44. [Google Scholar] [CrossRef]
  11. Kwakernaak, H. Fuzzy random variables—I. Definitions and theorems. Inf. Sci. 1978, 15, 1–29. [Google Scholar] [CrossRef]
  12. Puri, M.L.; Ralescu, D. Fuzzy random variables. J. Math. Anal. Appl. 1986, 114, 409–422. [Google Scholar] [CrossRef]
  13. Kruse, R.; Meyer, K.D. Vague data. In Statistics with Vague Data; D. Reidel Publishing Company: Dordrecht, The Netherlands, 1987; pp. 3–9. [Google Scholar]
  14. Kaluszka, M.; Krzeszowiec, M. On risk aversion under fuzzy random data. Fuzzy Set Syst. 2017, 328, 35–53. [Google Scholar] [CrossRef]
  15. Wang, C.; Li, Y.; Huang, G. Taguchi-factorial type-2 fuzzy random optimization model for planning conjunctive water management with compound uncertainties. Environ. Model. Softw. 2017, 97, 184–200. [Google Scholar] [CrossRef]
  16. Dubois, D.; Prade, H. Rough fuzzy sets and fuzzy rough sets. Int. J. Gen. Syst. 1990, 17, 191–200. [Google Scholar] [CrossRef]
  17. Liu, B. Rough random theory. In Uncertainty Theory: An Introduction to Its Axiomatic Foundations; Springer: Berlin/Heidelberg, Germany, 2004; pp. 293–308. [Google Scholar]
  18. Wang, J.; Kuang, J.; Wang, J.; Zhang, H. An extended outranking approach to rough stochastic multi-criteria decision-making problems. Fuzzy Cogn. Comput. 2016, 8, 1144–1160. [Google Scholar] [CrossRef]
  19. Zhang, Z.; Xu, J. Applying rough random MODM model to resource-constrained project scheduling problem: A case study of pubugou hydropower project in China. Ksce J. Civ. Eng. 2014, 18, 1279–1291. [Google Scholar] [CrossRef]
  20. Liu, B. Inequalities and convergence concepts of fuzzy and rough variables. Fuzzy Optim. Decis. Mak. 2003, 2, 87–100. [Google Scholar] [CrossRef]
  21. Yang, L.; Liu, B. On inequalities and critical values of fuzzy random variable. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 2005, 13, 163–175. [Google Scholar] [CrossRef]
  22. Zhao, M.; Liu, J.; Wang, K. A note on inequalities and critical values of fuzzy rough variables. J. Inequal. Appl. 2015, 2015, 262. [Google Scholar] [CrossRef]
  23. Zhu, Y.; Liu, B. Some inequalities of random fuzzy variables with application to moment convergence. Comput. Math. Appl. 2005, 50, 719–727. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Gu, Y.; Zhang, Q.; Yu, L. Some Inequalities Combining Rough and Random Information. Entropy 2018, 20, 211. https://doi.org/10.3390/e20030211

AMA Style

Gu Y, Zhang Q, Yu L. Some Inequalities Combining Rough and Random Information. Entropy. 2018; 20(3):211. https://doi.org/10.3390/e20030211

Chicago/Turabian Style

Gu, Yujie, Qianyu Zhang, and Liying Yu. 2018. "Some Inequalities Combining Rough and Random Information" Entropy 20, no. 3: 211. https://doi.org/10.3390/e20030211

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop