Purchase Solution

Borel-measurable function

Not what you're looking for?

Ask Custom Question

Prove that the following function is Borel-measurable function.

f_n(t) = { [t*2^n]*2^-n , 0 < t < n,

n , t > or = to n

| f_n(t) - t | < 2^-n , t < n }

I want a detailed proof. I want to know what one needs to check when proving some function is Borel-measurable function.

There are no typos, the way the function is defined for 0 < t < n is approximation for the function

Purchase this Solution
Solution Preview

OK, now i think I understand: you have the notation [x] = "the integer part of x".

I shall use the following definition of a measurable function, applicable to any measure, including Borel measure:
"
A function f: X-->R is measurable if, for every real number r, the set
{ x in X: f(x) > r }
is measurable
"

If my understanding of notation [x] is not the same as yours or if the definition of measurable I use is not the one that you want to use, please DO NOT READ FURTHER ON, request a refund, and POST YOUR QUESTION AGAIN so that the management can see that you do NOT use the solution given ...

Purchase this Solution
Free BrainMass Quizzes
Probability Quiz

Some questions on probability

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

View More Free Quizzes
Related BrainMass Solutions

  • Markov's Inequality

    Since , it is a non-negative Borel-measurable function of the random variable S. Let us assume that S is a continuous random variable with p.d.f .

  • Borel Measurable and Borel Functions

    51423 Borel Measurable and Borel Functions 1).Let f(X) : R -> R be the following: f(x) = { 1 if x is in Q (rationals) , 0 if x is not in Q ( irrational)} Prove that f(x) is Borel measurable ( Borel functions).

  • Measure Theory and Dominated Convergence Theorem

    Definition 2: Let f1, f2, f3, ... be a sequence of real-valued, Borel-measurable functions defined on . Let f be another real-valued, Borel-measurable function defined on .

  • Correspondence of Borel sets

    Thus is also a borel set in . Therefore, establishes one-to-one correspondence between Borel sets of and . This is a proof regarding one-to-one correspondence of Borel sets.

  • Real Analysis : In this space, is every closed and bounded set compact?

    keywords: Heine-Borel, Borel The answer is yes. This can be induced directly by Heine-Borel theorem. It says, a subset S of Eucliean space R^n is bounded and closed if and only if S is compact.

  • Borel Cantelli Lemma Application

    This question demonstrates an application of the Borel-Cantelli lemma.

  • Heine-Borel Theorem

    Since is closed and bounded subset of R, it follows from the Heine-Borel Theorem that is compact. Then, by Theorem 2, is a compact subset of R. So by Heine-Borel Theorem, is closed and bounded.

  • Lebesgue Integration and Measure Theory

    118199 Lebesgue Integration and Measure Theory (R,B,λ) denote the real line with Lebesgue measure defined on the Borel subsets of R. And 1≤p<∞ 1.

  • Probabilities : Strong Law of Large Numbers

    Among the following terms, identify those which are equal to 0, and majorate the others as a function of (i.e., find a number, expressed in terms of , which is greater than or equal to the term): 3.

View More Related Solutions