Subdifferential under scalar affine composition
ID: subdifferential-under-scalar-affine-composition
For a finite convex function , the function is convex. The subgradient inequality gives , where . Conversely, every subgradient of annihilates , because is constant on lines in those directions. For , write and test the subgradient inequality at ; this proves . For , is constant and both sides are since a finite convex function on the real line has a nonempty subdifferential everywhere.
New to topics? Read the docs here!