מטריצה אוניטרית

הגדרה

מטריצה [math]\displaystyle{ A\in\mathbb{C}^{n\times n} }[/math] נקראת אוניטרית אם [math]\displaystyle{ AA^*=I }[/math] כאשר [math]\displaystyle{ A^*:=\overline{A^t} }[/math]

משפט

א. [math]\displaystyle{ A }[/math] אוניטרית אם"ם [math]\displaystyle{ A^t }[/math] אוניטרית.

ב. A אוניטרית אם"ם שורותיה מהוות בסיס אורתונורמלי לפי המכפלה הפנימית הסטנדרטית אם"ם עמודותיה מהוות בסיס אורתונורמלי לפי המכפלה הפנימית הסטנדרטית