While sitting in a determinant class, our Professor, while describing determinants, coined an observation which made me wonder. He stated that the determinant of a square matrix can be represented as a function in the following way -
Let M be the set of all square matrices, then a function, say X, is defined from which returns the determinant of any square matrix i.e.
which returns |M|
As soon as he said this, I began to wonder about the injectivity, surjectivity and bijectivity of this function.
I was told that for a given , there exists only one unique determinant . But the converse is not true according to me. This can be proved by the following argument -
Let's say that
On solving for x, we obtain two values i.e 2 and 3, therefore the matrix is not unique for the given determinant i.e. for one image (−6), there exist multiple preimages. Hence, according to me, the function so defined is not injective, and consequently not bijective as well.
Now checking for surjectivity, we'll have to look for the equality of the codomain and the range of the function. In my opinion, for infinite square matrices, there will be infinite unique determinants belonging to . Hence the function should be surjective, but only for real entries into the matrix.
For complex entries, I don't think the function remains surjective, as the range will not coincide with the codomain (i.e. ). However, in both cases, I feel that the function is neither injective not bijective.