Hubbry Logo
Signed measureSigned measureMain
Open search
Signed measure
Community hub
Signed measure
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Signed measure
Signed measure
Signed measure
View on Wikipedia
from Wikipedia

In mathematics, a signed measure is a generalization of the concept of (positive) measure by allowing the set function to take negative values, i.e., to acquire sign.

Definition

[edit]

There are two slightly different concepts of a signed measure, depending on whether or not one allows it to take infinite values. Signed measures are usually only allowed to take finite real values, while some textbooks allow them to take infinite values. To avoid confusion, this article will call these two cases "finite signed measures" and "extended signed measures".

Given a measurable space (that is, a set with a σ-algebra on it), an extended signed measure is a set function such that and is σ-additive – that is, it satisfies the equality for any sequence of disjoint sets in The series on the right must converge absolutely when the value of the left-hand side is finite. One consequence is that an extended signed measure can take or as a value, but not both. The expression is undefined[1] and must be avoided.

A finite signed measure (a.k.a. real measure) is defined in the same way, except that it is only allowed to take real values. That is, it cannot take or

Finite signed measures form a real vector space, while extended signed measures do not because they are not closed under addition. On the other hand, measures are extended signed measures, but are not in general finite signed measures.

Examples

[edit]

Consider a non-negative measure on the space (X, Σ) and a measurable function f: X → R such that

Then, a finite signed measure is given by

for all A in Σ.

This signed measure takes only finite values. To allow it to take +∞ as a value, one needs to replace the assumption about f being absolutely integrable with the more relaxed condition

where f−(x) = max(−f(x), 0) is the negative part of f.

Properties

[edit]

What follows are two results which will imply that an extended signed measure is the difference of two non-negative measures, and a finite signed measure is the difference of two finite non-negative measures.

The Hahn decomposition theorem states that given a signed measure μ, there exist two measurable sets P and N such that:

  1. P∪N = X and P∩N = ∅;
  2. μ(E) ≥ 0 for each E in Σ such that E ⊆ P — in other words, P is a positive set;
  3. μ(E) ≤ 0 for each E in Σ such that E ⊆ N — that is, N is a negative set.

Moreover, this decomposition is unique up to adding to/subtracting μ-null sets from P and N.

Consider then two non-negative measures μ+ and μ− defined by

and

for all measurable sets E, that is, E in Σ.

One can check that both μ+ and μ− are non-negative measures, with one taking only finite values, and are called the positive part and negative part of μ, respectively. One has that μ = μ+ − μ−. The measure |μ| = μ+ + μ− is called the variation of μ, and its maximum possible value, ||μ|| = |μ|(X), is called the total variation of μ.

This consequence of the Hahn decomposition theorem is called the Jordan decomposition. The measures μ+, μ− and |μ| are independent of the choice of P and N in the Hahn decomposition theorem.

The space of signed measures

[edit]

The sum of two finite signed measures is a finite signed measure, as is the product of a finite signed measure by a real number – that is, they are closed under linear combinations. It follows that the set of finite signed measures on a measurable space (X, Σ) is a real vector space; this is in contrast to positive measures, which are only closed under conical combinations, and thus form a convex cone but not a vector space. Furthermore, the total variation defines a norm in respect to which the space of finite signed measures becomes a Banach space. This space has even more structure, in that it can be shown to be a Dedekind complete Banach lattice and in so doing the Radon–Nikodym theorem can be shown to be a special case of the Freudenthal spectral theorem.

If X is a compact separable space, then the space of finite signed Baire measures is the dual of the real Banach space of all continuous real-valued functions on X, by the Riesz–Markov–Kakutani representation theorem.

See also

[edit]

Notes

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Signed measure

View on Grokipedia
from Grokipedia
A signed measure is a generalization of the concept of a measure in measure theory, defined on a (X,A)(X, \mathcal{A}) as a function ν:A→R‾\nu: \mathcal{A} \to \overline{\mathbb{R}} (the extended real line) such that ν(∅)=0\nu(\emptyset) = 0, ν\nu takes at most one of the values ±∞\pm \infty, and for any countable collection of pairwise {En}n=1∞⊂A\{E_n\}_{n=1}^\infty \subset \mathcal{A}, ν(⋃n=1∞En)=∑n=1∞ν(En)\nu\left(\bigcup_{n=1}^\infty E_n\right) = \sum_{n=1}^\infty \nu(E_n) (with the sum converging absolutely whenever it is finite). Signed measures extend positive measures by allowing negative values, enabling the representation of phenomena like net charges or differences in mass distributions, and they can be expressed as the difference of two positive measures under certain conditions, such as when at least one is finite. Key properties include continuity from below and above for monotone sequences of sets (with the latter requiring finite initial values), and the existence of positive sets (where subsets have non-negative measure) and negative sets (where subsets have non-positive measure). Central to the are the Hahn decomposition theorem, which partitions the space into a positive set and a negative set unique up to null sets, and the decomposition theorem, which uniquely expresses any signed measure ν\nu as ν=ν+−ν−\nu = \nu^+ - \nu^-, where ν+\nu^+ and ν−\nu^- are singular positive measures defining the ∣ν∣=ν++ν−|\nu| = \nu^+ + \nu^-. These decompositions facilitate applications in integration , where signed measures arise naturally as ν(E)=∫Ef dμ\nu(E) = \int_E f \, d\mu for integrable functions ff with respect to a positive measure μ\mu, and underpin the Radon-Nikodym theorem for densities between signed measures.

Definition and Basic Concepts

Formal Definition

A signed measure on a (X,Σ)(X, \Sigma) is a function ν:Σ→R‾\nu: \Sigma \to \overline{\mathbb{R}} that is countably additive, satisfies ν(∅)=0\nu(\emptyset) = 0, and takes values in [−∞,∞)[-\infty, \infty) or (−∞,∞](-\infty, \infty] but not both infinities simultaneously. The countable additivity axiom states that for any countable collection of pairwise disjoint sets {An}n=1∞⊂Σ\{A_n\}_{n=1}^\infty \subset \Sigma, ν(⋃n=1∞An)=∑n=1∞ν(An),\nu\left( \bigcup_{n=1}^\infty A_n \right) = \sum_{n=1}^\infty \nu(A_n), where the series converges absolutely whenever the left-hand side is finite. Unlike positive measures, which map to [0,∞][0, \infty] and model non-negative mass distributions, signed measures permit negative values, allowing representation of phenomena with opposing contributions such as electric charges or net mass flows. Such measures are often expressed notationally as ν=ν+−ν−\nu = \nu^+ - \nu^-, where the Hahn-Jordan decomposition guarantees the existence of unique positive measures ν+\nu^+ and ν−\nu^- with disjoint supports satisfying this relation.

Hahn-Jordan Decomposition

