|
|
|
Viewing Version
3
of
'Hilbert module'
|
[ view 'Hilbert module'
|
back to history
]
| Title of object: |
Hilbert module |
| Canonical Name: |
HilbertModule |
| Type: |
Definition |
| Created on: |
2002-08-30 14:07:49.938746-04 |
| Modified on: |
2002-08-31 14:27:58.440037-04 |
| Classification: |
msc:46C05 |
| Synonyms: |
Hilbert module=$C^*$-module |
Preamble:
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% making logically defined graphics
%\usepackage{xypic}
% my maths package
\newcommand*{\Nset}{\mathbb{N}}
\newcommand*{\Zset}{\mathbb{Z}}
\newcommand*{\Qset}{\mathbb{Q}}
\newcommand*{\Rset}{\mathbb{R}}
\newcommand*{\Cset}{\mathbb{C}}
\newcommand*{\Hset}{\mathbb{H}}
\newcommand*{\Oset}{\mathbb{O}}
\newcommand*{\Bset}{\mathbb{B}}
\newcommand*{\Kset}{\mathbb{K}}
\newcommand*{\Sset}{\mathbb{S}}
\newcommand*{\Tset}{\mathbb{T}}
\newcommand*{\GLgrp}{\mathrm{GL}}
\newcommand*{\SLgrp}{\mathrm{SL}}
\newcommand*{\Ogrp}{\mathrm{O}}
\newcommand*{\SOgrp}{\mathrm{SO}}
\newcommand*{\Ugrp}{\mathrm{U}}
\newcommand*{\SUgrp}{\mathrm{SU}}
\newcommand*{\e}{\mathop{\mathrm{e}}\nolimits}
\newcommand*{\im}{\mathord{\mathrm{i}}}
\newcommand*{\identity}{\mathord{\mathrm{1\!\!\!\:I}}}
\newcommand*{\tr}{\mathop{\mathrm{tr}}}
\newcommand*{\Tr}{\mathop{\mathrm{Tr}}}
\renewcommand*{\d}{\mathrm{d}}
\newcommand*{\deriv}[2]{\frac{\d #1}{\d #2}}
\newcommand*{\pderiv}[2]{\frac{\partial #1}{\partial #2}}
\newcommand*{\fderiv}[2]{\frac{\delta #1}{\delta #2}}
% my noncommutative geometry package
\newcommand*{\algebra}[1][A]{\mathord{\mathcal{#1}}}
\newcommand*{\hilbert}[1][H]{\mathord{\mathcal{#1}}}
\newcommand*{\hilbmod}[1][E]{\mathord{\mathcal{#1}}}
\newcommand*{\Matrix}[2]{\mathord{\mathrm{M}_{#1}(#2)}}
\newcommand*{\dixmier}{\mathop{\mathrm{Tr}_\omega}}
\newcommand*{\Res}{\mathop{\mathrm{Res}}}
\newcommand*{\Wres}{\mathop{\mathrm{Wres}}}
\newcommand*{\Aut}{\mathop{\mathrm{Aut}}\nolimits}
\newcommand*{\Inn}{\mathop{\mathrm{Inn}}\nolimits}
\newcommand*{\Out}{\mathop{\mathrm{Out}}\nolimits}
\newcommand*{\Diff}{\mathop{\mathrm{Diff}}\nolimits}
\newcommand*{\Ker}{\mathop{\mathrm{Ker}}\nolimits}
\newcommand*{\Coker}{\mathop{\mathrm{Coker}}\nolimits}
\newcommand*{\Img}{\mathop{\mathrm{Im}}\nolimits}
\newcommand*{\End}{\mathop{\mathrm{End}}\nolimits}
\newcommand*{\spin}{\mathop{\mathrm{spin}}\nolimits}
\newcommand*{\Ind}{\mathop{\mathrm{Ind}}\nolimits}
\newcommand*{\KK}{\mathit{KK}}
\newcommand*{\HH}{\mathit{HH}}
\newcommand*{\HC}{\mathit{HC}}
\newcommand*{\ch}{\mathop{\mathrm{ch}}\nolimits}
% my category theory package
\newcommand*{\mathcat}[1]{\mathord{\mathbf{#1}}}
\newcommand*{\id}{\mathrm{id}}
\newcommand*{\op}{\mathrm{op}}
\newcommand*{\boxprod}{\mathbin{\square}}
% my environments
\newtheoremstyle{inlinedefn}{}{0pt}{}{}{\bfseries}{.}{0.5em}{}
\theoremstyle{inlinedefn}
\newtheorem{definition}{Definition}
\newtheoremstyle{break}{\baselineskip}{\baselineskip}{\itshape}{}{\bfseries}{}{\newline}{}
\theoremstyle{break}
\newtheorem{example}{Example}
% misc commands
\newcommand*{\defn}[1]{\textbf{#1}} |
Content:
\begin{definition}
A \defn{(right) pre-Hilbert module} over a $C^*$-algebra $A$ is a right $A$-module $\hilbmod$
equipped with an $A$-valued inner product $\langle-,-\rangle : \hilbmod \times \hilbmod \to A$, i.e.\ a sesquilinear pairing satisfying
\begin{eqnarray}
\langle u,va\rangle & = & \langle u,v\rangle a \\
\langle u,v\rangle & = & \langle v,u\rangle^* \\
\langle v,v\rangle & \geq & 0, \mbox{ with\ } \langle v,v\rangle = 0 \mbox{ iff\ } v = 0,
\end{eqnarray}
for all $u,v \in \hilbmod$ and $a \in A$.
Note, positive definiteness is well-defined due to the notion of positivity for $C^*$-algebras.
The norm of an element $v \in \hilbmod$ is defined by $||v|| = \sqrt{||\langle v,v\rangle||}$.
\end{definition}
\begin{definition}
A \defn{(right) Hilbert module} over a $C^*$-algebra $A$ is a right pre-Hilbert module over $A$ which is complete with respect to the norm.
\end{definition}
\begin{example}[Hilbert spaces]
A complex Hilbert space is a Hilbert $\Cset$-module.
\end{example}
\begin{example}[$C^*$-algebras]
A $C^*$-algebra $A$ is a Hilbert $A$-module with inner product
$\langle a,b\rangle = a^*b$.
\end{example}
\begin{definition}
A \defn{Hilbert $A$-$B$-bimodule} is a (right) Hilbert module $\hilbmod$ over a $C^*$-algebra $B$ together with a *-homomorphism $\pi$ from a $C^*$-algebra $A$ to $\End(\hilbmod)$.
\end{definition} |
|
|
|
|
|
