المتغير الحر والمتغير المقيد

قبل ذكر المعنى الدقيق للمتغير الحر والمتغير المُقيد، فيما يلي مجموعة من الامثلة التي يمكن ان تجعل هذين المصطلحين أكثر وضوحًا.

في التعبير الرياضي

${\displaystyle \sum _{k=1}^{10}f(k,n),}$

nهو متغير حر وk هو متغير مُقيد؛ بتالي قيمة تعبير الرياضي تعتمد على قيمةnولا تعتمد على قيمة k .

${\displaystyle \int _{0}^{\infty }x^{y-1}e^{-x}\,dx,}$

yهو متغير حر و x هو متغير مُقيد؛ بتالي قيمة التعبير معتمدة على قيمة y ولا تتأثر بقيمة x .

${\displaystyle \lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}},}$

المتغير x هو متغير حر والمتغير h متغير مُقيد؛ بتالي قيمة تعبير الرياضي على قيمة x ولا تتأثر بقيمة h.

${\displaystyle \forall x\ \exists y\ {\Big [}\varphi (x,y,z){\Big ]},}$

zهو متغير حر و x وy متغيران مُقيدان، مرتبطان مع محددات منطقية؛ بتالي القيمة المنطقية للتعبير تعتمد على قيمة z لكن لا تعتمد على كل من x و y.

بشكل أوسع، بأغلب الإثباتات نعتمد على المتغيرات المُقيدة. في المثال التالي نثبت ان كل مربع لرقم صحيح زوجي قابل للقسمة على ٤. افرض n رقم موجب صحيح زوجي، ثم هناك رقم صحيح k بحيث ${\displaystyle n=2k}$ بتالي${\displaystyle n^{2}=4k^{2}}$ إذا n قابل للقسمة على ٤. ليس فقط kبل أيضا n استخدام كمتغير مُقيد بأثناء الأثبات.

Tree summarizing the syntax of the expression ${\displaystyle \forall x\,((\exists y\,A(x))\vee B(z))}$

شجرة توضح نحوية التعبير الرياضي

أساليب تقيد المتغيرات تحدث في مختلف السياقات في الرياضيات والمنطق وعلم الحاسوب. في جميع الحالات، مع ذلك هم خصائص نحوية بحتة للتعبير الرياضي والمتغيرات في هذه الحالات. في هذا الجزء يمكننا تلخيص النحو على انه تعريف التعبير باستخدام شجرة تكون عقد أوراقها هم المتغيرات، ثوابت، وثوابت الاقتران، أو ثابت مساند. أما الخطوط تدل على الادوات المنطقية. يمكن تحديد التعبير عن طريق مسح هيكل الشجرة.

العوامل المُقيدة للمتغيرات هي عوامل منطقية التي تتواجد في معظم اللغات الرسمية. العامل المُقيدة Q تأخذ طرفان: المتغير v وتعبير الرياضي P، وعند تطبيق العامل مع طرفاه ينتج تعبير جديد Q(v,P). المعنى من ربط المتغيرات يزود من قبل علم الدلالات اللفظية للغة وليس محط اهتمامنا هنا.

تقيد المتغيرات يربط ثلاث أمور: المتغير v والموقع a للمتغير داخل التعبير الرياضي والعقدة غير الورقية (الخط) n لتركيب Q(v,P).

ملاحظة: نحن عرفنا الموقع في التعبير الرياضي على شكل ورقة في الشجرة. يصبح المتغيرمُقيد عندما يكون أسفل العقدة n

في تكامل لامدا، x متغير مُقيد في المعادلة M=λx.T ، والمتغير الحر في تعبير هو.T نحن قلنا xمُقيد في M وحر في T.إذا Tيحتوي على معادلة جانبية λx.U إذن xأُعيد تقيده في هذا التعبير. في هذا التداخل، التقيد الداخلي ل xهو «ظل» التقيد الخارجي. تكرارxفي Uتكرار حر ل xالجديدة.[1]

المتغيرات المُقيدة في أعلى النظام هم تقنيًا متغيرات حرة في داخل التعبير بالنسبة للمُقيدين به لكن أحيانًا يعامل بشكل خاص بسبب قد يكون تم تصنيفه كعنوان ثابت.

بصورة مماثلة، أي مُعرف ربط دالة قابلة للحساب، أيضا تقنيًا هو متغير حر في داخل التعبير لكنه يعامل معاملة خاصة.

