خوش‌تعریف

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در علم ریاضیات یک عبارت خوش‌تعریف است اگر بدون ابهام باشد و اشیای آن مستقل از نمایش‌شان باشند. به عبارت دیگر، بدین معنی است که یک عبارت ریاضی منطقی و معین باشد.

به زبان ساده‌تر یک تابع خوش‌تعریف است اگر شکل ورودی تغییر کرد (نه مقدار آن)، مثلاً به جای ۰٫۵ مقدار۲÷۱ یا (۱/۲) دادیم مقدار خروجی تغییری نکند.

واژه برابر پارسی از "واکرانیدن" ( تعریف کردن) = خوش‌کران

خوش تعريفى تابع در اين جا يعنى هر ورودى فقط يك خروجى داشتن ، يعنى تابع بودن. اصطلاحا وقتي مي گوييم تابع خوش تعريف است يعني تابع است . اما دليل اينكه صفت خوش تعريفي را مي اوريم اين است كه گاهي رابطه (قانون) ظاهرش نشان مي دهد كه قانون يك تابع است اما وقتي به دقت ان را بررسي ميكنيم مي فهميم كه تابع نيست . در اين موارد مي گويند تابع خوش تعريف نيست

منابع[ویرایش]

  • Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
  • مشارکت‌کنندگان ویکی‌پدیا، «Well defined»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۱۶ آذر ۱۳۹۲).

DISCRETE MATHEMATICS "KEVIN FERLAND"