معرفی و کاربردهایی از آنالیز غیراستاندارد در مکانیک
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
- نویسنده سعید ضیایی راد
- استاد راهنما مجتبی محزون
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1369
چکیده
اعداد بی نهایت کوچک و بی نهایت بزرگ از زمانهای قدیم برای اثبات قضایا محاسبهء سطوح و غیره در ریاضیات و فیزیک مورد استفاده قرار می گرفتند. ولی بعدا" به دلیل تناقضات منطقی از ریاضیات کنار گذاشته شدند تا اینکه در سال 1966 توسط ابراهام رابینسون مبانی منطقی محکمی، که سبب احیاء مجدد آنها شد، برای آنها ارائه گردید. در این سال رساله آنالیز غیر استاندارد یا به عبارت دیگر اعداد بی نهایت کوچک و بینهایت بزرگ به روشی دقیق و اصولی معرفی می گردند. و سپس کاربردهایی از آن در مکانیک بیان می گردد.این مجموعه مشتمل بر هفت فصل می باشد. در فصل اول بمنظور معرفی آنالیز غیراستاندارد، توضیحاتی آورده شده است . در فصل دوم، با معرفی رابطهء هم ارزی مناسبی روی مجموعهء کلیه دنباله های تعریف شده روی r، اعداد بی نهایت کوچک و بینهایت بزرگ معرفی می گردند. به این ترتیب مجموعهءr * که توسیعی از r، شامل اعداد حقیقی اعداد بی نهایت کوچک و بی نهایت بزرگ است ، بدست می آید. سپس توابع، روابط و جملات صحیح در r به r * توسعه داده می شدند. و به این ترتیب ثابت می شود که همان روابطی که در مجموعهءاعداد حقیقی مورد استفاده قرار می گیرند را می توان برای این مجموعه توسعه یافته نیز به کار برد. در فصل سوم، کابردهائی از این روش برای اثبات بعضی از قضایای مقدماتی حساب دیفرانسیل و انتگرال را میتوان براساس آنالیزغیراستاندارد بنیان نهاد. در فصل چهارم یک روش اصولی برای بیان آنالیز غیراستاندارد ارائه گردیده است . در این روش با اضافه نمودن سه اصل استنتاجی دیگر به اصول نظریه مجموعه ها، آنالیز غیر استاندارد را میتوان نتیجه گرفت . در فصل پنجم، دو دیدگاه دیگربه طور مختصر بیان شده است . این دو دیدگاه یکی دیدگاه رابینسون و دیگری دیدگاه لوتز است . در فصل ششم کاربردهائی از آنالیز غیراستاندارد آورده شده است . این کاربردها نشان دهنده آنست که این روش می تواند باعث ساده تر شدن اثباتها یا ارائه تعابیرمناسبتری برای پدیده های فیزیکی گردد. کاربردهائی که درنظر گرفته شده اند عبارتند از : تابع گرین غیر استاندارد و کاربرد آن در معادله شرودینگر، پدیده غلتش ، معادلهء ارتعاش تار، اثباتی برای اصل سن و نان در تئوری الاستیسیته و اصلی مشابه آن در سیالات . درفصل هفتم تاریخچه مختصری از حساب دیفرانسیل و انتگرال در ارتباط با آنالیز غیراستاندارد آورده شده است .
منابع مشابه
آنالیز غیراستاندارد
از ابتدای پیدایش حساب دیفرانسیل و انتگرال تاکنون، ایده بی نهایت کوچکها ابزار شهودی مناسبی برای یافتن نتایج جدید در آنالیز بوده است. لایب نیتز می گفت «من به آنها ایمان دارم هرچند توجیه کافی برای آنها ندارم». حدود چهل سال پیش، آبراهام رابینسون با ارائه مدلی هم ارز با مدل مقدماتی ولی غیریکریخت با هیات اعداد حقیقی در زبان هیات، نشان داد که بی نهایت کوچک ها همراه بی نهایت بزرگ ها از مشروعیت برخوردارند.
متن کاملThe effect of cyclosporine on asymmetric antibodies and serum transforming growth factor beta1 in abortion-prone model of mice CBA/J x DBA/2
كچ ي هد فده و هقباس : ي ک ي طقس زورب للع زا اه ي ،ررکم ا لماوع تلاخد ي ژولونوم ي ک ا رد ي ن قم طققس عون ي وراد دقشاب ي س ي روپسولک ي ،ن ح لدم رد طقس شهاک بجوم ي ناو ي CBA/j×DBA/2 م ي تنآ ددرگ ي داب ي اه ي ان و راققتم TGF-β لماوع زا عت مهم يي ن گلماح تشونرس هدننک ي سررب روظنم هب رضاح هعلاطم تسا ي ات ث ي ر اس ي روپسولک ي ن م رب ي از ا ي ن تنآ عون ي داب ي س و اه ي اکوت ي ن TGF...
متن کاملThe Study of Stressful Factors in Clinical Education for Nursing Students Studying in Nursing and Midwifery College in Khorramabad
کچ هدي پ شي مز هني فده و : شزومآ لاب يني شخب ساسا ي شزومآ مهم و راتسرپ ي تسا . و هنوگ ره دوج لکشم ي شزومآ رد لاب يني ، آراک يي هدزاب و ا ني شزومآ زا شخب راچد ار لکشم م ي دنک . فده اب رضاح شهوژپ سررب ي لماوع سرتسا از ي شزومآ لاب يني رد وجشناد ناي راتسرپ ي هدکشناد راتسرپ ي و يامام ي ماـجنا داـبآ مرـخ تسا هتفرگ . شور و داوم راک : رضاح هعلاطم کي هعلاطم صوت يفي عطقم ي تسا . د...
متن کاملمعرفی رهیافتی جامع در آموزش مهندسی مکانیک
در این مقاله رهیافتی جامع در مهندسی مکانیک معرفی و طبق آن دروس کلیدی این رشته در دوره کارشناسی در یک مجموعه منسجم با نگرشی سیستماتیک تجمیع شده است، به گونهای که دانشجو در برخورد با یک مسئله به جای جستجوی فرمولهای خاص برای حل آن، بتواند از قوانین و معادلات علمی که آموخته است، مدل مناسب مسئله خود را استنتاج کند و مسائل متنوعی را که از اصول و مدلهای مشابه تبعیت میکنند به صورت مجموعه های پراکن...
متن کاملکاربردهایی از آتوماتای متناهی قطعی و غیرقطعی
مباحث مربوط به زبانهای صوری و مدلهای مناسب برای آنها، از مفاهیم پایه و اساسی در رشته علوم کامپیوتر است. از سادهترین مدلهای محاسبه، آتوماتای متناهی هستند. دلیل سادگی این نوع ماشینها این است که حافظه کمکی در آنها وجود ندارد؛ با وجود این، بسیاری از مسائل را میتوان با استفاده از آتوماتای متناهی حل کرد. در این مقاله مفهوم آتوماتون متناهی قطعی و غیرقطعی معرفی میشود. سپس از آتوماتای متناهی در...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023