При определенных дополнительных предположениях ничего путного придумать нельзя.
1. Сначала ответим на следующий вопрос: предположим, что операция сложения независимых случайных величин определена стандартным образом (операция свертки). Можно ли как-то так определить функционал

(интерпретируемый как средняя погрешность) из множества случайных величин (определенных на одном вероятностном пространстве) с конечным математическим ожиданием в множество действительных чисел

, что
![$\mathbb{D}[X+Y]=\mathbb{D}[X]+\mathbb{D}[Y]$ $\mathbb{D}[X+Y]=\mathbb{D}[X]+\mathbb{D}[Y]$](https://dxdy-04.korotkov.co.uk/f/3/8/2/382a9ac460784493feba3a97ee81af1e82.png)
и
![$\mathbb{D}[aX]=a\mathbb{D}[X]$ $\mathbb{D}[aX]=a\mathbb{D}[X]$](https://dxdy-04.korotkov.co.uk/f/7/8/e/78e734c269dd25558e62a3e71e4437bb82.png)
для любых двух независимых случайных величин

,

и числа

?
Нетрудно доказать, что при дополнительном предположении о непрерывности функционала относительно сходимости случайных величин по вероятности, единственным таким функционалом является
![$\mathbb{D}[X]=c\mathbb{E}[X]$ $\mathbb{D}[X]=c\mathbb{E}[X]$](https://dxdy-02.korotkov.co.uk/f/1/8/0/180e86625329c23f43f193a268319cf882.png)
, где
![$\mathbb{E}[X]$ $\mathbb{E}[X]$](https://dxdy-04.korotkov.co.uk/f/b/9/0/b9034830d87a3330f7d1c54d603c836e82.png)
- математическое ожидание соответствующей случайной величины,

- произвольная константа.
2. Теперь о каком-то другом определении операции

сложения случайных величин (здесь

- это какая-то двуместная функция, в случае стандартного определения:

). Надо понять, чего мы ожидаем от такой операции? Прежде всего того, чтобы результат операции

также являлся случайной величиной. Этого можно добиться, например, потребовав непрерывность функции

. Далее, чаще всего требуют, чтобы эта операция образовывала группу на множестве вырожденных случайных величин (или полугруппу на множестве всех случайных величин и строго монотонно возрастала). В обоих случаях это ведет к операции вида

для некоторой непрерывной строго монотонной функции

, то есть к группе, изоморфной группе из пункта 1. И аналогичные рассуждения приводят к тому, что единственным "приличным" функционалом здесь является
![$\mathbb{D}[X]=c\mathbb{E}f(X)$ $\mathbb{D}[X]=c\mathbb{E}f(X)$](https://dxdy-03.korotkov.co.uk/f/e/f/3/ef3200a5c54fbf732b412148251accfc82.png)
.