Let f : <mi mathvariant="normal">&#x03A9;<!-- Ω --> &#x2192;<!-- → --> B be Bochne

hawatajwizp 2022-06-24 Answered
Let f : Ω B be Bochner-measurable, i.e. the point-wise limit of a sequence of simple (i.e. countably-valued measurable) functions ( s n ). I know that if
Ω | | f ( ω ) | | d μ ( ω ) < ( )
then one can show that f is Bochner-integrable, i.e. there is even a Bochner-integrable sequence of simple functions ( s ~ n ) such that
lim n Ω | | f ( ω ) s ~ n ( ω ) | | d μ ( ω ) = 0 ( )
I am unsure, however, how to derive this sequence when the measure space Ω is not finite. Apparently one is supposed to make use of the fact that due to ( ), the set
A := { f 0 } = n = 1 { | | f | | > 1 n } =: A n
is σ-finite, as each A n has finite measure. But how to proceed? Setting s ~ n = 1 A s n would not be enough to make the functions Bochner-integrable, as the entire set A might still have infinite measure. Setting s ~ n = 1 A n s n would do it and maintain pointwise convergence, but then I don't know how to show the convergence in ( ) anymore...any tips are much appreciated.
You can still ask an expert for help

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question

Answers (1)

Schetterai
Answered 2022-06-25 Author has 25 answers
Think of A n as a measure space with the restriction of the σ −algebra on Ω and the restriction of the measure μ. Since you already know the result for finite measure space you can find a simple function t n on this space such that A n f χ A n t n d μ < 1 n . Let s n = t n on An and 0 outside. Then s n is a simple function on Ω and f s n d μ A n f χ A n t n + Ω A n f d μ. Now Ω A n f d μ 0 because lim n A n f d μ = f χ { f 0 } d μ ( f d μ ) by Monotone ConvegenceTheorem.
Did you like this example?
Subscribe for all access

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

You might be interested in

asked 2022-06-03
Consider a complete, finite measure space ( X , M , μ ). Let { f n } n = 1 L 1 ( μ ) be a sequence such that sup n | f n | d μ < . Furthermore, assume that for every ε > 0 there exists δ > 0 such that E | f n | d μ < ε whenever μ ( E ) < δ. I want to show the followings:
( a )   sup n { | f n | M } | f n | d μ 0  as  M .
( b )   sup n { | f n | δ } | f n | d μ 0  as  δ 0.
I have the following proof for (a):
Let E = { x X : | f n ( x ) | M }. By Chebyshev's inequality,
μ ( E ) 1 M X | f n | d μ   n N .
Since μ ( E ) 0 as M , δ > 0, μ ( E ) < δ and therefore,
E | f n | d μ < ε .
Since this is true for all ε > 0 and n N ,
E | f n | d μ = { | f n | M } | f n | d μ 0  as  M .
Taking the supremum on the left-hand side, we get
sup n { | f n | M } | f n | d μ 0  as  M .
I wonder if my proof is coorect, and for (b), I wonder how to show that the measure of the set { | f n | δ } is small so that a similar argument can be stated as in (a)?
asked 2022-05-15
Let X Y be positive random variables. Now E ( f ( X ) ) E ( f ( Y ) ) for a strictly decreasing function f. But what can we say about the relation f 1 ( E ( f ( X ) ) and f 1 ( E ( f ( Y ) )? Suppose f ( x ) = 1 x . Then clearly f 1 ( E ( f ( X ) ) f 1 ( E ( f ( Y ) ). I am interested in the general case, i.e. can we find a function f such that the holds?
asked 2022-03-27
Determining a person's reaction time (in milliseconds) would involve measurement on a(n) _____ scale of measurement.
asked 2022-07-08
Given a set Ω with a σ-field F defined on it. Let B be a subset of Ω and define
B F = { B F : F F }. Call this F B .
The claim is that this collection of sets is a σ-field and hence (B, F B ) is a measurable space.
I don't see why F B is a σ-field just because it is a subset of one. Any insight appreciated
asked 2022-07-05
MathJax(?): Can't find handler for document MathJax(?): Can't find handler for document Let A 1 , A 2 , be a collection of events, and let A be the smallest σ-field of subsets of Ω which contains all of them. If A A , then there exists a sequence of events { C n } such that
C n A n  and  P ( A C n ) 0  as  n
where A n is the smallest σ-field which contains the finite collection A 1 , A 2 , , A n .
However, I do not know how to choose the C n such that they turn up in σ ( A 1 , . . A n )?
asked 2022-07-03
Setting We work on a filtered probability space with finite time horizon T. The filtration is assumed to be complete. Let X be a stochastic process that satisfies a property (A) a.s. For example, if property (A) is being nonnegative at the time T, then X satisfies P [ X T 0 ] = 1.
Question I would like to obtain that X (up to indistinguishability) satisfies property (A) for each ω.
My attempt Define a process Y to be equal to 0 on the event { X T < 0 } and define it to be equal to X on { X T 0 }. Then Y T 0. Is it then correct that X , Y are indistinguishable, i.e. P [ X t = Y t , t [ 0 , T ] ] = 1? Is this approach possible whenever the event where the stochastic process does not satisfy the desired propert has probability 0?
asked 2022-03-12
When we make a set of measurements, the width or standard deviation of the sampled parent distribution generally reflects the accuracy of our measurement methods.
True or False