The complex conjugate is not holomorphic
Counterexample
Let be the complex conjugate map, . The function is continuous, but it is not complex differentiable at any point . Thus is not holomorphic on any nonempty open set. Proof: the difference quotient at is It is for each real and for each purely imaginary . So it has no limit as .
Remarks
The real and imaginary parts and are differentiable, but and . So the Cauchy–Riemann equations fail at each point. As a map of , is the reflection in the real axis. It is real linear but not complex linear. For the same reason, , and are not holomorphic on any nonempty open set.
Explanations
L1 human
As a map of the plane, conjugation is a mirror, and it is very smooth. But a complex derivative must be the same in each direction, and conjugation fixes the real direction and reverses the imaginary direction. So the quotient gives in one direction and in the other, and there is no complex derivative.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- edge refutes or not_instance_of out (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 13 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Complex numbers object
- Real numbers object
- Set bounded above definition
- Real and imaginary parts definition
- Supremum definition
- Complex conjugate definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Complex differentiability definition
- Holomorphic function definition
- The complex conjugate is not holomorphic counterexample
Sources
- Web https://en.wikipedia.org/wiki/Holomorphic_function, Examples
- Web https://en.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equations, Independence of the complex conjugate
What links here
No node links to this node yet.