Προβολή πηγαίου κώδικα για τη σελίδα Λήμμα των Σάπλεϊ-Φόλκμαν

{{επιμέλεια|μετάφραση λέξεων, διόρθωση συνδέσμων}}
[[File:Shapley–Folkman lemma.svg|thumb|300px|alt=The Shapley–Folkman lemma depicted by a diagram with two panes, one on the left and the other on the right. The left-hand pane displays four sets, which are displayed in a two-by-two array. Each of the sets contains exactly two points, which are displayed in red. In each set, the two points are joined by a pink line-segment, which is the convex hull of the original set. Each set has exactly one point that is indicated with a plus-symbol. In the top row of the two-by-two array, the plus-symbol lies in the interior of the line segment; in the bottom row, the plus-symbol coincides with one of the red-points. This completes the description of the left-hand pane of the diagram. The right-hand pane displays the Minkowski sum of the sets, which is the union of the sums having exactly one point from each summand-set; for the displayed sets, the sixteen sums are distinct points, which are displayed in red: The right-hand red sum-points are the sums of the left-hand red summand-points. The convex hull of the sixteen red-points is shaded in pink. In the pink interior of the right-hand sumset lies exactly one plus-symbol, which is the (unique) sum of the plus-symbols from the right-hand side. Comparing the left array and the right pane, one confirms that the right-hand plus-symbol is indeed the sum of the four plus-symbols from the left-hand sets, precisely two points from the original non-convex summand-sets and two points from the convex hulls of the remaining summand-sets.|Το λήμμα των Σάπλει-Φόλκμαν απεικονίζεται από το [[άθροισμα Μινικόφσκι]] σε τέσσερα σύνολα. Το σημείο (+) στο [[κυρτό του κύτους]] του αθροίσματος Μινικόφσκι των τεσσάρων [[μη κυρτών συνόλων]] (''δεξιά'') είναι το άθροισμα των τεσσάρων σημείων (+) από τα (αριστερά) συνόλων δύο σημείων σε δύο μη-κυρτά σύνολα συν δύο σημεία στα ύφαλα κυρτά δύο σύνολα. Τα κυρτά κύτη είναι σκιασμένα ροζ. Τα αρχικά σύνολα, το καθένα έχει ακριβώς δύο σημεία (εμφανίζονται ως κόκκινες κουκκίδες).)<ref name="s69"/>]]
Το '''Λήμμα των Σάπλεϊ- Φόλκμαν''' είναι αποτέλεσμα της [[κυρτής γεωμετρίας]] με εφαρμογές στα [[οικονομικά μαθηματικά]] που περιγράφει την [https://en.wikipedia.org/wiki/Minkowski_addition|προσθήκη συνόλων του Μινκόφσκι] σε ένα [[Διανυσματικός χώρος|διανυσματικό χώρο]]. ''Η προσθήκη του Μινκόφσκι'' ορίζεται ως η πρόσθεση [[συνόλων]], για παράδειγμα, προσθέτοντας το σύνολο που αποτελείται από τους [[Ακέραιος αριθμός|ακέραιους]] μηδέν και ένα που αποδίδονται στον εαυτό τους και αποτελείται από μηδέν, ένα και δύο:

: {0,&nbsp;1}&nbsp;+&nbsp;{0,&nbsp;1} = {0&nbsp;+&nbsp;0,&nbsp;0&nbsp;+&nbsp;1,&nbsp;1&nbsp;+&nbsp;0,&nbsp;1&nbsp;+&nbsp;1} = {0,&nbsp;1,&nbsp;2}.

Το λήμμα των Σάπλεϊ- Φόλκμαν και τα σχετικά αποτελέσματα παρέχουν μια καταφατική απάντηση στο ερώτημα, "Είναι το άθροισμα των πολλών συνόλων κοντά στο να είναι [[convex set|κυρτό]]?"<ref name="Howe" >{{harvtxt|Howe|1979|p=1}}: {{citation|title=On the tendency toward convexity of the vector sum of sets|last=Howe|first=Roger |date= 1979-11-03 |publisher=Cowles Foundation for Research in Economics, Yale University|series=Cowles Foundation discussion papers|location=Box 2125 Yale Station, New Haven,CT 06520|volume=538 |url=http://cowles.econ.yale.edu/P/cd/d05a/d0538.pdf|<!-- url-2=http://econpapers.repec.org/RePEc:cwl:cwldpp:538 -->|accessdate= 2011-01-01}}
</ref> Ένα σύνολο ορίζεται να είναι ''κυρτό'' αν κάθε [[ευθύγραμμο τμήμα]] που ενώνει δύο [[σημεία]] της είναι υποσύνολο του συνόλου. Για παράδειγμα, ο στερεός [[unit disk|δίσκος]]&nbsp;<big><math>\bullet</math></big> είναι ένα κυρτό σύνολο, αλλά ο [[unit circle|κύκλος]]&nbsp;<big><math>\circ</math></big>  δεν είναι, γιατί το τμήμα της γραμμής που συνδέει δύο διακριτά σημεία <math>\oslash</math> δεν είναι ένα υποσύνολο του κύκλου. Το λήμμα των Σάπλεϊ- Φόλκμαν υποδηλώνει ότι αν ο αριθμός των συνόλων που αθροίζονται υπερβαίνει τη [[διάσταση]] του διανύσματος του χώρου, τότε το Μινκόφσκι άθροισμά τους είναι περίπου κυρτή.<ref name="s69">{{harvtxt|Starr|1969}}</ref>

Το λήμμα των Σάπλεϊ- Φόλκμαν εισήχθη ως ένα βήμα προς την απόδειξη του θεωρήματος των Σάπλεϊ- Φόλκμαν, το οποίο ορίζει ένα [[ανώτατο όριο]] για την [[Ευκλείδεια απόσταση]] μεταξύ του αθροίσματος Μινικόφσκι και το [[κυρτό του κύτους]] τους. Το ''κυρτό περίβλημα'' ενός συνόλου Q είναι το μικρότερο κυρτό σύνολο που περιέχει την Q. Αυτή η απόσταση είναι μηδέν [[αν και μόνο αν]] το άθροισμα είναι κυρτό. Το θεώρημα του δεσμευμένου εξαρτάται από την διάσταση ''D'' και τα σχήματα των summand-συνόλων, αλλά ''όχι'' από τον αριθμό των συνόλων ''summand-Ν'', όταν το{{nowrap|when ''N'' > ''D''.}}  Τα σχήματα ενός μοναδικού υποσυνόλου ϋ summand καθορίζουν την δεσμευμένη απόσταση μεταξύ του [[μέσου όρου]] των ''Ν'' Μινοκόφσκι συνόλων
: {{frac|1|''N''}} (''Q''<sub>1</sub> + ''Q''<sub>2</sub> + ... + ''Q''<sub>''N''</sub>)

και το κυρτό του κύτους του. Όσο το ''Ν'' πηγαίνει στο [[άπειρο]], τα δεσμευμένα [[limit of a sequence|μειώνεται στο μηδέν]] (για summand-σύνολα ομοιόμορφα και φραγμένου μεγέθους).<ref name="Starr08"/>   Το πάνω όριο του θεωρήματος των Σάπλεϊ- Φόλκμαν μειώθηκε από '''[[πόρισμα]] του Σταρ''' (εναλλακτικά, το '''θεώρημα Shapley-Folkman-Starr''').

Το λήμμα των [[Λόιντ Σάπλει]] και [[Τζον Φόλκμαν]] δημοσιεύθηκε για πρώτη φορά από τον οικονομολόγο Ρος Μ. Σταρ, ο οποίος ερευνούσε την ύπαρξη [[general equilibrium theory#Nonconvexities in large economies|οικονομικής ισορροπίας]] ενώ σπούδαζε με τον [[Κένεθ Άροου]].<ref name="s69"/>  Στο έγγραφό του, ο Σταρ μελέτησε την ''κυρτή μορφή'' της οικονομίας, όπου τα μη- κυρτά σύνολα αντικαταστάθηκαν από αντίστοιχα κυρτά˙ Ο Σταρ απέδειξε ότι η οικονομία έχει κυρτές ισορροπίες που προσεγγίζονται από τους "οιωνούς ισορροπίας" της αρχικής οικονομίας. Επιπλέον, αποδείχθηκε ότι κάθε οιωνός ισορροπίας έχει πολλές από τις καλύτερες δυνατές ιδιότητες της αληθινής ισορροπίας, τα οποία αποδείχθηκαν ότι υπάρχουν για κυρτές οικονομίες. Μετά την έκθεση του Σταρ το 1969, τα αποτελέσματα των Σάπλει- Φόλκμαν- Σταρ έχουν χρησιμοποιηθεί ευρέως για να δείξουν ότι τα βασικά αποτελέσματα των (κυρτών) οικονομικών θεωριών είναι καλής προσεγγίσεις σε μεγάλες οικονομίες μη κυρτές, για παράδειγμα, οιωνοί ισορροπίας σε στενή προσέγγιση ισορροπίας μίας κυρτής οικονομίας. «Η παραγωγή αυτών των αποτελεσμάτων σε γενική μορφή υπήρξε ένα από τα σημαντικότερα επιτεύγματα της μεταπολεμικής οικονομικής θεωρίας», έγραψε ο Roger Guesnerie.<ref name="g89-p138">{{harvtxt|Guesnerie|1989|p=138}}</ref> Το θέμα των [[non-convexity (economics)|μη κυρτών συνόλων στα οικονομικά]] έχει μελετηθεί από πολλούς [[Nobel Prize in Economics|νομπελίστες]], εκτός από τον Λόιντ Σάπλει που κέρδισε το βραβείο το 2012: Arrow (1972), [[Robert Aumann]] (2005), [[Gérard Debreu]] (1983), [[Tjalling Koopmans]] (1975), [[Paul Krugman]] (2008),και [[Paul Samuelson]] (1970. Το συμπληρωματικό θέμα των [[convexity in economics|κυρτών συνόλων]] στα οικονομικά έχει τονιστεί από τους βραβευθέντες, μαζί με τους [[Leonid Hurwicz]], [[Leonid Kantorovich]] (1975), and [[Robert Solow]] (1987).

Το λήμμα των Σάπλεϊ- Φόλκμαν έχει εφαρμογές στη [[mathematical optimization|βελτιστοποίηση]] και στη [[θεωρία πιθανοτήτων]].<ref name="Starr08" >{{harvtxt|Starr|2008}}</ref>  Στη θεωρία βελτιστοποίησης, το λήμμα των Σάπλεϊ- Φόλκμαν έχει χρησιμοποιηθεί για να εξηγήσει την επιτυχή επίλυση των προβλημάτων ελαχιστοποίησης που είναι αποτέλεσμα πολλών [[function (mathematics)|συναρτήσεων]].<ref name="Ekeland76"/><ref name="Bertsekas82"/> Το λήμμα των Σάπλεϊ- Φόλκμαν έχει επίσης χρησιμοποιηθεί στις [[αποδείξεις]] των «νόμος των μέσων όρων" για τυχαία σύνολα, ένα θεώρημα που είχε αποδειχθεί μόνο για τα κυρτά σύνολα.<ref name="ArtsteinVitale"/>
{{TOC limit|3}}

== Εισαγωγικό παράδειγμα ==

Για παράδειγμα, το υποσύνολο των ακεραίων {0,&nbsp;1,&nbsp;2} περιέχεται στο [[διάστημα των πραγματικών αριθμών]] [0, 2], το οποίο είναι κυρτό. Το λήμμα των Σάπλεϊ- Φόλκμαν συνεπάγεται ότι κάθε σημείο [0, 2] είναι το άθροισμα ενός ακέραιος από {0, 1} και ένος πραγματικού αριθμού από [0, 1].<ref name="Carter94" >{{harvtxt|Carter|2001|p=94|}}</ref>

Η απόσταση μεταξύ του κυρτού διαστήματος [0, 2], και του μη κυρτού συνόλου {0, 1, 2} ισούται με ένα και ένα δεύτερο

: 1/2 = |1 &minus; 1/2| = |0 &minus; 1/2| = |2 &minus; 3/2| = |1 &minus; 3/2|.

Ωστόσο, η απόσταση μεταξύ του [[μέσου]] αθροίσματος Μινικόφσκι

: 1/2 ( {0,&nbsp;1}&nbsp;+&nbsp;{0,&nbsp;1} ) = {0,&nbsp;1/2,&nbsp;1}

και του κυρτού κύτους του [0, 1] είναι μόνο το 1/4, το οποίο είναι το μισό της απόστασης (1/2) μεταξύ summand του {0, 1} και [0, 1]. Καθώς προστίθενται μαζί περισσότερες σειρές, ο μέσος όρος του αθροίσματος τους "συμπληρώνει" το κυρτό του κύτους του. Η μέγιστη απόσταση μεταξύ του μέσου όρου και του κυρτού του κύτους του πλησιάζει το μηδέν, ο μέσος όρος περιλαμβάνει περισσότερα [[addition#summand|summand]]s.<ref name="Carter94"/>

== Προκαταρκτικά ==

Το λήμμα των Σάπλεϊ- Φόλκμαν εξαρτάται από τους ακόλουθους ορισμούς και τα αποτελέσματα από την [[κυρτή γεωμετρία]].

== Πραγματικοί διανυσματικοί χώροι ==

Ένας [[πραγματικός διανυσματικός χώρος]] των δύο [[διαστάσεων]] μπορεί να δοθεί σε ένα [[καρτεσιανό σύστημα συντεταγμένων]] στο οποίο κάθε σημείο προσδιορίζεται από ένα διατεταγμένο ζεύγος πραγματικών αριθμών, που ονομάζεται «συντεταγμένες», οι οποίες συνήθως συμβολίζονται με x και y. Δύο σημεία στο καρτεσιανό επίπεδο μπορούν να [[προστεθούν]] ως συντεταγμένες

: (''x''<sub>1</sub>,&nbsp;''y''<sub>1</sub>) + (''x''<sub>2</sub>,&nbsp;''y''<sub>2</sub>) = (''x''<sub>1</sub>+''x''<sub>2</sub>, ''y''<sub>1</sub>+''y''<sub>2</sub>)

Επίσης, ένα σημείο μπορεί να πολλαπλασιαστεί από κάθε πραγματικό αριθμό λ συντεταγμένων

: ''λ''&nbsp;(''x'',&nbsp;''y'') = (''λx'', ''λy'').

Γενικότερα, κάθε πραγματικός διανυσματικός χώρος (πεπερασμένος) διάστασης D μπορεί να θεωρηθεί ως το [[σύνολο]] όλων των [[D-πλειάδων]] D πραγματικών αριθμών {{nowrap|{&nbsp;(''v''<sub>1</sub>, ''v''<sub>2</sub>, .&nbsp;.&nbsp;.&nbsp;, ''v''<sub>D</sub>)}}&nbsp;} για την οποία ορίζονται δύο [[πράξεις]]: [[πρόσθεση φορέα]] και [[πολλαπλασιασμό με έναν πραγματικό αριθμό]]. Για πεπερασμένης διάστασης διανυσματικούς χώρους, οι πράξεις της πρόσθεσης φορέα και σε πραγματικό αριθμό πολλαπλασιασμού μπορούν να οριστούν, ακολουθώντας το παράδειγμα του καρτεσιανού επιπέδου.<ref>{{harvtxt|Arrow|Hahn|1980|p=375}}</ref>

== Κυρτά σύνολα ==

{{multiple image
   | width     =155
   | footer    = Τα [[ευθύγραμμα τμήματα]] ελέγχουν αν ένα υποσύνολο να είναι [[κυρτό]].
   | image1    = Convex polygon illustration1.svg
   | alt1      = Illustration of a convex set, which looks somewhat like a disk: A (green) convex set contains the (black) line-segment joining the points x and y. The entire line-segment is a subset of the convex set.
   | caption1  =Σε ένα [[κυρτό σύνολο]] Q, το [[ευθύγραμμο τμήμα]] που συνδέει δύο οποιαδήποτε από τα σημεία του είναι ένα υποσύνολο του Q.
   | image2    = Convex polygon illustration2.svg
   | alt2      = Illustration of a green non-convex set, which looks somewhat like a [[boomerang]] or [[cashew]] nut. The black line-segment joins the points ''x'' and ''y'' of the green non-convex set. Part of the line segment is not contained in the green non-convex set.
   | caption2  =Σε ένα [[μη-κυρτό σύνολο]] Q, ένα σημείο σε κάποιο [[ευθύγραμμο τμήμα]] που ενώνει δύο από τα σημεία του δεν είναι μέλος της Q.
}}

Σε ένα πραγματικό διανυσματικό διάστημα, ένα [[μη-κενό]] σύνολο Q ορίζεται να είναι [[κυρτό]] αν, για κάθε ζεύγος από τα σημεία του, κάθε σημείο στο [[ευθύγραμμο τμήμα]] που τα ενώνει είναι ένα [[υποσύνολο]] του Q. Για παράδειγμα, ένας στερεός [[unit disk|δίσκος]]&nbsp;<big><math>\bullet</math></big> είναι κυρτός, αλλά ένας [[unit circle|κύκλος]]&nbsp;<big><math>\circ</math></big> δεν είναι, διότι δεν περιέχει ένα τμήμα της γραμμής που ενώνει τα σημεία του  <math>\oslash</math>, το μη κυρτό σύνολο τριών ακεραίων {0, 1, 2} περιέχεται στο διάστημα [0, 2], το οποίο είναι κυρτό. Για παράδειγμα, ένας στερεός [[κύβος]] είναι κυρτός. Ωστόσο, κάτι που είναι κοίλο ή χτυπημένο, για παράδειγμα, ένα [[ημισελήνο]] σχήμα , είναι μη κυρτά. Το [[κενό σύνολο]] είναι κυρτό, είτε εξ ορισμού <ref name="Rock10" />  ή κενό, ανάλογα με το συγγραφέα.

Δηλαδή, ένα σύνολο Q είναι κυρτό αν, για όλα τα σημεία ''v''<sub>0</sub> και ''v''<sub>1</sub> στο Q και για κάθε πραγματικό αριθμό λ στο διάστημα [0,1], το σημείο

: (1&nbsp;−&nbsp;''λ'')&nbsp;''v''<sub>0</sub> + ''λv''<sub>1</sub>

είναι μέλος της Q.

Με [[μαθηματική επαγωγή]], ένα σύνολο Q είναι κυρτό αν και μόνο αν κάθε [[κυρτός συνδυασμός]] των μελών της Q ανήκει επίσης στην Q. Εξ ορισμού, ένας ''κυρτός συνδυασμός'' ενός αναπροσαρμοσμένου υποσύνολο {''v''<sub>0</sub>,&nbsp;''v''<sub>1</sub>,&nbsp;.&nbsp;.&nbsp;.&nbsp;,&nbsp;''v''<sub>D</sub>} του διανυσματικού χώρου είναι κάθε σταθμισμένος μέσος όρος   {{nowrap|''λ''<sub>0</sub>''v''<sub>0</sub> + ''λ''<sub>1</sub>''v''<sub>1</sub> + .&nbsp;.&nbsp;. +  ''λ''<sub>D</sub>''v''<sub>D</sub>,}}

για κάποιο δείκτη σύνολο των μη αρνητικών πραγματικών αριθμών {''λ''<sub>d</sub>} που ικανοποιεί την εξίσωση

{{nowrap|''λ''<sub>0</sub> + ''λ''<sub>1</sub> + .&nbsp;.&nbsp;.&nbsp; +  ''λ''<sub>D</sub>}}&nbsp;=&nbsp;1.<ref>{{harvtxt|Arrow|Hahn|1980|p=376}},  {{harvtxt|Rockafellar|1997|pp=10–11}}, and {{harvtxt|Green|Heller|1981|p=37}}</ref>

Ο ορισμός ενός κυρτού συνόλου συνεπάγεται ότι το [[σημείο τομής]] των δύο κυρτών συνόλων είναι ένα κυρτό σύνολο. Γενικότερα, η τομή μιας [[οικογένειας κυρτών συνόλων]] είναι ένα κυρτό σύνολο. Ειδικότερα, η τομή δύο διακριτών συνόλων είναι το κενό σύνολο, το οποίο είναι κυρτό.<ref name="Rock10" >{{harvtxt|Rockafellar|1997|p=10}}</ref><!-- In this proposition, the family can be empty, finite, countably infinite, or uncountably infinite.  -->

== Κυρτό κύτους ==

[[File:Extreme points.svg|thumb|right|alt=A picture of a smoothed triangle, like a triangular (Mexican) tortilla-chip or a triangular road-sign. Each of the three rounded corners is drawn with a red curve. The remaining interior points of the triangular shape are shaded with blue.|Στο [[κυρτό κύτους]] του κόκκινου συνόλου, κάθε μπλε σημείο είναι ένας [[κυρτός συνδυασμός]] με μερικά κόκκινα σημεία]]

Για κάθε υποσύνολο Q ενός πραγματικού διανυσματικού χώρου, είναι ''[[κυρτό κύτους]]'' του Conv(''Q'') και μάλιστα είναι το [[ελάχιστο]] κυρτό σύνολο που περιέχει το ''Q''. Έτσι Conv(''Q'') είναι η τομή όλων των κυρτών συνόλων που καλύπτουν το ''Q''.Το κυρτό περίβλημα ενός συνόλου μπορεί ισοδύναμα να ορίζεται να είναι το σύνολο όλων των κυρτών συνδυασμών σημείων στο Q.<ref>{{harvtxt|Arrow|Hahn|1980|p=385}} and {{harvtxt|Rockafellar|1997|pp=11–12}}</ref>  Για παράδειγμα, το κυρτό του κύτους του συνόλου των [[ακεραίων]] {0,1} είναι το [[κλειστό διάστημα]] των [[πραγματικών αριθμών]] [0,1], το οποίο περιέχει τον ακέραιο αριθμό τελικών σημείων.<ref name="Carter94" /> Το κυρτό κύτους του μοναδιαίου κύκλου είναι ο δίσκος που περιέχει τον μοναδιαίο κύκλο.

== Προσθήκη Μινικόφσκι ==

[[File:Minkowski sum.png|thumb|alt=Three squares are shown in the non-negative quadrant of the Cartesian plane. The square Q<sub>1</sub>=[0,1]×[0,1] is green. The square Q<sub>2</sub>=[1,2]×[1,2] is brown, and it sits inside the turquoise square Q<sub>1</sub>+Q<sub>2</sub>=[1,3]×[1,3].|Η [[Μινικόφσκι πρόσθεση]] συνόλων. Το άθροισμα των τετραγώνων ''Q''<sub>1</sub>=[0,1]<sup>2</sup> και ''Q''<sub>2</sub>=[1,2]<sup>2</sup> είναι το τετράγωνο  ''Q''<sub>1</sub>+''Q''<sub>2</sub>=[1,3]<sup>2</sup>.]]

Σε έναν πραγματικό διανυσματικό χώρο, το [[άθροισμα Μινικόφσκι]] δύο (μη κενών) συνόλων ''Q''<sub>1</sub> και ''Q''<sub>2</sub> ορίζεται να είναι το [[σύνολο]] ''Q''<sub>1</sub>&nbsp;+&nbsp;''Q''<sub>2</sub> που σχηματίζεται με την προσθήκη των στοιχείων από τα σύνολα summand

: ''Q''<sub>1</sub>&nbsp;+&nbsp;''Q''<sub>2</sub> = { ''q''<sub>1</sub>&nbsp;+&nbsp;''q''<sub>2</sub> : ''q''<sub>1</sub>&nbsp;∈&nbsp;''Q''<sub>1</sub> and ''q''<sub>2</sub>&nbsp;∈&nbsp;''Q''<sub>2</sub> }.<ref>{{harvtxt|Schneider|1993|p=xi}}  and {{harvtxt|Rockafellar|1997|p=16}}</ref>

Για παράδειγμα

: {0,&nbsp;1}&nbsp;+&nbsp;{0,&nbsp;1} = {0+0,&nbsp;0+1,&nbsp;1+0,&nbsp;1+1} = {0,&nbsp;1,&nbsp;2}.<ref name="Carter94" /> Με την αρχή της μαθηματικής επαγωγής, το ''άθροισμα Μινικόφσκι'' μιας πεπερασμένης οικογένειας (μη κενών) συνόλων

: {''Q''<sub>n</sub> : ''Q''<sub>n</sub> ≠ Ø and 1 ≤ ''n'' ≤ ''N'' }

είναι το σύνολο που σχηματίζεται από τα στοιχεία προσθήκης των διανυσμάτων

: ∑&nbsp;''Q''<sub>n</sub> = {∑&nbsp;''q''<sub>n</sub>&nbsp;:&nbsp;''q''<sub>n</sub>&nbsp;∈&nbsp;''Q''<sub>n</sub>}.<ref>{{harvtxt|Rockafellar|1997|p=17}} and {{harvtxt|Starr|1997|p=78}}</ref>

== Κυρτό άθροισμα Μινικόφσκι ==

Το άθροισμα Minkowski συμπεριφέρεται καλά σε σχέση με την "''κυρτοποίηση''"-η λειτουργία της λήψης κυρτών. Συγκεκριμένα, για όλα τα υποσύνολα ''Q''<sub>1</sub> και  ''Q''<sub>2</sub> ενός πραγματικού διανυσματικού χώρου, το [[κυρτό του κύτους]] του αθροίσματος Μινικόφσκι είναι το άθροισμα Μινικόφσκι των κυρτών τους. Δηλαδή,

:Conv(&nbsp;''Q''<sub>1</sub>&nbsp;+&nbsp;''Q''<sub>2</sub>&nbsp;) = Conv(&nbsp;''Q''<sub>1</sub>&nbsp;) + Conv(&nbsp;''Q''<sub>2</sub>&nbsp;).

Αυτό το αποτέλεσμα ισχύει γενικότερα, ως συνέπεια της αρχής της μαθηματικής επαγωγής. Για κάθε [[πεπερασμένη]] συλλογή των συνόλων,

: Conv(&nbsp;&nbsp;∑&nbsp;''Q''<sub>n</sub> &nbsp;) = ∑&nbsp;Conv(&nbsp;''Q''<sub>n</sub>&nbsp;).<ref name="Schneider">{{harvtxt|Schneider|1993|pp=2–3}}</ref><ref>{{harvtxt|Arrow|Hahn|1980|p=387}}</ref>

== Δηλώσεις ==

[[File:Shapley–Folkman lemma.svg|thumb|300px|alt=The Shapley–Folkman lemma depicted by a diagram with two panes, one on the left and the other on the right. The left-hand pane displays four sets, which are displayed in a two-by-two array. Each of the sets contains exactly two points, which are displayed in red. In each set, the two points are joined by a pink line-segment, which is the convex hull of the original set. Each set has exactly one point that is indicated with a plus-symbol. In the top row of the two-by-two array, the plus-symbol lies in the interior of the line segment; in the bottom row, the plus-symbol coincides with one of the red-points. This completes the description of the left-hand pane of the diagram. The right-hand pane displays the Minkowski sum of the sets, which is the union of the sums having exactly one point from each summand-set; for the displayed sets, the sixteen sums are distinct points, which are displayed in red: The right-hand red sum-points are the sums of the left-hand red summand-points. The convex hull of the sixteen red-points is shaded in pink. In the pink interior of the right-hand sumset lies exactly one plus-symbol, which is the (unique) sum of the plus-symbols from the right-hand side. The right-hand plus-symbol is indeed the sum of the four plus-symbols from the left-hand sets, precisely two points from the original non-convex summand-sets and two points from the convex hulls of the remaining summand-sets.
|Η προσθήκη Μινικόφσκι και τα κυρτά κύτους. Τα δεκαέξι σκούρα κόκκινα σημεία (στα δεξιά) σχηματίζουν το [[Minkowski άθροισμα]] των τεσσάρων μη κυρτών συνόλων (στα αριστερά), καθένα από τα οποία αποτελείται από ένα ζευγάρι κόκκινα σημεία. Τα κυρτά κύτοι τους (σκιασμένη ροζ) περιέχουν θετικά-σημεία (+): Το δεξιά θετικό πρόσημο είναι το άθροισμα του αριστεράς θετικού προσήμου.]]

Η προηγούμενη ταυτότητα Conv( ∑&nbsp;''Q''<sub>n</sub> ) = ∑ Conv( ''Q''<sub>n</sub> )σημαίνει ότι, εάν ένα σημείο ''x'' βρίσκεται στο κυρτό του κύτους του αθροίσματος Μινικόφσκι των συνόλων ''N''

: ''x'' ∈ Conv( ∑&nbsp;''Q''<sub>n</sub> )

τότε το ''x'' έγκειται στο άθροισμα των κυρτών κύτους των summand συνόλων

: ''x'' ∈ ∑ Conv( ''Q''<sub>n</sub> ).

Με τον ορισμό του Minkowski Επιπλέον, αυτή η τελευταία έκφραση σημαίνει ότι ''x'' = ∑&nbsp;''q''<sub>n</sub> for some selection of points&nbsp;''q''<sub>n</sub> για κάποια επιλογή των σημείων qn στα κυρτά σύνολα των summand, δηλαδή, για κάθε ''q''<sub>n</sub>&nbsp;∈&nbsp;Conv(''Q''<sub>n</sub>). Σε αυτή την αναπαράσταση, η επιλογή ''q''<sub>n</sub> summand σημείων εξαρτάται από το άθροισμα που έχει επιλεγεί το σημείο ''x''.

== Το λήμμα του Σάπλει και Φόλκμαν ==

[[File:Shapley, Lloyd (1980).jpg|thumb|alt=Picture of Lloyd Shapley|Ο νικητής του Βραβείου Νόμπελ στα Οικονομικά το 2012, [[Lloyd Shapley]] απέδειξε το λήμμα Shapley-Folkman με τον [[Jon Folkman]].<ref name="s69"/>]]

Για αυτήν την αναπαράσταση του σημείου x, το '''λήμμα Σάπλει-Φόλκμαν''' αναφέρει ότι εάν η διάσταση ''D'' είναι μικρότερη από τον αριθμό των summands

: {{nowrap|''D''&nbsp;&lt;&nbsp;''N''}}
Τότε η κυρτοποίηση είναι απαραίτητη μόνο για ''D''-summand σύνολα, των οποίων η επιλογή εξαρτάται από ''x'': Το σημείο έχει μια αναπαράσταση

: <math> x = \sum_{1\leq{d}\leq{D}}{q_d} + \sum_{D+1\leq{n}\leq{N}}{q_n} </math> <!-- : ∑<sub>1≤''d''≤''D''</sub>&nbsp;''x''<sub>''d''</sub>&nbsp;+&nbsp;∑<sub>''D''+1≤''n''≤''N''</sub>&nbsp;''x''<sub>''n''</sub>
-->
όπου ''q''<sub>d</sub> ανήκει στο κυρτό του κύτους του ''Q''<sub>d</sub> για το D (ή μικρότερες) summand-σύνολα και ''q''<sub>n</sub> ανήκει στην ίδια ''Q''<sub>n</sub> με τις υπόλοιπες ομάδες. Δηλαδή,

: <math> x \in{ \sum_{1\leq{d}\leq{D}}{\operatorname{Conv}{(Q_d)}} + \sum_{D+1\leq{n}\leq{N}}{Q_n} }</math>
<!-- : x ∈ ∑<sub>1≤''d''≤''D''</sub> Conv(S<sub>''d''</sub>) + ∑<sub>''D''+1≤''n''≤''N''</sub>&nbsp;S<sub>''n''</sub>,
 -->
για κάποια εκ νέου δημιουργία ευρετηρίου των συνόλων summand, αυτή η εκ νέου δημιουργία ευρετηρίου εξαρτάται από το συγκεκριμένο σημείο ''x'' που εκπροσωπείται.<ref>{{harvtxt|Starr|1969|pp=35–36}}</ref>

Το λήμμα Σάπλει- Φόλκμαν συνεπάγεται, για παράδειγμα, ότι σε κάθε σημείο του [0, 2] είναι το άθροισμα ενός ακέραιος από {0, 1} και eνός πραγματικού αριθμού από [0, 1].<ref name="Carter94" />

== Διάσταση ενός πραγματικού διανυσματικού χώρου ==

Αντίθετα, το λήμμα Σάπλει-Φόλκμαν χαρακτηρίζει τη [[διάσταση]] των πεπερασμένων διαστάσεων πραγματικών διανυσματικών χώρων. Δηλαδή, αν ένας διανυσματικός χώρος υπακούει στο λήμμα των Σάπλει-Φόλκμαν για ένα [[φυσικό αριθμό]] ''D'', και για κανένα αριθμό μικρότερο από το ''D'', τότε διάσταση είναι ακριβώς ''D''.<ref>{{harvtxt|Schneider|1993|p=131}}</ref>  Το λήμμα Σάπλει-Φόλκμαν ισχύει μόνο για πεπερασμένης διάστασης διανυσματικών χώρων .<ref>{{harvtxt|Schneider|1993|p=140}} credits this result to {{harvtxt|Borwein|O'Brien|1978}}: {{cite journal|last1=Borwein|first1=Jonathan M.|last2=O'Brien|first2=R. C.|title=Cancellation 
characterizes convexity|journal=Nanta Mathematica (Nanyang University)|issn=0077-2739|volume=11|year=1978|pages=100–102|mr=510842|ref=harv}}</ref>

== Το θεώρημα Σάπλει-Φόλκμαν και τα επακόλουθά του Σταρ ==

[[File:Inner radius.svg|thumb|240px|alt=A blue disk contains red points. A smaller green disk sits in the largest concavity in among these red points.|Ο περιγεγραμμένος κύκλος (μπλε) και η εσωτερική ακτίνα (πράσινο) από ένα σύνολο σημείων (σκούρο κόκκινο, με το κυρτό κύτους του να εμφανίζεται ως το πιο ανοιχτό κόκκινο διακεκομμένες γραμμές). Η εσωτερική ακτίνα είναι μικρότερη από την ακτίνα του κύκλου εκτός από τα υποσύνολα ενός ενιαίου κύκλου, για τα οποία είναι ίσα.]]

Οι Σάπλει- Φόλκμαν χρησιμοποίησαν το λήμμα τους για να αποδείξουν το θεώρημα τους, που οριοθετεί την απόσταση μεταξύ ενός αθροίσματος Μινικόφσκι και του κυρτού κύτους του, το "''άθροισμα''" κύτους:

*Το ''θεώρημα Σάπλει- Φόλκμαν'' αναφέρει ότι το τετράγωνο [[Ευκλείδειας απόστασης]] από οποιοδήποτε σημείο στο άθροισμα κύτους {{nowrap|Conv( ∑&nbsp;''Q''<sub>''n''</sub> )}} με το αρχικό (μη κύτος) άθροισμα {{nowrap|∑&nbsp;''Q''<sub>''n''</sub>}} οριοθετείται από το άθροισμα των τετραγώνων των ''D'' μεγαλύτερης των συνόλων ''Q''<sub>''n''</sub> ( οι ακτίνες των μικρότερων σφαιρών περικλείουν αυτά τα σύνολα).<ref>{{harvtxt|Schneider|1993|p=129}}</ref>  Αυτό το δεσμευμένο είναι ανεξάρτητο από τον αριθμό των συνόλων summand-''Ν'' (αν Ν> Δ).<ref>{{harvtxt|Starr|1969|p=36}}</ref>

Το θεώρημα Σάπλει- Φόλκμαν αναφέρει ένα όριο στην απόσταση μεταξύ του αθροίσματος Μινικόφσκι και του κυρτού του κύτους του, αυτή η απόσταση είναι μηδέν [[αν και μόνο αν]] το άθροισμα είναι κυρτό. Η δέσμευση της απόστασής εξαρτάται από την διάσταση ''D'' και για τα σχήματα των summand-συνόλων, αλλά ''όχι'' από τον αριθμό των summand-συνόλων ''Ν'', όταν το Ν> D.<ref name="Starr08"/>

Η περιφέρεια συχνά υπερβαίνει (και δεν μπορεί να είναι μικρότερη από) την ''εσωτερική ακτίνα'':<ref name="Starr 1969 37">{{harvtxt|Starr|1969|p=37}}</ref>

*Η ''εσωτερική ακτίνα'' ενός συνόλου ''Q''<sub>''n''</sub> ορίζεται να είναι ο μικρότερος αριθμός ''r'' τέτοια ώστε, για κάθε σημείο q στο κυρτό κύτους ''Q''<sub>''n''</sub>, υπάρχει μια [[σφαίρα]] ακτίνας ''r'' που περιέχει ένα υποσύνολο των ''Q''<sub>''n''</sub> των οποίων το κυρτό κύτος περιέχει ''q''.

Ο Σταρ χρησιμοποιήσει την εσωτερική ακτίνα για να μειώσει το ανώτερο όριο που αναφέρεται στο θεώρημα Σάπλει-Φόλκμαν:

*''Το πόρισμα του Σταρ πάνω στο θεώρημα Σάπλει-Φόλκμαν'' αναφέρει ότι η τετραγωνισμένη Ευκλείδεια απόσταση από οποιοδήποτε σημείο ''x'' στο άθροισμα κύτους {{nowrap|Conv( ∑&nbsp;''Q''<sub>''n''</sub> )}}  με το αρχικό (μη κύτος) άθροισμα {{nowrap|∑&nbsp;''Q''<sub>''n''</sub>}}οριοθετείται από το άθροισμα των τετραγώνων των ''D'' που είναι μεγαλύτερη της εσωτερικής ακτίνας του συνόλου ''Q''<sub>''n''</sub>.<ref name="Starr 1969 37"/><ref>{{harvtxt|Schneider|1993|pp=129–130}}
</ref>

Το πόρισμα του Σταρ αναφέρει ότι το [[άνω όριο]] για την Ευκλείδεια απόσταση μεταξύ του αθροίσματος Μινικόφσκι των ''Ν'' σύνολων και του κυρτού κύτους του αθροίσματος Μινικόφσκι. Αυτή η απόσταση μεταξύ του αθροίσματος και κυρτό περίβλημα του είναι μια μέτρηση της μη-κυρτότητας του συνόλου. Για απλότητα, η απόσταση αυτή ονομάζεται «μη κυρτότητα" του συνόλου (σε σχέση με τη μέτρηση του Σταρ). Έτσι, η δέσμευση του Σταρ για τη μη-κυρτότητα του αθροίσματος εξαρτάται μόνο από το αν η ''D'' είναι μεγαλύτερη της εσωτερικής ακτίνας των summand συνόλων. Ωστόσο, η δέσμευση του Σταρ δεν εξαρτάται από τον αριθμό των συνόλων summand-Ν, όταν το Ν> D. Για παράδειγμα, η απόσταση μεταξύ του κυρτού διαστήματος [0, 2], και του μη κυρτού σύνολου {0, 1, 2} ισούται με ένα δεύτερο.

: 1/2 = |1&nbsp;&minus;&nbsp;1/2| = |0&nbsp;&minus;&nbsp;1/2| = |2&nbsp;&minus;&nbsp;3/2| = |1&nbsp;&minus;&nbsp;3/2|.

Έτσι, η δέσμευση του Σταρ στη μη κυρτότητα της μέσης

: {{frac|1|''N''}}&nbsp;∑&nbsp;''Q''<sub>''n''</sub>

μειώνεται καθώς ο αριθμός των summands ''Ν'' αυξάνεται. Για παράδειγμα, η απόσταση μεταξύ του κατά ''μέσου'' όρου συνόλου

: 1/2 ( {0,&nbsp;1}&nbsp;+&nbsp;{0,&nbsp;1} ) = {0,&nbsp;1/2,&nbsp;1}

και του κυρτού κύτους του [0, 1] είναι μόνο το 1/4, το οποίο είναι το μισό της απόστασης (1/2) μεταξύ summand του {0, 1} και [0, 1]. Τα σχήματα ενός υποσυνόλου μόνον τα ϋ-summand σύνολα καθορίζουν τη δέσμευση από την απόσταση μεταξύ της μέσης συνόλου και του κυρτού συνόλου του. Έτσι, καθώς ο αριθμός των summands αυξάνεται στο άπειρο, τα δεσμευμένα μειώνονται στο μηδέν (για summand-σύνολα ομοιόμορφα οριοθετούνται μέγεθος).<ref name="Starr08"/> Στην πραγματικότητα, η δέσμευση του Σταρ στη μη κυρτότητα αυτής της μέσης συνόλων μειώνεται στο μηδέν καθώς ο αριθμός των summands ''Ν'' αυξάνεται έως το άπειρο (όταν οι εσωτερικές ακτίνες όλων των summands οριοθετούνται από τον ίδιο αριθμό).<ref name="Starr08"/>

== Αποδείξεις και υπολογισμοί ==

Η πρωτότυπη απόδειξη του λήμματος των Σάπλει-Φόλκμαν διαπίστωσε μόνο την [[ύπαρξη]] της παράστασης, αλλά δεν παρείχε έναν [[αλγόριθμο]] για τον υπολογισμό της παράστασης: Παρόμοιες αποδείξεις έχουν δοθεί από τους Arrow και Hahn,<ref>{{harvtxt|Arrow|Hahn|1980|pp=392–395}}</ref> Cassels,<ref>{{harvtxt|Cassels|1975|pp=435–436}}</ref> και Schneider <ref>{{harvtxt|Schneider|1993|p=128}}</ref> μεταξύ άλλων. Μια αφηρημένη και κομψή απόδειξη από τον [[Ekeland]] έχει επεκταθεί από Artstein.<ref>{{harvtxt|Ekeland|1999|pp=357–359}}</ref><ref>{{harvtxt|Artstein|1980|p=180}}</ref> Οι διάφορες αποδείξεις έχουν εμφανιστεί σε αδημοσίευτα έγγραφα, επίσης.<ref name="Howe"/><ref>{{citation|title=Economics 201B: Nonconvex preferences and approximate equilibria|chapter=1 The Shapley–Folkman theorem|pages=1–5|date=2005-03-14|first=Robert M.|last=Anderson|location=Berkeley, CA|publisher=Economics Department, University of California, Berkeley|url=http://elsa.berkeley.edu/users/anderson/Econ201B/NonconvexHandout.pdf|accessdate=2011-01-01|archivedate=2012-03-10|archiveurl=https://web.archive.org/web/20120310072952/http://elsa.berkeley.edu/users/anderson/Econ201B/NonconvexHandout.pdf|deadurl=}}</ref>  Το 1981, ο Σταρ δημοσίευσε μια [[επαναληπτική μέθοδο]] για τον υπολογισμό μιας εκπροσώπησης ενός δοσμένου σημείου. Ωστόσο, η υπολογιστική απόδειξη του παρέχει πιο αδύναμη δέσμευση από ό, τι το αρχικό αποτέλεσμα.<ref>{{cite journal|mr=640201|last=Starr|first=Ross M.|title=Approximation of points of convex hull of a sum of sets by points of the sum: An elementary approach|journal=Journal of Economic Theory|volume=25|year=1981|issue=2|pages=314–317|doi=10.1016/0022-0531(81)90010-7|url=http://www.sciencedirect.com/science/article/B6WJ3-4CYGB4B-FB/2/9e65178b1c246365bee61dc19127175d|ref=harv|archiveurl=https://archive.today/20130202094407/http://www.sciencedirect.com/science/article/pii/0022053181900107|archivedate=2013-02-02|accessdate=2014-06-25|url-status=dead}}</ref>

== Εφαρμογές ==

Το λήμμα Σάπλει-Φόλκμαν επιτρέπει στους ερευνητές να επεκτείνουν τα αποτελέσματα για τα αθροίσματα Μινικόφσκι στα κυρτά σύνολα σε αθροίσματα γενικών συνόλων, τα οποία δεν χρειάζεται να είναι κυρτά. Τέτοια αθροίσματα συνόλων προκύπτουν στην [[οικονομία]], στη [[μαθηματική βελτιστοποίηση]], και στη [[θεωρία πιθανοτήτων]], σε κάθε μία από αυτές τις τρεις μαθηματικές επιστήμες, η μη-κυρτότητα είναι ένα σημαντικό χαρακτηριστικό των εφαρμογών.

== Οικονομικά ==

[[File:Indifference curves showing budget line.svg|thumb|right|alt=The nonnegative quadrant of the Cartesian plane appears. A blue straight-line slopes downward as a secant joining two points, one on each of the axes. This blue line is tangent to a red curve that touches it at a marked point, whose coordinates are labeled ''Qx'' and ''Qy''.|Ο καταναλωτής [[προτιμά]] κάθε καλάθι αγαθών πάνω στην [[καμπύλη αδιαφορίας]] ''I''<sub>3</sub>  από κάθε καλάθι της  ''I''<sub>2</sub> . Το καλάθι (''Q''<sub>x</sub>,&nbsp;''Q''<sub>y</sub>), όπου η γραμμή του προϋπολογισμού (μπλε) [[αναπαριστά]] την  ''I''<sub>2</sub>, είναι η βέλτιστη, αλλά και εφικτή, σε αντίθεση με κάθε καλάθι που βρίσκεται στο ''I''<sub>3</sub> το οποίο είναι ανέφικτο.]]

Στα [[οικονομικά]], οι [[προτιμήσεις]] του καταναλωτή ορίζονται πάνω από όλα τα «καλάθια» των εμπορευμάτων. Κάθε καλάθι εκπροσωπείται από ένα μη-αρνητικό διάνυσμα, των οποίων οι συντεταγμένες αντιπροσωπεύουν τις ποσότητες των εμπορευμάτων. Σε αυτό το σύνολο από τα καλάθια, μια [[καμπύλη αδιαφορίας]] ορίζεται για κάθε καταναλωτή. Η καμπύλη αδιαφορίας του καταναλωτή περιλαμβάνει όλα τα καλάθια των προϊόντων που ο καταναλωτής θεωρεί ότι είναι ισοδύναμα: Δηλαδή, για κάθε ζεύγος καλαθιών στην ίδια καμπύλη αδιαφορίας, οι καταναλωτές δεν προτιμούν ένα καλάθι περισσότερο από ένα άλλο. Μέσα από κάθε καλάθι εμπορευμάτων περνάει μια καμπύλη αδιαφορίας. Το ''σύνολο προτίμησης'' ενός καταναλωτή (σε σχέση με μια καμπύλη αδιαφορίας) είναι η ένωση της καμπύλης αδιαφορίας και όλα τα καλάθια αγαθών που ο καταναλωτής προτιμά επί της καμπύλης αδιαφορίας. Οι προτιμήσεις ενός καταναλωτή είναι κυρτές αν όλα αυτά τα σύνολα προτίμησης είναι κυρτά.<ref>{{harvtxt|Mas-Colell|1985|pp=58–61}} and {{harvtxt|Arrow|Hahn|1980|pp=76–79}}</ref>

Η βελτιστοποίηση των καλαθιών αγαθών συμβαίνει όταν η γραμμή του προϋπολογισμού [[υποστηρίζει]] το σύνολο προτιμήσεων του καταναλωτή, όπως φαίνεται στο διάγραμμα. Αυτό σημαίνει ότι το βέλτιστο καλάθι είναι στο υψηλότερο δυνατό σημείο της καμπύλη αδιαφορίας όταν δοθεί η γραμμή του προϋπολογισμού, η οποία ορίζεται από την άποψη το διάνυσμα τιμών και εισοδήματος του καταναλωτή (κληροδότημα vector). Έτσι, το σύνολο των βέλτιστων καλαθιών είναι η [[συνάρτηση]] των  τιμών, και η λειτουργία αυτή ονομάζεται [[ζήτηση]] του καταναλωτή. Αν το σύνολο προτίμησης είναι κυρτό, τότε κάθε τιμή της ζήτησης του καταναλωτή είναι ένα κυρτό σύνολο, για παράδειγμα, ένα μοναδικό βέλτιστο καλάθι ή μία γραμμή τμημάτων των καλαθιών.<ref>{{harvtxt|Arrow|Hahn|1980|pp=79–81}}</ref>

== Μη κυρτές προτιμήσεις ==

[[File:NonConvex.gif|right|thumb|300px|alt=Image of a non-convex preference set with a concavity un-supported by the budget line|Όταν οι προτιμήσεις του καταναλωτή έχουν κοιλότητες, ο καταναλωτής μπορεί να πηδήξει μεταξύ δύο ξεχωριστών βέλτιστων καλαθιών.]]

Ωστόσο, εάν ένα σύνολο προτίμησης είναι ''μη-κυρτό'', τότε ορισμένες τιμές καθορίζονται σε μια γραμμή του προϋπολογισμού που υποστηρίζει δύο ''ξεχωριστά'' βέλτιστα καλάθια. Για παράδειγμα, μπορούμε να φανταστούμε ότι, για ζωολογικούς κήπους, ένα λιοντάρι έχει κόστος όσο ένας αετό, και επιπλέον ότι ο προϋπολογισμός ενός ζωολογικού κήπου αρκεί για έναν αετό ή ένα λιοντάρι. Μπορούμε να υποθέσουμε, επίσης, ότι ένας φύλακας σε ζωολογικό κήπο βλέπει κάθε ζώο, εξίσου πολύτιμα. Στην περίπτωση αυτή, ο ζωολογικός κήπος θα αγόραζε είτε ένα λιοντάρι ή ένα αετό. Φυσικά, ένας σύγχρονος ζωολογικός κήπος δεν θέλει να αγοράσει το ήμισυ του αετού και το ήμισυ του λιονταριού (ή [[γρύπα]])! Έτσι, οι προτιμήσεις του ζωολογικού είναι μη-κυρτό: Ο ζωολογικός κήπος προτιμά να έχουν ζώα που να μην είναι κυρτά ή και τα δύο.<ref>{{harvtxt|Starr|1969|p=26}}: "After all, one may be indifferent between an automobile and a boat, but in most cases one can neither drive nor sail the combination of half boat, half car."</ref>

Όταν τα σύνολα προτιμήσεων των καταναλωτών είναι μη-κυρτά,τότε (για ορισμένες τιμές), η ζήτηση των καταναλωτών δεν είναι [[συνδέεται]]. Μια ασύνδετη ζήτηση συνεπάγεται κάποια ασυνεχή συμπεριφορά του καταναλωτή, όπως συζητήθηκε από [[Harold Hotelling]]:

<blockquote>
Αν οι καμπύλες αδιαφορίας για τις αγορές θεωρηθεί ότι διαθέτουν έναν κυματιστό χαρακτήρα, κυρτά προς την προέλευση, σε ορισμένες περιφέρειες και κοίλα σε άλλα, καταλήγουμε στο συμπέρασμα ότι μόνο τα τμήματα που είναι κυρτά προς την καταγωγή, μπορούν να θεωρηθούν ότι κατέχουν κάποια σημασία , δεδομένου ότι τα άλλα είναι ουσιαστικά μη παρατηρήσιμα. Μπορούν να ανιχνευθούν μόνο από τις ασυνέχειες που μπορεί να εμφανιστούν σε ζήτηση με διακύμανση στην τιμή-αναλογίες, οδηγεί σε ένα απότομα άλμα από ένα σημείο επαφής σε ένα χάσμα, όταν η ευθεία γραμμή περιστρέφεται. Ενώ οι εν λόγω ασυνέχειες μπορούν να αποκαλύψουν την ύπαρξη χασμάτων, ποτέ όμως δεν μπορούν να μετρήσουν το βάθος τους. Τα κοίλα τμήματα των καμπυλών αδιαφορίας και πολλών διαστάσεων γενίκευσής τους, εάν υπάρχουν, πρέπει να παραμείνουν για πάντα στην αφάνεια αμέτρητης. 
<ref>{{harvtxt|Hotelling|1935|p=74}}:
{{cite journal|first=Harold|last=Hotelling|title=Demand functions with limited budgets|journal=Econometrica|volume=3|issue=1|date=Ιανουάριος 1935|pages=66–78|jstor=1907346}}</ref>
</blockquote>
[[File:Convex.gif|right|300px|alt=An image of a convex preference set being supported by a budget line.|With "quasi-equilibrium" prices, the budget-line [[supporting hyperplane|supports]] the convex hull of the [[indifference curve]].]]

Οι δυσκολίες της μελέτης σε μη κυρτές προτιμήσεις τονίζεται από τον [[Herman Wold]]<ref>{{harvtxt|Wold|1943b|pp=231 and 239–240}}: {{cite journal|last=Wold|first=Herman|year=1943b|title=A synthesis of pure demand analysis '''II'''|journal=Skandinavisk Aktuarietidskrift [Scandinavian Actuarial Journal]|volume=26|pages=220–263<!-- Diewert gives wrong pages, according to Math Rev and my inspection of the article and of Wold's book with Jureen -->|mr=11939|ref=harv}}<p>{{harvtxt|Wold|Juréen|1953|p=146}}: {{cite book|last1=Wold|first1=Herman|last2=Juréen|first2=Lars (in association with Wold)|chapter=8 Some further applications of preference fields (pp. 129–148)|title=Demand analysis: A study in econometrics|url=https://archive.org/details/demandanalysis0000herm|location=New York|publisher=John Wiley and Sons, Inc|series=Wiley publications in statistics|year=1953|pages=xvi+358|mr=64385|ref=harv}}<p></p></ref>  και πάλι από τον [[Paul Samuelson]], ο οποίος έγραψε ότι οι μη κυρτές είναι «τυλιγμένες στο αιώνιο σκοτάδι ...»,<ref>{{harvtxt|Samuelson|1950|pp = 359–360}}:<blockquote>It will be noted that any point where the indifference curves are convex rather than concave cannot be observed in a competitive market. Such points are shrouded in eternal darkness—unless we make our consumer a monopsonist and let him choose between goods lying on a very convex "budget curve" (along which he is affecting the price of what he buys). In this monopsony case, we could still deduce the slope of the man's indifference curve from the slope of the observed constraint at the equilibrium point.</blockquote>{{cite journal|last = Samuelson|first = Paul A.|title = The problem of integrability in utility theory|journal = Economica|series = New Series|volume = 17|issue = 68|date = Νοέμβριος 1950|pages = 355–385|mr = 43436|jstor = 2549499|ref = harv}}"Eternal darkness" describes the Hell of [[John Milton]]'s ''[[Paradise Lost]]'', whose concavity is compared to the [[Serbonian Bog]]  in [[wikisource:Paradise Lost (1674)/Book II|Book II, lines 592–594]]:<blockquote>A gulf profound as that Serbonian Bog<br>
Betwixt Damiata and <!-- correcting failed-capitalization in Arrow Hahn "m" (sic) -->Mount Casius old,<br>
Where Armies whole have sunk.</blockquote>Milton's description of concavity serves as the [[Epigraph (literature)|literary epigraph]] prefacing chapter seven of {{harvtxt|Arrow|Hahn|1971|p = 169}}, "Markets with non-convex preferences and production", which presents the results of {{harvtxt|Starr|1969}}.</ref>  σύμφωνα με τον Diewert.<ref name="Diewert" >{{harvtxt|Diewert|1982|pp=552–553}}</ref>

Παρ 'όλα αυτά, οι μη κυρτές προτιμήσεις φωτίστηκαν το 1959-1961 με μια σειρά από εργασίες στο [[The Journal of Political Economy]] (JPE). Οι κύριοι παράγοντες που συνέβαλαν ήταν ο Farrell, 
<ref>{{cite journal
|title=The Convexity assumption in the theory of competitive markets
|url=https://archive.org/details/sim_journal-of-political-economy_1959-08_67_4/page/371
|last=Farrell
|first=M. J.
|journal=The Journal of Political Economy
|volume=67
|issue =4
|date=Αύγουστος 1959
|pages=371–391
|jstor=1825163
|doi=10.1086/258197
}}
{{cite journal
|title=On Convexity, efficiency, and markets: A Reply
|last=Farrell
|first=M. J.
<!-- |journal=The Journal of Political Economy -->
|volume=69
|issue=5
|date=Οκτώβριος 1961a
|pages=484–489
|jstor=1828538
}}
{{cite journal
|title=The Convexity assumption in the theory of competitive markets: Rejoinder
|last=Farrell
|first=M. J.
<!-- |journal=The Journal of Political Economy -->
|volume=69
|issue=5
|date=Οκτώβριος 1961b
|pages=493
|jstor=1828541
}}</ref> Bator,<ref>{{cite journal|title=On convexity, efficiency, and markets|last=Bator|first=Francis M.|journal=The Journal of Political Economy|volume=69|issue =5|date=Οκτώβριος 1961a|pages=480–483|jstor=1828537|doi=10.1086/258540}} {{cite journal|title=On convexity, efficiency, and markets: Rejoinder|last=Bator|first=Francis M.|volume=69|issue =5|date=Οκτώβριος 1961b|pages=489|jstor=1828539}}</ref>  ο [[Koopmans]],<ref>{{cite journal|title=Convexity assumptions, allocative efficiency, and competitive equilibrium
|url=https://archive.org/details/sim_journal-of-political-economy_1961-10_69_5/page/478
|last=Koopmans
|first=Tjalling C.
|journal=The Journal of Political Economy
|volume=69
|issue=5
|date=Οκτώβριος 1961
|pages=478–479
|jstor=1828536
|ref=harv
|doi=10.1086/258539}}<p>{{harvtxt|Koopmans|1961|p=478}} and others—for example, {{harvtxt|Farrell|1959|pp=390–391}} and {{harvtxt|Farrell|1961a|p=484}}, {{harvtxt|Bator|1961|pp=482–483}}, {{harvtxt|Rothenberg|1960|p=438}}, and {{harvtxt|Starr|1969|p=26}}—commented on {{harvtxt|Koopmans|1957|pp=1–126, especially 9–16 [1.3 Summation of opportunity sets], 23–35 [1.6 Convex sets and the price implications of optimality], and 35–37 [1.7 The role of convexity assumptions in the analysis]}}:<p>{{cite book|last=Tjalling C.|first=Koopmans|chapter=Allocation of resources and the price system|editor-last=Koopmans|editor-first=Tjalling C|title=Three essays on the state of economic science|url=https://archive.org/details/threeessaysonsta0000koop|publisher=McGraw–Hill Book Company|location=New York|pages=1–126|year=1957|isbn=0-07-035337-9}}<p></p>
</ref>  και ο Rothenberg.<ref name="Rothenberg" >{{harvtxt|Rothenberg|1960|p=447}}: {{cite journal
|title=Non-convexity, aggregation, and Pareto optimality
|url=https://archive.org/details/sim_journal-of-political-economy_1960-10_68_5/page/435
|last=Rothenberg
|first=Jerome
|journal=The Journal of Political Economy
|volume=68
|issue=5
|date=Οκτώβριος 1960
|pages=435–468
|jstor=1830308
|doi=10.1086/258363
}} ({{cite journal
|title=Comments on non-convexity
|last=Rothenberg
|first=Jerome
|volume=69
|issue=5
|date=Οκτώβριος 1961
|pages=490–492
|jstor=1828540
}})
</ref>  Ειδικότερα, η εργασία του Rothenberg ανέφερε την προσέγγιση της κυρτότητας αθροισμάτων των μη κυρτών συνόλων.<ref name="ArrowHahn182" >{{harvtxt|Arrow|Hahn|1980|p=182}}</ref> Αυτές οι JPE-εργασίες διεγείρονται από ένα έγγραφο από τους [[Lloyd Shapley]] και [[Martin Shubik]], οι οποίες θεωρούνται κυρτές προτιμήσεις του καταναλωτή και εισήγαγαν την έννοια της «κατά προσέγγισης ισορροπίας».<ref>{{harvtxt|Shapley|Shubik|1966|p=806}}: {{cite journal|first1=L. S.| last1=Shapley|first2=M.|last2=Shubik|title=Quasi-cores in a monetary economy with nonconvex preferences|url=https://archive.org/details/sim_econometrica_1966-10_34_4/page/805|journal=Econometrica|volume=34|issue=4|date=Οκτώβριος 1966|pages=805–827|jstor=1910101|zbl=154.45303|ref=harv|doi=10.2307/1910101}}</ref>  Οι JPE εργασίες και η εργασία των Shapley-Shubik επηρέασε μια άλλη έννοια της «οιωνοί ισορροπίας», σύμφωνα με τον [[Robert Aumann]].<ref name="Aumann" >{{harvtxt|Aumann|1966|pp=1–2}}: {{cite journal|first=Robert J.|last=Aumann|title=Existence of competitive equilibrium in markets with a continuum of traders|url=https://archive.org/details/sim_econometrica_1966-01_34_1/page/1|journal=Econometrica|volume=34|issue=1|date=January 1966|pages=1–17|jstor=1909854|mr=191623|ref=harv}} {{harvtxt|Aumann|1966}} uses results from 
{{harvs|txt|last=Aumann|year1=1964|year2=1965}}:
<!-- NOT original research, this comment appears often, e.g. in "What is Bob Aumann trying to accomplish" in the CORE 20th anniversary volume, in which Guesnerie appears -->

{{cite journal|first=Robert J.|last=Aumann|title=Markets with a continuum of traders|journal=Econometrica|volume=32|issue=1–2|date=Ιανουάριος–Απρίλιος 1964|pages=39–50|jstor=1913732|mr=172689|ref=harv}}

{{cite journal|first=Robert J.|last=Aumann|title=Integrals of set-valued functions|journal=Journal of Mathematical Analysis and Applications|volume=12|issue=1|date=Αύγουστος 1965|pages=1–12 |url=http://www.sciencedirect.com/science/article/B6WK2-4CRJ2XG-1D4/2/761eda1b7acffb52fde213d766059f3c|doi=10.1016/0022-247X(65)90049-1|MR=185073|ref=harv|archivedate=2013-02-02|archiveurl=https://archive.today/20130202032422/http://www.sciencedirect.com/science/article/pii/0022247X65900491|accessdate=2014-06-25|url-status=dead}}</ref><ref>Taking the convex hull of non-convex preferences had been discussed earlier by {{harvtxt|Wold|1943b|p=243}} and by {{harvtxt|Wold|Juréen|1953|p=146}}, according to {{harvtxt|Diewert|1982|p=552}}.</ref>

== Η εργασία του Σταρ το 1969 και η σύγχρονη οικονομία ==

<!-- [[File:Price of market balance.gif|thumb|right|alt=Diagram of an increasing supply curve and a decreasing demand curve, which intersect at the equilibrium.|At an [[economic equilibrium|equilibrium price]]&nbsp;''P''0, the [[Supply and demand|quantity supplied&nbsp;''S''(''P''0) equals the quantity demanded&nbsp;''D''(''P''0)]].]] -->
[[File:Kenneth Arrow, Stanford University.jpg|thumb|alt=Picture of Kenneth Arrow|[[Kenneth Arrow]] ([[βραβείο Νόμπελ]] στα οικονομικά το 1972) βοήθησε τον [[Ross M. Starr]] να μελετήσει τις [[μη-κυρτές οικονομίες]]<ref name="StarrArrow" >{{harvtxt|Starr|Stinchcombe|1999|pp=217–218}}: {{cite book|chapter=Exchange in a network of trading posts|last1=Starr|first1=R. M.|last2=Stinchcombe|first2=M. B.|title=Markets, information and uncertainty: Essays in economic theory in honor of Kenneth J. Arrow|editor-first=Graciela|editor-last=Chichilnisky|pages=217–234|publisher=Cambridge University Press|location=Cambridge|year=1999|doi=10.2277/0521553555|isbn=978-0-521-08288-4|ref=harv}}
</ref>]]

Οι προηγούμενες δημοσιεύσεις σχετικά με τη [[μη-κυρτότητα και τα οικονομικά]] συλλέχθηκαν σε μια σχολιασμένη βιβλιογραφία από τον [[Kenneth Arrow]]. Αποτέλεσαν τη βιβλιογραφία, ώστε ο Starr, ο οποίος ήταν τότε ένας προπτυχιακός φοιτητής του Arrow σε προηγμένα μαθήματα μαθηματικών-οικονομικών.<ref name="StarrArrow" />
Στην πτυχιακή του ο Starr μελέτησε τη γενική ισορροπία της τεχνητής οικονομίας στην οποία αντικαταστάθηκαν οι μη κυρτές προτιμήσεις από τις κυρτές αυτών. Στη κυρτή οικονομία, σε κάθε επίπεδο τιμών, η [[συνολική ζήτηση]] θα ήταν το άθροισμα των κυρτών αιτημάτων των καταναλωτών. Οι ιδέες του Starr ενδιέφεραν τους μαθηματικούς [[Lloyd Shapley]] και [[Jon Folkman]], οι οποίοι απόδειξαν το [[επώνομαζόμενο]] λήμμα και θεώρημα τους στην "ιδιωτική αλληλογραφία» τους, στην οποία αναφερόταν η εργασία του Starr.<ref name="s69"/>

Στη δημοσίευσή του 1969, ο Σταρ εφαρμόζει το θεώρημα Shapley-Folkman-Starr. Ο Σταρ απέδειξε ότι η κυρτή κύτους οικονομία έχει γενικές ισορροπίες που μπορούν να προσεγγίζονται με ''οιωνούς ισορροπίας'' της αρχικής οικονομίας, όταν ο αριθμός των πρακτόρων υπερβαίνει τη διάσταση των εμπορευμάτων: Συγκεκριμένα, ο Starr απέδειξε ότι υπάρχει τουλάχιστον ένας οιωνός ισορροπίας των τιμών ''p''<sub>opt</sub> με τις ακόλουθες ιδιότητες:

*Για κάθε οιωνό ισορροπίας των τιμών ''p''<sub>opt</sub>, όλοι οι καταναλωτές μπορούν να επιλέξουν τα βέλτιστα καλάθια (μέγιστη προτιμώμενη και την ικανοποίηση των περιορισμών του προϋπολογισμού τους).
*Στους οιωνούς ισορροπίας των τιμών ''p''<sub>opt</sub> στην κυρτή κύτους οικονομίας, της αγοράς κάθε καλό αγαθό είναι σε ισορροπία: η προμήθεια του ισούται με τη ζήτησή του.
*Για κάθε οιωνό ισορροπίας, οι τιμές «σχεδόν καθαρό» στις αγορές για την αρχική οικονομία: ένα [[ανώτατο όριο]] για την [[απόσταση]] μεταξύ του συνόλου των ισορροπιών του κυρτού κύτους οικονομίας και το σύνολο των οιωνών ισορροπίας της αρχικής οικονομίας που ακολουθείται από το πόρισμα του Σταρ στο θεώρημα των Shapley–Folkman.<ref>{{harvtxt|Arrow|Hahn|1980|pp=169–182}}. {{harvtxt|Starr|1969|pp=27–33}}
</ref>

Ο Starr διαπίστωσε ότι
<blockquote>
«Στο σύνολό τους, η διαφορά μεταξύ μιας κατανομής στην πλασματική οικονομία που παράγεται από [τη λήψη των κυρτών καταναλωτών και των παραγόμενων συνόλων] και κάποια κατανομή στην πραγματική οικονομία οριοθετείται κατά τρόπο που να είναι ανεξάρτητη από τον αριθμό των οικονομικών παραγόντων. Ως εκ τούτου, ο μέσος παράγοντας βιώνει μια απόκλιση από την προβλεπόμενη ενέργεια που εξαφανίζει τη σημασία, καθώς ο αριθμός των παραγόντων πηγαίνει στο άπειρο ».<ref>{{harvtxt|Green|Heller|1981|p=44}}</ref>
</blockquote>

Μετά το 1969 η εργασία του Starr και τα αποτελέσματα των Shapley-Folkman-Starr έχουν χρησιμοποιηθεί ευρέως στην οικονομική θεωρία. Ο [[Roger Guesnerie]] συνοψίζει τις οικονομικές επιπτώσεις τους: «Μερικά βασικά αποτελέσματα που επιτεύχθηκαν με την παραδοχή της κυρτότητας παραμένει (περίπου) σχετικό σε περιπτώσεις όπου δεν υπάρχει κυρτότητα. Για παράδειγμα, σε οικονομίες με μεγάλη πλευρά κατανάλωσης, οι nonconvexities προτίμησεις δεν καταστρέφουν τα πρότυπα αποτελέσματα».<ref>{{harvtxt|Guesnerie|1989|pp=99}}</ref>  «Η παραγωγή αυτών των αποτελεσμάτων σε γενική μορφή υπήρξε ένα από τα σημαντικότερα επιτεύγματα της μεταπολεμικής οικονομικής θεωρίας», έγραψε ο Guesnerie.<ref name="g89-p138"/>  Το θέμα των [[μη κυρτών συνόλων στα οικονομικά]] έχει μελετηθεί από πολλούς [[νομπελίστες]]: [[Arrow]] (1972) , [[Robert Aumann]] (2005), [[Gérard Debreu]]  (1983), [[Tjalling Koopmans]] (1975), [[Paul Krugman]] (2008), και [[Paul Samuelson]] (1970). Το συμπληρωματικό θέμα των [[κυρτών συνόλων στα οικονομικά]] έχει τονιστεί από αυτούς, μαζί με τους [[Leonid Hurwicz]], [[Leonid Kantorovich]] (1975), και [[Robert Solow]] (1987).<ref name="MasColell87">{{harvtxt|Mas-Colell|1987}}</ref>  Τα αποτελέσματα των Shapley-Folkman-Starr έχουν προβληθεί στην οικονομική βιβλιογραφία : στην [[μικροοικονομική θεωρία]],<ref>{{harvtxt|Varian|1992|pp=393–394}}: {{cite book|last=Varian|first=Hal R.|chapter=21.2 Convexity and size|title=Microeconomic Analysis|publisher=W. W. Norton & Company|edition=3η|year=1992|isbn=978-0-393-95735-8|mr=1036734|url-access=registration|url=https://archive.org/details/microeconomicana00vari_0}}<p>{{harvtxt|Mas-Colell|Whinston|Green|1995|pp=627–630}}: {{cite book|last1=Mas-Colell|first1=Andreu|last2=Whinston|first2=Michael D.|first3=Jerry R.|last3=Green|chapter=17.1 Large economies and nonconvexities|title=Microeconomic theory|url=https://archive.org/details/microeconomicthe0000masc|publisher=Oxford University Press|year=1995|isbn=978-0-19-507340-9}}</ref> στην κλασική θεωρία της γενικής ισορροπίας,<ref>{{harvtxt|Arrow|Hahn|1980|pp=169–182}}<p>{{harvtxt|Mas-Colell|1985|pp=52–55, 145–146, 152–153, and 274–275}}: {{cite book|last=Mas-Colell|first=Andreu|year=1985|chapter=1.L Averages of sets|title=The Theory of general economic equilibrium: A ''differentiable'' approach|series=Econometric Society monographs|volume=9|publisher=Cambridge University Press|isbn=0-521-26514-2|mr=1113262|ref=harv}}</p><p>{{harvtxt|Hildenbrand|1974|pp=37, 115–116, 122, and 168}}: {{cite book|last=Hildenbrand|first=Werner|title=Core and equilibria of a large economy|series=Princeton studies in mathematical economics|volume=5|publisher=Princeton University Press|location=Princeton, N.J.|year=1974|pages=viii+251|isbn=978-0-691-04189-6|mr=389160}}</p></ref><ref>{{harvtxt|Starr|1997|p=169}}: {{cite book|last=Starr|first=Ross M.|chapter=8 Convex sets, separation theorems, and non-convex sets in '''R'''<sup>''N''</sup> (new chapters 22 and 25–26 in (2011) second ed.)|title=General equilibrium theory: An introduction|url=https://archive.org/details/generalequilibri0000star|edition=1η|publisher=Cambridge University Press|location=Cambridge|year=1997|pages=xxiii+250|isbn=0-521-56473-5|mr=1462618|ref=harv}}<p>{{harvtxt|Ellickson|1994|pp=xviii, 306–310, 312, 328–329, 347, and 352}}: {{cite book|title=Competitive equilibrium: Theory and applications|first=Bryan|last=Ellickson |publisher=Cambridge University Press|isbn=978-0-521-31988-1|doi=10.2277/0521319889|year=1994|ref=harv}}</p></ref>  στα [[δημόσια οικονομικά]] <ref>{{harvtxt|Laffont|1988|pp=63–65}}: {{cite book|last=Laffont|first=Jean-Jacques|year=1988|chapter=3 Nonconvexities <!-- Not "Non–convexities"  -->|title=Fundamentals of public economics|url=https://archive.org/details/fundamentalsofpu0000laff|publisher= MIT
|isbn=0-262-12127-1 |ref=harv}}</ref>  (συμπεριλαμβανομένων των [[ανεπαρκειών της αγοράς]]),<ref>{{harvtxt|Salanié|2000|pp=112–113 and 107–115}}: {{cite book|last=Salanié|first=Bernard|chapter=7 Nonconvexities <!-- Not "Non–convexities"  -->|title=Microeconomics of market failures|url=https://archive.org/details/microeconomicsof0000sala|edition=English translation of the (1998) French ''Microéconomie: Les défaillances du marché'' (Economica, Paris)|year=2000|publisher=MIT Press|location=Cambridge, MA|pages=[https://archive.org/details/microeconomicsof0000sala/page/107 107]–125|isbn=0-262-19443-0|ref=harv}}</ref> καθώς και στην [[θεωρία των παιγνίων]],<ref>{{harvtxt|Ichiishi|1983|pp=24–25}}: {{cite book|last=Ichiishi|first=Tatsuro|title=Game theory for economic analysis|url=https://archive.org/details/gametheoryforeco0000ichi|series=Economic theory, econometrics, and mathematical economics|publisher=Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers]|location=New York|year=1983|pages=x+164|isbn=0-12-370180-5|mr=700688|ref=harv}}</ref> στη [[μαθηματική οικονομία]],<ref>{{harvtxt|Cassels|1981|pp=127 and 33–34}}: {{cite book|last=Cassels|first=J. W. S.|chapter=Appendix A Convex sets|title=Economics for mathematicians|series=London Mathematical Society lecture note series|volume=62|publisher=Cambridge University Press|location=Cambridge, New York|year=1981|pages=xi+145|isbn=0-521-28614-X|mr=657578|ref=harv}}</ref> και στα [[εφαρμοσμένα μαθηματικά]] (για τους οικονομολόγους).<ref name="Aubin"/><ref name="Carter" >{{harvtxt|Carter|2001|pp=93–94, 143, 318–319, 375–377, and 416}}</ref><!--

<ref name="Moore">{{harvtxt|Moore|1999|p=309}}: {{cite book|last=Moore|first=James&nbsp;C.|title=Mathematical methods for economic theory: Volume&nbsp;'''I'''
|series=Studies in economic theory|volume=9|publisher=Springer-Verlag|location=Berlin|year=1999|pages=xii+414|isbn=3-540-66235-9 |MR=1727000|ref=harv}}</ref>

<ref>{{harvtxt|Florenzano|Le&nbsp;Van|2001|pp=47–48}}: {{cite book|MR=1878374|last1=Florenzano|first1=Monique|last2=Le&nbsp;Van|first2=Cuong|title=Finite&nbsp;dimensional convexity and optimization|author3=in cooperation with Pascal Gourdel|series=Studies in economic theory|volume=13|publisher=Springer-Verlag|location=Berlin|year=2001|pages=xii+154|isbn=3-540-41516-5|ref=harv}} </ref> --> . Τα αποτελέσματα των Shapley-Folkman-Starr έχουν επίσης επηρεάσει την οικονομία της έρευνας με τη χρήση του [[μέτρου]] και της [[θεωρίας ολοκλήρωσης]].<ref>{{harvtxt|Trockel|1984|p=30}}: {{cite book|last=Trockel|first=Walter|title=Market demand: An analysis of large economies with nonconvex preferences|series=Lecture notes in economics and mathematical systems|volume=223|publisher=Springer-Verlag|location=Berlin|year=1984|pages=viii+205|isbn=3-540-12881-6|mr=737006}}</ref>

== Μαθηματική βελτιστοποίηση ==

[[File:Epigraph convex.svg|right|thumb|300px|alt=A graph of a convex function, which is drawn in black. Its epigraph, the area above its graph, is solid green.|Μια [[συνάρτηση]] είναι [[κυρτή]], εάν η περιοχή πάνω στο [[γράφημα]] του είναι ένα [[κυρτό σύνολο]].]]

Το λήμμα των Σάπλει-Φόλκμαν έχει χρησιμοποιηθεί για να εξηγήσει γιατί τα μεγάλα προβλήματα [[ελαχιστοποίησης]] με [[μη-κοιλότητα]] μπορούν σχεδόν να λυθούν (με [[επαναληπτικές μεθόδους]] των οποίων η σύγκλιση απόδειξης δηλώνεται μόνο για [[κυρτά προβλήματα]]). Το λήμμα των Σάπλει-Φόλκμαν έχει ενθαρρύνει τη χρήση των μεθόδων ελαχιστοποίησης των κυρτών σε άλλες εφαρμογές με αθροίσματα από πολλές λειτουργίες.<ref name="Bertsekas99"/>

== Προκαταρκτικά της θεωρίας βελτιστοποίησης ==

[[Η μη γραμμική βελτιστοποίηση]] βασίζεται στους ακόλουθους ορισμούς [[συναρτήσεων]]:

*Η [[γραφική παράσταση]] της συνάρτησης f είναι το σύνολο των ζευγών των [[επιχειρημάτων]] χ και αξιολογήσεων της συνάρτησης f (x)
: Graph(''f'') = <big><big>{</big></big> <big>(</big>''x'',&nbsp;''f''(''x'') <big>)</big> <big><big>}</big></big>

*Η [[επιγραφή]] της [[πραγματικής συνάρτησης]] f είναι το σύνολο των σημείων πάνω από το γράφημα

[[File:Sine.svg|right|thumb|alt=A graph of the sine function, which periodically oscillates up and down between −1 and +1, with the period 2π.|Η [[συνάρτηση ημχ]] είναι [[μη- κυρτή]]<!--  on the [[interval_(mathematics)#Terminology|interval]]&nbsp;(0,&nbsp;π) -->.]]
: Epi(''f'') = <big>{</big>&nbsp;(''x'',&nbsp;''u'')&nbsp;:&nbsp;''f''(''x'')&nbsp;≤&nbsp;''u''&nbsp;<big>}</big>.

*Μια πραγματική συνάρτηση ορίζεται να είναι μια [[κυρτή συνάρτηση]] αν η επιγραφή του είναι ένα κυρτό σύνολο.<ref name="Rock23" >{{harvtxt|Rockafellar|1997|p=23}}</ref>

Για παράδειγμα, η [[τετραγωνική συνάρτηση]] ''f''(''x'')&nbsp;=&nbsp;''x''<sup>2</sup> είναι κυρτή, όπως είναι η [[συνάρτηση απόλυτης τιμής]] ''g''(''x'')&nbsp;=&nbsp;|''x''|. Ωστόσο, η [[ημιτονοειδής συνάρτηση]] (φωτογραφία) είναι μη-κυρτή στο διάστημα (0, π).

== Πρόσθετα προβλήματα βελτιστοποίησης ==

Σε πολλά προβλήματα βελτιστοποίησης, η [[αντικειμενική συνάρτηση]] f είναι διαχωρίσιμη: δηλαδή, η f είναι το άθροισμα των πολλών summand λειτουργιών, καθένα από τα οποία έχει τη δική του επιχειρηματολογία:

: ''f''(''x'') = ''f''<big>(</big>&nbsp;(''x''<sub>1</sub>, ..., ''x''<sub>''N''</sub>)<big>&nbsp;)</big> = <big>∑</big>&nbsp;''f''<sub>''n''</sub>(''x''<sub>''n''</sub>).

Για παράδειγμα, τα προβλήματα της [[γραμμικής βελτιστοποίησης]] είναι διαχωρίσιμα. Λαμβάνοντας υπόψη ένα διαχωρίσιμο πρόβλημα με μια βέλτιστη λύση, έχουμε καθορίσει τη βέλτιστη λύση

: ''x''<sub>min</sub>&nbsp;=&nbsp;(''x''<sub>1</sub>,&nbsp;...,&nbsp;''x''<sub>''N''</sub>)<sub>min</sub>

με την ελάχιστη τιμή {{nowrap|''f''(''x''<sub>min</sub>).}} . Γι 'αυτό το διαχωρίσιμο πρόβλημα, θεωρούμε επίσης μια βέλτιστη λύση 
<big>(</big>''x''<sub>min</sub>,&nbsp;''f''(''x''<sub>min</sub>) <big>)</big>, όπου τα κυρτά λαμβάνονται από τις γραφικές παραστάσεις των συναρτήσεων summand. Μια τέτοια βέλτιστη λύση είναι το [[όριο μίας ακολουθίας]] των σημείων στο convexified πρόβλημα

: <big>(</big>''x''<sub>''j''</sub>,&nbsp;''f''(''x''<sub>j</sub>) <big>)</big><big>&nbsp;∈&nbsp;</big> <big>∑</big> Conv <big>(</big>Graph( ''f''<sub>''n''</sub> ) <big>)</big>.<ref name="Ekeland76"/>

Φυσικά, το δεδομένο βέλτιστο σημείο είναι ένα άθροισμα των σημείων στα γραφήματα των αρχικών summands και ενός μικρού αριθμού των convexified summands, από το λήμμα των Shapley-Folkman.

Η ανάλυση αυτή δημοσιεύθηκε από τον [[Ivar Ekeland]] το 1974 για να εξηγήσει την φαινομενική κυρτότητα των διαχωρίσιμων προβλημάτων με πολλά summands, παρά τη μη κυρτότητα των προβλημάτων summand. Το 1973, ο νεαρός μαθηματικός [[Claude Lemaráchall]] εξεπλάγη από την επιτυχία του με τη [[μέθοδο κυρτής ελαχιστοποίησης]] σχετικά με τα προβλήματα που ήταν γνωστά ως μη-κυρτά, για την [[ελαχιστοποίηση]] των μη γραμμικών προβλημάτων, η λύση του διπλού προβλήματος δεν χρειάζεται να παρέχουν χρήσιμες πληροφορίες για την επίλυση του προβλήματος, εκτός εάν το πρωταρχικό πρόβλημα είναι κυρτό και ικανοποιήσει έναν περιορισμό. Το πρόβλημα του LEMARECHAL ήταν ο διαχωρισμός προσθετέων, όταν κάθε λειτουργία summand ήταν μη-κυρτή. Παρ 'όλα αυτά, μια λύση στο πρόβλημα παρείχε μια στενή προσέγγιση στη βέλτιστη τιμή του αρχέγονου προβλήματος.<ref>{{harvtxt|Lemaréchal|1973|p=38}}: {{citation|last=Lemaréchal|first=Claude|title=Utilisation de la dualité dans les problémes non convexes [Use of duality for non–convex problems]|language=fr|date=Απρίλιος 1973 |issue=16|location=Domaine de Voluceau, Rocquencourt, 78150 Le Chesnay, France|publisher=National Institute for Research in Computer Science and Control (IRIA), Laboratoire de recherche en informatique et automatique|page=41|ref=harv}}. <!-- Ekeland cites this report in the ''[[Comptes Rendus|CRAS]]'' announcement of the results of his Appendix&nbsp;I -->
Lemaréchal's experiments were discussed in later publications: <p>{{harvtxt|Aardal|1995|pp=2–3}}: {{cite journal|first=Karen|last=Aardal|title=''Optima'' interview <!--sic., neither colon nor m-dash appear -->Claude  Lemaréchal|journal=Optima: Mathematical Programming Society newsletter|pages=2–4|date=Μάρτιος 1995|volume=45|url=http://www.mathprog.org/Old-Optima-Issues/optima45.pdf|accessdate= 2011-02-02|ref=harv}}</p><p>{{harvtxt|Hiriart-Urruty|Lemaréchal|1993|pp=143–145, 151, 153, and 156}}: {{cite book|last1=Hiriart-Urruty|first1=Jean-Baptiste|last2=Lemaréchal|first2=Claude|chapter=XII Abstract duality for practitioners|title=Convex analysis and minimization algorithms, Volume '''II''': Advanced theory and bundle methods|series=Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]|volume=306|publisher=Springer-Verlag|location=Berlin|year=1993|pages=136–193 (and bibliographical comments on pp.334–335)|isbn=3-540-56852-2|mr=1295240}}</p>
</ref><ref name="Ekeland76" >{{harv|Ekeland|1999|pp=357–359}}: Published in the first English edition of 1976, Ekeland's appendix proves the Shapley–Folkman lemma, also acknowledging [[Claude Lemaréchal|Lemaréchal]]'s experiments on page 373.</ref><ref name="Ekeland74" >{{cite journal|last=Ekeland|first=Ivar|title=Une estimation {{nowrap|''a priori''}} en programmation {{nowrap|non convexe}}|journal=Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences|series=Séries A et B|language=fr|issn=0151-0509<!-- Not archived on CRAS site, and CRAS's title has changed multiple times -->|volume=279|year=1974|pages=149–151|MR=395844|ref=harv}}<!-- Ekeland sole author; cites Lemaréchal by title whereas the 1976 appendix acknowledges but does not cite Lemaréchal (1973)--></ref>

Η ανάλυση του Ekeland εξήγησε την επιτυχία των κυρτών μεθόδων ελαχιστοποίησης σε μεγάλα και σε διαχωρίσιμα προβλήματα, παρά τη μη κοιλότητα των λειτουργιών summand. Ο Ekeland και αργότερα οι συγγραφείς υποστήριξαν ότι η προσθετική διαχωρισιμότητα προκάλεσε ένα κυρτό συνολικό πρόβλημα, έστω και αν οι λειτουργίες summand ήταν μη-κυρτές. Το κρίσιμο βήμα σε αυτές τις δημοσιεύσεις είναι η χρήση του λήμματος Σάπλει-Φόλκμαν.<ref name="Ekeland76" /><ref name="Ekeland74" /><ref name="AubinEkeland" >{{harvtxt|Aubin|Ekeland|1976|pp=226, 233, 235, 238, and 241}}: {{cite journal|last1=Aubin|first1=J. P.|last2=Ekeland|first2=I.|issue=3|journal=Mathematics of Operations Research|pages=225–245|title=Estimates of the duality gap in nonconvex optimization|volume=1| year = 1976|doi=10.1287/moor.1.3.225|mr=449695|jstor=3689565|ref=harv}}<p>{{harvtxt|Aubin|Ekeland|1976}} and {{harvtxt|Ekeland|1999|pp=362–364}} also considered the ''[[Convex conjugate#Biconjugate convex|convex]]'' [[Convex conjugate#Biconjugate|closure]] of a problem of non-convex minimization—that is, the problem defined as the [[Kuratowski closure axioms|closed]] [[convex hull|convex]] [[closure operator|hull]] of the [[epigraph (mathematics)|epigraph]] of the original problem. Their study of duality gaps was extended by Di Guglielmo to the ''[[quasiconvex function|quasiconvex]]'' closure of a non-convex [[multiobjective optimization|minimization]] problem—that is, the problem defined as the [[Kuratowski closure axioms|closed]] [[convex hull|convex]] [[closure operator|hull]] of the [[semicontinuity#lower|lower]] [[level set]]s:<p></p>{{harvtxt|Di Guglielmo|1977|pp=287–288}}: {{cite journal|last=Di Guglielmo|first=F.|title=Nonconvex duality in multiobjective optimization|doi=10.1287/moor.2.3.285|volume=2|year=1977|issue=3|pages=285–291|journal=Mathematics of Operations Research|mr=484418|jstor=3689518}}<p></p>
<!-- <p>{{cite book||last=Di Guglielmo|first=F.|chapter=Estimates of the duality gap for discrete and quasiconvex optimization problems|title=Generalized concavity in optimization and economics: Proceedings of the NATO Advanced Study Institute held at the University of British Columbia, Vancouver, B.C., August 4–15, 1980
|url=https://archive.org/details/generalizedconca0000unse|editor1-first=Siegfried|editor1-last=Schaible|editor2-first=William T.|editor2-last=Ziemba|publisher=Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers]|location=New York|year=1981|pages=[https://archive.org/details/generalizedconca0000unse/page/281 281]–298|isbn=0-12-621120-5|MR=652702|}}</p> -->
</ref> Το λήμμα των Σάπλει-Φόλκμαν έχει ενθαρρύνει τη χρήση των κυρτών μεθόδων ελαχιστοποίησης σε άλλες εφαρμογές με αθροίσματα από τις πολλές λειτουργίες.<ref name="Ekeland76" />

<ref name="Bertsekas82" >{{harvtxt|Bertsekas|1996|pp=364–381}} acknowledging {{harvtxt|Ekeland|1999}} on page 374 and {{harvtxt|Aubin|Ekeland|1976}} on page 381:<p>
{{cite book|last=Bertsekas|first=Dimitri P.|chapter=5.6 Large scale separable integer programming problems and the exponential method of multipliers|title=Constrained optimization and Lagrange multiplier methods|edition=Reprint of (1982) Academic Press|year=1996|location=Belmont, MA|isbn=1-886529-04-3|pages=xiii+395|publisher=Athena Scientific|mr=690767|ref=harv}}</p>
<p>{{harvtxt|Bertsekas|1996|pp=364–381}} describes an application of [[dual problem|Lagrangian dual]] methods to the [[scheduling (production processes)|scheduling]] of [[electricity generation|electrical power plant]]s ("[[power system simulation#Unit commitment|unit commitment problem]]s"), where non-convexity appears because of [[integer programming|integer constraints]]:</p><p>{{cite journal|journal=IEEE Transactions on Automatic Control|volume=AC-28|date=January 1983|title=Optimal short-term scheduling of large-scale power systems|first1=Dimitri P.|last1=Bertsekas|first2=Gregory S.|last2=Lauer|first3=Nils R., Jr.|last3=Sandell|first4=Thomas A.|last4=Posbergh|pages=1–11|issue=Proceedings of 1981 IEEE Conference on Decision and Control, San Diego, CA, December 1981, pp.432–443|ref=harv|url=http://web.mit.edu/dimitrib/www/Unit_Comm.pdf|accessdate= 2011-02-02}}<p></p></ref><ref name="Aubin" >{{harvtxt|Aubin|2007|pp=458–476}}: {{cite book|last=Aubin|first=Jean-Pierre|chapter=14.2 Duality in the case of non-convex integral criterion and constraints (especially 14.2.3 The Shapley–Folkman theorem, pages 463–465)|title=Mathematical methods of game and economic theory|edition=Reprint with new preface of 1982 North-Holland revised English|publisher=Dover Publications, Inc|location=Mineola, NY|year=2007|pages=xxxii+616|isbn=978-0-486-46265-3|mr=2449499|ref=harv}}</ref><ref name="Bertsekas99" >{{harvtxt|Bertsekas|1999|p=496}}: {{cite book|last=Bertsekas|first=Dimitri P.|title=Nonlinear Programming|edition=2η|chapter=5.1.6 Separable problems and their geometry|pages=494–498|publisher=Athena Scientific|year=1999|location=Cambridge, MA.|isbn =1-886529-00-0}}</ref>

== Πιθανότητες και θεωρία μέτρου ==

Τα κυρτά σύνολα συχνά μελετήθηκαν με τη [[θεωρία των πιθανοτήτων]]. Κάθε σημείο στο κυρτό του κύτους ενός ([[μη κενού]]) υποσυνόλου ''Q'' [[πεπερασμένου διαστάσεων]] είναι η [[αναμενόμενη τιμή]] ενός απλού τυχαίου φορέα που λαμβάνει τις τιμές της στο ''Q'', ως συνέπεια του λήμματος [[Καραθεοδωρή]]. Έτσι, για ένα μη-κενό σύνολο Q, η συλλογή των αναμενόμενων τιμών των απλών, Q-αποτιμώνται τυχαία ως διανύσματα που ισούται με κυρτό του κύτους της Q. Αυτή η ισότητα σημαίνει ότι τα αποτελέσματα των Shapley-Folkman-Starr είναι χρήσιμα στη θεωρία πιθανοτήτων.<ref>{{harvtxt|Schneider|Weil|2008|p=45}}: {{cite book|last1=Schneider|first1=Rolf|last2=Weil|first2=Wolfgang|title=Stochastic and integral geometry|url=http://www.springerlink.com/content/978-3-540-78858-4|series=Probability and its applications|doi=10.1007/978-3-540-78859-1|year=2008|publisher=Springer|isbn=978-3-540-78858-4|mr=2455326|accessdate=2014-06-25|archiveurl=https://web.archive.org/web/20121009015211/http://www.springerlink.com/content/978-3-540-78858-4/|archivedate=2012-10-09|url-status=dead}}</ref>  Στην άλλη κατεύθυνση, η θεωρία πιθανοτήτων παρέχει τα εργαλεία για να εξετάσει κυρτά γενικά σύνολα και οι Shapley-Folkman-Starr προκύπτουν συγκεκριμένα.<ref>{{harvtxt|Cassels|1975|pp=433–434}}: {{cite journal|last=Cassels| first=J. W. S.|title=Measures of the non-convexity of sets and the Shapley–Folkman–Starr theorem|journal=Mathematical Proceedings of the Cambridge Philosophical Society|volume=78|year=1975|issue=3|pages=433–436|doi=10.1017/S0305004100051884
|url=http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=2075868&fulltextType=RA&fileId=S0305004100051884ER|mr=385711|ref=harv}}</ref>  Τα αποτελέσματά Σάπλει-Φόλκμαν-Σταρ έχουν χρησιμοποιηθεί ευρέως στην [[πιθανολογική θεωρία των τυχαίων συνόλων]],
<ref>{{harvtxt|Molchanov|2005|pp=195–198, 218, 232, 237–238 and 407}}: {{cite book|last=Molchanov|first=Ilya|chapter=3 Minkowski addition|title=Theory of random sets|series=Probability and its applications|publisher=Springer-Verlag London Ltd|location=London|year=2005|pages=194–240|isbn=978-1-84996-949-9|doi=10.1007/1-84628-150-4|url=http://www.springerlink.com/content/978-1-85233-892-3|mr=2132405|ref=harv}}{{Dead link|date=Οκτώβριος 2019 }}</ref> για παράδειγμα, να αποδείξει ένα [[νόμο των μεγάλων αριθμών]],<ref name="ArtsteinVitale">{{harvtxt|Artstein|Vitale|1975|pp=881–882}}</ref>
<ref name="PurRal85" >{{harvtxt|Puri|Ralescu|1985|pp=154–155}}: {{cite journal|last1=Puri|first1=Madan L.|last2=Ralescu|first2=Dan A.|title=Limit theorems for random compact sets in Banach space|url=http://journals.cambridge.org/action/displayAbstract?aid=2087952|journal=Mathematical Proceedings of the  Cambridge Philosophical Society|volume=97|year=1985|issue=1|pages=151–158|doi=10.1017/S0305004100062691|mr=764504|ref=harv}}
</ref>  ένα [[κεντρικό οριακό θεώρημα]],<ref name="PurRal85" /><ref>{{harvtxt|Weil|1982|pp=203, and 205–206}}: {{cite journal|last=Weil|first=Wolfgang|title=An application of the central limit theorem for Banach-space–valued random variables to the theory of random sets|journal=Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete [Probability Theory and Related Fields]|volume=60|year=1982 |issue=2|pages=203–208|doi=10.1007/BF00531823|mr=663901|ref=harv}}</ref> και μία [[αρχή μεγάλης απόκλισης]].<ref>{{harvtxt|Cerf|1999|pp=243–244}}: {{cite journal|last=Cerf|first=Raphaël|title=Large deviations for sums of {{nowrap|i.i.d. random}} compact sets |url=http://www.ams.org/journals/proc/1999-127-08/S0002-9939-99-04788-7|journal=Proceedings of the  American Mathematical Society|volume=127|year=1999|issue=8|pages=2431–2436|doi=10.1090/S0002-9939-99-04788-7|mr=1487361|ref=harv}} Cerf uses applications of the Shapley–Folkman lemma from {{harvtxt|Puri|Ralescu|1985|pp=154–155}}.</ref> Οι αποδείξεις των [[πιθανοτικών όριακών θεωρημάτων]] που χρησιμοποιούνται τα αποτελέσματα Shapley-Folkman-Starr αποφεύγουν την παραδοχή ότι όλα τα τυχαία σύνολα να είναι κυρτά.

Ένα [[μέτρο πιθανότητας]] είναι ένα [[πεπερασμένο μέτρο]], και το λήμμα Shapley-Folkman έχει εφαρμογές στη μη πιθανολογική θεωρία μέτρου, όπως τις θεωρίες του [[όγκου]] και των [[μέτρων φορέα]]. Το λήμμα Shapley-Folkman επιτρέπει την τελειοποίηση της [[ανισότητας Brunn-Minkowski]], που οριοθετεί τον όγκο των αθροισμάτων από την άποψη του όγκου των summand συνόλων τους.<ref>{{harvtxt|Ruzsa|1997|p=345}}: {{cite journal|last=Ruzsa|first=Imre Z.|title=The Brunn–Minkowski inequality and nonconvex sets|journal=Geometriae Dedicata|volume=67|doi=10.1023/A:1004958110076 |year=1997|issue=3|pages=337–348|mr=1475877|ref=harv}}</ref>  Ο όγκος του είναι καθορισμένος από την άποψη του μέτρου Lebesgue, η οποία ορίζεται σε υποσύνολα του [[Ευκλείδειου χώρο]]. Στη προχωρημένη μέτρο-θεωρία, το λήμμα Shapley-Folkman έχει χρησιμοποιηθεί για να αποδείξει το [[θεώρημα Lyapunov]], το οποίο αναφέρει ότι το [[φάσμα]] ενός [[μέτρου φορέα]] είναι κυρτό.<ref name="Tardella" >{{harvtxt|Tardella|1990|pp=478–479}}: {{cite journal|last=Tardella|first=Fabio|title=A new proof of the Lyapunov convexity theorem|journal=SIAM Journal on Control and Optimization|volume=28|year=1990|issue=2|pages=478–481 |doi=10.1137/0328026|mr=1040471|ref=harv}}</ref> Εδώ, η παραδοσιακή ένδειξη "ποικιλία" (εναλλακτικά, "εικόνα") είναι το σύνολο των αξιών που παράγονται από τη συνάρτηση. Ένα μέτρο φορέα είναι ένας φορέας-αποτιμώνται γενίκευση του μέτρου, για παράδειγμα, εάν τα  ''p''<sub>1</sub> και  ''p''<sub>2</sub> είναι [[μέτρα πιθανότητας]] ορίζεται με τον ίδιο μετρήσιμο χώρο, τότε το  {{nowrap|''p''<sub>1</sub>&nbsp;''p''<sub>2</sub>}}  λειτουργίας του προϊόντος είναι ένα μέτρο φορέα, όπου {{nowrap|''p''<sub>1</sub>&nbsp;''p''<sub>2</sub>}}  ορίζεται για κάθε [[περιπτώσεις]] του ω που

:<big>(</big>''p''<sub>1</sub>&nbsp;''p''<sub>2</sub><big>)</big>(''ω'')=<big>(</big>''p''<sub>1</sub>(''ω''),&nbsp;''p''<sub>2</sub>(''ω'')<big>)</big>.

Το θεώρημα Lyapunov έχει χρησιμοποιηθεί στα [[οικονομικά]],<ref name="Aumann"/>
<ref>{{harvtxt|Vind|1964|pp=168 and 175}}: {{cite journal|last=Vind|first=Karl|date=Μάιος 1964|title=Edgeworth-allocations in an exchange economy with many traders|url=https://archive.org/details/sim_international-economic-review_1964-05_5_2/page/165|journal=International Economic Review|volume=5|pages=165–77|issue=2|ref=harv|jstor=2525560}} Vind's article was noted by the winner of the 1983 [[Nobel Prize in Economics]], [[Gérard Debreu]]{{harvtxt|Debreu|1991|p=4}} wrote:
<blockquote>
The concept of a convex set (i.e., a set containing the segment connecting any two of its points) had repeatedly been placed at the center of economic theory before 1964. It appeared in a new light with the introduction of integration theory in the study of economic competition: If<!-- original "if" inconsistent with our capitalization  --> one associates with every agent of an economy an arbitrary set in the commodity space and ''if one averages those individual sets'' over a collection of insignificant agents, ''then the resulting set is necessarily convex''. [Debreu appends this footnote: "On this direct consequence of a theorem of A. A. Lyapunov, see {{harvtxt|Vind|1964}}."] But explanations of the <!-- three --> ... functions of prices <!-- taken as examples --> ... can be made to rest on the ''convexity of sets derived by that averaging process''. ''Convexity'' in the commodity space ''obtained by aggregation'' over a collection of insignificant agents is an insight that economic theory owes <!-- in its revealing clarity --> ... to integration theory. [''Italics added'']
</blockquote>
{{cite journal|title=The Mathematization of economic theory|first=Gérard|last=Debreu|issue=Presidential address delivered at the 103rd meeting of the American Economic Association, 29 December 1990, Washington, DC|journal=The American Economic Review|volume=81|date=Μάρτιος 1991|pages=1–7|jstor=2006785|ref=harv}}</ref> σε ([["μπαμ-μπαμ"]]) [[θεωρία ελέγχου]], και στη [[στατιστική θεωρία]]. 
<ref name="Artstein" >{{harvtxt|Artstein|1980|pp=172–183}} {{harvtxt|Artstein|1980}} was republished in a [[festschrift]] for [[Robert Aumann|Robert J. Aumann]], winner of the 2008 [[Nobel Prize in Economics]]: {{cite book|first1=Zvi|last1=Artstein|chapter=22 Discrete and continuous bang–bang and facial spaces or: Look for the extreme points|pages=449–462|title=Game and economic theory: Selected contributions in honor of Robert J. Aumann|url=http://www.press.umich.edu/titleDetailDesc.do?id=14414|editor1-first=Sergiu|editor1-last=Hart|editor2-first=Abraham|editor2-last=Neyman|publisher=University of Michigan Press|location=Ann Arbor, MI|year=1995|isbn=0-472-10673-2|ref=harv|accessdate=2014-06-25|archiveurl=https://web.archive.org/web/20110524002010/http://press.umich.edu/titleDetailDesc.do?id=14414|archivedate=2011-05-24|url-status=dead}}</ref> Το θεώρημα Lyapunov έχει χαρακτηριστεί ως ένα [[συνεχές]] ομόλογό του λήμματος Σάπλει-Φίλκμαν,<ref name="Starr08" /> το οποίο έχει αποκληθεί ένα διακριτό ανάλογο του θεωρήματος Lyapunov.<ref name="MCBlock78" >{{harvtxt|Mas-Colell|1978|p=210}}: {{cite journal|last=Mas-Colell|first=Andreu|title=A note on the core equivalence theorem: How many blocking coalitions are there?|journal=Journal of Mathematical Economics|volume=5|year=1978|issue=3|pages=207–215|doi=10.1016/0304-4068(78)90010-1|url=http://www.sciencedirect.com/science/article/B6VBY-4582G5H-2G/2/576b6893a9a730c3557fde0f52d3a9c2|mr=514468|ref=harv|archivedate=2013-02-02|archiveurl=https://archive.today/20130202023110/http://www.sciencedirect.com/science/article/pii/0304406878900101|accessdate=2014-06-25|url-status=dead}}</ref>
{{clear}}

==Παραπομπές==
<references />

==Πηγές==
* {{cite book|last1=Arrow|first1=Kenneth J.|last2=Hahn|first2=Frank H.|year=1980<!-- |chapter=Appendix B: Convex and related sets -->|title=General competitive analysis|publisher=North-Holland|<!-- pages=375–401 -->|series=Advanced Textbooks in Economics|volume=12|edition=reprint of San Francisco, CA: Holden-Day, Inc. Mathematical Economics Texts '''6'''|origyear=1971|location=Amsterdam|isbn=0-444-85497-5|mr=439057|ref=harv}}
* {{cite journal|last=Artstein|first=Zvi|title=Discrete and continuous bang-bang and facial spaces, or: Look for the extreme points|journal=SIAM Review|volume=22|year=1980|issue=2|pages=172–185|doi=10.1137/1022026|mr=564562|jstor=2029960|ref=harv}}
* {{cite book|last=Carter|first=Michael|title=Foundations of mathematical economics|url=http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8630|publisher=MIT Press|location=Cambridge, MA|year=2001|pages=xx+649|isbn=0-262-53192-5|mr=1865841|id=([http://michaelcarteronline.com/FOME/ Author's website] with [http://michaelcarteronline.com/FOME/answers.html answers to exercises])|ref=harv|accessdate=2014-06-25|archiveurl=https://web.archive.org/web/20060915230536/http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8630|archivedate=2006-09-15|url-status=dead}}
* {{cite book|first=W. E.|last=Diewert|chapter=12 Duality approaches to microeconomic theory|pages=535–599|url=http://www.sciencedirect.com/science/article/B7P5Y-4FDF0FN-R/2/dcc0f8c9352eb054c96b3ff481976ce7|doi=10.1016/S1573-4382(82)02007-4|title=Handbook of mathematical economics, Volume '''II'''|editor1-first=Kenneth Joseph|editor1-last=Arrow|editor2-first=Michael D|editor2-last=Intriligator|series=Handbooks in Economics|volume=1|publisher=North-Holland Publishing Co|location=Amsterdam|year=1982|isbn=978-0-444-86127-6|mr=648778|ref=harv|archivedate=2012-12-10|archiveurl=https://archive.today/20121210045037/http://www.sciencedirect.com/science/article/pii/S1573438282020074|accessdate=2014-06-25|url-status=dead}}
* {{cite book|last=Ekeland|first=Ivar|chapter=Appendix I: An ''a priori'' estimate in convex programming|editor1-last=Ekeland|editor1-first=Ivar|editor2-last=Temam|editor2-first=Roger|title=Convex analysis and variational problems|edition=Corrected reprinting of the North-Holland|origyear=1976|series=Classics in Applied Mathematics|volume=28 |publisher=Society for Industrial and Applied Mathematics (SIAM)|location=Philadelphia, PA|year=1999|pages=357–373|isbn=0-89871-450-8|mr=1727362|ref=harv}}
* {{cite book|first1=Jerry|last1=Green|first2=Walter P.|last2=Heller|chapter=1 Mathematical analysis and convexity with applications to economics|pages=15–52|url=http://www.sciencedirect.com/science/article/B7P5Y-4FDF0FN-5/2/613440787037f7f62d65a05172503737|doi=10.1016/S1573-4382(81)01005-9|title=Handbook of mathematical economics, Volume '''I'''|editor1-first=Kenneth Joseph|editor1-last=Arrow|editor2-first=Michael D|editor2-last=Intriligator|series=Handbooks in Economics|volume=1|publisher=North-Holland Publishing Co|location=Amsterdam|year=1981|isbn=0-444-86126-2|mr=634800|ref=harv|archivedate=2012-12-17|archiveurl=https://archive.today/20121217191748/http://www.sciencedirect.com/science/article/pii/S1573438281010059|accessdate=2014-06-25|url-status=dead}}
* {{cite book|last=Guesnerie|first=Roger|year=1989|chapter=First-best allocation of resources with nonconvexities <!-- original, NOT "non–convexities"  --> in production|pages=[https://archive.org/details/contributionstoo0000unse_t0j8/page/99 99]–143|editor-first=Bernard|editor-last=Cornet|editor2-first=Henry|editor2-last=Tulkens|title=Contributions to Operations Research and Economics: The twentieth anniversary of CORE (Papers from the symposium held in Louvain-la-Neuve, January 1987)|url=https://archive.org/details/contributionstoo0000unse_t0j8|publisher=MIT Press|location=Cambridge, MA|isbn=0-262-03149-3|mr=1104662|ref=harv}}
* {{cite book|last=Mas-Colell|first=A.|chapter=Non-convexity|title=The new Palgrave: A dictionary of economics|editor1-first=John|editor1-last=Eatwell|editor2-first=Murray|editor2-last=Milgate|editor3-first=Peter|editor3-last=Newman|publisher=Palgrave Macmillan|year=1987|edition=1η|doi=10.1057/9780230226203.3173<!-- SNAFU at NP? 30 Jan 2011-->|pages=653–661|url=http://www.dictionaryofeconomics.com/article?id=pde1987_X001573|id=([http://www.econ.upf.edu/~mcolell/research/art_083b.pdf PDF file at Mas-Colell's homepage])|ref=harv}}
* {{cite book|last=Rockafellar|first=R. Tyrrell|title=Convex analysis|edition=Reprint of the 1970  ({{MR|274683}}) Princeton Mathematical Series '''28'''|series=Princeton Landmarks in Mathematics|publisher=Princeton University Press|location=Princeton, NJ|year=1997|pages=xviii+451|isbn=0-691-01586-4|mr=1451876|ref=harv}}
* {{cite book|last=Schneider|first=Rolf|title=Convex bodies: The Brunn–Minkowski theory|series=Encyclopedia of Mathematics and its Applications|volume=44|publisher=Cambridge University Press|location=Cambridge|year=1993|pages=xiv+490|ref=harv|isbn=0-521-35220-7|mr=1216521}}
* {{citation|last=Starr|first=Ross M.|issue=1|journal=Econometrica|pages=25–38|title=Quasi-equilibria in markets with non-convex preferences (Appendix 2: The Shapley–Folkman theorem, pp.35–37)|volume=37|year=1969|jstor=1909201|ref=harv}}
* {{cite book|last=Starr|first=Ross M.|chapter=Shapley–Folkman theorem|title=The new Palgrave dictionary of economics|editor-first=Steven N.|editor-last=Durlauf|editor2-first=Lawrence E|editor2-last=Blume|publisher=Palgrave Macmillan|year=2008|edition=1η|pages=317–318 |url=http://www.dictionaryofeconomics.com/article?id=pde2008_S000107|doi=10.1057/9780230226203.1518|ref=harv}}

==Εξωτερικοί σύνδεσμοι==
* {{citation|title=Economics 201B: Nonconvex preferences and approximate equilibria|chapter=1 The Shapley–Folkman theorem|pages=1–5|date=Μάρτιος 2005|first=Robert M.|last=Anderson|location=Berkeley, CA|publisher=Economics Department, University of California, Berkeley|url=http://elsa.berkeley.edu/users/anderson/Econ201B/NonconvexHandout.pdf|accessdate=2011-01-15|archivedate=2012-03-10|archiveurl=https://web.archive.org/web/20120310072952/http://elsa.berkeley.edu/users/anderson/Econ201B/NonconvexHandout.pdf|deadurl=}}
* {{citation|title=On the tendency toward convexity of the vector sum of sets|last=Howe|first=Roger|date=Νοέμβριος 1979|publisher=Cowles Foundation for Research in Economics, Yale University|series=Cowles Foundation discussion papers|location=Box 2125 Yales Station, New Haven, CT 06520|volume=538 |url=http://cowles.econ.yale.edu/P/cd/d05a/d0538.pdf|<!-- url-2=http://econpapers.repec.org/RePEc:cwl:cwldpp:538 -->|accessdate= 2011-01-15}}
* {{citation|last=Starr|first=Ross M.|chapter=8 Convex sets, separation theorems, and non-convex sets in '''R'''<sup>''N''</sup> (Section 8.2.3 Measuring non-convexity, the Shapley–Folkman theorem)|title=General equilibrium theory: An introduction |date=Σεπτέμβριος 2009|pages=3–6|url=http://www.econ.ucsd.edu/~rstarr/113Winter2010/Webpage/PDFonlyCUPsubmission/Chap8-2009/2009CHAP-08092109.pdf|mr=1462618|id=(Draft of second edition, from Starr's course at the Economics Department of the University of California, San Diego)|accessdate= 2011-01-15 |archiveurl=https://web.archive.org/web/20100701131416/http://www.econ.ucsd.edu/~rstarr/113Winter2010/Webpage/PDFonlyCUPsubmission/Chap8-2009/2009CHAP-08092109.pdf |archivedate=2010-07-01 |url-status=dead}}
* {{citation|last=Starr|first=Ross M.|title=Shapley–Folkman theorem|date=Μάιος 2007|pages=1–3|url=http://www.econ.ucsd.edu/~rstarr/SFarticle.pdf|accessdate=15 January 2011|id=(Draft of article for the second edition of ''New Palgrave Dictionary of Economics'')}}

{{authority control}}

{{DEFAULTSORT:Σαπλει Φολκμαν λημμα}}
[[Κατηγορία:Κυρτή γεωμετρία]]
[[Κατηγορία:Θεωρήματα στη Γεωμετρία]]