Idéal ouvert

[invite03ef28af]

Bonjour,
je n'arrive pas a trouver d'ideal ouvert de
une idée ?
Merci
-----

[AncMath]

Ouvert pour quelle topologie ?

[invite03ef28af]

on se place dans

[AncMath]

Et tu cherches un ideal ouvert, non trivial, j'imagine ?

[A voir en vidéo sur Futura]

[invite03ef28af]

oui evidemment l'ensemble vide ne m'interesse pas ni l'ensemble tout entier

[AncMath]

L'ensemble vide n'est pas un idéal. Mais effectivement l'espace tout entier convient.

Un tel idéal est nécéssairement un sous -espace vectoriel de ton espace. Est ce que tu peux dejà trouver des sous espaces vectoriels ouverts non triviaux de ton espace ?

[invite03ef28af]

on fixe x dans [0,1] alors
est un sev de mon ensemble il me semble

[AncMath]

Un sev oui, mais est-il-ouvert ?

[invite03ef28af]

non il est fermé, c'est assez évident par caracterisation sequentielle.
Mais tout mon problème est la, trouver un ensemble ouvert,
J'avais penser a chercher un ouvert a l'aide de l'image reciproque d'une application mais je n'ai pas trouvé non plus

[AncMath]

Prenons les choses autrement, connais tu un espace vectoriel normé V et un sous espace non trivial W de V qui soit ouvert ?

[invite03ef28af]

j'ai beau chercher je ne vois pas non

[AncMath]

Y a ptetr une raison, non ?

[invite03ef28af]

je crois meme que si F est un sev de E ouvert alors F=E

[AncMath]

Tout à fait, oui.

[invite03ef28af]

si je vous suis il n'existe pas d'ideal non trivial de mon espace ?

[AncMath]

Il n'existe pas d'ideal ouvert non trivial de ton espace, non.

[invite03ef28af]

je ne suis pas sur de comprendre pourquoi un ideal ouvert de mon espace est forcement un sev par contre

[AncMath]

Essaie d'écrire une démonstration, c'est tres simple. Indice : un réel s'identifie à une la fonction constante sur [0,1] ayant pour valeur ce réel.

[invite03ef28af]

ah oui c'est en effet simple
puisque si I est un ideal c'est un sous groupe additif de mon espace.
donc 0 est dans I
Son note A, B des fonctions constantes de [0,1] egalent à a et b respectivement
et f,g des fonctions de I
alors Af+Bg est dans I
donc la fonction af+bg est dans I

[invite03ef28af]

merci pour votre aide

[AncMath]

Avec plaisir.