הצגת המקור של הדף "אופרטור סיבוב"

'''אופרטור סיבוב''' הוא מונח ב[[אלגברה ליניארית]], המהווה סוג של [[העתקה ליניארית]]. הוא מייצג את התחושה האינטואיטבית של סיבוב של [[וקטור (אלגברה)|וקטור]] במרחב וקטורי כלשהו. סיבוב שכזה אינו משנה את גודל הווקטור, רק את כיוונו.

==הקדמה==
באלגברה ליניארית, אנחנו דנים במרחבים אוקלידיים, ובמרחבים אלו, מושג המרחק מציית ל[[משפט פיתגורס]]. לפיכך, מרחק בין וקטור כלשהו ל[[מערכת צירים קרטזית|ראשית]] (הנקרא גם [[נורמה (אנליזה)|נורמה]]), הוא [[שורש ריבועי]] של סכום רכיבי הווקטור בריבוע. כלומר, עבור וקטור:
<math> X=\left( \begin{matrix} x_1 \\ x_2 \\ . \\ x_n \end{matrix} \right)</math>

המרחק מהראשית הוא: <math>\sqrt(x_1^2 + ... + x_n^2)</math>, אשר ניתן לכתוב גם כ-<math>\sqrt(X^TX)</math>. כלומר, מכפלת וקטור השורה עם וקטור העמודה המתאים לו.

לאור, כל הנאמר לעיל, מכיוון שאופרטור סיבוב לא משנה מרחק בין שני וקטורים. כמו כן, כל העתקה ליניארית ניתן לייצג על ידי [[מטריצה]]. נניח כי A היא מטריצה שמבצעת סיבוב ונסיק:
<math>y = Ax</math> ו-<math>y_0 = Ax_0</math>. כאשר x ו-x<sub>0</sub> הם וקטורים כלשהם. y ו-y<sub>0</sub> הם המכפלה של הווקטורים במטריצה A. כלומר, התמונות של הווקטורים תחת ההעתקה הליניארית שמסובבת. לכן, ההעתקה אמורה לקיים,

<math>\|x-x_0\| = \|y-y_0\| = y^Ty = (Ax)^T(Ax) = xA^TAx = \|x-x_0\|</math>. זה קורה אם ורק אם <math>AA^T = I</math>. כלומר, אם ורק אם A היא מטריצה [[אורתוגונליות|אורתונורמלית]] ([[מטריצה הפיכה|הפיכה]] על ידי [[מטריצה משוחלפת|המשוחלפת]] שלה).

==הבדל בין שיקוף לסיבוב==
יש לשים לב, כי ישנן העתקות ליניאריות אורתוגונליות שאינן סיבובים - למשל, [[שיקוף (מתמטיקה)|שיקוף]] (או שיקוף ואחריו סיבוב או שיקוף ברכיב אחר). הדרך להבדיל בין שיקוף לסיבוב היא ללכסן את המטריצה ולראות אם ישנם איברים שליליים על האלכסון. אם ישנם, הרי שמדובר בשיקוף. אם כולם חיוביים, מדובר בסיבוב. לא ייתכן כי יהיה איבר 0 על האלכסון כי הרי הרכבה של שתי הרכבות היא הרכבה, ולכן יכולנו לסובב כל וקטור כך שרכיב שלו יהיה בדיוק על אחד מהצירים הסטנדרטיים (כלומר, במישור למשל, ניתן לסובב וקטור (קטע) עד אשר כולו על ציר ה-x) ואז ניתן להשתמש במטריצה שלנו (שיש לה איבר על האלכסון) ולאפס את אותו ערך המתאים לה. מה שיגרור, מסקנה שגויה, שלכל וקטור, וקטור ה-0 הוא סיבוב שלו, מה שאינו נכון.

הרכבה של שני שיקופים אינה בהכרח סיבוב, מאחר שייתכן כי שיקוף אחד משקף לפי ציר כלשהו ושיקוף שני לפי ציר אחר.

==דוגמאות של סיבובים==
למשל, העתקת היחידה, <math>\ I</math>, מסובבת כל וקטור בזווית של 0 מעלות, לפי כל ציר.

ההעתקה <math>\ I-</math> משקפת בכל רכיב.

במישור, סיבוב של וקטור בזווית <math>\theta</math>, ניתן לייצג כ- 
<math> \left (\begin{matrix} \cos \theta & - \sin \theta \\
\sin \theta & \cos \theta \end{matrix} \right)</math> בבסיס הסטנדרטי.

[[קטגוריה:אלגברה ליניארית]]