굳이 inf가 숫자 맞느니 확장실수계니 그런거 엄밀히 안 따지고 받아들일 수 있다고 하고 얘기해볼게
일단 왜냐면 vacuois truth 때문에 모든 수가 공집합의 upper bound가 되거든
모든 수의 집합에서 가장 작은것(=상한)을 굳이 꼽자면 -inf자너
비슷한 논리로 하한 최대 최소도 정의해볼 수 있을거야
근데
상한 하한은 집합의 원소일 필요가 없는데
최대 최소는 집합의 원소여야 돼서, 원칙적으론 없다고 해야지
프로그래밍 하는 애들 입장에선 어떻게 여겨질지 모르겠다
그냥 계산하기 편하게 정의하는거 같은데
대충 어떤 느낌으로 max()를 -inf로 정의했는지 설명하려고, 그리고 내용 좀 보강함
그럼 이름을 max가 아니라 sup이라 했어야
그러게
프로그래밍에서는 단순 숫자 계산하다 익셉션 나는거 막으면서 다른 수와 비교도 가능하게 임의로 inf, -inf, nan 같은거를 수 타입을 가지는 상수로 넣어놓은거라 수학에서의 정의랑은 거리가 먼듯 - dc App
그리고 프로그래밍에서는 의미론적인거보다 일반적으로 기대되는 행동에 부합하느냐가 훨씬 중요한데 다른 언어들에서는 안 저러는 시점에서... - dc App
실제로 저 정의도 수학에서 공집합을 예외로 하는 귀찮음을 어느정도 막아줘
당연히 프로그래밍의 실질적인 문제를 더 존중해줘야지
이해는 되는 동작인데
터지는게 더 예상 가능한 동작같음
const nums = getNumbs() // [] Math.max(...nums) // -Inf 이런 상황이면 찾기 어려울것같음
수학얘기는 아닌거같음. 최대최소는 집합의 원소여야한다는거부터
일단 해당 관점이나 정의가 어느쪽의 문화인지도 모르겟거니와 아랫쪽내용은 수학이아니어보임
글고 요즘 그쪽손놓은지 한참됐는데 공집합의 inf sup 논하려면, 공집합을 누구 부분집합을 봐야하는지는 명시해야할거. 공집합 자기자신은 뭐 PartialOrder도 없고 뭐 아무것도 없는애들끼리 순서니 뭐니 줘봤자 논할게 없음