In the mathematical field of representation theory, matrix coefficients are certain functions associated with a group representation on the group .
For example, one can by choice of a base in the representation space , the representation by the group elements associated matrices describe whose individual entries are matrix coefficients as defined in the general definition.
definition
Let be a representation of a group on a - Hilbert space with a scalar product .
ρ
:
G
→
G
L.
(
V
)
{\ displaystyle \ rho \ colon G \ to GL (V)}
G
{\ displaystyle G}
C.
{\ displaystyle \ mathbb {C}}
V
{\ displaystyle V}
⟨
⋅
,
⋅
⟩
{\ displaystyle \ langle \ cdot, \ cdot \ rangle}
For any two vectors to define the matrix coefficients by
v
,
w
∈
V
{\ displaystyle v, w \ in V}
c
v
,
w
:
G
→
C.
{\ displaystyle c_ {v, w} \ colon G \ to \ mathbb {C}}
c
v
,
w
(
G
)
=
⟨
ρ
(
G
)
v
,
w
⟩
{\ displaystyle c_ {v, w} (g) = \ langle \ rho (g) v, w \ rangle}
.
Reconstruction of the representation from its matrix coefficients
After choosing a basis of , each of the matrix coefficients
can be found for
{
e
i
}
i
∈
I.
{\ displaystyle \ left \ {e_ {i} \ right \} _ {i \ in I}}
V
{\ displaystyle V}
ρ
(
G
)
{\ displaystyle \ rho (g)}
G
∈
G
{\ displaystyle g \ in G}
{
c
e
i
,
e
j
(
G
)
:
i
,
j
∈
I.
}
{\ displaystyle \ left \ {c_ {e_ {i}, e_ {j}} (g) \ colon i, j \ in I \ right \}}
determine.
Schur orthogonality
Be a compact group with hair measure , normalized to , and be . Then
G
{\ displaystyle G}
d
G
{\ displaystyle dg}
∫
G
d
G
=
1
{\ displaystyle \ int _ {G} dg = 1}
dim
(
V
)
<
∞
{\ displaystyle \ dim (V) <\ infty}
∫
G
f
v
1
,
w
1
(
G
)
f
v
2
,
w
2
(
G
)
¯
d
G
=
1
dim
(
V
)
⟨
v
1
,
w
1
⟩
⟨
v
2
,
w
2
⟩
¯
{\ displaystyle \ int _ {G} f_ {v_ {1}, w_ {1}} (g) {\ overline {f_ {v_ {2}, w_ {2}} (g)}} \, dg = { \ frac {1} {\ dim (V)}} \ langle v_ {1}, w_ {1} \ rangle {\ overline {\ langle v_ {2}, w_ {2} \ rangle}}}
for everyone .
v
1
,
w
1
,
v
2
,
w
2
∈
V
{\ displaystyle v_ {1}, w_ {1}, v_ {2}, w_ {2} \ in V}
Classes of representations
A representation is called discrete if all matrix coefficients square integrable are so in fall. It is called tempered if the matrix coefficients are in for one .
L.
2
(
G
)
{\ displaystyle L ^ {2} (G)}
L.
2
+
ϵ
(
G
)
{\ displaystyle L ^ {2+ \ epsilon} (G)}
ϵ
>
0
{\ displaystyle \ epsilon> 0}
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">