This question is similar to other questions on MSE, but none of them has an answer which satisfies me. Given an infinite dimensional complex Banach space $X$, $T \in B(H)$ is Fredholm iff the cokernel and the kernel are finite dimensional (if the dimension of the cokernel is finite dimensional, the range is closed, so I have not written this last condition because it is redundant). Now, for Hilbert spaces it can be shown, using decompositions in direct orthogonal sums, that $\dim \operatorname{coker} T < \infty$ is equivalent to $\dim \ker T^* < \infty$., where $T^*$ is the adjoint of $T$. The adjoint can be defined even for general Banach spaces. Moreover, we can define a notion of orthogonal complement in Banach spaces using the dual space $X^*$. When $X$ is reflexive, we can obtain properties of orthogonality which are similar to Hilbert spaces (when $X$ is not reflexive, some analoguous facts which hold for Hilbert spaces are not anymore valid). So, I would expect that $\dim \operatorname{coker} T < \infty \Leftrightarrow \dim \ker T^* < \infty$ could be true for $X$ reflexive. But what happens for general Banach spaces? A proof as in the case of Hilbert spaces seem to be not anymore possible, but maybe something else could work. So my question is: does this equivalence still hold in general? If the answer is yes, could you please provide some reference with a proof of this fact?
EDIT: @s.harp Even though your proof seems correct to me, consider the Toeplitz operator with symbol $(z-1)$ on $H^2$. The kernel of this operator and the kernel of its adjoint are both trivial, so they have dimension $0$. This would imply that the dimension of the cokernel is finite, which implies that the range of the operator is closed. However, this Toeplitz operator has a dense - but not closed - range. Maybe this fact depends on the logical axioms used (as, for instance, in the case of Whitehead problem)?