arXiv reader

Fuzzy signed measure

Jun Tanaka

arXiv
0806.0033v1 · PDF · 30 May 2008
Categories
math.LO
Licence
CC BY 4.0 The site shows the text.

Abstract

we will define a fuzzy signed measure on \sigma-algebras, as well as positive and negative sets. Herein, we will show that the Fuzzy Hahn Decomposition Theorem, which is a generalization of the classical Hahn Decomposition Theorem, decompose any space X into a positive set A and a negative set B such that A+B=X and the signed measure of A \wedge B is 0.

Items 15

Definition

Definition 1

DPB5

Unless otherwise stated, X is a space and \mu_{\Box} is a membership function of any fuzzy set \Box. If a family \sigma of membership functions on X satisfies the following conditions, then it is called fuzzy \sigma-algebra;

(1) \forall \alpha \in [0,1], \alpha is constant; \alpha \in \sigma.

(2) \forall \mu \in \sigma, 1-\mu \in \sigma.

(3) if (\mu_{n} )_{n \in N} \in \sigma^{N}, then \sup \mu_{n} \in \sigma.

Used by Definition 2, Definition 3, proposition 1, Theorem 2, Theorem 3, Definition 4, Definition 5, Lemma 1, Lemma 2
Definition

Definition 2

B2C2

If m : \sigma \mapsto \mathbb{R} \cup \{\infty \} satisfying the following properties, then m is called a fuzzy measure.

(1) m (\emptyset) = m (0) = 0.

(2) \forall \mu , \eta \in \sigma s.t. m( \mu) , m(\eta) \geq 0 : \mu \leq \eta \Rightarrow m ( \mu) \leq m (\eta).

(3) \forall \mu , \eta \in \sigma : m( \mu \vee \eta ) + m( \mu \wedge \eta ) = m( \mu) + m(\eta).

(4) ( \mu_{n} )_{n \in N} \subset \sigma^{N} such that \mu_{1} \leq \mu_{2} \leq \cdots \leq \mu_{n} \leq \cdots : \sup \mu_{n} = \mu \Rightarrow m( \mu ) = \lim m( \mu_{n} ).

Uses Definition 1
Definition

Definition 3

OCZ3

By an outer fuzzy measure m^{\ast}, we mean an extended real-value set function defined on [0,1]^{X}, having the following properties:

(1) m^{\ast}(0) = 0

(2) m^{\ast} ( \mu) \leq m^{\ast} (\eta) for \mu \leq \eta

(3) m^{\ast} ( \vee_{i=1}^{\infty} \mu_{E_{i}} ) \leq \vee_{i=1}^{\infty} m^{\ast}( \mu_{E_{i}} ).

Uses Definition 1
Example

Example 1

SERB

Suppose

m^{\ast}(\mu_{E} ) = \begin{cases} 0 \quad & \mu_{E} = 0 \\ 1 \quad & \mu_{E} \neq 0 \end{cases}

Then m^{\ast} is an outer fuzzy measure which is not fuzzy measure on [0,1]^X, if X has at least two points.

proposition

proposition 1

WQUP

Let F be a class of fuzzy subsets of X containing empty set such that for every \mu_{A} \leq \mu_{X}, there exists a sequence (\mu_{B_{n}})^{\infty}_{n=1}, \mu_{B_{n}} \in F such that \mu_{A} \leq \sup(\mu_{B_{n}})^{\infty}_{n=1}. Let \tau be an extended real-valued function on F such that \tau (0) = 0 and \tau(\mu_{A}) \geq 0 for \mu_{A} \in F. Then m^{\ast} defined on [0,1]^{X} by m^{\ast} (\mu_{A}) = \inf \{ \tau ( \vee^{\infty}_{i=1} \mu_{B_{n}}) : \mu_{B_{n}} \in F s.t. \mu_{A} \leq \vee^{\infty}_{i=1} \mu_{B_{n}} \} is a outer fuzzy measure.

Proof.

