스테인하우스 정리

틀:위키데이터 속성 추적 실해석학에서, 스테인하우스 정리(틀:Llang)는 양의 르베그 측도를 갖는 실수 집합 속 두 점의 차가 0의 열린 근방을 포함한다는 정리이다.

정의

(왼쪽 하르 측도 $\mu$를 갖춘) 국소 콤팩트 하우스도르프 위상군 $G$가 주어졌다고 하자. 스테인하우스 정리에 따르면, 임의의 양의 측도의 가측 집합

$A\subset G$

$\mu (A)>0$

에 대하여,

$A{A}^{-1}=\{a{b}^{-1}:a,b\in A\}$

는 항등원 $1_G\in G$의 근방이다. 즉, $1_G\in U\subset A{A}^{-1}$인 열린집합 $U\subset G$가 존재한다. 틀:증명 편의상 $G=ℝ$가 (르베그 측도 $\mu$를 갖춘) 실수선이라고 하자. $A$가 양의 측도의 콤팩트 부분 집합을 가지므로, 편의상 $A$가 콤팩트 집합이라고 가정할 수 있다. 그렇다면

$U\supset A$

$\mu (U)<2\mu (A)$

인 열린집합 $U\subset ℝ$가 존재한다. 또한, $A$가 콤팩트 집합이므로,

$V+A\subset U$

인 0의 열린 근방 $V\ni 0$이 존재한다. 이제,

$V\subset A-A$

를 보이는 것으로 충분하다. 즉,

$(v+A)\cap A\ne \varnothing \mathrm{\forall }v\in V$

을 보이면 충분하다. 임의의 $v\in V$가 주어졌다고 하자. 그렇다면

$2\mu (A)>\mu (U)\ge \mu ((v+A)\cup A)=\mu (v+A)+\mu (A)-\mu ((v+A)\cap A)=2\mu (A)-\mu ((v+A)\cap A)$

이므로

$\mu ((v+A)\cap A)>0$

이다. 따라서 위 조건이 성립한다. 틀:증명 끝

역사

후고 스테인하우스가 (르베그 측도를 갖춘) 실수선의 경우를 증명하였다. 한스 아돌프 라데마허(틀:Llang)가 (르베그 측도를 갖춘) 유클리드 공간의 경우를 증명하였다.