<?xml version="1.0" encoding="UTF-8"?>

<record version="1" id="9017">
 <title>identity theorem of power series</title>
 <name>IdentityTheoremOfPowerSeries</name>
 <created>2007-03-04 14:39:44</created>
 <modified>2007-03-04 14:39:44</modified>
 <type>Theorem</type>
<parent id="2793">power series</parent>
 <creator id="2872" name="pahio"/>
 <author id="2872" name="pahio"/>
 <classification>
	<category scheme="msc" code="30B10"/>
	<category scheme="msc" code="40A30"/>
 </classification>
 <related>
	<object name="IdentityTheoremOfHolomorphicFunctions"/>
	<object name="TheoremsOnComplexFunctionSeries"/>
 </related>
 <preamble>% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
 \usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here

\theoremstyle{definition}
\newtheorem*{thmplain}{Theorem}
</preamble>
 <content>If the \PMlinkname{radii of convergence}{RadiusOfConvergence} of the power series\, $\sum_{n=0}^\infty a_n(z-z_0)^n$\, and\, $\sum_{n=0}^\infty b_n(z-z_0)^n$\, are positive and the sums of the series are equal in infinitely many points which have $z_0$ as an accumulation point, then the both series are identical, i.e.\, $a_n = b_n$\, for each\, $n = 0,\,1,\,2,\,\ldots$</content>
</record>
