31. The mapping a \ mapsto \ delta _ a is a bijection between and this canonical basis. 32. The bijection that you mention would be given by for all; so your logic is correct. 33. Any set that can be put into bijection with a group becomes a group via the bijection. 34. Any set that can be put into bijection with a group becomes a group via the bijection . 35. The above bijection is given by pullback of that element f \ mapsto f ^ * u. 36. Then, the " inner condition " requires a bijection property from endomorphisms also to arrays. 37. Once you know that you cannot have continuity, here is an easy way to get the bijection . 38. Furthermore,, is a bi-analytic bijection from a neighborhood of in to a neighborhood of. 39. Let be an orthonormal basis for, and let \ phi : F \ to B be a bijection . 40. Under this convention all functions are surjections, and so, being a bijection simply means being an injection.