عند التحليل في دلالات الرسمية، اللغة الطبيعية يمكن رؤيتها أنها تملك متغيرات حرة ومُقيدة. باللغة الإنجليزية، الضمائر الشخصية مثل (he هو، sheهي،theyهم....إلخ) يمكن ان تعمل كمتغير حر.

Lisa found her book

ليزا وجدت كتابها.

بالجملة بالأعلى ضمير ملكيةher متغير حر. ربما يعود على ليزا أو أي امرأة أخرى. بكلمات أخرى، her book يمكن ان تعود على كتاب ليزا أو كتاب لامرأة أخرى مثل (Jane's book).أيا كان الذي تعود عليه her يمكن تقرير من سياق الجملة. يمكن تعريف الذي يعود عليه الضمير باستخدام كوندكسن المخطوط، بحيث i تدل على الاحتمال الأول و j تدل على الاحتمال الثاني.

هكذا جملة Lisa found her book تُترجم كتالي:

Lisa_i found her_i book (الترجمة الأولى her تعود على Lisa)

Lisa_i found her_j book (الترجمة الثانية her تعود على امرأة أخرى غير Lisa)

الاختلاف ليس واضحًا من ناحية الكتابية، لكن بعض اللغات يكون فيها اختلاف بصيغة بين her_i وher_j مثل النرويجية والسويدية بحيث تترجم her_i إلى sin أما her_j تترجم إلى hennes.

اللغة الإنجليزية تسمح بتحديد على من تحديدًا تعود الضمائر لكنه اختياري؛ بتالي الترجمتان للجملة السابقة مقبولتان (الترجمة الخاطئة من الناحية القواعدية تحدد بنجمة):

Lisa_i found her_i own book (الترجمة الأولى her تعود على Lisa)

Lisa_i found her_j own book*(الترجمة الثانية her تعود على امرأة أخرى غير Lisa)

لكن الضمائر الانعكاسية مثل himself,herself,themselves ...إلخ، والضمائر المتبادلة مثل other، تعمل كمتغيرات مُقيدة في الجمل مثل التالية:

Jane hurt herself (جين أذت نفسها)

الضمير المنعكس herself يمكن فقط ان يعود على الاسم المذكور في جملة، في هذه الحالة Jane، ولا يمكن ان تكون أي امرأة أخرى. في هذا المثال المتغير herself مُقيد بالاسم Jane الموجود في جملة كفاعل. الترجمة الأولى باستخدام كوندكشن الذي تكون فيها Jane و herself مرتبطان مسموح بها، لكن الترجمات الأخرى الآتي لا يكونوا فيها مرتبطين هي خاطئة قواعديًا:

Jane_i hurt herself_i(الترجمة الأولى herself تعود على Jane)

Jane_i hurt herself_j(الترجمة الثانية herself لا تعود على Jane)

ملاحظة: الاسم الذي يعود عليه الضمير المُقيد به يمكن تمثيله عن طريق تعبير تكامل لامدا الذي ذكر سابقًا في جزء الشرح الرسمي. الجملة مع ضمير منعكس يمكن كتابته كتالي:

(λx.xhurtx)Jane

بحيث Jane الفاعل الذي يعود عليه الضمير و λx.xhurtx هو الاقتران المسند إليه التعبير (تعبير تجريدي لامدا) مع رمز لامدا ورمز x توحي بأن الفاعل النحوي والمفعول به النحوي بالجملة مرتبطان، هذا نتيجة الترجمة Jane hurt Jane أي انه أصبح نفس الشخص.

الضمائر يمكن ان تتصرف بطريقة مختلفة، بالجملة التالية:

Ashely hit her(أشيلي ضربتها)

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

Ashely_i hit her_i*(الترجمة الأولى تعود her على Ashely)

Ashely_i hit her_j(الترجمة الثانية her تعود على امرأة أخرى غير Ashely)

الترجمة الأولى غير ممكنة قواعديًا، أما ترجمة الثانية صحيحة قواعديًا. هكذا يمكننا ان نرى ان ضمائر المنعكسة والضمائر المتبادلة هم متغيرات مُقيدة.

(اقرأ أيضا الارتباط (اللغويات)).

• مجال

• بوابة رياضيات
• بوابة علم الحاسوب