Difference between revisions of "Pointwise order"
From Encyclopedia of Mathematics
(cite Davey & Priestley (2002)) |
m (set, not section) |
||
| Line 1: | Line 1: | ||
| − | The [[Order (on a set)|order]] on the | + | The [[Order (on a set)|order]] on the set of functions with values in a [[partially ordered set]]. If $f$ and $g$ are functions from $X$ to $Y$, where $(Y,<)$ is ordered, then there is an [[order relation]] on $Y^X$ defined by |
$$ | $$ | ||
f \le g \Leftrightarrow \forall x \in X\,,\ f(x) \le g(x) \ . | f \le g \Leftrightarrow \forall x \in X\,,\ f(x) \le g(x) \ . | ||
Revision as of 22:26, 8 January 2015
The order on the set of functions with values in a partially ordered set. If $f$ and $g$ are functions from $X$ to $Y$, where $(Y,<)$ is ordered, then there is an order relation on $Y^X$ defined by $$ f \le g \Leftrightarrow \forall x \in X\,,\ f(x) \le g(x) \ . $$
See also: Pointwise operation.
References
| [1] | B. A. Davey, H. A. Priestley, Introduction to lattices and order, 2nd ed. Cambridge University Press (2002) ISBN 978-0-521-78451-1 Zbl 1002.06001 |
How to Cite This Entry:
Pointwise order. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pointwise_order&oldid=36146
Pointwise order. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pointwise_order&oldid=36146