The Hahn decomposition theorem provides a fundamental partition of the measurable space underlying a signed measure. Specifically, given a signed measure ν\nu on a measurable space (X,Σ)(X, \Sigma), there exists a measurable set P⊆XP \subseteq X such that ν(A)≥0\nu(A) \geq 0 for every measurable set A⊆PA \subseteq P and ν(B)≤0\nu(B) \leq 0 for every measurable set B⊆X∖PB \subseteq X \setminus P. The set PP is termed a positive set for ν\nu, while X∖PX \setminus P is a negative set. This decomposition splits XX into regions where ν\nu behaves nonnegatively and nonpositively, respectively, and holds for any signed measure, including those that may take infinite values on certain sets provided the overall definition is satisfied. Building on the Hahn decomposition, the Jordan decomposition theorem establishes a canonical representation of the signed measure as a difference of two positive measures. Let PP be a positive set from the Hahn decomposition; define the positive part ν+(E)=ν(E∩P)\nu^+(E) = \nu(E \cap P) and the negative part ν−(E)=−ν(E∩(X∖P))\nu^-(E) = -\nu(E \cap (X \setminus P)) for any measurable E⊆XE \subseteq X. Then ν+(E)≥0\nu^+(E) \geq 0 and ν−(E)≥0\nu^-(E) \geq 0, so ν+\nu^+ and ν−\nu^- are positive measures, ν=ν+−ν−\nu = \nu^+ - \nu^-, and ν+\nu^+ and ν−\nu^- are mutually singular (supported on PP and X∖PX \setminus P, up to null sets). Moreover, this Jordan decomposition is unique: if ν=λ−μ\nu = \lambda - \mu for positive measures λ,μ\lambda, \mu with λ⊥μ\lambda \perp \mu, then λ=ν+\lambda = \nu^+ and μ=ν−\mu = \nu^-. The Hahn decomposition itself is unique up to sets of ν\nu-measure zero, meaning any two positive sets differ by a set NN with ν(N)=0\nu(N) = 0. From this, the total variation measure is given by ∣ν∣(E)=ν+(E)+ν−(E)|\nu|(E) = \nu^+(E) + \nu^-(E), which is a positive measure capturing the overall "size" of ν\nu. A key lemma for the Hahn decomposition states that if ν(E)>0\nu(E) > 0 for some measurable EE, then there exists a positive A⊆EA \subseteq E with ν(A)>0\nu(A) > 0. The proof of the Hahn decomposition proceeds as follows. Let α=sup⁡{ν(F)∣F∈Σ,F is positive}\alpha = \sup \{ \nu(F) \mid F \in \Sigma, F \text{ is positive} \}, where α∈[0,∞]\alpha \in [0, \infty]. There exists a sequence of positive sets {An}n=1∞\{A_n\}_{n=1}^\infty such that ν(An)→α\nu(A_n) \to \alpha. Define Pn=⋃k=1nAkP_n = \bigcup_{k=1}^n A_k, so {Pn}\{P_n\} is increasing and positive, and set P=⋃n=1∞PnP = \bigcup_{n=1}^\infty P_n. By countable additivity and continuity from below, PP is measurable and ν(P)=α\nu(P) = \alpha. To show X∖PX \setminus P is negative, suppose there exists B⊆X∖PB \subseteq X \setminus P with ν(B)>0\nu(B) > 0. By the lemma, there is a positive set A⊆BA \subseteq B with ν(A)>0\nu(A) > 0. Then P∪AP \cup A is positive (since AA and PP disjoint, and for any subset C⊆P∪AC \subseteq P \cup A, ν(C)=ν(C∩P)+ν(C∩A)≥0\nu(C) = \nu(C \cap P) + \nu(C \cap A) \geq 0) and ν(P∪A)=ν(P)+ν(A)>α\nu(P \cup A) = \nu(P) + \nu(A) > \alpha, contradicting the definition of α\alpha. Thus, no such BB exists.

Examples

Simple Examples

