理论力学定义