너무 간단한 질문이라 미안하긴 한데 내가 생각한 게 맞는지 모르겠어

daruboux integral에서 lowersum을 정의할 때 있잖아.

파티션을 나눠서 그 파티션마다 infimum을 그으면 step function 나오잖아.

이걸 함수로 표현하고 싶으면 어떻게 수식을 써야 돼?

내가 생각한 건

w(x):=inf{f(a):a∈[xk-1,xk]} (x∈[xk-1,xk]) 인데 이게 제일 간단한 수식이야?


왜냐하면 그냥

w(x):=inf{f(x):x∈[xk-1,xk]} 이렇게 적어버리면 어떤 x에 대해서 w함수가 이렇게 정의되는지 알 수가 없으니까..