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.
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 1 : X → Y y f 2 : X → Y , defina la función O ( f 1 , f 2 ): 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:
El producto puntual o multiplicación puntual es:
El producto puntual con un escalar se escribe generalmente con el término escalar primero. Por lo tanto, cuando es un escalar :
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.
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 .
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.
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.
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 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
Para ejemplos de teoría del orden:
Este artículo incorpora material de Pointwise en PlanetMath , que está licenciado bajo la Licencia Creative Commons Atribución/Compartir-Igual .