Journal Station Eleven

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
7
6
déc.
2025

Au vu du dernier sondage, je pense que nous pouvons maintenant considérer Linuxfr comme un site spécialisé de conseils de lecture / films, dans la rubrique hors-sujet :-)

En ces temps hivernaux, pour les soirées d'hiver au coin du feu, je vous propose une mini-série (dix épisodes), basée sur un excellent livre de Emily St. John Mandel, auteure canadienne, que je recommande également.

Le livre a été écrit en 2014, et c'est important. Il raconte l'histoire d'une troupe (…)

Forum général.hors-sujets Lire ou ne pas lire Thomas Pynchon

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
1
20
nov.
2025

J'hésite à lire un Thomas Pynchon (Vineland ou Fonds perdus) mais je me demande si c'est bien raisonnable quand je vois qu'il a failli obtenir le Pulitzer pour L’Arc-en-ciel mais le jury a estimé que c'était « illisible », « surécrit » et « obscène ». Des avis ?

Sondage Vos sources de lecture de livre

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
5
14
nov.
2025

Où vous approvisionnez-vous en matières d’idées de livres à lire dans un cadre récréatif, donc pas professionnel ? Ce qui n’exclut aucun genre de livre (fiction, essais, BD, etc.), ni aucune forme (papier, électronique, audiolivre), évidemment.

Si, ce qui semble assez probable, vous avez plusieurs sources, vous pouvez choisir entre celle qui vous a donné le plus de titres que vous eu envie de lire, ou même lus ou, tout simplement, la plus récente. Et, évidemment, les commentaires sont là pour en ajouter.

Les items sont donnés sans sens particulier.

  • Sites spécialisés Babelio, Actualitté, Gallica… :
    55
    (9.1 %)
  • Les critiques des médias d’information :
    43
    (7.1 %)
  • Les conseils de votre libraire ou de votre bibliothécaire :
    40
    (6.6 %)
  • Des sites spécialisés mais pas dans le livre (LinuxFr, Cnrs Le journal, etc.) :
    39
    (6.5 %)
  • Votre entourage :
    92
    (15.2 %)
  • Vous préférez farfouiller vous-même dans les bibliothèques en ligne ou pas et les librairies en ligne ou pas :
    194
    (32.1 %)
  • Autre parce qu’il faut toujours une rubrique autre :
    64
    (10.6 %)
  • Vous n’aimez pas lire, mais vous aimez répondre aux sondages :
    77
    (12.7 %)

Total : 604 votes

Le Frido 2025

Posté par  (site web personnel) . Édité par BAud, Benoît Sibaud et Xavier Teyssier. Modéré par Xavier Teyssier. Licence CC By‑SA.
Étiquettes :
44
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.