05.01.2013 Views

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

Abel's theorem in problems and solutions - School of Mathematics

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

The complex numbers 87<br />

property is possessed by a quite wide class <strong>of</strong> functions. In particular, it<br />

is possessed by all functions we have considered, for <strong>in</strong>stance, by all functions<br />

representable by radicals (§2.11) <strong>and</strong> by algebraic functions (§2.14)<br />

(these two classes are special cases <strong>of</strong> a wider class <strong>of</strong> functions, called<br />

analytic, which possess this property as well).<br />

The pro<strong>of</strong> <strong>of</strong> this statement lies outside the purposes <strong>of</strong> this book. We<br />

have therefore to accept this proposition without pro<strong>of</strong>, know<strong>in</strong>g that the<br />

pro<strong>of</strong> does exist 15 . The reader can thus pass directly to §2.11.<br />

However, a sense <strong>of</strong> dissatisfaction may arise <strong>in</strong> the reader about someth<strong>in</strong>g.<br />

Although we cannot destroy it completely, we prove that the property<br />

formulated above follows from another property, the so called monodromy<br />

property, which turns out to be more evident.<br />

We know that after hav<strong>in</strong>g decomposed the function <strong>in</strong>to cont<strong>in</strong>uous<br />

s<strong>in</strong>gle-valued branches (<strong>in</strong> a certa<strong>in</strong> region <strong>of</strong> the plane), the<br />

function is def<strong>in</strong>ed by cont<strong>in</strong>uity <strong>in</strong> the same way along two arbitrary<br />

curves <strong>and</strong> ly<strong>in</strong>g <strong>in</strong> this region <strong>and</strong> jo<strong>in</strong><strong>in</strong>g two arbitrary<br />

po<strong>in</strong>ts <strong>and</strong> The monodromy property is related to this condition.<br />

Suppose a multi-valued function be such that if one fixes one <strong>of</strong><br />

its values at an arbitrary po<strong>in</strong>t then the value <strong>of</strong> the function can<br />

be def<strong>in</strong>ed by cont<strong>in</strong>uity (possibly <strong>in</strong> a unique way) along an arbitrary<br />

curve beg<strong>in</strong>n<strong>in</strong>g at the po<strong>in</strong>t (<strong>and</strong> not pass<strong>in</strong>g through the po<strong>in</strong>ts at<br />

which is not def<strong>in</strong>ed). We say that the function possesses the<br />

monodromy property if it satisfies the follow<strong>in</strong>g condition.<br />

MONODROMY PROPERTY. Suppose that two cont<strong>in</strong>uous curves<br />

<strong>and</strong> on the plane jo<strong>in</strong> two po<strong>in</strong>ts <strong>and</strong> pass<strong>in</strong>g neither through<br />

the branch po<strong>in</strong>ts nor through the po<strong>in</strong>ts <strong>of</strong> non-uniqueness <strong>of</strong> the function<br />

Furthermore, suppose that the curve can be transformed,<br />

vary<strong>in</strong>g cont<strong>in</strong>uously, <strong>in</strong>to the curve <strong>in</strong> such a way that none <strong>of</strong> the<br />

curves dur<strong>in</strong>g the deformation passes through the branch po<strong>in</strong>ts, <strong>and</strong><br />

that the ends <strong>of</strong> these curves are fixed (see Figure 35; <strong>and</strong> are branch<br />

po<strong>in</strong>ts). Thus the value is uniquely def<strong>in</strong>ed by cont<strong>in</strong>uity along the<br />

curves <strong>and</strong> (when a value is chosen).<br />

309. Suppose a function possess the monodromy property. On<br />

the plane make the cuts, not <strong>in</strong>tersect<strong>in</strong>g each other, from the branch<br />

po<strong>in</strong>ts <strong>of</strong> to <strong>in</strong>f<strong>in</strong>ity. Prove that <strong>in</strong> this way the function is<br />

decomposed <strong>in</strong>to cont<strong>in</strong>uous s<strong>in</strong>gle-valued branches.<br />

15 Cf., for example, Spr<strong>in</strong>ger G., (1957), Introduction to Riemann Surfaces, (Addison-<br />

Wesley: Read<strong>in</strong>g, Mass).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!