Seti në është një nëngrup i if. Kuptimi i fjalës nëngrup

Një tufë me- një koleksion i çdo objekti. Kompletet shënohen me shkronja të mëdha të alfabetit latin - nga A përpara Z.

Bashkësitë e numrave bazë: bashkësia e numrave natyrorë dhe bashkësia e numrave të plotë, shënohen gjithmonë me të njëjtat shkronja:

N- bashkësi numrash natyrorë

Z- grup i numrave të plotë

Elementi i vendosjesështë çdo objekt që është pjesë e një grupi. Përkatësia e një objekti në një bashkësi shënohet me shenjën ∈ . Regjistrimi

lexohet kështu: 5 i përket grupit Z ose 5 - një element i grupit Z .

Grupet ndahen në të fundme dhe të pafundme. grup i kufizuar- një grup që përmban një numër të caktuar (të fundëm) elementësh. Set i pafundështë një grup që përmban pafundësisht shumë elementë. Bashkësitë e pafundme përfshijnë bashkësi numrash natyrorë dhe numrash të plotë.

Për të përcaktuar një grup, përdoren kllapa kaçurrela, në të cilat elementet renditen të ndara me presje. Për shembull, hyrja

L = {2, 4, 6, 8}

do të thotë se shumë L përbëhet nga katër numra çift.

Termi grup përdoret pavarësisht se sa elementë përmban. Bashkësitë që nuk përmbajnë asnjë element quhen bosh.

Nëngrupi

Nëngrupiështë një bashkësi të gjitha elementet e të cilit janë pjesë e një grupi tjetër.

Ju mund të demonstroni vizualisht marrëdhënien midis një grupi dhe nëngrupit të tij duke përdorur Rrathët e Euler-it. Rrathët e Euler janë diagrame gjeometrike që ndihmojnë në vizualizimin e marrëdhënieve të objekteve të ndryshme, në rastin tonë, grupeve.

Konsideroni dy grupe:

L= (2, 4, 6, 8) dhe M = {2, 4, 6, 8, 10, 12}

Çdo element i grupit L i përket grupit M, që do të thotë shumë L M. Një lidhje e tillë grupesh shënohet me shenjën ⊂:

L⊂M

Regjistrimi L⊂M lexohet kështu: shumë Lështë një nëngrup i grupit M .

Quhen grupe që përbëhen nga të njëjtat elementë, pavarësisht renditjes së tyre të barabartë dhe shënohen me = .

Konsideroni dy grupe:

L= (2, 4, 6) dhe M = {4, 6, 2}

Meqenëse të dy grupet përbëhen nga të njëjtat elementë, atëherë L = M.

Kryqëzimi dhe bashkimi i grupeve

Kryqëzimi i dy grupeveështë një grup elementesh që i përkasin secilës prej këtyre grupeve, domethënë pjesa e përbashkët e tyre. Kryqëzimi shënohet me shenjën ∩ .

Për shembull, nëse

L= (1, 3, 7, 11) dhe M= (3, 11, 17, 19), atëherë L∩M = {3, 11}.

Regjistrimi L∩M lexohet kështu: kryqëzimi i bashkësive L Dhe M .

Nga ky shembull del se Një kryqëzim i grupeve është një grup që përmban vetëm ato elemente që ndodhin në të gjitha grupet e kryqëzuara..

Bashkimi i dy grupeve thirret një grup që përmban të gjithë elementët e grupeve origjinale në një kopje të vetme, domethënë nëse i njëjti element ndodh në të dy grupet, atëherë ky element do të përfshihet në grupin e ri vetëm një herë. Bashkimi shënohet me ∪ .

Për shembull, nëse

L= (1, 3, 7, 11) dhe M = {3, 11, 17, 19},

Se L∪M = {1, 3, 7, 11, 17, 19}.

Regjistrimi L∪M lexohet kështu: bashkimi i bashkësive L Dhe M .

Kur kombinohen grupe të barabarta, bashkimi do të jetë i barabartë me cilindo nga grupet e dhëna:

Nëse L = M, Kjo L∪M = L Dhe L∪M = M.

në pronësi $A$, gjithashtu i përket $B$. Përkufizimi zyrtar:

