Comme tu as l'air de pouvoir en ajouter beaucoup là dessus pourquoi ne ferais-tu pas un 2° livre post-agrégation sur l'analyse. Il n'est pas obligé d'être aussi important, même un livret suffirait. Mais ainsi tu donne un cadre précis au Frido, sans te brider.
C'est une grande question. Il faut distinguer les choses qui sont en dehors du programmes des choses qui sont au-delà du programme. Exemples de choses en-dehors :
La construction de la mesure de Lebesgue
Le théorème de d'Alembert (celui qui donne une racine dans C pour tout polynôme)
La construction des naturels
Ces choses ne sont pas exigibles à l'agreg, et sont en effet très longs à faire complètement. Cependant, de nombreux résultats qui sont parfaitement au programme en dépendent.
Donc, pour suivre l'ordre logique mathématique, ces résultats doivent être à l'intérieur du Frido. Ils ne peuvent pas être plus bas.
Au contraire:
* la théorie des champs quantiques,
* les fibrés principaux
* les algèbres de Hopf
sont des choses au-delà du programme au sens où ils dépendent de choses au programme de l'agreg, mais rien dans l'agreg ne les utilise. Ces matières donc effectivement dans une extension du Frido
Tout cela pour dire que non, il n'est pas vraiment possible de mettre les choses "hors programme" dans un bouquin "hors Frido".
Ce qui est par contre possible, c'est de ne pas les compiler dans le même pdf pour la version commerciale. Quand on a les bons scripts de compilation, c'est pas très compliqué. D'ailleurs c'est ce qui arrive à une vignette de xkcd présente dans la version en ligne, mais absente de la version commerciale.
Après, il ne faut pas dramatiser : il s'agit en tout pour l'instant de probablement moins de 200 pages; 100 pages pour la théorie de la mesure, 30 pages de distributions, et 10 pages de théorème de représentation de Riesz.
Même en compilant le Frido sans, ça ne ferait pas une grande différence sur le prix d'achat, ni sur le poids à transporter.
[^] # Re: L'analyse au delà de l'agrégation
Posté par LaurentClaessens (site web personnel) . En réponse à la dépêche Le Frido 2018, livre libre de mathématique pour l’agrégation. Évalué à 3.
C'est une grande question. Il faut distinguer les choses qui sont en dehors du programmes des choses qui sont au-delà du programme. Exemples de choses en-dehors :
Ces choses ne sont pas exigibles à l'agreg, et sont en effet très longs à faire complètement. Cependant, de nombreux résultats qui sont parfaitement au programme en dépendent.
Donc, pour suivre l'ordre logique mathématique, ces résultats doivent être à l'intérieur du Frido. Ils ne peuvent pas être plus bas.
Au contraire:
* la théorie des champs quantiques,
* les fibrés principaux
* les algèbres de Hopf
sont des choses au-delà du programme au sens où ils dépendent de choses au programme de l'agreg, mais rien dans l'agreg ne les utilise. Ces matières donc effectivement dans une extension du Frido
Tout cela pour dire que non, il n'est pas vraiment possible de mettre les choses "hors programme" dans un bouquin "hors Frido".
Ce qui est par contre possible, c'est de ne pas les compiler dans le même pdf pour la version commerciale. Quand on a les bons scripts de compilation, c'est pas très compliqué. D'ailleurs c'est ce qui arrive à une vignette de xkcd présente dans la version en ligne, mais absente de la version commerciale.
Après, il ne faut pas dramatiser : il s'agit en tout pour l'instant de probablement moins de 200 pages; 100 pages pour la théorie de la mesure, 30 pages de distributions, et 10 pages de théorème de représentation de Riesz.
Même en compilant le Frido sans, ça ne ferait pas une grande différence sur le prix d'achat, ni sur le poids à transporter.