frame


Introduction

Frames and coframes are notions closely related to the notions of basis and dual basisMathworldPlanetmath. As such, frames and coframes are needed to describe the connection between list vectors (http://planetmath.org/Vector2) and the more general abstract vectors (http://planetmath.org/VectorSpace).

Frames and bases.

Let ๐’ฐ be a finite-dimensional vector spaceMathworldPlanetmath over a field ๐•‚, and let I be a finite, totally ordered setMathworldPlanetmath of indices11It is advantageous to allow general indexing sets, because one can indicate the use of multipleMathworldPlanetmathPlanetmath frames of reference by employing multiple, disjoint sets of indices., e.g. (1,2,โ€ฆ,n). We will call a mapping ๐…:Iโ†’๐’ฐ a reference frame, or simply a frame. To put it plainly, ๐… is just a list of elements of ๐’ฐ with indices belong to I. We will adopt a notation to reflect this and write ๐…i instead of ๐…โข(i). Subscripts are used when writing the frame elements because it is best to regard a frame as a row-vector22It is customary to use superscripts for the componentsMathworldPlanetmathPlanetmath of a column vector, and subscripts for the components of a row vector. This is fully described in the vector entry (http://planetmath.org/Vector2). whose entries happen to be elements of ๐’ฐ, and write

๐…=(๐…1,โ€ฆ,๐…n).

This is appropriate because every reference frame ๐… naturally corresponds to a linear mapping ๐…^:๐•‚Iโ†’๐’ฐ defined by

๐šโ†ฆโˆ‘iโˆˆI๐šiโข๐…i,๐šโˆˆ๐•‚I.

In other words, ๐…^ is a linear formPlanetmathPlanetmath on ๐•‚I that takes values in ๐’ฐ instead of ๐•‚. We use row vectors to represent linear forms, and thatโ€™s why we write the frame as a row vector.

We call ๐… a coordinate frame (equivalently, a basis), if ๐…^ is an isomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath of vector spaces. Otherwise we call ๐… degenerate, incomplete, or both, depending on whether ๐…^ fails to be, respectively, injectivePlanetmathPlanetmath and surjectivePlanetmathPlanetmath.

Coframes and coordinates.

In cases where ๐… is a basis, the inverseMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath isomorphism

๐…^-1:๐’ฐโ†’๐•‚I

is called the coordinate mapping. It is cumbersome to work with this inverse explicitly, and instead we introduce linear forms ๐ฑiโˆˆ๐’ฐ*,iโˆˆI defined by

๐ฑi:๐ฎโ†ฆ๐…^-1โข(๐ฎ)โข(i),๐ฎโˆˆ๐’ฐ.

Each ๐ฑi,iโˆˆI is called the ith coordinate function relative to ๐…, or simply the ith coordinate33Strictly speaking, we should be denote the coframe by ๐ฑ๐… and the coordinate functions by ๐ฑ๐…i so as to reflect their dependence on the choice of reference frame. Historically, writers have been loath to do this, preferring a couple of different notational tricks to avoid ambiguity. The cleanest approach is to use different symbols, e.g. ๐ฑi versus ๐ฒj, to distinguish coordinates coming from different frames. Another approach is to use distinct indexing sets; in this way the indices themselves will indicate the choice of frame. Say we have two frames ๐…:Iโ†’๐’ฐ and ๐†:Jโ†’๐’ฐ with I and J distinct finite setsMathworldPlanetmath. We stipulate that the symbol i refers to elements of I and that j refers to elements of J, and write ๐ฑi for coordinates relative to ๐… and ๐ฑj for coordinates relative to ๐†. Thatโ€™s the way it was done in all the old-time geometry and physics papers, and is still largely the way physicists go about writing coordinates. Be that as it may, the notation has its problems and is the subject of long-standing controversy, named by mathematicians the debauche of indices. The problem is that the notation employs the same symbol, namely ๐ฑ, to refer to two different objects, namely a map with domain I and another map with domain J. In practice, ambiguity is avoided because the old-time notation never refers to the coframe (or indeed any tensor) without also writing the indices. This is the classical way of the dummy variable, a cousin to the fโข(x) notation. It creates some confusion for beginners, but with a little practice itโ€™s a perfectly serviceable and useful way to communicate.. In this way we obtain a mapping

๐ฑ:Iโ†’๐’ฐ*,iโ†ฆ๐ฑi

called the coordinate coframe or simply a coframe. The forms ๐ฑi,iโˆˆI give a basis of ๐’ฐ*. It is the dual basis of ๐…i,iโˆˆI, i.e.

๐ฑiโข(๐…j)=ฮดji,i,jโˆˆI,

where ฮดji is the well-known Kronecker symbolMathworldPlanetmath.

In full duality to the custom of writing frames as row-vectors, we write the coframe as a column vector whose components are the coordinate functions:

(๐ฑ1๐ฑ2โ‹ฎ๐ฑn).

We identify of ๐…^-1 and ๐ฑ with the above column-vector. This is quite natural because all of these objects are in natural correspondence with a ๐•‚-valued functions of two arguments,

๐’ฐร—Iโ†’๐•‚,

that maps an abstract vector ๐ฎโˆˆ๐’ฐ and an index iโˆˆI to a scalar ๐ฑiโข(๐ฎ), called the ith component of ๐ฎ relative to the reference frame ๐….

Change of frame.

Given two coordinate frames ๐…:Iโ†’๐’ฐ and ๐†:Jโ†’๐’ฐ, one can easily show that I and J must have the same cardinality. Letting ๐ฑi,iโˆˆI and ๐ฒj,jโˆˆJ denote the coordinates functions relative to ๐… and ๐†, respectively, we define the transition matrix from ๐… to ๐† to be the matrix

โ„ณ:Iร—Jโ†’๐•‚

with entries

โ„ณij=๐ฒjโข(๐…i),iโˆˆI,jโˆˆJ.

An equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath description of the transition matrix is given by

๐ฒj=โˆ‘iโˆˆIโ„ณijโข๐ฑi,for allย โขjโˆˆJ.

It is also the custom to regard the elements of I as indexing the columns of the matrix, while the elements of J label the rows. Thus, for I=(1,2,โ€ฆ,n) and J=(1ยฏ,2ยฏ,โ€ฆ,nยฏ), we can write

(โ„ณ11ยฏโ€ฆโ„ณn1ยฏโ‹ฎโ‹ฑโ‹ฎโ„ณ1nยฏโ€ฆโ„ณnnยฏ)=(๐ฒ1ยฏโ‹ฎ๐ฒnยฏ)โข(๐…1โ€ฆ๐…n).

In this way we can describe the relationMathworldPlanetmathPlanetmath between coordinates relative to the two frames in terms of ordinary matrix multiplicationMathworldPlanetmath. To wit, we can write

(๐ฒ1ยฏโ‹ฎ๐ฒnยฏ)=(โ„ณ11ยฏโ€ฆโ„ณn1ยฏโ‹ฎโ‹ฑโ‹ฎโ„ณ1nยฏโ€ฆโ„ณnnยฏ)โข(๐ฑ1โ‹ฎ๐ฑn)

Notes.

The term frame is often used to refer to objects that should properly be called a moving frame. The latter can be thought of as a , or functions taking values in the space of all frames, and are fully described elsewhere. The confusion in terminology is unfortunate but quite common, and is related to the questionable practice of using the word scalar when referring to a scalar field (a.k.a. scalar-valued functions) and using the word vector when referring to a vector field.

We also mention that in the world of theoretical physics, the preferred terminology seems to be polyad and related specializations, rather than frame. Most commonly used are dyad, for a frame of two elements, and tetrad for a frame of four elements.

Title frame
Canonical name Frame
Date of creation 2013-03-22 12:39:42
Last modified on 2013-03-22 12:39:42
Owner rmilson (146)
Last modified by rmilson (146)
Numerical id 13
Author rmilson (146)
Entry type Definition
Classification msc 15A03
Related topic Vector2
Related topic TensorArray
Related topic BasicTensor
Defines coframe
Defines component
Defines coordinate
Defines transition matrix
Defines polyad