Filter convergence and decompositions for vector lattice-valued - - PowerPoint PPT Presentation

filter convergence and decompositions for vector lattice
SMART_READER_LITE
LIVE PREVIEW

Filter convergence and decompositions for vector lattice-valued - - PowerPoint PPT Presentation

Filter convergence and decompositions for vector lattice-valued measures Domenico Candeloro, Anna Rita Sambucini Department of Mathematics and Computer Science - University of Perugia Integration, Vector Measures and Related Topics VI, Be


slide-1
SLIDE 1

Filter convergence and decompositions for vector lattice-valued measures

Domenico Candeloro, Anna Rita Sambucini

Department of Mathematics and Computer Science - University of Perugia

Integration, Vector Measures and Related Topics VI, Be ¸dlewo, June 15-21, 2014

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-2
SLIDE 2

Outline

1

Some background Vector lattices Filter convergence Decompositions

2

Convergence theorems The σ-additive case The finitely additive case

3

The (SCP) property

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-3
SLIDE 3

Vector lattices

Let (X, +, ·, ≤) be a real vector space, endowed with a compatible ordering <. If X is stable under finite suprema (and infima) then it is called a vector lattice. Usually we shall assume that:

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-4
SLIDE 4

Vector lattices

Let (X, +, ·, ≤) be a real vector space, endowed with a compatible ordering <. If X is stable under finite suprema (and infima) then it is called a vector lattice. Usually we shall assume that: X is super-Dedekind complete ( i.e. every non-empty upper-bounded subset A ⊂ X has supremum in X and contains a countable subset N such that sup N = sup A).

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-5
SLIDE 5

Vector lattices

Let (X, +, ·, ≤) be a real vector space, endowed with a compatible ordering <. If X is stable under finite suprema (and infima) then it is called a vector lattice. Usually we shall assume that: X is super-Dedekind complete ( i.e. every non-empty upper-bounded subset A ⊂ X has supremum in X and contains a countable subset N such that sup N = sup A). X is weakly σ-distributive (i.e. 0 =

φ

  • i ai,φ(i) holds true, for each double

sequence (ai,j) such that ai,j ↓j 0 for every integer i (regulator), and φ runs among all mappings from N to N)

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-6
SLIDE 6

Vector lattices

Let (X, +, ·, ≤) be a real vector space, endowed with a compatible ordering <. If X is stable under finite suprema (and infima) then it is called a vector lattice. Usually we shall assume that: X is super-Dedekind complete ( i.e. every non-empty upper-bounded subset A ⊂ X has supremum in X and contains a countable subset N such that sup N = sup A). X is weakly σ-distributive (i.e. 0 =

φ

  • i ai,φ(i) holds true, for each double

sequence (ai,j) such that ai,j ↓j 0 for every integer i (regulator), and φ runs among all mappings from N to N) (o)-sequence Any decreasing sequence (pn)n in X, such that infn pn = 0.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-7
SLIDE 7

(o)-convergence

A sequence (an)n in X is said to be (o)-convergent to a ∈ X whenever an (o)-sequence (pn)n exists, such that |an − a| ≤ pn for all n. If this happens, (pn)n will be called a regulating (o)-sequence for (an)n.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-8
SLIDE 8

(o)-convergence

A sequence (an)n in X is said to be (o)-convergent to a ∈ X whenever an (o)-sequence (pn)n exists, such that |an − a| ≤ pn for all n. If this happens, (pn)n will be called a regulating (o)-sequence for (an)n.

Lemma

(see a) Let (rn)n be any (o)-sequence in a super-Dedekind complete vector lattice X. For every positive element u ∈ X + there exists an increasing mapping ω : N → N such that N → u ∧ (

  • n=N

rω(n)) defines an (o)-sequence in X.

  • aA. BOCCUTO, D. C., A survey of decomposition and convergence theorems for l-group-valued measures, Atti
  • Sem. Mat. Fis. Univ. Modena e Reggio Emilia, 53, (2005), 243-260.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-9
