Semi-Linear (Conjugate Linear) Functions
Definition
Assuming that a function is given. If the following equation holds for , , then is called antilinear or conjugate linear.
Explanation
Unlike linear functions, where the multiplied constant is the same inside and outside the function, it refers to a function in which the constant is the conjugate complex number inside and outside the function. If , then because , a function being real-valued and linear is the same as it being antilinear.