دالة ارتدادية

إذا كنت تريد الاستخدامات الأخرى، انظر ارتداد (توضيح).

يجب ألا يـُخلـَط بينها وبين استدعاء ذاتي.

دالة ذاتية الانعكاس $f:X\to X$، هي دالة عندما تطبق مرتين تعود بنا إلى نقطة الانطلاق.

في الرياضيات، الدالة الارتدادية أو الدالة ذاتية الانعكاس إنگليزية: involutory function هي دالة تساوي دالتها العكسية. رياضياً: الدالة $f$ تُعدُّ ارتداديَّةً إذا وفقط إذا:

$f(f(x))=x$

for all x in the domain of f. Equivalently, applying f twice produces the original value.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 السمات العامة

Any involution is a bijection.

The identity map is a trivial example of an involution. Examples of nontrivial involutions include negation ($x\mapsto -x$), reciprocation ($x\mapsto 1/x$), and complex conjugation ($z\mapsto {\bar {z}}$) in arithmetic; reflection, half-turn rotation, and circle inversion in geometry; complementation in set theory; and reciprocal ciphers such as the ROT13 transformation and the Beaufort polyalphabetic cipher.

The composition g ∘ f of two involutions f and g is an involution if and only if they commute: g ∘ f = f ∘ g.

 الارتداد في الفئات المحدودة

The number of involutions, including the identity involution, on a set with n = 0, 1, 2, ... elements is given by a recurrence relation found by Heinrich August Rothe in 1800:

$a_{0}=a_{1}=1$ and $a_{n}=a_{n-1}+(n-1)a_{n-2}$ for $n>1.$

The first few terms of this sequence are 1, 1, 2, 4, 10, 26, 76, 232 (المتتالية A000085 في OEIS); these numbers are called the telephone numbers, and they also count the number of Young tableaux with a given number of cells. The number $a_{n}$ can also be expressed by non-recursive formulas, such as the sum

$$a_{n}=\sum _{m=0}^{\lfloor {\frac {n}{2}}\rfloor }{\frac {n!}{2^{m}m!(n-2m)!}}.$$

The number of fixed points of an involution on a finite set and its number of elements have the same parity. Thus the number of fixed points of all the involutions on a given finite set have the same parity. In particular, every involution on an odd number of elements has at least one fixed point. This can be used to prove Fermat's two squares theorem.

 الارتداد في مجالات الرياضيات

 ما قبل التفاضل

Some basic examples of involutions include the functions

$${\begin{alignedat}{4}f_{1}(x)&=-x,\\f_{2}(x)&={\frac {1}{x}},\\f_{3}(x)&={\frac {x}{x-1}},\\\end{alignedat}}$$

the composition $f_{4}(x):=(f_{1}\circ f_{2})(x)=(f_{2}\circ f_{1})(x)=-{\frac {1}{x}},$ and more generally the function

$$g(x)={\frac {b-x}{1+cx}}$$

is an involution for constants $b$ and $c$ that satisfy $bc\neq -1.$

These are not the only pre-calculus involutions. Another one within the positive reals is

$$f(x)=\ln \left({\frac {e^{x}+1}{e^{x}-1}}\right).$$

The graph of an involution (on the real numbers) is symmetric across the line $y=x$. This is due to the fact that the inverse of any general function will be its reflection over the line $y=x$. This can be seen by "swapping" $x$ with $y$. If, in particular, the function is an involution, then its graph is its own reflection.

Other elementary involutions are useful in solving functional equations.

 الهندسة الاقليدية

A simple example of an involution of the three-dimensional Euclidean space is reflection through a plane. Performing a reflection twice brings a point back to its original coordinates.

Another involution is reflection through the origin; not a reflection in the above sense, and so, a distinct example.

These transformations are examples of affine involutions.

 الهندسة الوصفية

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

إذا نقطتين لشكلين متطابقين، يتقابلان بطريقة مزدوجة، فإن أي نقطتين آخرتين يتقابلان أيضا بطريقة مزدوجة.

مثلا معلوم رباعي A, B و C, D، وحيث تم تحديد بطريقة تحكمية نقطة X. مطلوب إنشاء نجمة ثمانية بحيث يكون بين رؤوسها علافة التفافية.

إنشاء نجمة ثمانية غير منتظمة باستخدام العلاقة الالتفافية

في هذه الحالة يكمن الحل في اعتماد اثنتين من العلاقات التقابلية الالتفافية: واحدة مركزها النقطة P ومحورها الخط p؛ والعلاقة الأخرى مركزها U ومحورها u. علما بأن النقاط المتقابلة تكون مصطفة مع مركز التقابل والخطوط المتقابلة تلتقي على طول محور التقابل.

 معرض صور

• 

  خط بنقطة بعيدة نسبيا

• 

  علاقة التفافية على قطع ناقص- Involution

• 

  مقطع طولي يبين العلاقة الارتدادية بين سطحين من الدرجة الثانية (سطح ناقصي وكرة)

 انظر أيضاً

• قطبية (هندسة)
• تماثل ذاتي
• استدعاء ذاتي
• روت 13

 للاستزادة

• Ell, Todd A.; Sangwine, Stephen J. (2007). "Quaternion involutions and anti-involutions". Computers & Mathematics with Applications. 53 (1): 137–143. arXiv:math/0506034. doi:10.1016/j.camwa.2006.10.029. S2CID 45639619.
• Knus, Max-Albert; Merkurjev, Alexander; Rost, Markus; Tignol, Jean-Pierre (1998), The book of involutions, Colloquium Publications, 44, With a preface by J. Tits, Providence, RI: American Mathematical Society, ISBN 0-8218-0904-0 
• Hazewinkel, Michiel, ed. (2001), "Involution", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104