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

عبارة معرفة جيدًا أو عبارة لا لبس فيها هي عبارة رياضية يُعطِي تعريفها معنى فريد أو قيمة فريدة، عدا ذلك، يُقال إن العبارة غير معرفة جيدًا أو غير محددة أو غامضة. تكون الدالة معرفة جيدًا إذا أعطت نفس الخرج لو تغيرت صورة المدخل مع ثبات قيمته. كمثالB. Goddard (https://math.stackexchange.com/users/362009/b-goddard), Well defined function meaning, URL (version: 2016-11-18): https://math.stackexchange.com/q/2019861 ، لو كانت الدالة f على الشكل التالي  فإن قيمتها عند f(2/4) لا تساوي قيمتها عند f(1/2)، لذا فإن الدالة f غير معرفة جيدًا (وبالتالي فهي ليست دالة).Joseph J. Rotman, The Theory of Groups: an Introduction, p. 287 "... a function is "single-valued," or, as we prefer to say ... a function is well defined.", Allyn and Bacon, 1965. يمكن أيضًا استخدام مصطلح «معرفة جيدًا» للإشارة لخلو العبارة المنطقية من اللبس أو التناقض.

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

 مثال 
لنفرض أن مجموعتان، وبفرض أن  و«بتعريف» الدالة f  حيث  إذا كانت  (أي أن كل مدخلات الدالة f من المجموعة  أنتجت 0) و إذا كانت (أي أن كل مدخلات الدالة f من المجموعة  أنتجت 1).Abstract Algebra, Dummit and Foote, 3rd edition. Page 1

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

ولكن إذا كان تقاطعهما لا يساوي المجموعة الخالية ، فإن  لا تعد معرفة جيدًا لأنه في هذه الحالة لا نستطيع تحديد قيمة  لأن  (لأن a موجودة في كلتا المجموعتين). كمثال في المجموعتين التاليتين  و، يصعب تحديد قيمة  هل هي 0 أو 1، مما يجعلها غامضة. وبناءا عليه نقول أن  غير معرفة جيدًا وبالتالي ليست دالة.

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

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

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

 مراجع 

تصنيف:مصطلحات الرياضيات
تصنيف:تعريف