Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Is it impossible to prove Jensen's inequality by way of step functions?

+4
−0

Jensen's Inequality: Let $\varphi:\Bbb R\to \Bbb R$ be convex, and $f:[0,1]\to\Bbb R$ be integrable, and suppose $\varphi\circ f$ is integrable over [0,1]. Then $$ \varphi\left(\int_{[0,1]} f\right)\le \int_{[0,1]}\varphi\circ f $$ A proof from step functions:

I have seen a proof of this inequality for every step function f.

My question is, can we then extend this proof to all measurable f satisfying the assumptions of the proof?

I've encountered a number of other proofs of this theorem, but I'm particularly interested to see how one might do this from the result for step functions. If we knew that $\varphi$ were continuous then I would consider trying to use one of the several convergence theorems for the Lebesgue integral. But since we don't assume continuity then this seems like a bad route.

But if we are going to extend from the result for step functions, it seems like we must use $f = \lim_{n\to\infty} s_n$ for a sequence of step functions. But if the limit can't pass through the function $\varphi$ then it seems to me that there simply cannot be any way to infer the full result from the result for step functions.

History
Why does this post require moderator attention?
You might want to add some details to your flag.
Why should this post be closed?

1 comment thread

Convexity doesn't imply continuity? (1 comment)

1 answer

+0
−0

Right, due to the comment, we know the convex function is continuous and therefore the rest of the proof can be done using the MCT. In particular this is because every function is approached from below by a sequence of step functions.

History
Why does this post require moderator attention?
You might want to add some details to your flag.

0 comment threads

Sign up to answer this question »