[남기웅]

저는 상식적으로 a>b 일때 sigma 함수의 값은 0 이 당연하다고 생각했는데요. sigma 함수에서 인덱스 셋은 a<=x<=b를 만족하는 정수 x의 집합이고, 그러한 인덱스 셋의 모든 원소에 대한 sum을 하는 것이 sigma 함수인데, 인덱스 셋이 공집합이면 empty sum 이므로 0이 되는 것이지요.

sigma( a, b, f)에서 a>b 보다 큰 경우, sigma (b,a,f) 로 정의한다는 것을 전 처음 들어봤네요. 적분에서 그렇게 정의하는 것은 유향곡선에 대한 선적분으로 자연스럽게 이해가 되지만, sigma에서는 이해하기가 힘드네요. 누구든지 이러한 정의에 대한 reference를 알려 주시면 감사하겠습니다.

[정영범]

[신해수]

[남기웅]

Knuth의 그 부분을 저도 읽어보았는데, 그런 내용이 있는지 다시 한번 찾아봐야겠군요. 그리고 신혜수님께서 약간 오해하신 것 같은데 제 말은 a<b 이면 정의없음이 아니라(즉 입력의 에러가 아니라) 함수의 값이 정수 0 으로 정의된다는 것입니다.