خوش‌تعریف

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

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

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

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

خوش تعریفی تابع در این جا یعنی هر ورودی فقط یک خروجی داشتن، یعنی تابع بودن. اصطلاحاً وقتی می‌گوییم تابع خوش تعریف است یعنی تابع است. اما دلیل اینکه صفت خوش تعریفی را می‌آوریم این است که گاهی رابطه (قانون) ظاهرش نشان می‌دهد که قانون یک تابع است اما وقتی به دقت ان را بررسی می‌کنیم می‌فهمیم که تابع نیست. در این موارد می‌گویند تابع خوش تعریف نیست

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

  • Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.

DISCRETE MATHEMATICS "KEVIN FERLAND"