تجرید (بر مبنای رابطه ایزومورفی)

پروفسور گئورگ کلاوس

برگردان شین میم شین

·        تجرید روش مهمی است که قبل از همه، در ریاضیات مدرن بکار می رود.

·        تجرید در ریاضیات مدرن عبارت است از یکسان تلقی کردن ساختارهای مشخص و ایزومورف (همگون) ، با ساختارهای تجریدی.

1

·        بر طبق آن می توان قواعد تشکیل تجریدات را از روابط هومومورفی (همشکلی) استخراج کرد.

2

·        رابطه همشکل (هومومورف) به رابطه همگونِ (ایزومورف)  تضعیف شده اطلاق می شود.

3

·        بدین طریق ـ برای مثال ـ منطق حکمی، جبر اتصالی مضاعف و غیره با جبر بولی ایزومورف است.

4

·        جبر بولی نیز ساختارهای تجریدی (مجرد) تشکیل می دهد که در عرصه های یاد شده ـ با توجه به این تجریدات ـ با ساختارهای مشخص منطبق هستند.

·        (نسبیت مشخصیت و مجردیت)

    

·        مراجعه کنید به ایزومورفی، هومومورفی، تجرید (انتزاع) در تارنمای دایرة المعارف روشنگری

پایان