SLIDE 9

Filter convergence

Let Z be any fixed set. A family F of subsets of Z is called a filter of Z iff ∅ ∈ F A ∩ B ∈ F whenever A, B ∈ F A ∈ F, B ⊃ A ⇒ B ∈ F.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-10
SLIDE 10

Filter convergence

Let Z be any fixed set. A family F of subsets of Z is called a filter of Z iff ∅ ∈ F A ∩ B ∈ F whenever A, B ∈ F A ∈ F, B ⊃ A ⇒ B ∈ F. Given any filter F of subsets of Z, the dual ideal of F is IF := {F c : F ∈ F}. If {z} ∈ IF for all z ∈ Z, F is a free filter.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-11
SLIDE 11

Filter convergence

Let Z be any fixed set. A family F of subsets of Z is called a filter of Z iff ∅ ∈ F A ∩ B ∈ F whenever A, B ∈ F A ∈ F, B ⊃ A ⇒ B ∈ F. Given any filter F of subsets of Z, the dual ideal of F is IF := {F c : F ∈ F}. If {z} ∈ IF for all z ∈ Z, F is a free filter. Examples: Z = N Statistical filter: F := {J ⊂ N : limn

|J∩[0,n]| n

= 1} Countably generated filters: IF is generated by a countable partition

  • f N.

(free) Ultrafilters

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-12
SLIDE 12

Definition

A sequence (xk)k∈N in X (oF)-converges to x ∈ X (xk

  • F

→ x) iff there exists an (o)-sequence (σp)p in X such that the set {k ∈ N : |xk − x| ≤ σp} is an element of F for each p ∈ N. If this is the case, then (σp)p is said to be a regulator for (oF)-convergence

  • f (xk)k.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-13
SLIDE 13

Definition

A sequence (xk)k∈N in X (oF)-converges to x ∈ X (xk

  • F

→ x) iff there exists an (o)-sequence (σp)p in X such that the set {k ∈ N : |xk − x| ≤ σp} is an element of F for each p ∈ N. If this is the case, then (σp)p is said to be a regulator for (oF)-convergence

  • f (xk)k.

Lemma

(see a) Let (σj

p)p be an (o)-sequence for all j ∈ N, and assume that the set

{σj

p : p ∈ N, j ∈ N} is bounded in X. Then there exists an (o)-sequence (rn)n

such that, for every j and every n there exists p satisfying σj

p ≤ rn.

  • aB. Riecan-T.Neubrunn Integral, Measure and Ordering, Kluwer, Ister Science, Dordrecht/Bratislava (1997).

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-14
SLIDE 14

∀ filter F in Z, a subset H ⊂ Z is stationary if Z / ∈ IF, i.e. if and only if H ∩ F = ∅ for all F ∈ F.

  • 1A. AVILES LOPEZ, B. CASCALES SALINAS, V. KADETS, A. LEONOV, The Schur l1-theorem for filters, J. Math. Phys.
  • Anal. Geom. 3 (2009), 383-398.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-15
SLIDE 15

∀ filter F in Z, a subset H ⊂ Z is stationary if Z / ∈ IF, i.e. if and only if H ∩ F = ∅ for all F ∈ F. The filter F is block-respecting if, for every stationary set H and every block {Dk : k ∈ N} of H there exists a stationary set J ⊂ H such that card(J ∩ Dk) ≤ 1 for all k. (∀ infinite I ⊂ Z a block of I is any partition {Dk, k ∈ N} of I, obtained with finite sets Dk in Z).

  • 1A. AVILES LOPEZ, B. CASCALES SALINAS, V. KADETS, A. LEONOV, The Schur l1-theorem for filters, J. Math. Phys.
  • Anal. Geom. 3 (2009), 383-398.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-16
SLIDE 16

∀ filter F in Z, a subset H ⊂ Z is stationary if Z / ∈ IF, i.e. if and only if H ∩ F = ∅ for all F ∈ F. The filter F is block-respecting if, for every stationary set H and every block {Dk : k ∈ N} of H there exists a stationary set J ⊂ H such that card(J ∩ Dk) ≤ 1 for all k. (∀ infinite I ⊂ Z a block of I is any partition {Dk, k ∈ N} of I, obtained with finite sets Dk in Z). The filter F is said to be diagonal if for every sequence (An)n in IF and every stationary set I ⊂ Z, there exists a stationary set J ⊂ I such that J ∩ An is finite for all n ∈ N.

  • 1A. AVILES LOPEZ, B. CASCALES SALINAS, V. KADETS, A. LEONOV, The Schur l1-theorem for filters, J. Math. Phys.
  • Anal. Geom. 3 (2009), 383-398.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-17
SLIDE 17

∀ filter F in Z, a subset H ⊂ Z is stationary if Z / ∈ IF, i.e. if and only if H ∩ F = ∅ for all F ∈ F. The filter F is block-respecting if, for every stationary set H and every block {Dk : k ∈ N} of H there exists a stationary set J ⊂ H such that card(J ∩ Dk) ≤ 1 for all k. (∀ infinite I ⊂ Z a block of I is any partition {Dk, k ∈ N} of I, obtained with finite sets Dk in Z). The filter F is said to be diagonal if for every sequence (An)n in IF and every stationary set I ⊂ Z, there exists a stationary set J ⊂ I such that J ∩ An is finite for all n ∈ N. In the paper 1 the simplified Schur property has been proved to be equivalent to the block-respecting property.

  • 1A. AVILES LOPEZ, B. CASCALES SALINAS, V. KADETS, A. LEONOV, The Schur l1-theorem for filters, J. Math. Phys.
  • Anal. Geom. 3 (2009), 383-398.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-18
SLIDE 18

∀ filter F in Z, a subset H ⊂ Z is stationary if Z / ∈ IF, i.e. if and only if H ∩ F = ∅ for all F ∈ F. The filter F is block-respecting if, for every stationary set H and every block {Dk : k ∈ N} of H there exists a stationary set J ⊂ H such that card(J ∩ Dk) ≤ 1 for all k. (∀ infinite I ⊂ Z a block of I is any partition {Dk, k ∈ N} of I, obtained with finite sets Dk in Z). The filter F is said to be diagonal if for every sequence (An)n in IF and every stationary set I ⊂ Z, there exists a stationary set J ⊂ I such that J ∩ An is finite for all n ∈ N. In the paper 1 the simplified Schur property has been proved to be equivalent to the block-respecting property. Examples The statistical filter is diagonal but not block-respecting. Any countably generated filter has both properties.

  • 1A. AVILES LOPEZ, B. CASCALES SALINAS, V. KADETS, A. LEONOV, The Schur l1-theorem for filters, J. Math. Phys.
  • Anal. Geom. 3 (2009), 383-398.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-19
SLIDE 19

Notations and Definitions:

Ω ≡ any abstract space. H ≡ any algebra of subsets of Ω. A ≡ any σ-algebra in Ω. m : H → X ≡ any bounded f.a. measure.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-20
SLIDE 20

Notations and Definitions:

Ω ≡ any abstract space. H ≡ any algebra of subsets of Ω. A ≡ any σ-algebra in Ω. m : H → X ≡ any bounded f.a. measure. m is s-bounded if ∃ an (o)-sequence (pn) in X such that, for every pairwise disjoint sequence (Fk)k from H and every integer n, it is possible to find an index k(n) satisfying

  • k≥k(n)

|m(Fk)| ≤ pn. (1) In this case we say that (pn) regulates s-boundedness of m.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-21
SLIDE 21

Notations and Definitions:

