دالة متناظرة

في الرياضيات، دالة متناظرة قالب:إنج عدد متغيراتها هو n هي دالة لا تتغير قيمتها عندما تتعرض مجموعة مداخلها إلى تبديل ما. رغم أنه هذا المفهوم قد يعرف بالنسبة إلى جميع أنواع الدوال، إلا أنه عادة ما يستعمل بالنسبة للدوال كثيرة الحدود.

أمثلة

• لتكن الدالة التالية

$f(x_1,x_2,x_3)=(x-x_1)(x-x_2)(x-x_3)$

من خلال التعريف، دالة متناظرة عدد متغيراتها هو n، تملك الخاصية التالية:

$f(x_1,x_2,...,x_n)=f(x_2,x_1,...,x_n)=f(x_3,x_1,...,x_n,x_{n-1})$ etc.

بشكل عام، قيمة الدالة لا تتغير عندما يُطبق تبديل ما على متغيراتها.

$(x-x_1)(x-x_2)(x-x_3)=(x-x_2)(x-x_1)(x-x_3)=(x-x_3)(x-x_1)(x-x_2)$

وهكذا بالنسبة لجميع التباديل المطبقة على المتغيرات $x_1,x_2,x_3$.

• لتكن الدالة التالية:

$f(x,y)=x^2+y^2-r^2$

إذا أخذ x مكان y وy مكان x، فإن الدالة تصير كما يلي:

$f(y,x)=y^2+x^2-r^2$

• لتكن الآن الدالة التالية:

$f(x,y)=a{x}^2+b{y}^2-r^2$

إذا أخذ x مكان y وy مكان x، فإن الدالة تصير كما يلي:

$f(y,x)=a{y}^2+b{x}^2-r^2.$

هذه الدالة، بطبيعة الحال، تختلف عن الدالة الأصلية إذا كان قالب:بدون لف، مما يجعل منها دالة غير متناظرة.