Theorem

Rademacher's Theorem

Analysis

Rademacher's theorem, named after Hans Rademacher, states that if U is an open subset of real n-dimensional space and f, mapping U into real m-dimensional space, is Lipschitz continuous, then f is differentiable almost everywhere in U, meaning the set of points where f fails to be differentiable has Lebesgue measure zero. Differentiability here means approximability by a linear map to first order, which in particular implies that all of f's coordinate-wise partial derivatives exist at almost every point.

Facts
Classification
Statement Form
Characterization Theorem 1
Rademacher's Theorem
Filter Results1 entry
Connections

Has Statement Form

In Branch

Source Rademacher's Theorem (Wikipedia)

Principal Result Of

Source Rademacher's Theorem (Wikipedia)

Proved By

Source Rademacher's Theorem (Wikipedia)
Sources
1. Rademacher's Theorem (Wikipedia)
  • Lead section
    In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If U is an open subset of Rn and f: U → Rm is Lipschitz continuous, then f is differentiable almost everywhere in U; that is, the points in U at which f is not differentiable form a set of Lebesgue measure zero.
  • Principal Result Of: Hans Rademacher, Lead sentence of the article on the result
    In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If U is an open subset of Rn and f: U → Rm is Lipschitz continuous, then f is differentiable almost everywhere in U; that is, the points in U at which f is not differentiable form a set of Lebesgue measure zero.
  • In Branch: Analysis, Lead sentence
    In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If U is an open subset of Rn an
  • Proved By: Hans Rademacher, Lead
    In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If U is an open subset of Rn and f: U → Rm is Lipschitz continuous, then f is differentiable almost everywhere in U; that is, the points in U at which f is not differentiable form a set of Lebesgue measure zero
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.

Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme