Densité et matrices
Bonjour,
Je viens de voir la définition suivante :
Soit $A$ une partie de $E$. Une partie $D$ de $A$ est dite dense dans $A$ si l'une des 3 propriétés suivantes est vérifiée :
(i) L'adhérence de $D$ contient $A$.
(ii) Pour tout $a \in A$, et pour tout $r>0$, il existe $x \in D$ tel que $||x-a|| \leq r$
(iii) Pour tout $a \in A$, il existe une suite d'éléments de $D$ qui converge vers $a$.
Dans un cours sur internet, il donnent comme définition $\bar{D}=A$ pourquoi ici on a seulement l'inclusion :-S
Par la suite, je ne comprends pas l'exemple suivant.
L'ensemble $\mathcal GL_n(\K)$ est dense dans $\mathcal M_n(\K)$. En effet, toute matrice $A \in \mathcal M_n(\K)$ est limite de la suite $(A_k)=(A-2^{-k} I_n)$ dont tous les termes à partir d'un certain rang sont inversibles puisque $A$ admet un nombre fini de valeurs propres.
Je viens de voir la définition suivante :
Soit $A$ une partie de $E$. Une partie $D$ de $A$ est dite dense dans $A$ si l'une des 3 propriétés suivantes est vérifiée :
(i) L'adhérence de $D$ contient $A$.
(ii) Pour tout $a \in A$, et pour tout $r>0$, il existe $x \in D$ tel que $||x-a|| \leq r$
(iii) Pour tout $a \in A$, il existe une suite d'éléments de $D$ qui converge vers $a$.
Dans un cours sur internet, il donnent comme définition $\bar{D}=A$ pourquoi ici on a seulement l'inclusion :-S
Par la suite, je ne comprends pas l'exemple suivant.
L'ensemble $\mathcal GL_n(\K)$ est dense dans $\mathcal M_n(\K)$. En effet, toute matrice $A \in \mathcal M_n(\K)$ est limite de la suite $(A_k)=(A-2^{-k} I_n)$ dont tous les termes à partir d'un certain rang sont inversibles puisque $A$ admet un nombre fini de valeurs propres.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Tu as un gros problème avec les maths. Tout est dit et tu ne comprends pas, que peut-on dire de plus?
Par ailleurs dire que l'adhérence de D contient A ce n'est pas faux mais c'est lourd.
Effectivement, je me suis trompé.
P.S Par moment, vu tes questions saugrenues, je me demande si tu ne le fais pas exprès.
Mais si ce n'est pas le cas, je pense que tu devrais prendre le courage de mettre en détail ce que tu ne comprends pas.
Au moins tu te fatigueras autant que ceux qui passent le temps à t'expliquer des évidences.
Pour la fin quel rapport entre le nombre de valeurs propres et l'inversibilite ?
A toi de voir laquelle et pourquoi en te demandant ce qu'est $\bar{D}$ par définition.
Il n'y qu'un nombre fini de valeur propre et la suite $(2^{-k})_k$ est infinie (ie d'image de cardinal infinie) donc pour $k$ assez grand, on est certain que $2^{-k}$ n'est plus jamais valeur propre.
Par exemple, l'ensemble des décimaux est dense dans l'ensemble des rationnels, mais l'adhérence des décimaux est $\R$.
La bonne définition est $D\subset A \subset \bar{D}$.
Je crois savoir qu'Oshine a fait deux années de prépa au terme desquelles il a intégré une école d'ingénieurs. Il faisait donc probablement partie des meilleurs en maths de sa classe de terminale.
L'année dernière, il a été reçu au CAPES. Cela signifie qu'un jury composé d'universitaires, de profs de prépa, d'inspecteurs l'a jugé apte à enseigner la spé maths et les maths expertes en terminale.
Effectivement je n'ai pas fait attention à ce que A n'est qu'une partie de E, donc la bonne définition c'est bien$A\subset \bar{D}$ et pardon pour mon erreur.
Maintenant théoriquement le Capes est octroyé à ceux qui sont capables d'enseigner correctement de la 6ème jusque spé-math et les maths expertes en terminale (c'est ce que je croyais il y a un certain temps).
Mais cela n'est que théorique; en effet certains sur ce forum m'ont expliqué que ce n'est plus le cas actuellement.
C'est à dire qu'on peut avoir le Capes et ne pas savoir résoudre une petite inéquation avec une valeur absolue, ne pas savoir placer le barycentre de 2 points (même avec des poids positifs) ne pas savoir construire la somme de 2 vecteurs et même ne pas avoir un petit niveau de L1.
Merci pour vos réponses, mais je ne vois pas comment démontrer que l'adhérence des décimaux vaut $\R$.
@Ramufasa
@Alexique
Je ne vois pas comment déterminer le déterminant de $A_k$ ni comment montrer qu'il est non nul :-S
Pour ce qui est de l'adhérence des décimaux : il faudrait qu'un jour, tu lises un truc sur la construction de $\R$ (typiquement, la construction par suites de Cauchy de rationnels). C'est bon pour la culture mathématique, et c'est très formateur pour manipuler $\R$ plus aisément après (ce qui est légèrement utile quand on travaille avec des espaces vectoriels réels, des matrices à coefficients réels, des polynômes à coefficients réels, des fonctions réelles, des suites réelles, des normes et des distances à valeurs réelles... je continue ? :-D). L'idée c'est que tout nombre réel possède un (unique) développement décimal, donc c'est une limite de nombres décimaux : par exemple $\pi$ est la limite de la suite de décimaux $3$ ; $3,1$ ; $3,14$ ; $3,141$ ; $3,1415$ etc. L'idée en soi est toute simple, mais elle ne se démontre qu'en construisant $\R$, d'où l'intérêt que tu te renseignes dessus. Beaucoup d'étudiants voient ça en L1, mais ce n'est pas enseigné de façon universelle. A mon sens, ça devrait...
Sinon, pour le truc du déterminant : tu es bien d'accord que ta matrice $A$, elle n'a qu'un nombre fini de valeurs propres ? Une valeur propre, pour rappel, c'est un zéro de $\det(A-\lambda I_n)$, donc, on sait qu'il n'y a qu'un nombre fini de nombres $\lambda$ tels que $\det(A-\lambda I_n)=0$. Alors si on construit la suite des $(A-2^{-k}I_n)_k$, c'est obligatoire qu'il n'y en a qu'un nombre fini telles que $\det(A-2^{-k} I_n)=0$, non ? Et les autres, ben, quand le déterminant est non nul...
Soit $x\in\R$ et $n\in \N$ : est-ce que le nombre $10^{-n}\lfloor 10^n x\rfloor$ t'inspire ?
@Ramon Mercader depuis que je lis le sous-forum "Pédagogie, enseignement, orientation" il me semble que l'un n'empêche pas l'autre B-)-.
Ok merci je ne l'avais pas vu sous cet angle.
Soit $A_k = A- \dfrac{1}{2^k} I_n$
$\lambda$ est valeur propre de $A_k$ si et seulement si $\chi_A(\lambda)=\det(A_k - \lambda I_n)=0$
$\lambda$ est valeur propre de $A_k$ si et seulement si il existe $X$ non nul dans $\mathcal M_{n1}(\R)$ tel que $A_k X= \lambda X$
@Raoul.S
Soit $x \in \R$.
Soit $u_n= 10^{-n} E(10^n x)$. Alors $u$ est une suite d'éléments de l'ensemble des décimaux car $E(10^n x) \in \N$
On a $10^n x -1 < E(10^n x) \leq 10^n x$ donc $x-10^{-n} < u_n \leq x$
Par passage à la limite, comme $10^{-n} \longrightarrow 0$ alors $u$ converge vers $x$.
On a montré que pour tout réel $x$, il existe une suite d'éléments des décimaux qui converge vers $x$. Donc l'adhérence de l'ensemble des nombres décimaux est égal à $\R$.
Tu confonds avec l'agreg. Au CAPES, les universitaires et profs de prépa sont en proportion epsilonesque dans le jury. Par contre, une bonne partie du jury est constituée d'IPR.
$2^{-k}$ est une valeur propre de $A$ si, et seulement si, $\det(A - 2^{-k}I_n)=0$. On sait qu'il n'y a qu'un nombre fini de valeurs propres de $A$ (en tout cas, tu ne contestes pas cette partie-là du raisonnement, je suppose que tu es donc d'accord).
$A - 2^{-k}I_n$, c'est $A_k$. Donc $2^{-k}$ est une valeur propre de $A$ si, et seulement si, $\det(A_k)=0$. Les valeurs propres des $A_k$, on s'en fiche, elles sont hors-sujet ici.
En recoupant les deux informations : combien y a-t-il de $A_k$ inversibles ?
S'il avait plus de $n$ racines, il serait nul.
Il y a un nombre infini de $A_k$ inversibles.
contrairement à toi, ils ne pensent pas aux valeurs propres (tu parles d'un corps $K$), mais au POLYNOME qu'est le déterminant.
Sa nullité sur un petit ouvert non vide, le redrait "fonction constante nulle".
Or $\forall A: [\det(A)\neq 0\iff A$ inversible$]$, comme tu "sais par cœur" :-D
Je t'invite à prouver l'affirmation italique. vraie à propos de N'IMPORTE QUEL POLYNÔME
Un énoncé lié est que si un polynôme à $n$ indéterminées sur un anneau intègre $R$ (infini) s'annule sur le produit $E_1 \times E_2 \times \cdot \cdot \cdot E_n$ où les $E_k$ sont des sous-ensembles infinis de $R$, alors le polynôme est nul. L'idée de la preuve est de procéder par récurrence en voyant $R[X_1,...,X_n]$ comme $R[X_1,...,X_{n-1}][X_n]$ et en utilisant l'argument "une infinité de racines $\Rightarrow$ polynôme nul" dans le cas de polynômes à une indéterminée.
Il n'est pas dit que c'était ce à quoi Christophe pensait après.
$A$: anneau --> $A[X]$: anneau ou algèbre de polynômes
$A[X]$: anneau --> $A[X,Y] := (A[X])[Y]$: anneau de "polynômes à plusieurs indéterminées".
@Palabra
Je n'y comprends rien.
Je signalais juste ça parce que l'énoncé que je proposais se démontrait sans utiliser d'autres propriétés que celles directement déductibles de la définition (ou de l'isomorphisme naturel) $R[X_1,...,X_n]=R[X_1,...,X_{n-1}][X_n]$, et donc ne nécessitait pas de connaissances poussées en algèbre commutative ou géométrie.
Mais ce n'était pas une injonction morale (!), comme quoi il faudrait pour ton bien que tu étudies ceci ou cela.