Topologie algébrique - Introduction

Поделиться
HTML-код
  • Опубликовано: 15 окт 2024

Комментарии • 72

  • @unkown3305
    @unkown3305 Год назад +47

    vraiment le meilleur youtubeur maths actuel merci ♥️♥️🙏

  • @atouba-0
    @atouba-0 Год назад +14

    Amazing video, I like the aspect that mathematics shouldn't be "spoiled", so that one can ponder before being told a given theorem... this way a deeper kind of comprehension will be gained, appreciation too

  • @iwishiwasawitch
    @iwishiwasawitch 7 дней назад

    merci beaucoup, j’apprécie réellement votre travail, les explications fournises sont très intéressantes . Continuez ainsi 🙏🙏

  • @etiennebasset7493
    @etiennebasset7493 Год назад +9

    ça s'annonce très bien cette série :)
    et oui, la chaîne Maths Adultes est incroyable, une vraie mine d'or! (j'ai pas encore regardé sa série sur la topologie)

  • @michelbernard9092
    @michelbernard9092 Год назад +24

    Quel teasing alléchant ! Pensez-vous que Netflix pourra en faire une série ? (entière et convergente !)

  • @lionelantoine9529
    @lionelantoine9529 3 месяца назад

    Merci,grâce à ce partage je vais me procurer ce livre et je pourrai en parallèle travailler l’anglais!

  • @aliharkati3283
    @aliharkati3283 6 месяцев назад +1

    Pour détecter un trou, observez que sur la sphère, toute trajectoire fermée se resserre vers un point, tandis que sur le tore, en raison de son trou, certaines trajectoires fermées ne convergent pas vers un point.

  • @ju_revnoir
    @ju_revnoir Год назад +3

    16 ans après ma math spé, quel plaisir !

  • @noukir4724
    @noukir4724 11 месяцев назад +1

    vous avez très bien résumé ce premier épisode, bravo... pour info pouvez-vous me dire quel stylo vous utilisez ?

  • @Lexarji
    @Lexarji Год назад +2

    1:45 oui incroyable maths adultes pour ceux qui n'ont pas (ou plus) les connaissances de math sup math spé (et plus généralement les connaissances de licence) ça peut permettre d'être plus à l'aise avec tes vidéos qui sont je trouve à un degré de connaissance plus élevé

  • @burnfire4617
    @burnfire4617 Год назад +10

    Cette histoire de trous me fait penser aux pôles en analyse complexe avec les integration sur un chemin fermé autour du pôle. Pour détecter un trou on pourrait montrer qu’il existe un chemin fermé (qui “entoure” le trou) qui ne peut pas être déformé continuellement en un point. Visuellement ça semble fonctionner sur des espaces en 2D mais en dimension supérieure il faudrait utiliser autre choses que de simples chemins 1D

    • @MathsEtoile
      @MathsEtoile  Год назад +2

      C'est exactement ce qu'on va faire, belle intuition ! ;)

    • @m9l0m6nmelkior7
      @m9l0m6nmelkior7 Год назад

      ​@@MathsEtoile Cool j'avais pensé à ça aussi !
      Est-ce qu'on va compter le nombre de classes des chemins fermés (pas continuellement déformables en un point) qu'on ne peut pas déformer continuellement les uns vers les autres ?
      Pour le tore j'en vois deux, ceux qui font le tour du trou à proprement parler, et ceux qui entourent le "boudin" et passent dans le trou pour ressortir de l'autre côté…
      Par contre je vois pas vraiment comment on peut même étendre ça à des "trous de dimension supérieure"- à moins qu'on essaye de chercher des équivalents des chemins dans des dimensions supérieures ?
      par exemple pour les trous correspondant à des cavités, combien de… classes de surfaces "sans bords" (comme le tore ou la sphère) qu'on ne pourrait pas déformer de façon continue en un point ni l'une en l'autre on peut créer à l'intérieur d'un volume contenant des cavités, etc en dimensions supérieures ?

    • @m9l0m6nmelkior7
      @m9l0m6nmelkior7 Год назад

      le problème c'est qu'on a déjà la 2-sphère qu'est une surface et qu'a une cavité, dans ce cas là on a le droit de dire que la seule surface "sans bords" qu'on peut créer "à l'intérieur" c'est la sphère elle-même ? je sais pas à quel point ça a du sens-
      Tiens d'ailleurs ça doit être drôle de montrer qu'un espace topologique de dimension n ne peut contenir que des "trous" de "dimension" n ou inférieure (si c'est vrai)

  • @AlexisDLCRD
    @AlexisDLCRD Год назад +1

    Tu as un vrai talent pour expliquer

  • @lordmouton8261
    @lordmouton8261 Год назад +2

    Pour le théorème d'invariance du domaine dans le cas où n = 1, c'est parce que si on enlève un point de R alors on a deux demis droites distinctes donc si on se «place» sur une des deux demi droites il n'y a pas de chemin pour accéder à l'autre demi droite. Alors que dans R^m avec m>=2 si on enlève un point, peu importe là où on se place on pourra toujours se déplacer de sorte à pouvoir atteindre tout l'ensemble.
    Enfin je suppose que c'est ça, je me trompe peut-être (et c'est pas très formel ici :p).

  • @PhilippeBertran
    @PhilippeBertran Год назад +3

    Toute ligne fermée L tracée sur une sphère partage la surface en deux sous-ensembles disjoints : toute ligne joignant un point d’un des sous-ensembles à un point de l’autre coupe L. Pour un tore, ce n’est pas le cas des lignes fermées qui "passent par le trou". Dit autrement, si on découpe selon la ligne, on aura deux morceaux pour la sphère et un seul (en forme de macaroni) pour le tore.

  • @rdmAdventure
    @rdmAdventure Год назад +6

    Salut ! Pour différencier les deux, ton dessin me fait penser qu'on peut coincer un élastique dans un tore mais pas sur une sphère ! Ça me semble un peu dur à mathematiser mais dans le principe je pense que ça permet de distinguer tous les espaces de dimension 3

    • @raphaellebre8733
      @raphaellebre8733 Год назад +2

      Je te renvoie vers la merveilleuse vidéo de Arte sur la conjecture de Poincaré dans la série Voyage au pays des maths (excellente série de manière générale)

    • @Jean_Clenche
      @Jean_Clenche Год назад

      oui je vois ce que tu veut dire, très intéressent comme approche

  • @biggyfish4460
    @biggyfish4460 Год назад +2

    super comme idée de série de vidéo j'attend avec impatience les prochaines

  • @latarte3931
    @latarte3931 Год назад +2

    Une manière intuitive de voir la chose selon moi pour voir l'existence d'un trou c'est de définir pour tout ε strictement positif un ensemble qui va jouer le jeu d'un certain "petit" voisinage à la frontière de notre ensemble d'étude s'il possède un trou ou non (sphère, tore, etc...) que je note A, donc si l'espace topologique s'appelle E, ce genre d'ensemble je le note A_ε ={x∈E\A/(∃y∈Fr(A)) ||x-y||0)
    Il existe une application continue γ_ε dans [0,1] à valeur dans A_ε tel que γ_ε(0)=x et γ_ε(1)=y. (Je me suis un ptit peu inspiré de la définition de la connexité par arcs)
    En gros j'essaie de construire un chemin continue entre tout élément de la frontière, quitte à "coller" ce chemin à la frontière. Ce chemin devra donc en principe être capable de connecter un élément d'une frontière "interne" à celui d'une frontière "externe" en passant par le "trou".
    Je pense que je dis n'importe quoi mais c'est ce qui m'est venu à l'esprit.

    • @ondraszstasiak5015
      @ondraszstasiak5015 Год назад +1

      J'aime bien l'idée, c'est rigolo. Cela dit je pense qu'une sphère creuse est un contre-exemple, sa frontière est égale à elle même. Pour chaque x, y, on prend une "parabole" qui passe par x et y et qui est "petite " (ne s'éloigne pas de + de epsilon de la sphère). Cette application sera bien continue à valeur dans A-epsilon, pourtant, la sphère ne possède pas de trous.

    • @latarte3931
      @latarte3931 Год назад

      @@ondraszstasiak5015 oui vous avez raison, merci beaucoup ! D'ailleurs, peut-on trouver un contre exemple d'ensemble n'ayant pas une "épaisseur" nulle (genre que la frontière de cette ensemble ne soit pas réduite à cet ensemble)?
      Et pour la notion de trou, peut-on par exemple considèrer l'espace comme union de deux sphères séparés d'une certaine distance (c'est à dire qu'il y'a du vide entre eux)
      Peut-on affirmer que le trou c'est littéralement tout ce qui est extérieur à ces 2 sphères ? Parce que si c'est le cas, on peut à partir de cela constituir beaucoup plus de contre exemples à la modeste définition que j'ai donné.

    • @ondraszstasiak5015
      @ondraszstasiak5015 Год назад +1

      @@latarte3931 Alors pour ta première question, on peut prendre un pavé qu'on remplie de tout les points à coordonnée irrationnels, la frontière est le pavé remplie en entier qui à bien une "épaisseur" ( avec la théorie de la mesure on peut donner un sens à cela) (mais je suis pas sur d'avoir compris cette question alors hésite pas à me faire remarquer si je suis à côté de la plaque). Pour ta deuxième question, je crois qu'on veut comme même s'intéresser aux espaces qui sont connexes.

  • @m9l0m6nmelkior7
    @m9l0m6nmelkior7 Год назад +1

    pour l'exo (15:02), si on enlève un point x0 à R^m, on peut toujours de manière continue d'un point A à un point B (en suivant par exemple le cercle de centre x0 et passant par A et B) quels que soient A et B, alors que si on enlève un x0 à R, y'a aucune façon de passer de x0-1 à x0+1 de manière continue en restant dans R\{x0}.

  • @sam-jz2nf
    @sam-jz2nf Год назад +1

    Pour l’homotopie, il s’agit du lacet topologique pour distinguer les espaces topologiques ?

  • @yessbbb
    @yessbbb Год назад +1

    Il fut un temps ou on étudiait ca en mp* lorsque la topologie était au programme.

  • @labiquette4821
    @labiquette4821 Год назад +1

    Coucou ! Est-ce que tu comptes refaire quelques oraux Mines-Centrale ? Je découvre tout juste que je suis admissible à Centrale Lille et j’aimais bien m’entraîner avec tes vidéos :)

  • @vegetossgss1114
    @vegetossgss1114 Год назад

    Hey! Tu vas parler du radical de Jacobson, des quasi inverse...? :)

  • @cocotte4746
    @cocotte4746 Год назад

    On trouve des équations pour les surfaces tore et de la sphère centrées sur l'origine et on cherche des droites non secantes avec ces surfaces ? S'il existe des droites non sécntes et qui passent par l'origine, alors il y a un trou ?

  • @ayoubmoubaraki4289
    @ayoubmoubaraki4289 Год назад +1

    Merci beaucoup monsieur

  • @edgarbourdier8672
    @edgarbourdier8672 Год назад

    La vidéo est intéressante, mais c'est dommage pour l'audio quand on écoute avec des écouteurs, le son n'est pas équilibré, il passe de gauche à droite parfois.

  • @evar5638
    @evar5638 Год назад

    Intuitivement je dirais qu'on peut savoir s'il y a un trou dans un espace s'il existe un chemin continu se rejoignant qui traverse un triangle formé par trois points appartenant à l'espace qu'on étudie (le chemin traverse le trou), sans qu'aucun des points du chemin n'appartienne à l'espace (le chemin ne rencontre pas l'espace) sachant qu'au moins un des points n'est pas dans un triangle formé par trois points de l'espace (le chemin n'est pas que dans le trou). Je pensais que ce serait plus simple en utilisant une droite mais on peut imaginer par exemple un puits distordu dans lequel aucune droite ne passe par le trou sans toucher les bord du puits. Dans le cas du tore c'est facile de trouver une telle droite. Je précise que je vois les chemin comme des fonctions continues de E dans R3 même si je m'y connais pas trop.

    • @evar5638
      @evar5638 Год назад

      Enfaite ca marche pas car rien ne permet d'être sur que le chemin traverse l'objet entièrement avec ces hypothèses.

  • @TesssyTosco
    @TesssyTosco Год назад

    Quel niveau de mathématique faut-il avoir pour la topologie algébrique

  • @kbbel
    @kbbel Год назад +1

    Je viens d'avoir une idée mais elle ne fonctionne que pour les objets "pleins". Je n'ai jamais fait de topologie algébrique mais j'imagine qu'il est possible de "remplir" les objets (de fourrer à la crème le tore si on veut). Idée : Je peux vérifier que le complémentaire forme un espace connexe; autrement dit, lorsque je retire mon objet il me reste un morceau d'un seul tenant. C'est possible ?

    • @Kreypossukr
      @Kreypossukr Год назад

      Je crois que ton idée marcherait au contraire bien pour les objets vides comme dans la vidéo mais ne fonctionnerait pas pour les objets pleins
      Le complémentaire du tore plein et de la boule sont tous deux connexes, alors que le complémentaire du tore creux laisserait deux morceaux
      (J’ai pas encore fait de topologie non plus donc j’ai pas les bons termes désolé ahah)

    • @kbbel
      @kbbel Год назад +1

      @@Kreypossukr En fait ça ne fonctionne qu'en dimension 1 et 2. J'y ai repensé ce matin et en fait ça ne fonctionne presque jamais (j'avais réduit le problème à 2 dimension initialement) ... On s'est totalement gouré il semblerais 😂. Dsl pour la réponse concise la dernière fois j'étais fatigué😅. Par contre, chose intéressante, c'est que cela fonctionne pour montrer si un objet est plein ou non et ça dans tous les cas !

  • @zinebmountaj3379
    @zinebmountaj3379 Год назад

    Je suis étudiante en Master Mathématiques fondamentales et applications et je prépare ma soutenance de projet de fin d étude . Je suis vivement intéressée par la poursuite de mes études doctorales, et je suis un peu perdue . Avez vous des propositions de recherches actuelles pour des thèses doctorales? je serais très reconnaissante de votre réponse.

  • @k_meleon
    @k_meleon Год назад

    pour le théorème d'invariance du domaine on peut pas supposer par exemple n>m, priver R^n et R^m d'un machin qui correspond à un hyperplan de R^m et montrer que l'un est cpa alors que l'autre non ?

    • @abderrahmaneprofmaths659
      @abderrahmaneprofmaths659 Год назад

      il faut montrer que le complement de l'image du "machin" par l'homeomorphism, est connexe(dans R^{n}),pour n=2,m=1,ca marche par ce que le machin est u point et l'image d'un point est un point , mais en essayant de faire une chose pareille pour n=3,m=2, on sait deja que l'image d'une droite de R^{2} par un homeomorphism peut etre "wild".......

    • @k_meleon
      @k_meleon Год назад

      @@abderrahmaneprofmaths659 d'accord !

  • @killihanma3146
    @killihanma3146 Год назад

    Pile avant le M1, parfait

  • @yunmarcola693
    @yunmarcola693 Год назад

    super vidéo, hâte de voir la suite

  • @AllemandInstable
    @AllemandInstable Год назад +1

    j'espère que les représentations des groupes finis verront quand même le jour sur la chaîne 😢

    • @MathsEtoile
      @MathsEtoile  Год назад

      Moi aussi, mais je n'en doute pas 😉

  • @Bruno-B
    @Bruno-B Год назад +1

    Bonjour Ferdinand,
    Je ne sais pas si tu connais la chaîne de Scientia Egregia. Si ce n'est pas le cas, je pense qu'elle plaira autant à Louis qu'à toi. J'y pense, parce qu'il a fait il y a quelque temps une série de vidéos sur la topologie algébrique (la première est ici : ruclips.net/video/3D6fQ1fdp1o/видео.html ) qui peut venir compléter ta série. Sinon, c'est beaucoup de maths appliquées à la physique, niveau souvent master bien mûr (c'est plus pointu que chez Gilles), ce qui ne devrait pas vous poser de problème (en tout cas moins qu'à moi, dont les maths sont très loin.... Bac C 1980, pour dire...).

    • @MathsEtoile
      @MathsEtoile  Год назад

      Bien sûr ! Ça fait bien longtemps que je regarde toutes ses vidéos 😉

  • @paris0175
    @paris0175 Год назад

    Tu as fait quoi comme étude pour en arriver là ? Merci ..

    • @MathsEtoile
      @MathsEtoile  Год назад +1

      Prépa mpsi/mp puis une ens en maths

  • @nonostromo1404
    @nonostromo1404 Год назад

    Alors je n'ai jamais fait de topologie donc ça va être complétement à coté de la plaque. On peut considérer un ellipsoïde qui sera superposé à notre espace métrique (qui aura donc le même aire que le tore s'il n'avait pas de trou) on calcule l'air de l'ellipsoïde et on regarde si c'est le même que celui de l'espace métrique, si oui il n'a pas de trou, si non il a un trou. On pourra même calculer l'aire de son trou et sa taille

    • @ondraszstasiak5015
      @ondraszstasiak5015 Год назад

      Le trou peut avoir une aire nul.

    • @nonostromo1404
      @nonostromo1404 Год назад

      @@ondraszstasiak5015 ah mince je vais chercher un autre moyen alors !

  • @foxlolo38
    @foxlolo38 Год назад +1

    Super !

  • @Oujda-Channel
    @Oujda-Channel 11 месяцев назад

    Connaissez-vous des ressources électroniques gratuites sur la topologie différentielle et la topologie géométrique ?

  • @julien4230
    @julien4230 Год назад

    On pourrait définir un lacet (courbe fermée) quelconque. Peut-on le modifier de façon continue et de telle manière à ce qu’il « converge en un point » ? S’il y a un trou, on ne peut pas faire cela. Tout ce que je raconte là devrait être posé rigoureusement…

    • @Moinsdeuxcat
      @Moinsdeuxcat Год назад

      Oui, c'est exactement la définition de "simplement connexe" ("sans trou"). Tu peux même généraliser : un lacet c'est une application continue depuis le cercle. En faisant la même chose avec des applications continues depuis la sphère etc.... tu trouves les groupes d'homotopie supérieurs.

    • @julien4230
      @julien4230 Год назад

      @@Moinsdeuxcat ok je suis moins habitué à des homotopies de « type supérieur ». Je vois mal comment généraliser l’application continue de [0,1] vers un ensemble, pour montrer la connexité par arcs par exemple.
      C’est une application continue p.e. d’une sphère S2 vers genre une hyper surface, genre comme pour les manifolds ? Ça remonte un peu, tout ça…

    • @drym3943
      @drym3943 Год назад

      Si tu prends un lacet petit a l'extérieur du tore (qui ne passe passe pas par le trou) alors tu peux le faire tendre vers un point non?

  • @grigyyanis4997
    @grigyyanis4997 Год назад

    Quelqu’un sait si ce genre de domaine est étudié dans d autre école que les ENS en m1 ? Dans certaines grandes mines par exemple ? :D

    • @Vince_xxx
      @Vince_xxx Год назад

      En magistère de maths je crois

    • @ondraszstasiak5015
      @ondraszstasiak5015 Год назад

      Au magistère de grenoble il y'a une introduction a la topologie algebrique en L3. Par contre sa effleure vraiment le sujet, on s'arrete après avoir introduit les groupes fondamentales et 2 3 de leurs applications ( brower en dim2, theoreme de d alembert gauss, borsuk ulam en dim2 ). Enfin bref, pour avoir un aperçue du sujet c'est ok, pour etudier le sujet c'est clairement oas suffisant.

  • @noumanegaou3227
    @noumanegaou3227 Год назад

    R\{a} n est pas connexe
    Pour tout a dans R
    Soit n>=2
    Rn\{x} est connexe pour tout x dans Rn

  • @elomariahmed2418
    @elomariahmed2418 Год назад

    Ton Ig svp ou un moyen pour vous contacter

    • @MathsEtoile
      @MathsEtoile  Год назад +1

      Le discord de la chaîne : discord.gg/ERBMh8m7
      Ou bien ce mail : f.mathsstar@gmail.com
      J'ai pas d'insta pour la chaîne mais ça viendra peut être un jour

  • @kalor1313
    @kalor1313 8 месяцев назад

    Bon court mais trop de pub

  • @0sKiDo
    @0sKiDo Год назад

    Pas dingue la lumière pour cet épisode. Elle est plus blafarde que d'ordinaire.

  • @Mintche
    @Mintche Год назад

    OUUI