A metric measure space is a complete, separable metric space equipped with a probability measure that has full support. Two such spaces are equivalent if they are isometric as metric spaces via an isometry that maps the probability measure on the first space to the probability measure on the second. The resulting set of equivalence classes can be metrized with the Gromov-Prohorov metric of Greven, Pfaffelhuber and Winter. We consider the natural binary operation ⊞ on this space that takes two metric measure spaces and forms their Cartesian product equipped with the sum of the two metrics and the product of the two probability measures. We show that the metric measure spaces equipped with this operation form a cancellative, commutative, Polish semigroup with a translation invariant metric. There is an explicit family of continuous semicharacters that is extremely useful for, inter alia, establishing that there are no infinitely divisible elements and that each element has a unique factorization into prime elements. We investigate the interaction between the semigroup structure and the natural action of the positive real numbers on this space that arises from scaling the metric. For example, we show that for any given positive real numbers a, b, c the trivial space is the only space that satisfies a ⊞ b = c . We establish that there is no analogue of the law of large numbers: if X₁, X₂, … is an identically distributed independent sequence of random spaces, then no subsequence of [Formula: see text] converges in distribution unless each X_k is almost surely equal to the trivial space. We characterize the infinitely divisible probability measures and the Lévy processes on this semigroup, characterize the stable probability measures and establish a counterpart of the LePage representation for the latter class.

A scaling on some space is a measurable action of the group of positive real numbers. A measure on a measurable space equipped with a scaling is said to be α-homogeneous for some nonzero real number α if the mass of any measurable set scaled by any factor t> 0 is the multiple t-α of the set’s original mass. It is shown rather generally that given an α-homogeneous measure on a measurable space there is a measurable bijection between the space and the Cartesian product of a subset of the space and the positive real numbers (that is, a “system of polar coordinates”) such that the push-forward of the α-homogeneous measure by this bijection is the product of a probability measure on the first component (that is, on the “angular” component) and an α-homogeneous measure on the positive half line (that is, on the “radial” component). This result is applied to the intensity measures of Poisson processes that arise in Lévy-Khinchin-Itô-like representations of infinitely divisible random elements. It is established that if a strictly stable random element in a convex cone admits a series representation as the sum of points of a Poisson process, then it necessarily has a LePage representation as the sum of i.i.d. random elements of the cone scaled by the successive points of an independent unit-intensity Poisson process on the positive half line each raised to the power -1α.