In another blogpost I wrote about convexity from an abstract point of view. Recall, that convex functions can be defined as soon as we have a real linear structure on and an order on as this allows to formulate the basic requirement for a convex function, namely that for all and it holds that
One amazing thing about convexity is, that it implies some regularity for the function. Indeed, you’ll find something on the net if you search for “convexity implies continuity”. But wait. How can that be? We have a mapping from a vector space to some ordered space (which I will always assume to be here, i.e. the extended real line) and we did not specify any topology on (while the extended real line carries its usual order topology). Indeed, one can equip a vector space with a lot of different topologies so how can it be that some property like convexity, which is expressed in purely algebraical terms, implies something like continuity, which is topological property? The answer is, that it is not really true that “convexity implies continuity”. The correct statement is a bit more subtle:
A convex function is Lipschitz continuous at any point where it is locally bounded.
Ok, here we have something more: We need boundedness of , but this is still related to and not related to . But there is this little word “locally” and this is the point where some topology on comes into play. Let’s assume that we have even a metric on so that we can talk about balls. Then, the statement reads as:
A convex function is Lipschitz continuous at a point if there exists a and such that for .
Put differently: The continuity of a convex function depends on the boundedness of on neighborhoods. Consequently, if we change the topology, we change the set of neighborhoods and hence, a fixed convex function may have different continuity behavior in different topologies. This does indeed happen. Consider the following extreme example: Let and
This function is convex but, for the norm-topology, not continuous at any point. Also, it is not locally bounded at any point. However, if we change the topology such that each point is its own neighborhood (that is, we take the discrete metric), than we get local boundedness and also continuity of .