Why are $\Gamma_0$ functions called this

I think Carlo Beenakker digged up the right reference for the notation of the set, but I think more can be said.

First, there is some meaning for the subscript $0$ which can be found in the same paper of Moreau a little later:

excerpt of the paper

So $\Gamma(H)$ are all functions that are pointwise suprema of continuous affine functions. This is a neat space since it's elements are build from very simple objects, but is also quite general as it includes all convex and lower semi-continuous functions. However, it includes two not-so-nice functions, namely $f(x)\equiv \infty$ and $f(x)\equiv -\infty$. Both are not really needed and complicate the theory a bit, hence $\Gamma_0(H)$ is introduced which is just $\Gamma(H)$ without these two functions (and adding a subscript $0$ to specialize a set seems pretty common).

Also, one can say a bit more about the letter $\Gamma$. I don't think its origin has something to do with projections. I checked Fenchel's lecture notes on convexity from 1951. There he did not use convex functions that were allowed to assume the value $+\infty$, but always includes the domain of definition into the description of the convex functions, i.e. he wrote $[C,f]$ to denote a convex function $f:C\to{}]{-\infty},+\infty[$.

In this lecture notes he describes dualities between convex sets (Chapter II, Sec. 8) and also between functions (Chapter III, Sec. 5). For the duality of sets he used $C$ for sets of points and $\Gamma$ for sets of hyperplanes and then describes the duality of the two descriptions of convexity by either 1) the points in the set or 2) by the hyperplanes that separate the set from outer points. In III.8 where he describes Fenchel duality he used $[C,f]$ for "convex $f$ defined on $C$" and denotes the dual function as $[\Gamma,\varphi] = [C,f]^*$. Here $\Gamma$ somehow describes (a part of) the affine functions minorizing $f$ which may be the motivation for Moreau to use $\Gamma$ for the set.


It seems the notation $\Gamma_0$ was introduced by Jean-Jacques Moreau in Proximité et dualité dans un espace Hilbertien (1965), as a generalisation of the notion of projection onto a convex domain (see screenshot). No explanation is given for the subscript $0$, but the connotation with a projection seems natural.