Algebraik strukturalar: obyektlar o‘rtasidagi mavhum nisbatlar

26.05.2016 09:36 Muzaffar Qosimov Ma'lumotnomalar - Matematika
Chop etish
Maqola Reytingi: / 10
Juda yomon!A'lo! 

Algebraik strukturalar: obyektlar o‘rtasidagi mavhum nisbatlar

Algebraik strukturalar - nazariy matematikaning tarkibiy qismi o‘laroq shakllangan. Shunga qaramay, algebraik strukturalar fizika, kimyo va boshqa fan sohalaridagi muhim masalalar yechimi uchun tadbiq qilina boshlandi va tez orada texnikada ham o‘z amaliy ahamiyatini namoyon qildi. Umuman olganda, algebraik strukturalar tushunchasi bugungi kunda shunchaki nazariy matematika sohasi chegarasidan tashqariga chiqib ketgan. Algebraik strukturalar fizika, kimyo va ayniqsa informatika sohalarida o‘ta muhim ahamiyat kasb etmoqda. Guruhlar nazariyasi va algebraik strukturalar tushunchasisiz nisbiylik nazariyasi va kvant mexanikasini barpo qilish imkonsiz bo‘lgan bo‘lur edi

Ko‘plab jarayonlarni o‘rganish va tadqiq qilishda algebraik strukturalarni tadbiq etish masalasi yuzaga chiqadi. Algebraik strukturalarni qo‘llashda esa, muayyan darajadagi mavhimiyat (abstraksiya) talab qilinadi. Aslida bu narsa nafaqat algebraik strukturalarga, balki, kundalik hayotimizdagi ko‘plab boshqa narsalarga ham taalluqli bo‘lib, mavhum tushunchalar - turmushimizning chambarchas qismidir. Mavhum tushunchalar - insonning tafakkur va tasavvur qobiliyatida o‘ziga xos muhim o‘ringa ega.

Ko‘plab jarayonlarni o‘rganish va tadqiq qilishda algebraik strukturalarni tadbiq etish masalasi yuzaga chiqadi. Algebraik strukturalarni qo‘llashda esa, muayyan darajadagi mavhimiyat (abstraksiya) talab qilinadi. Aslida bu narsa nafaqat algebraik strukturalarga, balki, kundalik hayotimizdagi ko‘plab boshqa narsalarga ham taalluqli bo‘lib, mavhum tushunchalar - turmushimizning chambarchas qismidir. Mavhum tushunchalar - insonning tafakkur va tasavvur qobiliyatida o‘ziga xos muhim o‘ringa ega.

Amaliy fan sohalaridan, nisbatan nazariya, boshqacha aytganda, fundamental fanlarga kirib borgan sari, ushbu fan sohasida qo‘llanadigan mavhumlik darajasi ham ortib boradi. Bir vaqtning o‘zida, mavhumlik orqali qaraladigan strukturalarning aniqligi ham ortadi. Mumtoz algebrada sonlar va ular orasidagi nisbatlar o‘rganiladi. Bilamizki, sonlar orasidagi nisbatlar turli matematik operatsiyalar (amallar) orqali ifodalanadi. Mavhum algebrada esa, ixtiyoriy elementlar orasidagi nisbatlar o‘rganiladi. Bu nisbatlar esa, mavhum amallar (abstrakt operatsiyalar) orqali ifodalanadi. Odatda, pedagog matematiklar algebraik strukturalar va mavhum operatsiyalarni soddaroq qilib tushuntirish uchun quyidagi uch bosqichli tushuntirish usulini qo‘llaydilar.

 

Birinchi bosqich.

Shu tarzda biz, shunga o‘xshash tajribalarni boshqa matematik amallar uchun ham takrorlab ko‘rishimiz mumkin. Bunda tajribani hatto albatta sonlar ishtirokini taqozo qilmaydigan amallar, masalan, tekisliklarni o‘zgartirish kompozitsiyalari, vektorlarni, yoki, matritsalarni ko‘paytirish uchun ham tekshirib ko‘rish mumkin. Bunda, mazkur operatsiyalar (amallar) ham yuqorida aytilgan xossalarga ega bo‘lishini bilib olamiz. Ushbu xossalarni matematiklar umumiy qilib, «assotsiativlik xossalari» deb yuritishadi. O‘zbek tilida bu tushunchani «uyg‘unlik xossasi», yoki, «bog‘liqlik xossasi» ham deyish mumkin.

Ikkinchi bosqich.

Yuqorida ko‘rib chiqilgan amallarda sonlar o‘rniga belgilar (harflar) qo‘llash orqali biz matematik abstraksiyaning ikkinchi bosqichiga o‘tamiz. Avvalgi bosqichda ko‘rib chiqilgan assostsiativlikni algebrada quyidagi ifodalash mumkin: (a+b)+c=a+(b+c); yoki, (ab)c= a∙(bc). Bunda, a, b, c - qo‘shish amali uchun olganda butun sonlar; ko‘paytirish amali uchun olganda esa, ratsional sonlar bo‘lishi mumkin.

Bu bosqichda umumiylik yanada ortadi. Chunki, endi biz sonlar o‘rniga harflardan foydalanish orqali, ushbu harflar o‘rniga istalgan sonlarni qo‘yib amallarni bajarilsa, ifodada ko‘zda tutilgan assotsiativlik baribir bajarilishini ma’lum qilmoqdamiz. Bunda endi, harflar o‘rniga qo‘yiladigan sonlarning butun sonlarmi, yoki, ratsional sonlar bo‘lishining farqi qolmaydi. Xossa baribir bajarilaveradi. Aynan shu joyda biz matematik abstraksiyaning ikkinchi bosqichiga chiqamiz. Bu bosqich taxminan 13-14 yoshlardagi maktab o‘quvchilariga algebra fani orqali singdiriladi. Ba’zi mamlakatlarda ushbu jarayonda algebra o‘qitishni «abstrakt algebra» fani deb ham yuritiladi. Biroq, nimagadir fan nomiga «abstrakt» so‘zini qo‘shib aytilishi, matematik mutaxassislardan boshqa deyarli barchani qo‘rqitadi. Shu o‘rinda, muhim bir faktni ham yodga olib o‘tish orqali, aslida mavhum algebra, ya'ni, abstrakt algebra ko‘pchilik o‘ylagandek qo‘rqinchli va mujmal narsa emasligini tushunishga yordam berishi mumkin. Ya'ni, aslida biz kundalik turmushda har kuni ishlatadigan va ongimizga singib ketgan ko‘plab tushunchalarning o‘zi ham mavhum tushunchalardir. Chunonchi biz «daraxt» deganimizda, biologiya faniga ma’lum barcha daraxt turlariga mansub obyektlarni nazarda tutamiz. Biroq, masalani aniqlashtirish kerak bo‘lsa, tafsilotlarga o‘ta boshlaymiz va muayyan daraxtlar oilasini, yoki, aniq bir daraxt nomini aytishimiz mumkin bo‘ladi. Xususan, qurilishda uyga pol qoqish uchun ignabargli daraxt yog‘ochi yaxshiroq deymiz. Ignabargli daraxtlar oilasiga mansub daraxt turlari ham talaygina. Ular ichida eng yaxshisi, eng pishig‘i – listvennitsa daraxti yog‘ochi desak, eng aniq gap aytgan bo‘lamiz.

Xuddi shunday, nutqimizda masalan, «oq», «qo‘rqinchli», yoki, «chiroyli» kabi sifatlarni qo‘llayotganimizda, ulardan muayyan grammatik kategoriyani abstraksiyalash uchun foydalanamiz va buning uchun muayyan qoidalarni shakllantiramiz. Masalan, «qo‘rqinchli» sifatining o‘zi bilan ham odamni, ham film janrini, ham tungi xilvat ko‘chani aytishimiz mumkin. Bunday abstraksiyalashni biz, matematik abstraksiyaning uchinchi bosqichiga qiyoslashimiz mumkin.

Uchinchi bosqich.

