The entropy of a set is the logarithm of the number of elements in . Gromov’s remarkable insight (which he elaborated on in a course I attended a decade ago) by taking the logarithm we can ensure *additivity:** *. Perhaps one should also observe a more obvious property, *monotonicity: .*

Gromov observed that in place of the logarithm of the cardinality, one can use any other quantity that is additive (and monotonic). Indeed there is another familiar additive (and monotonic) quantity: *dimension. *By using dimension in this way, Gromov introduced the idea of *mean dimension* of the space of holomorphic maps, which is analogous to the density of entropy.

Here I will comment on building on Gromov’s idea in a couple of different ways. The starting point in both cases is that there is an obvious connection to Sheafs.

*Sheafs and Subadditivity: *Suppose we have a *sheaf* on a topological space *. *This means that we associate to each open set $U\subset latex X$ an object – here a set , perhaps with the structure of a vector space. If , there is a corresponding restriction map from to . Further, given elements and $s_V\in latex S(V)$ whose restrictions to agree, there is a unique element in whose restrictions to and are and . The obvious examples of sheafs are continuous (smooth, holomorphic) functions on . Gromov considers sheafs of holomorphic functions with appropirate bounds to ensure finite-dimensionality.

Suppose we are given a sheaf and an appropriate notion of entropy for the sets with the given structure – for example, logarithm of the cardinality or dimension of vector spaces. We can then associate to open sets the function . Additivity and monotonicity then give:

.

*Independence and Conditional Entropy: *If , then we see that , so the sets (or rather the systems with these sets as domains) are independent. We can take this to be the definition of independence. More generally, we can define the conditional entropy:

This satisfies , with equality in the second inequality characterising independence.

*Domains of holomorphy:*

We can consider the sheaf of holomorphic functions satisfying some appropriate conditions ensuring finite dimensionality: $latex\frac{\partial f}{\partial z_i}\leq Cf$ seem promising. We can then consider the function . We get associated conditional entropies.

If is contained in the holomorphic convex hull of , then . Thus, we get a nice refinement of notions like domains of holomorphy.

*Graphs and Colourings:*

Given a countable graph, we consider its set of vertices as a discrete set. We can associate to a set of vertices the set of colourings of the vertices in using red, blue and green, so that adjacent vertices have different colours. This gives a sheaf, and the entropy may give insights into 3-colourings.