Krasner Marc

En 1935, à Paris, Marc Krasner soutient son doctorat après être arrivé en France à la fin de ses études secondaires. Il devient ensuite chercheur au CNRS, puis enseignant à Clermont-Ferrand et à l'université Pierre-et-Marie-Curie. Ses travaux portent sur des nombres et des structures qui permettent de mesurer autrement la proximité entre éléments. Cette approche le conduit à étudier les corps p-adiques, les corps valués et l'analyse ultramétrique. Une notion de théorie des corps, l'espace de Krasner, garde aujourd'hui son nom.

Marc Krasner est un mathématicien français d'origine russe, né en 1912 et mort en 1985. Son domaine se situe au croisement de l'algèbre et de la théorie des nombres. Il s'est spécialisé dans l'étude des corps p-adiques, des corps valués et de l'analyse ultramétrique. Ces domaines examinent des structures algébriques munies d'une manière particulière de comparer les éléments, notamment par une notion de valeur ou de distance adaptée au problème étudié.

La notion associée directement à son nom est l'espace de Krasner. Elle appartient à la théorie des corps valués et la source la présente comme une notion fondamentale de ce domaine. La fiche ne doit pas confondre cette attribution avec celle d'un lieu ou d'un espace géométrique ordinaire : le mot « espace » désigne ici une construction mathématique. Les informations disponibles permettent d'établir le domaine et l'importance de cette notion, mais elles ne donnent pas sa définition formelle ni ses propriétés détaillées.

Sa trajectoire scientifique passe d'abord par le CNRS, puis par l'université de Clermont-Ferrand à partir de 1960 et l'université Pierre-et-Marie-Curie à Paris à partir de 1965. Après sa retraite en 1980, il continue de rédiger et de mettre en forme ses travaux accumulés. Il réfléchit également aux fondements et à la signification des structures abstraites qu'il contribue à développer.

Cette section propose une frise biographique : elle situe les étapes documentées du parcours de Marc Krasner et prépare la lecture des domaines associés à son nom. Elle ne décrit pas le fonctionnement de l'espace de Krasner. Les repères disponibles sont les suivants : naissance en 1912 ; doctorat soutenu à Paris en 1935 ; arrivée à l'université de Clermont-Ferrand à partir de 1960 ; arrivée à l'université Pierre-et-Marie-Curie à Paris à partir de 1965 ; retraite en 1980 ; décès en 1985.

1. Le doctorat situe le début de son parcours scientifique reconnu dans la source : il est soutenu à Paris en 1935.
2. La carrière passe ensuite par le CNRS, sans date de début précisée dans les informations disponibles.
3. À partir de 1960, l'université de Clermont-Ferrand devient un nouveau cadre de sa carrière.
4. À partir de 1965, il poursuit cette carrière à l'université Pierre-et-Marie-Curie à Paris.
5. En 1980, la retraite ne met pas fin à son activité d'écriture : il continue de mettre en forme ses travaux accumulés.
6. En 1985, sa vie s'achève ; son nom reste attaché à l'espace de Krasner, notion fondamentale en théorie des corps valués.

Ce déroulé sert à contrôler chaque date et à distinguer le parcours biographique de l'étude mathématique de l'espace de Krasner. Il documente le parcours et l'attribution du nom ; la partie pratique montre ensuite comment lire ces repères sans leur ajouter une précision absente.

Pour situer Marc Krasner dans l'histoire des mathématiques, on commence par le repère daté le plus précis : son doctorat soutenu à Paris en 1935. Ce repère est préférable à une date déduite pour le début de sa carrière au CNRS, qui n'est pas fournie ici.

Pour lire les dates de carrière sans les surinterpréter, on retient que le passage au CNRS n'est pas daté, tandis que les deux changements universitaires sont seulement repérés à partir de 1960 et de 1965.

Pour vérifier le parcours dans la fiche, on associe chaque repère à son événement, puis on sépare les dates établies des périodes seulement indiquées par « à partir de ». Par exemple, 1960 se lit comme le début indiqué de l'étape à Clermont-Ferrand, tandis que 1965 est le début indiqué de l'étape à l'université Pierre-et-Marie-Curie à Paris : ni l'un ni l'autre ne devient une date d'arrivée exacte.

L'espace de Krasner ne doit pas être pris pour un espace géométrique ordinaire. Le critère qui tranche est le domaine : la source le rattache à la théorie des corps valués, et non à la description d'une figure ou d'un lieu. Un texte qui évoque des corps valués et l'analyse ultramétrique renvoie au cadre mathématique associé à Krasner.

Les corps p-adiques, les corps valués et l'analyse ultramétrique ne sont pas trois noms interchangeables. Ils désignent trois thèmes distincts que la source réunit parmi ses domaines de recherche. Pour les distinguer, il faut conserver le terme exact employé par le texte au lieu de remplacer toute la liste par « théorie des nombres ».

La source ne fournit pas la définition formelle de l'espace de Krasner, ni une formule, ni un exemple calculé. Il serait donc abusif d'en déduire ici des propriétés précises. Le bon réflexe consiste à limiter l'affirmation sûre à son statut : une notion fondamentale de la théorie des corps valués qui porte le nom de Marc Krasner.

Les dates de carrière sont partielles. La source date le doctorat à 1935, l'arrivée à Clermont-Ferrand à partir de 1960, l'arrivée à l'université Pierre-et-Marie-Curie à partir de 1965, la retraite en 1980 et le décès en 1985. Elle ne date pas le début du passage au CNRS ; il ne faut donc pas lui attribuer une année.

La retraite ne constitue pas un arrêt complet de son travail. Dans le cas décrit, Marc Krasner continue à rédiger et à mettre en forme ses travaux accumulés après 1980. Il faut donc distinguer la fin de la carrière institutionnelle de la poursuite d'une activité intellectuelle.

Pour prolonger la lecture, on peut revenir aux quatre axes mathématiques associés à Marc Krasner dans la source : algèbre, théorie des nombres, corps p-adiques et corps valués. Leur rapprochement permet de comprendre pourquoi l'analyse ultramétrique et l'espace de Krasner apparaissent dans un même parcours, sans attribuer à la source une définition formelle qu'elle ne donne pas.