1: \begin{definition}\cite[Definition 2.34]{Felix-Oprea-Tanre:algmodgeom}

2: Two topological spaces $X$ and $Y$ have the same

3: \emph{rational homotopy type} if

4: there exists a finite sequence of continuous applications

5: $$X\buildrel{f_0}\over\rightarrow Y_1\buildrel{f_1}\over\leftarrow Y_2

6: \dots 

7: Y_{n-1}\buildrel{f_{n-1}}\over\leftarrow Y_n\buildrel{f_{n}}\over\rightarrow Y

8: $$

9: such that the induced maps in rational cohomology

10: \begin{multline*}

11: H^*(X;\Q)\buildrel{H^*(f_0)}\over\leftarrow H^*(Y_1;\Q)\buildrel{H^*(f_1)}\over\rightarrow H^*(Y_2;\Q)

12: \dots

13: H^*(Y_{n-1}1;\Q)\\\buildrel{H^*(f_{n-1})}\over\rightarrow H^*(Y_n;\Q)\buildrel{H^*(f_{n})}\over\leftarrow H^*(Y;\Q)

14: \end{multline*}

15: are all isomorphisms. 

16: \begin{theorem}\label{modele minimal unique et groupes d'homotopie}

17: Let $X$ be a path connected topological space.

18: 

19: 1) (Unicity of minimal Sullivan models~\cite[Corollary p. 191]{Felix-Halperin-Thomas:ratht}) Two minimal Sullivan models of $A_{PL}(X)$ are isomorphic.

20: 

21: 2) Suppose that $X$ is simply connected and $\forall n\in\mathbb{N}$, $H_n(X;\kk)$ is finite dimensional.

22: Let $(\Lambda V,d)$ be a minimal Sullivan model of $X$.

23: Then~\cite[Theorem 15.11]{Felix-Halperin-Thomas:ratht} for all $n\in\mathbb{N}$, $V^n$ is isomorphic to

24: $\text{Hom}_\kk(\pi_n(X)\otimes_\mathbb{Z} \kk,\kk)\cong\text{Hom}_\mathbb{Z}(\pi_n(X),\kk)$.

25: In particular~\cite[Remark 1 p.208]{Felix-Halperin-Thomas:ratht}, $\text{Dimension } V^n=  \text{Dimension } \pi_n(X)\otimes_\mathbb{Z} \kk < \infty$.

26: \end{theorem}

27: \begin{remark}

28: The isomorphim of graded vector spaces between $V$ and $\text{Hom}_\kk(\pi_*(X)\otimes_\mathbb{Z} \kk,\kk)$ is natural in some sense~\cite[p. 75-6]{Felix-Oprea-Tanre:algmodgeom}

29: with respect to maps $f:X\rightarrow Y$.

30: The isomorphism behaves well also with respect to the long exact sequence associated to a (Serre) fibration (\cite[Proposition 15.13]{Felix-Halperin-Thomas:ratht}

31: or~\cite[Proposition 2.65]{Felix-Oprea-Tanre:algmodgeom}).

32: \end{remark}

33: \end{definition}

34: