«Աբստրակտ հանրահաշիվ»–ի խմբագրումների տարբերություն
չ r2.7.3) (Ռոբոտը փոփոխում է․: tl:Alhebrang abstrakto |
չ r2.7.3) (Ռոբոտ․ ru:Абстрактная алгебра փոփոխվել է ru:Общая алгебраով |
||
Տող 98. | Տող 98. | ||
[[pt:Álgebra abstrata]] |
[[pt:Álgebra abstrata]] |
||
[[ro:Algebră abstractă]] |
[[ro:Algebră abstractă]] |
||
[[ru: |
[[ru:Общая алгебра]] |
||
[[sh:Apstraktna algebra]] |
[[sh:Apstraktna algebra]] |
||
[[simple:Abstract algebra]] |
[[simple:Abstract algebra]] |
13:12, 19 հունվարի 2013-ի տարբերակ
Աբստրակտ հանրահաշիվը (նաև բարձրագույն հանրահաշիվ կամ ընդհանուր հանրահաշիվ), մաթեմատիկայի բաժին է, որն ուսումնասիրում է հանրահաշվական համակարգերը (նաև կոչվում են հանրահաշվական կառուցվածքներ), ինչպիսիք են խմբերը, օղակները, դաշտերը, մասնակի կարգավորված բազմությունները, ցանցերը, ինչպես նաև արտապատկերումները այդ կառուցվածքների միջև:
Պատմականորեն հանրահաշվական կառուցվածքները նախ առաջացել են մաթեմատիկայի այլ ոլորտների մեջ: Աբստրակցիայից և աքսիոմատիկ սահմանումների ձևակերպումից հետո նրանք դառնում էին աբստրակտ հանրահաշվի հետազոտման առարկա: Այդ իսկ պատճառով աբստրակտ հանրահաշիվը կիրառություն է գտնում մաթեմատիկայի բազմաթիվ այլ ոլորտներում:
Ստորև թվարկվում են աբստրակտ հանրահաշվի հիմնական հարաբերությունների և կառուցվածքների սահմանումները: Բերվում են գրաֆային օրինակներ: Բազմություն, բազմության պատկանելիություն, գործողություններ բազմությունների հետ և բազմությունների հետ կապված այլ հասկացությունների մեկնաբանությունը կարելի է գտնել Բազմությունների տեսություն բաժնում:
Բինար Հարաբերություններ և գործողություններ նրանց հետ
- Հարաբերություն - դեկարտյան արտադրյալի ենթաբազմությունն անվանում ենք բինար հարաբերություն և բազմությունների տարրերի միջև։ և բազմությունները կոչվում են բինար հարաբերության հենքային բազմություններ։ հարաբերության պրոյեկցիան i-րդ առանցքի վրա կանվանենք այն բազմությունը, որի տարրերն են i-րդ առանցքի վրա - ի տարրերի պրոյեկցիանները և միայն նրանք․
- Ֆունկցիոնալ հարաբերություն - հարաբերությունն անվանենք ֆունկցինալ հարաբերություն, եթե ստույգ է պնդումը։ ֆոունկցիոնալ հարաբերությունը անվանենք ամենուրեք որոշված , եթե , կամ որ նույնն է, եթե ։ Ամենուրեք որոշված ֆունկցիանալ հարաբերությանն անվանում են ֆունկցիա կամ բազմության արտապատկերում բազմության մեջ և գրում : բազմությանն անվանում են ֆունկցիայի որոշման տիրույթ, իսկ բազմությանը՝ ֆունկցիայի արժեքների բազմություն։
- Արտապատկերում - ֆունկցիային կանվանենք բազմության արտապատկերում բազմության վրա կամ սուրյեկտիվ արտապատկերում, եթե , կամ որ նույնն է, եթե ստույգ է պնդումը:
- Միարժեք արտապատկերում - ֆունկցիային կանվանենք ինյեկտիվ արտապատկերում, եթե -ը ֆունկցիոնալ հարաբերություն է, կամ որ նույնն է, եթե ստույգ է :
- Փոխմիարժեք արտապատկերում - ֆունկցիային կանվանենք բիեկտիվ արտապատկերում, եթե այն միաժամանակ ինյեկտիվ և սուրյեկտիվ արտապատկերում է:
Հարաբերությունների որոշ դասեր
- Ռեֆլեքսիվ հարաբերություն
- Սիմետրիկ հարաբերություն
- Տրանզիտիվ հարաբերություն
- Կարգի հարաբերություն
- Մասնակի կարգի հարաբերություն
- Լրիվ կարգի հարաբերություն
- Խիստ կարգի հարաբերություն
- Էկվիվալենտության հարաբերություն
- Գործողություն
- Դիստրիբյուտիվ գործողություններ
Հանրահաշվական համակարգեր
- Խմբակերպ կամ խմբոիդ
- Կիսախումբ
- Միավոր էլեմենտը բազմության հատուկ էլեմենտ է, որը բավարարում է բինար գործողությանը այդ բազմության վրա և թողնում է մյուս էլէմենտներն անփոփոխ, երբ հարաբերվում է դրանց հետ։
- Մոնոիդը աբստրակտ հանրահաշվի կառուցվածք է ասոցիատիվ բինար գործողությամբ և միավոր էլեմենտով։
- Խումբ
- Տեղափոխելի կամ Աբելյան խումբ
- Վերջավոր խումբ է կոչվում այն խումբը, որի էլեմենտները վերջավոր են։
- Ցիկլիկ խումբ է կոչվում այն խումբը, որի էլեմենտները մասնավոր էլեմենտի աստիճաններ են։
- Խմբի Ծնիչ կամ Բազիս
- Օղակ
- Տարածությունն իրենից ներկայացնում է բազմություն լրացուցիչ կառուցվածքով։ Կախված կառուցվածքի տեսակից տարածության էլեմենտը կոչվում է կետ, վեկտոր, պատահար։
- Ենթատարածություն
- Մետրիկական տարածություն է կոչվում այն բազմությունը, որտեղ սահմանված է հեռավորություն կամայական երկու էլեմենտի միջև։
- Տոպոլոգիական տարածություն
- Նորմավորված տարածություն
- Գծային կամ վեկտորական տարածություն
- Նորմավորված վեկտորական տարածություն
- Նորմավորված տարածություն
- Էվկլիդյան տարածություն
- Բանախյան տարածություն
- Հիլբերտյան տարածություն
- Ռեֆլեքսիվ տարածություն
Այլ հանրահաշիվներ
Հանրահաշվական տերմինների միջոցով կարելի է նկարագրել նաև համակարգեր մաթեմատիկայի այլ ոլորտներից, ինչպես օրինակ գրաֆների տեսությունից:
- Կողմնորոշված գրաֆ
Կողմնորոշված գրաֆը իրենից ներկայացնում է <G, V> համակարգ, որտեղ G-ն բազմություն է, V-ն G-ի վրա տրված բինար հարաբերություն (VGxG):
- Գրաֆ (Չկողմնորոշված)
Գրաֆը իրենից ներկայացնում է <G, V> համակարգ, որտեղ G-ն բազմություն է, V-ն G-ի վրա տրված բինար սիմետրիկ հարաբերություն:
- Պարզ գրաֆ
Պարզ գրաֆը իրենից ներկայացնում է <G, V> համակարգ, որտեղ G-ն բազմություն է, V-ն G-ի վրա տրված բինար անտռեֆլեքսիվ և սիմետրիկ հարաբերություն:
- Բաշխիչ (կամ դիստրիբյուտիվ) ցանց
Բաշխիչ (կամ դիստրիբյուտիվ) ցանցը իրենից ներկայացնում է <G, V> համակարգ, որտեղ G-ն բազմություն է, V-ն G-ի վրա տրված բինար տրանզիտիվ և անտիսիմետրիկ հարաբերություն: