التماثلات ومجموعات المصفوفات في الفضاء ثنائي الأبعاد

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

  • يشرح النص التماثلات في مجموعة منفصلة مكونة من أربع عناصر.
  • يعرض مصفوفات تشكل مجموعة وقيم محددة لها.
  • يناقش العلاقات بين المجموعتين SO(2) وO(2) وكذلك التماثلات بالنسبة للمحاور.

a4105

5

التماثلات.
(49b)

ما معنى ذلك؟
نأخذ مجموعة مكونة من أربعة عناصر (مجموعة "منفصلة").
(50)

يمكنني كتابتها على الشكل:
(51)

العملية المقابلة هي:
(52)

من الواضح أنها يمكن أن تعكس الإحداثي x، أو الإحداثي y، أو كليهما.
بشكل تخطيطي:
(53)

(54)

(55)

(56)

الآن يمكننا بناء المصفوفة:
(57)

يمكننا التحقق من أن هذا المجموعة من المصفوفات تشكل مجموعة.
محدداتها هي:
(58)

det ( a ) = l m ( cos²α + sin²α ) = l m = ±1

تحقق من أن المصفوفة العكسية هي:
(59)

(60)

(61) وبالتالي:
(62)

منه:
(63)

...SO(2) (التي تُسمى المجموعة المتعامدة الخاصة) هي مجموعة فرعية من O(2) (التي تُسمى المجموعة المتعامدة)، ويمكننا تكوين المصفوفات a من المصفوفات a عبر:
(64)

على أي حال، العديد من هذه المصفوفات متكررة. على سبيل المثال، إذا
(64b)

(65)

وهو ما يعني أن تغيير ( x ---> -x ; y ---> -y ) يعادل دورانًا بزاوية π. انظر الشكل التالي.
(66)

نعلم أن المصفوفات:
(67)

تماثل دورانًا بسيطًا حول نقطة الأصل O للإحداثيات.
ما معنى المصفوفات العامة أكثر:
(68)

من:
(69)

نعرف أن a تمثل عمليتين مدمجتين:

  • تماثل بالنسبة للمحور OX، أو OY، أو كليهما.
  • دوران بزاوية α حول نقطة الأصل للإحداثيات.

(70)

في الشكل موضحة التسلسل العملي للعمليتين

( M1 ----> M4 )

من الواضح أن هذا يعادل تماثلًا بالنسبة لخط مستقيم يمر بنقطة O
(71)

... لقد قمنا بتوسيع "المجموعة المتعامدة الخاصة" SO(2) التي كانت نقطة البداية للمجموعة المتعامدة O(2). وبهذا اكتشفنا أن هذه المجموعة الموسعة تحتوي على تماثلات مرآة: جميع التماثلات بالنسبة لخطوط مستقيمة تمر بنقطة الأصل O للإحداثيات.
(72)

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

dyngrph

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

a4105

5

Symmetries.
(49b)

What does it mean ?
Consider a group composed by four elements ( a "discrete group" ).
(50)

that I can write :
(51)

The corresponding action is :
(52)

Clearly it may reverse the x coordinate, the y coordinate, or the two.
Schematically :
(53)

(54)

(55)

(56)

Now we may build the matrix :
(57)

We can check such set of matrixes form a group.
Their determinant is :
(58)

det ( a ) = l m ( cos 2 a + sin 2 a ) = l m = ±1

Check the inverse matrix is :
(59)

(60)

(61) So that :
(62)

whence :
(63)

...SO(2) (called special orthogonal group) is a sub-group of O(2) (called orthogonal group) and we may form the matrixes **a **from the matrixes a through :
(64)

By the way, many are redundant. For an example, if
(64b)

(65)

which means that changing ( x ---> - ; y ---> -y ) is equivalent to a rotation of p . See next figure.
(66)

We know that matrixes :
(67)

correspond to a simple rotation around the center of coordinates O.
What is the meaning of more general matrixes :
(68)

From :
(69)

we know that a corresponds to two combined operations :

  • A symmetry with respect to axis OX , or OY , or both.
  • A rotation a around the center of coordinates.

(70)

On the figure is shown the succession of the two operations

( M1 ----> M4 )

It is clear that it is equivalent to a symmetry with respect to a straight line passing by O
(71)

...We have enriched the "special orthogonal group " SO(2) which began the "orthogonal group" O(2). Then we discovers that this extended group contains mirror-symmetries : all the symmetries with respect to straight lines passing by the origin of coordinates O.
(72)

Index Dynamic Groups Theory

dyngrph