Trying to remember what Theorem this is.

  • Thread starter Thread starter Poopsilon
  • Start date Start date
  • Tags Tags
    Theorem
Poopsilon
Messages
288
Reaction score
1
I vaguely recollect that the following statement is true:

Let f be analytic on a connected set D, then if f is constant on some nonempty open subset of D then it is constant on all of D.

Can anyone confirm that this is true and is it a specific theorem? Thanks.
 
Physics news on Phys.org
Ah yes, thank you, and while I have your attention, what does it mean to say that a function is defined in a neighborhood of the unit disk? I know what it means for it to be defined in a neighborhood of a point, but I can't figure out what this means. I can't tell if it means some neighborhood inside of the unit disk, or some neighborhood which contains an open ball which contains the unit disk.
 
I recall my Calculus -II professor doing examples on the blackboard where the "neighbourhood" of the unit disk meant within the unit disk in a fixed plane. A unit disk is determined along two axes xy, yz, or xz. Well the function would be defined for all x<1 and y<1 where z is constant if the unit disk is defined along the xy plane. That is the function would not be defined on an open ball containing the unit disk but it means that if a unit disk us defuned along any two axes (xy, yz ,xz) then the function would be defined as long as those two variables ( x,y,z) are less than 1 and the third variable is constant.

Hope that makes sense.
 
hivesaeed4 said:
I recall my Calculus -II professor doing examples on the blackboard where the "neighbourhood" of the unit disk meant within the unit disk in a fixed plane. A unit disk is determined along two axes xy, yz, or xz. Well the function would be defined for all x<1 and y<1 where z is constant if the unit disk is defined along the xy plane. That is the function would not be defined on an open ball containing the unit disk but it means that if a unit disk us defuned along any two axes (xy, yz ,xz) then the function would be defined as long as those two variables ( x,y,z) are less than 1 and the third variable is constant.

Hope that makes sense.

Hmm, my Calc II teacher never mentioned anything about a unit disk.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top