请输入您要查询的字词:

 

单词 Frame
释义

frame


Introduction

Frames and coframes are notions closely related to the notions ofbasis and dual basisMathworldPlanetmath. As such, frames and coframes are needed todescribe the connection between list vectors (http://planetmath.org/Vector2) andthe 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 isadvantageous to allow general indexing sets, because one canindicate the use of multipleMathworldPlanetmathPlanetmath frames of reference by employingmultiple, disjoint sets of indices., e.g. (1,2,,n). Wewill call a mapping 𝐅:I𝒰 a reference frame, or simplya frame. To put it plainly, 𝐅 is just a list of elements of 𝒰with indices belong to I. We will adopt a notation to reflect thisand write 𝐅i instead of 𝐅(i). Subscripts are used whenwriting the frame elements because it is best to regard a frame as arow-vector22It is customary to use superscripts for thecomponentsMathworldPlanetmathPlanetmath of a column vector, and subscripts for the components ofa row vector. This is fully described in thevector entry (http://planetmath.org/Vector2). whose entries happen to be elements of 𝒰,and write

𝐅=(𝐅1,,𝐅n).

This is appropriate becauseevery reference frame 𝐅 naturally corresponds to a linearmapping 𝐅^:𝕂I𝒰 defined by

𝐚iI𝐚i𝐅i,𝐚𝕂I.

In other words, 𝐅^ is a linear formPlanetmathPlanetmath on 𝕂I that takesvalues in 𝒰 instead of 𝕂. We use row vectors to representlinear forms, and that’s why we write the frame as a row vector.

We call 𝐅 a coordinate frame (equivalently, a basis), if 𝐅^ isan 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 coordinatemapping. It is cumbersome to work with this inverse explicitly, andinstead we introduce linear forms 𝐱i𝒰*,iI definedby

𝐱i:𝐮𝐅^-1(𝐮)(i),𝐮𝒰.

Each𝐱i,iI is called the ith coordinate functionrelative to 𝐅, or simply the ithcoordinate33Strictly speaking, we should be denote the coframeby 𝐱𝐅 and the coordinate functions by 𝐱𝐅i so asto reflect their dependence on the choice of reference frame.Historically, writers have been loath to do this, preferring acouple of different notational tricks to avoid ambiguity. Thecleanest 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 theindices themselves will indicate the choice of frame. Say we havetwo frames 𝐅:I𝒰 and 𝐆:J𝒰 withI and J distinct finite setsMathworldPlanetmath. We stipulate that the symbol irefers to elements of I and that j refers to elements of J,and write 𝐱i for coordinates relative to 𝐅 and 𝐱j forcoordinates relative to 𝐆. That’s the way it was done in allthe old-time geometry and physics papers, and is still largely theway physicists go about writing coordinates. Be that as it may, thenotation has its problems and is the subject of long-standingcontroversy, named by mathematicians the debauche of indices. Theproblem is that the notation employs the same symbol, namely 𝐱,to refer to two different objects, namely a map with domain I andanother map with domain J. In practice, ambiguity isavoided because the old-time notation never refers to thecoframe (or indeed any tensor) without also writing the indices.This is the classical way of the dummy variable, a cousin to thef(x) notation. It creates some confusion for beginners, but witha little practice it’s a perfectly serviceable and useful way tocommunicate.. In this way we obtain a mapping

𝐱:I𝒰*,i𝐱i

called the coordinate coframe or simply a coframe. The forms 𝐱i,iI give a basis of 𝒰*. It is the dual basis of 𝐅i,iI, i.e.

𝐱i(𝐅j)=δji,i,jI,

where δji is the well-known Kronecker symbolMathworldPlanetmath.

In full duality to the custom of writing frames as row-vectors, wewrite the coframe as a column vector whose components are thecoordinate 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 naturalcorrespondence with a 𝕂-valued functions of two arguments,

𝒰×I𝕂,

that maps an abstract vector𝐮𝒰 and an index iI to a scalar 𝐱i(𝐮), calledthe 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 musthave the same cardinality. Letting 𝐱i,iI and 𝐲j,jJ denote the coordinates functions relative to 𝐅 and 𝐆,respectively, we define the transition matrix from 𝐅 to 𝐆 tobe the matrix

:I×J𝕂

with entries

ij=𝐲j(𝐅i),iI,jJ.

An equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath description of the transition matrix is given by

𝐲j=iIij𝐱i,for all jJ.

It is also the custom to regard the elements of I as indexing thecolumns of the matrix, while the elements of J label the rows.Thus, for I=(1,2,,n) andJ=(1¯,2¯,,n¯), we can write

(11¯n1¯1n¯nn¯)=(𝐲1¯𝐲n¯)(𝐅1𝐅n).

In this way we can describe the relationMathworldPlanetmathPlanetmath between coordinatesrelative 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 thatshould properly be called a moving frame. The latter can bethought of as a , or functions takingvalues in the space of all frames, and are fully described elsewhere.The confusion in terminology is unfortunate but quite common, and isrelated to the questionable practice of using the word scalarwhen referring to a scalar field (a.k.a. scalar-valuedfunctions) and using the word vector when referring to a vector field.

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

Titleframe
Canonical nameFrame
Date of creation2013-03-22 12:39:42
Last modified on2013-03-22 12:39:42
Ownerrmilson (146)
Last modified byrmilson (146)
Numerical id13
Authorrmilson (146)
Entry typeDefinition
Classificationmsc 15A03
Related topicVector2
Related topicTensorArray
Related topicBasicTensor
Definescoframe
Definescomponent
Definescoordinate
Definestransition matrix
Definespolyad
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 22:08:27