với mọi x ∈ C . Theo Mệnh đề 1.13, {T n } thỏa mãn điều kiện NST (I) ứng với {S, T } . Do đó, từ Định lý 2.2, suy ra điều phải chứng minh.
Định lý được chứng minh.
Định lý 2.6. Cho H là một
không gian Hilbert thực và C là tập con lồi, đóng, khác rỗng của H . Cho T = {T ( s ) : 0 ≤ s <[r]