Compute Fundamental Group _visually_ By The Polygonal Representation Of The Space


Answer :

Maybe this is the picture you are looking for. I refer to a path tracing the oriented edge as aa, and its inverse as a−1a^{-1}. Note that every continuous path on the dunce cap (any CW-complex really) can be continuously deformed to trace only edges (of the given CW-structure). This should be somewhat visually intuitive, by straightening your path along edges, vertex to vertex.
Thus if the path aa is trivial, so is any other path (do you see why?).



enter image description here



A comment as to what deformations are allowed - you are free to push your path anyway you want, and over edges (reemerging on any of the copies of the edge, noting orientations). This is what happens between the first and the second image. The one important rule is that you CANNOT ever move the basepoint (=initial and final point of your path).



Note that I did not move the basepoint passing from the first to the second picture, as the three corners of the triangle are literally the same point of the dunce cap.



Edit: As per your edit, one way to do it directly is this. Usually, you would just say the dunce cap is connected, thus its fundamental group relative to some basepoint is trivial if and only if it is trivial for some other basepoint (which we have shown above).
enter image description here



Comments

Post a Comment

Popular posts from this blog

C Perror Example

Defined in header <stdio.h> void perror ( const char * s ) ; Prints a textual description of the error code currently stored in the system variable errno to stderr . The description is formed by concatenating the following components: the contents of the null-terminated byte string pointed to by s , followed by ": " (unless s is a null pointer or the character pointed to by s is the null character) implementation-defined error message string describing the error code stored in errno , followed by '\n' . The error message string is identical to the result of strerror ( errno ) . Parameters s - pointer to a null-terminated string with explanatory message Return value (none). Example # include <stdio.h> int main ( void ) { FILE * f = fopen ( "non_existent" , "r" ) ; if ( f == NULL ) { perror ( "fopen() failed" ) ; } else { fclose...
Read more

Converting A String To Int In Groovy

Answer : Use the toInteger() method to convert a String to an Integer , e.g. int value = "99".toInteger() An alternative, which avoids using a deprecated method (see below) is int value = "66" as Integer If you need to check whether the String can be converted before performing the conversion, use String number = "66" if (number.isInteger()) { int value = number as Integer } Deprecation Update In recent versions of Groovy one of the toInteger() methods has been deprecated. The following is taken from org.codehaus.groovy.runtime.StringGroovyMethods in Groovy 2.4.4 /** * Parse a CharSequence into an Integer * * @param self a CharSequence * @return an Integer * @since 1.8.2 */ public static Integer toInteger(CharSequence self) { return Integer.valueOf(self.toString().trim()); } /** * @deprecated Use the CharSequence version * @see #toInteger(CharSequence) */ @Deprecated public static Integer toInteger(String self) { return toInteg...
Read more

"Cannot Create Cache Directory /home//.composer/cache/repo/https---packagist.org/, Or Directory Is Not Writable. Proceeding Without Cache"

Answer : if anyone pass through here, this is shorter solution: sudo chown -R $USER $HOME/.composer it seems to me the group information is missing in your command sudo chown -R <user> /home/<user>/.composer/cache/repo/https---packagist.org Shoud be sudo chown -R <user>:<group> /home/<user>/.composer/cache/repo/https---packagist.org But to avoid other permission issues, I would rather advise: sudo chown -R <user>:<group> /home/<user>/.composer/cache (you'll need access to other folders in there) and sudo chown <user>:<group> /home/<user>/.composer To make sure your user has permissions enough on the global composer folder. Mind the missing recursion so the user don't own keys created by root. If you need to find out the group: groups <user>
Read more