Clearly, m^{\ast} ( \emptyset) = 0. Secondly, if \mu_{A_{1}} \leq \mu_{A_{2}} and \mu_{A_{2}} \leq \vee^{\infty}_{i=1} \mu_{B_{n}}, then \mu_{A_{1}} \leq \vee^{\infty}_{i=1} \mu_{B_{n}}. Thus m^{\ast} (\mu_{A_{1}}) \leq m^{\ast} (\mu_{A_{2}}).

Finally, let \mu_{E_{n}} \leq \mu_{X} for each natural number n. Then m^{\ast}(\mu_{E_{n}}) = \infty for some n, m^{\ast}(\vee_{n=1}^{\infty} \mu_{E_{n}}) \leq \vee_{n=1}^{\infty} m^{\ast} \mu_{E_{n}}.

Uses Definition 1
Proof

Proof

V2M7

Clearly, m^{\ast} ( \emptyset) = 0. Secondly, if \mu_{A_{1}} \leq \mu_{A_{2}} and \mu_{A_{2}} \leq \vee^{\infty}_{i=1} \mu_{B_{n}}, then \mu_{A_{1}} \leq \vee^{\infty}_{i=1} \mu_{B_{n}}. Thus m^{\ast} (\mu_{A_{1}}) \leq m^{\ast} (\mu_{A_{2}}).

Finally, let \mu_{E_{n}} \leq \mu_{X} for each natural number n. Then m^{\ast}(\mu_{E_{n}}) = \infty for some n, m^{\ast}(\vee_{n=1}^{\infty} \mu_{E_{n}}) \leq \vee_{n=1}^{\infty} m^{\ast} \mu_{E_{n}}.

Theorem

Theorem 2

SHSM

The class B of m^{\ast}-fuzzy measurable sets is a \sigma-algebra. Also \overline{m}, the restriction of m^{\ast} to B, is a measure.

Uses Definition 1
Theorem

Theorem 3

UI6V

Let m be a fuzzy measure on a \sigma-algebra \sigma \subseteq [0,1]^X.

Suppose for \mu_{E} \leq \mu_{X}

m^{\ast} ( \mu_{E} ) = \inf \{ m ( \vee^{\infty}_{i=1} \mu_{E_{n}}) : \mu_{E_{n}} \in \sigma s.t. \mu_{E} \leq \vee^{\infty}_{i=1} \mu_{E_{n}} \}

Then the following properties hold:

(i) m^{\ast} is an outer fuzzy measure.

(ii) \mu_{E} \in \sigma implies m(\mu_{E}) = m^{\ast}(\mu_{E})

(iii) \mu_{E} \in \sigma implies \mu_{E} is m^{\ast}-fuzzy measurable.

(iv) The restriction \overline{m} of m^{\ast} to the m^{\ast}-fuzzy measurable sets in an extension of m to a fuzzy measure on a fuzzy \sigma-algebra containing \sigma.

(v) If m is fuzzy \sigma-finite, then \overline{m} is the only fuzzy measure (on the smallest fuzzy \sigma-algebra containing \sigma) that is an extension of m.

Uses Definition 1
Definition

Definition 4

3WGJ

By a fuzzy signed measure on the fuzzy measurable space (X, \sigma) we mean \nu : \sigma \mapsto \mathbb{R} \cup \{\infty \} or \mathbb{R} \cup \{- \infty \}, satisfying the following property:

(1) \nu (\emptyset) = \nu (0) = 0.

(2) \forall \mu , \eta \in \sigma s.t. \nu( \mu) , \nu(\eta) \geq 0 : \mu \leq \eta \Rightarrow \nu( \mu) \leq \nu(\eta).

\forall \mu , \eta \in \sigma s.t. \nu( \mu) , \nu(\eta) \leq 0 : \mu \leq \eta \Rightarrow \nu(\eta) \leq \nu( \mu).

(3) \forall \mu , \eta \in \sigma : \nu( \mu \vee \eta ) + \nu( \mu \wedge \eta ) = \nu( \mu) + \nu(\eta).

