Fredholm theories in von Neumann algebras. I