Web Analytics
Privacy Policy Cookie Policy Terms and Conditions Aplicación matemática - Wikipedia, la enciclopedia libre

Aplicación matemática

De Wikipedia, la enciclopedia libre

Aplicación matemática

Dados dos conjuntos: X, Y; una relación f, que determina una correspondencia matemática entre todos los elementos de X con los elementos de Y, diremos que esa relación: f, define una Aplicación matemática entre X e Y, que representaremos:

f: X \rightarrow Y
  • Cuando:
  1. todos los elementos de X está relacionado con elementos de Y.
  2. cada elemento de X, esta relacionado con un único elemento de Y.

Esto es: una correspondencia matemática es una aplicación, si todos los elementos del conjunto inicial tienen una imagen y esa imagen es única.

En el diagrama se pueden ver los conjuntos X e Y:

d (1,d) (2,d) (3,d) (4,d)
c (1,c) (2,c) (3,c) (4,c)
b (1,b) (2,b) (3,b) (4,b)
a (1,a) (2,a) (3,a) (4,a)
X×Y 1 2 3 4
X = \{1, 2, 3, 4 \} \,
Y = \{a, b, c, d \} \,

Como es puede ver a cada uno de los elemento de X le corresponde un único elemento de Y. El elemento a de Y no tiene origen y el elemento b tiene dos orígenes el 1 y el 4, pero esto no afecta a la definición de aplicación como tipo de correspondencia.

Tabla de contenidos

[editar] Tipos de Aplicación matemática

Dados dos conjuntos X, Y, y todas las posibles aplicaciones que pueden formarse entre estos dos conjuntos, se pueden diferenciar los siguientes casos:

  • Si a cada imagen le corresponde un único origen, inyectiva.
  • Si la aplicación es sobre todo el conjunto final, sobreyectiva.

Además de estos dos casos característicos, una aplicación puede ser inyectiva y sobreyectiva simultáneamente, que se denominan biyectiva, o ninguna de ellas en cuyo caso no tiene un nombre especifico.

Vamos a representar los tipos de aplicaciones en un Diagrama de Venn, el conjunto universal U, representado por un rectángulo, es el de todas las posibles aplicaciones, el conjunto A es el de las aplicaciones inyectivas, y el conjunto B el de las sobreyectivas, esto nos permite ver los distintos tipos de aplicaciones de un modo gráfico.

[editar] Aplicación inyectiva y no sobreyectiva

Aplicación inyectiva y no sobreyectiva

Una aplicación inyectiva cada elemento imagen tendrá un único orígenes y una no sobreyectiva tendrá al menos un elemento del conjunto final que no tenga elemento origen.

En el diagrama de venn corresponden a las aplicaciones que pertenecen a A y no pertenecen a B, esto es las que pertenecen a la diferencia de A y B: A-B.

En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto Y tendrá mayor número de elementos que X cuando tratamos de compararlos.

[editar] Ejemplo

en el diagrama de la figura:

todos los elementos de Y, que tienen origen, tienen un único origen, esto hace que la aplicación sea inyectiva
el elemento d de Y, no tiene ningún origen por lo que esta aplicación no es sobreyectiva.

[editar] Aplicación no inyectiva y sobreyectiva

Aplicación no inyectiva y sobreyectiva

Una aplicación no inyectiva tiene al menos un elemento imagen que tiene dos o mas orígenes y una sobreyectiva todos los elemento del conjunto final tienen un único elemento origen.

En el diagrama de venn corresponden a las aplicaciones que no pertenecen a A y si pertenecen a B, esto es las que pertenecen a la diferencia de B y A: B-A.

Para esta aplicación el conjunto X ha de tener mayor numero de elementos que Y, la cardinalidad de X ha de ser mayor que la de Y.

[editar] Ejemplo

en el diagrama de la figura:

el elemento c de Y, tiene dos orígenes: el 3 y el 4, por lo que esta aplicación no es inyectiva.
todos los elementos de Y, tienen origen, esto hace que la aplicación sea sobreyectiva.

[editar] Aplicación inyectiva y sobreyectiva

Aplicación biyectiva

Si una aplicación es inyectiva y sobreyectiva, simultáneamente se denomina: biyectiva, Por ser inyectiva los elementos que tienen origen tienen un único origen y por ser sobreyectiva todos los elementos del conjunto final tienen origen.

En el diagrama de venn el conjunto A es el de las aplicaciones inyectiva y el conjunto B el de las aplicaciones sobreyectiva, las aplicaciones biyectiva, que son inyectiva y sobreyectiva, será la intersección de A y B.

Estas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo numero de elementos, la cardinalidad de X es la misma que la de Y, esto tiene una gran importancia cuando se pretende comparar dos conjuntos:

  • Si dados dos conjuntos podemos encontrar una aplicación biyectiva entre ellos, podemos afirmar, que los dos conjuntos tienen el mismo numero de elementos. La cardinalidad de X es igual a la de Y.

[editar] Ejemplo

en el diagrama de la figura:

todos los elementos de Y, que tienen origen, tienen un único origen, esto hace que la aplicación sea inyectiva
todos los elementos de Y, tienen origen, esto hace que la aplicación sea sobreyectiva.

Si tomaremos por conjunto inicial el conjunto de los números naturales:

X = \{1, 2, 3, ... \} \,

y por conjunto final el de los números naturales pares:

Y = \{2, 4, 6, ... \} \,

Podemos ver que la relación

f: X \rightarrow Y
f: x \rightarrow (2x)

Por el que a cada numero natural x de X, le asociamos un numero par 2x de Y, se cumple:

  1. f: es una aplicación, dado que a cada uno de los valores x de X le corresponde un único valor 2x de Y.
  2. esta aplicación es inyectiva dado que a cada numero par 2x de Y le corresponde un único valor x de X.
  3. y es sobreyectiva porque todos los números pares tienen un origen

Esto nos permite afirmar que hay el mismo numero de números naturales que de números naturales pares, se da la paradoja de que los números naturales pares en un subconjunto propio de los números naturales, esta circunstancia solo se da con los conjuntos infinitos.

[editar] Aplicación no inyectiva y no sobreyectiva

Aplicación no inyectiva y no sobreyectiva

Una aplicación no inyectiva tendrá al menos un elemento imagen que tenga dos o más orígenes y una no sobreyectiva tendrá al menos un elemento del conjunto final que no tenga elemento origen. Este tipo de aplicaciones no tiene un nombre especifico y quizá sean las que presenten, desde el punto de vista matemático, un menor interés.

Para esta aplicación los conjuntos X e Y no son comparables, y no podemos plantear ningún supuesto sobre su cardinalidad, partiendo de su comparación, ni sobre su número de elementos.

En el diagrama de venn corresponden a las aplicaciones que no pertenecen a A y no pertenecen a B, esto es las que no pertenecen a la unión de A y B.

[editar] Ejemplo

en el diagrama de la figura:

el elemento b de Y, tiene dos orígenes: 1 y 2, esto hace que esta aplicación no sea inyectiva
el elemento a de Y, no tiene ningún origen por lo que esta aplicación no es sobreyectiva


[editar] Véase también

Icono de esbozo

Este artículo es un miniesbozo sobre matemática en el que falta información esencial. Ayudarás a mejorar Wikipedia ampliándolo. Puedes apoyarte en las wikipedias en otras lenguas.

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu