شماره ركورد كنفرانس :
4032
عنوان مقاله :
معادل هاي تقريبي قضيه نقطه ثابت براوِر در آناليز سازنده
پديدآورندگان :
ستوده رضا eza.sotoudeh@yahoo.com گروه رياضي، دانشكده علوم پايه، دانشگاه ياسوج 1 r , گودرزي حميدرضا dr.goudarzi71@gmail.com گروه رياضي، دانشكده علوم پايه، دانشگاه ياسوج 1
كليدواژه :
نقطه ثابت , نقطه ثابت تقريبي , منطق شهودي براوِر , آناليز سازنده.
عنوان كنفرانس :
نهمين سمينار ملي آناليز غير خطي و كاربردهاي آن
چكيده فارسي :
در اين مقاله ابتدا آناليز سازنده مبتني بر منطق شهودي براوِر كه ديدگاهي كاربردگرا
در آناليز است را معرفي مي كنيم. تفاوت اساسي آناليز سازنده نسبت به آناليز كلاسيك در اين
است كه در آناليز سازنده هنگام اثبات قضاياي وجودي، الزاماً بايد الگوريتم يا روش يافتن
عنصر مورد ادعاي قضيه را بيان كنيم. لذا استفاده از اصل طرد شق مياني و معادل و نتايج
آن در آناليز سازنده پذيرفته نيست. در ادامه نشان مي دهيم كه قضيه نقطه ثابت براوِر يك
قضيه سازنده نيست و معادل هاي سازنده اي براي آن ارائه مي كنيم. خواهيم ديد كه نقطه ثابت
مورد ادعاي اين قضيه در شكل سازنده تنها به صورت تقريبي قابل دستيابي است.
