Konvexes Set
Im Geometrie, eine Untergruppe von a Euklidischer Raumoder allgemeiner ein Offine Space über dem Real, ist konvex Wenn bei zwei beliebigen Punkten in der Teilmenge die Teilmenge das Ganze enthält Liniensegment das schließt sich ihnen an. Äquivalent, a konvexes Set oder ein konvexe Region ist eine Untergruppe, die jeden schneidet Linie in eine Single Liniensegment (möglicherweise leer).[1][2] Zum Beispiel ein solider Würfel ist ein konvexes Set, aber alles, was hohl ist oder einen Einzug hat, zum Beispiel a Halbmond Form, ist nicht konvex.
Das Grenze eines konvexen Satzes ist immer a konvexe Kurve. Der Schnittpunkt aller konvexen Sätze, die eine bestimmte Teilmenge enthalten A des euklidischen Raums wird der genannt konvexer Rumpf von A. Es ist das kleinste konvexe Set, das enthält A.
A Konvexe Funktion ist ein reale Funktion definiert auf an Intervall mit der Eigenschaft, dass es es ist Epigraph (die Punkte von Punkten auf oder über dem Graph der Funktion) ist ein konvexer Satz. Konvexe Minimierung ist ein Unterfeld von Optimierung Dies untersucht das Problem, konvexe Funktionen über konvexe Sets zu minimieren. Der Zweig der Mathematik, der sich der Untersuchung von Eigenschaften konvexer Sets und konvexer Funktionen widmet, heißt Konvexe Analyse.
Der Begriff eines konvexen Satzes kann wie nachstehend beschrieben verallgemeinert werden.
Definitionen
Lassen S sei a Vektorraum oder an Offine Space über dem reale Nummernoder allgemeiner über einige Bestellter Feld. Dies schließt euklidische Räume ein, die affine Räume sind. EIN Teilmenge C von S ist konvex Wenn, für alle x und y in C, das Liniensegment Verbinden x und y ist enthalten in C. Dies bedeutet, dass die Effine -Kombination (1 - t)x + ty gehört C, für alle x und y in C, und t in dem Intervall [0, 1]. Dies impliziert, dass Konvexität (die Eigenschaft, konvex zu sein) unterliegt Affine -Transformationen. Dies impliziert auch, dass ein konvexer in a real oder Komplex Topologischer Vektorraum ist Pfad verbunden, daher in Verbindung gebracht.
Ein Satz C ist streng konvex Wenn jeder Punkt auf dem Leitungssegment eine Verbindung herstellt x und y Anders als die Endpunkte befinden sich in der Topologisches Innenraum von C. Eine geschlossene konvexe Untergruppe ist nur dann konvex Grenzpunkte ist ein Extrempunkt.[3]
Ein Satz C ist absolut konvex Wenn es konvex ist und ausgewogen.
Der konvexe Untergruppen von R (Die Menge der realen Zahlen) sind die Intervalle und die Punkte von R. Einige Beispiele für konvexe Teilmengen der Euklidische Ebene sind solide Regelmäßige Polygone, feste Dreiecke und Kreuzungen von soliden Dreiecken. Einige Beispiele für konvexe Teilmengen von a Euklidischer dreidimensionaler Raum sind die Archimedäe Feststoffe und die Platonische Feststoffe. Das Kepler-Poinot Polyeder sind Beispiele für nicht konvexe Sets.
Nicht konvexer Satz
Ein Set, das nicht konvex ist Nicht konvexer Satz. EIN Polygon das ist nicht a konvexes Polygon wird manchmal als a genannt konkaves Polygon,[4] und einige Quellen verwenden den Begriff allgemeiner konkaves Set um einen nicht konvexen Satz zu bedeuten,[5] Aber die meisten Behörden verbieten diese Verwendung.[6][7]
Das ergänzen eines konvexen Satzes wie der Epigraph von a konkave Funktion, wird manchmal genannt Reverse Convex Setbesonders im Kontext von Mathematische Optimierung.[8]
Eigenschaften
Gegeben r Punkte u1, ..., ur in einem konvexen Satz S, und r Nichtnegative Zahlen λ1, ..., λr so dass λ1 + ... + λr = 1, das Effine -Kombination
Eine solche affine Kombination heißt a Konvexe Kombination von u1, ..., ur.
Kreuzungen und Gewerkschaften
Die Sammlung konvexer Teilmengen eines Vektorraums, eines affinen Raums oder a Euklidischer Raum hat die folgenden Eigenschaften:[9][10]
- Das leeres Set Und der gesamte Raum ist konvex.
- Der Schnittpunkt einer Sammlung konvexer Sets ist konvex.
- Das Union einer Sequenz konvexer Sets ist konvex, wenn sie a bilden Nicht dekretierende Kette für die Aufnahme. Für diese Eigenschaft ist die Einschränkung der Ketten wichtig, da die Vereinigung von zwei konvexen Sätzen braucht nicht konvex sein.
Geschlossene konvexe Sets
Abgeschlossen Konvexe Sets sind konvexe Sets, die alle enthalten Punkte begrenzen. Sie können als Schnittpunkte von charakterisiert werden abgeschlossen Halbräume (Punkte im Raum, die auf und auf einer Seite von a liegen Hyperebene).
Nach dem, was gerade gesagt wurde, ist klar, dass solche Kreuzungen konvex sind und auch geschlossen werden. Um das Gegenteil zu beweisen, d. H. Jede geschlossene konvexe Menge, kann als solche Schnittstelle dargestellt werden, braucht man die Unterstützung des Hyperebenensatzes in der Form, die für einen gegebenen geschlossenen konvexen Satz C und Punkt P Draußen gibt es einen geschlossenen Halbraum H das beinhaltet C und nicht P. Der unterstützende Hyperplane -Theorem ist ein Sonderfall der Hahn -Banach -Theorem von Funktionsanalyse.
Konvexe Sets und Rechtecke
Lassen C sei a konvexer Körper in der Ebene (ein konvexes Set, dessen Innenraum nicht leer ist). Wir können ein Rechteck einschreiben r in C so dass a homothetisch Kopieren R von r ist umschrieben C. Das positive Homoth -Verhältnis beträgt höchstens 2 und:[11]
Blaschke-Santaló-Diagramme
Der Satz Von allen planaren konvexen Körpern kann in Bezug auf den konvexen Körper parametrisiert werden Durchmesser D, sein inradius r (der größte Kreis im konvexen Körper) und sein Zirkumradius R (der kleinste Kreis, der den konvexen Körper enthält). Tatsächlich kann dieser Satz durch den Satz von Ungleichheiten beschrieben werden[12][13]
Alternativ der Satz kann auch durch seine Breite (der kleinste Abstand zwischen zwei verschiedenen parallelen Trägerhyperplanen), Umfang und Fläche parametrisiert werden.[12][13]
Andere Eigenschaften
Lassen X ein topologischer Vektorraum sein und konvex sein.
- und sind beide konvex (d. H. Der Verschluss und das Innere der konvexen Sets sind konvex).
- Wenn und dann (wo ).
- Wenn dann:
- , und
- , wo ist der Algebraischer Innenraum von C.
Konvexe Rümpfe und Minkowski -Summen
Konvexe Rümpfe
Jede Untergruppe A des Vektorraums ist in einem kleinsten konvexen Satz enthalten (genannt konvexer Rumpf von A), nämlich der Schnittpunkt aller konvexen Sätze, die enthalten A. Der konvexe Hull-Operator Conv () hat die charakteristischen Eigenschaften von a Rumpfbetreiber:
- umfangreich: S⊆ conv (S),
- nicht dekretierend: S⊆T impliziert, dass Conv (S) ⊆ conv (T), und
- idempotent: Conv (conv (S)) = Conv (S).
Der konvexe Hull-Betrieb wird für den Satz konvexer Sets zur Form a benötigt Gitter, in dem die "beitreten" Betrieb ist der konvexe Rumpf der Vereinigung zweier konvexer Sets
Minkowski -Addition
In einem echten Vektorraum die Minkowski -Summe von zwei (nicht leeren) Sätzen,, S1 und S2, ist definiert als die einstellen S1+S2 gebildet durch Zugabe von Vektoren Element in Bezug auf die Summensätze
Für die Hinzufügung von Minkowski die Zero Set {0} nur das enthält Null -Vektor 0 hat besondere Bedeutung: Für jede nicht leere Untergruppe eines Vektorraums
Konvexe Molkenki -Summen
Die Hinzufügung von Minkowski verhält sich in Bezug auf den Betrieb der Einnahme konvexer Rümpfe gut, wie der folgende Satz zeigt:
Lassen S1, S2 Untergruppen eines echten Vektorraums sein, die konvexer Rumpf ihrer minkowski -Summe ist die Minkowski -Summe ihrer konvexen Rümpfe
Dieses Ergebnis gilt allgemeiner für jede endliche Sammlung nicht leerer Sets:
In der mathematischen Terminologie die Operationen von Minkowski -Summierung und Formierung konvexe Rümpfe sind Pendeln Operationen.[15][16]
Minkowski -Summen konvexer Sets
Die Minkowski -Summe von zwei kompakten konvexen Sets ist kompakt. Die Summe eines kompakten konvexen Satzes und eines geschlossenen konvexen Satzes ist geschlossen.[17]
Der folgende berühmte Theorem, der 1966 von Dieudonné beweist, ergibt einen ausreichenden Zustand für die Differenz von zwei geschlossenen konvexen Teilmengen.[18] Es verwendet das Konzept von a Rezessionskegel einer nicht leeren konvexen Teilmenge S, definiert als:
Satz (Dieudonné). Lassen A und B nicht leere, geschlossene und konvexe Teilmengen von a lokal konvexer topologischer Vektorraum so dass ist ein linearer Unterraum. Wenn A oder B ist lokal kompakt dann A-B ist geschlossen.
Verallgemeinerungen und Erweiterungen für Konvexität
Der Begriff der Konvexität im euklidischen Raum kann verallgemeinert werden, indem die Definition in einigen oder anderen Aspekten geändert wird. Der gebräuchliche Name "Generalisierte Konvexität" wird verwendet, da die resultierenden Objekte bestimmte Eigenschaften von konvexen Mengen behalten.
Sternkonvexe (sternförmige) Sets
Lassen C Seien Sie ein Set in einem realen oder komplexen Vektorraum. C ist Stern konvex (sternförmig) Wenn es eine gibt x0 in C so dass das Liniensegment von x0 zu jedem Punkt y in C ist in C. Daher ist ein nicht leeres konvexes Set immer sternkonvex, aber ein sternkonvexes Set ist nicht immer konvex.
Orthogonale Konvexität
Ein Beispiel für generalisierte Konvexität ist orthogonale Konvexität.[19]
Ein Satz S Im euklidischen Raum wird genannt orthogonal konvex oder ortho-konvex, wenn ein Segment parallel zu einer der Koordinatenachsen, die zwei Punkte von verbinden S Liegt total drinnen S. Es ist leicht zu beweisen, dass eine Schnittstelle einer Sammlung von Orthoconvex -Sets Orthoconvex ist. Einige andere Eigenschaften konvexer Sets sind ebenfalls gültig.
Nichteuklidische Geometrie
Die Definition eines konvexen Satzes und eines konvexen Rumpfes erstreckt sich auf natürliche Weise auf Geometrien, die nicht euklidisch sind, indem er a definiert wird geodeilich konvexer Satz Einer sein, der die enthält Geodäsik zwei beliebige Punkte im Set beitreten.
Topologie bestellen
Konvexität kann für a erweitert werden Total bestelltes Set X ausgestattet mit dem Topologie bestellen.[20]
Lassen Y ⊆ X. Der Unterraum Y ist ein konvexer Satz, wenn für jedes Punktpaar a, b in Y so dass a ≤ b, das Intervall [a, b] = {x ∈ X | a ≤ x ≤ b} ist in Y. Das ist, Y ist konvex, wenn und nur wenn für alle a, b in Y, a ≤ b impliziert [a, b] ⊆ Y.
Ein konvexes Set ist nicht Allgemein angeschlossen: Ein Gegenbeispiel wird durch den Unterraum {1,2,3} in angegeben Z, was sowohl konvex als auch nicht verbunden ist.
Konvexitätsräume
Der Begriff der Konvexität kann auf andere Objekte verallgemeinert werden, wenn bestimmte Eigenschaften der Konvexität als ausgewählt werden Axiome.
Ein Satz gegeben X, a Konvexität Über X ist eine Sammlung von Teilmengen von X Erfüllen Sie die folgenden Axiome:[9][10][21]
- Das leere Set und X sind in
- Die Schnittstelle einer Sammlung aus ist in .
- Die Vereinigung von a Kette (in Bezug auf die Einschlussrelation) von Elementen von ist in .
Die Elemente von werden konvexe Sets und das Paar bezeichnet (X, ) wird als a genannt Konvexitätsraum. Für die gewöhnliche Konvexität halten die ersten beiden Axiome und der dritte trivial.
Für eine alternative Definition der abstrakten Konvexität, die eher geeignet ist Diskrete Geometrie, siehe das konvexe Geometrien verknüpft mit Antimatroide.
Siehe auch
- Absorbierender Satz
- Begrenzter Satz (topologischer Vektorraum)
- Brouwer Festpunkt Theorem
- Komplexe Konvexität
- Konvexer Rumpf
- Konvexe Serie
- Konvexer metrischer Raum
- Carathéodory's Theorem (konvexer Rumpf)
- Choquet -Theorie
- Hellys Theorem
- Holomorphisch konvexer Rumpf
- Integral konvexer Satz
- John Ellipsoid
- Pseudokonvexität
- Radons Satz
- Shapley–Folkman lemma
- Symmetrisches Set
Verweise
- ^ Morris, Carla C.; Stark, Robert M. (24. August 2015). Finite Mathematik: Modelle und Anwendungen. John Wiley & Sons. p. 121. ISBN 9781119015383. Abgerufen 5. April 2017.
- ^ Kjeldsen, Tinne Hoff. "Geschichte der Konvexität und mathematischer Programmierung" (PDF). Verfahren des Internationalen Kongresses der Mathematiker (ICM 2010): 3233–3257. doi:10.1142/9789814324359_0187. Archiviert von das Original (PDF) Am 2017-08-11. Abgerufen 5. April 2017.
- ^ Halmos, Paul R. (8. November 1982). Ein Hilbert -Weltraumproblembuch. Graduiertentexte in Mathematik. Vol. 19 (2. Aufl.). New York: Springer-Verlag. p. 5. ISBN 978-0-387-90685-0. OCLC 8169781.
- ^ McConnell, Jeffrey J. (2006). Computergrafik: Theorie in der Praxis. p.130. ISBN 0-7637-2250-2..
- ^ Weisstein, Eric W. "Konkav". Mathord.
- ^ Takayama, Akira (1994). Analytische Methoden in der Wirtschaftswissenschaften. Universität von Michigan Press. p. 54. ISBN 9780472081356.
Eine oft gesehene Verwirrung ist ein "konkaves Set". Konkave und konvexe Funktionen bezeichnen bestimmte Funktionen der Funktionen, nicht von Sätzen, während ein konvexes Set eine bestimmte Klasse von Sätzen und keine Klasse von Funktionen bezeichnet. Ein "konkaves Set" verwirrt Sätze mit Funktionen.
- ^ Corbae, Dekan; Stinchcombe, Maxwell B.; Zeman, Juraj (2009). Eine Einführung in die mathematische Analyse für Wirtschaftstheorie und Ökonometrie. Princeton University Press. p. 347. ISBN 9781400833085.
Es gibt kein konkaves Set.
- ^ Meyer, Robert (1970). "Die Gültigkeit einer Familie von Optimierungsmethoden" (PDF). Siam Journal über Kontrolle und Optimierung. 8: 41–54. doi:10.1137/0308003. HERR 0312915..
- ^ a b Soltan, Valeriu, Einführung in die axiomatische Theorie der Konvexität, Ştiinţa, Chişinău, 1984 (auf Russisch).
- ^ a b Singer, Ivan (1997). Abstrakte konvexe Analyse. Canadian Mathematical Society Series von Monographien und fortgeschrittenen Texten. New York: John Wiley & Sons, Inc. S. xxii+491. ISBN 0-471-16015-6. HERR 1461544.
- ^ Lassak, M. (1993). "Näherung konvexer Körper durch Rechtecke". Geometriae Dedicata. 47: 111–117. doi:10.1007/bf01263495. S2CID 119508642.
- ^ a b Santaló, L. (1961). "Sobre Los Sistemas Completos de Desigualdades entre tres elementos de una figura konvexa planas". Mathematicae NOTAE. 17: 82–104.
- ^ a b c Brandenberg, René; González Merino, Bernardo (2017). "Ein vollständiges 3-dimensionales Blaschke-Santaló-Diagramm". Mathematische Ungleichheiten und Anwendungen (2): 301–348. doi:10.7153/mia-20-22. ISSN 1331-4343.
- ^ Das leeres Set ist wichtig für die Hinzufügung von Minkowski, da der leere Satz jede andere Teilmenge vernichtet: für jede Teilmenge S Von einem Vektorraum ist seine Summe mit dem leeren Satz leer: .
- ^ Satz 3 (Seiten 562–563): Kerin, M.; Šmulian, V. (1940). "Auf regelmäßig konvexen Sets im Raumkonjugat zu einem Banach -Raum". Annalen der Mathematik. Zweite Serie. 41: 556–583. doi:10.2307/1968735. JStor 1968735.
- ^ Für die Nivilität von Minkowski -Addition und Konvexifikationsiehe Satz 1.1.2 (Seiten 2–3) in Schneider; Diese Referenz erörtert einen Großteil der Literatur über die konvexe Rümpfe von Minkowski Summen In seiner "Kapitel 3 Minkowski Addition" (Seiten 126–196): Schneider, Rolf (1993). Konvexe Körper: Die Brunn -Minkowski -Theorie. Enzyklopädie der Mathematik und ihrer Anwendungen. Vol. 44. Cambridge: Cambridge University Press. S. xiv+490. ISBN 0-521-35220-7. HERR 1216521.
- ^ Lemma 5.3: Aliprantis, C.D.; Grenze, K.C. (2006). Unendliche dimensionale Analyse, ein Anhängerhandbuch. Berlin: Springer. ISBN 978-3-540-29587-7.
- ^ Zălinescu, C. (2002). Konvexe Analyse in allgemeinen Vektorräumen. River Edge, NJ: World Scientific Publishing Co., Inc. p.7. ISBN 981-238-067-1. HERR 1921556.
- ^ Rawlins G.J.E. und Wood D, "Ortho-Convexity und seine Verallgemeinerungen", in: Rechenmorphologie, 137-152. Elsevier, 1988.
- ^ Munkres, James; Topologie, Prentice Hall; 2. Auflage (28. Dezember 1999). ISBN0-13-181629-2.
- ^ Van de Vel, Marcel L. J. (1993). Theorie der konvexen Strukturen. Mathematische Bibliothek in Nordholland. Amsterdam: North-Holland Publishing Co. S. XVI+540. ISBN 0-444-81505-8. HERR 1234493.
Externe Links
- "Konvexe Untergruppe". Enzyklopädie der Mathematik. EMS Press. 2001 [1994].
- Vorträge auf konvexen Sets, Notizen von Niels Lauritzen, bei Aarhus University, März 2010.