Intérieur relatif de convexe et applications
Bonjour
Je joins l'énoncé de l'exercice suivant, extrait de "exercices pour l'agrégation tome 3 (algèbre)" : tout est clair hormis l'inclusion de $g^{-1} (ri(gK))) \subset K$ marquée d'une flèche (pour moi elle est fausse mais compte tenu du prestige des auteurs je ne suis pas catégorique)
Au plaisir de lire vos contributions et éclaircissement sur cette question, merci d'avance.
Je joins l'énoncé de l'exercice suivant, extrait de "exercices pour l'agrégation tome 3 (algèbre)" : tout est clair hormis l'inclusion de $g^{-1} (ri(gK))) \subset K$ marquée d'une flèche (pour moi elle est fausse mais compte tenu du prestige des auteurs je ne suis pas catégorique)
Au plaisir de lire vos contributions et éclaircissement sur cette question, merci d'avance.
Réponses
-
Quitte à remplacer $E$ par l'espace engendré par $K$ on peut supposer $K$ d'intérieur non vide; quitte à remplacer $F$ par le sous-espace affine engendré par $im(f)$ on peut supposer $f$ surjective. Enfin quitte à composer $f$ avec des translations on peut supposer $f$ linéaire.
Il se trouve que toute application linéaire surjective entre espaces vectoriels réels de dimension finie est ouverte (en jouant du théorème du rang et de l'équivalence des normes, on se place sur des bases $(b_1,...,b_p)$ de $E$ et $(c_1,...,c_q)$ de $F$ telles que $f(b_i)=c_i$ quand $i\leq q$ et $f(b_j)=0$ pour $q+1 \leq j \leq p$, et en mettant sur les epaces les normes infinies correspondantes, on a immédiatement le résultat).Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$. -
Ah je n'avais pas vu ta question : il y a un problème avec $E:=\R^2$, $F:=\R$, $g:= (x,y)\mapsto x$ et $K:=\,]0,1[^2$, on a $g(Ir(K))=\,]0,1[$ et $g^{-1}(g (Ir(K)))=\, ]0,1[ \times \R$.Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
-
En effet l'inclusion évoquée est fausse mais l'égalité annoncée dans l'exercice est néanmoins valide: $p(ir(K)) = ir(p(K))$
Une inclusion est établie, comment obtenir l'autre ?
Je suis preneur de toute source bibliographique ou démonstration correcte
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
Qui est en ligne 2
2 Invités