An ordering function is a function f:Z→Z which takes the set of integers, and maps them to another order. One very simple example of an ordering function is a swapping function, which swaps the order of two specific values: fi,j(x)= {i when x=j ;j when x=i ; x when x=x} Another simple ordering function is the identiy function, a function which doesn't change the order at all: Id(x)=x. We can use a recursive definition to define the set of all possible ordering functions. Base Case: Id and all fi,j, with i,j∈Z, are ordering functions. Constructor: If f and g are both ordering functions, then f∘g is an ordering function. Use structural induction to prove that all ordering functions have an inverse: that is, if f is an ordering function, then there is another ordering function f−1 such that f−1∘f=Id.
An ordering function is a function f:Z→Z which takes the set of integers, and maps them to another order.
One very simple example of an ordering function is a swapping function, which swaps the order of two specific values:
fi,j(x)= {i when x=j ;j when x=i ; x when x=x}
Another simple ordering function is the identiy function, a function which doesn't change the order at all: Id(x)=x.
We can use a recursive definition to define the set of all possible ordering functions.
Base Case: Id and all fi,j, with i,j∈Z, are ordering functions.
Constructor: If f and g are both ordering functions, then f∘g is an ordering function.
Use structural induction to prove that all ordering functions have an inverse: that is, if f is an ordering function, then there is another ordering function f−1 such that f−1∘f=Id.
![](/static/compass_v2/shared-icons/check-mark.png)
Trending now
This is a popular solution!
Step by step
Solved in 5 steps
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)