ĐN: Cho là một kg tuyến tính thực. là một tập con của . Một điểm được gọi là điểm trong của (Hoàng Tụy – điểm bọc) nếu với bất kì thuộc , tồn tại , phụ thuộc vào sao cho với mọi .
Cho tập lồi và có một điểm trong, ta coi đó là gốc tọa độ. Một gauge của là một hàm xác định như sau: với .
Vì gốc là điểm trong cho nên với mọi .
BT: Cho tập lồi. Chứng minh rằng: iff là một điểm trong của .
Mathematics 