Skip to main content
MathOverflow

Return to Question

Math Jaxed
Source Link
Daniele Tampieri
Daniele Tampieri
  • 6.4k
  • 7
  • 30
  • 45

The set of HK integrable functions with an integrable upper bound f$f$ forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is countably complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to i$i$, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.

The set of HK integrable functions with an integrable upper bound f forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is countably complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to i, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.

The set of HK integrable functions with an integrable upper bound $f$ forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is countably complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to $i$, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.

added 1 character in body
Source Link
saolof
saolof
  • 1.9k
  • 6
  • 19

The set of HK integrable functions with an integrable upper bound f forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is finitelycountably complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to i, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.

The set of HK integrable functions with an integrable upper bound f forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is finitely complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to i, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.

The set of HK integrable functions with an integrable upper bound f forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is countably complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to i, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.

Source Link
saolof
saolof
  • 1.9k
  • 6
  • 19

Is the lattice of bounded Henstock Kurzweil integrable functions countably complete?

The set of HK integrable functions with an integrable upper bound f forms a lattice, and satisfies the MCT and DCT. Does this mean that the lattice is finitely complete?

Indexing any countable set, and taking the sequence of maxima of the functions with index up to i, should converge to the pointwise suprema of the functions in the set. By the MCT or DCT, that suprema is integrable. And it should be independent of the indexing.

This is a relatively straightforward result, but I can't seem to see it proven or mentioned anywhere? Is there a reference for this result? Assuming I haven't made some stupid error, it looks like a fairly simple generalization of the lattice of indicator functions of measurable sets.