Definition of the problem
Let $\mathcal{H}$ be a separable Hilbert space and $J\subset\mathbb{N}$ an index set. Let $\Phi:=\left(\varphi_{j}\right)_{j\in J}\subset\mathcal{H}$ be a frame for $\mathcal{H}$, i.e. $\exists A,B>0\,\forall x\in\mathcal{H},\, A\left\Vert x\right\Vert ^{2}\leq\sum_{j\in J}\left|\left\langle x,\varphi_{j}\right\rangle \right|^{2}\leq B\left\Vert x\right\Vert ^{2}$.
Show that the closed linear span $cls\left\{ \varphi_{j}:j\in J\right\} :=\overline{span\left\{ \varphi_{j}:j\in J\right\} }$ coincides with $\mathcal{H}$. Furthermore, show that $\left(\left\Vert \varphi_{j}\right\Vert \right)_{j\in J}$ is always bounded.
My efforts
For the first part, I have tried to prove that the synthesis operator $T_{\Phi}^{\star}:\ell_{2}\left(J\right)\rightarrow\mathcal{H}$ is surjective. We know that the analysis operator $T_{\Phi}:\mathcal{H}\rightarrow\ell_{2}\left(J\right)$ of $\Phi$ is injective. Since the synthesis operator is the adjoint operator of the analysis operator, we have that $ (\star)\ \forall x\in\mathcal{H},\, y\in\ell_{2}\left(J\right):\quad\left\langle T_{\Phi}x,y\right\rangle _{\ell_{2}\left(J\right)}=\left\langle x,T_{\Phi}^{\star}y\right\rangle _{\mathcal{H}}. $
From this, I derive that $T_{\Phi}^{\star}$ has the form $T_{\Phi}^{\star}\left(c_{j}\right)=\sum_{j\in J}c_{j}\varphi_{j},\,\left(c_{j}\right)\in\ell_{2}\left(J\right)$.
Since $\left(\star\right)$ must hold, we have that $\left(\star\star\right)\ \ker T_{\Phi}=\left(ran\, T_{\Phi}^{\star}\right)^{\perp}.$ And since $T_{\Phi}$ is injective, we have that its kernel is the trivial kernel, i.e. $\ker T_{\Phi}=\left\{ 0\right\} $. From this point, I do not see how to use this to prove $\left(\star\star\right)$.
After having shown that the synthesis operator $T_{\Phi}^{\star}:\ell_{2}\left(J\right)\rightarrow\mathcal{H}$ is surjective, and has the form $T_{\Phi}^{\star}\left(c_{j}\right)=\sum_{j\in J}c_{j}\varphi_{j},\,\left(c_{j}\right)\in\ell_{2}\left(J\right)$, we know that all points in codomain $\mathcal{H}$ are covered by $T_{\Phi}^{\star}$. It seems to me that the synthesis operator has kind of the form of a linear combination of the frame-vectors of $\Phi$.
My question
How can I complete the proof of the surjectivity of the synthesis operator, and how can I properly interpert that to show that the closed linear span of $\Phi$ coincide with $\mathcal{H}$.
Thank you, Franck!