마요네즈를 바른 햄 샌드위치 정리: 고전 햄 샌드위치 정리의 강화

본 논문은 고전적인 햄 샌드위치 정리(Ham Sandwich Theorem)의 결론을 한 단계 강화한다. 기존 정리는 n개의 유한한 볼레르 집합(또는 측도)이 주어지면, 이들을 동시에 절반으로 나누는 초평면이 존재한다는 내용이다. 저자들은 여기서 “각 집합(또는 측도)의 폐포와 교차한다”는 추가적인 접촉 조건을 도입한다. 즉, 초평면이 단순히 질량을 절반씩 나누는 것에 그치지 않고, 각 집합의 경계 혹은 측도의 지지체를 반드시 스친다. 이를 직관적으로 “마요네즈를 바른 햄 샌드위치”에 비유하여, 칼날에 마요네즈가 묻어 각 재료에 동시에 닿는 상황을 묘사한다. 논문의 전개는 크게 세 부분으로 나뉜다. 1. **이산 경우와 원자 측도** - 정의: 유한 집합 A에 대해 초평면 H가 A를 절반으로 나눈다는 것은 |A∩H⁺| ≤ |A|/2 그리고 |A∩H⁻| ≤ |A|/2을 만족한다는 뜻이다. - 정리 1(원자 측도): n개의 순수 원자 양의 유한 측도 μ₁,…,μₙ(각각 원자 수가 유한) 에 대해, 어떤 초평면 H가 모든 μᵢ를 절반으로 나누고, 각 μᵢ의 최소 하나의 원자를 포함한다. - 증명 아이디어: 먼저 각 원자의 질량을 아주 작게 감소시켜 “일반 위치”를 만든 뒤, Borsuk‑Ulam 정리를 적용해 절반 초평면을 확보한다. 그런 다음, 감소시킨 양을 0으로 보내는 극한 과정을 통해 원래 측도에 대한 초평면을 얻으며, 이 과정에서 원자 하나가 초평면에 남아 있음을 보인다. - 직접적인 결과인 Corollary 3은 “n개의 비어 있지 않은 유한 집합 A₁,…,Aₙ ⊂ ℝⁿ”에 대해, 각각 최소 하나의 점을 포함하면서 동시에 절반을 나누는 초평면이 존재함을 말한다. 이는 “소금 알 하나와 후추 알 하나를 동시에 포함하는 절반 절단선”이라는 직관적인 예시로 설명된다. 2. **일반적인 컴팩트 측도** - 정리 5(일반 측도): n개의 컴팩트하게 지지되는 양의 유한 볼레르 측도 μ₁,…,μₙ에 대해, 절반을 나누는 초평면 H가 존재하고, H는 각 μᵢ의 지지체와 교차한다. - 증명 전략: a. 큰 닫힌 입방체 C를 잡아 모든 측도의 지지체를 포함한다. b. C를 직경 < ε인 작은 입방체들로 분할하고, 각 입방체의 중심을 cᵢ라 하여 질량을 그 점에 집중시킨 순수 원자 측도 νᵢ를 만든다. c. 정리 1을 적용해 νᵢ들을 절반으로 나누는 초평면 H_ε를 얻고, 이 초평면이 적어도 하나의 중심 cᵢ를 포함함을 확인한다. d. ε → 0 로 보낼 때, H_ε는 수열의 극한 H로 수렴한다. 이때 측도 연속성(연속 정리)과 지지체의 폐쇄성을 이용해 H가 원래 측도 μᵢ를 절반으로 나누고, 또한 supp(μᵢ)와 교차함을 증명한다. - 이 과정에서 중요한 점은 “초평면이 측도 위에 질량을 가질 수 있다”는 정의를 사용함으로써, 초평면이 지지체와 정확히 맞닿는 경우에도 절반 조건이 유지된다는 것이다. 3. **예시와 한계, 그리고 증명 보완** - 여러 예시를 들어 정리의 필요성을 강조한다. 예를 들어, 두 개의 열린 원판 집합 A와 B는 절반을 나누는 유일한 직선이 y=0이지만, 이 직선은 실제 집합 A·B와는 교차하지 않는다. 이는 폐집합 가정이 필요함을 보여준다. - 또 다른 예시에서는 닫힌 원판 A와 B가 존재하지만, 절반을 나누는 직선 x=0은 B와 접촉하지 않는다. 대신 y=0이 두 집합 모두와 접촉한다는 점을 강조한다. - 마지막으로, 기존 논문