Yvonne Choquet-Bruhat (French: [ivɔn ʃɔkɛ bʁy.a] ⓘ; born 29 December 1923) is a French mathematician and physicist. She has made seminal contributions to the study of Einstein's general theory of relativity, by showing that the Einstein equations can be put into the form of an initial value problem which is well-posed. In 2015, her breakthrough paper was listed by the journal Classical and Quantum Gravity as one of thirteen 'milestone' results in the study of general relativity, across the hundred years in which it had been studied.
 She was the first woman to be elected to the French Academy of Sciences and is a Grand Officier of the Légion d'honneur.
 Yvonne Bruhat was born in Lille in 1923. Her mother was the philosophy professor Berthe Hubert and her father was the physicist Georges Bruhat, who died in 1945 in the concentration camp Oranienburg-Sachsenhausen.  Her brother François Bruhat also became a mathematician, making notable contributions to the study of algebraic groups.
 Bruhat undertook her secondary school education in Paris. In 1941 she entered the prestigious Concours Général national competition, winning the silver medal for physics. From 1943 to 1946 she studied at the École Normale Supérieure in Paris, and from 1946 was a teaching assistant there and undertook research advised by André Lichnerowicz.
 From 1949 to 1951 she was a research assistant at the French National Centre for Scientific Research, as a result of which she received her doctorate.
 In 1951, she became a postdoctoral researcher at the Institute for Advanced Study in Princeton, New Jersey. Her supervisor, Jean Leray, suggested that she study the dynamics of the Einstein field equations. He also introduced her to Albert Einstein, whom she consulted with a few times further during her time at the Institute.
 In 1952, Bruhat and her husband were both offered jobs at Marseilles, precipitating her early departure from the Institute. In the same year, she published the local existence and uniqueness of solutions to the vacuum Einstein Equations, her most renowned achievement. Her work proves the well-posedness of the Einstein equations, and started the study of dynamics in General Relativity.
 In 1947, she married fellow mathematician Léonce Fourès. Their daughter Michelle is now (as of 2016) an ecologist. Her doctoral work and early research is under the name Yvonne Fourès-Bruhat. In 1960, Bruhat and Fourès divorced, with her later marrying the mathematician Gustave Choquet and changing her last name to Choquet-Bruhat. She and Choquet had two children; her son, Daniel Choquet, is a neuroscientist and her daughter, Geneviève, is a doctor.
 In 1958, she was awarded the CNRS Silver Medal. From 1958 to 1959 she taught at the University of Reims.  In 1960 she became a professor at the Université Pierre-et-Marie-Curie (UPMC) in Paris, and has remained professor or professor emeritus until her retirement in 1992.
 At the Universite Pierre et Marie Curie she continued to make significant contributions to mathematical physics, notably in general relativity, supergravity, and the non-Abelian gauge theories of the standard model. Her work in 1981 with Demetrios Christodoulou showed the existence of global solutions of the Yang-Mills, Higgs, and Spinor Field Equations in 3+1 Dimensions. Additionally in 1984 she made perhaps the first study by a mathematician of supergravity with results that can be extended to the currently important model in D=11 dimensions.
 In 1978 Yvonne Choquet-Bruhat was elected a correspondent to the Academy of Sciences and on 14 May 1979 became the first woman to be elected a full member. From 1980 to 1983 she was President of the Comité international de relativité générale et gravitation ("International committee on general relativity and gravitation").  In 1985 she was elected to the American Academy of Arts and Sciences.  In 1986 she was chosen to deliver the prestigious  Noether Lecture by the Association for Women in Mathematics.
 Choquet-Bruhat's best-known research deals with the mathematical nature of the initial data formulation of general relativity. A summary of results can be phrased purely in terms of standard differential geometric objects.
 In this sense, an initial data set can be viewed as the prescription of the submanifold geometry of an embedded spacelike hypersurface in a Lorentzian manifold.
 One of Choquet-Bruhat's seminal 1952 results states the following:
 Every vacuum initial data set (M, g, k) has a development f : M → (M, g) such that g has zero Ricci curvature, and such that every inextendible timelike curve in the Lorentzian manifold (M, g) intersects f(M) exactly once. Briefly, this can be summarized as saying that (M, g) is a vacuum spacetime for which f(M) is a Cauchy surface. Such a development is called a globally hyperbolic vacuum development. Choquet-Bruhat also proved a uniqueness theorem:
 Given any two globally hyperbolic vacuum developments f1 : M → (M1, g1) and f2 : M → (M2, g2) of the same vacuum initial data set, there is an open subset U1 of M1 containing f1(M) and an open subset U2 of M2 containing f1(M), together with an isometry i : (U1, g1) → (U2, g2) such that i(f1(p)) = f2(p) for all p in M. In a slightly imprecise form, this says: given any embedded spacelike hypersurface M of a Ricci-flat Lorentzian manifold M, the geometry of M near M is fully determined by the submanifold geometry of M.
 In an article written with Robert Geroch in 1969, Choquet-Bruhat fully clarified the nature of uniqueness. With a two-page argument in point-set topology using Zorn's lemma, they showed that Choquet-Bruhat's above existence and uniqueness theorems automatically imply a global uniqueness theorem:
 Any vacuum initial data set (M, g, k) has a maximal globally hyperbolic vacuum development, meaning a globally hyperbolic vacuum development f : M → (M, g) such that, for any other globally hyperbolic vacuum development f1 : M → (M1, g1), there is an open subset U of M containing f(M) and an isometry i : M1 → U such that i(f1(p)) = f(p) for all p in M.Any two maximal globally hyperbolic vacuum developments of the same vacuum initial data are isometric to one another. It is now common to study such developments. For instance, the well-known theorem of Demetrios Christodoulou and Sergiu Klainerman on stability of Minkowski space asserts that if (ℝ3, g, k) is a vacuum initial data set with g and k sufficiently close to zero (in a certain precise form), then its maximal globally hyperbolic vacuum development is geodesically complete and geometrically close to Minkowski space.
 Choquet-Bruhat's proof makes use of a clever choice of coordinates, the wave coordinates (which are the Lorentzian equivalent to the harmonic coordinates), in which the Einstein equations become a system of hyperbolic partial differential equations, for which well-posedness results can be applied.
 Articles
 Survey articles
 Technical books
 Popular book