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