1.3 Aplicacions
Donats dos conjunts i , i una relació entre i , es diu aplicació d’ en si i per a tot existeix un únic tal que . És habitual usar o com a símbols d’aplicacions. D’aquesta manera, per a designar una aplicació d’ en escriurem
o bé
Considerem l’aplicació i sigui , llavors es diu la imatge d’ per . Si , llavors diem que és una antiimatge de per ; també simbolitzem aquest fet com . Al conjunt
se’n diu imatge o recorregut de l’aplicació i també s’escriu . Observa que és el conjunt dels elements de que tenen almenys una antiimatge per l’aplicació .
Donades dues aplicacions i , diem que són iguals, representant-ho per , si per a tot es compleix . En símbols, escrivim
Es diu graf de l’aplicació al conjunt
Llavors, és evident que dues aplicacions i d’ en són iguals si i només si .
Exemple 1.22.
Donats els conjunts i , considerem la relació entre i definida per: està relacionat amb si i només si . (a) És aquesta relació una aplicació d’ en ? (b) Quins números s’han d’excloure de perquè ho sigui? Calcula la imatge i el graf de l’aplicació que així s’obté.
Solució: (a) Aquesta relació no és una aplicació d’ en , perquè el seu domini és el conjunt i no coincideix amb .
(b) Si excloem i d’, llavors la relació defineix una aplicació de en . És clar que la imatge d’aquesta aplicació és
i el graf és
Exemple 1.23.
Siguin , i considerem el següent conjunt
(a) És el graf d’una aplicació d’ en ? (b) Si ho és, com es defineix la imatge d’un element qualsevol d’? Quins elements de tenen antiimatge?
Solució: (a) És immediat comprovar que
És clar que defineix una aplicació d’ en perquè i tot element d’ té una i només una imatge.
(b) L’aplicació es defineix per . Els elements de que tenen antiimatge determinen el recorregut de l’aplicació què és
Observació 1.3.
Els conceptes d’aplicació i funció es consideren sovint com a sinònims. Tot i això, el concepte de funció pot considerar-se menys restrictiu que el d’aplicació. La raó està en el fet que quan tractem amb funcions és habitual no especificar des d’un principi els conjunts de sortida i d’arribada com així fem en definir el concepte d’aplicació. En general , una funció es defineix com una relació entre dos conjunts referencials (prou amplis) que satisfà la següent propietat: per a qualssevol objectes
En altres paraules, una relació entre dos conjunts referencials és una funció si i només si per a tot existeix un únic tal que . Definit d’aquesta manera el concepte de funció, aleshores diem que és una funció d’ en si i . Ara, és evident que una funció d’ en és una aplicació d’ en . Per exemple, les funcions de en (funcions reals de variable real) són aplicacions del seu domini en .
1.3.1 Classes d’aplicacions
Donats els conjunts , i l’aplicació . Distingim les següents classes d’aplicacions:
-
1.
L’aplicació es diu injectiva quan qualsevol parell d’elements diferents de tenen imatges diferents, o dit d’una altra forma equivalent, si no hi ha dos elements diferents d’ amb la mateixa imatge. En símbols, escrivim
per a tot .
-
2.
L’aplicació es diu exhaustiva si tot element de té almenys una antiimatge en , o dit d’una altra forma equivalent, si . En símbols, escrivim
-
3.
L’apliació es diu bijectiva quan és injectiva i exhaustiva.
Exemple 1.24.
L’aplicació definida per no és injectiva ni exhaustiva. En efecte, no és injectiva perquè, per exemple, i, en canvi , . Tampoc és exhaustiva perquè no té antiimatge.
Exemple 1.25.
L’aplicació definida per és injectiva però no és exhaustiva. En efecte, és injectiva perquè si , deduïm . D’aquí, obtenim , però com , deduïm . No és exhaustiva perquè, per exemple, no té antiimatge.
Exemple 1.26.
L’aplicació definida per no és injectiva però sí que és exhaustiva. En efecte, no és injectiva perquè i, en canvi, . Si , llavors i es compleix . Per tant, qualsevol element de té antiimatge i, per tant, és exhaustiva.
Exemple 1.27.
L’aplicació definida per és bijectiva. En efecte, el raonament utilitzat en (2) prova que és injectiva, i el raonament utilitzat en (3) prova que és exhaustiva. Per tant, és bijectiva.
1.3.2 Imatge i antiimatge d’un conjunt
Donats els conjunts , i l’aplicació . Considerem i , llavors es diu imatge del conjunt al conjunt
és a dir, el conjunt està format per les imatges de tots els elements de . Es diu antiimatge del conjunt al conjunt
és a dir, el conjunt està format per les antiimatges de tots els elements de .
Exemple 1.28.
Considerem l’aplicació definida per
Volem calcular la imatge del conjunt i l’antiimatge del conjunt .
Solució: Per a determinar haurem de calcular les imatges de tots els elements del conjunt en qüestió. Així, tenim
Per tant,
Per a determinar haurem calcular les antiimatges de tots els elements del conjunt en qüestió. Així, tenim
Per tant,
Observació 1.4.
Veurem en un altre apartat que si una aplicació és bijectiva, llavors existeix l’aplicació que se’n diu inversa de . En usar la notació no s’ha de pressuposar que és bijectiva; ara designa simplement el conjunt que té per elements totes les antiimatges dels elements de . Tot i això, en el cas que sigui bijectiva, la notació serà consistent amb el fet que s’interpreti també com la imatge del conjunt per l’aplicació inversa de .
1.3.3 Composició d’aplicacions
Donats els conjunts , i , considerem les aplicacions i . A l’aplicació definida per
se’n diu aplicació composta de i o aplicació composició de amb , i s’escriu . El següent diagrama justifica la definició de l’aplicació composta de amb .
![[Uncaptioned image]](img/set7.jpg)
Exemple 1.29.
Considerem les aplicacions i definides per i . Volem calcular l’aplicació composta de amb .
Solució: Segons la definició, tenim
Observació 1.5.
Volem fer dues observacions importants:
-
•
És important assenyalar que la composició de dues aplicacions i només existeix quan el conjunt d’arribada de coincideix amb el conjunt de sortida de .
-
•
Observa que en l’expressió les aplicacions apareixen escrites en ordre invers al d’actuació, que és: primer i després .
1.3.4 Aplicació inversa
Donada una aplicació bijectiva, l’aplicació definida per
es diu aplicació inversa de i és habitual denotar-la per . Segons la definició, és immediat comprovar que
on les aplicacions i definides per per a tot i per a tot es diuen, respectivament, l’aplicació identitat d’ i l’aplicació identitat de .
Exemple 1.30.
Considerem l’aplicació definida per
(a) Provarem que és bijectiva i (b) calcularem l’aplicació inversa.
Solució: (a) Si i suposem que , llavors
i, per tant, és injectiva. Si i fem , llavors
Per tant, donat , existeix
i es compleix
Això vol dir que també és exhaustiva i, en conseqüència, és bijectiva.
(b) Com que per a tot i , es compleix
llavors
Substituint ara per , obtenim
1.3.5 Cardinal d’un conjunt
En aquest apartat precisarem la noció intuïtiva que tots tenim de nombre d’elements d’un conjunt finit.
Diem que dos conjunts i són equipotents quan existeix una aplicació bijectiva d’ en . Ara podem associar a cada conjunt el que es diu cardinal o potència d’ que es denota per . El cardinal d’un conjunt es defineix de manera que es compleixi la següent condició: Dos conjunts tenen el mateix cardinal si i només si són equipotents.
Si és l’univers i considerem en la relació de equipotència definida per
és immediat comprovar que és una relació d’equivalència en i cada classe es diu un nombre cardinal. En altres paraules, és un nombre cardinal si existeix un conjunt tal que .
Així, tots els conjunts equipotents a un conjunt unitari com, per exemple , , direm que tenen cardinal , tots els conjunts equipotents a un parell com, per exemple, tenen cardinal , i així successivament. Admetem que el cardinal del conjunt buit és , és a dir, .
Intuïtivament, és clar que un conjunt finit no pot ser equipotent a un dels seus subconjunts propis. Tanmateix, això és possible per a conjunts infinits. Per exemple, el conjunt dels nombres naturals és equipotent amb el següent subconjunt propi format pels parells:
ja que l’aplicació
és bijectiva. Aquest fet justifica la següent definició.
Diem que un conjunt és infinit si és equipotent amb un subconjunt propi de . Si un conjunt no és infinit, llavors diem que és finit. D’aquesta manera, per a dos conjunts finits i , evidentment tenim que és equipotent a si i només si i contenen el mateix nombre d’elements. Per als conjunts infinits, la idea "tenir el mateix nombre d’elements"és vaga, mentre que la idea que sigui bijectable amb conserva la seva claredat.
Finalment, diem que un conjunt és infinit numerable si és equipotent al conjunt dels nombres naturals , i diem simplement numerable si és finit o infinit numerable.
1.3.5.1 Propietats per a conjunts finits
Les fórmules més usuals (encara que no les úniques) que relacionen els cardinals i les operacions entre conjunts són:
-
1.
-
2.
-
3.
-
4.
-
5.
Les demostracions d’aquestes propietats les trobaràs en els exercicis resolts.
Exemple 1.31.
A un examen de Matemàtiques i Física han concorregut 100 alumnes. Sabent que Física l’han aprovat 60 alumnes, Matemàtiques 48 i que el nombre d’alumnes que han aprovat totes dues assignatures ha estat 30, volem esbrinar el nombre d’alumnes que no han aprovat cap assignatura en aquest examen.
Solució: Tenim els següents conjunts: el conjunt d’alumnes que s’examinen, el conjunt d’alumnes que han aprovat Física i el conjunt d’alumnes que han aprovat Matemàtiques. Per l’enunciat del problema, se sap que , , i . El conjunt d’alumnes que han aprovat alguna assignatura és i el nombre d’elements d’aquest conjunt és
Llavors, el nombre d’alumnes que no han aprovat cap assignatura és perquè aquest nombre és el cardinal del conjunt i es compleix que