Ví dụ, nếu v(·) = dist (x, ·) sau đó flux
∂Br
v ≤ S (x, r) và định lý 7,5 theo định lý 7.6.
bằng chứng. Nếu (7.16) tổ chức sau đó, bởi (7.6), cap(Br) = 0 và M là parabol, bởi định lý 5.1(6). Lưu ý rằng trong
tương phản để định lý 7.5, chúng tôi không cần ở đây rằng M là geodesically hoàn thành bởi vì các tập Br là
tự động precompact, bởi definition của một chức năng kiệt sức.
Bây giờ giả sử rằng M là parabol. Sau đó, có một chuỗi kiệt sức của precompact tập mở {Ek}
như vậy mà
đang được dịch, vui lòng đợi..