Bằng cách chặt yếu chúng ta có thể giả sử K là tối thiểu đối với
bị rỗng, đóng cửa, lồi, và T-bất biến. Nó cũng được biết đến (x, [5], p.
124) mà trong trường hợp này mỗi điểm w ∈ K phải xuyên tâm, đó là,
sup {kw - yk: y ∈ K} = diam (K).
Chúng ta sẽ thấy rằng diam giả định (K)> 0 ngụ ý sự tồn tại của một
điểm nondiametral, và từ đó đến kết luận rằng K chứa một đơn
điểm được cố định theo T.
đang được dịch, vui lòng đợi..
