Insiemi: diferencis tra lis versions
p Robot: o gjavi: id:Himpunan (matematika) |
p Robot: o zonti: ku:Kom; modifiche estetiche |
||
Rie 82: | Rie 82: | ||
== Operazions cui insiemis == |
== Operazions cui insiemis == |
||
[[Figure:Set_union.png|thumb|right|Union di doi insiemis.]] [[Figure:Venn_A_intersect_B.svg|thumb|right|Intersezion di doi insiemis.]] [[Figure:Venn_B_minus_A.png|thumb|right|Insiemi diference di doi insiemis.]] [[Figure:Venn_A_complement.png|thumb|right|Complementâr dal insiemi <math>A</math> intal insiemi univiers <math>U</math>.]] |
[[Figure:Set_union.png|thumb|right|Union di doi insiemis.]] [[Figure:Venn_A_intersect_B.svg|thumb|right|Intersezion di doi insiemis.]] [[Figure:Venn_B_minus_A.png|thumb|right|Insiemi diference di doi insiemis.]] [[Figure:Venn_A_complement.png|thumb|right|Complementâr dal insiemi <math>A</math> intal insiemi univiers <math>U</math>.]] |
||
*'''Union''': la union di doi insiemis al è un insiemi che al conten sie i elements dal prin insiemi che chei dal secont. Par esempli, se definin<!--- |
* '''Union''': la union di doi insiemis al è un insiemi che al conten sie i elements dal prin insiemi che chei dal secont. Par esempli, se definin<!--- |
||
---><br /><math>A=\{1; 4; 8; 11\} \mbox{ e } B=\{3; 5; 4; 7; 1\}</math><!--- |
---><br /><math>A=\{1; 4; 8; 11\} \mbox{ e } B=\{3; 5; 4; 7; 1\}</math><!--- |
||
---><br />alore la union e je<!--- |
---><br />alore la union e je<!--- |
||
Rie 88: | Rie 88: | ||
---><br />Si pues notâ che <math>A</math> e <math>B</math> a son sotinsiemis dal insiemi union <math>A\cup B</math> e che i elements comuns ai doi insiemis (<math>\{1; 4\}</math>) no vegnin ripetûts. |
---><br />Si pues notâ che <math>A</math> e <math>B</math> a son sotinsiemis dal insiemi union <math>A\cup B</math> e che i elements comuns ai doi insiemis (<math>\{1; 4\}</math>) no vegnin ripetûts. |
||
*'''Intersezion''': la intersezion di doi insiemis e je un insiemi che al à come elements dome i elements comuns ai doi insiemis. Cun <math>A</math> e <math>B</math> come prime, si à<!--- |
* '''Intersezion''': la intersezion di doi insiemis e je un insiemi che al à come elements dome i elements comuns ai doi insiemis. Cun <math>A</math> e <math>B</math> come prime, si à<!--- |
||
---><br /><math>A\cap B=\{1; 4\}</math>.<!--- |
---><br /><math>A\cap B=\{1; 4\}</math>.<!--- |
||
---><br />De definizion, al risulte clâr che l'insiemi intersezion al è un sotinsiemi di ducj i doi i insiemis di partence.<!--- |
---><br />De definizion, al risulte clâr che l'insiemi intersezion al è un sotinsiemi di ducj i doi i insiemis di partence.<!--- |
||
---><br />O vin viodût prime che doi insiemis si disin disgiunts cuant che no àn elements in comun. Si pues cumò dâ une definizion ecuivalent e disi che doi insiemis a son disgiunts se la lôr intersezion e da un insiemi vueit. |
---><br />O vin viodût prime che doi insiemis si disin disgiunts cuant che no àn elements in comun. Si pues cumò dâ une definizion ecuivalent e disi che doi insiemis a son disgiunts se la lôr intersezion e da un insiemi vueit. |
||
*'''Insiemi diference''': l'insiemi diference di <math>A</math> in <math>B</math> (<math>B\setminus A</math> o <math>B-A</math>) al è l'insiemi dai elements di <math>B</math> che no apartegnin a <math>A</math>. Continuant cul esempli:<!--- |
* '''Insiemi diference''': l'insiemi diference di <math>A</math> in <math>B</math> (<math>B\setminus A</math> o <math>B-A</math>) al è l'insiemi dai elements di <math>B</math> che no apartegnin a <math>A</math>. Continuant cul esempli:<!--- |
||
---><br /><math>B\setminus A=\{3; 5; 7\} \mbox{ e } A\setminus B=\{8; 11\}</math>. |
---><br /><math>B\setminus A=\{3; 5; 7\} \mbox{ e } A\setminus B=\{8; 11\}</math>. |
||
*'''Complementâr''': In cierts câs, ducj i insiemis considerâts a son sotinsiemis di un insiemi plui grant clamât ''insiemi univiers''; in chestis situazions, il complementâr di un insiemi <math>A</math> al è l'insiemi diference di <math>A</math> intal insiemi univiers. Se o clamìn <math>U</math> l'insiemi univiers e <math>\bar{A}</math> (o ancje <math>\mathcal{C}_U(A)</math> o <math>A'</math>) il complementâr di <math>A</math>, si à<!--- |
* '''Complementâr''': In cierts câs, ducj i insiemis considerâts a son sotinsiemis di un insiemi plui grant clamât ''insiemi univiers''; in chestis situazions, il complementâr di un insiemi <math>A</math> al è l'insiemi diference di <math>A</math> intal insiemi univiers. Se o clamìn <math>U</math> l'insiemi univiers e <math>\bar{A}</math> (o ancje <math>\mathcal{C}_U(A)</math> o <math>A'</math>) il complementâr di <math>A</math>, si à<!--- |
||
---><br /><math>\bar{A} = U \setminus A</math>. |
---><br /><math>\bar{A} = U \setminus A</math>. |
||
Rie 102: | Rie 102: | ||
Presentìn cumò lis principâls proprietâts des operazions cui insiemis. |
Presentìn cumò lis principâls proprietâts des operazions cui insiemis. |
||
Intai esemplis che a seguissin, i insiemis <math>A, B</math> e <math>C</math> a son sotinsiemis dal insiemi univiers <math>U</math>. |
Intai esemplis che a seguissin, i insiemis <math>A, B</math> e <math>C</math> a son sotinsiemis dal insiemi univiers <math>U</math>. |
||
*'''Proprietât comutative''': union e intersezion a gjoldin de proprietât comutative<!--- |
* '''Proprietât comutative''': union e intersezion a gjoldin de proprietât comutative<!--- |
||
---><br /><math>A\cup B = B\cup A</math>;<!--- |
---><br /><math>A\cup B = B\cup A</math>;<!--- |
||
---><br /><math>A\cap B = B\cap A</math>. |
---><br /><math>A\cap B = B\cap A</math>. |
||
*'''Proprietât associative''': union e intersezion a gjoldin de proprietât associative, che e permet di estindi la definizion des dôs operazions ai câs cun plui di doi insiemis<!--- |
* '''Proprietât associative''': union e intersezion a gjoldin de proprietât associative, che e permet di estindi la definizion des dôs operazions ai câs cun plui di doi insiemis<!--- |
||
---><br /><math>A\cup B\cup C = (A\cup B)\cup C = A\cup (B\cup C)</math>;<!--- |
---><br /><math>A\cup B\cup C = (A\cup B)\cup C = A\cup (B\cup C)</math>;<!--- |
||
---><br /><math>A\cap B\cap C = (A\cap B)\cap C = A\cap (B\cap C)</math>. |
---><br /><math>A\cap B\cap C = (A\cap B)\cap C = A\cap (B\cap C)</math>. |
||
*'''Proprietât distributive''': de intersezion rispiet ae union<!--- |
* '''Proprietât distributive''': de intersezion rispiet ae union<!--- |
||
---><br /><math>A\cup (B\cap C) = (A\cup B) \cap (A\cup C)</math><!--- |
---><br /><math>A\cup (B\cap C) = (A\cup B) \cap (A\cup C)</math><!--- |
||
---><br />e de union rispiet ae intersezion<!--- |
---><br />e de union rispiet ae intersezion<!--- |
||
---><br /><math>A\cap (B\cup C) = (A\cap B) \cup (A\cap C)</math>. |
---><br /><math>A\cap (B\cup C) = (A\cap B) \cup (A\cap C)</math>. |
||
*'''Formulis di De Morgan''':<!--- |
* '''Formulis di De Morgan''':<!--- |
||
---><br /><math>\overline{A\cap B} = \bar{A}\cup\bar{B}</math>;<!--- |
---><br /><math>\overline{A\cap B} = \bar{A}\cup\bar{B}</math>;<!--- |
||
---><br /><math>\overline{A\cup B} = \bar{A}\cap\bar{B}</math>. |
---><br /><math>\overline{A\cup B} = \bar{A}\cap\bar{B}</math>. |
||
Rie 167: | Rie 167: | ||
[[kn:ಗಣ]] |
[[kn:ಗಣ]] |
||
[[ko:집합]] |
[[ko:집합]] |
||
[[ku:Kom]] |
|||
[[la:Copia]] |
[[la:Copia]] |
||
[[lmo:Cungjuunt]] |
[[lmo:Cungjuunt]] |
Revision dai 17 di Otu 2009 a lis 12:38
In matematiche, un insiemi (insieme par talian e set par inglês) al è une colezion di ogjets che e ven considerade come un dutun. Cheste idee, inte sô semplicitât, e je a la base di ducj i cjamps de matematiche tant che il prin cjapitul di cualsisei bon libri di test al è dedicât al studi des principâls carateristichis e proprietâts dai insiemis.
In chest articul si cjatin lis basis de teorie classiche dai insiemis, dite ancje intuitive o naïve. No si cjaparà in considerazion, invezit, la moderne teorie assiomatiche.
Definizions
Un insiemi al è une colezion di ogjets, che a vegnin clamâts elements dal insiemi. I elements a definissin totalmentri un insiemi: par esempli, si dîs che l'insiemi e l'insiemi (l'ûs des letaris maiusculis par clamâ i insiemis al è une vore comun) a son compagns se e dome se a son costituîts dai stes elements; in chel câs si pues scrivi .
Intal stes insiemi si puedin vê ogjets di nature diferente (par esempli un flôr, un numar e un libri). Dâts un insiemi e un ogjet , si pues verificâ un e dome un dai doi câs che a seguissin:
- al è un element di : a si dîs che al aparten a e si scrîf ;
- nol è un element di : a si dîs che nol aparten a e si scrîf .
Chest al impliche che:
- no esistin câs intermedis: un element o al aparten o nol aparten a un insiemi;
- un element nol pues jessi ripetût: se al aparten a un insiemi alore al è unic inta chel insiemi.
Descrizion
Definî un insiemi al significhe specificâ cuai che a son i elements che lu componin e lis dôs manieris par fâlu a son:
- par liste, o sei disint un a un ducj i elements:
Lis dôs definizions di a son ecuivalentis: l'ordin dai elements nol conte; - par carateristiche, o sei spiegant a peraulis cuale che e je la propietât che a lee ducj i elements:
In câs plui complicâts, lis descrizions a puedin jessi dal tipo
Ancje chi, al è il stes insiemi intai doi câs (il significât dai simbui e al sarà spiegât plui indevant).
Cardinalitât
Il numar di elements di un insiemi si clame la cardinalitât dal insiemi. Cun riferiment ai esemplis precedents, la cardinalitât dai insiemis e e je di 3 e 4 rispetivementri. Chescj a son esemplis di di insiemis finîts, che a son costituîts, vâl a dî, di un numar finît di elements; e a son invezit insiemis infinîts e a àn cardinalitât infinide (plui detais sui insiemis cuntun numar infinît di elements tal articul su la cardinalitât).
L'insiemi di cardinalitât 0 (cun nissun element) si dîs insiemi vueit e si indiche cun il simbul .
Insiemis numerics fondamentâi
Introdusin cumò i insiemis numerics plui usâts in matematiche.
- I numars naturâi a son ducj i intîrs no negatîfs:
- I numars intîrs relatîfs, vâl a dî cun segn, si indichin cun
- al è l'insiemi dai numars razionâi, ven a stai di dutis lis frazions iridusibilis (in realtât, lis frazions 3/4 e 6/8, dome par fâ un esempli, a rapresentin il stes numar) positivis e negativis:
. - L'insiemi di ducj i numars decimâi cuntun numar di cifris decimâi finît, infinît periodic o infinît no periodic a si clame insiemi dai numars reâi .
- I numars complès a son une astrazion matematiche definide par podê risolvi cierts problemis. Clamant la unitât imagjinarie, si à
.
Relazions tra insiemis
Si à za dit che doi insiemis cui stes elements a son il stes insiemi: in tal câs si pues ancje dî che i doi insiemis a son coincidents. Al contrari, doi insiemis che no àn nissun element comun a si disin disiunts.
Sotinsiemis
L'insiemi al è un sotinsiemi dal insiemi se e dome se ducj i elements di a son ancje elements di . La scriture doprade e je
- .
Se si è sigûrs che al vedi ancje elements che no apartegnin a , si tabaie alore di sotinsiemi tal sens stret o sotinsiemi propri e si scrîf:
- .
Si à di notâ che cualsisei insiemi al à almancul doi sotinsiemis impropris (no tal sens stret): l'insiemi vueit e l'insiemi stes.
Par i insiemis numerics fondamentâi viodûts inte sezion anteriôr, a valin lis relazions che a seguissin:
- .
(Nol è un erôr scrivi .)
Insiemi des parts
L'insiemi di ducj i sotinsiemis di un insiemi si clame insiemi des parts (en:power set in inglês) di . Par esempli, se , l'insiemi des parts al è
- .
Par un insiemi finît di elements, si pues dimostrâ che la cardinalitât dal insiemi des parts e je (in curt, par ogni element a son dôs pussibilitâts: che al stedi o che nol stedi tal sotinsiemi considerât. Une volte decidût se un element al sta o no tal sotinsiemi, si à di fâ compagn par ducj chei altris elements. Il numar di pussibii sotinsiemis si calcole duncje moltiplicant un fatôr 2 par ogni element).
Operazions cui insiemis
- Union: la union di doi insiemis al è un insiemi che al conten sie i elements dal prin insiemi che chei dal secont. Par esempli, se definin
alore la union e je
.
Si pues notâ che e a son sotinsiemis dal insiemi union e che i elements comuns ai doi insiemis () no vegnin ripetûts.
- Intersezion: la intersezion di doi insiemis e je un insiemi che al à come elements dome i elements comuns ai doi insiemis. Cun e come prime, si à
.
De definizion, al risulte clâr che l'insiemi intersezion al è un sotinsiemi di ducj i doi i insiemis di partence.
O vin viodût prime che doi insiemis si disin disgiunts cuant che no àn elements in comun. Si pues cumò dâ une definizion ecuivalent e disi che doi insiemis a son disgiunts se la lôr intersezion e da un insiemi vueit.
- Insiemi diference: l'insiemi diference di in ( o ) al è l'insiemi dai elements di che no apartegnin a . Continuant cul esempli:
.
- Complementâr: In cierts câs, ducj i insiemis considerâts a son sotinsiemis di un insiemi plui grant clamât insiemi univiers; in chestis situazions, il complementâr di un insiemi al è l'insiemi diference di intal insiemi univiers. Se o clamìn l'insiemi univiers e (o ancje o ) il complementâr di , si à
.
Proprietâts des operazions
Presentìn cumò lis principâls proprietâts des operazions cui insiemis. Intai esemplis che a seguissin, i insiemis e a son sotinsiemis dal insiemi univiers .
- Proprietât comutative: union e intersezion a gjoldin de proprietât comutative
;
. - Proprietât associative: union e intersezion a gjoldin de proprietât associative, che e permet di estindi la definizion des dôs operazions ai câs cun plui di doi insiemis
;
. - Proprietât distributive: de intersezion rispiet ae union
e de union rispiet ae intersezion
. - Formulis di De Morgan:
;
.
A valin, par prionte, ancje lis seguintis proprietâts cence un non particolâr:
- ;
- ;
- ;
- ;
- ;
- .
Bibliografie
- G. Spirito. Matematica Senza Numeri. Newton Compton, 1995. ISBN 88-7983-814-8
- A. M. Pittana, G. Mitri e L. De Clara. La Nomencladure des Matematichis. Istitût Ladin Furlan Pre Checo Placerean, 1997.
- M. Fogale e E. Paolini. Une Introduzion ae Analisi Matematiche. Istitût Ladin Furlan Pre Checo Placerean, 2001.
- Wikipedia Contributors. Set, in Wikipedia, the Free Enciclopedia, 30 July 2007, 00:14 UTC, <http://en.wikipedia.org/w/index.php?title=Set&oldid=147952691> [accessed 9 August 2007]
- Contributori di Wikipedia. Insieme, in Wikipedia, l'Enciclopedia Libera, 8 giugno 2007, 19:50 UTC, <http://it.wikipedia.org/w/index.php?title=Insieme&oldid=9201617> [in data 9 agosto 2007]