A basic example of a signed measure arises on a finite discrete space, such as the set X={1,2,3}X = \{1, 2, 3\} equipped with the power set σ\sigma-algebra. Define ν:P(X)→R\nu: \mathcal{P}(X) \to \mathbb{R} by ν({1})=2\nu(\{1\}) = 2, ν({2})=−1\nu(\{2\}) = -1, and ν({3})=0\nu(\{3\}) = 0, extending additively to all subsets; for instance, ν({1,2})=1\nu(\{1,2\}) = 1 and ν(X)=1\nu(X) = 1. This ν\nu is a signed measure because it satisfies ν(∅)=0\nu(\emptyset) = 0 and countable additivity (which reduces to finite additivity here, as XX is finite). In this case, the Hahn-Jordan decomposition partitions XX into the positive set P={1}P = \{1\} and negative set N={2}N = \{2\}, with ν+(A)=ν(A∩P)\nu^+(A) = \nu(A \cap P) and ν−(A)=−ν(A∩N)\nu^-(A) = -\nu(A \cap N). Another simple construction involves signed point masses, or Dirac signed measures, on R\mathbb{R} with the Borel σ\sigma-algebra. Consider ν=δ0−δ1\nu = \delta_0 - \delta_1, where δx(A)=1\delta_x(A) = 1 if x∈Ax \in A and 0 otherwise for any A⊆RA \subseteq \mathbb{R}. Then ν(A)=1\nu(A) = 1 if 0∈A0 \in A and 1∉A1 \notin A, ν(A)=−1\nu(A) = -1 if 1∈A1 \in A and 0∉A0 \notin A, ν(A)=0\nu(A) = 0 if both or neither are in AA. This ν\nu is a signed measure, as it inherits countable additivity from the Dirac measures: for disjoint AnA_n, ν(⋃An)=∑ν(An)\nu(\bigcup A_n) = \sum \nu(A_n), since at most one AnA_n can contain 0 or 1. Signed measures can also be defined using Lebesgue measure on intervals. On the Borel subsets of [0,2][0,2], let ν(A)=λ(A∩[0,1])−λ(A∩[1,2])\nu(A) = \lambda(A \cap [0,1]) - \lambda(A \cap [1,2]), where λ\lambda is the . For example, ν([0,0.5])=0.5\nu([0,0.5]) = 0.5, ν([1.5,2])=−0.5\nu([1.5,2]) = -0.5, and ν([0,2])=0\nu([0,2]) = 0. Countable additivity holds because Lebesgue measure is σ\sigma-additive: if {An}\{A_n\} are disjoint Borel subsets, then ν(⋃An)=λ((⋃An)∩[0,1])−λ((⋃An)∩[1,2])=∑λ(An∩[0,1])−∑λ(An∩[1,2])=∑ν(An)\nu(\bigcup A_n) = \lambda((\bigcup A_n) \cap [0,1]) - \lambda((\bigcup A_n) \cap [1,2]) = \sum \lambda(A_n \cap [0,1]) - \sum \lambda(A_n \cap [1,2]) = \sum \nu(A_n).

Constructions from Functions

A fundamental method to construct signed measures involves integrating a signed with respect to a positive measure. Specifically, given a (X,S)(X, \mathcal{S}), a positive measure μ\mu on S\mathcal{S}, and a signed f:X→Rf: X \to \mathbb{R} that is μ\mu-integrable (meaning ∫X∣f∣ dμ<∞\int_X |f| \, d\mu < \infty), the set function defined by ν(A)=∫Af dμ\nu(A) = \int_A f \, d\mu for all A∈SA \in \mathcal{S} is a signed measure on S\mathcal{S}. This construction leverages the countable additivity of μ\mu and the linearity of the integral, ensuring that ν\nu inherits the required properties while allowing negative values where ff is negative. Every signed measure ν\nu that is absolutely continuous with respect to a positive measure μ\mu (i.e., ν(A)=0\nu(A) = 0 whenever μ(A)=0\mu(A) = 0) admits such a representation via the Radon–Nikodym theorem, provided μ\mu is σ\sigma-finite. In this case, there exists a unique (up to μ\mu-almost everywhere equality) μ\mu-integrable function ff such that ν(A)=∫Af dμ\nu(A) = \int_A f \, d\mu for all A∈SA \in \mathcal{S}. Furthermore, the Jordan decomposition of ν\nu aligns with the positive and negative parts of ff: letting f+=max⁡(f,0)f^+ = \max(f, 0) and f−=max⁡(−f,0)f^- = \max(-f, 0), the positive and negative parts are ν+(A)=∫Af+ dμ\nu^+(A) = \int_A f^+ \, d\mu and ν−(A)=∫Af− dμ\nu^-(A) = \int_A f^- \, d\mu, respectively. This indefinite integral form provides a canonical way to represent and decompose signed measures in L1(μ)L^1(\mu). A concrete example illustrates this construction on the interval [0,2] with Lebesgue measure λ\lambda. Consider f(x)=x−1f(x) = x - 1 and define ν(A)=∫A(x−1) dλ(x)\nu(A) = \int_A (x - 1) \, d\lambda(x) for Borel sets A⊆[0,2]A \subseteq [0,2]. Here, ν\nu is a signed measure absolutely continuous with respect to λ\lambda, positive on sets concentrated to the right of 1 (where f>0f > 0) and negative on sets to the left (where f<0f < 0), with total variation ∣ν∣(A)=∫A∣x−1∣ dλ(x)|\nu|(A) = \int_A |x - 1| \, d\lambda(x). The key condition for ν\nu to be a signed measure is the μ\mu-integrability of ff, which guarantees finite values and countable additivity: for disjoint sets AnA_n, ν(⋃An)=∑ν(An)\nu(\bigcup A_n) = \sum \nu(A_n) follows from the corresponding property of the Lebesgue integral with respect to μ\mu. Without integrability, the set function may fail to be well-defined or additive.

