added basic definitions of probability space and sigma algebras