I am trying to understand the following theorem from the book Geodesic flows :

Given a metric $g$ on a simply connected manifold $X$, there exists a constant $C_1>0$ such that given any pair of points $x,y\in X$ and any positive integer $i$, any element in $H_i(\Omega(X,x,y))$ can be represented by a cycle whose image lies in $\Omega^{C_1 i}(X,x,y).$

Here $\Omega(X,x,y)$ is the set of paths in $X$ that start in $x$ and end in $y$, and $\Omega(X,x,y)=E^{-1}(]-\infty,C_1i])$ where $E: \Omega(X,x,y)\rightarrow \mathbb{R}$ is $E(\gamma)=\frac{1}{2}\int_{0}^{1}|\dot \gamma|dt$.

Now the proof starts as follows :

Let $\{V_{\alpha}\} $ be a finite covering of $X$ by convex open set, and let $T$ be a triangulation of $X$.

Doubt : Why can we make this triangulation ? Since there are examples of simply connected manifolds which don't admit one I don't know why this is possible.

For each point $p\in X$ let $T(p)$ be the closed face of $T$ of minimum dimension that contains $p$, and let $O(p)$ be the union of all maximal simplices of $T$ that contain $p$. Then choose a triangulation fine enough so that for all $p\in X$ we have that $O_p$ lies in one of the $V_{\alpha}$. Now given a positive integer $k$ we defined the subsets $\Omega_k(X,x,y)\subset \Omega(X,x,y)$ in the following way : $c\in \Omega(X,x,y) $ if for each integer $j=1,2,...,2^k$ the image under $c$ of each subinterval $[(j-1)/2^k,j/2^k]$ lies in of the $V_\alpha$ and $O(c((j-1)/2^k))\cup O(c(j/2^k))$ lies in the same $V_{\alpha}$.

Now let $B_{k}(X,x,y)\subset \Omega_k(X,x,y)$ be the space of broken geodesics such that $\gamma\in \Omega_k(X,x,y)$. (It's proved in Milnor's book that B_k(X,x,y) is a deformation retract of $\Omega_k(X,x,y)$). Each $\gamma \in B_k(X,x,y)$ determines a sequence of points $\{p_j=\gamma(j/2^k)\}$ such that $p_0=x,p_{2^k}=y$ and $O(p_{j-1})\cup O(p_j)$ lies in a single $V_{\alpha}$ for each $j=1,..,2^k$, and this sequence is bijective. Now observe that this correspondence induces on $B_k(X,x,y)$ a cell decomposition: a cell that contains $\gamma$ is given by $T(p_1)\times T(p_2)\times ... \times T(p_{2^k-1})$.

Doubt : Why is this last statement true ? Don't we need that $T(p_1),T(p_2),...,T(p_{2^k-1})$ all have the same dimensions ? I have no clue why this would be true.

Now given two vertices in the triangulation we can connect them by a unique minimizing geodesic arc. The union of these arcs forms a one-dimensional cycle $\Sigma$ homotopic to the one-skeleton of the triangulation.

Why is this a cycle ? I have tried to compute it but I got nowhere.

Then we can prove the existence of a smooth map $f$ that collapses $\Sigma$ to a point and is smoothly homotopic to the identity, which will induce a map $ f':\Omega(X,x,y)\rightarrow \Omega(X,f(x),f(y))$.

And then the author claims the following :

There exists a constant $C_1>0$ such that for any integer $k\geq 1$, we have that $f'(i$-skeleton of $B_k(X,x,y))\subset \Omega^{C_1 i }(X,f(x),f(y))$ for all $i\leq \dim B_k(X,x,y)$.

The proof of this goes as follows :

Consider a cell $T(p_1)\times T(p_2)\times ... T(p_{2^k-1})$ with dimension $i\leq \dim B_k(X,x,y)$.Take a path $\gamma$ in this cell, then it's a broken geodesic, each leg leying on one $V_{\alpha}$, and since $f$ sends $\Sigma$ to a point we have that $E(f(\gamma))\leq K^2d^2N(\gamma)/2$, where $K:=\max_{x\in X}||d_xf|| $, $d$ is the maximum of the $g$-diameters of all the convex open sets $V_{\alpha}$ and $N(\gamma)$ is the number of lets that do not lie in $\Sigma$. Since $\Sigma$ is made up of geodesic segments, the leg of the broken geodesic $\gamma$ that joins $T(p_j)$ to $T(p_{j+1})$ must lie in $\Sigma$ if $1\leq j<2^k-1$ and $\dim T(p_j)=\dim T(p_{j=1})=0$. Thus the only lets that could fail to lie in $\Sigma$ are the initial leg, the final leg and the legs that begin or end in a $p_j$ with $\dim T(p_j)\neq 0$. Then the author claims that $N(\gamma)\leq 2+2i\leq 4i$. And I don't understand where does the $2i$ comes from.

Then the proof continues but the rest I understand. Any help with this is appreciated, I know it's more that one question but I think it's best to treat this all together. Thanks in advance.