For a functional on a real Banach space, its convex conjugate is defined on the dual space by
Here is the dual pairing. For complex spaces, use its real part, equivalently regard the space as real for convex analysis. The convex conjugate is a convex function, being the supremum of affine functions of , even when itself is not convex.