Math 2.0

definition

Removable singularity

Definition

Let cc be an isolated singularity of ff, so that ff is holomorphic on 0<∣z−c∣<r0 < |z - c| < r for some r>0r > 0. The singularity cc is removable if there is a function gg that is holomorphic on the disc ∣z−c∣<r|z - c| < r with g(z)=f(z)g(z) = f(z) for each zz with 0<∣z−c∣<r0 < |z - c| < r.

Remarks

The standard example is f(z)=sin⁡zzf(z) = \frac{\sin z}{z} at 00. With g(0)=1g(0) = 1, the function gg is the sum of 1−z23!+z45!−⋯1 - \frac{z^2}{3!} + \frac{z^4}{5!} - \cdots, which is holomorphic. The singularity is removable if and only if the principal part of ff at cc is 00. Riemann's theorem says that the singularity is removable if ff is bounded near cc.

Explanations

L1 human

A removable singularity is a hole in the domain of the function that you can fill with one value. After you fill it, the function is holomorphic at the point too.

What this node needs for W2
  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (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.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Real numbers object
  3. Set bounded above definition
  4. Real and imaginary parts definition
  5. Supremum definition
  6. Completeness axiom statement
  7. Existence of square roots of nonnegative reals statement
  8. Square root definition
  9. Modulus of a complex number definition
  10. Complex differentiability definition
  11. Holomorphic function definition
  12. Isolated singularity definition
  13. Removable singularity definition

What depends on this

5 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Removable_singularity, lead section