Բազմություն

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search
Բազմանկյունների բազմություն Էյլերի դիագրամի վրա

Բազմություն, իրարից տարբեր օբյեկտների որոշակի հավաքածու է, որն իր հերթին դիտարկվում է որպես օբյեկտ։ Բազմության մեջ օբյեկտների դասավորությունը նշանակություն չունի։ Բազմությունները կարող են նշվել ձևավոր փակագծերում թվարկելով բազմության տարրերը։ Օրինակ, 2, 4, և 6 տարբեր օբյեկտներ են, երբ դրանք դիտարկվում են առանձին, առանձին, երբ դրանք դիտարկվում են որպես համախմբություն կամ հավաքածու, ապա այն երեք տարրերից բաղկացած պարզ բազմություն է {2, 4, 6}, որը կարող է ներկայացվել նաև {2, 6, 4}, {4, 2, 6}, {4, 6, 2}, {6, 2, 4} or {6, 4, 2}.[1] Բազմությունները կարող են նաև նշանակվել լատինատառ մեծատառերով՝ , , .[2][3]

Բազմությունները մաթեմատիկայի ամենաֆունդամենտալ հասկացություններից են։[4] Զարգանալով 19-րդ դարի վերջում[5], բազմությունների տեսությունը այժմ մաթեմատիկայի անբաժան մասն է։ Մաթեմատիկական կրթության մեջ, տարրական թեմաները այնպիսիք, ինչպիսին Վեն դիագրամներն են, ուսուցանվում են դպրոցական տարիքում, մինչդեռ ավելի բարձրակարգ հասկացությունները ուսուցանվում են որպես համալսարանական աստիճանի մաս։

Ծագումնաբանություն[խմբագրել | խմբագրել կոդը]

Գերմաներեն Menge բառը, որ հայերենով թարգմանվում "բազմություն" կամ հավաքածու, հորինել է Բեռնարդ Բոլցանոն և հիշատակել իր Անվերջության պարադոքս աշխատության մեջ։[6][7][8]

Սահմանում[խմբագրել | խմբագրել կոդը]

Հատված Գեորգ Կանտորի բնօրինակ սահմանման՝ թարգմանությամբ: «Menge» գերմաներեն բառը «set»-ը այստեղ թարգմանվում է «հավաքածու» բառով

Բաղմությունը, դա մեր ընկալման (Anschauung) և մեր մտքի մի շարք որոշակի, օբյեկտների խումբ է, որոնք կոչվում են հավաքածուի տարրեր: [9][10] Օբյեկտները, որ միանալով բազմություն են կազմում (նաև հայտնի որպես բազմության տարրեր կամ անդամներ)[11], կարող են լինել ամեն ինչ՝ թվեր, մարդիկ, այբուբենի տառեր, այլ բազմություններ և այլն[12] «Archived copy»։ Արխիվացված է օրիգինալից 2011-06-10-ին։ Վերցված է 2011-04-22  ։ Բազմությունների տեսության հիմնադիրնեից մեկը՝ Գեորգ Կանտորը իր Beiträge zur Begründung der transfiniten Mengenlehre սկզբում բազմության հետևյալ սահմանումն է տվել[13]:

Aquote1.png A set is a gathering together into a whole of definite, distinct objects of our perception [Anschauung] and of our thought – which are called elements of the set. Aquote2.png

Բազմությունները սովորաբար նշանակվում են մեծատառերով։[14][15][2] Sets A և B բազմությունները հավասար են այն և միայն այն ժամանակ, երբ ճշգրիտ միևնույն տարրերից են կազմված։[16]

Տեխնիկական պատճառներից ելնելով, Կանտորի սահմանումը չեղարկվեց որպես ոչ ադեկվատ, այսօր, առավել ճշգրտություն պահանջող կոնտեքստում օգտագործվում է բազմությունների աքսիոմատիկ տեսությունը, որտեղ բազմության գաղափարըն ընդունվում է որպես պարզագույն հասկացություն, իսկ դրա հատկությունները սահմանվում են որպես աքսիոմների հավաքածու։[17] Ամենահիմնական հատկություններն են՝ բազմությունն ունի տարրեր և երկու բամություն համարժեք են, այն և միայն այն դեպքում, երբ մեկի յուրաքանչյուր տարր նաև երկրորդի տարր է։[18]

Բազմության նշում[խմբագրել | խմբագրել կոդը]

Բազմության անդամների նկարագրման երկու տարածված եղանակ գոյություն ունի․ Ռոսթերի նշանակում և բազմության կառուցման նշանակում։[19][20] Սրանք համապատասխանաբար բազմությունների նկարագրման քստենսիոն և ինտենսիոն սահմանումների օրինակներ են։[21]

Ռոսթերի նշանակում[խմբագրել | խմբագրել կոդը]

Ռոսթերի նշանակումը (կամ թվարկումով նշանակումը) դա բազմության յուրաքանչյուր անդամի թվարկման մեթոդ է։[19][22][23] Ավելի ստույգ, ռոսթեր նշանակման մեջ (ընդարձակ և բովանդակային նկարագրման օրինակ),[21] բազմությունը ներկայացվում է ձևավոր փակագծերում անդամների թվարկմամբ․

A = {4, 2, 1, 3}
B = {կապույտ, սպիտակ, կարմիր}։

Մեծաթիվ տարրերով բազմությունների համար, անդամների թվարկումը կարելի է կրճատել։[24][25] Օրինակ, առաջին հազար դրական թվերի բազմությունը կարելի է ներկայացնել այսպես․

{1, 2, 3, ..., 1000},

որտեղ («...») - ը ցույց է տալիս, որ ցուցակը շարունակվում է ըստ ցուցադրված օրինաչափության:[24]

Ռոսթերի նշանակման մեջ, անդամի կրկնություննը բազմությունը չի փոխում, օրինակ {11, 6, 6} և {11, 6} բազմությունները նույնն են։[26]} Ավելին, բազմության տարրերի թվարկման կարգը կարևոր չէ (ի տարբերություն հաջորդականության կամ կորտեժ, ուստի {6, 11} միևնույն հավաքածուն է։[26][3]

Բազմություն կառուցողի ներկայացում[խմբագրել | խմբագրել կոդը]

Այս ներկայացման մեջ բազմությունը որոշվում էորպես ընտրություն ավելի մեծ բազմությունից, որ սահմանվում է անդամները ներառող պայմանով։[27][28] Օրինակ, F բազմությունը կարող է նկարագրվել հետևյալ կերպ․

Այս ներկայացման մեջ, ուղղահայաց գիծը ("|") նշանակում է "այնպիսին ինչպես", և նկարագրությունը կարող է մեկնաբանվել որպես "Fn այն բոլոր դրական ամբողջ թվերի բազմությունն է, որոնք ընկած են 0 ից 19 միջակայքում, ներառյալ 19-ը"։ Երբեմն ուղղահայաց գծի փոխարեն օգտագործվում է վերջակետի (":") նշանը։[29]

Բազմություն կառուցողի գրառումը բովանդակային սահմանման օրինակ է։[21]

Բազմության ներկայացման այլ եղանակներ[խմբագրել | խմբագրել կոդը]

Բազմության ներկայացման այլ եղանակը սեմանտիկ նկարագրության կիրառումն է․[30]

A -ն բազմություն է, որի անդամները առաջին չորս դրական ամբողջ թվերն են։
B -ն Ֆրանսիայի դրոշի գույների բազմությունն է։

Սա բովանդակային նկարագրության այլ օրինակ է։[21]

Անդամակցություն[խմբագրել | խմբագրել կոդը]

Եթե B-ն բազմություն է և xB-ի օբյեկտներից մեկն է, դա գրառվում է այսպես xB և կարդացվում՝ "x-ը B-ի տարր է", ինչպես "x-ը պատկանում է B-ին", կամ "x-ը B-ի մեջ է"։[31] Եթե y-ը is not a member of B-ի անդամ չէ, ապա դա գրառվում է այսպես yB, կարդացվում "y-ը B-ի տարր չի", կամ "y -ը B-ում չէ"։[32][2][33]

Օրինակ, A = {1, 2, 3, 4}, B = {կապույտ, սպիտակ, կարմիր}, և F = {n | n դրական ամբողջ թիվ է, և 0 ≤ n ≤ 19},

4 ∈ A և 12 ∈ F; և
20 ∉ F կանաչը ∉ B.

Ենթաբազմություններ[խմբագրել | խմբագրել կոդը]

Եթե A-ի յուրաքանչյուր տարր առկա է նաև B-ում, ապա ABենթաբազմություն է, գրառվում է AB (արտասանվում՝ A -ն պարունակվում է B-ում)։[34] Equivalently, one can write BA, read as B is a superset of A, B includes A, or B contains A.[35][2] ⊆ նշանով բազմությունների հարաբերությունը կոչվում է ներառում կամ պարունակություն։ Երկու բազմություն հավասար են, եթե նրանք մեկը մյուսին պարունակում են․ AB և BA համարժեք է A = B։[27]

Եթե AB-ի ենթաբազմություն է, սակայն հավաար չէ B-ին, ապա A-ն կոչվում է Bիսկական ենթաբազմություն, գրառվում է AB, կամ պարզապես AB[34] (A is a proper subset of B), or BA (B-ն A-ի իսկական բազմություն է, BA).[2]

The expressions AB և BA արտահայտությունները տարբեր հեղինակների կողմից տարբեր կերպ են օգտագործվում, որոշ հեղինակներ դրանք օգտագործում են նկատի ունենալով նույնը ինչ որ AB[36][32] (համապատասխանաբար BA), մինչդեռ մյուսներն օգտագործում են դրանք `նույն իմաստով, ինչ AB[34] (respectively BA).

ABենթաբազմություն է

Օրինակներ:

  • Բոլոր մարդկանց բազմությունը բոլոր կաթնասունների բազմության իսկական ենթաբազմությունն է:
  • {1, 3} ⊆ {1, 2, 3, 4}։
  • {1, 2, 3, 4} ⊆ {1, 2, 3, 4}։

Կա եզակի բազմություն՝ առանց անդամների,[37] called the դատարկ բազմություն (կամ զրո բազմություն), որը նշանակվում է ∅ սիմվոլով կամ {}։[2] Դատարկ բազմությունը յուրաքանչյուր բազմության ենթաբազմություն է,[38] և յուրաքանչյուր բազմություն ինքն իր ենթաբազմությունն է․[39]

  • ∅ ⊆ A։
  • AA։

Բաժիններ[խմբագրել | խմբագրել կոդը]

S բազմության բաժինը նրա ոչ դատարկ ենթաբազմությունն է, այնպիսին, որ S-ի յուրաքանչյուր x տարր այդ ենթաբազմություններից ճիշտ մեկի տարր է։ Այսինքն, այդ ենթաբազմությունների ցանկացած զույգ չեն հատվում (այն իմաստով, որ բաժինների ցանկացած երկուսը ընդհանուր տարր չունեն, և բաժանման բոլոր ենթաբազմությունների գումարը S-ն է։[40][41]

Հզոր բազմություններ[խմբագրել | խմբագրել կոդը]

S բազմության բոլոր ենթաբազմությունների բազմությունը կոչվում է հզոր բազմություն։ [27] Հզոր բազմությունը պարունակում է S-ը և դատարկ բազմությունը, քանի որ դրանք S-ի ենթաբազմություններ են։ Օրինակ, the power set of the set {1, 2, 3} բազմության հզոր բազմությունը հետևյալ {{1, 2, 3}, {1, 2}, {1, 3}, {2, 3}, {1}, {2}, {3}, ∅} բազմությունն է։ S բազմության հզոր բազմությունը նշանակվում է P(S[27][42][2][3]

n վերջավոր տարրերով բազմության հզոր բազմությունը ունի 2n տարրեր։[43] Օրինակ, {1, 2, 3} բազմությունն ունի երեք տարր և վերևում ներկայացված հզոր բազմությունն ունի 23 = 8 տարր։

Անվերջ (հաշվելի, թե՝ անհաշվելի ) բազմության հզոր բազմությունն անհաշվելի է։ Ավելին, բազմության հզոր բազմությունը միշտ խիստ "մեծ է" սկզբնական բազմությունից, այն իմաստով, որ հնարավոր չէ S-ի յուրաքանչյուր տարր P (S) ճշգրիտ մեկ տարրի հետ զուգակցել:[44]

Բազմության հզորություն[խմբագրել | խմբագրել կոդը]

{{Main|Բազմության հզորություն}

S բազմության հզորությունը դա նրա անդամների քանակն է և նշանակվում է Կաղապար:Mabs։[45] Օրինակ, եթե B = {կապույտ, սպիտակ, կարմիր}, ապա Կաղապար:Mabs = 3։ Ռոսթերի գրառման մեջ կրկնվող անդամները չեն հաշվվում,[46][47] այսպիսով Կաղապար:Mabs = 3, նույնպես։

Դատարկ բազմության հզորությունը հավասար է զրոյի։[48]

Որոշ բազմությունների հզորությունն անվերջ է։ Օրինակ, N բնական թվերի բազմությունն անվերջ է։[27] Որոշ անվերջ հզորություններ ավելի մեծ են մյուսներից։ Օրինակ, իրական թվերի բազմությունն ունի ավելի մեծ հզորություն, քան բնական թվերինը։[49] Այնուամենայնիվ կարելի է ցույց տալ, որ ուղիղ գծի հզորությունը (ուղղի կետերի քանակը) նույնն է ինչ որ այդ ուղղի ցանկացած հատվածի, ամբողջ հարթության և նույնիսկ ցանկացած վերջավոր Էվկլիդյան տարածության։[50]

Հատուկ բազմություններ[խմբագրել | խմբագրել կոդը]

ℕ բնական թվերը ℤ ամբողջ թվերի մաս են կազմում, որոնք էլ ℚ ռացիոնալ թվերի մաս են կազմում, սրանք էլ ℝ իրական թվերի, որոնք և ℂ կոմպլեքս թվերի մաաս են կազմում։

Մի շարք բազմություններ, կամ բազմությունների տեսակներ, որոնք մաթեմատիկական մեծ կարևորություն ունեն և այնպիսի հաճախականությամբ են հիշատակվում, որ իրենց իդենտիֆիկացմանհամար ձեռք են բերել հատուկ անուններ և նշանակումներ։Այդպիսի բազմություններից է դատարկ բազմությունը՝{ } կամ ∅.[51][2] Ճիշտ մեկ x տարրով բազմությունը միավոր բազմություն է, կամ սինգլթոն {x},[16] այն տարբերվում է x-ից։[52]

Այս բազմություններից շատերը ներկայացվում են թավատառ (P) կամ կիսաթավատառ (ℙ)։[53] These include:[2]

  • P կամ ℙ-ով է նշանակվում պարզ թվերի բազմությունը․ P = {2, 3, 5, 7, 11, 13, 17, ...}.[54]
  • N կամ ℕ-ով է նշանակվում բնական թվերի բազմությունը․ N = {0, 1, 2, 3, ...} (sometimes defined excluding 0).[53]
  • Z կամ ℤ-ով է նշանակվում ամբողջ թվերի բազմությունը (դրական, բացասական և զրո): Z = {..., −2, −1, 0, 1, 2, ...}.[53]
  • Q կամ ℚ-ով է նշանակվում ռացիոնալ թվերի բազմությունը (բոլոր կանոնավոր և անկանոն կոտորակների բազմությունը)․ Q = {a/b | a, bZ, b ≠ 0}. Օրինակ, 1/4 ∈ Q և 11/6 ∈ Q. Բոլոր ամբողջ թվերը այս բազմության մեջ են, քանի որ յուրաքանչյուր a թիվ կարելի է ներկայացնել կոտորակի տեսքով՝ a/1 (ZQ[53]
  • R կամ ℝ-ով է նշանակվում բոլոր իրական թվերի բազմությունը։ Այս բազմությունը ներառում է բոլոր ռացիոնալ և իռացիոնալ թվերը (այսինքն հանրահաշվական թվերը չեն կարող ներկայացվել կոտորակի տեսքով, ինչպես 2, ինչպես նաև տրանսցենդենտ թվերը, ինչպիսին են π, e[53]
  • C or ℂ-ով է նշանակվում բոլոր կոմպլեքս թվերի բազմությունը․ C = {a + bi | a, bR}. Օրինակ, 1 + 2iC.[53]
  • H կամ ℍ-ով է նշանակվում բոլոր քվատերնոների բազմությունը․ H = {a + bi + cj + dk | a, b, c, dR}. Օրինակ, 1 + i + 2jkH։[55]

Վերոնշյալ բոլոր բազմություններն անվերջ են և յուրաքանչյուրը իր ստորևի իսկական ենթաբազմություն է։ Պարզ թվերը Թվերի տեսությունից և հարակից ոլորտներից դուրս ավելի հազվադեպ են օգտագործվում։

Դրական կամ բացասական բազմությունները երբեմն նշվում են վերատառ համապատասխանաբար դրական և բացասական նշաններով։ Օրինակ, ℚ+ ներկայացնում է դրական ռացիոնալ թվերի բազմությունը։

Հիմնական գործողություններ[խմբագրել | խմբագրել կոդը]

Գոյություն ունեն մի քանի հիմնարար գործողություններ տված բազմություններից նոր բազմություններ կառուցելու համար։

Միավորումներ[խմբագրել | խմբագրել կոդը]

The union of A և Bմիավորումը, նշանակվում է AB

Երկու բազմություն կարելի գումարել միմյանց։ A և B-ն կարելի է միավորումը՝ A ∪ B,[2] այն բազմություն է, որի անդամները բոլոր այն օբյեկտներն են, որ կամ A-ի կամ B-ի անդամներ են։

Օրինակներ:

  • {1, 2} ∪ {1, 2} = {1, 2}.
  • {1, 2} ∪ {2, 3} = {1, 2, 3}.
  • {1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5}

Միավորման մի քանի հիմնական հատկություններ․

  • AB = BA.
  • A ∪ (BC) = (AB) ∪ C.
  • A ⊆ (AB).
  • AA = A.
  • A ∪ ∅ = A.
  • AB այն և միայն այն դեպքում, երբ AB = B.

Հատում[խմբագրել | խմբագրել կոդը]

Նոր բազմություն կարելի է կառուցել նաև տարրերից, որոնք ընդհանուր են երկու բազմությունների համար։ A և B բազմությունների հատումը նշանակվում է AB,[2] և իրենից ներկայացնում է այն օբյեկտները, որոնք միաժամանակ A և B բազմությունների անդամ են։ Եթե AB = ∅, ապա A և B բազմությունները չեն հատվում։

A and B բազմությունների հատումը նշանակվում է AB.

Օրինակներ:

  • {1, 2} ∩ {1, 2} = {1, 2}.
  • {1, 2} ∩ {2, 3} = {2}.
  • {1, 2} ∩ {3, 4} = ∅.

Հատումների մի քանի հիմնական հատկություններ

  • AB = BA.
  • A ∩ (BC) = (AB) ∩ C.
  • ABA.
  • AA = A.
  • A ∩ ∅ = ∅.
  • AB այն և միայն այն դեպքում, երբ AB = A.

Լրացումներ[խմբագրել | խմբագրել կոդը]

The relative complement
of B in A
The complement of A in U
The symmetric difference of A and B

Երկու բազմություններ կարող են նաև մեկը մյուսից "հանել"։ The relative complement of B-ի հարաբերական լրացումը A-ում (նաև անվանվում է A և B-ի բազմությունների տարբերություն), գրառվում է A \ B (կամ AB),[2] դա is the set of all elements that are members of A,-ի բոլոր այն տարրերի բազմությունն է, որոնք B-ի անդամ չեն։ Թույլատրելի է նաև բազմությունից հանել անդամներ, որոնք տվյալ բազմության անդամ չեն, այնպես որ կանաչ տարրը հանել {1, 2, 3}բազմությունից, այս կերպ վարվելը չի ազդի բազմության տարրերի վրա։ Որոշակի պայմաններում քննարկվող բոլոր բազմությունները ենթադրվում են որպես U մաթեմատիկական տարածության ենթաբազմություններ. Այդ դեպքում U \ A-ը կոչվում է Aբացարձակ լրացում կամ պարզապես լրացումև նշանակվում որպես A′ կամ Ac.[2]

  • A′ = U \ A

Օրինակներ:

  • {1, 2} \ {1, 2} = ∅.
  • {1, 2, 3, 4} \ {1, 3} = {2, 4}.
  • Եթե U-ն ամբողջ թվերի բազմությունն է, E-ն զույգ թվերի և O-ի, ապա կենտ թվերի բազմությունը կլինի U \ E = E′ = O.

Լրացման մի քանի հիմնական հատկություններ են հետևյալները․

  • A \ BB \ A, երբ AB։
  • AA′ = U.
  • AA′ = ∅.
  • (A′)′ = A.
  • ∅ \ A = ∅.
  • A \ ∅ = A.
  • A \ A = ∅.
  • A \ U = ∅.
  • A \ A′ = A և A′ \ A = A′.
  • U′ = ∅ և ∅′ = U.
  • A \ B = AB.
  • Եթե AB, ապա A \ B = ∅.

A, B բազմությունների համար սահմանված լրացման ընդլայնումը սիմետրիկ տարբերությունն է և գրառվում է․

Օրինակ, {7, 8, 9, 10} և {9, 10, 11, 12} բազմությունների սիմետրիկ տարբերությունը {7, 8, 11, 12} բազմությունն է։

Դեկարտյան արտադրյալ[խմբագրել | խմբագրել կոդը]

Նոր բազմություն կարելի է կառուցել միավորելով մի բազմության յուրաքանչյուր տարր, միավորելով մեկ այլ բազմության յուրաքանչյուր տարրի հետ։ Երկու A և B բազմությունների Դեկարտյան արտադրյալ A × B նշանակմամբ,[2] դա բոլոր (a, b) կարգավորված զույգերի բազմությունն է, այնպես որ a A-ի անդամ է և bB-ի անդամ է։

Օրինակներ․

  • {1, 2} × {կարմիր, սպիտակ, կանաչ} = {(1, կարմիր), (1, սպիտակ), (1, կանաչ), (2, կարմիր), (2, սպիտակ), (2, կանաչ)}։
  • {1, 2} × {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.
  • {a, b, c} × {d, e, f} = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}.

Դեկարտյան արտադրյալի որոշ հիմնական հատկություններ

  • A × = ∅.
  • A × (BC) = (A × B) ∪ (A × C).
  • (AB) × C = (A × C) ∪ (B × C).

Թող A և B-ն վերջավոր բազմություններ են, ապա դեկարտյան արտադրյալի հզորությունը հավասար է այդ բազմությունների հզորությունների արտադրյալը․

  • | A × B | = | B × A | = | A | × | B |.

Կիրառություններ[խմբագրել | խմբագրել կոդը]

Բազմությունների տեսությունը դիտարկվում է որպես հիմք, որից բոլոր մաթեմատիկայի մոլոր ճյուղերը կարելի է դուրս բերել։ Օրինակ աբստրակտ հանրահաշվի հանրահաշվական կառուցվածքները, ինչպիսիք են խմբերը, դաշտերը, օղակները բազմություններ են մեկ կամ մի քանի գործողություններ կատարելու ժամանակ։

Բազմությունների տեսության գլխավոր կիրառություններից մեկը հարաբերությունների կառուցումն է։ A relation from a domain A տիրույթի հարաբերությունը B համատիրույթի հետ A × B' դեկարտյան արտադրյալի ենթաբազմություն է։ Օրինակ, considering the set S = { rock, paper, scissors } of shapes in the game of the same name, the relation "beats" from S to S is the set B = { (scissors,paper), (paper,rock), (rock,scissors) }; thus x beats y in the game if the pair (x,y) is a member of B. Another example is the set F of all pairs (x, x2), where x is real. This relation is a subset of R × R, because the set of all squares is subset of the set of all real numbers. Since for every x in R, one and only one pair (x,...) is found in F, it is called a function. In functional notation, this relation can be written as F(x) = x2.

Առընչություններ բազմությունների միջև[խմբագրել | խմբագրել կոդը]

Էյլերի դիագրամ համար

և երկու բազմությունները կարող են միմյանց հետ տարբեր առընչություն ունենալ

  • ընդգրկում , եթե -ի յուրաքանչյուր անդամը պատկանում է նաև բազմությանը։
  • ընդգրկում է , եթե պատկանում է :
  • հավասար է , եթե և ընդգրկում են մեկը մյուսին:
    • Ցանկացած բազմության համար
    • Եթե , ապա
    • Եթե , , ապա .
  • խստորեն պատկանում է , եթե պատկանում է , բայց նրան հավասար չէ:
  • խստորեն պատկնում է , եթե խստորեն պատկանում է :
  • և չեն հատվում,եթե ընդհանուր անդամներ չունեն։
    և չեն հատվում
  • և գտնվում են ընդհանուր վիճակում, եթե գոյություն ունի անդամ, որ պատկանում է միայն բազմությանը, անդամ, որ պատկանում է միայն -ին և անդամ, որ պատկանում է երկուսին էլ։
    և գտնվում են ընդհանուր վիճակում

Գործողություններ բազմությունների հետ[խմբագրել | խմբագրել կոդը]

Վենի դիագրամ համար
Վենի դիագրամ համար
Վենի դիագրամ համար
Վենի դիագրամ համար
  • հատում․
    .
  • միավորում․
    .
Եթե և բազմությունները չեն հատվում, ապա . Նրանց միավորումը նշանակում են նաև հետյալ ձևով՝
  • տարբերություն․
    .
  • համաչափ տարբերություն․
    .
  • դեկարտյան կանմ ուղիղ արտադրյալ․
    .
Վենի դիագրամ համար

Բազմության տարրեր կամ անդամներ կարող են լինել՝ թվեր, մարդիկ, այբուբենի տառեր, ուրիշ բազմություններ և այլն։ Բազմությունները պայմանականորեն նշանակվում են մեծատառերով։ A և B բազմությունները հավասար են այն և միայն այն դեպքում, երբ նրանք բաղկացած են ճիշտ նույն էլեմենտներից[16]:

Ծանոթագրություններ[խմբագրել | խմբագրել կոդը]

  1. D. Van Dalen, H. C. Doets, H. De Swart (9 May 2014)։ Sets: Naïve, Axiomatic and Applied: A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students։ Elsevier Science։ էջ 1։ ISBN 978-1-4831-5039-0 
  2. 2,00 2,01 2,02 2,03 2,04 2,05 2,06 2,07 2,08 2,09 2,10 2,11 2,12 2,13 «Comprehensive List of Set Theory Symbols»։ Math Vault (en-US)։ 2020-04-11։ Վերցված է 2020-08-19 
  3. 3,0 3,1 3,2 «Introduction to Sets»։ www.mathsisfun.com։ Վերցված է 2020-08-19 
  4. Paul R. Halmos (19 April 2017)։ Naive Set Theory։ Courier Dover Publications։ էջ 1։ ISBN 978-0-486-81487-2 
  5. José Ferreirós (16 August 2007)։ Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics։ Birkhäuser Basel։ ISBN 978-3-7643-8349-7 
  6. Steve Russ (9 December 2004)։ The Mathematical Works of Bernard Bolzano։ OUP Oxford։ ISBN 978-0-19-151370-1 
  7. William Ewald, William Bragg Ewald (1996)։ From Kant to Hilbert Volume 1: A Source Book in the Foundations of Mathematics։ OUP Oxford։ էջ 249։ ISBN 978-0-19-850535-8 
  8. Paul Rusnock, Jan Sebestík (25 April 2019)։ Bernard Bolzano: His Life and Work։ OUP Oxford։ էջ 430։ ISBN 978-0-19-255683-7 
  9. Քաղվածելու սխալ՝ Սխալ <ref> պիտակ՝ JainAhmad1995 անվանումով ref-երը տեքստ չեն պարունակում:
  10. Քաղվածելու սխալ՝ Սխալ <ref> պիտակ՝ Goldberg1986 անվանումով ref-երը տեքստ չեն պարունակում:
  11. Thomas H.. Cormen, Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, Clifford Stein (2001)։ Introduction To Algorithms։ MIT Press։ էջ 1070։ ISBN 978-0-262-03293-3 
  12. Halmos 1960, էջ. 1
  13. "Eine Menge, ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung und unseres Denkens – welche Elemente der Menge genannt werden – zu einem Ganzen." [1]
  14. Seymor Lipschutz, Marc Lipson (22 June 1997)։ Schaum's Outline of Discrete Mathematics։ McGraw Hill Professional։ էջ 1։ ISBN 978-0-07-136841-4 
  15. Halmos 1960, էջ. 1
  16. 16,0 16,1 16,2 Stoll Robert (1974)։ Sets, Logic and Axiomatic Theories։ W. H. Freeman and Company։ էջեր 5  Քաղվածելու սխալ՝ Սխալ <ref> թեգ. «Stoll» անվանումը սահմանվել է մի քանի անգամ, սակայն տարբեր բովանդակությամբ:
  17. Jose Ferreiros (1 November 2001)։ Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics։ Springer Science & Business Media։ ISBN 978-3-7643-5749-8 
  18. Halmos 1960, էջ. 2
  19. 19,0 19,1 Charles Roberts (24 June 2009)։ Introduction to Mathematical Proofs: A Transition։ CRC Press։ էջ 45։ ISBN 978-1-4200-6956-3 
  20. Ignacio Bello, Anton Kaul, Jack R. Britton (29 January 2013)։ Topics in Contemporary Mathematics։ Cengage Learning։ էջ 47։ ISBN 1-133-10742-7 
  21. 21,0 21,1 21,2 21,3 Frank Ruda (6 October 2011)։ Hegel's Rabble: An Investigation into Hegel's Philosophy of Right։ Bloomsbury Publishing։ էջ 151։ ISBN 978-1-4411-7413-0 
  22. David Johnson, David B. Johnson, Thomas A. Mowry (June 2004)։ Finite Mathematics: Practical Applications (Docutech Version)։ W. H. Freeman։ էջ 220։ ISBN 978-0-7167-6297-3 
  23. Susanna S. Epp (4 August 2010)։ Discrete Mathematics with Applications։ Cengage Learning։ էջ 13։ ISBN 0-495-39132-8 
  24. 24,0 24,1 Alfred Basta, Stephan DeLong, Nadine Basta (1 January 2013)։ Mathematics for Information Technology։ Cengage Learning։ էջ 3։ ISBN 1-285-60843-7 
  25. Laura Bracken, Ed Miller (15 February 2013)։ Elementary Algebra։ Cengage Learning։ էջ 36։ ISBN 0-618-95134-2 
  26. 26,0 26,1 Stephen B. Maurer, Anthony Ralston (21 January 2005)։ Discrete Algorithmic Mathematics։ CRC Press։ էջ 11։ ISBN 978-1-4398-6375-6 
  27. 27,0 27,1 27,2 27,3 27,4 John F. Lucas (1990)։ Introduction to Abstract Mathematics։ Rowman & Littlefield։ էջ 108։ ISBN 978-0-912675-73-2 
  28. Weisstein Eric W.։ «Set»։ mathworld.wolfram.com (անգլերեն)։ Վերցված է 2020-08-19 
  29. Ralph C. Steinlage (1987)։ College Algebra։ West Publishing Company։ ISBN 978-0-314-29531-6 
  30. Halmos 1960, էջ. 4
  31. Halmos 1960, էջ. 2
  32. 32,0 32,1 Marek Capinski, Peter E. Kopp (2004)։ Measure, Integral and Probability։ Springer Science & Business Media։ էջ 2։ ISBN 978-1-85233-781-0 
  33. «Set Symbols»։ www.mathsisfun.com։ Վերցված է 2020-08-19 
  34. 34,0 34,1 34,2 Felix Hausdorff (2005)։ Set Theory։ American Mathematical Soc.։ էջ 30։ ISBN 978-0-8218-3835-8 
  35. Peter Comninos (6 April 2010)։ Mathematical and Computer Programming Techniques for Computer Graphics։ Springer Science & Business Media։ էջ 7։ ISBN 978-1-84628-292-8 
  36. Halmos 1960, էջ. 3
  37. K.T. Leung, Doris Lai-chue Chen (1 July 1992)։ Elementary Set Theory, Part I/II։ Hong Kong University Press։ էջ 27։ ISBN 978-962-209-026-2 
  38. Halmos 1960, էջ. 8
  39. Halmos 1960, էջ. 3
  40. Toufik Mansour (27 July 2012)։ Combinatorics of Set Partitions։ CRC Press։ ISBN 978-1-4398-6333-6 
  41. Halmos 1960, էջ. 28
  42. Halmos 1960, էջ. 19
  43. Halmos 1960, էջ. 20
  44. Edward B. Burger, Michael Starbird (18 August 2004)։ The Heart of Mathematics: An invitation to effective thinking։ Springer Science & Business Media։ էջ 183։ ISBN 978-1-931914-41-3 
  45. Yiannis N. Moschovakis (1994)։ Notes on Set Theory։ Springer Science & Business Media։ ISBN 978-3-540-94180-4 
  46. Arthur Charles Fleck (2001)։ Formal Models of Computation: The Ultimate Limits of Computing։ World Scientific։ էջ 3։ ISBN 978-981-02-4500-9 
  47. William Johnston (25 September 2015)։ The Lebesgue Integral for Undergraduates։ The Mathematical Association of America։ էջ 7։ ISBN 978-1-939512-07-9 
  48. Karl J. Smith (7 January 2008)։ Mathematics: Its Power and Utility։ Cengage Learning։ էջ 401։ ISBN 0-495-38913-7 
  49. John Stillwell (16 October 2013)։ The Real Numbers: An Introduction to Set Theory and Analysis։ Springer Science & Business Media։ ISBN 978-3-319-01577-4 
  50. David Tall (11 April 2006)։ Advanced Mathematical Thinking։ Springer Science & Business Media։ էջ 211։ ISBN 978-0-306-47203-9 
  51. Halmos 1960, էջ. 8
  52. Halmos 1960, Sect.2 Որպես անալոգիա, Հալմոսը նշում է, որ գլխարկ պարունակող տուփը նույնը չէ, ինչ գլխարկը:
  53. 53,0 53,1 53,2 53,3 53,4 53,5 George Tourlakis (13 February 2003)։ Lectures in Logic and Set Theory: Volume 2, Set Theory։ Cambridge University Press։ էջ 137։ ISBN 978-1-139-43943-5 
  54. Abhijit Das (19 April 2016)։ Computational Number Theory։ CRC Press։ էջ 2։ ISBN 978-1-4822-0582-4 
  55. D.L. Johnson (6 December 2012)։ Elements of Logic via Numbers and Sets։ Springer Science & Business Media։ էջ 165։ ISBN 978-1-4471-0603-6