Função quase convexa
Em matemática , uma função quase convexa é uma função de valor real , definida em um conjunto convexo de um espaço vetorial real, de modo que a imagem recíproca de qualquer conjunto da forma seja convexa ou mesmo tal que, em qualquer segmento , a maior valor da função é alcançado em uma extremidade. Diz-se que o oposto de uma função quase convexa é quase côncava .
]-∞,no]{\ displaystyle \ left] - \ infty, a \ right]}![{\ displaystyle \ left] - \ infty, a \ right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b7bad9637fcfe3b4ba72d9fa4cc7c2a25783342)
Qualquer função convexa é quase convexa, mas o inverso é falso: por exemplo, qualquer função monotônica em um intervalo real é quase linear , ou seja, quase convexa e quase côncava.
Definição e propriedades
Uma função definida em uma parte convexa C de um espaço vetorial real E é dita:
f:VS→R{\ displaystyle f: C \ to \ mathbb {R}}![{\ displaystyle f: C \ to \ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e00eb4229ef7a643eb7ffc09fecd307eaddba6b6)
- quase convexo se for qualquer real , o conjunto de subníveis é convexo ou, o que é equivalente, seno{\ displaystyle a}
{x∈VS∣f(x)≤no}{\ displaystyle \ {x \ in C \ mid f (x) \ leq a \}}
∀x,y∈VS∀z∈[x,y]f(z)≤max(f(x),f(y)){\ displaystyle \ forall x, y \ in C \ quad \ forall z \ in \ left [x, y \ right] \ quad f (z) \ leq \ max \ left (f (x), f (y) \ direito)}
;
-
estritamente quase convexo, se ainda tivermos:
∀x,y∈VS∀z∈]x,y[f(z)<max(f(x),f(y)){\ displaystyle \ forall x, y \ in C \ quad \ forall z \ in \ left] x, y \ right [\ quad f (z) <\ max \ left (f (x), f (y) \ right )}
;
- quase côncavo se seu oposto for quase convexo, ou seja, se
∀x,y∈VS∀z∈[x,y]f(z)≥min(f(x),f(y)){\ displaystyle \ forall x, y \ in C \ quad \ forall z \ in \ left [x, y \ right] \ quad f (z) \ geq \ min \ left (f (x), f (y) \ direito)}
;
-
estritamente quase côncavo se seu oposto for estritamente quase convexo, ou seja, se
∀x,y∈VS∀z∈]x,y[f(z)>min(f(x),f(y)){\ displaystyle \ forall x, y \ in C \ quad \ forall z \ in \ left] x, y \ right [\ quad f (z)> \ min \ left (f (x), f (y) \ right )}
.
Qualquer forma linear é quase linear, ou seja, quase convexa e quase côncava.
Uma função (estritamente) quase-convexa é (estritamente) convexa na parte inferior do contorno ( adesão, interior e borda de um convexo ), enquanto uma função (estritamente) quase-côncava é (estritamente) convexa na parte superior de o contorno.
Uma função definida em um intervalo é quase convexa se e somente se for monotônica ou "decrescente e depois crescente", ou seja, se existir em dois intervalos complementares (um dos dois podendo ser vazio), de modo que ou diminuindo em e aumentando . Da mesma forma, é quase côncavo se e somente se for monotônico ou “aumentando depois diminuindo”. Portanto, é quase linear se e somente se for monotônico.
f{\ displaystyle f}
eu⊂R{\ displaystyle I \ subset \ mathbb {R}}
eu{\ displaystyle I}
eu1<eu2{\ displaystyle I_ {1} <I_ {2}}
f{\ displaystyle f}
eu1{\ displaystyle I_ {1}}
eu2{\ displaystyle I_ {2}}
f{\ displaystyle f}![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
Se uma função com um máximo global em um ponto m do convexo é quase côncava, então é unimodal (in) , ou seja, aumenta ao longo de qualquer segmento orientado terminando em m . O inverso é verdadeiro se (de acordo com a caracterização anterior da quase concavidade, neste caso), mas facilmente se constrói em uma função unimodal e não quase côncava.
VS⊂E{\ displaystyle C \ subset E}
E=R{\ displaystyle E = \ mathbb {R}}
R2{\ displaystyle \ mathbb {R} ^ {2}}![\ mathbb {R} ^ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
Interesse do conceito
Na otimização , problemas com funções objetivas quase convexas podem ser resolvidos com os mesmos métodos das funções objetivas convexas. Em particular, no caso de problemas irrestritos ou com um conjunto convexo admissível, qualquer mínimo local é um mínimo global , exceto se a função for constante na vizinhança deste ponto. Os algoritmos de descida podem ser "presos" por essa "bandeja horizontal".
Notas e referências
(
fr ) Este artigo foi retirado parcial ou totalmente do artigo da Wikipedia em
inglês intitulado
“ Função quasiconvexa ” ( veja a lista de autores ) .
-
Exercício corrigido do capítulo "Convexidade" da lição sobre as funções de uma variável real na Wikiversidade .
-
, º. 4.9.11.
-
(em) " Como provar quase-convexo se e somente se unimodal? » , Em math.stackexchange.com ,setembro de 2015.
-
(em) Harvey J. Greenberg e WP Pierskalla, " A review of quase convex functions " , Operations Research , Vol. 19, n o 7,1971, p. 1553-1570 ( ler online ) : Tabela II p. 1560 , 11.b.
Veja também
Bibliografia
- (pt) Mordecai Avriel, Walter E. Diewert (pt) , Siegfried Schaible e Israel Zang, Concavidade generalizada , SIAM , col. "Clássicos in Applied Mathematics" ( N O 63),2010( 1 st ed. 1988) ( linha de leitura ) , cap. 3
- ( fr ) Stephen Boyd e Lieven Vandenberghe , cap. 3.4 "Quasiconvex functions" , em Convex Optimization , Cambridge Press University,2004, 730 p. ( ISBN 978-0-521-83378-3 , leitura online ) , p. 95-103
- (pt) Jean-Pierre Crouzeix, “Quasi-concavity” , em SN Durlauf e LE Blume, The New Palgrave Dictionary of Economics , Palgrave Macmillan ,2008, 2 nd ed. ( DOI 10.1057 / 9780230226203.1375 , leia online )
-
(pt) Ivan Singer, Abstract Convex Analysis , Canadian Mathematical Society of Monographs and Advanced Texts, John Wiley & Sons, New York, 1997. xxii + 491 pp. ( ISBN 0-471-16015-6 )
- (en) Maurice Sion, " On general minimax teoreems " , Pacific J. Math. , vol. 8,1958, p. 171-176 ( ler online )
links externos
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">