Ω ≡ any abstract space. H ≡ any algebra of subsets of Ω. A ≡ any σ-algebra in Ω. m : H → X ≡ any bounded f.a. measure. m is s-bounded if ∃ an (o)-sequence (pn) in X such that, for every pairwise disjoint sequence (Fk)k from H and every integer n, it is possible to find an index k(n) satisfying

  • k≥k(n)

|m(Fk)| ≤ pn. (1) In this case we say that (pn) regulates s-boundedness of m. Variations: v+(m)(H) = sup

A∈H

m(A ∩ H), v−(m) := v+(−m), v(m) = v+ + v−.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-22
SLIDE 22

m : H → X is σ-additive if ∃ an (o)-sequence (pn) in X such that, for every decreasing sequence (Fk)k from H with empty intersection, and every integer n it is possible to find an index k(n) satisfying

  • A∈H

|m(A ∩ Fk(n))| ≤ pn. (2) Also in this case, (pn) regulates σ-additivity of m.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-23
SLIDE 23

m : H → X is σ-additive if ∃ an (o)-sequence (pn) in X such that, for every decreasing sequence (Fk)k from H with empty intersection, and every integer n it is possible to find an index k(n) satisfying

  • A∈H

|m(A ∩ Fk(n))| ≤ pn. (2) Also in this case, (pn) regulates σ-additivity of m.

Theorem

(see a) Let m : A → X be any s-bounded finitely additive measure, defined on a σ-algebra A, and let (Hn)n be any pairwise disjoint family from A. Then there exists a sub-sequence (Hnk )k such that m is σ-additive in the σ-algebra generated by the sets Hnk (Same regulating (o)-sequence).

  • aA. BOCCUTO, D. C., Convergence and decompositions for l-group-valued set functions, Commentationes

Matematicae, 44, (1) (2004), 11-37. Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-24
SLIDE 24

Lebesgue decompositions

Let m : H → X and ν : H → R+

0 be bounded finitely additive measures.

(absolute continuity): m ≪ ν when the following setting defines an (o)-sequence in X: pn := sup{|m(A)| : A ∈ H, ν(A) ≤ 1 n}, n ∈ N. (singularity): m ⊥ ν if ∃ (Ak)k in H and an (o)-sequence (qk)k in X such that limk ν(Ak) = 0 and, for every k sup{|m(E \ Ak)| : E ∈ H} ≤ qk.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-25
SLIDE 25

Lebesgue decompositions

Let m : H → X and ν : H → R+

0 be bounded finitely additive measures.

(absolute continuity): m ≪ ν when the following setting defines an (o)-sequence in X: pn := sup{|m(A)| : A ∈ H, ν(A) ≤ 1 n}, n ∈ N. (singularity): m ⊥ ν if ∃ (Ak)k in H and an (o)-sequence (qk)k in X such that limk ν(Ak) = 0 and, for every k sup{|m(E \ Ak)| : E ∈ H} ≤ qk.

Theorem

(see a) Let m : H → X and ν : H → R+

0 be two s-bounded finitely additive

measures on an algebra H. Then there exist (unique) X-valued measures m< and m⊥, mutually singular, such that m< ≪ ν, m⊥ ⊥ ν, m< + m⊥ = m

  • aA. BOCCUTO, D. C., A survey of decomposition and convergence theorems for l-group-valued measures, Atti
  • Sem. Mat. Fis. Univ. Modena e Reggio Emilia, 53, (2005).

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-26
SLIDE 26

Sobczyk-Hammer decompositions

Definition

Let m : H → X+

0 be any finitely additive measure. We say that m is

continuous if there exists an (o)-sequence (pn)n in X and a sequence (πn)n

  • f finite partitions of Ω, πn = {J1, ..., Jkn} such that for each n we have

sup

i=1...,kn

m(Ji) ≤ pn. We also say that m is atomic if there exist no nonzero continuous finitely additive measure µ : H → X+

0 such that µ ≤ m.

In case m is not a positive measure, but is bounded, then it will be said to be continuous if v(m) is.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-27
SLIDE 27

