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)
Message édité le 06 novembre 2023 à 23:29:01 par bonneaubaine