여러 부등식을 요약하는 부등식꼴
📂보조정리여러 부등식을 요약하는 부등식꼴
정리
x1,⋯,xn 와 양수 a1,⋯,an>0 들과 상수 θ∈R 가 주어져 있다고 하자.
∀i∈[n]:xi<aiθ⟺i∈[n]maxaixi<θ
정리
(⟹) 모든 i∈[n] 에 대해 xi/ai<θ 이 성립한다는 것은 가장 큰 xi/ai 조차 θ 보다 작다는 것이다. (⟸) 가장 큰 xi/ai 조차 θ 보다 작다는 것은 모든 i∈[n] 에 대해 xi/ai<θ 이 성립한다는 것이다.
■
설명
반대방향
충분통계량에 관련된 정리의 증명에 필요하다. 당연하지만 반대방향으로써 다음의 정리를 생각해볼 수 있다.
∀i∈[n]:xi>biθ⟺i∈[n]minbixi>θ