Pointwise Relations
In order theory it is common to define a pointwise partial order on functions. With A, B posets, the set of functions A → B can be ordered by f ≤ g 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 A → B 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 idA ≤ c, 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:
“In today’s world parents find themselves at the mercy of a society which imposes pressures and priorities that allow neither time nor place for meaningful activities and relations between children and adults, which downgrade the role of parents and the functions of parenthood, and which prevent the parent from doing things he wants to do as a guide, friend, and companion to his children.”
—Urie Bronfenbrenner (b. 1917)