Pointwise - Pointwise Relations

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. Using the pointwise order on functions one can concisely define other important notions, for instance:

  • A closure operator c on a poset P is a monotone and idempotent self-map on P (i.e. a projection operator) with the additional property that idAc, where id is the identity function.
  • Similarly, a projection operator k is called a kernel operator if and only if k ≤ idA.

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

with

converges pointwise to a function if for each in

Read more about this topic:  Pointwise

Famous quotes containing the word relations:

    When one walks, one is brought into touch first of all with the essential relations between one’s physical powers and the character of the country; one is compelled to see it as its natives do. Then every man one meets is an individual. One is no longer regarded by the whole population as an unapproachable and uninteresting animal to be cheated and robbed.
    Aleister Crowley (1875–1947)