Intereting Posts

Showing a certain subspace of Hilbert space is dense
Is total boundedness a topological property?
Generalizing the sum of consecutive cubes $\sum_{k=1}^n k^3 = \Big(\sum_{k=1}^n k\Big)^2$ to other odd powers
$e$ as the limit of a sequence
Show that, for all $n > 1: \frac{1}{n + 1} < \log(1 + \frac1n) < \frac1n.$
Is there an intuitive way to see this property of random walks?
Integral of Exponential raised by exponential
If $f$ and $g$ are integrable, then $h(x,y)=f(x)g(y)$ is integrable with respect to product measure.
Find the range of the given function $f$
Showing that $\int_{-\pi}^{\pi} \frac{d\theta}{1+\sin^2(\theta)} = \pi\sqrt{2}$
On the generating function of the Fibonacci numbers
Getting my number theoretic series straight
Calculate coordinates of 3rd point (vertex) of a scalene triangle if angles and sides are known.
How to prove $(a-b)^3 + (b-c)^3 + (c-a)^3 -3(a-b)(b-c)(c-a) = 0$ without calculations
In more detail, why does L'Hospital's not apply here?

Let $ \ T \subset \mathbb{R}^3 \ $ be the trefoil knot. A picture is given below. I need a hint on how to calculate the fundamental group of $ \ X = \mathbb{R}^3 \setminus T \ $ using Seifert-van Kampen theorem or some deformation retract of $X$. I don’t need the answer because a presentation of this group is given by this wiki page https://en.wikipedia.org/wiki/Wirtinger_presentation. I don’t know how to choose an open cover of $X$ or how to deforming $X$ to a more suitable space.

Any help is appreciated.

- What can Lefschetz fixed point theorem tell us about the group of automorphisms of a compact Riemann surface?
- How to show $S^n$ is not contractible without using Homology..
- $f:\mathbb{S}^1\rightarrow\mathbb{S}^1$ odd $\Rightarrow$ $\mathrm{deg}(f)$ odd (Borsuk-Ulam theorem)
- Geometric interpretation of reduction of structure group to $SU(n)$.
- Detail in the proof that sheaf cohomology = singular cohomology
- De Rham Cohomology of the tangent bundle of a manifold

- Comparing notions of degree of vector bundle
- Top homology of a manifold with boundary
- Fundamental group of $S^2$ with north and south pole identified
- Question about $4$-manifolds and intersection forms
- Associativity of concatenation of closed curves from $I$ to some topological spaces $X$
- Formula relating Euler characteristics $\chi(A)$, $\chi(X)$, $\chi(Y)$, $\chi(Y \cup_f X)$ when $X$ and $Y$ are finite.
- Simplicial maps commute with face maps (that delete vertex)?
- Projection formula, Bott and Tu
- When should one learn about $(\infty,1)$-categories?
- fundamental group of $GL^{+}_n(\mathbb{R})$

One nice method is to think of the trefoil as sitting on the surface of a torus. Think of it as slightly thickened. Then subdivide your space into a slight thickening of the torus (minus the thickened knot) and a slight thickening of the complement. The fundamental groups of each piece are isomorphic to $\mathbb Z$, while the intersection deformation retracts to the torus minus the trefoil, which is an annulus, so also has fundamental group $\mathbb Z$. If you take the loop generating the fundamental group of the annulus and push it into the torus, it winds around three times. If you push it out it winds around twice. So Van Kampen gives the following presentation $\langle x,y\,|\, x^3=y^2\rangle$.

The idea is that you label the arcs of the knot in order. Then at each crossing you get a relation. And your fundamental group is the labels of the arcs and the relations you find. For example, if you have a crossing with labels $a$ for the over arc and $b$ and $c$ for the under arcs, the relation should look something like $$aba^{-1}c=1.$$ Now, be careful, the order matters, but it is explained in this pdf rather well. Also, you can always ignore exactly one of the relations you get. It will be a consequence of the others.

- Equivalence of the two cosine definitions
- Proof of existence of primitive roots
- How to calculate the series?
- A continuous injective function and its inverse
- The set of all things. A thing itself?
- Infinite Groups with Finitely many Conjugacy Classes
- Matrix equation implies invertibility
- Construct a function that takes any value even number of times.
- Relation between root of a function and its derivative
- Polynomial splitting in linear factors modulo a prime ideal
- Naturality of the pullback connection
- Are there any sets other than the usual in which we can apply Sturm's axioms?
- Prove this set is a group.
- Edge-coloring of bipartite graphs
- How to factor the polynomial $5x^2 – 2x – 10$?