这两天计算出来一个结果,计算啊计算,检查啊检查,最后感觉很不错了,发给老师看,老师很快回复:计算有问题

什么问题??

最后的结论:出发点就是错的。不行,根本不能写文章,完全错的。

沮丧!沮丧!

心情很低落,很低落。

这是计算结果截图,结果很好看,但是它不行!

转载自http://mathworld.wolfram.com/MetricTensor.html


Roughly speaking, the metric tensor g_(ij) is a function which tells how to compute the distance between any two points in a given space. Its components can be viewed as multiplication factors which must be placed in front of the differential displacements dx_i in a generalized Pythagorean theorem:

 ds^2=g_(11)dx_1^2+g_(12)dx_1dx_2+g_(22)dx_2^2+....
(1)

In Euclidean space, g_(ij)=delta_(ij) where delta is the Kronecker delta (which is 0 for i!=j and 1 for i=j), reproducing the usual form of the Pythagorean theorem

 ds^2=dx_1^2+dx_2^2+....
(2)

In this way, the metric tensor can be thought of as a tool by which geometrical characteristics of a space can be “arithmetized” by way of introducing a sort of generalized coordinate system (Borisenko and Tarapov 1979).

In the above simplification, the space in question is most often a smooth manifold M, whereby a metric tensor is essentially a geometrical object g=g(·,·) taking two vector inputs and calculating either the squared length g(v,v) of a single vector v or a scalar product g(u,v) of two different vectors u!=v (Misner et al. 1978). In this analogy, the inputs in question are most commonly tangent vectors lying in the tangent space T_pM for some pointp in M, a fact which facilitates the more common definition of metric tensor as an assignment of differentiable inner products to the collection of all tangent spaces of a differentiable manifold M (O’Neill 1967). For this reason, some literature defines a metric tensor on a differentiable manifold M to be nothing more than a symmetric non-degenerate bilinear form (Dodson and Poston 1991).

An equivalent definition can be stated using the language of tensor fields and indices thereon. Along these lines, some literature defines a metric tensor to be a symmetric (0,2) tensor field g on a smooth manifold M so that, for all x in M, gx is non-degenerate and index(gx)=I for some nonnegative integer I (Sachs and Wu 1977). Here, Iis called the index of g and the expression index(·) refers to the index of the respective quadratic form. This definition seems to occur less commonly than those stated above.

Metric tensors have a number of synonyms across the literature. In particular, metric tensors are sometimes called fundamental tensors (Fleisch 2012) or geometric structures (O’Neill 1967). Manifolds endowed with metric tensors are sometimes called geometric manifolds (O’Neill 1967), while a pair (X,G) consisting of a real vector space Xand a metric tensor G:X×X->R is called a metric vector space (Dodson and Poston 1991). Symbolically, metric tensors are most often denoted by g or g_(ij), although the notations ds^2 (O’Neill 1967), g^->^-> (Fleisch 2012), and G(Dodson and Poston 1991) are also sometimes used.

When defined as a differentiable inner product of every tangent space of a differentiable manifold M, the inner product associated to a metric tensor is most often assumed to be symmetric, non-degenerate, and bilinear, i.e., it is most often assumed to take two vectors v,w as arguments and to produce a real number <v,w> such that

 <kv,w>=k<v,w>=<v,kw>
(3)
 <v+w,x>=<v,x>+<w,x>
(4)
 <v,w+x>=<v,w>+<v,x>
(5)
 <v,w>=<w,v>.
(6)

Note, however, that the inner product need not be positive definite, i.e., the condition

 <v,v>>=0
(7)

with equality if and only if v=0 need not always be satisfied. When the metric tensor is positive definite, it is called a Riemannian metric or, more precisely, a weak Riemannian metric; otherwise, it is called non-Riemannian, (weak) pseudo-Riemannian, or semi-Riemannian, though the latter two terms are sometimes used differently in different contexts. The simplest example of a Riemannian metric is the Euclidean metric ds^2=dx_1^2+dx_2^2+... discussed above; the simplest example of a non-Riemannian metric is the Minkowski metric of special relativity, the four-dimensional version of the more general metric of signature (1,n-1) which induces the standard Lorentzian Inner Product on n-dimensional Lorentzian space. In some literature, the condition of non-degeneracy is varied to include either weak or strong non-degeneracy (Marsden et al. 2002); one may also consider metric tensors whose associated quadratic forms fail to be symmetric, though this is far less common.

In coordinate notation (with respect to a chosen basis), the metric tensor g_(alphabeta) and its inverse g^(alphabeta) satisfy a number of fundamental identities, e.g.

 g^(alphabeta)=e^->^alpha·e^->^beta,
(8)
 g_(alphabeta)=e^->_alpha·e^->_beta,
(9)

