Quelle aboutLinks.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/hap/www/SideLinks/About/aboutLinks.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
 <meta http-equiv="content-type"
content="text/html; charset=ISO-8859-1">
 <title>AboutHap</title>
</head>
<body
style="color: rgb(0, 0, 153); background-color: rgb(204, 255, 255);"
link="#000066" vlink="#000066" alink="#000066">
 
<table
style="text-align: left; margin-left: auto; margin-right: auto; color: rgb(0, 0, 102);"
border="0" cellpadding="20" cellspacing="10">
 <tbody>
 <tr align="center">
 <th style="vertical-align: top;">
 <table style="width: 100%; text-align: left;" cellpadding="2"
cellspacing="2">
 <tbody>
 <tr>
 <td style="vertical-align: top;"><a
href="aboutRandomComplexes.html">Previous</a> 
 </td>
 <td
style="text-align: center; vertical-align: top; color: rgb(0, 0, 102);"><big>About HAP: The fundamental group 
 </big></td>
 <td style="text-align: right; vertical-align: top;"><a
href="aboutKnots.html">next</a> 
 </td>
 </tr>
 </tbody>
 </table>
 <big></big> 
 </th>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255); text-align: left;">As
an
illustration
of HAP's functions for cellular spaces we use them to
obtain a presentation for the fundamental group of the complement of
the
Borromean rings link in Euclidean 3-space. (The method uses no
specialized techniques from knot theory and can be applied to fairly
arbitrary subspaces of Euclidean space.) 
 <div style="text-align: center;"> 
 <img style="width: 300px; height: 249px;" alt=""
src="borromean-rings.jpg"> 
 
 </div>
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">The
function <big>ReadLinkImageAsPureCubicalComplex("link.eps")</big>
inputs an image file containing a link diagram and tries to output the
corresponding link as a 3-dimensional pure cubical complex. Ideally the
link diagram should have dimensions (line thickness, under-crossing
spaces etc) similar to that of the Borromean rings diagram above. The
function does not always succeed: it applies several checks, and if one
of these checks fails then the function returns "fail". 
 
The following commands succeed in using the above image to realize the
the Borromean rings as
a pure cubical complex with 33654 3-dimensional cubes. 
 </td>
 </tr>
 <tr>
 <td
style="background-color: rgb(255, 255, 204); vertical-align: top;">gap>
L:=ReadLinkImageAsPureCubicalComplex("borromean-rings.jpg"); 
Pure cubical complex of dimension 3. 
 
gap> Size(L); 
33654 
 </td>
 </tr>
 <tr>
 <td
style="background-color: rgb(255, 255, 255); vertical-align: top;">The
following commands confirm that L has the correct homology. 
 </td>
 </tr>
 <tr>
 <td
style="background-color: rgb(255, 255, 204); vertical-align: top;">gap>
Homology(L,0); 
[ 0, 0, 0 ] 
 
gap> Homology(L,1); 
[ 0, 0, 0 ] 
 
gap> Homology(L,2); 
[ ] 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">The
following commands produce a 3-dimensional pure cubical complex C that
is homotopy equivalent to the complement of the Borromean rings in
Euclidean 3-space. The complex C involves 116123 3-dimensional cubes. 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
C:=ComplementOfPureCubicalComplex(L); 
Pure cubical complex of dimension 3. 
 
gap> C:=ZigZagContractedPureCubicalComplex(C); 
Pure cubical complex of dimension 3. 
 
gap> Size(C); 
116123 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">The
next commands convert C to a regular CW-space Y involving a total of
1447707 cells of dimension 0,1,2 and 3. The CW-structure on Y is
precisely that of the pure cubical complex C. 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
Y:=CubicalComplexToRegularCWSpace(C); 
Regular CW-space of dimension 3 
 
gap> Size(Y); 
1447707 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">Next
we
construct
a discrete vector field on Y which has just 9 critical
cells, three in dimension 2, four in dimension 1, and two zero cells. 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
CriticalCellsOfRegularCWSpace(Y); 
[ [ 2, 334 ], [ 2, 115000 ], [ 2, 139630 ], [ 1, 386713 ], [ 1, 404957
], 
 [ 1, 405056 ], [ 1, 600331 ], [ 0, 164802 ], [ 0, 241782 ] ] 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">Discrete
Morse
Theory
tells us that there exists a CW-space W that is homotopy
equivalent to Y (and C) and that has just three 2-cells, four 1-cells
and two 0-cells. The space W can be used to find a presentation of
the fundamental group of Y and to determine the homology of Y. 
 
The following commands use W to confirm that the link complement Y has
the correct integral homology. 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
Homology(Y,0); 
[ 0 ] 
gap> Homology(Y,1); 
[ 0, 0, 0 ] 
gap> Homology(Y,2); 
[ 0, 0, 0 ] 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">The
following commands use W to determine a presentation for the
fundamental group of the link complement Y. 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
F:=FundamentalGroup(Y); 
<fp group on the generators [ f1, f2, f3 ]> 
 
gap> RelatorsOfFpGroup(simplifiedF); 
[ f3^-1*f2^-1*f3*f1^-1*f2*f3*f2^-1*f3^-1*f1*f2, 
 f2^-1*f3^-1*f1*f3*f1^-1*f2*f1*f3^-1*f1^-1*f3 ] 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">Note
that
the
abelianization Fab is free abelian of rank 3.
This is consistent with the isomorphism H1(Y,Z) = H1(F,Z). 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">The
fundamental group F can be used to compute some link invariants. For
instance, we can compute the degree 3 integral homology of its class 2
nilpotent quotient G:=F/[[F,F],F] . 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
G:=NilpotentQuotient(F,3);; 
 
gap> GroupHomology(G,3); 
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">The
following commands compute the same homological invariant for the
following link 
 
 <div style="text-align: center;"><img
style="width: 310px; height: 215px;" alt="" src="link.jpg"> 
 <div style="text-align: left;"> 
and, as the value of the invariant is different in this case, the
computations prove that
the Borromean rings are not ambient isotopic to this second link. 
 </div>
 </div>
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
L:=ReadLinkImageAsPureCubicalComplex("link.jpg");; 
gap> C:=ComplementOfPureCubicalComplex(L);; 
gap> C:=ZigZagContractedPureCubicalComplex(C);; 
gap> Y:=CubicalComplexToRegularCWSpace(C);; 
gap> F:=FundamentalGroup(Y); 
gap> G:=NilpotentQuotient(F,3);; 
gap> GroupHomology(G,3); 
[ 0, 0, 0, 0, 0, 0 ] 
 </td>
 </tr>
 <tr>
 <td style="vertical-align: top;">
 <table
style="margin-left: auto; margin-right: auto; width: 100%; text-align: left;"
border="0" cellpadding="2" cellspacing="2">
 <tbody>
 <tr>
 <td style="vertical-align: top;"><a
style="color: rgb(0, 0, 102);" href="aboutRandomComplexes.html">Previous
Page</a> 
 </td>
 <td style="text-align: center; vertical-align: top;"><a
href="aboutContents.html">Contents</a> 
 </td>
 <td style="text-align: right; vertical-align: top;"><a
href="aboutKnots.html">Next
page 
 </a> </td>
 </tr>
 </tbody>
 </table>
 <a href="aboutTopology.html"> 
 </a> </td>
 </tr>
 </tbody>
</table>
 
 
</body>
</html>

Messung V0.5

¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.