Négation d'une expression — Les-mathematiques.net The most powerful custom community solution in the world

Négation d'une expression

Salut
J'ai trouvé cette expression.
$T:E\rightarrow F$ linéaire continue ; $E,F$ deux espaces de Banach.
Il n'existe pas de suite $(x_n)_{n\in \mathbb{N}}$ dans $E$ telle que $\|x_n\|=1,\ \forall n\in \mathbb{N}\ $ et $\ \lim\|T(x_n)\|=0\implies \exists c>0,$ telle que $\forall x \in E,\ \|T(x)\|\geq C\|x\|$.

Je veux appliquer $(P \implies Q )\implies\neg Q\implies\neg P)$.
Est-ce que l'expression suivante est correcte ?
$\forall c>0$, telle que $\exists x \in E,\ \|T(x)\|\leq C\|x\| \implies$ Il existe une suite $(x_n)_{n\in \mathbb{N}}$ dans $E$ telle que $\|x_n\|=1,\ \forall n\in \mathbb{N}\ $ et $\ \lim\|T(x_n)\|=0$.

Réponses

  • Déjà il semble étrange d'avoir un $c$ et un $C$. D'autre part le "telle que" dans la dernière assertion est en trop. Aussi, il faut mettre une inégalité stricte dans la dernière ligne, sinon on peut toujours prendre $x$ le vecteur nul est la condition devient vide.
Connectez-vous ou Inscrivez-vous pour répondre.
Success message!