Bu bosqichda biz, butun sonlar, yoki, ratsional sonlar singari, sonlarning muayyan aniq to‘plami haqida emas, balki, A to‘plam deb shartli belgilanadigan ixtiyoriy abstrakt to‘plam haqida so‘z yuritamiz. Bu to‘plamda a, b, va c bilan belgilangan elementlar mavjud. Biz, bundan boshqa qo‘shimcha tafsilotlarga e’tibor qaratmaymiz va to‘plamdagi elementlar sonining chekli yoki, cheksiz ekaniga aniqlik kiritmaymiz. Keling, ushbu to‘plam elementlari ustidan biz # operatsiyani aniqladik. Biz bu operatsiyani # o‘rniga istalgan boshqa belgi bilan, aytaylik $, ^ bilan belgilashimiz, yoxud, o‘zimiz fantaziyamizdan kelib chiqib biror yangi belgi o‘ylab topishimiz ham mumkin. Bunda eng muhimi, +, yoki, singari boshqa amallarni ifodalovchi belgilarni qo‘llab, chalkashlik keltirib chiqarmasak bo‘lgani. Kimdir, bunday belgilash kiritish orqali tushunchani yanada murakkablashtirib yuborish haqida e’tiroz bildirishi mumkin. Biroq, tushunishga oson bo‘lishi uchun shunday misol keltirishimiz mumkin: aytaylik, tasavvur qiling, A to‘plam elementlari bu – futbolkalar bo‘lsin. Futbolkani ishlab chiqaruvchidan tortib, to yakuniy iste’molchiga yetib borgunicha kechadigan jahon bozoridagi harakatini ifodalovchi murakkab moliyaviy operatsiyalarni umumlashtirib yagona # belgisi bilan ifodaladik. Bunda, # ostida ham ishlab chiqarishga sarflangan xom-ashyo va ishchi kuchi sarfi, mahsulotni fabrikadan do‘konga eltish xarajatlari, reklama, chegirmalar va ho kazolar uchun xilma-xil moliyaviy operatsiyalar bajariladi. Lekin ushbu operatsiyalarning barchasi bitta element – futbolka yuzasidan bormoqda va shuning uchun biz ularni umumiy qilib # bilan belgilashimiz mumkin. Bunda, biz to‘plam uchun aniqlagan operatsiyamiz uchun qo‘yilgan yagona talab shuki, u to‘plam ichida istalgan element uchun umumiy, ya'ni, to‘plam uchun ichki operatsiya bo‘lishi kerak. Sodda qilib aytganda, futbolka va futbolka bilan bajarilgan operatsiya natijasida bir quti shirinlikka emas, balki, faqat va faqat futbolkaga taalluqli natija chiqishi kerak. Matematik tilda bu narsani a va b sonlari A to‘plamga tegishli bo‘lsa, unda a#b amal (operatsiya) natijasi ham albatta A to‘plamga tegishli bo‘lishi lozim deb ta’riflanadi. Aniqroq matematik misol ko‘radigan bo‘lsak, tasavvur qiling, biz barcha toq sonlardan iborat to‘plamni ko‘rib chiqmoqdamiz. Bu to‘plam elementlari uchun qo‘shish amali ichki amal (ichki operatsiya) bo‘lolmaydi. Chunki, to‘q son bilan toq sonni qo‘shganda, yig‘indi hech qachon toq son bo‘lmaydi va shunga muvofiq, toq sonlar to‘plamiga mansub bo‘la olmaydi.

A to‘plamdagi istalgan a, b, va c elementlari uchun (a#b)#c= a#(b#c) shart bajarilsa, unda # amali ushbu A to‘plam uchun assotsiativlik xossasiga ega bo‘ladi.

Ushbu to‘plam uchun e#a=a#e=a natijani beradigan e elementini neytral element deb nomlaymiz.

Shuningdek, a1#a=a#a1=e shartni qanoatlantiradigan a1 elementni teskari element (yoki, qarama-qarshi element) deb nomlaymiz.

Hozircha biz, ushbu operatsiya kommutativlik xossasiga ega bo‘lishi lozimligini aytmadik. Kommutativlik bu shunday xossaki, operatsiyani (amalni) bajarish jarayonida elementlarning joylashuv o‘rnini e’tiborga olish shart bo‘lmasa, bu operatsiyani kommutativlikka ega operatsiya deyish mumkin bo‘ladi. Ya'ni, kommutativ operatsiyada, elementlarning tartibining o‘zgarishi, yakuniy natijaga hech qanday ta’sir o‘tkazmaydi. Biroq, to‘plam uchun neytral va teskari elementlarni aniqlashda kommutativlikka katta ahamiyat berish lozim. Agar A to‘plam va u uchun biz aniqlagan # operatsiya uchun quyidagi uch shart bajarilayotgan bo‘lsa:

1) Operatsiya assotsiativ bo‘lsa;

