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:
“As death, when we come to consider it closely, is the true goal of our existence, I have formed during the last few years such close relations with this best and truest friend of mankind, that his image is not only no longer terrifying to me, but is indeed very soothing and consoling! And I thank my God for graciously granting me the opportunity ... of learning that death is the key which unlocks the door to our true happiness.”
—Wolfgang Amadeus Mozart (17561791)