Key Properties

Additivity and Continuity

A signed measure ν\nu on a measurable space (X,Σ)(X, \Sigma) satisfies finite additivity: for any finite collection of pairwise disjoint sets A1,…,An∈ΣA_1, \dots, A_n \in \Sigma, ν(⋃i=1nAi)=∑i=1nν(Ai)\nu\left(\bigcup_{i=1}^n A_i\right) = \sum_{i=1}^n \nu(A_i). This property follows directly from the countable additivity axiom, as the finite union can be viewed as a countable union by including empty sets. The defining feature of a signed measure is countable additivity, also known as σ\sigma-additivity: for any countable collection of pairwise disjoint sets {An}n=1∞⊂Σ\{A_n\}_{n=1}^\infty \subset \Sigma, ν(⋃n=1∞An)=∑n=1∞ν(An)\nu\left(\bigcup_{n=1}^\infty A_n\right) = \sum_{n=1}^\infty \nu(A_n), and the series converges absolutely whenever the sum is finite. This extends the finite case and ensures the measure behaves consistently under countable disjoint unions, distinguishing signed measures from merely finitely additive set functions. Signed measures also exhibit continuity properties with respect to monotone limits of sets. Specifically, continuity from below holds: if An↑AA_n \uparrow A (i.e., An⊂An+1A_n \subset A_{n+1} for all nn and ⋃n=1∞An=A\bigcup_{n=1}^\infty A_n = A), then ν(An)↑ν(A)\nu(A_n) \uparrow \nu(A). Continuity from above holds under a finiteness condition: if An↓AA_n \downarrow A (i.e., An+1⊂AnA_{n+1} \subset A_n for all nn and ⋂n=1∞An=A\bigcap_{n=1}^\infty A_n = A) and ν(A1)<∞\nu(A_1) < \infty, then ν(An)↓ν(A)\nu(A_n) \downarrow \nu(A). These properties mirror those of positive measures and follow from countable additivity applied to the disjoint differences in the monotone sequences. Via the Hahn-Jordan decomposition, any signed measure ν\nu can be uniquely expressed as ν=ν+−ν−\nu = \nu^+ - \nu^-, where ν+\nu^+ and ν−\nu^- are nonnegative measures that are mutually singular. The positive and negative parts ν+\nu^+ and ν−\nu^- each inherit the additivity and continuity properties of ν\nu, and as nonnegative measures, they satisfy monotonicity: if A⊂BA \subset B, then ν+(A)≤ν+(B)\nu^+(A) \leq \nu^+(B) and ν−(A)≤ν−(B)\nu^-(A) \leq \nu^-(B). This decomposition preserves the additive and limit behaviors while ensuring the parts are monotone increasing functions on nested sets.

Absolute Continuity and Singularity

