พื้นที่นูน
ในทางคณิตศาสตร์พื้นที่นูน (หรือพีชคณิตแบรีเซนทริก ) คือพื้นที่ที่สามารถนำชุดจุดจำกัดใดๆ มา รวมกันแบบนูนได้[ 1 ] [ 2 ]
คำจำกัดความอย่างเป็นทางการ
ปริภูมิเว้าสามารถนิยามได้ว่าเป็นเซตที่มีการดำเนินการรวมเว้าแบบไบนารีสำหรับแต่ละ เซตที่สอดคล้องกับ เงื่อนไขต่อไปนี้:
- (สำหรับ)
จากสิ่งนี้ เราสามารถกำหนดการดำเนินการรวมเชิงนูน n-ary ซึ่งมีพารามิเตอร์เป็น n-tuple โดย ที่
ตัวอย่าง
ปริภูมิเชิงเส้นตรงจริงใดๆ ก็เป็นปริภูมิเว้า และโดยทั่วไปแล้วเซตย่อยเว้า ใดๆ ของปริภูมิเชิงเส้นตรงจริง ก็เป็นปริภูมิเว้าเช่นกัน
ประวัติศาสตร์
พื้นที่นูนได้รับการคิดค้นขึ้นโดยอิสระหลายครั้งและได้รับชื่อที่แตกต่างกัน โดยย้อนกลับไปอย่างน้อยถึงStone (1949) [ 3 ]นอกจากนี้ยังมีการศึกษาโดย Neumann (1970) [ 4 ]และ Świrszcz (1974) [ 5 ]และคนอื่นๆ อีกด้วย
HersteinและMilnor (1953) [ 6 ] ใช้พื้นที่นูน เพื่อ พิสูจน์ทฤษฎีบทพื้นที่ผสม