100 résultats trouvés

par Mourien
06 mars 2021 19:39
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Traitons d'abord le cas utile de (u,v) \mathbb Q libre dans \mathbb R . Puisque \mathbb Z u +\mathbb Zv est un sous-groupe additif de \mathbb R il est dense ou bien de la forme \alpha \mathbb Z . Or dans le second cas, on a : u=n\alpha, v=m\alpha pour n,m\in \mathbb Z^* ( u\neq 0,v\neq 0 par liberté...
par Mourien
06 mars 2021 07:44
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Jolie preuve ! Sinon on pouvait aussi construire un idempotent e^2=e\in T par l'exo classique en regardant la suite (x^{2^n}) pour x\in T , et vérifier qu'il est neutre. Si on répète l'opération avec y\in T , par unicité du neutre, e sera une puissance de y , ainsi tout élément est inversible.
par Mourien
05 mars 2021 23:10
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Je propose ma preuve : très constructive, mais avec des outils du programme ! :mrgreen: On se place dans un espace normé E muni d'une base dénombrable de vecteurs unitaires (e_n) (par exemple l'espace des polynômes complexes). Ma preuve repose sur des partitions de \mathbb N en parties dénombrables ...
par Mourien
05 mars 2021 08:05
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Bonjour BobbyJoe, Je n'ai pas pu comprendre ta preuve en détail, mais il me semble que tu utilises le même genre d'argument que autobox : tu montres que Vect (T^n(Y_0))_{n\in \mathbb N} est dense en montrant que son orthogonal est réduit à \{0\} ? Or on veut trouver un vecteur dont l'orbite sous l'a...
par Mourien
04 mars 2021 21:43
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Pour moi le plus clair c'est de l'écrire matriciellement : Vu \mathbb C algébriquement clos, f est trigonalisable. Si on regarde dans une base de trigonalisation (e_1,...,e_n) les itérés de f évalués en x=\lambda_1 e_1+ \dots+\lambda_n e_n , on a : f^m(x)=?e_1+\dots+?e_{n-1}+\mu^m\lambda_n e_n , où ...
par Mourien
04 mars 2021 21:16
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Versionpatch, la famille peut être libre et dense. Vu que l'espace est de dimension infinie, il y a de la place.
Pourrais-tu juste préciser pour le cas dimension finie mais je pense que c'est ça! 8)
par Mourien
04 mars 2021 21:10
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Je suis d'accord avec tout ce que tu as écrit ! Réciproquement, si F est d'orthogonal nul, son adhérence étant un fermé, on a E = \overline{F}\oplus\overline{F}^\perp = \overline{F}\oplus F^\perp = \overline{F}\oplus\{0\} = \overline{F} , d'où la densité. D'accord, très bien pour la réciproque ! cf:...
par Mourien
04 mars 2021 19:13
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Bonjour autobox, merci de ta réponse ! E doit être cherché normé (topologique hors programme de prépa), l'application linéaire n'est pas cherchée continue. Si j'ai bien compris ta preuve, il y a quelques choses qui me chiffonnent: Comme chacun sait, la densité de l'ensemble des T^n(x) sera établie s...
par Mourien
04 mars 2021 15:18
Forum : Mathématiques
Sujet : Exos sympas MP(*)
Réponses : 6890
Vues : 685424

Re: Exos sympas MP(*)

Ma contribution à ce fil que j'apprécie énormément. Deux exos très sympas : Exo 1 Soit (D,\cdot) un demi-groupe (magma associatif) fini. On pose T=\underset{a,b\in D}{\displaystyle\bigcap}aDb . Montrer que T est vide ou, muni de \cdot , est un groupe. T peut-il être vide? [edit: j'ai écrit S au lieu...
par Mourien
27 févr. 2021 13:23
Forum : Mathématiques
Sujet : Antisymétrique trigonalisable
Réponses : 7
Vues : 400

Re: Antisymétrique trigonalisable

Bonjour Inversion,
je vais regarder ce théorème de cartan !

Pour montrer "annulateur scindé" $ \Rightarrow $ "trigonalisable", j'avais en tête la trigonalisation fine à l'aide du lemme des noyaux, mais il y a aussi une preuve par récurrence sur la dimension !