The order topology for function lattices and realcompactness.
The order -complete vector lattice of AM-compact operators
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.
The ordering of experimental designs. A Hilbert space approach
The Orlicz space of entire sequences.
The Orthogonal Projection and the Riesz Representation Theorem
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...
The -adic -transform
The p-adic differential equation y' = wy in the closed unit disk.
The partial inner product space method: a quick overview.
The partial-isometric crossed products of by the forward and backward shifts.
The path space of a higher-rank graph
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...
The Pełczyński property for some uniform algebras
The Peripheral Point Spectrum of Schwarz Operators on C*-Algebras.
The Point of Continuity Property: Descriptive Complexity and Ordinal Index
∗ 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...
The Poisson Space of the Koranyi Ball.
The Poisson's problem for the Laplacian with Robin boundary condition in non-smooth domains.
The polarisation constant for JB*-triples.
The positive cone of a Banach lattice. Coincidence of topologies and metrizability
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.
The Poulsen simplex
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.
The Poulsen simplex is not a tensor product.
The Powers sum of spatial CPD-semigroups and CP-semigroups
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....