The order topology for function lattices and realcompactness.
Feldman, W.A., Porter, J.F. (1981)
International Journal of Mathematics and Mathematical Sciences
Belmesnaoui Aqzzouz, Redouane Nouira (2009)
Czechoslovak Mathematical Journal
We establish necessary and sufficient conditions under which the linear span of positive AM-compact operators (in the sense of Fremlin) from a Banach lattice into a Banach lattice is an order -complete vector lattice.
Andrej Pázman (1974)
Kybernetika
Chandrasekhara Rao, K., Subramanian, N. (2004)
International Journal of Mathematics and Mathematical Sciences
Keiko Narita, Noboru Endou, Yasunari Shidama (2015)
Formalized Mathematics
In this article, the orthogonal projection and the Riesz representation theorem are mainly formalized. In the first section, we defined the norm of elements on real Hilbert spaces, and defined Mizar functor RUSp2RNSp, real normed spaces as real Hilbert spaces. By this definition, we regarded sequences of real Hilbert spaces as sequences of real normed spaces, and proved some properties of real Hilbert spaces. Furthermore, we defined the continuity and the Lipschitz the continuity of functionals...
Lucien van Hamme (1995)
Annales mathématiques Blaise Pascal
Alain Escassut, Marie-Claude Sarmant (1990)
Collectanea Mathematica
Antoine, Jean-Pierre, Trapani, Camillo (2010)
Advances in Mathematical Physics
Adji, Sriwulan, Hosseini, Abbas (2010)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Samuel B. G. Webster (2011)
Studia Mathematica
We construct a locally compact Hausdorff topology on the path space of a finitely aligned k-graph Λ. We identify the boundary-path space ∂Λ as the spectrum of a commutative C*-subalgebra of C*(Λ). Then, using a construction similar to that of Farthing, we construct a finitely aligned k-graph Λ̃ with no sources in which Λ is embedded, and show that ∂Λ is homeomorphic to a subset of ∂Λ̃. We show that when Λ is row-finite, we can identify C*(Λ) with a full corner of C*(Λ̃), and deduce that is isomorphic...
F. Delbaen (1979)
Studia Mathematica
Ulrich Groh (1981)
Mathematische Zeitschrift
Bossard, Benoit, López, Ginés (1998)
Serdica Mathematical Journal
∗ Supported by D.G.I.C.Y.T. Project No. PB93-1142Let X be a separable Banach space without the Point of Continuity Property. When the set of closed subsets of its closed unit ball is equipped with the standard Effros-Borel structure, the set of those which have the Point of Continuity Property is non-Borel. We also prove that, for any separable Banach space X, the oscillation rank of the identity on X (an ordinal index which quantifies the Point of Continuity Property) is determined by the subspaces...
Hermann Hueber (1984)
Mathematische Annalen
Loredana Lanzani, Osvaldo Méndez (2006)
Revista Matemática Iberoamericana
P. Mellon (1994)
Extracta Mathematicae
Zbigniew Lipecki (2023)
Commentationes Mathematicae Universitatis Carolinae
Let be a Banach lattice, and denote by its positive cone. The weak topology on is metrizable if and only if it coincides with the strong topology if and only if is Banach-lattice isomorphic to for a set . The weak topology on is metrizable if and only if is Banach-lattice isomorphic to a -space, where is a metrizable compact space.
Joram Lindenstrauss, Gunnar Olsen, Y. Sternfeld (1978)
Annales de l'institut Fourier
It is proved that there is a unique metrizable simplex whose extreme points are dense. This simplex is homogeneous in the sense that for every 2 affinely homeomorphic faces and there is an automorphism of which maps onto . Every metrizable simplex is affinely homeomorphic to a face of . The set of extreme points of is homeomorphic to the Hilbert space . The matrices which represent are characterized.
Armstrong, Thomas E. (1984)
International Journal of Mathematics and Mathematical Sciences
Michael Skeide (2010)
Banach Center Publications
We define spatial CPD-semigroups and construct their Powers sum. We construct the Powers sum for general spatial CP-semigroups. In both cases, we show that the product system of that Powers sum is the product of the spatial product systems of its factors. We show that on the domain of intersection, pointwise bounded CPD-semigroups on the one side and Schur CP-semigroups on the other, the constructions coincide. This summarizes all known results about Powers sums and generalizes them considerably....