In measure theory, a signed measure ν\nu on a measurable space (X,M)(X, \mathcal{M}) is said to be absolutely continuous with respect to a positive measure μ\mu on the same space, denoted ν≪μ\nu \ll \mu, if for every measurable set A∈MA \in \mathcal{M} with μ(A)=0\mu(A) = 0, it follows that ν(A)=0\nu(A) = 0. This condition ensures that ν\nu does not charge any set of μ\mu-measure zero, capturing a form of dependence where the "size" of sets under ν\nu is controlled by μ\mu. For finite signed measures, this is equivalent to the ϵ\epsilon-δ\delta condition: for every ϵ>0\epsilon > 0, there exists δ>0\delta > 0 such that ∣ν(A)∣<ϵ|\nu(A)| < \epsilon whenever μ(A)<δ\mu(A) < \delta. Given the Hahn-Jordan decomposition of ν\nu into ν=ν+−ν−\nu = \nu^+ - \nu^-, where ν+\nu^+ and ν−\nu^- are mutually singular positive measures, ν≪μ\nu \ll \mu holds if and only if both ν+≪μ\nu^+ \ll \mu and ν−≪μ\nu^- \ll \mu. This equivalence follows from the construction of the Jordan parts via a Hahn decomposition, where sets of μ\mu-measure zero cannot contribute to either part without violating the of ν\nu. Consequently, the measure ∣ν∣=ν++ν−|\nu| = \nu^+ + \nu^- also satisfies ∣ν∣≪μ|\nu| \ll \mu. Two measures μ\mu and ν\nu (where ν\nu may be signed) on (X,M)(X, \mathcal{M}) are mutually singular, denoted ν⊥μ\nu \perp \mu, if there exist disjoint measurable sets P,N∈MP, N \in \mathcal{M} such that P∪N=XP \cup N = X, μ(P)=0\mu(P) = 0, and ν(N)=0\nu(N) = 0. In this case, ν\nu is supported entirely on PP (up to sets of μ\mu-measure zero), while μ\mu is supported on NN, reflecting a complete lack of overlap in their "supports." For signed ν\nu, this extends the notion from positive measures by requiring that the entire signed measure vanishes on NN, which aligns with the singularity of both ν+\nu^+ and ν−\nu^- with respect to μ\mu. The Lebesgue decomposition theorem provides a canonical way to break down any signed measure relative to a positive measure. Specifically, if ν\nu is a σ\sigma-finite signed measure and μ\mu is a σ\sigma-finite positive measure on (X,M)(X, \mathcal{M}), then there exist unique σ\sigma-finite signed measures νac\nu_{ac} and νs\nu_s such that ν=νac+νs\nu = \nu_{ac} + \nu_s, with νac≪μ\nu_{ac} \ll \mu and νs⊥μ\nu_s \perp \mu. This decomposition is unique up to sets of μ\mu-measure zero and generalizes the classical Lebesgue decomposition for positive measures by applying the Hahn-Jordan decomposition to the absolutely continuous and singular components. The absolutely continuous part νac\nu_{ac} captures the dependence on μ\mu, while νs\nu_s represents the independent, singular behavior. Under the absolute continuity condition ν≪μ\nu \ll \mu with μ\mu σ\sigma-finite, the Radon-Nikodym theorem extends to signed measures: there exists a μ\mu-integrable function f∈L1(μ)f \in L^1(\mu) (taking both positive and negative values) such that for every measurable set A∈MA \in \mathcal{M}, ν(A)=∫Af dμ.\nu(A) = \int_A f \, d\mu. This f=dν/dμf = d\nu / d\mu, the Radon-Nikodym derivative, is unique up to μ\mu-almost everywhere equivalence and can be obtained by applying the theorem separately to ν+\nu^+ and ν−\nu^-, yielding f=f+−f−f = f^+ - f^- where f±≥0f^\pm \geq 0. Such representations connect signed measures to integrable functions with respect to μ\mu, as in the constructions from density functions.

Advanced Structures

Total Variation Measure

The total variation measure of a signed measure ν\nu on a measurable space (X,Σ)(X, \Sigma) is defined for each A∈ΣA \in \Sigma by ∣ν∣(A)=sup⁡{∑i=1n∣ν(Ai)∣:n∈N,{Ai}i=1n is a finite partition of A},|\nu|(A) = \sup\left\{ \sum_{i=1}^n |\nu(A_i)| : n \in \mathbb{N}, \{A_i\}_{i=1}^n \text{ is a finite partition of } A \right\}, where the supremum is taken over all finite partitions of AA into measurable sets. This definition yields a positive measure ∣ν∣|\nu| on (X,Σ)(X, \Sigma), as it satisfies the axioms of a measure, including countable additivity. From the Hahn-Jordan decomposition ν=ν+−ν−\nu = \nu^+ - \nu^-, where ν+\nu^+ and ν−\nu^- are mutually singular positive measures, it follows that ∣ν∣(A)=ν+(A)+ν−(A)|\nu|(A) = \nu^+(A) + \nu^-(A) for all A∈ΣA \in \Sigma. The ∣ν∣|\nu| possesses several key properties that highlight its role in measure theory. It is the minimal positive measure μ\mu such that ∣ν(A)∣≤μ(A)|\nu(A)| \leq \mu(A) for every A∈ΣA \in \Sigma, meaning no smaller positive measure dominates the absolute values of ν\nu. Additionally, ν\nu is absolutely continuous with respect to ∣ν∣|\nu|, denoted ν≪∣ν∣\nu \ll |\nu|, which ensures that the Radon-Nikodym derivative of ν\nu with respect to ∣ν∣|\nu| exists and equals the of ν\nu with respect to ∣ν∣|\nu|. These properties make ∣ν∣|\nu| a extension of ν\nu to a positive measure that captures its oscillatory behavior. The norm of ν\nu is given by ∥ν∥=∣ν∣(X)\|\nu\| = |\nu|(X), which is finite ν\nu is of , i.e., ∣ν∣(X)<∞|\nu|(X) < \infty. This norm provides a natural way to quantify the size of ν\nu and induces a structure on the set of signed measures of . In applications, the controls the differences in ν\nu: for any A,B∈ΣA, B \in \Sigma, ∣ν(A)−ν(B)∣≤∣ν∣(AΔB)|\nu(A) - \nu(B)| \leq |\nu|(A \Delta B), where AΔBA \Delta B is the , bounding how much ν\nu can change over sets.

The Space of Signed Measures

The space of finite signed measures on a measurable space (X,Σ)(X, \Sigma), denoted M(X)M(X) or ca(X)ca(X), forms a vector space with pointwise addition and scalar multiplication defined by (ν+λ)(A)=ν(A)+λ(A)(\nu + \lambda)(A) = \nu(A) + \lambda(A) and (cν)(A)=c⋅ν(A)(c\nu)(A) = c \cdot \nu(A) for finite signed measures ν,λ\nu, \lambda and scalar c∈Rc \in \mathbb{R}, with all A∈ΣA \in \Sigma. This space, consisting of those satisfying ∥ν∥=∣ν∣(X)<∞\|\nu\| = |\nu|(X) < \infty where ∣ν∣|\nu| denotes the measure, is a under the total variation norm ∥ν∥=∣ν∣(X)\|\nu\| = |\nu|(X). This norm, generated by the total variation measure, ensures completeness of the space. On locally compact Hausdorff spaces XX, the space M(X)M(X) of finite signed measures inherits this structure. The space M(X)M(X) admits a natural duality with the Cb(X)C_b(X) of bounded continuous real-valued functions on XX, equipped with the supremum norm, via the pairing ⟨f,ν⟩=∫Xf dν\langle f, \nu \rangle = \int_X f \, d\nu. The weak∗^* topology on M(X)M(X) is defined by this duality: a sequence {νn}\{\nu_n\} converges to ν\nu in the weak∗^* topology if and only if ∫Xf dνn→∫Xf dν\int_X f \, d\nu_n \to \int_X f \, d\nu for every f∈Cb(X)f \in C_b(X).
Add your contribution
Related Hubs
User Avatar
No comments yet.