Función sublineal
# Función sublineal

En álgebra lineal, una función sublineal (o funcional, como se usa más a menudo en análisis funcional), también llamada cuasi-seminorma o funcional de Banach, en un espacio vectorial $X$ es una función con valor real con solo algunas de las propiedades de una seminorma. A diferencia de las seminormas, una función sublineal no tiene que tener un valor con signo, y tampoco tiene por qué ser homogénea. Las seminormas son en sí mismas abstracciones de la noción más conocida de norma, donde una seminorma tiene todas las propiedades definitorias de una norma, excepto que no es necesario asignar vectores distintos de cero a valores distintos de cero.
En análisis funcional a veces se utiliza el nombre de funcional de Banach, lo que refleja que se utiliza con mayor frecuencia cuando se aplica la formulación general del teorema de Hahn–Banach. La noción de función sublineal fue introducida por Stefan Banach cuando demostró su versión del teorema de Hahn–Banach.
También se emplea una noción diferente en ciencias de la computación (que se describe más adelante), que también se conoce con el nombre de "función sublineal".

# Función sublineal
## Definiciones

Sea $X$ un espacio vectorial sobre un cuerpo $\mathbb {K} ,$ donde $\mathbb {K}$ es el conjunto de los números reales $\mathbb {R}$ o el conjunto de los números complejos $\mathbb {C} .$ Una función de valor real $p:X\to \mathbb {R}$ en $X$ se llama función sublineal (o funcional si es $\mathbb {K} =\mathbb {R}$), y a veces también se llama casi seminorma o funcional de Banach, si tiene estas dos propiedades:
* Homogeneidad positiva'/Homogeneidad no negativa: $p(rx)=rp(x)$ para todos los $r\geq 0$ reales y todos los $x\in X.$
** Esta condición se cumple si y solo si $p(rx)\leq rp(x)$ para todo $r>0$ real positivo y todo $x\in X.$
* Subaditividad/Desigualdad triangular: $p(x+y)\leq p(x)+p(y)$ para todos los $x,y\in X.$
** Esta condición de subaditividad requiere que $p$ tenga un valor real.
Una función $p:X\to \mathbb {R}$ se llama positiva o no negativa si $p(x)\geq 0$ para todos los $x\in X$, aunque algunos autores definen positivo en el sentido de que $p(x)\neq 0$ siempre que $x\neq 0$. Estas definiciones no son equivalentes. Es una función simétrica si $p(-x)=p(x)$ para todos los $x\in X.$ Toda función simétrica subaditiva es necesariamente no negativa. Una función sublineal en un espacio vectorial real es simétrica si y solo si es una seminorma. Una función sublineal en un espacio vectorial real o complejo es una seminorma si y solo si es equilibrada o, de manera equivalente, si y solo si $p(ux)\leq p(x)$ para cada escalar de longitud unidad $u$ (que satisface $|u|=1$) y cada $x\in X.$
El conjunto de todas las funciones sublineales en $X,$ denotado por $X^{\#},$ puede ser parcialmente ordenado declarando que $p\leq q$ si y solo si $p(x)\leq q(x)$ para todo $x\in X.$ Una función sublineal se llama mínima si es un elemento mínimo de $X^{\#}$ bajo este orden. Una función sublineal es mínima si y solo si es una funcional lineal real.

# Función sublineal
## Ejemplos y condiciones suficientes

Cada norma, seminorma y funcional lineal real es una función sublineal. La función identidad $\mathbb {R} \to \mathbb {R}$ en $X:=\mathbb {R}$ es un ejemplo de función sublineal (de hecho, es incluso una funcional lineal) que no es ni positiva ni seminorma; lo mismo ocurre con la negación de esta aplicación $x\mapsto -x.$ De manera más general, para cualquier $a\leq b,$ real, la aplicación
    ${\begin{alignedat}{4}S_{a,b}:\;&&\mathbb {R} &&\;\to \;&\mathbb {R} \\[0.3ex]&&x&&\;\mapsto \;&{\begin{cases}ax&{\text{ si }}x\leq 0\\bx&{\text{ si }}x\geq 0\\\end{cases}}\\\end{alignedat}}$
es una función sublineal en $X:=\mathbb {R}$ y además, toda función sublineal $p:\mathbb {R} \to \mathbb {R}$ tiene esta forma. Específicamente, si $a:=-p(-1)$ y $b:=p(1)$, entonces $a\leq b$ y $p=S_{a,b}$.
Si $p$ y $q$ son funciones sublineales en un espacio vectorial real $X$, entonces también lo es la aplicación $x\mapsto \max\{p(x),q(x)\}$. Más generalmente, si ${\mathcal {P}}$ es cualquier colección no vacía de funcionales sublineales en un espacio vectorial real $X$, y si para todo $x\in X$, $q(x):=\sup\{p(x):p\in {\mathcal {P}}\}$, entonces $q$ es un funcional sublineal en $X.$
Una función $p:X\to \mathbb {R}$ que es subaditiva, convexa y que satisface que $p(0)\leq 0$, también es positivamente homogénea (la última condición $p(0)\leq 0$ es necesaria como muestra el ejemplo de $p(x):={\sqrt {x^{2}+1}}$ en $X:=\mathbb {R}$). Si $p$ es positivamente homogéneo, es convexo si y solo si es subaditivo. Por lo tanto, suponiendo que $p(0)\leq 0$, dos propiedades cualesquiera entre subaditividad, convexidad y homogeneidad positiva implican la tercera.

# Función sublineal
## Propiedades

Cada función sublineal es una función convexa: para $0\leq t\leq 1,$
    ${\begin{alignedat}{3}p(tx+(1-t)y)&\leq p(tx)+p((1-t)y)&&\quad {\text{ subaditividad }}\\&=tp(x)+(1-t)p(y)&&\quad {\text{ homogeneidad no negativa }}\\\end{alignedat}}$
Si $p:X\to \mathbb {R}$ es una función sublineal en un espacio vectorial $X$, entonces
    $p(0)~=~0~\leq ~p(x)+p(-x)$
para cada $x\in X$, lo que implica que al menos uno de los valores de $p(x)$ y $p(-x)$ debe ser no negativo, es decir, por cada $x\in X,$
$0~\leq ~\max\{p(x),p(-x)\}.$
Además, cuando $p:X\to \mathbb {R}$ es una función sublineal en un espacio vectorial real, entonces la aplicación $q:X\to \mathbb {R}$ definida por $q(x)~{\stackrel {\scriptscriptstyle {\text{ def }}}{=}}~\max\{p(x),p(-x)\}$ es una seminorma.
La subaditividad de $p:X\to \mathbb {R}$ garantiza que para todos los vectores $x,y\in X,$
    $p(x)-p(y)~\leq ~p(x-y),$
    $-p(x)~\leq ~p(-x),$
entonces, si $p$ también es simétrica, entonces la desigualdad triangular se mantendrá para todos los vectores $x,y\in X,$
    $|p(x)-p(y)|~\leq ~p(x-y).$
Definir $\ker p~{\stackrel {\scriptscriptstyle {\text{ def }}}{=}}~p^{-1}(0),$ y luego la subaditividad también garantiza que para todos los $x\in X,$ el valor de $p$ en el conjunto $x+(\ker p\cap -\ker p)=\{x+k:p(k)=0=p(-k)\}$ sea constante e igual a $p(x)$. En particular, si $\ker p=p^{-1}(0)$ es un subespacio vectorial de $X$, entonces $-\ker p=\ker p$ y la asignación $x+\ker p\mapsto p(x)$, que se denotará por ${\hat {p}}$, es una función sublineal de valor real bien definida en el espacio cociente $X\,/\,\ker p$ que satisface ${\hat {p}}^{-1}(0)=\ker p$. Si $p$ es una seminorma, entonces ${\hat {p}}$ es solo la norma canónica habitual en el espacio cociente $X\,/\,\ker p$.
* Lema de sublinealidad de Pryce
* Supóngase que $p:X\to \mathbb {R}$ es un funcional sublineal en un espacio vectorial $X$ y que $K\subseteq X$ es un subconjunto convexo no vacío.
* Si $x\in X$ es un vector y $a,c>0$ son números reales positivos tales que
* $p(x)+ac~<~\inf _{k\in K}p(x+ak)$
* entonces para cada $b>0$ real positivo existe algún $\mathbf {z} \in K$ tal que
* $p(x+a\mathbf {z} )+bc~<~\inf _{k\in K}p(x+a\mathbf {z} +bk).$
Agregar $bc$ a ambos lados de la hipótesis $p(x)+ac\,<\,\inf _p(x+aK)$ (donde $p(x+aK)~{\stackrel {\scriptscriptstyle {\text{ def }}}{=}}~\{p(x+ak):k\in K\}$) y combinarlo con la conclusión genera el resultado siguiente:
    $p(x)+ac+bc~<~\inf _p(x+aK)+bc~\leq ~p(x+a\mathbf {z} )+bc~<~\inf _p(x+a\mathbf {z} +bK)$
lo que produce muchas más desigualdades, incluyendo, por ejemplo,
    $p(x)+ac+bc~<~p(x+a\mathbf {z} )+bc~<~p(x+a\mathbf {z} +b\mathbf {z} )$
en el que una expresión de un lado de una desigualdad estricta $\,<\,$ se puede obtener del otro reemplazando el símbolo $c$ por $\mathbf {z}$ (o viceversa) y moviendo el paréntesis de cierre a la derecha (o izquierda) de un sumando adyacente (todos los demás símbolos permanecen fijos y sin cambios).

# Función sublineal
## Propiedades
### Seminorma asociada

Si $p:X\to \mathbb {R}$ es una función sublineal de valor real en un espacio vectorial real $X$ (o si $X$ es complejo, entonces, cuando se considera como un espacio vectorial real), se tiene que la aplicación $q(x)~{\stackrel {\scriptscriptstyle {\text{ def }}}{=}}~\max\{p(x),p(-x)\}$ define una seminorma en el espacio vectorial real $X$ llamada seminorma asociada con $p$. Una función sublineal $p$ en un espacio vectorial real o complejo es función simétrica si y solo si $p=q$ donde $q(x)~{\stackrel {\scriptscriptstyle {\text{ def }}}{=}}~\max\{p(x),p(-x)\}$ como antes.
De manera más general, si $p:X\to \mathbb {R}$ es una función sublineal de valor real en un espacio vectorial (real o complejo) $X$, entonces
    $q(x)~{\stackrel {\scriptscriptstyle {\text{ def }}}{=}}~\sup _{|u|=1}p(ux)~=~\sup\{p(ux):u{\text{ es un escalar unitario }}\}$
definirá una seminorma en $X$ si este supremo es siempre un número real (es decir, nunca igual a $\infty$).

# Función sublineal
## Propiedades
### Relación con funcionales lineales

Si $p$ es una función sublineal en un espacio vectorial real $X$, entonces los siguientes enunciados son equivalentes:
* $p$ es un funcional lineal.
* por cada $x\in X,$ $p(x)+p(-x)\leq 0.$
* por cada $x\in X,$ $p(x)+p(-x)=0.$
* $p$ es una función sublineal mínima.
Si $p$ es una función sublineal en un espacio vectorial real $X$, entonces existe una función lineal $f$ en $X$ tal que $f\leq p.$
Si $X$ es un espacio vectorial real, $f$ es una funcional lineal en $X,$ y $p$ es una función sublineal positiva en $X,$ entonces $f\leq p$ en $X$ si y solo si $f^{-1}(1)\cap \{x\in X:p(x)<1\}=\varnothing .$

# Función sublineal
## Propiedades
### Relación con funcionales lineales
#### Dominación de un funcional lineal

Una función de valor real $f$ definida en un subconjunto de un espacio vectorial real o complejo $X$ se dice que es dominada por una función sublineal $p$ si $f(x)\leq p(x)$ para cada $x$ que pertenece al dominio de $f.$
Si $f:X\to \mathbb {R}$ es un funcional lineal real en $X$, entonces $f$ está dominado por $p$ (es decir, $f\leq p$) si y solo si
$-p(-x)\leq f(x)\leq p(x)\quad {\text{ para cada }}x\in X.$
Además, si $p$ es una seminorma o alguna otra aplicación simétrica (que por definición, significa que $p(-x)=p(x)$ es válido para todos los $x$), entonces $f\leq p$ si y solo si $|f|\leq p$.
* Teorema
* Si $p:X\to \mathbb {R}$ es una función sublineal en un espacio vectorial real $X$ y si $z\in X$, entonces existe una funcional lineal $f$ en $X$ que está dominada por $p$ (es decir, $f\leq p$) y satisface que $f(z)=p(z).$
* Además, si $X$ es un espacio vectorial topológico y $p$ es continua en el origen, entonces $f$ es continua.

# Función sublineal
## Propiedades
### Continuidad

* Teorema
* Supóngase que $f:X\to \mathbb {R}$ es una función subaditiva (es decir, $f(x+y)\leq f(x)+f(y)$ para todo $x,y\in X$).
* Entonces, $f$ es continua en el origen si y solo si $f$ es uniformemente continua en $X.$
* Si $f$ satisface $f(0)=0$, entonces $f$ es continua si y solo si su valor absoluto $|f|:X\to [0,\infty )$ es continuo.
* Si $f$ es no negativa, entonces $f$ es continua si y solo si $\{x\in X:f(x)<1\}$ es abierta en $X$.
Supóngase ahora que $X$ es un espacio vectorial topológico (EVT) sobre los números reales o los números complejos y $p$ es una función sublineal sobre $X$. Entonces, los siguientes enunciados son equivalentes:
* $p$ es continua.
* $p$ es continua en 0.
* $p$ es uniformemente continua en $X$.
y si $p$ es positiva, entonces esta lista puede ampliarse para incluir:
* $\{x\in X:p(x)<1\}$ está abierto en $X.$
Si $X$ es un EVT real, $f$ es una función lineal en $X,$ y $p$ es una función sublineal continua en $X,$ entonces $f\leq p$ en $X$ implica que $f$ es continua.

# Función sublineal
## Propiedades
### Relación con funciones de Minkowski y conjuntos convexos abiertos

* Teorema
* Si $U$ es una vecindad abierta convexa del origen en un espacio vectorial topológico $X$, entonces el funcional de Minkowski de $U,$ $p_{U}:X\to [0,\infty ),$ es una función sublineal continua no negativa en $X$ tal que $U=\left\{x\in X:p_{U}(x)<1\right\}$. Además, si $U$ es un conjunto equilibrado, entonces $p_{U}$ es una seminorma en $X.$

# Función sublineal
## Propiedades
### Relación con funciones de Minkowski y conjuntos convexos abiertos
#### Relación con conjuntos convexos abiertos

* Teorema
* Supóngase que $X$ es un espacio vectorial topológico (no necesariamente localmente convexo o de Hausdorff) sobre los números reales o complejos.
* Entonces, los subconjuntos convexos abiertos de $X$ son exactamente aquellos que tienen la forma
* $z+\{x\in X:p(x)<1\}=\{x\in X:p(x-z)<1\}$
* para algún $z\in X$ y alguna función sublineal continua positiva $p$ en $X.$
* Demostración
* Sea $V$ un subconjunto convexo abierto de $X.$
* Si $0\in V$, entonces hacer que $z:=0$ y, en caso contrario, considérese que $z\in V$ sea arbitrario.
* Sea $p:X\to [0,\infty )$ el funcional de Minkowski de $V-z$, que es una función sublineal continua en $X$, ya que $V-z$ es convexo, absorbente y abierto (aunque $p$ no es necesariamente una seminorma, ya que no se supuso que $V$ fuera equilibrado).
* De $X=X-z,$ se deduce que
* $z+\{x\in X:p(x)<1\}=\{x\in X:p(x-z)<1\}.$
* Comprobando que $V=z+\{x\in X:p(x)<1\}$ se completa la demostración. Una de las propiedades de los funcionales de Minkowski conocidas garantiza que {x∈X:p(x)<1}=(0, 1)(V−z), {\textstyle \{x\in X:p(x)<1\}=(0, 1)(V-z), } donde $(0,1)(V-z)\;{\stackrel {\scriptscriptstyle {\text{ def }}}{=}};{tx:0<t<1,xV-z}=V-z$ ya que $V-z$ es convexo y contiene el origen.
* Por lo tanto, $V-z=\{x\in X:p(x)<1\},$ tal como se buscaba. $\blacksquare$

# Función sublineal
## Operadores

El concepto puede extenderse a operadores homogéneos y subaditivos. Esto requiere solo que el codominio sea, póngase por caso, un espacio vectorial ordenado para que las condiciones tengan sentido.

# Función sublineal
## Definición en informática

En ciencias de la computación, una función $f:\mathbb {Z} ^{+}\to \mathbb {R}$ se llama sublineal si $\lim _{n\to \infty }{\frac {f(n)}{n}}=0,$ o $f(n)\in o(n)$ en notación asintótica (obsérvese el pequeño símbolo $o$). Formalmente, $f(n)\in o(n)$ si y solo si, para cualquier $c>0,$ dado existe un $N$ tal que $f(n)<cn$ para $n\geq N.$ Es decir, $f$ crece más lentamente que cualquier función lineal. Los dos significados no deben confundirse: mientras que un funcional de Banach es convexo, ocurre casi lo contrario con las funciones de crecimiento sublineal: cada función $f(n)\in o(n)$ puede estar acotada superiormente por una función cóncava de crecimiento sublineal.