Le Frido 2025

41
22
sept.
2025
Éducation

Présentation

Le Frido est un livre de mathématique libre initialement destiné à l'agrégation, mais devenu généraliste. En supposant connue une théorie intuitive des ensembles, ça va jusqu'aux martingales, distributions, extensions de corps, etc. Avec toutes les démonstration intermédiaires (modulo les 981 entrées restantes dans ma liste de choses à faire).

Les résultats sont classés par ordre logique mathématique : chaque démonstration ne s'appuie que sur des résultats énoncés et démontrés plus haut. C'est loin d'être l'ordre pédagogique.

L'extension guilietta donne le reste de ce que je sais en math : groupes de Lie (l'objectif est de donner la liste des représentations de SL(2,C)).

Nouveautés 2025

Le bouquin vient de dépasser les 3000 pages cette année.

  • Théorème de Banach-Alaoglu.
  • Démonstration du fait que le système trigonométrique est une base hilbertienne.
  • Fonctions analytiques entre espaces de Banach. L'objectif sera d'énoncer et démontrer le théorème d'inversion locale. Le seul doc que j'aie trouvé est celui-ci. Sinon ChatGPT se débrouille assez bien.
  • Structure de groupe de Lie sur un sous-groupe fermé (ça c'est dans une extension)
  • Dans le même ordre d'idée : modification de la définition d'une variété pour accepter des cartes à partir d'ouverts de n'importe quel espace vectoriel normé (et non seulement de \mathbb{R}^n). Formellement, ça rend correcte pour un groupe de Lie l'idée de prendre des cartes depuis l'algèbre de Lie. En pratique, ça permet aussi de prendre des cartes depuis le produit tensoriel des fibres pour prendre le produit tensoriel de fibrés vectoriels. Si on n'accepte que des cartes depuis des ouverts de \mathbb{R}^n, il faut prendre un isomorphisme (pas canonique) entre \mathbb{R}^n et le produit tensoriel, et montrer qu'en réalité rien ne dépend de ce choix. L'inconvénient est qu'on ne peut plus parler de l'ensemble des cartes.

Journal Pourquoi Vim? (Première partie)

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
54
23
nov.
2017

Vim est, de loin, mon éditeur de code préféré. Dans cet article je vais passer en revue ce qui me plais dans ce logiciel, ou ce qui pourrait plaire à un informaticien. Ces écrits sont un peut long, aussi ils seront séparés en plusieurs parties. Cette partie couvrira les bases, l'édition de texte et l'usage du clavier.

Attention, il ne s'agit pas d'un cours sur Vim, le but de cet article est d'en parcourir les atouts.

Quelques liens utiles:

Journal À quand l’IPv6 sur LinuxFr.org ?

Posté par  . Licence CC By‑SA.
Étiquettes :
35
15
fév.
2017

Bonjour’nal

Jusqu’à présent pour mouler sur LinuxFr.org de manière sécurisée moderne avec mon copain TLS Patrick, on est obligé d’utiliser les services de l’EFF IPv4, on est maintenant en 2k17 et ça nous déçoit un peu…
Administrateurs, si vous nous lisez ne voulez‐vous pas déposer une petite redirection 301 de http://linuxfr.org vers https://linuxfr.org ? une… euh… j’imagine que ça ne doit pas être aussi simple qu’une ligne à changer dans un fichier.

Sinon, voulez‐vous bien éclairer ma lanterne fort (…)

Sortie du noyau Linux 4.9

92
8
fév.
2017
Linux

La sortie de la version stable 4.9 du noyau Linux a été annoncée le dimanche 11 décembre 2016 par Linus Torvalds. Le nouveau noyau est, comme d’habitude, téléchargeable sur les serveurs du site kernel.org.

Le détail des évolutions, nouveautés et prévisions est dans la seconde partie de la dépêche (qui est sous licence CC BY-SA).

Les deux filles nerds implémentent BBR, un nouvel algorithme d’évitement de congestion TCP pour remplacer les douze autres algorithmes. Mais, à la fin, l’algorithme BBR, intégré dans Linux 4.9, n’est pas le meilleur dans tous les cas. Et les filles se rendent compte que maintenant elles font face à treize algorithmes et aucun pour remplacer les autres dans tous les cas !

Forum général.général logiciel de détection de plagiat

Posté par  (site web personnel) . Licence CC By‑SA.
0
30
sept.
2016

Bonjour,

Connaissez-vous des logiciels libre de détection de plagiat ? Actuellement nous utilisons un logiciel propriétaire et voulons étudier d'autres voies.

Pour l'histoire, je ne suis pas personnellement impliqué dans le groupe plagiat de notre institution, mais relativement proche des personnes qui s'en occupent. Je serais particulièrement heureux de pouvoir leur proposer une solution open-source, qui vas dans le sens de ce qu'on impose aux scientifiques qui font appel à nous ( on ne finance que des articles open-access et on (…)

Journal [HS] Roland Magdane, un plagiat comme un autre

Posté par  .
Étiquettes :
2
1
fév.
2010
Hello,

Voici un journal de seconde page (si on peut dire), qui ne traite absolument pas du libre, de linux, ou de l'ipad. Du HS, donc.

Roland Magdane est un humoriste français dont le timbre de voix assez particulier contribue aux blagues. Jusqu'à ce soir, j'aimais bien Roland. Mais Roland, là, tu m'as bien déçu.

Il vous est peut-être arrivé d'entendre le sketch de Roland Magdane sur les dentistes; sinon un petit coup de Google sur "roland magdane dentiste" vous (…)