Refined formulation of quantum analysis, q-derivative and exponential splitting