Département de Mathématiques Inapplicables


Le DMI sur Facebook !

Qui sommes-nous ? Que faisons-nous ?

À sa naissance en janvier 2017, le DMI était un regroupement informel d'élèves de l'ENS, organisé comme un « département fictif ». Contrairement au « Département de Mathématiques et Applications » officiel, nous préférons les mathématiques quand elles sont dénuées d'intérêt pratique. Depuis 2019, notre activité de recherche s'est ralentie, mais nous demeurons unis par notre histoire commune. Chacun·e peut librement reprendre le flambeau : d'ailleurs, nous avons laissé traîner quelques problèmes ouverts sur notre passage…

Concrètement, nous utilisons les outils traditionnels des mathématiques pour obtenir des résultats (vrais) au sujet d'objets dont l'étude n'est motivée par aucune perspective d'application. Pour être plus précis, l'étude de ces objets est motivée par l'absence de possibilité d'application. Nous trouvons en cela une certaine proximité avec le Club Inutile.

Tant pis s'il nous reste moins de temps pour les mathématiques sérieuses ! Grâce au DMI, nous faisons ce que nous aimons (des mathématiques) en fuyant toute question appartenant au monde du « travail à faire » ­— et perdant de ce fait toute capacité à nous enthousiasmer. C'est pourquoi nous allouons notre temps à des problèmes mathématiques sans intérêt. C'est, sans doute, aussi un moyen de se donner bonne conscience, puisqu'on se dit qu'on fait « quand même des maths » !


Sujets étudiés

Anneaux fadéliens (algèbre non-commutative)

Un anneau A (unitaire, non nul, associatif, non supposé commutatif) est fadélien lorsque pour tous x, a ∈ A non nuls, il existe b, c ∈ A tels que x = ab + ca. Il est faiblement fadélien lorsque pour tout a ∈ A non nul, il existe b, c ∈ A tels que 1 = ab + ca.

Petit historique :

Espaces flimsy (topologie générale)

Soit κ un cardinal. Un espace topologique X est κ-flimsy si |X|>κ, si X reste connexe chaque fois qu'on lui enlève λ<κ points, et si X devient non-connexe chaque fois qu'on lui enlève (exactement) κ points.