Puntual

En matemáticas , el calificador puntual se utiliza para indicar que una determinada propiedad se define considerando cada valor de alguna función. Una clase importante de conceptos puntuales son las operaciones puntuales , es decir, operaciones definidas sobre funciones aplicando las operaciones a los valores de la función por separado para cada punto en el dominio de definición. Las relaciones importantes también se pueden definir puntualmente. ${\estilo de visualización f(x)}$ ${\estilo de visualización f.}$

Una operación binaria o : Y × Y → Y sobre un conjunto Y puede elevarse puntualmente a una operación O : ( X → Y ) × ( X → Y ) → ( X → Y ) sobre el conjunto X → Y de todas las funciones de X a Y de la siguiente manera: Dadas dos funciones f ₁ : X → Y y f ₂ : X → Y , defina la función O ( f ₁ , f ₂ ): X → Y por

Comúnmente, o y O se denotan con el mismo símbolo. Se utiliza una definición similar para las operaciones unarias o y para las operaciones de otras aridades . ^{[ cita requerida ]}

La suma puntual de dos funciones y con el mismo dominio y codominio se define por: ${\estilo de visualización f+g}$${\estilo de visualización f}$${\estilo de visualización g}$

${\displaystyle (f+g)(x)=f(x)+g(x).}$

El producto puntual o multiplicación puntual es:

${\displaystyle (f\cdot g)(x)=f(x)\cdot g(x).}$

El producto puntual con un escalar se escribe generalmente con el término escalar primero. Por lo tanto, cuando es un escalar : ${\estilo de visualización \lambda}$

${\displaystyle (\lambda \cdot f)(x)=\lambda \cdot f(x).}$

Un ejemplo de una operación sobre funciones que no es puntual es la convolución .

Las operaciones puntuales heredan propiedades como la asociatividad , la conmutatividad y la distributividad de las operaciones correspondientes en el codominio . Si es alguna estructura algebraica , el conjunto de todas las funciones del conjunto portador de se puede convertir en una estructura algebraica del mismo tipo de manera análoga. ${\estilo de visualización A}$${\estilo de visualización X}$${\estilo de visualización A}$

Las operaciones por componentes suelen definirse sobre vectores, donde los vectores son elementos del conjunto para algún número natural y algún cuerpo . Si denotamos el componente -ésimo de cualquier vector como , entonces la suma por componentes es . $Estilo de visualización K^{n}}$ ${\estilo de visualización n}$ ${\estilo de visualización K}$${\estilo de visualización i}$${\estilo de visualización v}$$estilo de visualización v_{i}}$${\displaystyle (u+v)_{i}=u_{i}+v_{i}}$

Se pueden definir operaciones por componentes en matrices. La suma de matrices, donde es una operación por componentes, mientras que la multiplicación de matrices no lo es. ${\displaystyle (A+B)_{ij}=A_{ij}+B_{ij}}$

Una tupla puede considerarse una función y un vector es una tupla. Por lo tanto, cualquier vector corresponde a la función tal que , y cualquier operación componente por componente sobre vectores es la operación puntual sobre funciones correspondientes a esos vectores. ${\estilo de visualización v}$${\displaystyle f:n\to K}$${\displaystyle f(i)=v_{i}}$

En la teoría del orden es común definir un orden parcial puntual en funciones. Con los conjuntos parciales A , B , el conjunto de funciones A → B se puede ordenar definiendo f ≤ g si (∀ x ∈ A) f ( x ) ≤ g ( x ) . Los órdenes puntuales también heredan algunas propiedades de los conjuntos parciales subyacentes. Por ejemplo, si A y B son redes continuas , entonces también lo es el conjunto de funciones A → B con orden puntual. ^[1] Utilizando el orden puntual en funciones se pueden definir de forma concisa otras nociones importantes, por ejemplo: ^[2]

• Un operador de cierre c en un conjunto posexpuesto P es un automapa monótono e idempotente en P (es decir, un operador de proyección ) con la propiedad adicional de que id _A ≤ c , donde id es la función identidad .
• De manera similar, un operador de proyección k se denomina operador de núcleo si y solo si k ≤ id _A .

Un ejemplo de una relación puntual infinitaria es la convergencia puntual de funciones: una secuencia de funciones que converge puntualmente a una función f si para cada x en X$${\displaystyle (f_{n})_{n=1}^{\infty }}$$$${\displaystyle f_{n}:X\longrightarrow Y}$$ $${\displaystyle \lim_{n\to \infty}f_{n}(x)=f(x).}$$

Para ejemplos de teoría del orden:

• TS Blyth, Redes y estructuras algebraicas ordenadas , Springer, 2005, ISBN  1-85233-905-5 .
• G. Gierz, K. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, DS Scott : Redes y dominios continuos , Cambridge University Press, 2003.

Este artículo incorpora material de Pointwise en PlanetMath , que está licenciado bajo la Licencia Creative Commons Atribución/Compartir-Igual .