Splitting theorems of riemannian manifolds