Pointwise

In mathematics, the qualifier pointwise is used to indicate that a certain property is defined by considering each value f(x) of some function f. An important class of pointwise concepts are the pointwise operations operations defined on functions by applying the operations to function values separately for each point in the domain of definition. Important relations can also be defined pointwise.

Pointwise operations

Examples include


\begin{align}
(f+g)(x) & = f(x)+g(x) & \text{(pointwise addition)} \\
(f\cdot g)(x) & = f(x) \cdot g(x) & \text{(pointwise multiplication)} \\
(\lambda f)(x) & = \lambda \cdot f(x) & \text{(pointwise multiplication by a scalar)}
\end{align}

where f,g:X\to R.

See pointwise product, scalar.

Pointwise operations inherit such properties as associativity, commutativity and distributivity from corresponding operations on the codomain. An example of an operation on functions which is not pointwise is convolution.

By taking some algebraic structure A in the place of R, we can turn the set of all functions X to the carrier set of A into an algebraic structure of the same type in an analogous way.

Componentwise operations

Componentwise operations are usually defined on vectors, where vectors are elements of the set K^n for some natural number n and some field K. If we denote the i-th component of any vector v as v_i, then componentwise addition is (u+v)_i = u_i+v_i.

A tuple can be regarded as a function, and a vector is a tuple. Therefore any vector v corresponds to the function f:n\to K such that f(i)=v_i, and any componentwise operation on vectors is the pointwise operation on functions corresponding to those vectors.

Pointwise relations

In order theory it is common to define a pointwise partial order on functions. With A, B posets, the set of functions AB can be ordered by fg if and only if (∀x ∈ A) f(x) ≤ g(x). Pointwise orders also inherit some properties of the underlying posets. For instance if A and B are continuous lattices, then so is the set of functions AB with pointwise order.[1] Using the pointwise order on functions one can concisely define other important notions, for instance:[2]

An example of infinitary pointwise relation is pointwise convergence of functions a sequence of functions

\{f_n\}_{n=1}^\infty

with

f_n:X \longrightarrow Y

converges pointwise to a function f if for each x in X

\lim_{n \rightarrow \infty} f_n(x) = f(x).

Notes

  1. Gierz, p. xxxiii
  2. Gierz, p. 26

References

For order theory examples:

This article incorporates material from Pointwise on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This article is issued from Wikipedia - version of the Saturday, March 19, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.