(4) ( \mu_{n} )_{n \in N} \subset \sigma^{N} such that \mu_{1} \leq \mu_{2} \leq \cdots \leq \mu_{n} \leq \cdots : \sup \mu_{n} = \mu \Rightarrow \nu( \mu ) = \lim \nu( \mu_{n} ).

This is meant in the sense that if the left-hand side is finite, the series on the right-hand side is convergent, and if the left-hand side is \pm \infty, then the series on the right-hand side diverges accordingly.

Uses Definition 1 · Used by Proof
Remark

Remark 1

WM7Z

The Fuzzy signed measure is a fuzzy measure when it takes only positive value. Thus, the fuzzy signed measure is a generalization of fuzzy measure.

Definition

Definition 5

6SLQ

A is a positive fuzzy set if for any fuzzy measurable set E in A, \nu (\mu_{E}) \geq 0. Similarly, B is a negative fuzzy set if for any fuzzy measurable set E in B, \nu (\mu_{E}) \leq 0.

Uses Definition 1
Lemma

Lemma 1

UAXN

Every fuzzy subset of a positive fuzzy set is a positive fuzzy set and any countable union of positive fuzzy sets is a positive fuzzy set.

Proof.

The first claim is clear. Before we show the second claim, we need to show that every union of positive sets is a positive set. Let A, B be fuzzy positive sets and E \leq A \vee B be a fuzzy measurable set. By (2) in Definition \ref{De:1}, 0 \leq \nu (\mu_{B} \wedge \mu_{E}) - \nu (\mu_{A} \wedge \mu_{B} \wedge \mu_{E}). By (3), \nu (\mu_{E}) \geq 0. Now by induction, every finite union of fuzzy positive sets is a positive fuzzy set. Let A_{n} be a positive fuzzy set for all n and E \leq \vee A_{n} be a fuzzy measurable set. Then \mu_{E_{m}} := \mu_{E} \wedge \vee_{n=1}^{m} \mu_{A_{n} } = \vee_{n=1}^{m} \mu_{ E} \wedge \mu_{A_{n} }. Then E_{m} is a fuzzy measurable set and a positive fuzzy set. In particular, \mu_{E_{m}} \leq \mu_{E_{m+1}} for all n and \mu_{E} = \vee_{n=1}^{\infty} \mu_{E_{m} }. Thus 0 \leq \lim \nu ( \mu_{E_{m}} ) = \nu ( \mu_{E }). Therefore \vee A_{n} is a positive set.

Uses Definition 1
Proof

Proof

D6PP

The first claim is clear. Before we show the second claim, we need to show that every union of positive sets is a positive set. Let A, B be fuzzy positive sets and E \leq A \vee B be a fuzzy measurable set. By (2) in Definition \ref{De:1}, 0 \leq \nu (\mu_{B} \wedge \mu_{E}) - \nu (\mu_{A} \wedge \mu_{B} \wedge \mu_{E}). By (3), \nu (\mu_{E}) \geq 0. Now by induction, every finite union of fuzzy positive sets is a positive fuzzy set. Let A_{n} be a positive fuzzy set for all n and E \leq \vee A_{n} be a fuzzy measurable set. Then \mu_{E_{m}} := \mu_{E} \wedge \vee_{n=1}^{m} \mu_{A_{n} } = \vee_{n=1}^{m} \mu_{ E} \wedge \mu_{A_{n} }. Then E_{m} is a fuzzy measurable set and a positive fuzzy set. In particular, \mu_{E_{m}} \leq \mu_{E_{m+1}} for all n and \mu_{E} = \vee_{n=1}^{\infty} \mu_{E_{m} }. Thus 0 \leq \lim \nu ( \mu_{E_{m}} ) = \nu ( \mu_{E }). Therefore \vee A_{n} is a positive set.

Uses Definition 4
Lemma

Lemma 2

KO6P

