אופרטור סיבוב
אופרטור סיבוב הוא מונח באלגברה ליניארית, המהווה סוג של העתקה ליניארית. הוא מייצג את התחושה האינטואיטבית של סיבוב של וקטור במרחב וקטורי כלשהו. סיבוב שכזה אינו משנה את גודל הווקטור, רק את כיוונו.
הקדמה
עריכהבאלגברה ליניארית, אנחנו דנים במרחבים אוקלידיים, ובמרחבים אלו, מושג המרחק מציית למשפט פיתגורס. לפיכך, מרחק בין וקטור כלשהו לראשית (הנקרא גם נורמה), הוא שורש ריבועי של סכום רכיבי הווקטור בריבוע. כלומר, עבור וקטור:
המרחק מהראשית הוא: , אשר ניתן לכתוב גם כ- . כלומר, מכפלת וקטור השורה עם וקטור העמודה המתאים לו.
לאור, כל הנאמר לעיל, מכיוון שאופרטור סיבוב לא משנה מרחק בין שני וקטורים. כמו כן, כל העתקה ליניארית ניתן לייצג על ידי מטריצה. נניח כי A היא מטריצה שמבצעת סיבוב ונסיק: ו- . כאשר x ו-x0 הם וקטורים כלשהם. y ו-y0 הם המכפלה של הווקטורים במטריצה A. כלומר, התמונות של הווקטורים תחת ההעתקה הליניארית שמסובבת. לכן, ההעתקה אמורה לקיים,
. זה קורה אם ורק אם . כלומר, אם ורק אם A היא מטריצה אורתונורמלית (הפיכה על ידי המשוחלפת שלה).
הבדל בין שיקוף לסיבוב
עריכהיש לשים לב, כי ישנן העתקות ליניאריות אורתוגונליות שאינן סיבובים - למשל, שיקוף (או שיקוף ואחריו סיבוב או שיקוף ברכיב אחר). הדרך להבדיל בין שיקוף לסיבוב היא ללכסן את המטריצה ולראות אם ישנם איברים שליליים על האלכסון. אם ישנם, הרי שמדובר בשיקוף. אם כולם חיוביים, מדובר בסיבוב. לא ייתכן כי יהיה איבר 0 על האלכסון כי הרי הרכבה של שתי הרכבות היא הרכבה, ולכן יכולנו לסובב כל וקטור כך שרכיב שלו יהיה בדיוק על אחד מהצירים הסטנדרטיים (כלומר, במישור למשל, ניתן לסובב וקטור (קטע) עד אשר כולו על ציר ה-x) ואז ניתן להשתמש במטריצה שלנו (שיש לה איבר על האלכסון) ולאפס את אותו ערך המתאים לה. מה שיגרור, מסקנה שגויה, שלכל וקטור, וקטור ה-0 הוא סיבוב שלו, מה שאינו נכון.
הרכבה של שני שיקופים אינה בהכרח סיבוב, מאחר שייתכן כי שיקוף אחד משקף לפי ציר כלשהו ושיקוף שני לפי ציר אחר.
דוגמאות של סיבובים
עריכהלמשל, העתקת היחידה, , מסובבת כל וקטור בזווית של 0 מעלות, לפי כל ציר.
ההעתקה משקפת בכל רכיב.
במישור, סיבוב של וקטור בזווית , ניתן לייצג כ- בבסיס הסטנדרטי.