Sobczyk-Hammer decompositions

Definition

Let m : H → X+

0 be any finitely additive measure. We say that m is

continuous if there exists an (o)-sequence (pn)n in X and a sequence (πn)n

  • f finite partitions of Ω, πn = {J1, ..., Jkn} such that for each n we have

sup

i=1...,kn

m(Ji) ≤ pn. We also say that m is atomic if there exist no nonzero continuous finitely additive measure µ : H → X+

0 such that µ ≤ m.

In case m is not a positive measure, but is bounded, then it will be said to be continuous if v(m) is.

Theorem

(see a) Let m : H → X+

0 be s-bounded and finitely additive. Then ∃ mutually

singular finitely additive measures ms and ma, both ≪ m, such that ms is continuous ma is atomic , ms + ma = m.

  • aA. BOCCUTO, D. C., A survey of decomposition and convergence theorems for l-group-valued measures, Atti
  • Sem. Mat. Fis. Univ. Modena e Reggio Emilia, 53, (2005).

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-28
SLIDE 28

Convergence: countably additive case

Let any (free) filter F be fixed in N.

Theorem

Let (mn)n be any sequence of bounded X-valued σ-additive measures defined on a measure space (Ω, A, ν) such that the sequence (mn)n is pointwise (oF)-convergent to a σ-additive measure m. Then the sequences (m<

n )n, (m⊥ n )n, (ma n)n, (ms n)n

converge in the same way to m<, m⊥, ma, ms respectively.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-29
SLIDE 29

Convergence: countably additive case

Let any (free) filter F be fixed in N.

Theorem

Let (mn)n be any sequence of bounded X-valued σ-additive measures defined on a measure space (Ω, A, ν) such that the sequence (mn)n is pointwise (oF)-convergent to a σ-additive measure m. Then the sequences (m<

n )n, (m⊥ n )n, (ma n)n, (ms n)n

converge in the same way to m<, m⊥, ma, ms respectively. If F is block-respecting and diagonal, we have (Schur):

Theorem

(see a) Assuming that the measures mn are defined on P(N), are uniformly bounded and (oF)-convergent to 0, then the sequence n →

k∈N |mn({k})|

is (oF)-convergent to 0.

  • aA. BOCCUTO, X.DIMITRIOU, N. PAPANASTASSIOU, Schur lemma and limit theorems in lattice groups with

respect to filters, Math. Slovaca 62 (6) (2012), 1145-1166. Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-30
SLIDE 30

Uniform s-boundedness

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-31
SLIDE 31

Uniform s-boundedness

No particular conditions on the filter F.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-32
SLIDE 32

Uniform s-boundedness

No particular conditions on the filter F.

Definition

We say that a sequence (mn)n of X-valued finitely additive measures, defined

  • n a algebra H, is uniformly s-bounded if ∃ an (o)-sequence (rk)k in X such

that, for every disjoint sequence (Hj) from H and for every k ∈ N an index j(k) can be found, such that sup

n∈N

sup

j≥j(k)

|mn(Hj)| ≤ rk.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-33
SLIDE 33

Uniform s-boundedness

No particular conditions on the filter F.

Definition

We say that a sequence (mn)n of X-valued finitely additive measures, defined

  • n a algebra H, is uniformly s-bounded if ∃ an (o)-sequence (rk)k in X such

that, for every disjoint sequence (Hj) from H and for every k ∈ N an index j(k) can be found, such that sup

n∈N

sup

j≥j(k)

|mn(Hj)| ≤ rk.

Theorem

Assume that the f.a. measures (mn)n, defined on H, are uniformly s-bounded and pointwise (oF)-convergent to some finitely additive measure m. Assume also that ν : H → R+

0 is a fixed finitely additive measure. Then the sequences

(m<

n )n, (m⊥ n )n, (ma n)n, (ms n)n

converge in the same way to m<, m⊥, ma, ms respectively.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-34
SLIDE 34

