Или формально.
Пусть

,

. Тогда

В силу однородности пространства

не должны зависеть от выбора точки пространства, в которой они измеряются. Отсюда следует, что все частные производные функций преобразования являются константами. А это возможно тогда, когда они линейны.
Изотропность дает несколько другие следствия.