Skip to main content\(\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\bivec}[1]{\overset{\curvearrowleft}{#1}}
\newcommand{\proofmark}{\class{twemoji-proofmark}{\text{M}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Subsubsection \(\operatorname{U}(1)\)
The unitary group
\(\operatorname{U}(1)\) is the Lie group of all complex numbers with absolute value
\(1\) under multiplication.
\(\operatorname{U}(1)\) as complex numbers.
Unitary group of degree \(1\) is the set of complex numbers with magnitude
\(1\text{.}\)
Definition A.5.1 \(\operatorname{U}(1)\) defined using complex numbers.
\begin{equation*}
\operatorname{U}(1) = \{ z \in \C : |z| = 1 \} = \{ e^{\mathcal{i}\theta} : \theta \in \R \}
\end{equation*}
\(\operatorname{U}(1)\) as as a matrix group.
Definition A.5.3 \(\operatorname{U}(1)\) defined using matrices.
\begin{equation*}
\operatorname{U}(1) = \{ M \in M_1(\C ) : MM^\dagger = I \}
\end{equation*}