There is at most one continuous invariant mean
arXiv:2106.13070 · doi:10.1007/s00010-022-00870-w
Abstract
We show that, for a (not necessarily continuous) weakly contractive mean-type mapping (where is an interval and ), the functional equation has at most one solution in the family of continuous means . Some general approach to the latter equation is also given.