$(A\; \backslash nëngrupi\; B)\; \backslash Shigjeta\; djathtas\; \backslash përgjithë\; x.\; (x\; \backslash në\; A\; \backslash Djathtas\; x\; \backslash në\; B).$

Një tufë me $B$ thirrur superset grupe $A$, Nëse $A$- nëngrup $B$.

Ekzistojnë dy simbole për nëngrupet:

Të dy sistemet e shënimeve përdorin simbolin $\backslash nëngrup$ kuptime të ndryshme, të cilat mund të çojnë në konfuzion. Në këtë artikull, ne do të përdorim shënimin më të fundit.

Çfarë $B$ quhet superset $A$, shpesh i shkruar $B\; \backslash i\; mërzitur\; A$.

Bashkësia e të gjitha nëngrupeve të grupit $A$ shënohet $\backslash mathcal(P)(A)$ dhe quhet boolean.

nëngrupin e vet

Çdo grup $B$është nëngrupi i vet. Nëse duam të përjashtojmë $B$ nga konsiderata, ne përdorim nocionin vet

Një tufë me $A$është një nëngrup i duhur i grupit $B$, Nëse $A\backslash nëngrupi\; B$ Dhe $A\; \backslash \; ne\; B$.

Grupi bosh është një nëngrup i çdo grupi. Nëse, përveç kësaj, duam të përjashtojmë grupin bosh nga shqyrtimi, ne përdorim nocionin jo i parëndësishëm nënbashkësi, e cila përcaktohet si më poshtë:

Një tufë me $A$është një nënbashkësi jo e parëndësishme e grupit $B$, Nëse $A$është nëngrupi i vet $B$ Dhe $Asgjë$.

Shembuj

• Komplete $\backslash varnothing,\; \backslash (0\backslash ),\; \backslash (1,3,4\backslash ).$ $\backslash \{\; 0,1,2,3,4,5\backslash \}$
• Komplete $\backslash (\; \backslash varnothing,\; \backslash uparrow,\; moose\; \backslash ),\; \backslash (\; \$,\%,*,\backslash uparrow\; \backslash ),\; \backslash (\backslash varnothing\backslash ),\; \backslash varnothing$ janë nënbashkësi të grupit $\backslash (\; \$,\; \%,\; \backslash varnothing,\; \backslash uparrow,\; *,\; moose\; \backslash )$
• Le $A\; =\; \backslash (a,b\backslash )$, Pastaj $\backslash mathcal(P)(A)\; =\; \backslash (\backslash varnothing,\; \backslash (a\backslash ),\; \backslash (b\backslash ),\; \backslash (a,b\backslash )\; \backslash )$.
• Le $A\; =\; \backslash (1,2,3,4,5\backslash ),\backslash ;\; B\; =\; \backslash (1,2,3\backslash ),\backslash ;\; C\; =\; \backslash (4,5,6,7\backslash )$. Pastaj $B\; \backslash nëngrupi\; A,\backslash ;\; C\backslash jo\backslash nëngrupi\; A$.

Vetitë

Lidhja e nëngrupit ka një sërë veçorish.

• Lidhja e nënbashkësisë është një relacion i pjesshëm i rendit:
  • Lidhja e nënbashkësisë është refleksive: $B\backslash nëngrupi\; B$
  • Lidhja e nënbashkësisë është antisimetrike: $(A\; \backslash nëngrupi\; B\; \backslash ;\; \backslash dhe\; \backslash ;\; B\; \backslash nëngrupi\; A)\; \backslash Shigjeta\; djathtas\; (A\; =\; B)$
  • Lidhja e nënbashkësisë është kalimtare: $(A\; \backslash nëngrupi\; B\; \backslash ;\backslash dhe\; \backslash ;\; B\; \backslash nëngrupi\; C)\; \backslash Rightarrow\; (A\; \backslash nëngrupi\; C)$
• Bashkësia e zbrazët është një nëngrup i ndonjë tjetër, kështu që është grupi më i vogël në lidhje me relacionin e nëngrupit: $\backslash varnothing\; \backslash nëngrupi\; B$
• Për çdo dy grupe $A$ Dhe $B$ pohimet e mëposhtme janë ekuivalente:
  • $A\backslash nënbashkësiB.$
  • $A\; \backslash \; kapak\; B\; =\; A.$
  • $A\; \backslash \; filxhan\; B\; =\; B.$
  • $B^(\backslash complement)\; \backslash nëngrupi\; A^(\backslash complement).$

Nëngrupe të bashkësive të fundme

Nëse grupi origjinal është i fundëm, atëherë ai ka një numër të kufizuar nënbashkësish. Gjegjësisht, në $n$- grupi i elementeve ekziston $2^n$ nënbashkësi (përfshirë bosh). Për ta verifikuar këtë, mjafton të theksohet se çdo element ose mund të përfshihet ose jo në një nëngrup, që do të thotë se numri i përgjithshëm i nëngrupeve do të jetë $n$-produkt i palos dyshe. Nëse marrim parasysh vetëm nënbashkësi $n$-element grup nga $k\backslash le\; n$ elementet, atëherë numri i tyre shprehet me koeficientin binomial $\backslash textstyle\backslash binom(n)(k)$. Për të verifikuar këtë fakt, mund të zgjidhni elementet e nëngrupit në mënyrë sekuenciale. Elementi i parë mund të zgjidhet $n$ mënyra, e dyta $n-1$ mënyrë, dhe kështu me radhë, dhe në fund $k$-elementi mund të zgjidhet $n-k+1$ mënyrë. Pra, ne marrim një sekuencë të $k$ elementet, dhe pikërisht $k!$ sekuenca të tilla korrespondojnë me një nëngrup. Pra ka gjithçka $\backslash textstyle\backslash frac(n(n-1)\backslash pika(n-k+1))(k=\backslash binom\{n\}\{k\}!\}$ nënbashkësi të tilla.

Shkruani një përmbledhje për artikullin "Nën grup"

Shënime

Letërsia

• Vereshchagin N. K., Shen A. Leksione mbi logjikën matematikore dhe teorinë e algoritmeve. Pjesa 1. Fillimet e teorisë së grupeve - Botimi i tretë, stereotip. - M .: MTSNMO, 2008. - 128 f. - ISBN 978-5-94057-321-0.

Një fragment që karakterizon nëngrupin

Kutuzov u tërhoq në Vjenë, duke shkatërruar urat në lumenjtë Inn (në Braunau) dhe Traun (në Linz). Më 23 tetor, trupat ruse kaluan lumin Enns. Karrocat, artileria dhe kolonat e trupave ruse në mes të ditës shtriheshin nëpër qytetin Enns, përgjatë kësaj dhe asaj ane të urës.

Përkufizimi:

Një grup është çdo koleksion objektesh që quhen elementë të tij.

Nëse X- një element të bashkësisë M, atëherë shënoni: x M ( x - i përket M), nëse jo, atëherë x ∉ M; Një grup që nuk përmban asnjë element quhet bosh dhe shënohet me ∅

Kompleti, i cili përmban të gjithë elementët në shqyrtim, quhet universal ose universum dhe shënohet me -

Ư. Bashkësitë që përbëhen nga të njëjtat elementë quhen të barabarta dhe shënohen A = B.

Nëse ndonjë element i bashkësisë B është element i bashkësisë A, atëherë bashkësia B quhet nënbashkësi e bashkësisë A (pjesë e bashkësisë A) dhe shënohet B ⊂ A; Nga kjo rrjedh se çdo grup është një pjesë e vetvetes.

Sipas përkufizimit, grupi bosh ∅ është një nëngrup i çdo grupi. Se. Çdo grup A ka dy nëngrupe:

Ato quhen nënbashkësi të papërshtatshme të bashkësisë A. Çdo grup B i grupit A që nuk është një nëngrup jo i duhur i A (d.m.th., ato janë të ndryshme nga A dhe ∅) dhe quhen nënbashkësi të duhura të nëngrupit A. Një grup i një element a shënohet me (a).

Shembull: A = (1;2;3) atëherë bashkësia boshe ∅ dhe vetë bashkësia A janë nënbashkësi të papërshtatshme të A.

Bashkësitë: (1), (2), (3), (1; 2), (1; 3), (2; 3) quhen nënbashkësi të duhura të bashkësisë A. Bashkësia e të gjitha bashkësive A quhet e saj boolean dhe shënohet - 2 A; B A, do të thotë se B A, B ≠ A. Në këtë rast, B thuhet se përfshihet rreptësisht në A ose B është një nëngrup i duhur i A;

Në rastin B ⊆ A, B = A, dikush thotë se B nuk është një përfshirje strikte në A, d.m.th. B është një nëngrup jo i duhur i A.

Simbolet bazë logjike

XP(x) është një sasior i përgjithshëm (do të thotë "për çdo x,

XP(x) është sasia ekzistenciale (që do të thotë "ka x për të cilën vlen P(x)".)

P ⇒ Q është një nënkuptim ("Nga P vijon Q")

⟺ - ekuivalenca ("nëse dhe vetëm atëherë")

P ∧ Q - lidhëza ("P dhe Q")

P ∨ Q - ndarje ("P ose Q")

Jo R ose - mohim i R

:= - simbolet e caktimit ("vendos")

def - ("i caktuar sipas përkufizimit")

Duke përdorur këto simbole, mund të shkruani:

1) (A = B) ⟺(( x ∈ A ⇒ x ∈ B) ∧ ( x ∈ B ⇒ x ∈ A)

2) (A ⊆ B) ⟺ ( x/x ∈A ⇒ x ∈ B)

3) (A = B) ⟺ (B ⊂ A ∧ A⊂ B)

Specifikimi i grupeve

Numërimi i elementeve: M: = (a 1 ; a 2 ; a 3 ; ...; a n )

ose veti karakteristike P(x)

(kallëzues): M: = ( x | P(x) )

Për shembull:

1) B = ( x ∈ N | x< 3} означает, что В= { 1; 2}

2) A =( x ∈ N | x +1=5) do të thotë se A = (4)

3) B = ( х ∈ N | х M5) ose (5;10;15...)

ato. ( x | P(x) ) do të thotë se bashkësia e elementeve x të bashkësisë ka vetinë P(x)

4) M = ( x ∈ N | x 3< 5}={1;2;3;4;5;6;7}

Operacionet në grupe

Operacionet e mëposhtme në grupe merren parasysh:

10 . Bashkimi i grupeve A dhe B.

U

A ∪ B = ( x/x ∈ A ose x ∈ B) – d.m.th. përbëhet nga elementë që i përkasin të paktën njërit prej grupeve A ose B.

20 . Kryqëzimi i grupeve A dhe B.

A∩B = (x/x ∈ A dhe x ∈ B) - domethënë, përbëhet nga elementë që i përkasin njëkohësisht A dhe B.

3º. Diferenca e grupeve A dhe B.

A/B = (x/x ∈ A dhe x ∉ B) – d.m.th. përbëhet nga elementë të A që nuk i përkasin B.

4º. Dallimi simetrik i A dhe B (ose shuma unazore e A dhe B)

A Ө B = (x/x ∈ A dhe x ∉ B) ∪ (x/x ∈ B dhe x ∉ A) ose (A\B ∪ B\A)

5º. Komplementi A i universit

= U\A = (x|x ∈ Uux dhe x ∉ A)

Vendosni produktin

Prodhimi i drejtpërdrejtë (kartezian) i dy grupeve A dhe B është bashkësia e të gjitha çifteve të renditura, në të cilat elementi I është nga bashkësia A, elementi II është nga bashkësia B, d.m.th. A×B = ((a, c)/a Є A ̂v Є B)

Shembull: A \u003d (2; 5; 7; 9) dhe B \u003d (2; 4; 7),

Atëherë A×B = ((2.2) ; (2.4) ; (2.7) ; (5.2) ; (5.4) ; (5.7) ; (7.2) ; (7 ,4) ;(7.7) ;(9.2) ;(9.4 );(9.7))

A∩B=(2,7); A∪B=(2,4,5,7,9); A/B=(5.9); B/A=(4); А Ө В=(4,5,9)

Elementet e bashkësisë A × B quhen pika; Në një çift (x, y), abshisa është x dhe ordinata është y e pikës që korrespondon me këtë çift.

Bashkësia e pikave në rrafsh është prodhim i drejtpërdrejtë i formës R×R=R 2 , ku R është bashkësia e numrave realë.

R 2 quhet Sheshi Kartezian në R.

Elementet e teorisë së grafikut

Bëhet fjalë për grupe jo numerike. Për shembull, flitet për një grup diagonalesh të një shumëkëndëshi, një grup pikash në një vijë koordinative, një grup vijash që kalojnë nëpër një pikë.

Objektet ose objektet që formojnë një grup të caktuar quhen elementë të tij. Për shembull, numri $6$ do të jetë një element i grupit të numrave natyrorë dhe numri $0.9$ nuk do të jetë një element i grupit të numrave natyrorë.

Vendosni llojet

Grupet mund të jenë të fundme dhe të pafundme, boshe.

Përkufizimi 2

përfundimtar një grup i përbërë nga një numër i kufizuar elementësh quhet, por një grup i kufizuar mund të ketë çdo numër elementësh.

Midis grupeve të fundme, ekziston një grup që nuk ka një element të vetëm. Një grup i tillë quhet grup bosh.

Përkufizimi 3

Një grup që nuk është i kufizuar quhet një numër i pafund.

Nëngrupet

Nëse një grup nuk është bosh, atëherë nga ai mund të zgjidhen grupe të tjera, të cilat do të jenë pjesët e tij.

Për shembull, nga bashkësia e numrave natyrorë, mund të zgjidhet bashkësia e çifteve.

Në matematikë, një pjesë e një grupi quhet - nëngrup. Një grup quhet një nëngrup i një tjetri nëse çdo element i nëngrupit është gjithashtu një element i grupit më të madh.

Përcaktimi i grupeve, nënbashkësive dhe elementeve të tyre

Më shpesh, grupet shënohen me shkronja latine - $A, B, C, D, X, Y, Z, W$, etj.

Elementet e grupit shënohen me shkronja të vogla $a,b,c,d,x,y,z$, etj.

Është matematikisht e mundur të shkruhet përkatësia e një elementi në një grup, për shembull, që një element $a$ do të përfshihet në grupin $A$ si kjo: $a\in A$. Ju mund ta lexoni këtë hyrje si kjo: a i përket grupit $A$.

Nëse ndonjë element, për shembull, $b$ nuk i përket grupit $B$, atëherë ai shkruhet si më poshtë: $b\notin B$. Kjo hyrje lexohet si më poshtë: $b$ nuk i përket grupit $B$

Për shembull, nëse shënojmë grupin e numrave të plotë me $A$, çfarë mund të shkruhet atëherë: $3\në A$, $7,5\jo B$

Grupi bosh në matematikë shënohet si më poshtë: $ᴓ$

Për të treguar se grupi $B$ është një nëngrup i grupit $A$, përdoret shënimi: Shenja $\nënbashkësi $ tregon përfshirjen e një grupi në një grup tjetër.

Shembulli 1

Përcaktoni se cilët elementë të $12,38,54,79,934$ të listuara do të përfshihen në grupin e numrave $A$-të pjesëtueshëm me $3$.

Zgjidhja: Sipas kushtit, grupi $A$ përmban elemente, secili prej të cilëve duhet të jetë shumëfish, d.m.th. është i pjesëtueshëm me $3.$ Pra, për të përcaktuar nëse numrat e dhënë janë elementë të bashkësisë $A$, duhet të kontrollojmë se cili prej tyre do të ndahet me $3$ pa mbetje, cilët nuk janë.

Le të kujtojmë test për pjesëtueshmërinë me $3: Nëse shuma e shifrave që përbëjnë numrin ndahet me $3$, atëherë numri pjesëtohet me $3$ pa mbetje.

$12$ pjesëtohet me $3$ sepse shuma e shifrave prej $12$ është $3$

numri $38$ nuk do të ndahet me $3$ pa mbetje, sepse shuma e shifrave $3+8=11$ nuk ndahet me $3$ pa mbetje

në mënyrë të ngjashme sepse shuma e shifrave te numrit $54$ eshte e barabarte me $9$, vertetojme se plotpjesetohet me $3$, por numri $74$ nuk do te plotpjestohet me $3$, sepse shuma e shifrave është 11 $

Le të gjejmë shumën e shifrave të numrit $934: 9+3+4=16$, numri $16$ nuk është shumëfish i $3$, që do të thotë se numri $934$ nuk mund të pjesëtohet me $3$ pa mbetje.

Tani le të përfundojmë se cilët numra do të jenë elementë të grupit $A$:

Mënyrat e specifikimit të grupeve

Ekzistojnë dy mënyra globalisht të ndryshme për të specifikuar grupet.

Së pariështë se një grup përcaktohet duke specifikuar të gjithë elementët e tij. Në këtë rast, grupi thuhet se jepet nga një numërim i të gjithë elementëve të tij ose nga një listë e elementeve të tij. Duke numëruar elementë, mund të specifikoni vetëm grupe të fundme, dhe me një numër të vogël elementësh të përfshirë në të

Grupet e fundme me pak elementë zakonisht shkruhen në kllapa kaçurrelë $\left\(a,b,c\right\)$

Me këtë mënyrë të specifikimit të bashkësive, themi se bashkësia jepet me numërimin e elementeve të saj.

Mënyra e dytë caktimi i grupeve është i zbatueshëm si për ato të fundme. dhe për grupe të pafundme. Ai qëndron në faktin se një veti tregohet që çdo element i një grupi të caktuar ka - një grup specifikohet nga një përshkrim, d.m.th. duke treguar vetinë e tij karakteristike, pra vetinë që zotërojnë të gjithë elementët e këtij grupi dhe asnjë objekt tjetër.

Shembulli 2

Për shembull, duke përdorur përshkrimin, mund të specifikoni një grup të tillë numrash natyrorë nga $1$ deri në $9$ përfshirëse. Vetia karakteristike, pra vetia që kanë të gjithë elementët e këtij grupi për këta elementë, është se ata janë të gjithë numra natyrorë dhe secili prej tyre është jo më pak se $1$ dhe jo më shumë se $9$. Me numërim, grupi i specifikuar mund të specifikohet si më poshtë:

$A=\majtas\(1\ ,2\ ,3,4,5,6,7,8,9\djathtas\)$

Vendosni barazinë

Bashkësitë janë të barabarta nëse elementët e tyre janë të barabartë. Për më tepër, nëse grupet përbëhen nga të njëjtat elementë, por të shkruar në një rend të ndryshëm, atëherë këto grupe janë të ndryshme, megjithëse janë të barabarta.

Bashkimi i kompleteve

Nga dy grupe $A$ dhe $B$ mund të formohet një grup i ri duke kombinuar të gjithë elementët e grupit $A$ dhe të gjithë elementët e grupit $B$

Matematikisht, kjo mund të shprehet si më poshtë: $\ A\ \kupë B$

Bashkimi i grupeve $A$ dhe $B$ është një grup i ri$\ A\ \kupë B$, i përbërë nga ata dhe vetëm ata elementë që përfshihen në të paktën një nga grupet $A$ ose $B$.

Vendos dallimin

Dallimi i dy grupeve $A$ dhe $B$ është një grup që përfshin të gjithë elementët nga grupi $A$ që nuk i përkasin grupit $B$.

Në shumë grupe, mund të dallohen grupe më të vogla elementesh, të bashkuara nga vetia e tyre e përbashkët. Për shembull, në grupin e numrave natyrorë, mund të veçohet një nëngrup numrash çift, si dhe një nëngrup numrash tek, ose një nëngrup numrash jo më shumë se 100, etj.

Në terminologjinë e teorisë së bashkësive, themi se një bashkësi B është një nëngrup i një bashkësie A nëse çdo element i B është në të njëjtën kohë një element i bashkësisë A. Kjo shënohet me shenjën e përfshirjes: B ⊂ A.

Nga një nëngrup i çdo grupi, mund të zgjidhni nëngrupin tuaj. Për shembull, në mesin e nxënësve të klasës dallohen një nëngrup vajzash dhe nga vajzat dallohen nxënësit e shkëlqyer. Atëherë mund ta shkruani kështu:

Kjo do të thotë që C përfshihet në B dhe B përfshihet në A.

Nëse bashkësitë shënohen me rrathë, atëherë brenda rrethit A do të jetë rrethi B, dhe brenda rrethit C. Vizatime të tilla quhen diagrame Euler-Venn.

Nëse dy grupe janë të barabarta, atëherë për to vlejnë relacionet A ⊂ B dhe B ⊂ A.

Nëse jepet se B ⊂ A, dhe ndonjë element x i përket B (x ∈ B), atëherë kjo do të thotë se edhe x ∈ A. Mirëpo, nëse dihet se x ∈ A, atëherë nuk mund të bëhet një përfundim i qartë se ky element i përket B. Mund të mos jetë kështu.