Let $X$ be a nonempty set and $\mathbb{F}$ be the collection of all extended nonnegative-valued functions $f \colon X \to [0, +\infty]$.

I am wondering that when this set $\mathbb{F}$ is equipped with the usual pointwise ordering $\geq$, then is this $(\mathbb{F}, \geq)$ a partially ordered set?

I know that the collection of all nonnegative real-valued functions $ g \colon X \to \mathbb{R}_+$ is a partially ordered set when the ordering is defined pointwise. However, I am not quite sure for the case of extended real-valued functions space.

Could anyone help me out please? Any idea or suggestions are much appreciated! Thank you very much in advance!

  • $\begingroup$ What are the properties we require of a relation in order to call it a partial order? $\endgroup$ – Arthur Jul 8 '18 at 9:49
  • $\begingroup$ Thanks @Arthur . To be a partial order , we require a binary relation on a set is reflexive, transitive and antisymmetric. Many thanks again:) $\endgroup$ – Paradiesvogel Jul 8 '18 at 9:55


If $(Y, \le_Y)$ is a partially ordered set, $X$ is a set and on $\mathbb{F} = \{f: X \to Y\}$ we define $$f \le_F g \iff \forall x \in X: f(x) \le_Y g(x)$$ then $(\mathbb{F}, \le_F)$ is also a partially ordered set.

The proof is just plugging in the definitions, nothing fancy.

And both $[0,+\infty)$ and $[0,+\infty]$ are partially ordered sets in their natural order (of course we define $x \le \infty$ for all $x$ in the second case).

So both function sets are partially ordered, using the fact.

  • $\begingroup$ Thank you @Henno Brandsma. It is a huge help. :-) Thanks $\endgroup$ – Paradiesvogel Jul 8 '18 at 10:00
  • $\begingroup$ @Paradiesvogel Glad to be able to help. Probably (eastern) Dutch by the nickname? ("paradysfûgel" I would have said in Frisian). $\endgroup$ – Henno Brandsma Jul 8 '18 at 10:15
  • $\begingroup$ Yeah, you are right! Glad to meet you :-) $\endgroup$ – Paradiesvogel Jul 8 '18 at 10:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.