العمل والرد الفعلي المزدوج

En résumé (grâce à un LLM libre auto-hébergé)

  • تشرح الصفحة مفهوم التكافؤ في الرياضيات والفيزياء، باستخدام أمثلة على المتجهات والمتجهات المترافقة.
  • وتُفصّل العمليات والعكسية، وكذلك الطريقة التي تُبنى بها الجداء القياسي الثابت.
  • وتحاول النص النظرية الزُرُبَ والبناء الخاص بالعمل المترافق لمجموعة على فضاء العزم الخاص بها.

a4116

16

نحن بحاجة إلى :

الإجراءات المزدوجة.

لقد بنا أعلاه إجراءً :
(200)

وإجراء معاكس :
(201)

يمكن أن يشير الأول إلى متجه عمودي m :
(202) m' = g x m

ويمكن أن يشير الثاني إلى متجه صف n :
(203) n' = n x g-1

m ينتمي إلى مساحة معينة M

n ينتمي إلى مساحة أخرى N.

أوجد المقياس :
(204) S = n m لاحظ أن :
(205) n' **m' **= n x g-1 x g x m

... سنقول أن الإجراءين المعتبرين مزدوجين. وبالمثل، المساحات M و N، التي تنتمي إليها m و n، هي مساحات مزدوجة: N = M* أو M = N*

عادة، نقول إن كان m متجهًا، فإن n هو متجه تابع له.

الإضافة "co" هي مميزة للزوجية. كما لاحظ Souriau، توجد الزوجية في السياسة، ويضيف:

  • كانت الزوجية موجودة في الماركسية-اللينينية منذ البداية. فكّر في الماركسي والماركسي.

لنأخذ منظورًا مختلفًا. افترض أن لدينا إجراءً، ونريد بناء زوجه.

بشكل توضيحي:
(206)

... لتشكيل منتج قياسي مع المتجه العمودي m، يجب أن يكون n متجه صف. إذًا يجب أن يكون هذان المتجهان معرّفين بنفس عدد المعايير العددية:
(207)

ثم نبحث عن الإجراء المزدوج:
(208)

n' = Ag(n) بحيث يبقى المنتج القياسي:
(209)

ثابتًا. يجب أن يكون لدينا:
(210)

n' m' = n m لدينا:
(211) m' = g x m

(212) Ag(n) x g x m = n m

والحل هو:
(213) Ag(n) = n x g-1

**نحو بناء الإجراء الأساسي، أو الإجراء المزدوج لزمرة على مساحة زخمها **( بعد Souriau ).

نبحث عن إجراء زمرة على "مساحة زخمها". سنقوم ببناءه كزوج لإجراء معاكس:
(214) AAg(m) = g-1 x m x g

... في القسم السابق، كان m متجهًا. ولكن في (214)، هو مصفوفة. سنأخذ مصفوفة تعتمد على عدد معين من المعايير: { m1 , m2 , . . . . , mn }

يجب أن نتخيل مجموعة معايير مزدوجة: { n1 , n2 , . . . . , nn }

بحيث:
(215)

بشكل توضيحي:
(216)

فهرس نظرية المجموعات الديناميكية

النسخة الأصلية (الإنجليزية)

a4116

16

We need :

Dual actions.

We have built, above, an action :
(200)

an anti-action :
(201)

The first can refer to any column vector m :
(202) m' = g x m

and the second to any line vector n :
(203) n' = n x g-1

m belong to a certain space M

n belongs to another space N.

Form the scalar :
(204) S = n m Notice that :
(205) n' **m' **= n x g-1 x g x m

...We will say that the two considered actions are dual. Similarly the two spaces M and N, to which belong m and n are dual spaces : N = M* or M = N*

Usually, we say that if m is a vector, n is its covector.

The prefix co is typical of the duality. As noticed by Souriau, the duality exists in politics and he adds :

  • The duality was present in the Marxism Leninism, from the begining. Think about the munist and the communist.

Take another point of view. Suppose we have one action, and we want to build its dual.

Schematically :
(206)

...In order to form a scalar product with the colum-vector m , n must be a line-vector. Then these two vector must be defined by the same number of scalars :
(207)

then we search the dual action :
(208)

n' = Ag(n) so that the scalar product :
(209)

be invariant. We must have :
(210)

n' m' = n m We have :
(211) m' = g x m

(212) Ag(n) x g x m = n m

whose solution is :
(213) Ag(n) = n x g-1

**Towards building the essential action, or coadjoint action of a group on its momentum **( after Souriau ).

We search an action of the goup ont its "momentum space". We are going to built it as the dual of an anti-action :
(214) AAg(m) = g-1 x m x g

...In the preceding section m was a vector. But in (214) it is a matrix. We will take a matrix, which depends on a certain number of parameters : { m1 , m2 , . . . . , mn }

We must imagine a dual set of scalars : { n1 , n2 , . . . . , nn }

so that :
(215)

Schematically :
(216)

Index Dynamic Groups Theory