Uniqueness theorem for power series

Click For Summary
SUMMARY

The discussion centers on the uniqueness theorem for power series as presented in Theorem 3.2 of Lang's "Complex Analysis." The participants clarify that part b) of the theorem can be proven using the contrapositive of part a), leading to the conclusion that if a function h reduces to a constant (specifically 0), then h must be constant across its domain. This conclusion is reached by demonstrating that h(x)=0 for all x in an infinite set with 0 as an accumulation point, which invalidates the second sentence of part a) and confirms that h is identically zero.

PREREQUISITES
  • Understanding of complex analysis concepts, specifically power series.
  • Familiarity with the uniqueness theorem in the context of analytic functions.
  • Knowledge of contrapositive reasoning in mathematical proofs.
  • Ability to interpret theorems and definitions from Lang's "Complex Analysis."
NEXT STEPS
  • Study the implications of the uniqueness theorem for analytic functions in greater detail.
  • Explore the concept of accumulation points in topology and its relevance to complex analysis.
  • Review the proof techniques involving contrapositives in mathematical logic.
  • Examine additional examples of power series and their properties in complex analysis.
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the foundational theorems related to power series and analytic functions.

snipez90
Messages
1,095
Reaction score
5
Hi, for awhile I was agonizing over part b) of this http://books.google.com/books?id=WZ...complex analysis&pg=PA62#v=onepage&q&f=false" of Theorem 3.2 in Lang's Complex Analysis.

But I think part of the reason was that I kept concentrating on the second sentence of the theorem statement in part a), instead of the entire statement. Just to make sure, part b) follows by using the contrapositive of part a) so that h reduces to a constant which is in fact 0, correct? Thanks.
 
Last edited by a moderator:
Physics news on Phys.org
Yep. Since h(x)=0 for all x in an infinite set with 0 as accumulation point, the second sentence of part (a) applied to h is NOT true. Hence (by contraposition) the first sentence of part (a) is not true, meaning h is constant. Finally, h being constant and h(x)=0 for some x, it follows that h is everywhere 0.
 

Similar threads

Graduate Hidden Assumptions in Bell's Theorem?
  • · Replies 333 ·
12
Replies
333
Views
20K
Graduate Schmidt decomposition theorem proof
  • · Replies 2 ·
Replies
2
Views
4K
Graduate Proof of Hahn decomposition theorem
  • · Replies 2 ·
Replies
2
Views
5K
Graduate The limit of an almost uniformly Cauchy sequence of measurable functions
  • · Replies 4 ·
Replies
4
Views
4K
Undergrad How Does the Four Color Theorem Apply to Maps with Disconnected Regions?
  • · Replies 2 ·
Replies
2
Views
4K
Graduate Is integration theory supposed to be this hard?
  • · Replies 40 ·
2
Replies
40
Views
11K
Graduate Virial Theorem and Equipartition Theorem
  • · Replies 4 ·
Replies
4
Views
4K
Understanding Completeness Property Proof
  • · Replies 6 ·
Replies
6
Views
2K
Graduate Hahn-Banach From Systems of Linear Equations
  • · Replies 9 ·
Replies
9
Views
2K
Graduate Linear or conjugate operators and automorphisms on the lattice of subspaces
  • · Replies 2 ·
Replies
2
Views
2K