and

 g_(munu)=(partialxi^alpha)/(partialx^mu)(partialxi^beta)/(partialx^nu)eta_(alphabeta),
(10)

where eta_(alphabeta) is the matrix of metric coefficients. One example of identity (0) comes from special relativity where eta_(alphabeta) is the matrix of metric coefficients for the Minkowski metric of signature (1,3), i.e.

 eta_(alphabeta)=[-1 0 0 0; 0 1 0 0; 0 0 1 0; 0 0 0 1].
(11)

Generally speaking, identities (3), (2), and (1) can be succinctly written as

 g=D^(T)etaD,
(12)

where

D_(alphamu) = (partialxi^alpha)/(partialx^mu)
(13)
D_(alphamu)^(T) = D_(mualpha).
(14)

What’s more,

 partial/(partialx^m)g_(il)g^(lk)=partial/(partialx^m)delta_i^k
(15)

gives

 g_(il)(partialg^(lk))/(partialx^m)=-g^(lk)(partialg_(il))/(partialx^m)
(16)

and hence yields a quantitative relationship between a metric tensor and its inverse.

In the event that the metric is positive definite, the metric discriminants are positive. For a metric in two-space, this fact can be expressed quantitatively by the inequality

 g=g_(11)g_(22)-g_(12)^2>0.
(17)

The orthogonality of contravariant and covariant metrics stipulated by

 g_(ik)g^(ij)=delta_k^j
(18)

for i=1,2,3,...,n gives n linear equations relating the 2n quantities g_(ij) and g^(ij). Therefore, if n metrics are known, the others can be determined, a fact summarized by saying that the existence of metric tensors gives a geometrical way of changing from contravariant tensors to covariant ones and vice versa (Dodson and Poston 1991).

In two-space,

g^(11) = (g_(22))/g
(19)
g^(12) = g^(21)=-(g_(12))/g
(20)
g^(22) = (g_(11))/g.
(21)

Therefore, if g is symmetric,

g_(alphabeta) = g_(betaalpha)
(22)
g^(alphabeta) = g^(betaalpha).
(23)

In any symmetric space (e.g., in Euclidean space),

 g_alpha^beta=g^beta_alpha=delta_alpha^beta,
(24)

and so

 g_(alphaalpha)=1/(g^(alphaalpha)).
(25)

The angle phi between two parametric curves is given by

 cosphi=r_1^^·r_2^^=(r_1)/(g_1)·(r_2)/(g_2)=(g_(12))/(g_1g_2),
(26)

so

 sinphi=(sqrt(g))/(g_1g_2)
(27)

and

 |r_1xr_2|=g_1g_2sinphi=sqrt(g).
(28)

In arbitrary (finite) dimension, the line element can be written

 ds^2=dx_idx_i=g_(ij)dq_idq_j
(29)

where Einstein summation has been used. In three dimensions, this yields

 dx_i=(partialx_i)/(partialq_1)dq_1+(partialx_i)/(partialq_2)dq_2+(partialx_i)/(partialq_3)dq_3=(partialx_i)/(partialq_j)dq_j,
(30)

and so it follows that the metric tensor g_(ij) in three-space can be written as

 g_(ij)=sum_(k)(partialx_k)/(partialq_i)(partialx_k)/(partialq_j).
(31)

Moreover, because g_(ij)=0 for i!=j when working with respect to orthogonal coordinate systems, the line elementfor three-space becomes

ds^2 = g_(11)dq_1^2+g_(22)dq_2^2+g_(33)dq_3^2
(32)
= (h_1dq_1)^2+(h_2dq_2)^2+(h_3dq_3)^2,
(33)

where h_i=sqrt(g_(ii)) are called the scale factors. Many of these notions can be generalized to higher dimensions and to more general contexts.

源于《诗经》的小康,是古代思想家描绘的社会理想,是中国百姓对安定、幸福生活的恒久守望。

今天,百姓对小康生活已经有了新的期待。人们期盼有更好的教育、更稳定的工作、更满意的收入、更可靠的社会保障、更高水平的医疗卫生服务、更舒适的居住条件、更优美的环境,期盼着孩子们能成长得更好、工作得更好、生活得更好。

牢牢把握人民群众对美好生活的向往,决胜全面建成小康社会。这五年,一大批民生工程正在惠及全体人民。

在绿色的田野中,在大山深处的课堂里,在守护百姓安全的“天网”下,在世博会的文化舞台上,还有长寿之乡的养老小院、小岛医院的点赞墙,一位位百姓,以他们的亲身经历,展示着五年来的看得见、摸得着的获得感、幸福感、安全感、自豪感。

环顾世界,没有一个国家能像当今中国这样,以一种说到做到、只争朝夕的方式,将百姓的一个个期待,逐个变为现实。

内容来自国际在线直播天下:《辉煌中国》 第五集 共享小康(视频)