अवमुख समष्टि

गणित में, अवमुख समष्टि (या बैरीसेंट्रिक बीजगणित) एक ऐसा समष्टि है जिसमें बिंदुओं के किसी भी समुच्चय का अवमुख संयोजन लेना संभव है।

औपचारिक परिभाषा
अवमुख समष्टि को समुच्चय $$X$$ के रूप में परिभाषित किया जा सकता है जो प्रत्येक $$c_\lambda : X \times X \rightarrow X$$ संतोषजनक के लिए बाइनरी अवमुख संयोजन संचालन $$\lambda \in [0,1]$$ से सुसज्जित है:


 * $$c_0(x,y)=x$$
 * $$c_1(x,y)=y$$
 * $$c_\lambda(x,x)=x$$
 * $$c_\lambda(x,y)=c_{1-\lambda}(y,x)$$
 * $$c_\lambda(x,c_\mu(y,z))=c_{\lambda\mu}\left(c_{\frac{\lambda(1-\mu)}{1-\lambda\mu}}(x,y),z\right)$$ (के लिए $$\lambda\mu\neq 1$$)

इससे, n-एरी अवमुख संयोजन संचालन को परिभाषित करना संभव है, जो n-टुपल $$(\lambda_1, \dots, \lambda_n)$$ द्वारा पैरामीट्रिज्ड है, जहां

$$\sum_i\lambda_i = 1$$.

उदाहरण
कोई भी वास्तविक एफ़िन समष्टि एक अवमुख समष्टि होता है। अधिक सामान्यतः, वास्तविक एफ़िन समष्टि का कोई भी अवमुख उपसमुच्चय एक अवमुख समष्टि होता है।

इतिहास
अवमुख समष्टि का स्वतंत्र रूप से अनेक बार आविष्कार किया गया है और उन्हें कम से कम स्टोन (1949) से भिन्न-भिन्न नाम दिए गए हैं। इनका अध्ययन वाल्टर न्यूमैन (1970) और स्विर्ज़कज़ (1974) द्वारा भी किया गया था।