whaleofconfusion | mathworld's definition is way too informal and so is wikipedia's my textbook is formal enough but flat out wrong |

mankind_tweezer | Which textbook? |

whaleofconfusion | Complex Variables and their applications by Anthony d. Osborne |

tenet | did not Newton have a formula for that? |

mankind_tweezer | I think it's a little subtle to define it... do you have the notion of Riemann surface, or multivalued function? |

TRWBW | john_sheu: yeah it's cheating. but still good to know. |

korhalf | tenet: u give up on me? haha |

whaleofconfusion | I have multivalued functions, not Reimann surfaces yet I mean there's an informal blurb on them but nothing concrete |

mankind_tweezer | I'm trying to come up with a definition. You know the idea, I guess? |

whaleofconfusion | I do not know the idea until I have a formal definition |

mankind_tweezer | OK, OK. |

whaleofconfusion | I have a vague notion |

koro | whaleofconfusion: i thought that someone already mentioned that your book's definition sounds good if you ask the loop to besmall enough |

whaleofconfusion | yeah someone said that but I'm not sure I believe them yet |

koro | why? |

korhalf | wow this channel is full of bitches thanks for the help homos keep discussing the cycles in ur cpus fuck |

mankind_tweezer | Suppose given a function f(z) in some domain of the complex plane -- then there is a notion of the "total analytic continuation" of f, right? It might be multivalued. |

tenet | korhalf: said 'tenet: u give up on me?' No Way .. unlike others .. i will be here until .. to help. |

whaleofconfusion | I do not know the term "total analytic continuation" |

mankind_tweezer | Or better yet, just suppose you're given a multivalued function, never mind where it came from. |

whaleofconfusion | ok say, log |

tenet | may i humbly suggest (from experience) that you ask politely? |

whaleofconfusion | tenet: he already quit |

mankind_tweezer | Then you would say z_0 is a "branch point" of f if f(z) is defined on some disc containing z_0, and if following a loop inside that disc around z_0 takes you from one branch to another branch of f(z) |

john_sheu | the guy just left and I did his derivative for him |

whaleofconfusion | I believe that's the same as my book's definition it doesn't seem to explain why 1 is not a branch point of log simply choose a disk of radius 2 and let the loop go around the origin as well as around 1 |

mankind_tweezer | Eh, say "EVERY loop" |

whaleofconfusion | ok |