where the second equality follows from Lemma 2. We have proven that the operator \(f\) maps all reward functions from a particular equivalence class to the same reward function. Next, we show that for every equivalence class of reward functions, the reward function that has the reparameterization outlined in Theorem 1 is unique.
여기서 두 번째 등식은 Lemma 2에서 나옵니다. 우리는 연산자 \(f\)가 특정 등가 클래스의 모든 reward 함수를 동일한 reward 함수에 매핑한다는 것을 증명했습니다. 다음으로, 모든 reward 함수의 등가 클래스에 대해 Theorem 1에 설명된 reparameterization이 있는 reward 함수는 고유하다는 것을 보여 줍니다.
여기서 두 번째 등식은 레마 2에서 나옵니다. 우리는 연산자 \(f\)가 특정 등가 클래스의 모든 보상 함수를 동일한 보상 함수에 매핑한다는 것을 증명했습니다. 다음으로, 모든 보상 함수의 등가 클래스에 대해 정리 1에 설명된 재매개변이 있는 보상 함수는 고유하다는 것을 보여 줍니다.