Ideal s-boundedness

Uniform s-boundedness can be relaxed, as follows.

Definition

Given a sequence {mj : j ∈ N} of s-bounded finitely additive measures on H, and a filter F in P(N), we say that the measures {mj : j ∈ N} are ideally uniformly s-bounded if there exists an (o)-sequence (rk)k such that, for any family (Hl)l of pairwise disjoint sets in H, any integer k and any element I of the dual ideal of F, there exists an integer l(k) such that sup

j∈I

sup

l≥l(k)

|mj(Hl)| ≤ rk.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-35
SLIDE 35

Ideal s-boundedness

Uniform s-boundedness can be relaxed, as follows.

Definition

Given a sequence {mj : j ∈ N} of s-bounded finitely additive measures on H, and a filter F in P(N), we say that the measures {mj : j ∈ N} are ideally uniformly s-bounded if there exists an (o)-sequence (rk)k such that, for any family (Hl)l of pairwise disjoint sets in H, any integer k and any element I of the dual ideal of F, there exists an integer l(k) such that sup

j∈I

sup

l≥l(k)

|mj(Hl)| ≤ rk. Assume now that the filter F is block-respecting and diagonal.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-36
SLIDE 36

Ideal s-boundedness

Uniform s-boundedness can be relaxed, as follows.

Definition

Given a sequence {mj : j ∈ N} of s-bounded finitely additive measures on H, and a filter F in P(N), we say that the measures {mj : j ∈ N} are ideally uniformly s-bounded if there exists an (o)-sequence (rk)k such that, for any family (Hl)l of pairwise disjoint sets in H, any integer k and any element I of the dual ideal of F, there exists an integer l(k) such that sup

j∈I

sup

l≥l(k)

|mj(Hl)| ≤ rk. Assume now that the filter F is block-respecting and diagonal.

Theorem

Let (mn)n be an equibounded sequence of ideally uniformly s-bounded finitely additive measures, defined on a σ-algebra A, and taking values in X. If the measures mn are (oF)-convergent to an s-bounded finitely additive measure m, then the measures are uniformly s-bounded.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-37
SLIDE 37

The (SCP) Property

Definition

Let H be an algebra of subsets of an abstract set Ω. We say that H enjoys the property (SCP) if, for every sequence (Hk)k of pairwise elements from H, there exists a subsequence (Hkr )r whose union belongs to H.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-38
SLIDE 38

The (SCP) Property

Definition

Let H be an algebra of subsets of an abstract set Ω. We say that H enjoys the property (SCP) if, for every sequence (Hk)k of pairwise elements from H, there exists a subsequence (Hkr )r whose union belongs to H.

Theorem

(see a) Assume that (mn)n is an equibounded sequence of ideally uniformly s-bounded finitely additive measures, defined on an algebra H enjoying (SCP), and taking values in X. Assume that the filter F is countably generated, and that the measures mn are (oF)-convergent to an s-bounded finitely additive measure m. Moreover, let ν : H → R+

0 be

any positive finitely additive measure. Then the measures (mn)n are uniformly s-bounded and the sequences (m<

n )n, (m⊥ n )n, (ma n)n, (ms n)n

converge in the same way to m<, m⊥, ma, ms respectively, where absolute continuity and singularity are meant w.r.t. ν.

  • aD. C., A.R. SAMBUCINI Filter convergence and decompositions for vetcor lattice-valued measures, in press in

Mediterranean J. Math. (2014) Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-39
SLIDE 39

THANK YOU!!!

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-40
SLIDE 40
  • A. AVALLONE -G. BARBIERI - P

. VITOLO - H. WEBER, Decomposition

  • f effect algebras and the Hammer-Sobczyk theorem, Algebra

Universalis 60, (2009) 1-18. DOI 10.1007/s00012-008-2083-z.

  • A. AVALLONE - P

