In real functions, do we have a notion of one-sided measure theoretic limits? I want to define them

Pattab

Pattab

Answered question

2022-07-01

In real functions, do we have a notion of one-sided measure theoretic limits? I want to define them with the following:
lim x c + f ( x ) = L
iff
ϵ , δ > 0 , J := f ( ( c , c + δ ) ) , μ ( J B ϵ ( L ) ) = μ ( J )

Answer & Explanation

Danika Rojas

Danika Rojas

Beginner2022-07-02Added 9 answers

First of all, it should be noted that the image of a Borel set by a continuous function may not be Borel, so there might be measurability issues.

Let n be an integer, A 1 , , A n be subsets that partition R , and α 1 , , α n real numbers. Consider f := i = 1 n α i 1 A i .

Then f verifies your condition everywhere, since μ ( { f ( x )   |   x R } ) = 0.

In fact, if you want to define something, I think you should first make a list of whatever your definition is supposed to imply. For example, should your definition of measure-continuity-on-the-left be verified for continuous functions in the usual sense?
Jameson Lucero

Jameson Lucero

Beginner2022-07-03Added 5 answers

Great point about measurability issues. Also, I like your example function a lot. That's very useful.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?