Let’s suppose I’d like to characterise all connected covering spaces of wedge sum of circles.When it comes to a torus, a sphere or $ S^{1} \vee S^{2} $ it is easy to point out exactly how do all covers look like.All I know is how to construct universal covering of $S^{1} \vee S^{1} $ and […]

I’m having trouble to prove the following statement: If the $n$-sphere $S^n\subset\mathbb{R}^{n+1}$ admits a (continuous) nonvanishing tangent vector field, then $n$ is odd. The idea of the proof is pretty clear on my mind: we use the fact that the antipodal map has degree $(-1)^{n+1}$ and that the Brouwer degree is invariant under homotopies. We […]

This is pretty basic, but I can’t find any answers on this site on this already. I want to know why the homology of two spaces $X$ and $Y$ are the same when $X$ deformation retracts/is homotopy equivalent to $Y$. I would appreciate an intuitive explanation and a formal proof. Specifically I’m working through Hatcher’s […]

Let $p : Y \to X $ be a covering projection. Given a path $ u : I \to X $ and a point $ y \in Y $ with $p(y) = u(0) $, there exists a unique path $ \hat{u}:I \to Y $ with $p \hat{u} = u$ and $ \hat{u}(0) = y$. The […]

If $U$ is an open subset of $\mathbb{R}^2$, is it true that $H_2(U)=0$ and what can we say about $\pi_1(U)$? (For example, can we show that $\pi_1$ isn’t perfect, e.g. $\pi_1(U)\neq 0\Rightarrow H_1(U)\neq 0$?) For $\pi_1$, I’m aware that there is an answer here: fundamental groups of open subsets of the plane, but I’d rather […]

Here is a definition for evenly covered set. Definition Let $C,X$ be topological spaces and $p:C\rightarrow X$ is a continuous function. Let $U$ be an open subset of $X$. Then $U$ is said to be evenly covered by $p$ if there exists a family $\{V_i\}_{i\in I}$ of mutually disjoint open sets in $C$ such that […]

I’m trying to prove this using purely topological arguments, no differential geometry as I haven’t been exposed to it. I’ve been playing around with definitions a bit and here’s what I have so far. Let $M$ be an orientable manifold. Let $N$ be its covering space. Then we have an orientation function $\mu : M […]

I’m reading about the Weil algebra of a Lie group and it involves some constructions I’m not very familiar with, for instance the “free graded-commutative graded algebra on $a_1…a_n$ with degrees $deg(a_i)$.” Does anyone know a good source for basic graded-algebra constructions like this? Anything i find is either too basic or too advanced to […]

Let $\Sigma_g$ be a closed orientable surface of genus $g$ on page 36 of this paper. It is asserted that for a finite group $Q$, a homomorphism $\pi_1(\Sigma_g)\rightarrow Q$ determines an element in $H_2(Q,\mathbb{Z})$. How does this work? This is especially confusing to me, since they don’t even specify the action of $Q$ on $\mathbb{Z}$, […]

Related: https://math.stackexchange.com/questions/1441725/winding-number-and-cauchy-integral-formula Let $G$ be an open connected subset of $\mathbb{C}$. Let $\gamma:[0,1]\rightarrow G$ be a rectifiable curve. Then, does there exist a $C^1$-curve $\Gamma:[0,1]\rightarrow G$ such that $\gamma$ and $\Gamma$ are homotopic relative to $\{0,1\}$ in $G$?

Intereting Posts

Improper integral of $\sin^2(x)/x^2$ evaluated via residues
Uniform Continuity implies Continuity
What property of certain regular polygons allows them to be faces of the Platonic Solids?
Show that if $f(z)$ is a continuous function on a domain $D$ such that $f(z)^N$ is analytic for some integer $N$, then $f(z)$ is analytic on $D$.
Subgroups of $S_4$ isomorpic to $S_2$
How to prove that the partial Euler product of primes less than or equal x is bounded from below by log(x)?
A sequence with infinitely many radicals: $a_{n}=\sqrt{1+\sqrt{a+\sqrt{a^2+\cdots+\sqrt{a^n}}}}$
Cylinder in 3D from five points?
Weird submartingale sequence, $X_n \to -\infty$ but $E(X_n) \to +\infty$.
Prove that the circle contains the polygon.
A book for abstract algebra with high school level
Necessary and sufficient conditions for when spectral radius equals the largest singular value.
Prove that $\exp(x)>0$ using only formal definition of exp
Which sequences converge in a cofinite topology and what is their limit?
An Explanation of the Kalman Filter