Salut, je suis le cours de grégoire allaire : "analyse numérique et optimisation" mais je bloque sur une démo. Je ne comprend absolument pas d'ou il sort le beta*lambda.

jpense que c'est psk Epi(J) est une partie de R x V, et les formes linéaires de R x V (dont celle sortie par le thm de séparation) c'est des trucs de la forme g : (lambda, v) -> beta*lambda + L(v), où beta est un certain réel et L une certaine forme linéaire de V.

donc là t'as bien existence de g forme linéaire sur R x V tel que g(x) > alpha > g(x_0) où x=(lambda,v) et x_0 = (lambda_0,v_0)

voilà c'est juste que le thm de séparation tu l'appliques sur R x V et pas sur V ; et les formes linéaire de R x V c'est ("en gros") celles de V auquel tu rajoutes une partie linéaire en la variable réelle

Le 06 novembre 2023 à 23:28:33 :
voilà c'est juste que le thm de séparation tu l'appliques sur R x V et pas sur V ; et les formes linéaire de R x V c'est ("en gros") celles de V auquel tu rajoutes une partie linéaire en la variable réelle

Merci khey