عبارة معرفة جيدًا أو عبارة لا لبس فيها هي عبارة رياضية يُعطِي تعريفها معنى فريد أو قيمة فريدة، عدا ذلك، يُقال إن العبارة غير معرفة جيدًا أو غير محددة أو غامضة.[1] تكون الدالة معرفة جيدًا إذا أعطت نفس الخرج لو تغيرت صورة المدخل مع ثبات قيمته. كمثال[2]، لو كانت الدالة f على الشكل التالي [3] فإن قيمتها عند f(2/4) لا تساوي قيمتها عند f(1/2)، لذا فإن الدالة f غير معرفة جيدًا (وبالتالي فهي ليست دالة).[4] يمكن أيضًا استخدام مصطلح «معرفة جيدًا» للإشارة لخلو العبارة المنطقية من اللبس أو التناقض.
بالنسبة للدالة لا يعني تعبير «غير معرفة جيدًا» نفس الشئ كدالة غير معرفة. فمثلًا، للدالة f(x)=1/x، فإن قيمتها f(0) (التي لا يمكن معرفتها على وجه الدقة) لا تعني أن الدالة f «غير معرفة جيدًا» - ولكن تعني ببساطة أن 0 ليس في قيم مجال الدالة f.
مثال
لنفرض أن مجموعتان، وبفرض أن و«بتعريف» الدالة f حيث إذا كانت (أي أن كل مدخلات الدالة f من المجموعة أنتجت 0) و إذا كانت (أي أن كل مدخلات الدالة f من المجموعة أنتجت 1).[5]
لذا الدالة تصبح معرفة جيدًا إذا كان تقاطع المجموعتين هو المجموعة الخالية.
ولكن إذا كان تقاطعهما لا يساوي المجموعة الخالية ، فإن لا تعد معرفة جيدًا لأنه في هذه الحالة لا نستطيع تحديد قيمة لأن (لأن a موجودة في كلتا المجموعتين). كمثال في المجموعتين التاليتين و، يصعب تحديد قيمة هل هي 0 أو 1، مما يجعلها غامضة. وبناءا عليه نقول أن غير معرفة جيدًا وبالتالي ليست دالة.
Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, (ردمك 0-618-51471-6).
Algebra: Chapter 0, Paolo Aluffi, (ردمك 978-0821847817). Page 16.
مراجع
^Weisstein، Eric W. "Well-Defined". From MathWorld – A Wolfram Web Resource. مؤرشف من الأصل في 2022-01-29. اطلع عليه بتاريخ 2013-01-02.
^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 "نسخة مؤرشفة". مؤرشف من الأصل في 2022-01-22. اطلع عليه بتاريخ 2022-07-28.{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)
^"well-defined". planetmath. مؤرشف من الأصل في 2021-12-21. اطلع عليه بتاريخ 2022-07-28.
^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.
^Abstract Algebra, Dummit and Foote, 3rd edition. Page 1