Let E be a fuzzy measurable set such that 0 < \nu (\mu_{E}) < \infty. Then there is a positive fuzzy set A \leq E with \nu (\mu_{A}) > 0.

Proof.

If E is a positive fuzzy set, we take A=E. Otherwise, E contains a set of negative measure. Let n_{1} be the smallest positive integer such that there is a measurable set E_{1} \subset E with \nu ( \mu_{E_{1} }) < - \frac{1}{n_{1}}. Proceeding inductively, if E\wedge \wedge_{j=1}^{k-1} E_{j}^C is not already a positive set, let n_{k} be the smallest positive integer for which there is a fuzzy measurable set E_{k} such that E_{k} \leq E \wedge \wedge_{j=1}^{k-1} E_{j} and \nu ( \mu_{E_{k}}) < - \frac{1}{n_{k}}.

Let A = ( \vee E_{k})^C.

Then \nu (\mu_{E}) = \nu ( \mu_{E} \wedge \mu_{A} ) + \nu(\mu_{E} \wedge \vee \mu_{E_{k} } ) = \nu (\mu_{E} \wedge \mu_{ A } ) + \nu( \vee \mu_{E_{k}} ). Since \nu (\mu_{E}) is finite, \lim_{n \rightarrow \infty} \nu( \vee^{n} \mu_{E_{k}} ) is finite and \nu( \vee \mu_{ E_{k} } ) \leq 0. Since \nu (\mu_{E}) > 0 and \nu( \vee \mu_{E_{k}} ) \leq 0, \nu (\mu_{E} \wedge \mu_{A} ) > 0.

We will show that A is a positive set. Let \epsilon > 0. Since \frac{1}{n_{k}} \rightarrow 0, we may choose k such that -\frac{1}{n_{k} - 1}, which is greater than - \epsilon. Thus A contains no fuzzy measurable sets of measure less than - \epsilon. Since \epsilon was arbitrary positive number, it follows that A can contain no sets of negative measure and so must be a positive fuzzy set.

Uses Definition 1
Proof

Proof

HXJB

If E is a positive fuzzy set, we take A=E. Otherwise, E contains a set of negative measure. Let n_{1} be the smallest positive integer such that there is a measurable set E_{1} \subset E with \nu ( \mu_{E_{1} }) < - \frac{1}{n_{1}}. Proceeding inductively, if E\wedge \wedge_{j=1}^{k-1} E_{j}^C is not already a positive set, let n_{k} be the smallest positive integer for which there is a fuzzy measurable set E_{k} such that E_{k} \leq E \wedge \wedge_{j=1}^{k-1} E_{j} and \nu ( \mu_{E_{k}}) < - \frac{1}{n_{k}}.

Let A = ( \vee E_{k})^C.

Then \nu (\mu_{E}) = \nu ( \mu_{E} \wedge \mu_{A} ) + \nu(\mu_{E} \wedge \vee \mu_{E_{k} } ) = \nu (\mu_{E} \wedge \mu_{ A } ) + \nu( \vee \mu_{E_{k}} ). Since \nu (\mu_{E}) is finite, \lim_{n \rightarrow \infty} \nu( \vee^{n} \mu_{E_{k}} ) is finite and \nu( \vee \mu_{ E_{k} } ) \leq 0. Since \nu (\mu_{E}) > 0 and \nu( \vee \mu_{E_{k}} ) \leq 0, \nu (\mu_{E} \wedge \mu_{A} ) > 0.

We will show that A is a positive set. Let \epsilon > 0. Since \frac{1}{n_{k}} \rightarrow 0, we may choose k such that -\frac{1}{n_{k} - 1}, which is greater than - \epsilon. Thus A contains no fuzzy measurable sets of measure less than - \epsilon. Since \epsilon was arbitrary positive number, it follows that A can contain no sets of negative measure and so must be a positive fuzzy set.

Source and licence

The text on this page is from arXiv:0806.0033v1 by Jun Tanaka, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/0806/0806.0033.jsonl.