Namespaces
Variants
Actions

Difference between revisions of "Equivalent representations"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
Two representations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360601.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360602.png" /> of a group (algebra, ring, semi-group) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360603.png" /> in vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360604.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360605.png" />, respectively, for which there is an [[Intertwining operator|intertwining operator]] which is a vector space isomorphism from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360606.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360607.png" /> (sometimes such representations are called algebraically equivalent); if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360608.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e0360609.png" /> are representations in topological vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606011.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606013.png" /> are called topologically equivalent if there is an intertwining operator for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606015.png" /> which is a topological vector space isomorphism from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606016.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036060/e03606017.png" />. The term  "equivalent representations"  is also used to define some other equivalence relations: For example, two representations are called weakly equivalent if there is a closed operator with a dense domain of definition and a dense range that intertwines these representations. Two representations of a Lie group in Banach spaces are called infinitesimally equivalent if the induced representations of the universal enveloping algebra on their spaces of analytic vectors are algebraically equivalent. Two representations of an algebra are sometimes called equivalent, or isomorphic, if their kernels coincide; two representations of a topological group are called equivalent if the induced representations of some [[Group algebra|group algebra]] of this group are isomorphic.
+
<!--
 +
e0360601.png
 +
$#A+1 = 17 n = 0
 +
$#C+1 = 17 : ~/encyclopedia/old_files/data/E036/E.0306060 Equivalent representations
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
Two representations  $  \pi _ {1} $
 +
and  $  \pi _ {2} $
 +
of a group (algebra, ring, semi-group) $  X $
 +
in vector spaces $  E _ {1} $
 +
and $  E _ {2} $,  
 +
respectively, for which there is an [[Intertwining operator|intertwining operator]] which is a vector space isomorphism from $  E _ {1} $
 +
to $  E _ {2} $(
 +
sometimes such representations are called algebraically equivalent); if $  \pi _ {1} $
 +
and $  \pi _ {2} $
 +
are representations in topological vector spaces $  E _ {1} $
 +
and $  E _ {2} $,  
 +
then $  \pi _ {1} $
 +
and $  \pi _ {2} $
 +
are called topologically equivalent if there is an intertwining operator for $  \pi _ {1} $
 +
and $  \pi _ {2} $
 +
which is a topological vector space isomorphism from $  E _ {1} $
 +
to $  E _ {2} $.  
 +
The term  "equivalent representations"  is also used to define some other equivalence relations: For example, two representations are called weakly equivalent if there is a closed operator with a dense domain of definition and a dense range that intertwines these representations. Two representations of a Lie group in Banach spaces are called infinitesimally equivalent if the induced representations of the universal enveloping algebra on their spaces of analytic vectors are algebraically equivalent. Two representations of an algebra are sometimes called equivalent, or isomorphic, if their kernels coincide; two representations of a topological group are called equivalent if the induced representations of some [[Group algebra|group algebra]] of this group are isomorphic.

Latest revision as of 19:37, 5 June 2020


Two representations $ \pi _ {1} $ and $ \pi _ {2} $ of a group (algebra, ring, semi-group) $ X $ in vector spaces $ E _ {1} $ and $ E _ {2} $, respectively, for which there is an intertwining operator which is a vector space isomorphism from $ E _ {1} $ to $ E _ {2} $( sometimes such representations are called algebraically equivalent); if $ \pi _ {1} $ and $ \pi _ {2} $ are representations in topological vector spaces $ E _ {1} $ and $ E _ {2} $, then $ \pi _ {1} $ and $ \pi _ {2} $ are called topologically equivalent if there is an intertwining operator for $ \pi _ {1} $ and $ \pi _ {2} $ which is a topological vector space isomorphism from $ E _ {1} $ to $ E _ {2} $. The term "equivalent representations" is also used to define some other equivalence relations: For example, two representations are called weakly equivalent if there is a closed operator with a dense domain of definition and a dense range that intertwines these representations. Two representations of a Lie group in Banach spaces are called infinitesimally equivalent if the induced representations of the universal enveloping algebra on their spaces of analytic vectors are algebraically equivalent. Two representations of an algebra are sometimes called equivalent, or isomorphic, if their kernels coincide; two representations of a topological group are called equivalent if the induced representations of some group algebra of this group are isomorphic.

How to Cite This Entry:
Equivalent representations. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Equivalent_representations&oldid=46843
This article was adapted from an original article by A.I. Shtern (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article