title: Espacio de Schwartz
text: # Espacio de Schwartz
  
  En matemáticas, un espacio de Schwartz es un espacio funcional de funciones de decrecimiento rápido. Este tipo de espacio tiene la propiedad interesante de que la transformada de Fourier es un automorfismo de este espacio. Esta propiedad permite, por dualidad, extender la definición de la transformada de Fourier a funciones generalizadas pertenecientes al espacio dual del espacio de Schwartz.
  Este tipo de espacios se nombra así en honor a Laurent Schwartz. Una función del espacio de Schwartz se llama a veces función de Schwartz.
  
  # Espacio de Schwartz
  ## Definición
  
  El espacio de Schwartz o espacio de funciones de decrecimiento rápido ${\mathcal {S}}(\mathbb {R} ^{n})$ definido sobre el espacio euclídeo $\mathbb {R} ^{n}$ es el conjunto de funciones:
     ${\mathcal {S}}\left(\mathbb {R} ^{n}\right)=\{f\in C^{\infty }(\mathbb {R} ^{n})\mid \forall \,\alpha ,\beta :\ \|f\|_{\alpha ,\beta }<\infty \},$
  Donde:
      $\alpha ,\beta \,$ son multíndices (conjuntos ordenados de índices).
      $C^{\infty }(\mathbb {R} ^{n})$ es el conjunto de funciones reales suaves sobre $\mathbb {R} ^{n}$.
      $\|\cdot \|$ es una norma definida a partir de la norma del supremo como:
     $\|f\|_{\alpha ,\beta }:=\|x^{\alpha }D^{\beta }f\|_{\infty }=\sup _{\mathbf {x} \in \mathbb {R} ^{n}}\left|x_{i_{1}}^{\alpha _{1}}\ldots x_{i_{m}}^{\alpha _{m}}{\frac {\partial ^{|\beta |}f}{\partial x_{j_{1}}^{\beta _{1}}\ldots x_{j_{k}}^{\beta _{k}}}}\right|$
  Donde los números $\alpha _{i},\beta _{j}$ son enteros positivos que satisfacen:
     $\sum _{i=1}^{m}\alpha _{i}=|\alpha |,\qquad \sum _{j=1}^{k}\beta _{j}=|\beta |$
  
  # Espacio de Schwartz
  ## Ejemplos de funciones en ${\mathcal {S}}(\mathbb {R} ^{n})$
  
  * Si $a,n>0\,$, entonces $x^{n}e^{-ax^{2}}\in {\mathcal {S}}(\mathbb {R} ^{n})$.
  * Cualquier función suave de soporte compacto está en ${\mathcal {S}}(\mathbb {R} ^{n})$.
  
  # Espacio de Schwartz
  ## Propiedades
  
  * ${\mathcal {S}}$ es un espacio de Fréchet sobre los números complejos $\mathbb {C}$.
  * Por la regla de Leibniz se sigue que ${\mathcal {S}}(\mathbb {R} ^{n})$ es cerrado bajo la multiplicación punto a punto, es decir, $f,g\in {\mathcal {S}}(\mathbb {R} ^{n})\Rightarrow h(x):=f(x)g(x)\in {\mathcal {S}}(\mathbb {R} ^{n})$.
  * La transformada de Fourier es un automorfismo lineal acotado de ${\mathcal {S}}(\mathbb {R} ^{n})$ en sí mismo.
  * Para cualquier $1\leq p\leq \infty$, se tiene que ${\mathcal {S}}\subset L^{p},$ donde $L^{p}$($\mathbb {R} ^{n}$) es el espacio de funciones p-integrables en $\mathbb {R} ^{n}$. En particular, cualquier función de ${\mathcal {S}}$ es una función acotada.