Ryan et les sciences
Ryan et les sciences
  • 38
  • 38 760

Відео

Pourquoi Mn(K) n’est violemment pas commutatif ?? (Sup)
Переглядів 81219 годин тому
Pourquoi Mn(K) n’est violemment pas commutatif ?? (Sup)
Une condition simple de trigonalisation ??
Переглядів 1,1 тис.21 день тому
Une condition simple de trigonalisation ??
Un petit truc simple sur les sev (sup)
Переглядів 67221 день тому
Un petit truc simple sur les sev (sup)
Les compactes de GLn (C) sont des sous groupes ??
Переглядів 81128 днів тому
Les compactes de GLn (C) sont des sous groupes ??
Des matrices qui commutent avec tout le monde ??
Переглядів 1,8 тис.28 днів тому
Des matrices qui commutent avec tout le monde ??
Une application du théorème spectrale mignonne
Переглядів 39228 днів тому
Une application du théorème spectrale mignonne
Une racine de la dérivation ???
Переглядів 3,6 тис.28 днів тому
Une racine de la dérivation ???
Interprétation du théorème spectrale (et démonstration)
Переглядів 54128 днів тому
Interprétation du théorème spectrale (et démonstration)
La plus connues des équations fonctionnelles (sup)
Переглядів 7 тис.28 днів тому
La plus connues des équations fonctionnelles (sup)
Un calcul de somme astucieux (sup)
Переглядів 935Місяць тому
Un calcul de somme astucieux (sup)
Un résultat sympa et simple (orale mines mp)
Переглядів 1 тис.Місяць тому
Un résultat sympa et simple (orale mines mp)
Un résultat surprenant (oral centrale mp)
Переглядів 1,7 тис.Місяць тому
Un résultat surprenant (oral centrale mp)
Sup - Calcul d’une suite ultra classique (suite arithmético-géométrique)
Переглядів 508Місяць тому
Sup - Calcul d’une suite ultra classique (suite arithmético-géométrique)
Un oral d’algèbre balèze (oral centrale)
Переглядів 923Місяць тому
Un oral d’algèbre balèze (oral centrale)
Un résultat beau mais un peu technique (oral mines ponts)
Переглядів 3,7 тис.Місяць тому
Un résultat beau mais un peu technique (oral mines ponts)
Oral mines-ponts d’analyse en léger
Переглядів 1 тис.Місяць тому
Oral mines-ponts d’analyse en léger
Un joli résultat astucieux (orale mine mp)
Переглядів 1,2 тис.Місяць тому
Un joli résultat astucieux (orale mine mp)
Calcul diff classique (oral mines ponts)
Переглядів 733Місяць тому
Calcul diff classique (oral mines ponts)
Oral ccp en détente
Переглядів 765Місяць тому
Oral ccp en détente
Un résultat puissant avec une méthode élémentaire (oral mines mp)
Переглядів 2,3 тис.Місяць тому
Un résultat puissant avec une méthode élémentaire (oral mines mp)
Mines ponts MP -Un grand classique d’algèbre
Переглядів 1,7 тис.Місяць тому
Mines ponts MP -Un grand classique d’algèbre
X - Une intégrale MONSTRUEUSE
Переглядів 2,1 тис.Місяць тому
X - Une intégrale MONSTRUEUSE
Oral mines pont d’algèbre en légende
Переглядів 795Місяць тому
Oral mines pont d’algèbre en légende
Petit oral mine en détente : forme linéaire invariante par similitude
Переглядів 730Місяць тому
Petit oral mine en détente : forme linéaire invariante par similitude
Oraux X-ENS - Théorème de Banach-Steinhaus (Topologie)
Переглядів 1064 місяці тому
Oraux X-ENS - Théorème de Banach-Steinhaus (Topologie)
Oraux X-ENS - Invariance du polynôme minimal par extension des scalaires
Переглядів 734 місяці тому
Oraux X-ENS - Invariance du polynôme minimal par extension des scalaires
Topologie-Théorème de Baire (Hors programme)
Переглядів 564 місяці тому
Topologie-Théorème de Baire (Hors programme)
X-Maths A 2017- Correction partie 2 ( question 10 à 12)
Переглядів 434 місяці тому
X-Maths A 2017- Correction partie 2 ( question 10 à 12)
X-Maths A 2017- Correction partie 1 (question 6 à 9)
Переглядів 734 місяці тому
X-Maths A 2017- Correction partie 1 (question 6 à 9)

КОМЕНТАРІ

  • @Bibibolobobolobibipiopi0
    @Bibibolobobolobibipiopi0 21 годину тому

    Avec un calcul de résidus ça se fait en deux deux

  • @gotek2323
    @gotek2323 2 дні тому

    Cool exo, tu écris sur quoi pour tes vidéos ?

  • @janisaiad9505
    @janisaiad9505 2 дні тому

    arrêtez de dire ''oraux X ens blabla'' ces choses là certes tombent et retombent toutes les annees aux oraux mais sont considérés comme etant des exos de cours !

    • @Ryanetlesmath
      @Ryanetlesmath 2 дні тому

      @@janisaiad9505 je sais pas quoi te répondre, cette exos est factuellement tombé à l’ENS rennes en 2017. Comment voudrais-tu qu’on appelle ces vidéos si ce n’est pas par le nom du concours où ils sont tombés ?

  • @Sabrito_
    @Sabrito_ 3 дні тому

    Bonsoir, super vidéo tout est très clair, mais à 9:51 je suis pas sûr de comprendre, pourquoi si |r[ < |x| on peut directement intervertir série et intégrale ?

  • @lapizuko
    @lapizuko 5 днів тому

    À 11:40, ce serait pas plutôt la surface d'un genre de cylindre unité alors ? 😆

  • @savonliquide7677
    @savonliquide7677 5 днів тому

    Voici une ENORME simplification de ta démo : Soit n>1, K corps quelconque, Pour toute matrice M dans Mn(K) on note M_ij son coef d'indices resp i et j, et [M] la matrice colonne de taille n^2, associée à M vue comme un élément de son espace vectoriel sous jacent. Toute forme linéaire F dans Mn(K)* est associée à une matrice ligne [F] de sorte que F(M)=[F].[M] (je ne fais RIEN D'AUTRE qu'identifier matrice et application linéaires!) (1) Il s'agit de montrer que pour tout F non nulle dans Mn(K)*, il existe X dans GLn(K) tel que [F].[X]=0 premier cas F est diagonale : On prend X permutation sans terme sur la diagonale par exemple permutation circulaire second cas il existe des indices i,j i different de j tel que F_ij=h non nul On note E(ij) la matrice qui vaut 0 sauf en i,j où elle vaut 1 On pose [F].[Id]=k , La matrice X= Id - (k/h)E(ij) est inversible puisque trigonale avec des 1 sur la diagonale, et vérifie [F].[X]=[F].[Id] - (k/h)[F].[E(ij)]=0 COMMENTAIRE IMPORTANT (et instructif à divers niveaux) : Quel est l'isomorphisme le plus pertinent? F donne (M donne [F].[M]) ou bien F donne (M donne tr(FM)) ? *En ce qui concerne la demo*, il n'y a pas photo, c'est le premier : l'iso est donné par (1), c'est à dire l'identification matrice / application linéaire Tandis que pour montrer que le second est un iso, ta démo utilise tr(AB)=tr(BA) (qui est un résultat élémentaire mais combinatoire) et même chose pour le thm du rang des application linéaire. Donc tu utilises utilise deux thm, bien sur tu as le droit mais deux c'est plus que zero et si on devait les démontrer ça ferait bcp bcp de lignes en plus! (la raison pour laquell j'insiste autant va apparaitre bientôt...) Note aussi que tu RéUTILSES le thm du rang ! ceci devrait mettre la puce à l'oreille qu'on a peut être tordu un truc pour le détordre et donc fait deux efforts inutiles... Pourquoi inutiles ?? Je vous laisse deviner et je mettrai la réponse en commentaire ...

  • @TheQuickly45
    @TheQuickly45 6 днів тому

    c'était mon exo d'oral maths mp mines pont à l'anciennnnnne !! ( sans la question 1)

  • @Acssiohm
    @Acssiohm 6 днів тому

    Sinon pour simplifier le choix de X tilde , on peut en fait la prendre diagonale par blocs : X1 = pareil : inversible de trace nulle X2 et X3 = 0 X4 = identité Donc son déterminant est det(X1).det(X4) != 0 Et quand on multiplie par Jr il reste que X1 qui est de trace nulle Mais c'est totalement équivalent et j'ai pas été capable de faire l'exo seul donc bon... j'ai peut-être pas le droit de chipoter sur de pareils détails. J'ai juste réussi dans le cas K = R avec une méthode totalement différente mais bcp plus simple que je trouve aussi intéressante : On suppose par l'absurde H ∩ GLn(ℝ) = ∅ H est un hyperplan ne contenant pas l'identité , donc H + Vect(In) = Mn(R) Ainsi pour toute matrice M on a M = A + x.In , avec A non inversible ( car dans H ) et x réel donc on a x tel que M - x.In = A non inversible i.e. det( M - x.In ) = 0 i.e. x est valeur propre réelle de M Ainsi il suffit de prendre une matrice ne possédant aucune valeur propre réelle pour avoir notre contradiction Bon maintenant que je l'écrit je me rends compte que ça marche seulement dans le cas n pair car si n est impair on a au moins une valeur propre réelle.

    • @savonliquide7677
      @savonliquide7677 6 днів тому

      Joli. On doit pouvoir adapater au cas impair n impair, en autorisant les valeurs propres réèlles ssi elles sont nulles, et en bidouillant un peu... Au fait pour le confort de lecture tu devrais annoncer que tu raisonnes par l'absurde, cad dire que tu suppose H disjoint de GLnR, et d'ailleurs au lieu de dire "contre exemple" tu dirais "contradiction", d'autant qu un example/contrexemple d'un truc qui est déjà absurde ça devient un casse tete absurde pour le coup^^

    • @savonliquide7677
      @savonliquide7677 6 днів тому

      Pour le cas n impair : Notons que si (H) est un hyperplan et Q une matrice inversible , alors Q.(H) := {Q.K, K dans (H)} est aussi un hyperplan, même chose à droite. Et donc même chose pour P.(H).Q pour tout P, Q inversibles. Supposons n impair et Supposons que (H) ne contienne pas de matrices inversibles. Deux cas : soit (H) contient des matrices non nulles de rang pair, et dans ce cas il existe P et Q tel que P(H)Q:=H' contient une matrice M, sans valeur propre réelle non nulle, mais puisque H' hyperplan et Id pas dedans on a det(M-x.Id) =0 pour un certain réel x , et c'est absurde. [je me suis emmélé les pinceaux, comme m'a fait remarqué l'auteur du commentaire, la correction après sa réponse, je laisse pour qu on comprenne la pertinence de sa remarque] [J AI DONC EFFACé LE DEUXIEME CAS, MAIS JE LAISSE L'IDEE SUIVANTE QUI PERMET D'AILLEURS DE RéSOUDRE SANS DISJONCTION DE CAS LE PB QD K=R OU C JE MODIFIE DONC UN PEU PAR RAPPORT AU MESSAGE INITIAL] On suppose sans perte de généralité que J_r est contenu dans H pour un certain r maximal pour cette propriété Soit une matrice quelconque Q dans (H), avec des entrées non nulles sur la diagonale du bloc carré en bas à droite de taille n-r, il y en a car autrement (H) ne serait pas un hyperplan. L'ensemble U= {J_r + t.Q, t dans R} est inclus dans (H) . Pour t assez petit le r-mineur contenant J_r et le coef diagonal non nul est de det non nul. Pour le voir on fait le calcul dudit déterminant par la fameuse formule : somme{coef de la dernière ligne}det (sous matrice carré max ne contenant pas le coef), le terme de cette somme relatif au coef diagonal est un o(t) alors que les autres sont des o(t^2). Cet argument d'ailleurs fonctionne assez rapidement même pour le cas pair et pour K=C et donne une preuve courte et naturelle, (du coup la disjonction suivant la parité de n est inutile et on peut drastiquement simplifier) La seule faiblesse du truc est que ça ne marche qu'en caractéritique nulle(*). La force est que ça permet de remplacer H par sev de taille (n-1)^2+1 si je ne dis pas de bétise ^^ (*) on doit pouvoir l'adapter au cas K infini mais peut-être pas K qulconque (alors que la preuve de l'auteur de la video et celle que j'ai donnée au début dans un com (et qui bcp plus simple), marchent pour tout K)

    • @Acssiohm
      @Acssiohm 6 днів тому

      @@savonliquide7677 Dans le 1er cas tu conclus trop vite : ça n'est pas absurde de trouver une valeur propre réelle, il faut justifier que x est non nul

    • @Acssiohm
      @Acssiohm 6 днів тому

      @@savonliquide7677 D'ailleurs il ne faut forcément choisir M dans H' , puisque dans ce cas x = 0 et c'est pas très utile

    • @savonliquide7677
      @savonliquide7677 6 днів тому

      @@Acssiohm tu as raison c'est le contraire, si une matrice M de rang pair n'est pas dans H alors on peut trouver une matrice sans vp reelle non nulle PMQ qui n'est pas dans un (H')=P(H)Q et ça c'est absurde. Donc toutes les matrices de rang pair sont dans H.... Et pour montrer que c'est absurde on peut utuiliser l'argument du deuxieme cas mais vu que cet argument permet de conclure sans tout ça c'est un peu dommage et ce qui me gnéait bcp, (et du coup je n'ai pas trop relu ma premiere partie^^) Par contre je pense qu on doit pouvoir montrer l'absurdité autrement : si toutes les matrices de rg pairs sont dans H, alors (L) l'intersection de tous les P(H)Q quand P et Q parcourent GLn contient encore toutes les matrices de rang pair. D'ailleurs puisque P(L)Q=(L) pour tout P et Q , l'appartenance à (L) ne dépend que du rang. L'ensemble des morphismes qui envoient (L) dans lui même étant un espace vectoriel on en déduit que la multiplication à gauche ou à droite par une matrice quelconque sont des endomorphismes de (L) (car GLn engendre Mn). Résumons : pour tout entier k< n/2, J_{2k} est dans (L) puisque de rang pair, et J_{2k-1}. J_{2k} l'est aussi puisque la multiplication à gauche est un endomorphisme de (L). Donc J_{2k-1}=J_{2k-1}.J_{2k} est dans L. Donc toute matrice de rang 2k-1 sont dans (L) (puisque l'appartenance à (L) ne dépend que du rang). Toutes les matrices de rang pair<n sont dans (L), mais aussi d'après ce qu'on vient juste de dire, toutes les matrices de rang impair<n. Donc (L) est le complémentaire de GL(n,R) (gLnr= j'aié lé nerfs!!🤣🤣🤣🤣) C'est évidemment absurde car J_{k} + (I-J_k) = I montre que l'addition ne serait pas interne

  • @Acssiohm
    @Acssiohm 6 днів тому

    C'est pas mal l'intuition qu'ils sont "gros", j'avais pensé à la même chose. Mais faut faire attention à ne pas s'y lancer de manière aveugle, ni croire que dense => brouillard à peu près uniforme , comme c'que tu as dessiné. On peut facilement voir que l'argument ne fonctionne pas si on remplace GLn par un ensemble dense quelconque. En effet suffit de prendre G = Mn(K)\H , auquel cas G est bien dense dans Mn(K) ( si K = R ou C ) , et pourtant l'intersection avec H est bien vide. Voilà, j'voulais juste préciser cela car j'trouve ça pas mal de montrer à quoi ressemble une réflexion qui avance , mais ça peut être pas mal aussi de montrer comment voir qu'une voie ne fonctionne pas.

  • @savonliquide7677
    @savonliquide7677 7 днів тому

    Si K est R ou C c'est plié [edit : si K=C , car GLnR a deux composantes connexes]. GLn est dense et connexe un rapide argument topologique permet de conclure Mais K peut etre un corps fini donc pas de topologie. De toute facon c'est simple il me semble. Il en dim finie une forme lineaire est equivalente à multiplier terme à terme par une matruce associee à la forme (je ne comprends pas l histoire de generaliser le th de representagion de Riez (dslé pour l orthographe) ) et ensuite on somme tous les termes. À partir de là c est trivial je crois : on prend le sous enselble des matrices de GLn qui sont trigonales superieure et aucun 0 sur la diagonale et on se ramene à resoudre une equation du premier degré, sauf erreur de ma part😂

    • @savonliquide7677
      @savonliquide7677 7 днів тому

      Edit : il y a juste un pb si la matrice associée a des 0 partout sauf à un unique coef sur la duagonale, danq ce cas on multiplie par une matrice inversible qui a un 0 à cet endroit (par ex une matrice de permutation)

    • @Ryanetlesmath
      @Ryanetlesmath 7 днів тому

      1) sortir l’artillerie topologique ( densité et connexité de GLn )est inutile ici puisque déjà c’est un résultat hp en cpge donc encore faudrait-t-il le redémontrer ici, et pour K=R la preuve ne fonctionne pas car GLn(R) pas connexe. Donc cette argument est bien trop limité surtt qu’il nous demande du travail pour conclure. 2) le thm de représentation de riesz s’énonce dans le cas d’un espace euclidien, et permet d’exprimer les formes linéaires avec la trace, ici on a pas de structure euclidienne apparente de Mn(K) puisque comme tu le soulignes K est peut-être fini ou égale à C. Mais bon on a quand mm un théorème de représentation des formes linéaires. 3) Je ne comprends pas ce que tu veux faire avec les formes linéiaires, les assimiler à un vecteur ligne peut-être, en tt cas ton argument n’est absolument pas claire et semble bricolé ( dans le sens où il ne me paraît absolument pas naturelle) je me trompe peut-être mais la solution présentée dans la vidéo est pour moi la plus claire et la plus accessible (étant donné la disjonction de cas un peu floue que tu fais à la fin dans ton deuxième commentaire)

    • @savonliquide7677
      @savonliquide7677 6 днів тому

      @@Ryanetlesmath dslé j'ecrivais d'un telephone éclaté je refais de mon pc sans les coquilles à tous les mots hahaha 1) GLnR est connexe [ERRATUM il a deux composantes deux composantes connexes] dès que n>1 mais tu noteras que si n=1 le problème est faux, il faut d'ailleurs supposer n>1 dans les hypothèses. [EDIT : c'est par contre vrai que n=1 ne marche pas] [De toute façon cet argument qui se voulait rapide n'était pas valable pour par exemple les corps finis, contrairement à la preuve simple que je donne en 3), BEAUCOUP plus simple et naturelle, admettez-le les amis^^] 2) Le théorème de représentation de Riesz s'énonce dans le cas d'un Hilbert donc aussi dans le cas complexe. La cas réel se généralise d'une façon beaucoup plus naturelle à TOUS les corps en dim fini : c'est le fait comme tu l'as dit de multiplier à gauche par un vecteur ligne, c'est le produit scalaire usuel dans un R-ev! Donc si généralisation il y a, elle concerne les autres corps, peut-être que ça marche dans ce cas (je n'ai pas regardé en détail j'ai decroché à partir des J_r et de la trace mais je regarderai pour le coup, d'autant que peut-être que ta preuve se généralise au cas général d'un Hilbert de dim quelconque...) 3) Quoi de plus naturel que cette généralisation avec zero effort!! on multiplie terme à terme et on fait la somme (notons # cette application de M^2^2 dans K) X est dans H équivaut à M_H # X =0. (comme le produit scalaire elle est distributive par rapport à l'addition (*) et commutative) 3bis) C'est vrai que je n'ai pas explicité et donc ma disjonction de cas peut sembler sortie du chapeau : je vais un peu modifier d'ailleurs pour aller plus vite : Si M_H est diagonale (notons M=M_H pour aller plus vite) , P#M=0 avec P matrice de permutation circulaire Si ça n'est pas le cas il existe un coef quelconque M_ab non nul. Supposons sans perte de généralité que a < b. Soit T la matrice où T_ij= 1 si i<j et 0 sinon et E_ab la matrice qui vaut zero partout sauf au coef a,b où elle vaut 1. Notons r=T#M, on vérifie facilement que i) (T-r/M_ab)#M=0 (*) ii) T-r/M_ab est inversible (matrice trigonale avec des 1 sur la diag)

    • @Acssiohm
      @Acssiohm 6 днів тому

      @@savonliquide7677 Bah non, GLn(R) n'est jamais connexe , suffit de voir que son image directe par le déterminant est R* qui n'est pas connexe dans R alors que le déterminant est continue donc il conserve la connexité. De plus le problème n'est pas faux à n = 1 car dans ce cas là H = {0} ( en dimension 1 un hyperplan doit être de dimension 0 donc égal à {0} ) et 0 n'est effectivement pas dans GLn(R)

    • @savonliquide7677
      @savonliquide7677 6 днів тому

      C'est vrai je vais corriger GLnR a deux composantes connexes, je vais corriger, honte sur moi 😁🤣🤣🤣 Par contre à propos de n=1, ça ne marche pas, car justement, comme tu le dis, H et R* sont distincts (je te rappelle qu'on veut le contraire pour n>1)

  • @starincompris3078
    @starincompris3078 7 днів тому

    Continue comme ca !

  • @aurelienm
    @aurelienm 7 днів тому

    Vraiment cool l'exo

  • @aurelienm
    @aurelienm 7 днів тому

    À 55s tu confonds les deux : a gauche c'est ligne et a droite colonnes

    • @Ryanetlesmath
      @Ryanetlesmath 7 днів тому

      C’est vrai petit lapsus de ma part mb

  • @pierreerat9395
    @pierreerat9395 8 днів тому

    est ce que tu pourrais expliquer la fin de la question 2 , parce que avec l'hypothèse de récurrences tu as à semblables a une matrice de diagonale nulle , mais pourquoi cela implique que [uA] est aussi semblable a une matrice de diagonale nulle ?

    • @Ryanetlesmath
      @Ryanetlesmath 8 днів тому

      Tu prends une base qui est la concaténation de (u(x), x) et la base qui transforme la matrice A~ en une matrice à diagonale nulle

    • @pierreerat9395
      @pierreerat9395 8 днів тому

      @@Ryanetlesmath ok merci ! je viens de comprendre

    • @Lunala81
      @Lunala81 8 днів тому

      En gros comme A ~ est de taille n-1 tu peux lui appliquer l’HP et donc en multipliant par blocks on arrive bien à une matrice de trace nulle avec que des 0 sur la diag

  • @luigidealfaro8831
    @luigidealfaro8831 10 днів тому

    Salut, j'ai eu ce sujet (en fait je devais montrer l'unicité)à mon oral de l'X. Sauf que je suis en PC, donc le lemme des noyaux est hors-programme, tout comme le théorème de Bézout généralisé pour les polynômes, et bien sûr la codiagonalisabilité même si ça c'est vrmt classique. En plus, dans la preuve normale de l'unicité, on se sert de l'existence ( du fait que c'est des polynômes en A) J'ai pas réussi à conclure en 50 min. Après avoir découvert après l'oral la preuve "classique" et à quel point elle était hors programme, j'ai essayé de faire recours, mais on m'a dit que ce n'était pas la preuve attendue par l'examinateur. Finalement, j'ai eu 16, donc j'ai quand même dû dire deux trois trucs intelligents pendant l'oral. Mais de là à dire que l'exo est "donné" comme tu dis en début de vidéo c'est un peu abusé... Et si j'ai pas réussi, c'est pas pour autant que je suis un clown en maths (j'ai eu 20 à l'oral de maths de Centrale et des Mines et je suis admis à ulm). Bref, tout ça pour dire qu'on se rend pas forcément compte de la difficulté d'un oral juste en lisant l'énoncé, parce que quand ton programme est pas fait pour le résoudre et que tu l'as pas déjà fait c'est pas trivial...

    • @Ryanetlesmath
      @Ryanetlesmath 8 днів тому

      Super pour ton retour d’oral merci bcp ! C’est vrai qu’en pc c’est pas facile au vu du programme bien plus maigre qu’en mp. Il me semble que cette exos avait été rapporté par un élève de mp donc dans ce cas c’est vrmt du cours d’autant plus qu’en classe étoilé tt le monde fait cette décomposition.

    • @luigidealfaro8831
      @luigidealfaro8831 8 днів тому

      @@Ryanetlesmath tkt. Ouais moi même j'en avais entendu parler mais ouais là le truc c'est que j'avais pas le droit au théorèmes pour le résoudre. D'ailleurs je m'en souvenais pas trop parce qu'on a littéralement jamais des exos qui utilisent le lemme des noyaux.

  • @Ben-sc9vb
    @Ben-sc9vb 12 днів тому

    A 4:28 je ne comprends pas pk lambda=f(1) directement?

    • @elouan4067
      @elouan4067 7 днів тому

      C’est une notation qu’il choisit. Tu sais que f est continue donc la limite de f en 1 est finie et donc au lieu de réécrire f(1) a chaque fois il dit que c un constante lambda

  • @pauljlr7207
    @pauljlr7207 17 днів тому

    la matrice E12+E21 respecte la propriété mais n'est pas un projecteur

  • @lapichfamily7595
    @lapichfamily7595 17 днів тому

    Pourquoi la restriction de phi à R1[X] serait un endomorphisme ? Gros pb non ?

    • @Ryanetlesmath
      @Ryanetlesmath 17 днів тому

      Regarde le commentaire épinglé

    • @lapichfamily7595
      @lapichfamily7595 17 днів тому

      @@Ryanetlesmath Je sais bien mais comme tu ne le précises pas sauf si j'ai zappé, ta solution est fausse

  • @Adam_6_12
    @Adam_6_12 20 днів тому

    DEMO SIMPLE: EGALITE DE NOYAU: KerPhi=KerD car ils sont tous deux de dimension 1 et contenant tous deux l'element "1". En effet, 0=Phi(0)=Phi*D(1)=Phi(1) et KerPhi inclus dans KerD (qui est de diemension 1!) D'autre part, Phi(id) est un reel donc dans KerPhi. En effet, D*Phi(id)=Phi*D(id)=Phi(1)=0 Enfin, 1=D(id)=Phi*Phi(id)=Phi(Phi(id))=0. C'est la contradiction tant attendue On rappelle que Phi(id) est dans KerPhi

  • @alex595659
    @alex595659 21 день тому

    comment c 'est possible ? au vu du titre je me dit que c'est de la magie !!

  • @corbak5325
    @corbak5325 23 дні тому

    Le raisonnement n'est pas correct, si ta famille des puissances de A est libre en prenant des constantes sur K rien ne dit qu'elles sont necessairement libres en prenant les constantes dans le corps L à priori... par exemple 1et sqrt2 sont libres sur Q mais pas sur R. Il faut utiliser le fait que les puissances de A sont dans K ce que tu ne fais pas. Voici la rédaction minimale: Les puissances de A jusqu'a k-1 sont libres sur K donc le rang dans la base canonique du K ev des matrices a coefficient dans K de la famille est egale à k, il est obtenu comme la taille maximale des matrices extraites inversibles donc de determinant non nul de la matrice de la famille dans la base canonique, et comme le calcul du determinant est le meme si tu considere la base canonique du L espace vectoriel des matrices a coefficient dans L, donc la famille est effectivement libre dans le corps L car de meme rang que dans K donc le degre du polynome minimale de A dans L est de degre plus grand que celui dans K, ce qui permet de conclure.

  • @bardamu9662
    @bardamu9662 23 дні тому

    Excellente présentation. Tu as vraiment le sens de la pédagogie en motivant les arguments de ton approche intuitive ... C'est extrêmement précieux ... Ca nous change des exercices proposés aux oraux (X-ENS) où la solution sort d'outre-tombe :-) Félicitations!

  • @paullebreton5988
    @paullebreton5988 23 дні тому

    Sinon: 1) Comme phi^2=D on a D surjective -> phi surjective (et D est immédiatement surjective par primitivisation) 2) phi^2 = D -> Ker(phi) c Ker(D), or Ker(D) est la droite des fonctions constantes. Si Ker(phi)={0} alors phi est inversible (car elle est surjective) et donc D l’est, c’est absurde donc Ker(phi)={fonctions cste} 3) On note 1 la fonction constante égale à 1: par surjectivité il existe f telle que phi(f) = 1, par ce qui précède D(f) = phi(1) = 0 donc f est constante donc phi(f) = 0, on a donc 1=0.

  • @pauljlr7207
    @pauljlr7207 23 дні тому

    Ce que tu fais avec pi ne marche pas je crois. Ca pourrait marcher si X est de card fini ou est un espace vectoriel.

    • @pauljlr7207
      @pauljlr7207 23 дні тому

      ce raisonnement marche pour mq que les anneaux intègres finis sont des corps

    • @Ryanetlesmath
      @Ryanetlesmath 23 дні тому

      Oui je viens de me rendre compte de la coquille, effectivement X n’est pas un sev donc les gros thm sur la dimension ne sont pas valables, bein vu. Cela dit ça ne change pas le reste du raisonnement

  • @grieljis4172
    @grieljis4172 24 дні тому

    Je viens de terminer ma terminale, j'ai tenter de résoudre ce problème et je voulais savoir si ma démarche est bonne étant donnée qu'elle est bien plus courte que la vidéo et j'omets peut-être beaucoup de choses : Si y = 0 : f(x) + f(0) = f(x+0) <=> f(0) = 0 Puis, si y tend vers 0 (en limite) : f(x) + f(y) = f(x+y) <=> f(y) = f(x+1)-f(x) <=> f(1)/y = (f(x+1)-f(x))/y <=> f(y)/y = (f(x+1)-f(x))/y Donc vu que la croissance de f(x) pour tout x appartenant à R ne dépend pas de x parcequ'elle vaut f(y)/y, on peut dire que sa dérivé est constante et donc que la fonction est une fonction affine. Vu que f(0) = 0, la fonction affine est même linéaire. Donc f(x) = ax où a = f(y)/y où y tend vers 0, c'est accessoirement f'(0). Merci de bien vouloir m'aider 🙏

    • @Ryanetlesmath
      @Ryanetlesmath 18 днів тому

      Globalement c’est la deuxième solution montrée y’a un petit litige lorsque tu parles de dérivabilité. A priori, f est uniquement supposée continue il faudrait que tu montres en plus qu’elle est dérivable pour appliquer ton raisonnement

  • @LePainQuiFaitDesMaths
    @LePainQuiFaitDesMaths 24 дні тому

    À un moment de la vidéo tu veux montrer que la somme des vp autres que -1 s'annule, soit en montrant que toutes les vp ≠ 1 sont nulles soit en montrant que toutes les autres vp se compensent 2 à 2, en gros faudrait montrer que si lambda est |vp| ≠ 1, alors -lambda est vp j'imagine, ou alors si lambda ≠ -1 est vp alors -lambda est vp sauf si lambda = 1 alors contradiction Est ce que t'aurais d'autres idées pour montrer ça ? La prop m'a l'air plutôt exigeante en termes d'hyp dcp ça a pas l'air très facile. Sinon si t'as aussi des exos où tu montres qu'une somme est nulle par compensation jsuis chaud de voir !

  • @LePainQuiFaitDesMaths
    @LePainQuiFaitDesMaths 24 дні тому

    Btw le projecteur que t'introduis à un certain moment de la vidéo, il serait pas carrément diagonalisable ? Il est annulé par le polynôme SRS X(X-1)

    • @pauljlr7207
      @pauljlr7207 24 дні тому

      c'est pas p mais p o u donc c'est juste trigonalisable car juste un endomorphisme

  • @LePainQuiFaitDesMaths
    @LePainQuiFaitDesMaths 24 дні тому

    Tu serais chaud de faire un peu plus d'exos de calcul diff? Jtrouve ils sont souvent intéressants et les aborder comme tu le fais ça démystifierait un peu le domaine!

    • @janisaiad9505
      @janisaiad9505 23 дні тому

      calcul diff de rouviere, classique indémodable

    • @LePainQuiFaitDesMaths
      @LePainQuiFaitDesMaths 23 дні тому

      @@janisaiad9505 je connais mais l'intuition n'est pas aussi détaillée que dans une vidéo

  • @serpentdenuit
    @serpentdenuit 26 днів тому

    Il manque la fin de la vidéo.

  • @ieage1618
    @ieage1618 26 днів тому

    Salut ! J'ai fais à peu près la même chose que toi jusqu'au calcul de l'intégrale de 0 à 2pi de e^(i*n*θ)dθ (sur laquelle j'ai bloqué) prcq je trouve qu'elle est egale a zero et je ne comprend pas pourquoi elle serait égale a 2pi car e^0 = e^2ikpi pour k dans N. bonne journée !

    • @Ryanetlesmath
      @Ryanetlesmath 25 днів тому

      Il faut exclure le cas où k est nulle autrement tu divises par 0

  • @tommyly5606
    @tommyly5606 27 днів тому

    C'est quoi l'argument du polynôme caractéristique ? Que c'est un polynome annulateur et que Sp(A^k) inclus dans racines polynome caractéristiques, donc il a une infinité de racines donc c'est le polynome nulle, ce qui revient à dire que le Sp(A^k) est en fait égal 0, et par définition A^k=PD^kP^-1 donc A^k est nulle ?

    • @Ryanetlesmath
      @Ryanetlesmath 27 днів тому

      Plus simplement on a que le polynôme caractéristiques de phi M est de degré n2, les racines de ce polynôme sont exactement les valeurs propres de phi M, s’il admet une infinité de racine il est identiquement nul ( donc de degré 0) ce qui absurde

  • @latulipenoir4385
    @latulipenoir4385 27 днів тому

    Tu explicite l’expression de k parmis n, tu le transforme en k+1 parmis n+1 ce qui fait sortir 1/n+1 de la somme, puis tu bidouille pour avoir les bonne bornes de la somme pour appliquer le binôme de newton pour k+1 parmi n+1

  • @natsudragnir4131
    @natsudragnir4131 27 днів тому

    Cela decoule d’ un classique pour les matrices de rang 1, Det(f+g) x det(f^-1) = det( In +h) = 1+ tr(h) car h de rang 1, avec h=gof^-1 c’est fini.

  • @aurelienm
    @aurelienm 27 днів тому

    J'ai pas compris le délire avec In et Phi A au début par contre

  • @lunxy7440
    @lunxy7440 27 днів тому

    Merci beaucoup pour tes vidéos, je vais entrer en MPSI l'année prochaine et je commence à regarder pas mal d'exo. J'essaye généralement de voir ce qui est démontrable à partir des connaissances de term, et j'ai été assez surpris de voir que (sauf erreur de ma part) l'entièreté de l'énoncé est démontrable en terminale Bref, j'ai fini mon pavé, merci beaucoup pour ton travail. Même si en regardant la vidéo je me dis que je dois m'être planté car la démo peut pas être aussi simple que ce que j'ai fait

  • @latulipenoir4385
    @latulipenoir4385 27 днів тому

    L’application fi est continue donc il existe une constante C tel que || fi(A^k) || < C|| A^k || donc pour tout k dans N k|| A^k || < C|| A^k|| Or si A n’est pas nilpotente A^k de s’annule jamais donc on peut diviser l’inégalité pas || A^k || donc l’ensemble N est majoré par C, absurde

    • @djridoo
      @djridoo 21 день тому

      Oh c'est joli ça aussi !

  • @user-jv7mu5ky5h
    @user-jv7mu5ky5h 27 днів тому

    On peut ecrire l’inverse de A en fonction de A par le polynome caractéristique en appliquant cayley hamilton aprés a chaque A a la puissance n on va utiliser la stabilite de X par fois et en fin chaque A a la puissance n a une suit extraite qui converge ….

  • @GallandOlivier
    @GallandOlivier 28 днів тому

    Tu pourrais expliquer pourquoi X est stable par multiplication ?

    • @Ryanetlesmath
      @Ryanetlesmath 28 днів тому

      C’est une hypothèse de l’exercice

  • @dona_telo5378
    @dona_telo5378 28 днів тому

    Super merci pour ta vidéo ! Petite question: t'utilises quoi comme logiciel / matos pour écrire sur un tableau noir comme ça ? T'as un stylet ? Tu gères !

  • @incla6440
    @incla6440 28 днів тому

    Je pense que raisonner sur des matrices 2*2 ou 3*3 aurait pu grandement éclairer pour l’intuition. Très bonne vidéo cependant

    • @LePainQuiFaitDesMaths
      @LePainQuiFaitDesMaths 28 днів тому

      pour détailler les calculs qu'il a menés via un dessin peut-être, mais à mon avis sa vidéo est déjà très bien expliquée !

  • @Ali-gq3be
    @Ali-gq3be 28 днів тому

    FRERO JE TEN SUPPLIE SES VACS METS NOUS BIEN NV REV SUP

  • @lekiwi_4145
    @lekiwi_4145 28 днів тому

    La démonstration est je crois complètement fausse car on peut supposer que notre espace de départ est les polynômes pas de problèmes mais l’espace d’arrivée de phi rien ne nous dit que c’est les polynômes Enfaite ici le seul type de démonstration possible demande a montré que la dérivé 1/2 d’une fonction dans R n’est pas dans R mais dans C Vous pouvez regarder se qu’on appelle l’analyse fractionnaire qui se base littéralement sur l’existence de la fonction phi et vous pouvez regarder la page wikipedia de l’analyse fractionnaire rubrique approche naturelle la première phrase dit que cette fonction existe

    • @Ryanetlesmath
      @Ryanetlesmath 28 днів тому

      @@lekiwi_4145 regarde le commentaire épinglé, les espaces de polynômes sont bien stable par phi car ce sont des noyaux de polynômes en D. Il y a beaucoup d’autres solutions mais celle que tu proposes ne peut pas convenir le jour d’un oral car hp en plus de ça l’opérateur définit en analyse fractionnaire n’est pas linéaire donc tu es complètement hs

    • @lekiwi_4145
      @lekiwi_4145 28 днів тому

      @@Ryanetlesmathj’avoue que c’est le 8 eme commentaire que j’écris puis supprime je vais dormir je reviendrai plus fort

    • @lekiwi_4145
      @lekiwi_4145 28 днів тому

      @@Ryanetlesmathmais non sa marche toujours car il est additif c’est une dérivée d’une integrale il est additive donc il y a pas de problème donc si on as bien une solution mais que dans C Regarde prend phi de P(x) comme d/dx de l’integrale de 0 a x de P(t)/sqrt(pi(x-t)) dt phi ne va que dans R+ mais aussi non il n’y a aucun problème phi est bien additive et phi^2 c’est la dérivé

  • @danhabib3441
    @danhabib3441 28 днів тому

    Je t'ai découvert par hasard grâce à l'algorithme ytb franchement c'est grave bien parce que t'explique les raisonnements derrière et tout ça m'aide grave pour mon passage en spé Merci beaucoup

  • @Sai-hc6il
    @Sai-hc6il 28 днів тому

    Je suis pas certain qu'utiliser la notation de dérivé ronde soit justifié ici f n'est pas une fonction de plusieurs variables

  • @Ryanetlesmath
    @Ryanetlesmath 28 днів тому

    Nb : l’énoncé et la démonstration du thm spectrale a été posé à l’oral de l’ENS (source :RMS)

  • @Ryanetlesmath
    @Ryanetlesmath 28 днів тому

    NB : Rn[X] est le noyau d’un polynôme en D, D et phi commutent donc phi stabilise les Rn[X], on peut donc bien écrire la restriction de phi à Rn[X] (en particulier à R1[X])

  • @Schlaousilein67
    @Schlaousilein67 28 днів тому

    J'aime bien tes vidéos !

  • @savonliquide7677
    @savonliquide7677 28 днів тому

    Attention !! Deja petite imperfection : le noyau de D n'est pas "enorme" il est minimal (de dimention 1!) Ensuite passer par les matrices ne sert à rien qu'a faire une boucle inutile Et surtout qu est ce qui te dis que tu as le droit de resteeindre \phi au polynomes sans heurts??? Je peux me tromper mais il me semble qu il y a une douille à ce niveau, en tous cas je pensecque ce n est pas justifié je vais reverifier pardon si je me trompe. Il me semble d'ailleurs que la justification de la legalité de cette operation suffirait à elle seule à obtenir l'absurdité cherchee. Plan de la demo : soit x \in ker \phi= ker D = {constantes} et y tq \phi(y)= x On a D(y)= \phi(x)= 0, donc y est dans le noyau , contradiction.

    • @Ryanetlesmath
      @Ryanetlesmath 28 днів тому

      @@savonliquide7677 R1[X] est le noyau d’un polynôme en D, D commute avec phi donc phi stabilise R1[X]. Sinn oui effectivement le noyaux n’est pas énorme en terme de dimension. Le passage au matrice permet au premier coup d’oeil de voir la nilpotence, chacun son intuition, je trouve ça plus naturel d’autant plus que (même si ce n’est pas le cas ici) cela permet souvent d’avoir des arguments de dimension donc de simplifier largement les preuves ( on est a priori en dimension infini dans tt le pb sinn)

    • @savonliquide7677
      @savonliquide7677 28 днів тому

      @@Ryanetlesmath D commute ac \phi donc \phi stabilise R_1" Ok il y a donc une justification, c'est deja ca ! Cependant elle me semble fausse. Notons que si \phi stabilise R_1 c'est quasi terminé, c'est olus ou moins ca l'objet de l exo. Je ne comprends pas ton argument : prends E= espace engendrés par les monomes de degres pairs : D^2 stabilise E, mais pas D, pourtant ils commutent

    • @savonliquide7677
      @savonliquide7677 28 днів тому

      Je redonne la demo qui me semble naturelle et capturer l essence du pb : Ker phi inclus dans ker phi^2 ( trivial) Donc ker phi est soit {0} soit egal a ker phi^2= ker D=vect(1) = sev des fonctions cobstantes Si ker phi=0 , phi serait injective et D le serait aussi or son noyau est vect(1) de dim egale à 1 >0, donc on a ker phi= ker D= vect,(1) Soit y tel que phi (y)=1 On a D(y)= phi^2(y)= phi(1)=0 donc y est dans Ker D= Ker phi Donc phi(y)=0=1 Contradiction!

    • @savonliquide7677
      @savonliquide7677 28 днів тому

      Ta justification est bonne, si E est le noyau d une polynome en M et N commute avec N alors N(E) inclus dans E. Ta demo est donc correcte si tu precise ça... mes excuses si j ai raté cet argument (que je viens de comprendre) . Ta demo me parait tout de mm un oeu simplifiable et alambiquee mais comme ton but etais de te mette en situation et montrer ton processus de recherche c est tout a fait louable! Bonne continuation ;)