Index Conventions in Linear Algebra & Apps: David Griffel

[Rasalhague]

In Linear Algebra and its Applications, David Griffel writes, "The components of covectors are often denoted by superscripts, rather than subscripts." This differs from the usual convention, doesn't it? Unless I've completely misunderstood the concept (quite possible!), the introductory texts that I've seen so far have denoted the components of vectors with superscripts, and the components of covectors (one-forms, linear function(al)s) with subscripts). E.g.

http://en.wikipedia.org/wiki/Covector#Bases_in_finite_dimensions

For example, Griffel writes as follows:

Let $$x_{r}$$ be the rth component of a vector x in V with respect to a basis $$\left\{e_{i},...,e_{n}\right\}$$, and $$g^{r}$$ the rth component of a covector g with respect to the dual basis. Then

$$(a)\; g^{r} = g\left(e_{r} \right)$$
$$(b)\; g\left(x \right) = \sum_{}^{} g^{r} x_{r}$$

If this does differ from normal usage, as I suspect, how would it be rewritten according to the usual convention? Should I put the index on g down, and the index on x up, and leave the index down on e?

And where he writes

There is a basis $$\left\{f_{i},...,f_{n}\right\}$$ for $$V^{\ast}$$, called the dual basis, such that

$$f_{r}\left(e_{s} \right) = \delta_{rs}$$, for r,s = 1,...,n

would the normal convention be for the index written r to appear as a superscript on the basis of the dual space $$V^{\ast}$$, and for the Kronecker's delta here to have superscript r and subscript s?

Any advice welcome!

 

[Rasalhague]

I thought he'd just reversed the conventional notation for subscripts and supetscripts that I've seen in various texts, including Geometrical Methods of Mathematical Physics by Bernard Schutz and Vector and Tensor Analysis by Borisenko and Taparov, the Wikipedia page I linked to, and others. But now I'm not sure what's going on.

On p. 178, Griffel writes, "The components of a vector v in V are called covariant components. If V is a real inner product space, it is naturally isomorphic to V* (its dual), so each v in V corresponds to a certain v* in V*. Thus one thinks of v* as being another form of v. The components of v* are regarded as being another type of component of v; the contravariant components of a vector v with respect to a basis E are defined as the components of v* with respect to the dual basis F. The covariant and contravariant components of v with respect to a basis E are denoted $$v_{i}$$ and $$v^{i}$$ respectively.

"$$v^{i} = v^{*}(e_{i})$$ = $$<e_{i},v> = <e_{i},\sum_{}^{}v_{j}e_{j}>$$

"Hence

"$$v^{i} = \sum_{j}^{}v_{j}<e_{j},e_{i}>.$$ (3)

"[...]If the basis vectors are normalised, the contravariant components have a simple geometrical interpretation. Equation (3) shows that $$v^{i}$$ is length of the orthogonal projection of v onto the direction of $$e_{i}$$."

But on p. 28 of Vector and Tensor Analysis, Borisenko and Taparov label the orthogonal projections of a vector they call A onto the unprimed basis vectors

$$\frac{A_{i}}{||\mathbf{e_{i}}||}$$

and call $$A_{i}$$ the covariant components. So is Griffel reversing both the sub/superscript convention and the names "contravariant" and "covariant" components (with the exception of the practice of putting a subscript for the basis vectors $$\mathbf{e_{i}}$$ on which point he agrees with the others, or is there something deeper to it?

 

[Rasalhague]

But on p. 28 of Vector and Tensor Analysis, Borisenko and Taparov label the orthogonal projections of a vector they call A onto the unprimed basis vectors

By which I mean the basis vectors of the original basis, that Borisenko and Taparov with subscripts.

$$\left\{ \mathbf{e_{1},...,\mathbf{e_{n}} }\right\}$$

(See attachment.)

I wonder if the anomaly could be because Griffel really has used a different method of introducing these ideas which somehow allows him to use subscripted basis vectors (i.e. the kind of basis vectors which other authors denote with superscripts), where - if he'd been following the usual way of introducing it - he'd have denoted them with superscripts (to indicate the same sort of basis vectors that other authors denote with subscripts). Whatever that might mean...