Concept

Gelfand representation

In mathematics, the Gelfand representation in functional analysis (named after I. M. Gelfand) is either of two things: a way of representing commutative Banach algebras as algebras of continuous functions; the fact that for commutative C*-algebras, this representation is an isometric isomorphism. In the former case, one may regard the Gelfand representation as a far-reaching generalization of the Fourier transform of an integrable function. In the latter case, the Gelfand–Naimark representation theorem is one avenue in the development of spectral theory for normal operators, and generalizes the notion of diagonalizing a normal matrix. One of Gelfand's original applications (and one which historically motivated much of the study of Banach algebras) was to give a much shorter and more conceptual proof of a celebrated lemma of Norbert Wiener (see the citation below), characterizing the elements of the group algebras L1(R) and whose translates span dense subspaces in the respective algebras. For any locally compact Hausdorff topological space X, the space C0(X) of continuous complex-valued functions on X which vanish at infinity is in a natural way a commutative C*-algebra: The structure of algebra over the complex numbers is obtained by considering the pointwise operations of addition and multiplication. The involution is pointwise complex conjugation. The norm is the uniform norm on functions. The importance of X being locally compact and Hausdorff is that this turns X into a completely regular space. In such a space every closed subset of X is the common zero set of a family of continuous complex-valued functions on X, allowing one to recover the topology of X from C0(X). Note that C0(X) is unital if and only if X is compact, in which case C0(X) is equal to C(X), the algebra of all continuous complex-valued functions on X. Let be a commutative Banach algebra, defined over the field of complex numbers. A non-zero algebra homomorphism (a multiplicative linear functional) is called a character of ; the set of all characters of is denoted by .

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related lectures (3)
Semantic Web: Ontologies and RDF Modeling
Covers the creation and encoding of ontologies, modeling RDF statements, syntax, and classification.
Show more
Related publications (11)

On the reconstruction of the attenuation function of a return-stroke current from the Fourier Transform of finite-duration measurements

Marcos Rubinstein

A correct representation of the lightning current is crucial when the electromagnetic field radiated to a point of interest has to be computed. Based on the engineering models of Transmission Line type, such representation involves the knowledge of the ret ...
2022

The uniform symbolic topology property for diagonally F-regular algebras

Javier Alonso Carvajal Rojas

Let k be a field of positive characteristic. Building on the work of the second named author, we define a new class of k-algebras, called diagonally F-regular algebras, for which the so-called Uniform. Symbolic Topology Property (USTP) holds effectively. W ...
2020

Mixture Models for the Analysis, Edition, and Synthesis of Continuous Time Series

Sylvain Calinon

This chapter presents an overview of techniques used for the analysis, edition, and synthesis of time series, with a particular emphasis on motion data. The use of mixture models allows the decomposition of time signals as a superposition of basis function ...
Springer2019
Show more
Related concepts (10)
Vanish at infinity
In mathematics, a function is said to vanish at infinity if its values approach 0 as the input grows without bounds. There are two different ways to define this with one definition applying to functions defined on normed vector spaces and the other applying to functions defined on locally compact spaces. Aside from this difference, both of these notions correspond to the intuitive notion of adding a point at infinity, and requiring the values of the function to get arbitrarily close to zero as one approaches it.
Noncommutative geometry
Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions (possibly in some generalized sense). A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which does not always equal ; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.
Pontryagin duality
In mathematics, Pontryagin duality is a duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group (the multiplicative group of complex numbers of modulus one), the finite abelian groups (with the discrete topology), and the additive group of the integers (also with the discrete topology), the real numbers, and every finite dimensional vector space over the reals or a p-adic field.
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.