Characterizations of seminorms given by continuous linear functionals on normed linear spaces and applications to Gel'fand measures
type: Item
instance of: scholarly article
zbMATH Open document ID: 0973.43007
author: Mohamed Akkouchi
publication date: 2001-11-27T00:00:00Z
full work available at URL: https://eudml.org/doc/48969
full work available at URL: vol8-2.htm
Mathematics Subject Classification ID: 43A65
Mathematics Subject Classification ID: 47A05
Mathematics Subject Classification ID: 22D10
Mathematics Subject Classification ID: 46A03
zbMATH DE Number: 1587388
zbMATH Keywords: seminorm
zbMATH Keywords: Gel'fand measure
zbMATH Keywords: locally compact group
MaRDI profile type: MaRDI publication profile
Recommended article: Q4013161
Recommended article: Q5520361
Recommended article: Large-Scale Scientific Computing
Recommended article: Characterizations on linear \(n\)-normed spaces
Recommended article: Q4280124
Recommended article: On the characterization of eventually norm continuous semigroups in Hilbert spaces
Recommended article: Extension of linear \(n\)-functionals dominated by semi-\(n\)-norm
Recommended article: Q3794715
Recommended article: The characterization of eventually norm continuous generalized semigroups on Hilbert space
Recommended article: Q4415878
title: Characterizations of seminorms given by continuous linear functionals on normed linear spaces and applications to Gel'fand measures
published in: Divulgaciones Matemáticas
review text: The main result is the following theorem. Let \(q\not=0\) be a seminorm on a normed linear space \(E\). Then the following assertions are equivalent: NEWLINENEWLINENEWLINE(1) There exists a closed linear subspace \(M\) of \(E\) such that NEWLINE\[NEWLINEq(x)=q(y)\Leftrightarrow x=\lambda y+z,\;\text{ with} |\lambda |=1,\;z\in M.NEWLINE\]NEWLINE NEWLINENEWLINENEWLINE(2) There exists a continuous linear form \(f\) on \(E\) such that \(q=|f|\). NEWLINENEWLINENEWLINEAs an application one gives a characterization of Gel'fand measures. A Gel'fand measure on a locally compact group \(G\) is a bounded measure \(\mu \) with \(\mu =\mu *\mu =\mu ^*\) such that \(L_1^{\mu }(G)=\mu *L_1(G)*\mu \) is commutative, or, equivalently, \(\pi (\mu)\) has rank \(\leq 1\) for all \(\pi \in \widehat G\). By using the preceding theorem this condition is equivalent to the following: for every \(\pi \in \widehat G\) on a Hilbert space \(H_{\pi }\), there exists a closed linear subspace \(M_{\pi }\) of \(H_{\pi }\) such that NEWLINE\[NEWLINE|\langle \pi (\mu)x|x\rangle |=|\langle \pi (\mu)y|y\rangle |\Leftrightarrow x=\lambda y+z\;\text{ with} |\lambda |=1,\;z\in M_{\pi }.NEWLINE\]
reviewed by: Jacques Faraut
description: scientific article; zbMATH DE number 1587388