相关论文: Formal topology and constructive mathematics: the …

In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost…

The classical Gelfand--Naimark theorems provide important insight into the structure of general and of commutative C*-algebras. It is shown that these can be generalized to certain ordered *-algebras. More precisely, for $\sigma$-bounded…

C*-algebras are widely used in mathematical physics to represent the observables of physical systems, and are sometimes taken as the starting point for rigorous formulations of quantum mechanics and classical statistical mechanics.…

We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of 'noncommutative spaces' is the opposite of the category of C*-algebras. The second, loosely…

This paper is meant to give a short exposition of the Stone's Representation Theorems. We provide three equivalent approaches to construct a Stone's space from a given Boolean algebra. Finally, we utilize the Stone's Representation Theorems…

In this paper, a decomposition theorem for (covariant) unitary group representations on Kaplansky-Hilbert modules over Stone algebras is established, which generalizes the well-known Hilbert space case (where it coincides with the…

The new approach to the theory of complex representrations of the finite symmetric groups which based on the notions of Coxeter generators., Gelfand-Zetlin algebras, Hecke algebra, Young-Jucys-Murphi generators and which hardly used…

In this project, we will develop the theory of Banach algebras and prove two celebrated theorems, the Gelfand representation theorem and the GKZ theorem. We will then proceed to develop the theory of $C^*$-algebras and prove the…

Through the subsequent discussion we consider a certain particular sort of (topological) algebras, which may substitute the `` structure sheaf algebras'' in many--in point of fact, in all--the situations of a geometrical character that…

We present a new approach to noncommutative real algebraic geometry based on the representation theory of $C^\ast$-algebras. An important result in commutative real algebraic geometry is Jacobi's representation theorem for archimedean…

The representation theorems of Gelfand and Kakutani for commutative C*-algebras and AM- and AL-spaces are the basis for the Koopman linearization of topological and measure-preserving dynamical systems. In this article we prove versions of…

This note contains a Stone-style representation theorem for compact Hausdorff spaces.

We show how the Gelfand spectrum of certain commutative operator algebras can be studied based on the theorem of Stone and von Neumann. The method presented is a natural addition to the tools of quantum spectral synthesis, which were…

Using Butz and Moerdijk's topological groupoid representation of a topos with enough points, a `syntax-semantics' duality for geometric theories is constructed. The emphasis is on a logical presentation, starting with a description of the…

We modify the Hochschild $\phi$-map to construct central extensions of a restricted Lie algebra. Such central extension gives rise to a group scheme which leads to a geometric construction of unrestricted representations. For a classical…

We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.

We give a Hahn-Jordan decomposition in Riesz spaces which generalizes that of [{{\sc B. A. Watson}, {An And\^o-Douglas type theorem in Riesz spaces with a conditional expectation,} {\em Positivity,} {\bf 13} (2009), 543 - 558}] and a…

Theory of representations of F-algebra is a natural development of the theory of F-algebra. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the…

Strongly continuous one-parameter representations on C*-algebras and their extension to the multiplier algebra are investigated. We give also a proof of the Stone theorem on Hilbert C*-modules and look into some related problems.

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible…