Lo concèpte d'ensemble (var.
ensems, al plural ensemses o ensems) es fondamentau en matematica modèrna. La teoria deis ensembles foguèt introducha a la fin dau sègle xix per lo matematician alemand Georg Cantor.
Intuitivament, lo tèrme d'ensemble designa una colleccion d'objèctes sonats elements de l'ensemble. Lo concèpte d'ensemble se caracteriza essencialament per lei proprietats seguentas :
Çò qu'es important dins lo concèpte d'ensemble, es la relacion d’apartenéncia : un objècte apartèn a un ensemble (o au contrari li apartèn pas). En teoria axiomatica deis ensembles, qu'es a la basa de la presentacion axiomatica modèrna dei matematicas, se formaliza lei proprietats de la relacion d'apartenéncia.
Dins lo present article, se limitarem a un apròchi intuitiu dau concèpte d'ensemble : es lo ponch de vista de la teoria ninòia deis ensembles, sufisent dins la gròssa majoritat dei cas, maugrat l'existéncia de dificultats logicas que menèron a la constitucion dei teorias axiomaticas deis ensembles. En particular, la question de l'existéncia dei nocions introduchas (especialament : ensemble vuege, ensemble dei partidas, union, interseccion, diferéncia, e produch cartesian) que se pòt tractar solament dins lo quadre d'una teoria axiomatica, serà pas estudiada aicí.
Remarca terminologica : s'utiliza l'adjectiu ensemblista per qualificar çò que fa referéncia a la teoria deis ensembles (per exemple : definicion ensemblista).
Segon lo ponch de vista «ninòi», se pòt considerar un ensemble coma un sac abstrach envoutant seis elements, çò qu'es ben representat per lei diagramas de Venn. Sovent (mai es pas totjorn possible), se destria tipograficament l'ensemble, notat per una letra latina majuscula coma « E » o « A », de seis elements, notats per de minusculas coma « x » o « n ».
Leis elements pòdon èsser de quina natura que siá : nombres, ponchs geometrics, drechas, foncions... Dins leis expausats elementaris, se balha volontiers d'exemples exteriors ai matematicas. Per exemple : diluns es un element de l’ensemble dei jorns de la setmana ; una bibliotèca es un ensemble de libres, etc.
Lo meteis objècte pòt èsser element de mai d'un ensemble : "4" es element de l'ensemble dei carrats perfèctes, e mai de l’ensemble dei nombres pars. Aquestei dos ensembles son infinits, valent a dire qu'an una infinitat d’elements.
L'apartenéncia d'un objècte, notat per exemple x, a un ensemble, notat per exemple A, s'escriu : .
Aquò se pòt legir ansin :
Per indicar la non-apartenéncia d'un objècte a un ensemble, se barra lo simbòl d'apartenéncia :
Una nocion comòda e importanta es aquela d'ensemble vuege, qu'a ges d'element (lo sac es vuege, segon la metafòra precedenta). Se designa per lo simbòl seguent : (o : ).
Certans ensembles de nombres jògan un ròtle particularament important dins totei lei brancas dei matematicas :
Per exemple :
En matematicas, se considèra que dos objèctes son egaus quand lei proprietats de cadun d'elei son lei proprietats de l'autre, valent a dire que lei dos objèctes se pòdon pas destriar un de l'autre (es la definicion de Leibniz de l'egalitat).
En teoria deis ensembles, se considèra qu'un ensemble es completament determinat per seis elements, son extension. Per exemple, se pòt definir l'ensemble A deis entiers naturaus divisibles au còp per 3 e per 5 e l'ensemble B deis entiers divisibles per 15 : aquelei dos ensembles son egaus (tot element de A es element de B e tot element de B es element de A ), mai an de definicions diferentas.
Ansin, se dirà que dos ensembles A et B son egaus, e s'escriurà coma de costuma A = B, s'an exactament lei meteisseis elements, valent a dire se tot element de cadun d'elei es element de l'autre :
En teoria deis ensembles, se conois aquesta definicion sota lo nom d'axiòma d'extensionalitat.
Se parla aicí d'ensembles finits en un sens intuitiu : un ensemble es finit s'existís un entier naturau ben determinat permetent de ne comptar totei leis elements (per exemple, l'ensemble dei jorns de la setmana es finit, que se pòt comptar seis elements sensa passar lo nombre 7).
Bòrd qu'un ensemble es completament determinat per seis elements, se pòt determinar un ensemble finit per una lista de seis elements, que se nòta entre acoladas. Se ditz que l'ensemble es definit en extension.
Per exemple :
Remarquem que la notacion d'un ensemble definit en extension es pas unica ; en causa de la proprietat d'extensionalitat :
Leis ensembles qu'an ren qu'un element son sonats singletons. Per exemple l'ensemble qu'a per solet element "2" es lo singleton notat {2}.
Un ensemble pòt èsser definit en comprension, valent a dire que se definís per una proprietat caracteristica de seis elements : es verificada per totei leis elements de l'ensemble e solament per seis elements. Per exemple, es clar que l'ensemble deis entiers naturaus premiers es definit en comprension, per la proprietat (relativa ais entiers naturaus) « aver exactament dos divisors ». Se pòt utilizar la notacion d'un ensemble definit en comprension , per exemple per l'ensemble deis entiers naturaus pars, s'escriurà :
Se definirà parierament l'ensemble deis entiers comprés entre −7 et 23 :
e l'ensemble dei carrats perfèctes non nuls :
Per aquest ensemble, se pòt adoptar una autra notacion, pus immediata :
Existisson donc doas formas de notacion :
Vaicí d'autreis exemples :
Estent dos ensembles A, B, se ditz indiferentament que :
se totei leis elements de A son d'elements de B ; dins aqueu cas, s'escriu :
Quauqueis exemples d'inclusions entre ensembles :
L'egalitat de dos ensembles es estada definida supra. Se pòt caracterizar ansin l'egalitat de dos ensembles A e B :
(valent a dire que tot element de A es element de B, e reciprocament tot element de B es element de A).
Per tot ensemble A se definís l'ensemble dei partidas de A : es l'ensemble que seis elements son lei sosensembles de A ; se nòta . Per exemple, se A = { a, b, c } alora l'ensemble dei partidas de A es :
Lei principaleis operacions binàrias ensemblistas son l'union, l'interseccion, la diferéncia (simetrica o non) e lo produch cartesian.
L'union de dos ensembles A e B es l'ensemble constituit per totei leis elements qu'apartènon a l'ensemble A o a l'ensemble B o ai dos. Se nòta : A ∪ B.
(Lei letras majusculas A, B, C designan d'ensembles).
L'interseccion de dos ensembles A e B es l'ensemble constituit per totei leis elements qu'apartènon simultaneament a l'ensemble A e a l'ensemble B. Se nòta : A ∩ B.
(Lei letras majusculas A, B, C designan d'ensembles).
La diferéncia de dos ensembles A e B es l'ensemble constituit per totei leis elements de B qu'apartènon pas a A. Se nòta : B \ A o B − A.
Quand A es una partida de E, la diferéncia ensemblista E \ A es tanben sonada ensemble complementari de A a respècte de E.
Per exemple, es l'ensemble dei nombres irracionaus (lei reaus que son pas racionaus).
Se definís tanben la diferéncia simetrica de dos ensembles A e B, qu'es l'ensemble deis elements qu'apartènon a A e pas a B o ben qu'apartènon a B e pas a A (es a dire qu'apartènon a A o a B mai pas ai dos). Se nòta : A B.
Lo produch cartesian de dos ensembles A e B es l'ensemble de totei lei pareus (a, b) taus que a ∈ A e b ∈ B. Se nòta : A B.
Se ditz que dos ensembles A, B son desjonchs s'an pas d'element comun, valent a dire que :
Per exemple, l'ensemble dei nombres premiers diferents de 2 e l'ensemble deis entiers naturaus pars son desjonchs.
Se E, F son dos ensembles, e se A = E e B = F \ E, alora lei dos ensembles A, B son desjonchs.
This article uses material from the Wikipedia Occitan article Ensemble, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Lo contengut es disponible jos licéncia CC BY-SA 4.0 levat mencion contrària. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Occitan (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.