Rango (función)

En matemáticas, o rango dunha función pode referirse a calquera dos dous conceptos estreitamente relacionados:
Nalgúns casos o codominio e a imaxe dunha función son o mesmo conxunto; tal función chámase sobrexectiva ou onto. Para calquera función non sobrexectiva o codominio e a imaxe son diferentes; non obstante, pódese definir unha nova función coa imaxe da función orixinal como o seu codominio, onde Esta nova función é sobrexectiva.
Definicións
Dados dous conxuntos Modelo:Mvar e Modelo:Mvar, unha relación binaria Modelo:Mvar entre Modelo:Mvar e Modelo:Mvar é unha función (de Modelo:Mvar a Modelo:Mvar ) se para cada elemento Modelo:Mvar en Modelo:Mvar hai exactamente un Modelo:Mvar en Modelo:Mvar tal que Modelo:Mvar relaciona Modelo:Mvar con Modelo:Mvar. Os conxuntos Modelo:Mvar e Modelo:Mvar chámanse dominio e codominio de Modelo:Mvar, respectivamente. A imaxe da función Modelo:Mvar é o subconxunto de Modelo:Mvar composto só por aqueles elementos Modelo:Mvar de Modelo:Mvar tal que hai polo menos un Modelo:Mvar en Modelo:Mvar con Modelo:Math.
Elaboración e exemplo
Dada unha función
con dominio , o rango de , ás veces denotado ou ,[1] pode referirse ao codominio ou ao conxunto de destinos (é dicir, o conxunto no que toda saída de está obrigada a chegar), ou a , a imaxe do dominio de baixo (é dicir, o subconxunto de composto por todas as saídas dadas de ). A imaxe dunha función é sempre un subconxunto do codominio da función.[2]
Como exemplo dos dous usos diferentes, considere a función como se usa na análise real (é dicir, como función que introduce un número real e saca o seu cadrado). Neste caso, o seu codominio é o conxunto de números reais , mais a súa imaxe é sómente o conxunto de números reais non negativos , xa que nunca é negativo se é real. Para esta función, se usamos "rango" para significar codominio, refírese a ; se usamos "rango" para significar imaxe, refírese a .