Función acotada

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Bounded function" – news · newspapers · books · scholar · JSTOR (September 2021) (Learn how and when to remove this message)

En matemáticas , una función definida en un conjunto con valores reales o complejos se denomina acotada si el conjunto de sus valores está acotado . En otras palabras, existe un número real tal que ${\displaystyle f}$ ${\displaystyle X}$${\displaystyle M}$

${\displaystyle |f(x)|\leq M}$

para todo en . ^[1] Una función que no está acotada se dice que no está acotada . ^{[ cita requerida ]}${\displaystyle x}$${\displaystyle X}$

Si es de valor real y para todos en , entonces se dice que la función está acotada (desde) arriba por . Si para todos en , entonces se dice que la función está acotada (desde) abajo por . Una función de valor real está acotada si y solo si está acotada superior e inferiormente. ^{[1] [ cita(s) adicional(es) necesaria(s) ]}${\displaystyle f}$${\displaystyle f(x)\leq A}$${\displaystyle x}$${\displaystyle X}$${\displaystyle A}$${\displaystyle f(x)\geq B}$${\displaystyle x}$${\displaystyle X}$${\displaystyle B}$

Un caso especial importante es una sucesión acotada , donde se toma como el conjunto de números naturales . Por lo tanto, una sucesión está acotada si existe un número real tal que${\displaystyle X}$${\displaystyle \mathbb {N} }$ ${\displaystyle f=(a_{0},a_{1},a_{2},\ldots )}$${\displaystyle M}$

${\displaystyle |a_{n}|\leq M}$

Para cada número natural , el conjunto de todas las secuencias acotadas forma el espacio de secuencias . ^{[ cita requerida ]}${\displaystyle n}$ ${\displaystyle l^{\infty }}$

La definición de acotación se puede generalizar a funciones que toman valores en un espacio más general al requerir que la imagen sea un conjunto acotado en . ^{[ cita requerida ]}${\displaystyle f:X\rightarrow Y}$${\displaystyle Y}$${\displaystyle f(X)}$${\displaystyle Y}$

Más débil que la acotación es la acotación local . Una familia de funciones acotadas puede estar uniformemente acotada .

Un operador acotado no es una función acotada en el sentido de la definición de esta página (a menos que ), pero tiene la propiedad más débil de preservar la acotación ; los conjuntos acotados se asignan a conjuntos acotados . Esta definición se puede extender a cualquier función si y permite el concepto de un conjunto acotado. La acotación también se puede determinar observando un gráfico. ^{[ cita requerida ]}${\displaystyle T:X\rightarrow Y}$${\displaystyle T=0}$${\displaystyle M\subseteq X}$${\displaystyle T(M)\subseteq Y}$${\displaystyle f:X\rightarrow Y}$${\displaystyle X}$${\displaystyle Y}$

• La función seno está acotada ya que para todo . ^{[1] [2]}${\displaystyle \sin :\mathbb {R} \rightarrow \mathbb {R} }$${\displaystyle |\sin(x)|\leq 1}$${\displaystyle x\in \mathbb {R} }$
• La función , definida para todos los números reales excepto −1 y 1, no está acotada. A medida que se acerca a −1 o 1, los valores de esta función aumentan de magnitud. Esta función puede acotarse si se restringe su dominio a, por ejemplo, o . ^{[ cita requerida ]}${\displaystyle f(x)=(x^{2}-1)^{-1}}$${\displaystyle x}$${\displaystyle x}$${\displaystyle [2,\infty )}$${\displaystyle (-\infty ,-2]}$
• La función , definida para todos los reales , está acotada, ya que para todos . ^{[ cita requerida ]}${\textstyle f(x)=(x^{2}+1)^{-1}}$${\displaystyle x}$${\textstyle |f(x)|\leq 1}$${\displaystyle x}$
• La función trigonométrica inversa arcotangente se define como: o es creciente para todos los números reales y está acotada por radianes ^[3]${\displaystyle y=\arctan(x)}$${\displaystyle x=\tan(y)}$${\displaystyle x}$${\displaystyle -{\frac {\pi }{2}}<y<{\frac {\pi }{2}}}$
• Por el teorema de acotación , toda función continua en un intervalo cerrado, como por ejemplo , está acotada. ^[4] De manera más general, cualquier función continua de un espacio compacto a un espacio métrico está acotada. ^{[ cita requerida ]}${\displaystyle f:[0,1]\rightarrow \mathbb {R} }$
• Todas las funciones complejas que son enteras son ilimitadas o constantes como consecuencia del teorema de Liouville . ^[5] En particular, el complejo debe ser ilimitado ya que es entero. ^{[ cita requerida ]}${\displaystyle f:\mathbb {C} \rightarrow \mathbb {C} }$${\displaystyle \sin :\mathbb {C} \rightarrow \mathbb {C} }$
• La función que toma el valor 0 para un número racional y 1 para un número irracional (cf. función de Dirichlet ) está acotada. Por lo tanto, una función no necesita ser "buena" para estar acotada. El conjunto de todas las funciones acotadas definidas en es mucho mayor que el conjunto de funciones continuas en ese intervalo. ^{[ cita requerida ]} Además, las funciones continuas no necesitan estar acotadas; por ejemplo, las funciones y definidas por y son ambas continuas, pero ninguna está acotada. ^[6] (Sin embargo, una función continua debe estar acotada si su dominio es cerrado y acotado. ^[6] )${\displaystyle f}$${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle [0,1]}$${\displaystyle g:\mathbb {R} ^{2}\to \mathbb {R} }$${\displaystyle h:(0,1)^{2}\to \mathbb {R} }$${\displaystyle g(x,y):=x+y}$${\displaystyle h(x,y):={\frac {1}{x+y}}}$

• Conjunto acotado
• Soporte compacto
• Limitación local
• Limitación uniforme