Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Below I have posted an excerpt of Lee's Book "Introduction to Smooth Manifolds" (page 371). I don't know what the symbol means that looks like a lower-right corner, and I cannot find it via the index, nor does any alternative source for the definition of the divergence operator have that symbol. If anybody could give a hint what it denotes I can maybe find the passage in the book where it is explained, that would be a HUGE help!!!

enter image description here

share|improve this question

2 Answers 2

up vote 4 down vote accepted

It is the interior product (Wikipedia page, MathWorld page). It's defined on page 334-336 of Lee's book:

enter image description here

enter image description here

share|improve this answer
1  
Oy. Does Lee use $\Lambda^k(V)$ to mean $(\Lambda^k(V))^{\ast}$? –  Qiaochu Yuan Apr 24 '12 at 23:08
6  
I plead guilty. In ISM, I used $\Lambda^k(V)$ to denote the space of alternating covariant $k$-tensors on $V$, which most people denote by $\Lambda^k(V^*)$. I also used various other non-standard notations for tensor spaces. My notations were internally consistent and seemed to make sense at the time, but I soon decided they were mistaken, and I've regretted them ever since. In the second edition (scheduled to be released around the end of July), I've switched to more standard notations. –  Jack Lee Apr 26 '12 at 0:28

Let $X$ be a vector field and $\omega$ a $k$-form. Then $\iota_X\omega = X ~\lrcorner~ \omega$ is the $(k-1)$-form defined by $$(\iota_X\omega)(V_1, \dots, V_{k-1}) = \omega(X,V_1, \dots, V_{k-1})$$ for any vector fields $V_1, \dots, V_{k-1}$. This is called the interior product of $X$ with $\omega$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.