عبارة معرفة جيدا

عبارة معرفة جيدًا أو عبارة لا لبس فيها هي عبارة رياضية يُعطِي تعريفها معنى فريد أو قيمة فريدة، عدا ذلك، يُقال إن العبارة غير معرفة جيدًا أو غير محددة أو غامضة. تكون الدالة معرفة جيدًا إذا أعطت نفس الخرج لو تغيرت صورة المدخل مع ثبات قيمته. كمثال، لو كانت الدالة f على الشكل التالي $f(\frac{a}{b})=a+b$ فإن قيمتها عند f(2/4) لا تساوي قيمتها عند f(1/2)، لذا فإن الدالة f غير معرفة جيدًا (وبالتالي فهي ليست دالة). يمكن أيضًا استخدام مصطلح «معرفة جيدًا» للإشارة لخلو العبارة المنطقية من اللبس أو التناقض.

بالنسبة للدالة لا يعني تعبير «غير معرفة جيدًا» نفس الشئ كدالة غير معرفة. فمثلًا، للدالة f(x)=1/x، فإن قيمتها f(0) (التي لا يمكن معرفتها على وجه الدقة) لا تعني أن الدالة f «غير معرفة جيدًا» - ولكن تعني ببساطة أن 0 ليس في قيم مجال الدالة f.

مثال

لنفرض أن$A_0,A_1$ مجموعتان، وبفرض أن $A=A_0\cup A_1$ و«بتعريف» الدالة f $f:A\to \{0,1\}$ حيث $f(a)=0$ إذا كانت $a\in A_0$ (أي أن كل مدخلات الدالة f من المجموعة $A_0$ أنتجت 0) و$f(a)=1$ إذا كانت$a\in A_1$ (أي أن كل مدخلات الدالة f من المجموعة $A_1$ أنتجت 1).

لذا الدالة $f$ تصبح معرفة جيدًا إذا كان تقاطع المجموعتين هو المجموعة الخالية $A_0\cap A_1=\mathrm{\varnothing }$.

ولكن إذا كان تقاطعهما لا يساوي المجموعة الخالية $A_0\cap A_1\ne \mathrm{\varnothing }$، فإن $f$ لا تعد معرفة جيدًا لأنه في هذه الحالة لا نستطيع تحديد قيمة $f(a)$ لأن $a\in A_0\cap A_1$ (لأن a موجودة في كلتا المجموعتين). كمثال في المجموعتين التاليتين $A_0:=\{2\}$ و$A_1:=\{2\}$، يصعب تحديد قيمة $f(2)$ هل هي 0 أو 1، مما يجعلها غامضة. وبناءا عليه نقول أن $f$ غير معرفة جيدًا وبالتالي ليست دالة.

استخدامات أخرى للمصطلح

يُقال إن حل المعادلة التفاضلية الجزئية «معرف جيدًا» إذا كان الحل دالة مستمرة معرفة (ذات قيم) عند الشروط الحدية "boundary conditions".

أنظر أيضا

• وجود
• غير معرف
• صيغة جيدة التكوين

مصادر

• Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, قالب:ردمك.
• Algebra: Chapter 0, Paolo Aluffi, قالب:ردمك. Page 16.