Download Abstract:

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Mathematics of radio engineering wikipedia , lookup

Wiles's proof of Fermat's Last Theorem wikipedia , lookup

Law of large numbers wikipedia , lookup

Central limit theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Theorem wikipedia , lookup

Fundamental theorem of calculus wikipedia , lookup

List of important publications in mathematics wikipedia , lookup

Transcript
Undergraduate Research Opportunity Programme in Science
Linking Number & Potential Theory
Lee C.H.1 and Wong Y.L.2
Department of Mathematics, National University of Singapore
2 Science Drive 2, Singapore 117543.
Abstract:
This paper aims to show the proof of the theorem that the linking number between
two links k, k’ is given by
1
4

k
k'
(k  k ')  dk  dk '
k -k'
3
. This result is not proven explicitly in
most literature.
The paper begins with a general introduction to linking numbers. The
combinatorial definition of linking numbers is given and a general exposition of
combinatorial knot theory is given (Reidemeister moves).
A Reidemeister move comprises changing a portion of a link diagram in one of
the following ways:
1.
A single strand may be twisted, adding a crossing of the strand with itself,
or a crossing of a strand with itself can be removed by untwisting the strand.
2.
When two strands run parallel one may be pushed under the other creating
two new over-crossings, or when a strand has two consecutive over-crossings with
another single strand both strands can be straightened to remove both over-crossings and
allow them to run parallel.
1
2
Student
Doctor
3.
Given three strands labelled A, B and C so that A passes below B and C, B
passes between A and C, and C passes above A and B, the strand A may be moved to
either side of the crossing of B and C.
In pictures:
In connection to this, Ampère’s law is derived by showing that the field generated
around a loop is irrotational. This requires the use of vector calculus.
Consider a circular loop L1. On any given point x not on L1, and a point r on the
curve, the distance between x and r is given by x r and the scalar field generated
is f ( x)  
1
x r

1
( x1  r1 )2  ( x2  r2 ) 2  ( x3  r3 ) 2
. To show that F( x) is irrotational,
it is sufficient to show that the curl of F( x) is equal to 0 . At the same time, the physics
method of deriving Ampère’s law is also shown, to show the close link between
mathematics and theoretical physics.
The use of divergence theorem allows us to use the result from Ampère’s law to
show the Biôt-Savart law. The Divergence Theorem can be used to evaluate the above
double integral. Divergence Theorem relates the vector surface integral over a closed
surface to a triple integral over the solid region enclosed by the surface. The theorem is
given as such: Let D be a bounded solid region in 3 whose boundary D consists of
finitely many piecewise smooth, closed orientable surfaces, each of which is oriented by
unit normals n that point away from D. Let F be a vector field whose domain includes
D. Then

D
F  dS    F dV   F  n dS .
D
S
Ampère’s law was obtained from a single loop but Biôt-Savart law is from two
loops linked together (Hopf link). Here, a number will be found which we call the
Gauss’ linking number. Once again, the physics method of deriving Biôt-Savart law is
shown, for further comparison.
Finally, topology is called into action to reduce any 2 component link into a series
of simple Hopf links, and Stokes’s theorem is used to justify that these Hopf links will
generate the Gaussian linking number of the link. Seifert surfaces will be required to
show that the links can be reduced to simple Hopf link. Choose a diagram for the link in
the xy-plane in 3 . In a small neighbourhood of each crossing, make the following local
change to the diagram: delete the crossing and reconnect the loose ends in the only way
compatible with the orientation. When this has been done, the diagram becomes a set of
disjoint simple loops in the plane – it is a diagram with no crossings. These loops are
called Seifert circles.
The Gaussian linking number of the link will be of the same value as the linking
number of the link obtained from the combinatorial definition.
REFERENCES
Colley, Susan Jane. Vector Calculus. Upper Saddle River: Prentice-Hall, 2002
Fenn, Roger A. Techniques of geometric topology. Cambridge: Press Syndicate of the
University of Cambridge, 1983
Gilbert, N.D. and Porter, T. Knots and Surfaces. Oxford: Oxford University Press, 1994
Ida, Nathan and Bastos, Joao P.A. Electromagnetics and Calculation of Fields. New
York: Springer-Verlag, Inc., 1997
Matthew, Paul Charles. Vector Calculus. New York: Springer-Verlag, Inc., 1998
Rolfsen, Dale. Knots and Links. Wilmington: Perish Or Die, Inc., 1976
Shadowitz, Albert. The Electromagnetic Field. New York: McGraw-Hill, Inc., 1975