By introducing the noncommutative differential calculus on the function space of the infinite/finite set and construct a homotopy operator, one prove the analogue of the Poincaré lemma for the difference complex. As an application of the differential calculus, a two dimensional integral model can be derived from the noncommutative differential calculus.