MHB Partial Order Relation on a Functions Set

Click For Summary
The discussion centers on understanding a partial order relation R defined on a set of functions from [0,1] to [0,infinity), where fRg if f(x) ≤ g(x) for all x in [0,1]. Participants explore whether specific statements about the existence of largest and smallest elements, maximal and minimal elements, and comparability of functions are true or false. It is clarified that most functions will not be comparable, as they may satisfy f(x) < g(x) for some x and g(x) < f(x) for others. The smallest function in this context is identified as f(x) = 0. The conversation highlights the complexities of ordering functions compared to simpler numerical examples.
Yankel
Messages
390
Reaction score
0
Hello,

I have a question which includes several statements, which I need to decide if they are true or false. I am not sure how to do it, if you could give me hints or "leads", it will mostly appreciated.

R is a partial order relation on A, a set of functions from [0,1] to [0,infinity) such that fRg if and only if f(x)<=g(x) for all x which belongs to [0,1].

In this relation:

1) There is a largest and smallest element
2) There is no largest element but there is a smallest one
3) There is more than one maximal element
4) There is more than one minimal element
5) Every 2 elements of A are comparable

I thought maybe to try and build a Hasse diagram, but unlike simple example with pairs of numbers, here I found it more difficult.

How do I compare two functions and order them ?

Thank you.
 
Physics news on Phys.org
Yankel said:
Hello,

I have a question which includes several statements, which I need to decide if they are true or false. I am not sure how to do it, if you could give me hints or "leads", it will mostly appreciated.

R is a partial order relation on A, a set of functions from [0,1] to [0,infinity) such that fRg if and only if f(x)<=g(x) for all x which belongs to [0,1].

In this relation:

1) There is a largest and smallest element
2) There is no largest element but there is a smallest one
3) There is more than one maximal element
4) There is more than one minimal element
5) Every 2 elements of A are comparable

I thought maybe to try and build a Hasse diagram, but unlike simple example with pairs of numbers, here I found it more difficult.

How do I compare two functions and order them ?

Thank you.
You are told how to "compare two functions and order them" in the definition of the order relation: given two functions f and g, f< g if and only if f(x)< g(x) for all x. Of course, most functions will NOT be "comparable" because we will have f(x)< g(x) for some x and g(x)< f(x) for others.
 
I see. Which function is the smallest in this case ? Is it f(x)=0 ?
 
Yankel said:
Which function is the smallest in this case ? Is it f(x)=0 ?
Yes.
 
The standard _A " operator" maps a Null Hypothesis Ho into a decision set { Do not reject:=1 and reject :=0}. In this sense ( HA)_A , makes no sense. Since H0, HA aren't exhaustive, can we find an alternative operator, _A' , so that ( H_A)_A' makes sense? Isn't Pearson Neyman related to this? Hope I'm making sense. Edit: I was motivated by a superficial similarity of the idea with double transposition of matrices M, with ## (M^{T})^{T}=M##, and just wanted to see if it made sense to talk...

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 35 ·
2
Replies
35
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K