2) Operatsiya uchun neytral element mavjud bo‘lsa;

3) A to‘plamdagi istalgan element uchun teskari element mavjud bo‘lsa,

Unda, A to‘plam va # amal (operatsiya) dan iborat juftlik guruh deb nomlanadigan algebraik strukturani tashkil qiladi. Masalan, butun sonlar to‘plami va qo‘shish amali bitta guruhni tashkil qiladi. Biz avvalgi bo‘limda butun sonlar to‘plami va qo‘shish amali uchun barcha uch shart bajarilayotganini aniq misollar bilan ko‘rib chiqqan edik. Matematikada bu guruhni (,+) tarzida belgilab ifodalanadi. Chunki, odatda matematiklar butun sonlar to‘plamini harfi bilan belgilaydilar. Shuni alohida ta’kidlab aytish kerakki, matematikada guruh bu – ikkita obyekt – to‘plam va operatsiya (amal) orqali shakllangan strukturadir. Masalan, to‘plamning o‘zini ko‘rsatib, lekin, unga taalluqli va yuqoridagi uch shartni qanoatlantiradigan amalni ko‘rsatmasdan turib, uni guruh deb aytish mumkin emas. Chunki, butun sonlar to‘plami () bilan faqat qo‘shish amali guruh hosil qiladi. bilan ko‘paytirish amali guruh hosil qila olmaydi. Chunki, to‘plamda elementlarni ko‘paytirish amali uchun teskari element mavjud emas. Sababi, butun sonlar to‘plamiga kasr sonlar kirmaydi.

Agar, yuqorida qayd etilgan uch shartdan tashqari, A to‘plamdagi istalgan a va b elementlar uchun yana shuningdek a#b=b#a shart (to‘rtinchi shart) ham bajarilsa, unda guruh kommutativ guruh deyiladi. Shunga muvofiq, (,+) guruh kommutativ guruhdir.

Algebraik strukturalar.

Guruh – algebraik strukturadir. Matematikada ko‘plab algebraik strukturalar ma’lum. Xususan, guruhlar, ideallar, halqalar, maydon, modullar, vektor fazosi va boshqalarni misol qilib keltirish mumkin. Guruhlardan farqli o‘laroq, ushbu algebraik strukturalarning aksariyatida bittadan ko‘p matematik amallar aniqlangan. Misol uchun halqani ko‘rib chiqamiz. Halqa bu shunday A to‘plamki, unda ikkita ichki operatsiya (ularni shartli ravishda $ va ^ bilan belgilaymiz)[1] aniqlangan va bunda quyidagi shartlar bajarilmoqda:

1) Birinchi operatsiya $ ga nisbatan halqa kommutativ guruh xossasiga ega;

2) Ikkinchi operatsiya assotsiativlik xossasiga ega. Boshqacha aytganda, A to‘plamning istalgan a, b va c elementlari uchun (a^b)^c=a^(b^c) tenglik bajariladi.

3) Ikkinchi operatsiya, ya'ni ^ birinchi operatsiya $ ga nisbatan distirbutiv bo‘ladi. Ya'ni, bunda a^(b$c)=(a^b)$(a^c) shart bajariladi.

Butun sonlar to‘plami va qo‘shish va ko‘paytirish amallari birgalikda halqa tashkil qiladi va uni matematikada (,+, ) tarzida belgilanadi. Biz yuqorida, butun sonlar to‘plami va qo‘shish amali birgalikda kommutativ guruh tashkil qilishini aytib o‘tgandik. Shuningdek, biz bilamizki, butun sonlarni ko‘paytirish amali assotsiativlik xossasiga ega. Ya’ni, misol uchun 3(4∙8)=(3∙4)∙8, ya'ni, 3∙32=12∙8. Vanihoyat, bu holatda distirbutivlik xossasi quyidagicha namoyon bo‘ladi: 2∙(4+6)=2∙4+2∙6.

Bizga ma’lumki, barcha butun sonlar ushbu xossaga egadirlar.

Quyida ayrim algebraik strukturalar haqida soddaroq ma’lumot beruvchi jadvalni keltirib o‘tamiz. Shuni ta’kidlash joizki, jadvalda faqat sodda algebraik strukturalar keltirib o‘tildi. Bulardan tashqari matematikada yanada murakkabroq bo‘lgan algebraik strukturalar, xususan, ideallar, modullar kabilar mavjud bo‘lib, ular ham nazariy ham amaliy matematikada qo‘llaniladi.

 



 

Algebraik struktura

Ta'rifi

Guruh

To‘plam va tarkibida neytral element va to‘plam elementlarning har biri uchun teskari elementga ega bo‘ladigan assotsiativ operatsiya.

Halqa

Har biri uchun ikki xil operatsiya aniqlangan elementlar to‘plami. Operatsiyalardan biri qo‘shish amaliga, ikkinchisi ko‘paytirish amaliga o‘xshash bo‘ladi.

Maydon

Maydon bu shunday to‘plamki, unda ikkita, ya'ni, + va · operatsiyalari aniqlangan bo‘lib, bunda to‘plam va + amali kommutativ guruh hosil qiladi; to‘plam va + amali esa, shunchaki guruh hosil qiladi. Shu bilan birga, operatsiyalar o‘zaro distirbutivlik xossasiga ega bo‘ladi.

 

Moziyga nazar.

Algebraik strukturalar haqidagi maqolani avvalo guruh tushunchasini bayon qilish bilan boshlaganimiz bejiz emas. Sababi, guruh tushunchasini ifodalash birmuncha oson va fan tarixida ilk algebraik struktura ham aynan guruh bo‘lgan. Aslida, guruhlar bilan bog‘liq asosiy g‘oyalarini XVIII asrdayoq Jozef Lui Lagranj (1736-1813) va Paolo Ruffini (1765-1822) lar tomonidan o‘rtaga tashlagan bo‘lsa-da, biroq, «guruh» atamasini hozirgi mazmuniga yaqin ma’noda ilk bora Evarist Galua (1811-1832) tomonidan qo‘llangan. Biroq, Galua asarlaridagi «guruh» tushunchasi ko‘p o‘rinlarda «to‘plam» atamasi uchun sinonim sifatida ham qo‘llanadi. Guruh atamasiga aniq ta’rif berib, uni turli algebraik elementlarga tadbiq qilsa bo‘ladigan abstrakt obyekt sifatida bayon qilgan matematik bu Artur Keli (1821-1895) bo‘ladi. 1854 yilda «Falsafa Jurnali»da «Guruhlar nazariyasi haqida» degan nom bilan chop etilgan o‘z ilmiy maqolasida Keli u abstrakt elementlar ustida bajariladigan va natijasi ham aynan shu elementlar guruhiga taalluqli bo‘ladigan amallarni ko‘rib chiqadi. U paytlarda hozirgidek, to‘plamlar tushunchasi va guruhlarni ramziy belgilash amaliyoti mavjud bo‘lmagan. Keli maqolasida 1, α, β, … kabi belgilashlardan foydalangan. Operatsiya esa qiymatlar jadvali deb nomlangan jadval vositasida aniqlangan. Qiymatlar jadvali va har biri oltita elementdan tashkil topgan to‘plamlar uchun aniqlangan operatsiyalarni tekshirib chiqib, Keli, oltita elementlar ichida ikkita fundamental guruhlar mavjudligi haqida xulosaga kelgan.

 

Halqa tushunchasini esa, bir-biridan mustaqil ravishda Rixard Dedekind (1831-1916) va Leopold Kroneker (1823-1891) tomonidan «tartib» (orders) nomi ostida matematikaga kiritilgan. «Halqa» atamasini birinchi bo‘lib David Gilbert o‘zining 1897 yilda e’lon qilingan «Guruhlarning algebraik strukturasi haqida» deb nomlangan ilmiy ishida qo‘llagan. Guruhlarning algebraik strukturalar sifatida ta’riflanishi, halqalarning ham aniqlanishiga zamin tayyorladi. Halqa abstrakt tushunchasini birinchi bo‘lib, 1914 yilda matematik Abraxam Frenkel (1891-1965) tomonidan qo‘llangan. Biroq, Frenkel ta’riflagan va qo‘llagan halqa tushunchasi zamonaviy matematikada muqim o‘rnashib qolgan halqa tushunchasidan ancha farq qiladi. Zamonaviy talqindagi halqa va ideallar tushunchasini 1917 yilda Emmi Nyoter o‘zining «Halqalardagi ideallar nazariyasi» nomli ilmiy ishi orqali kiritgan. Matematika fani mutaxassislarning yakdillik bilan ta’kidlashicha, Emmi Nyoter va uning teoremalarining abstrakt algebrada tutgan o‘rni, xuddi Yevklid va uning teoremalarning planimetriya geometriyasidagi o‘rni kabi ahamiyatga ega. Umuman olganda, algebraik strukturalar tushunchasi bugungi kunda shunchaki nazariy matematika sohasi chegarasidan tashqariga chiqib ketgan. Algebraik strukturalar fizika, kimyo va ayniqsa informatika sohalarida o‘ta muhim ahamiyat kasb etmoqda. Guruhlar nazariyasi va algebraik strukturalar tushunchasisiz nisbiylik nazariyasi va kvant mexanikasini barpo qilish imkonsiz bo‘lgan bo‘lur edi…


Bizni ijtimoiy tarmoqlarda ham kuzatib boring:

Feysbukda: https://www.facebook.com/Orbita.Uz/

Tvitterda: @OrbitaUz

Google+ : https://plus.google.com/104225891102513041205/posts/

Telegramdagi kanalimiz: https://telegram.me/OrbitaUz


[1] Shunga e'tibor boringki, ushbu belgilarni tanlashdan maqsad, mutolaachiga to‘plam ichki amallari mutlaqo ixtiyoriy-tasodifiy tanlanayotganiga ishora qilishdir. Agar bular o‘rniga + va : belgilarining qo‘ysak, unda faqat qo‘shish va bo‘lish amallari aniqlangan to‘plamni halqa deb atash haqida noto‘g‘ri tasavvur uyg‘onib qolishi mumkin

1) Birinchi operatsiya $ ga nisbatan halqa kommutativ guruh xossasiga ega;

2) Ikkinchi operatsiya assotsiativlik xossasiga ega. Boshqacha aytganda, A to‘plamning istalgan a, b va c elementlari uchun (a^b)^c=a^(b^c) tenglik bajariladi.

3) Ikkinchi operatsiya, ya'ni ^ birinchi operatsiya $ ga nisbatan distirbutiv bo‘ladi. Ya'ni, bunda a^(b$c)=(a^b)$(a^c) shart bajariladi.

Butun sonlar to‘plami va qo‘shish va ko‘paytirish amallari birgalikda halqa tashkil qiladi va uni matematikada (?,+, ?) tarzida belgilanadi. Biz yuqorida, butun sonlar to‘plami va qo‘shish amali birgalikda kommutativ guruh tashkil qilishini aytib o‘tgandik. Shuningdek, biz bilamizki, butun sonlarni ko‘paytirish amali assotsiativlik xossasiga ega. Ya�ni, misol uchun 3?(4?8)=(3?4)?8, ya'ni, 3?32=12?8. Vanihoyat, bu holatda distirbutivlik xossasi quyidagicha namoyon bo‘ladi: 2?(4+6)=2?4+2?6.

Yangilаndi: 26.11.2018 10:33