función constante

Tipo de función matemática

Función constante y ( x ) = 4

En matemáticas , una función constante es una función cuyo valor (de salida) es el mismo para cada valor de entrada. ^{[1] [2] [3]} Por ejemplo, la función y ( x ) = 4 es una función constante porque el valor de y ( x ) es 4 independientemente del valor de entrada x (ver imagen).

Propiedades básicas

Como función de valor real de un argumento de valor real, una función constante tiene la forma general y ( x ) = c o simplemente y = c . ^[4]

Ejemplo: La función y ( x ) = 2 o simplemente y = 2 es la función constante específica donde el valor de salida es c = 2 . El dominio de esta función es el conjunto de todos los números reales R. La imagen de esta función es el conjunto singleton {2} . La variable independiente x no aparece en el lado derecho de la expresión de la función y por eso su valor se "sustituye de forma vacía". Es decir, y (0) = 2 , y (−2,7) = 2 , y (π) = 2 , y así sucesivamente. No importa qué valor de x se ingrese, la salida es 2 .

Ejemplo del mundo real: una tienda donde cada artículo se vende por el precio de 1 dólar.

La gráfica de la función constante y = c es una recta horizontal en el plano que pasa por el punto (0, c ) . ^[5]

En el contexto de un polinomio en una variable x , la función constante distinta de cero es un polinomio de grado 0 y su forma general es f ( x ) = c donde c es distinto de cero. Esta función no tiene punto de intersección con el eje x , es decir, no tiene raíz (cero) . Por otro lado, el polinomio f ( x ) = 0 es la función idénticamente cero . Es la función constante (trivial) y cada x es una raíz. Su gráfica es el eje x en el plano. ^[6]

Una función constante es una función par , es decir, la gráfica de una función constante es simétrica con respecto al eje y .

En el contexto donde se define, la derivada de una función es una medida de la tasa de cambio de los valores de la función con respecto al cambio en los valores de entrada. Como una función constante no cambia, su derivada es 0. ^[7] Esto suele escribirse: . Lo contrario también es cierto. Es decir, si y ′( x ) = 0 para todos los números reales x , entonces y es una función constante. ^[8] ${\displaystyle (x\mapsto c)'=0}$

Ejemplo: Dada la función constante . La derivada de y es la función idénticamente cero . ${\displaystyle y(x)=-{\sqrt {2}}}$ ${\displaystyle y'(x)=\left(x\mapsto -{\sqrt {2}}\right)'=0}$

Otras propiedades

Para funciones entre conjuntos preordenados , las funciones constantes preservan y revierten el orden ; por el contrario, si f preserva y revierte el orden, y si el dominio de f es una red , entonces f debe ser constante.

• Cada función constante cuyo dominio y codominio son el mismo conjunto X es un cero izquierdo del monoide de transformación completa en X , lo que implica que también es idempotente .
• Tiene pendiente o pendiente cero .
• Toda función constante entre espacios topológicos es continua .
• Una función constante factoriza a través del conjunto de un punto , el objeto terminal en la categoría de conjuntos . Esta observación es fundamental para la axiomatización de la teoría de conjuntos de F. William Lawvere , la Teoría Elemental de la Categoría de Conjuntos (ETCS). ^[9]
• Para cualquier X no vacío , cada conjunto Y es isomorfo al conjunto de funciones constantes en . Para cualquier X y cada elemento y en Y , existe una función única tal que para todos . Por el contrario, si una función satisface para todos , es por definición una función constante. ${\displaystyle X\to Y}$ ${\displaystyle {\tilde {y}}:X\to Y}$ ${\displaystyle {\tilde {y}}(x)=y}$ ${\displaystyle x\in X}$ ${\displaystyle f:X\to Y}$ ${\displaystyle f(x)=f(x')}$ ${\displaystyle x,x'\in X}$ ${\displaystyle f}$
  • Como corolario, el conjunto de un punto es un generador en la categoría de conjuntos.
  • Cada conjunto es canónicamente isomorfo a la función conjunto , o conjunto hom en la categoría de conjuntos, donde 1 es el conjunto de un punto. Debido a esto, y a la conjunción entre productos cartesianos y hom en la categoría de conjuntos (por lo que existe un isomorfismo canónico entre funciones de dos variables y funciones de una variable valoradas en funciones de otra (única) variable), la categoría de conjuntos es una categoría monoidea cerrada con el producto cartesiano de conjuntos como producto tensorial y el conjunto de un punto como unidad tensorial. En los isomorfismos naturales en X , los unitores izquierdo y derecho son las proyecciones y los pares ordenados y respectivamente al elemento , donde es el único punto en el conjunto de un punto. ${\displaystyle X}$ ${\displaystyle X^{1}}$ ${\displaystyle \operatorname {hom} (1,X)}$ ${\displaystyle \operatorname {hom} (X\times Y,Z)\cong \operatorname {hom} (X(\operatorname {hom} (Y,Z))}$ ${\displaystyle \lambda :1\times X\cong X\cong X\times 1:\rho }$ ${\displaystyle p_{1}}$ ${\displaystyle p_{2}}$ ${\displaystyle (*,x)}$ ${\displaystyle (x,*)}$ ${\displaystyle x}$ ${\displaystyle *}$

Una función en un conjunto conexo es localmente constante si y sólo si es constante.

Referencias

1. Tanton, James (2005). Enciclopedia de Matemáticas . Hechos archivados, Nueva York. pag. 94.ISBN _ 0-8160-5124-0.
2. C. Clapham, J. Nicholson (2009). "Diccionario Oxford conciso de matemáticas, función constante" (PDF) . Addison-Wesley. pag. 175 . Consultado el 12 de enero de 2014 .
3. Weisstein, Eric (1999). Enciclopedia concisa de matemáticas CRC . CRC Press, Londres. pag. 313.ISBN _ 0-8493-9640-9.
4. Weisstein, Eric W. "Función constante". mathworld.wolfram.com . Consultado el 27 de julio de 2020 .
5. Dawkins, Paul (2007). "Álgebra universitaria". Universidad Lamar. pag. 224 . Consultado el 12 de enero de 2014 .
6. Carter, John A.; Cuevas, Gilbert J.; Holliday, Berchie; Marcos, Daniel; McClure, Melissa S. (2005). "1". Conceptos matemáticos avanzados: precálculo con aplicaciones, edición para estudiantes (1 ed.). Glencoe/McGraw-Hill School Pub Co. pág. 22.ISBN _ 978-0078682278.
7. Dawkins, Paul (2007). "Pruebas derivadas". Universidad Lamar . Consultado el 12 de enero de 2014 .
8. "Derivada cero implica función constante" . Consultado el 12 de enero de 2014 .
9. Leinster, Tom (27 de junio de 2011). "Una introducción informal a la teoría del topos". arXiv : 1012.5647 [matemáticas.CT].

• Herrlich, Horst y Strecker, George E., Teoría de categorías , Heldermann Verlag (2007).

enlaces externos

• Weisstein, Eric W. "Función constante". MundoMatemático .
• "Función constante". PlanetMath .