یارا فایل

مرجع دانلود انواع فایل

یارا فایل

مرجع دانلود انواع فایل

دانلود تحقیق کامل درمورد اجتماع توابع-توابع چند ضابطه‌ای

اختصاصی از یارا فایل دانلود تحقیق کامل درمورد اجتماع توابع-توابع چند ضابطه‌ای دانلود با لینک مستقیم و پر سرعت .

دانلود تحقیق کامل درمورد اجتماع توابع-توابع چند ضابطه‌ای


دانلود تحقیق کامل درمورد اجتماع توابع-توابع چند ضابطه‌ای

لینک پرداخت و دانلود *پایین مطلب*
فرمت فایل:Word (قابل ویرایش و آماده پرینت)
تعداد صفحه: 13

 

اجتماع توابع-توابع چند ضابطه‌ای

بسیار اتفاق می‌افتند که مقدار یک تابع در سراسر دامنه‌اش با یک ضابطه مشخص نمی‌شود مثلاً ممکن است دامنه تابع f که آن را X می‌نامیم را به n مجموعه X1,X2,X3,...,Xn افراز کنیم و تابع f با دامنه X را برای هر x?Xi به صورت (f(x)=fi(x تعریف کنیم که در آن fi تابعی با دامنه Xi است. همچنین در این صورت می‌توان تابع f را برای هر x از دامنه به صورت زیر نوشت:
در این صورت f را تابعی با n ضابطه می‌گوییم.n در مثالی دیگر فرض کنید f:X?Y و g:Z?W دو تابع باشند که برای هر x متعلق به اشتراک X و Y (اشتراک دامنه f,g) داشته باشیم (f(x)=g(x. در این صورت تابع اجتماع دو تابع f,g را به صورت زیر تعریف می کنیم:
برخواننده است که خوش تعریفی این تابع را تحقیق کند. این مفهوم را می‌توان گسترش داد یعنی اگر خانواده‌ای از مجموعه‌های دو به دو جدا از هم باشد و برای هر fi,i?I تابعی با دامنه Ai باشد، می‌توان تابع f، اجتماع توابع fi برای هر i?I را با دامنه را به صورت برای هر x از دامنه به صورت (x) f(x)=fi اگر x?Ai تعریف کرد. در ادامه نمونه‌هایی از توابع چند ضابطه‌ای را خواهید دید.
نمودار تابع
منظور از نمودار یک تابع f:X?Y به تصویر کشیدن تناظری است که f بین دو مجوعه X و Y ایجاد می‌کند. برای این کار برای همه وابط و بلاخص توابع عموماً از نمودار پیکانی استفاده می‌شود. برای رسم نمودار پیکانی تابع f:X?Y، دو منحنی بسته، نظیر آنچه در نمودار ون استفاده می‌شود را برای نمایش مجموعه X و Y انتخاب می‌کنیم و عناصر هر یک را به‌وسیله نقاطی در آنها مشخص می‌کنیم. سپس بین هر عضو x?X و (f(x یک پیکان از x به (f(x به نشانه تناظر بین آن دو رسم می‌کنیم. به عنوان مثال اگر {X={1,2,3,4,5 و {Y={a,b,c,d,e و f:X?Y به صورت {(f={(1,a),(2,b),(3,c),(4,d),(5,d تعریف شده
این روش گرچه مناسب است ولی برای نمایش همه توابع بویژه توابعی با دامنه اعداد حقیقی(و به طور کلی توابعی که عددی هستند) چندان کاربرد ندارد. اگر f تابعی با دامنه اعداد حقیقی R باشد آن را تابع حقیقی می‌گوییم و برای نمایش نمودار آن از دستگاه مختصات دکارتی استفاده می‌کنیم و روش کار به این صورت است که برای هر x € R زوج مرتب ((x,f(x) که نماینده نقطه‌ای در صفحه دکارتی است را رسم می‌کنیم و به این ترتیب نمودار تابع f حاصل می‌شود. رسم نمودار تابع، باعث می‌شود دیدی کلی نسبت به آن تابع پیدا کنیم و همچنین بسیاری از خواص مربوط به توابع بویژه توابع حقیقی مانند پیوستگی، مشتق پذیری، نقاط بحرانی و عطف، صعودی یا نزولی بودن و... از روی نمودار آنها قابل تعیین است. به عنوان مثال با بررسی شکل(4) می‌توان گفت این تابع در چه بازه‌هایی صعودی و در چه بازه‌هایی نزولی است، این تابع در سراسر دامنه خود پیوسته و مشتق پذیر است، دارای دو نقطه بحرانی و یک نقطه عطف است و ... .
همچنین از روی نمودار یک رابطه می‌توان تابع بودن آن را بررسی کرد. به عنوان مثال نمودار شکل(1) معرف یک تابع نمی‌باشد چون عضو 3 به دو مقدار متناظر شده است. همچنین در نمودار رسم شده در دستگاه دکارتی در شکل مقابل، وضوحاً برای هر عدد حقیقی مثبت x تابع دارای دو مقدار است. به طور کلی یک نمودار در دستگاه مختصات دکارتی یک تابع است اگر هر خط عمودی مرسوم بر محور x ها نمودار را حداکثر در یک نقطه قطع کند.
تابع یک به یک و پوشا
فرض کنید f:X?Y یک تابع باشد. در اینصورت برای تناظری که بین اعضای X و Y به‌وسیله تابع f برقرار می‌شود حالات مختلفی را می‌توان تصور کرد.
اولین حالت اینکه ممکن است به ازای هر y متعلق به برد تابع f، تنها یک x در دامنه موجود باشد که (y=f(x. این شرط را می‌توان چنین فرمول بندی کرد که اگر به ازایX x1,x2€داشته باشیم f(x2) =( f(x1آنگاه 2x =1x یا:


چنین تابعی را با این ویژگی یک تابع یک به یک(تک گزین) یا انژکتیو می‌گوییم. یک به یک بودن تابع f را گاهی برای اختصار با نماد 1-1 نشان می‌دهند. در چنین حالتی ضمن اینکه بدلیل تابع بودن f هیچ دو زوج مرتبی از f دارای مولفه اول یکسان نمی‌باشند، به دلیل یک به یک بودن هیچ دو زوج مرتبی از f دارای مولفه دوم یکسان نیز نمی‌باشند. به عنوان مثال R? f: Rبه ضابطه 2f(x)=x یک به یک نمی‌باشد چرا که اگر f(x2)=( f(x1در این صورت اما الزاماً این نتیجه نمی‌دهد 2x =1x پس تابع یک به یک نمی‌باشد.
یک به یک بودن یک تابع از روی نمودار تابع نیز قابل بررسی است. در نمودار پیکانی تابع یک به یک f، وضوحاً به هر عضو از همدامنه f انتهای حداکثر یک پیکان وارد شده است. به این ترتیب نمودار پیکانی شکل(2) نمایش گر یک تابع غیر یک به یک است. همچنین نمودار یک تابع حقیقی یک به یک به گونه‌ای است که هر خط موازی محور x ها، نمودار آن را حداکثر در یک نقطه قطع می‌کند. به این ترتیب نمودار شکل(4) مربوط به تابعی غیر یک به یک است.
همانطور که در گذشته نیز اشاره شد در تابع f:X?Y برد f ممکن است دقیقاً برابر مجموعه Y نباشد، ولی همواره زیرمجموعه‌ای از Y است.حال اگر برد تابع f برابر مجموعه Y باشد یعنیran f=y در این صورت هر عضو Y تصویر یک عضو مجموعه X تحت f خواهد بود. یعنی برای هر y?Y، عضوی چون x?X وجود دارد که (y=f(x. در این حالت تابع f:X?Y را تابع پوشا(برو) یا سوژکتیو می‌گویند و به اصطلاح می‌گویند f مجموعه X را بروی Y می‌نگارد.
این نکته بسیار حایز اهمیت است، چرا که در مورد نماد f:X?Y دو گزاره f تابعی از X به توی Y است و f تابعی از X به روی Y است با هم تفاوت دارند و گزاره دوم چیزی بیش از گزاره اول یعنی پوشا بودن تابع f را نیز بیان می‌کند.
پس تابع f:X?Y یک تابع پوشا(برو) است هرگاه:

اگر f:X?Y یک تابع غیر پوشا باشد، یک راه برای پوشا کردن تابع f تحدید همدامنه آن به برد f است. به عبارت دیگر می‌توان اعضایی از مجموعه Y(همدامنه) که تصویر هیچ عضوی از X نمی‌باشند(یعنی متعلق به برد تابع نمی‌باشند) را حذف نمود در این صورت تابع f از X به مجموعه تقلیل داده شده تابعی پوشا خواهد بود. مجموعه‌ای که می‌توان Yرا به آن تحدید نمود و تابعی پوشا بدست آور تصویر X تحت f با همان (f(X است که همانطور که در بالا نیز اشاره شد، این مجموعه همان برد تابع است.
بنابر این اگر f:X?Y یک تابع باشد تابع (f:X?f(X تابعی پوشا است و این از تعریف (f(X قابل اثبات است. به عنوان مثال R? f: R ه ضابطه 2f(x)=x یک تابع پوشا نمی‌باشد. چرا که اعداد حقیقی منفی در همدامنه f(همان مجموعه R) تصویر هیچ عضوی از دامنه خود نمی‌باشند، چرا که مربع هیچ عدد حقیقی منفی نیست. اما تابع R? f: R یک تابع پوشا است چون برای هر y € R می‌توان قرار داد و داریم و لذا f پوشا است.
حال که با مفاهیم یک به یک بودن و پوشا بودن آشنا شدیم وضوحاً یک تابع نسبت به دارای بودن این خواص می‌تواند چهار حالت مختلف باشد. یک حالت جالب توجه و بسیار مهم زمانی است که یک تابع هم یک به یک و هم پوشا باشد. چنین تابعی را تناظر یک به یک یا دو سویی یا بیژکتیو می‌گوییم. به عنوان مثال تابع 3f(x)=x بر مجموعه اعداد حقیقی یک تناظر یک به یک است. از نمودار پیکانی مقابل می‌توانید ببینید که چنین تابعی دارای چه ویژگی خاصی است. وجود چنین تابعی بین دو مجموعه متناهی ایجاب می‌کند تعداد اعضای آنها با هم برابر باشد. این مطلب در حالت کلی نیز درست است. یعنی اگر تابعی دوسویی بین دو مجموعه(خواه متناهی یا غیرمتناهی) برقرار باشد عدد اصلی آن دو مجموعه با هم برابر است. از توابع دوسویی برای بسیاری از تعاریف در نظریه مجموعه‌ها مثلاً تشابه مجموعه‌های خوشترتیب یا تعریف همتوانی دو مجموعه استفاده می‌شود.
مجموعه توابع
اگر X و Y دو مجوعه باشند مجموعه همه توابع از مجموعه X به مجموعه Y را با YX نشان می‌دهیم و بنابه تعریف داریم:
عدد اصلی این مجموعه را نیز می‌توان به صورت زیر بدست آورد(برای اثبات به مقاله حساب اعداد اصلی رجوع کنید.):
card(YX) = (cardY)cardX 
از رابطه فوق نتیجه می‌شود اگر X مجوعه‌ای n عضوی و Y مجموعه‌ای m عضوی باشد تعداد توابع قابل تعریف از مجوعه X به مجموعه Y برابر است با mn که البته برای اثبات این مسئله خاص راه حل ترکیباتی هم وجود دارد. توضیح اینکه اگر بخواهیم تابع f:X?Y را تعریف کنیم هر عضو از n عضو مجموعه X چون x?X، را می‌توان به m طریق به یک عضو از مجموعه Y نسبت داد. پس بنا بر اصل شمارش تعریف چنین تابعی به mn طریق ممکن خواهد بود.
حال فرض کنید f:X?Y یک تابع باشد و X مجموعه‌ای n عضوی و Y مجموعه‌ای m عضوی باشند.
در این صورت اگر m?n می‌توان f را به صورت تابعی یک به یک بین دو مجموعه X و Y تعریف کرد. برای این کار کافی است n عضو را از بین m عضو مجموعه Y انتخاب کنیم و بیاد داشته باشید که ترتیب انتخاب اعضا نیز مهم است و لذا تعداد توابع یک به یک قابل تعریف برابر است با جایگشت n شی از m شی که برابر است با:
همچنین اگر n?m، می‌توان f را به صورت تابعی پوشا نیز تعریف کرد که تعداد توابع پوشا از مجموعه X به مجموعه Y برابر است با:
که البته اثبات آن به‌وسیله اصل شمول و عدم شمول انجام پذیر است و بدلیل طولانی بودن از ارائه برهان آن خودداری می‌کنیم. همچنین تعداد توابع دوسویی روی مجوعه n عضوی X برابر است با !n.

این فقط قسمتی از متن مقاله است . جهت دریافت کل متن مقاله ، لطفا آن را خریداری نمایید


دانلود با لینک مستقیم


دانلود تحقیق کامل درمورد اجتماع توابع-توابع چند ضابطه‌ای