Intereting Posts

Prove that a ring $R$ with no non-trivial right ideals and $aR=0$ has $|R|=p$ prime
l'Hopital's questionable premise?
Primality of number 1
Explain the terms : homogeneous , symmetric , anti-symmetric , cyclic with respect to polynomials.
Critiques on proof showing $\sqrt{12}$ is irrational.
Mean of a Cauchy Distribution
Axiom of choice and calculus
Showing Sobolev space $W^{1,2}$ is a Hilbert space
Is the Michael line star countable?
Can this quick way of showing that $K/(Y-X^2)\cong K$ be turned into a valid argument?
Show that for any subset $C\subseteq Y$, one has $f^{-1}(Y\setminus C) = X \setminus f^{-1}(C)$
Alternative definition of $\|f\|_{\infty}$ as the smallest of all numbers of the form $\sup\{|g(x)| : x \in X \}$, where $f = g$ almost everywhere
Does a proof by contradiction always exist?
Union of two self-intersecting planes is not a surface
What is infinity divided by infinity?

I’m reading the post here by Arthur to explain that there is no smooth vector field on $S^2$. I don’t understand it very well:

The simplest I can remember off the top of my head is this:

Assume there is such a vector field. Let $v_x$ denote the vector at the point $x$. Now, define the homotopy $H : S^2\times[0,1]\to S^2$ by the following: $H(x,t)$ is the point $t\pi$ radians away from $x$ along the great circle defined by $v_x$. This gives a homotopy between the identity and the antipodal map on $S^2$, which is impossible, since the antipodal map has degree $−1$. Hence there can be no such vector field.

- Distance between a point and a closed set in metric space
- What is an example of a nonmetrizable topological space?
- Norm is weakly lower semicontinuous
- Proving that a particular restriction of a projection is a quotient map
- Question about limit points of a Subset of $\mathbb{R}$
- Lie group, differential of multiplication map

I wonder how can we compute the degree of map defined here? As I imagine, there is probably a theorem saying that all antipodal mapping on $S^2$ has degree $-1$. I wonder why is that? No answers found online.

- $\forall \ x>0: \lim_{\ n\to\infty}f(a_nx)=0$, then $\lim_{\ x\to\infty}f(x)=0$
- Topological characterization of the closed interval $$.
- Proving connectedness of the $n$-sphere
- Motivation for the term “separable” in topology
- Every open cover of the real numbers has a countable subcover (Lindelöf's lemma)
- An easy to understand definition of $\omega_1$?
- Idempotence of the interior of the closure
- Question about the proof of $S^3/\mathbb{Z}_2 \cong SO(3)$
- Confusion in proof of theorem ($2.7$) in Rudin's Real and complex analysis
- Braid groups and the fundamental group of the configuration space of $n$ points

Consider $S^n$ as the unit sphere centred at zero in $\mathbb{R}^{n+1}$. We can use Proposition $15.21$ of Lee’s *Introduction to Smooth Manifolds* (second edition), paraphrased below, to construct an orientation form on $S^n$.

Proposition $15.21$:Suppose $M$ is an oriented smooth $n$-manifold, $S$ an immersed hypersurface in $M$, and $N$ is a vector field along $S$ that is nowhere tangent to $S$. Then $S$ has a unique orientation such that for each $p \in S$, $(E_1, \dots, E_{n-1})$ is an oriented basis for $T_pS$ if and only if $(N_p, E_1, \dots, E_{n-1})$ is an oriented basis for $T_pM$. If $\omega$ is an orientation form for $M$, then $\alpha = (i_N\omega)|_S$ is an orientation form for $S$ with respect to this orientation.

In our case, $M = \mathbb{R}^{n+1}$, $S = S^n$, $\omega = dx^1\wedge\dots\wedge dx^{n+1}$ and $N$ is the vector field given by

$$N(x) = \sum_{i=1}^{n+1}x_i\frac{\partial}{\partial x^i}.$$

Using formula $(14.12)$ in Lee, we have

\begin{align*}

\alpha = (i_N\omega)|_{S^n} &= \left.\sum_{j=1}^{n+1}(-1)^{j-1}dx^j(N)dx^1\wedge\dots\wedge dx^{j-1}\wedge dx^{j+1}\wedge\dots\wedge dx^{n+1}\right|_{S^n}\\

&= \left.\sum_{j=1}^{n+1}(-1)^{j-1}dx^j\left(\sum_{i=0}^{n+1}x_i\frac{\partial}{\partial x^i}\right)dx^1\wedge\dots\wedge dx^{j-1}\wedge dx^{j+1}\wedge\dots\wedge dx^{n+1}\right|_{S^n}\\

&= \left.\sum_{j=1}^{n+1}(-1)^{j-1}x^jdx^1\wedge\dots\wedge dx^{j-1}\wedge dx^{j+1}\wedge\dots\wedge dx^{n+1}\right|_{S^n}.

\end{align*}

Now that we have $\alpha$, we can prove the following result.

Proposition:The antipodal map on $S^n$ has degree $(-1)^{n+1}$.

Proof:Let $f$ be the antipodal map on $S^n$. Then we have\begin{align*}

f^*\alpha &= \left.\sum_{j=1}^{n+1}(-1)^{j-1}(-x^j)d(-x^1)\wedge\dots\wedge d(-x^{j-1})\wedge d(-x^{j+1})\wedge\dots\wedge d(-x^{n+1})\right|_{S^n}\\

&= \left.\sum_{j=1}^{n+1}(-1)^{j-1}(-x^j)(-dx^1)\wedge\dots\wedge (-dx^{j-1})\wedge (-dx^{j+1})\wedge\dots\wedge (-dx^{n+1})\right|_{S^n}\\

&= (-1)^{n+1}\left.\sum_{j=1}^{n+1}(-1)^{j-1}x^jdx^1\wedge\dots\wedge dx^{j-1}\wedge dx^{j+1}\wedge\dots\wedge dx^{n+1}\right|_{S^n}\\

&= (-1)^{n+1}\alpha.

\end{align*}Therefore, $f$ has degree $(-1)^{n+1}$.

In particular, the antipodal map $S^2 \to S^2$ has degree $(-1)^{2+1} = (-1)^3 = -1$.

As Michael answered, this is a general fact. If $f: S^n \to S^n$ is the antipodal, its degree is $(-1)^{n+1}$. Another way to prove it is to notice that $f$ is the composition of $n+1$ reflections (one for each coordinate). Since the degree of the composition is the product of the degrees and a reflection has degree $-1$, we obtain the result.

- Reference for Lie-algebra valued differential forms
- Is Steinhaus theorem ever used in topological groups?
- How to plot a phase portrait for this system of differential equations?
- prove that $(n^2)!$ is divisible by $(n!)^{n+1}$, where $n\in \mathbb{N}$
- Error measurement between given perfect 2D shape and freeform shape drawn by user
- If $p$ and $q$ are primes, which binomial coefficients $\binom{pq}{n}$ are divisible by $pq$?
- Intuitive explanation of the Burnside Lemma
- Fourier transform of the error function, erf (x)
- Coin Tossing Game Optimal Strategy Part 2
- Please correct my answer (Probability)
- An inflection point where the second derivative doesn't exist?
- How much faster is the Trachtenberg system?
- Proving an affine set's equivalence to the solution set of $Ax=b$
- Show that an infinite number of triangles can be inscribed in either of the parabolas $y^2=4ax$ and $x^2=4by$ whose sides touch the other parabola.
- Definition of vector field along a curve