Use predicate logic to write formal definitions of surjective function, injective function, and bijective function. Be sure to state the domains of your free variables.
In each of Exercises 3β7, determine whether or not the described function is a bijection. For those functions that are bijective, describe the inverse function; that is, specify the inverse functionβs
, represents the set of all binary words, is the bitwise complement function defined by: if is a binary word, let be a binary word of the same length but with a at every position that has a , and a at every position that has a . For example, and .
Let and let represent the set of all subsets of which contain an odd number of elements. Define by setting to be the βmiddleβ element of when the elements of are listed in order by size. For example, .
You have already verified injectivity of an empty function more generally in Task a. For surjectivity in this more specific setting, use your formal expression of surjective from Exercise 10.7.1, along with what you learned in Section 4.3.
Suppose is an injection. Use to devise an injection . Be sure to verify that your proposed function is injective. If is bijective, will also be bijective?