مبرهنة ليوفيل liouville s theorem مبرهنة رياضياتية للعالم و الرياضياتي الفرنسي جوزيف ليوفيل و هي مبرهنة رياضية تعطي معادلة تربط بين تطور حجم volume مجموعة نقاط مبدئية (initial condition) لنظام معين (system) في الزمن و هذا الحجم.
لنفرض أنه لدينا مجموعة نقاط X حجم هذه المجموعة في فضاء بعده n يمكن فهمه على أنه دالة نسميها ρ من ال و هي دالة تنسب لكل مجموعة من حجمها. و من البديهي أنه على هذه الدالة أن تكون موجبة دائما حيث أنه لا وجود لحجم سالب. و بهذا يكون حجم المجموعة X:
فلنفرض أنه لدينا النظام التالي:
و مجموعة من النقاط البدئية X يمكن أن ننسب لها حجما
و إذا فرضنا أن هي مجموعة حلول النظام the set of the flows فإن مبرهنة ليوفيل تقول ما يلي:
حيث