# Cross Product of Image of Self-Adjoint Operator

Mathematics Asked by José Victor Gomes on September 30, 2020

This has been asked before, but I’m trying to prove that if $$N: S to S^2$$ is a normal Gauss map of a regular surface $$S$$, then $$dN_p(v) wedge dN_p(w) = K(p)(v wedge w),$$ in which $$K(p)$$ denotes de Gaussian curvature of $$S$$ at $$p$$. I know that I’m supposed to use properties of cross product, and remind that $$det(-dN_p)=K(p)$$, as indicated on Question about cross product of images of linear transformation. But I can’t see how, following the link’s answers, $$dN_p$$ being self-adjoint implies that $$((dN_p)^T)^{-1}=I$$.

Because $$dN_p$$ is a self-adjoint map on the two-dimensional tangent space of the surface, we know there is an orthonormal basis for the tangent space consisting of eigenvectors, and, moreover, the eigenvalues (the principal curvatures) are necessarily real. Let's write $$v_1,v_2$$ for this orthonormal basis, and so $$dN_p(v_1) = k_1v_1 quadtext{and}quad dN_p(v_2) = k_2v_2.$$ Then it's clear that begin{align*} dN_p(v_1)wedge dN_p(v_2) &= (k_1v_1)wedge (k_2v_2) = (k_1k_2)(v_1wedge v_2) \ &= K(p) v_1wedge v_2. end{align*} Now you can just verify (using properties of $$wedge$$) that for any tangent vectors $$v,w$$, the same property holds. Write $$v=a_{11}v_1+a_{12}v_2$$, $$w=a_{21}v_1+a_{22}v_2$$, and both sides of the equation will pick up a factor of $$a_{11}a_{22}-a_{12}a_{21}$$. Thus, the equation holds.

The attempted solution in the link you gave is just not going to work. Here is what is correct. If you have a $$3times 3$$ matrix $$A$$, i.e., a linear map on all of $$Bbb R^3$$, then (continuing to write $$wedge$$, as doCarmo does, for the cross product) $$Avwedge Aw = (det A)(A^top)^{-1}(vwedge w). tag{star}$$ It follows that if $$A$$ is an orthogonal $$3times 3$$ matrix, then we have $$Avwedge Aw = (det A) A(vwedge w)$$, since $$AA^top = I$$ implies $$(A^top)^{-1} = A$$. As you can see, this is totally removed from the topic at hand. If you're curious, the formula ($$star$$) follows from the classic formula $$A^{-1} = frac1{det A}(text{cof }A)^top,$$ where $$text{cof }A$$ is the matrix of cofactors. This means that $$text{cof }A = (det A)(A^{-1})^top = (det A)(A^top)^{-1}.$$ If you write out $$v$$ and $$w$$ in terms of the standard basis, these cofactors are precisely what appear in the coefficients of $$Avwedge Aw$$. (If you know some exterior algebra, what is going on here is that the standard matrix representation of $$Lambda^2 A$$ is the cofactor matrix of $$A$$.) Self-adjointness is irrelevant here, as is the whole formula, since we're talking about a linear map defined just on the tangent space of the surface, as you observed in your query.

Correct answer by Ted Shifrin on September 30, 2020

## Related Questions

### How do you take the derivative $frac{d}{dx} int_a^x f(x,t) dt$?

1  Asked on December 1, 2021 by klein4

### Uniqueness of measures related to the Stieltjes transforms

1  Asked on December 1, 2021

### Does there exist a function which is real-valued, non-negative and bandlimited?

1  Asked on December 1, 2021 by muzi

### Suppose $A , B , C$ are arbitrary sets and we know that $( A times B ) cap ( C times D ) = emptyset$ What conclusion can we draw?

3  Asked on November 29, 2021 by anonymous-molecule

### Can a nonsingular matrix be column-permuted so that the diagonal blocks are nonsingular?

1  Asked on November 29, 2021 by syeh_106

### Does ${f(x)=ln(e^{x^2})}$ reduce to ${x^2ln(e)}$ or ${2xln(e)}$?

3  Asked on November 29, 2021 by evo

### Proving that $(0,1)$ is uncountable

2  Asked on November 29, 2021 by henry-brown

### Understanding a statement about composite linear maps

1  Asked on November 29, 2021

### Assert the range of a binomial coefficient divided by power of a number

3  Asked on November 29, 2021 by vib_29

### What is the Fourier transform of $|x|$?

3  Asked on November 29, 2021

### Exists $t^*in mathbb{R}$ such that $y(t^*)=-1$?.

2  Asked on November 29, 2021 by user514695

### Proving $logleft(frac{4^n}{sqrt{2n+1}{2nchoose n+m}}right)geq frac{m^2}{n}$

2  Asked on November 29, 2021 by zaragosa

### Linearized system for $begin{cases} frac{d}{dt} x_1 = -x_1 + x_2 \ frac{d}{dt} x_2 = x_1 – x_2^3 end{cases}$ is not resting at rest point?

1  Asked on November 29, 2021 by user3137490

### Is it possible to construct a continuous and bijective map from $mathbb{R}^n$ to $[0,1]$?

3  Asked on November 29, 2021 by kaaatata

### If $lim_{ntoinfty}|a_{n+1}/a_n|=L$, then $lim_{ntoinfty}|a_n|^{1/n}=L$

2  Asked on November 29, 2021 by diiiiiklllllll

### Right adjoint to the forgetful functor $text{Ob}$

1  Asked on November 29, 2021 by alf262

### Always factorise polynomials

1  Asked on November 29, 2021 by beblunt

### Formulas for the Spinor Representation Product Decompositions $2^{[frac{N-1}{2}]} otimes 2^{[frac{N-1}{2}]}=?$ and …

0  Asked on November 29, 2021

### Connected and Hausdorff topological space whose topology is stable under countable intersection,

1  Asked on November 29, 2021

### Evaluating an improper integral – issues taking the cubic root of a negative number

1  Asked on November 29, 2021