Hypograph
In der Mathematik bezeichnet der Hypograph einer reellwertigen Funktion <math>f</math> die Menge aller Punkte, die auf oder unter ihrem Graphen liegen.
Definition
Sei <math>X \subset \R^n</math>. Der Hypograph der Funktion <math>f \colon X \to \R</math> ist definiert durch<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
- <math>\operatorname{hypo}\, f := \left\{ (x, \mu) \in X \times \mathbb{R} \, : \, \mu\le f(x) \right\} \subseteq X \times \mathbb{R}\,.</math>
Ist der Bildraum der Funktion der <math> \R^n </math> versehen mit einer verallgemeinerten Ungleichung <math> \preccurlyeq_K </math>, so ist der Hypograph definiert als
- <math>\operatorname{hypo}\, f := \left\{ (x, \mu) \in X \times \mathbb{R}^n \, : \, \mu \preccurlyeq_K f(x) \right\} \subseteq X \times \mathbb{R}^n</math>.
Eigenschaften
Sei <math>X \subset \R^n</math>. Für Funktionen <math>f \colon X \rightarrow \mathbb{R}</math> gilt:
- <math>f</math> ist genau dann konkav, wenn der Hypograph von <math>f</math> eine konvexe Menge bildet.
- <math>f</math> ist genau dann oberhalbstetig, wenn der Hypograph von <math>f</math> eine abgeschlossene Menge bildet.
- Ist <math>f</math> eine affin-lineare Funktion, dann definiert ihr Hypograph einen Halbraum in <math>X</math>.
Siehe auch
Weblinks
|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:
| {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
|1/= und Videos
|1/1=, Videos und Audiodateien
|/1= und Audiodateien}}
| , Videos und Audiodateien
}}
|#default= – }}{{#if: Epigraph and hypograph (mathematics)
| {{#ifeq: {{#invoke:Str|left|epigraph and hypograph (mathematics)|9}}
| category:
| FEHLER: Ohne Category: angeben!}}}}Vorlage:Wikidata-Registrierung
Einzelnachweise
<references />