. VITOLO, Lyapunov decomposition of measures on effect algebras, Sci. Math. Japonicae 69, No. 1, (2009) 79-87. A.AVILES LOPEZ, B. CASCALES SALINAS, V. KADETS, A. LEONOV, The Schur l1-theorem for filters, J. Math. Phys. Anal. Geom. 3 (2009), 383-398.

  • A. BOCCUTO, D. CANDELORO, Uniform s-boundedness and

convergence results for measures with values in complete l-groups, J.

  • Math. Anal. Appl. 265, (2002), 170-194.
  • A. BOCCUTO, D. CANDELORO, Convergence and decompositions for

l-group-valued set functions,Commentationes Matematicae, 44, (1) (2004), 11-37.

  • A. BOCCUTO, D. CANDELORO, A survey of decomposition and

convergence theorems for l-group-valued measures, Atti Sem. Mat. Fis.

  • Univ. Modena e Reggio Emilia, 53, (2005).

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-41
SLIDE 41
  • A. BOCCUTO, X. DIMITRIOU, Modular convergence theorems for

integral operators in the context of filter exhaustiveness and applications, Mediterranean J. Math. (2012), doi:10.1007/s00009-012-0199-z

  • A. BOCCUTO, X.DIMITRIOU, N. PAPANASTASSIOU, Schur lemma and

limit theorems in lattice groups with respect to filters, Math. Slovaca 62 (6) (2012), 1145-1166.

  • A. BOCCUTO, X. DIMITRIU, Some new types of filter limit theorems for

topological group-valued measures, Real Anal. Exchange 37 (2), (2011/2012), 249-278.

  • A. BOCCUTO, D. CANDELORO, A.R. SAMBUCINI, Vitali-type theorems

for filter convergence related to vector lattice-valued modulars and applications to stochastic processes, preprint (2013).

  • B. BONGIORNO, L. DI PIAZZA, K. MUSIAL, A decomposition theorem for

the fuzzy Henstock integral, Fuzzy Sets and Systems 200, (2012), 36â ˘ A¸ S47.

  • D. CANDELORO Sui teoremi di Vitali-Hahn-Saks, Dieudonné, e Nikodým,
  • Rend. Circ. Mat. Palermo, ser. VII, 8, (1985), 439-445.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-42
SLIDE 42
  • D. CANDELORO Convergence theorems for measures taking values in Riesz

spaces, Kybernetika 32, (2002), 287-295.

  • D. CANDELORO, A.R. SAMBUCINI, Filter convergence and decompositions

for vector lattice-valued measures, in press in Med. J. Math. (2014).

  • P. CAVALIERE, P. de LUCIA, On Brooks-Jewett, Vitali-Hahn-Saks and

Nikodým convergence theorems for quasi-triangular functions, Atti Accad.

  • Naz. Lincei Cl. Sci. Mat. Fis. Natur. Rend. Lincei (9) Mat. Appl. 20 (2009),

387-396. F.J. FRENICHE, The Vitali-Hahn-Saks Theorem for Boolean Algebras with the Subsequential Interpolation Property, Proc. Amer. Math. Soc. 92 (13), (1984), 362-366.

  • R. HAYDON, A non-reflexive Grothendieck space that does not contain l∞,

Israel J. Math. 40, (1981), 65-73.

  • P. KOSTYRKO, T. ŠALÁT, W. WILCZY ´

NSKY, I-convergence, Real Anal. Exchange 26 (2), (2000/2001), 669-685.

  • F. NURAY, W.H. RUCKLE, Generalized statistical convergence and

convergence free spaces, J. Math. Anal. Appl. 245, (2000), 513-527.

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16

slide-43
SLIDE 43
  • H. WEBER, Boolean algebras of lattice uniformities and decompositions of

modular functions, Ricerche di Matematica 58, (2009) 15-32 . DOI 10.1007/s11587-009-0043-3

Candeloro-Sambucini (D.M.I.) Filter convergence ... Integration, Vector Measures and Related Topics / 16