stringtranslate.com

Imagen (matemáticas)

Para la función que asigna una Persona a su Comida Favorita, la imagen de Gabriela es Manzana. La preimagen de Manzana es el conjunto {Gabriela, Maryam}. La preimagen de Pez es el conjunto vacío. La imagen del subconjunto {Richard, Maryam} es {Arroz, Manzana}. La preimagen de {Arroz, Manzana} es {Gabriela, Richard, Maryam}.

En matemáticas , para una función , la imagen de un valor de entrada es el valor de salida único que produce cuando se pasa . La preimagen de un valor de salida es el conjunto de valores de entrada que producen .

En términos más generales, la evaluación de cada elemento de un subconjunto dado de su dominio produce un conjunto, llamado la " imagen de debajo (o a través) ". De manera similar, la imagen inversa (o preimagen ) de un subconjunto dado del codominio es el conjunto de todos los elementos de esa función a un miembro de

La imagen de la función es el conjunto de todos los valores de salida que puede producir, es decir, la imagen de . La preimagen de , es decir, la preimagen de bajo , siempre es igual a (el dominio de ); por lo tanto, la primera noción rara vez se utiliza.

La imagen y la imagen inversa también pueden definirse para relaciones binarias generales , no sólo para funciones.

Definición

es una función de dominio a codominio . La imagen de elemento es elemento . La preimagen de elemento es el conjunto { }. La preimagen de elemento es .
es una función de dominio a codominio . La imagen de todos los elementos del subconjunto es subconjunto . La preimagen de es subconjunto.
es una función de dominio a codominio El óvalo amarillo en el interior es la imagen de . La preimagen de es el dominio completo

La palabra "imagen" se utiliza de tres maneras relacionadas. En estas definiciones, es una función del conjunto al conjunto.

Imagen de un elemento

Si es un miembro de entonces la imagen de debajo denotada es el valor de cuando se aplica a se conoce alternativamente como la salida de para el argumento

Se dice que una función toma el valor o toma como valor si existe alguno en el dominio de la función tal que De manera similar, se dice que un conjunto toma un valor en si existe alguno en el dominio de la función tal que Sin embargo, toma [todos] los valores en y tiene valor en significa que para cada punto en el dominio de .

Imagen de un subconjunto

En todo momento, sea una función.La imagen de un subconjunto de es el conjunto de todos los conjuntos . Se denota por o por cuando no hay riesgo de confusión. Usando la notación de constructor de conjuntos , esta definición se puede escribir como [1] [2]

Esto induce una función donde denota el conjunto potencia de un conjunto que es el conjunto de todos los subconjuntos de Véase § Notación a continuación para más información.

Imagen de una función

La imagen de una función es la imagen de todo su dominio , también conocido como el rango de la función. [3] Este último uso debe evitarse porque la palabra "rango" también se usa comúnmente para significar el codominio de

Generalización a relaciones binarias

Si es una relación binaria arbitraria en entonces el conjunto se llama imagen, o rango, de Dualmente, el conjunto se llama dominio de

Imagen inversa

Sea una función de a La preimagen o imagen inversa de un conjunto bajo denotado por es el subconjunto de definido por

Otras notaciones incluyen y [4] La imagen inversa de un conjunto singleton , denotada por o por, también se denomina fibra o fibra sobre o conjunto de nivel de El conjunto de todas las fibras sobre los elementos de es una familia de conjuntos indexados por

Por ejemplo, para la función la imagen inversa de sería Nuevamente, si no hay riesgo de confusión, se puede denotar por y también se puede pensar como una función del conjunto potencia de al conjunto potencia de La notación no debe confundirse con la de función inversa , aunque coincide con la usual para biyecciones en que la imagen inversa de bajo es la imagen de bajo

NotaciónPara imagen e imagen inversa

Las notaciones tradicionales utilizadas en la sección anterior no distinguen la función original de la función imagen de conjuntos ; de la misma manera, no distinguen la función inversa (suponiendo que exista una) de la función imagen inversa (que nuevamente relaciona los conjuntos potencia). Dado el contexto correcto, esto mantiene la notación liviana y generalmente no causa confusión. Pero si es necesario, una alternativa [5] es dar nombres explícitos para la imagen y la preimagen como funciones entre conjuntos potencia:

Notación de flecha

Notación de estrellas

Otra terminología

Ejemplos

  1. definido por
    La imagen del conjunto bajo es La imagen de la función es La preimagen de es La preimagen de es también La preimagen de bajo es el conjunto vacío
  2. definido por
    La imagen de bajo es y la imagen de es (el conjunto de todos los números reales positivos y cero). La preimagen de bajo es La preimagen del conjunto bajo es el conjunto vacío, porque los números negativos no tienen raíces cuadradas en el conjunto de los reales.
  3. definido por
    Las fibras son círculos concéntricos en torno al origen , el origen mismo y el conjunto vacío (respectivamente), dependiendo de si (respectivamente). (Si entonces la fibra es el conjunto de todos los que satisfacen la ecuación , es decir, el círculo centrado en el origen con radio )
  4. Si es una variedad y es la proyección canónica del fibrado tangente a entonces las fibras de son los espacios tangentes Este es también un ejemplo de un fibrado de fibras .
  5. Un grupo cociente es una imagen homomórfica .

Propiedades

General

Para cada función y todos los subconjuntos se cumplen las siguientes propiedades:

También:

Funciones múltiples

Para funciones y con subconjuntos se cumplen las siguientes propiedades:

Múltiples subconjuntos de dominio o codominio

Para la función y los subconjuntos se cumplen las siguientes propiedades:

Los resultados que relacionan imágenes y preimágenes con el álgebra ( booleana ) de intersección y unión funcionan para cualquier colección de subconjuntos, no sólo para pares de subconjuntos:

(Aquí, puede ser infinito, incluso incontablemente infinito .)

Con respecto al álgebra de subconjuntos descrita anteriormente, la función imagen inversa es un homomorfismo de red , mientras que la función imagen es solo un homomorfismo de semired (es decir, no siempre conserva las intersecciones).

Véase también

Notas

  1. ^ "5.4: Funciones sobrepuestas e imágenes/preimágenes de conjuntos". Matemáticas LibreTexts . 2019-11-05 . Consultado el 2020-08-28 .
  2. ^ Paul R. Halmos (1968). Teoría de conjuntos ingenua . Princeton: Nostrand.Aquí: Sect.8
  3. ^ Weisstein, Eric W. "Imagen". mathworld.wolfram.com . Consultado el 28 de agosto de 2020 .
  4. ^ Dolecki y Mynard 2016, págs. 4-5.
  5. ^ Blyth 2005, pág. 5.
  6. ^ Jean E. Rubin (1967). Teoría de conjuntos para matemáticos . Holden-Day. pág. xix. ASIN  B0006BQH7S.
  7. ^ M. Randall Holmes: Inhomogeneidad de los urelementos en los modelos habituales de NFU, 29 de diciembre de 2005, en: Semantic Scholar, p. 2
  8. ^ Hoffman, Kenneth (1971). Álgebra lineal (2.ª ed.). Prentice-Hall. pág. 388.
  9. ^ abc Véase Halmos 1960, pág. 31
  10. ^ ab Véase Munkres 2000, pág. 19
  11. ^ abcdefgh Véase la pág. 388 de Lee, John M. (2010). Introducción a las variedades topológicas, 2.ª ed.
  12. ^ por Kelley 1985, pág. 85
  13. ^ ab Véase Munkres 2000, pág. 21

Referencias

Este artículo incorpora material de Fibre en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .