- مُشتقة ليي للدوال القياسية

الان نريد ان نترجم المناقشة السابقة في شكل شرط على التحويلات الإحداثية المتناهية الصغر التي تأخذ الصورة العامة التالية:



لتوليد (إنتاج) تناظر للممتد المتري. في المعادلة السابقة نجد ان تمثل مقدار متناهي الصغر و عبارة عن حقل إتجاهي (متجه) و ذلك نسبة لانه على الرغم من ان الإحداثيات لا تتحول كتحول المتجهات، الا ان التغيرات المتناهية في الصغر للاحداثيات تتحول كمتجهات

لذلك يمكن ان نتعامل مع على انها . الان نفترض ان لدينا دالة قياسية و اذا قمنا باجراء التحويل الاحداثي متناهي الصغر (3) فان الدالة القياسية سوف تعتمد على الاحداثي الجديد و هكذا يمكننا مقارنة المُعرفة في نظام الاحداثيات x مع المُعرفة في نظام الاحداثيات الجديد y، و لما كانت الدالة القياسية غير متغيرة عند التحويل من مناط احداثي الى آخر فان . و لذلك فان




وباجراء تمديد (مفكوك) تايلور للدالة حول النقطة x نحصل على




و لما كانت متناهية في الصغر فاننا سوف نهمل مربعها و نكتفي فقط بالحدود الاول (الرتبة الصفرية ) و الثاني في المفكوك (الرتبة الاولى ) اي ان :





و بالتعويض في المعادلة (5) سوف نحصل على



وبقسمة الطرفين على و اخذ النهاية عند (هذا يبرر اسقاط الحد الذي يحتوي على مربع في مفكوك تايلور) فسوف نحصل على تعريف مشتقة ليي على الدوال القياسية



ومن هنا نلاحظ ان مشتقة ليي على الدوال القيايسة هي ببساطة عبارة عن المشتقة الإتجاهية الاعتيادية، وهذا شئ متوقع جداً لانه اذا كانت الدالة تخضع لتناظر ما في اتجاه معين (المتجه V) فيجب ان تنعدم مشتقتها في ذالك الاتجاه اي لا تتغير قيمتها و تظل ثابة في ذلك الاتجاه.