arXiv subjects

K. Kudaybergenov

Publications and source records attributed to K. Kudaybergenov.

3 recordsLinked to original sources

arXiv2026

On Completions and Dense Subspaces of Strongly Facially Symmetric Spaces

We study the behavior of strongly facially symmetric spaces under completion and passage to norm-dense subspaces. We introduce a natural face-density condition guaranteeing that the completion of a normed SFS-space remains strongly facially symmetric. We prove that a norm-dense subspace of a neutral strongly facially symmetric space inherits the neutral SFS-structure whenever it is invariant under the ambient generalized Peirce projections. Several examples and counterexamples are presented, including intermediate subspaces of the trace class and the dense subspace $C[0,1]\subset L_1[0,1]$.

math.FA↗

arXiv2025

Spectral Theorem for Self-Adjoint Partial Integral Operators in Kaplansky-Hilbert Modules

In this paper, a spectral theorem is proved for self-adjoint cyclically compact partial integral operators in the space of functions with mixed norm, which is a Kaplansky--Hilbert module. The decomposition through eigenfunctions, integral representation using orthogonal projectors, and functional calculus are established. The results generalize Mercer theorem for positive definite kernels. The proofs rely on the gluing of projector-valued measures, presented in separate lemmas. An example illustrates all assertions of the theorem for a specific kernel and function.

math.FA↗

arXiv2025

Characterizing convex trace ranges in finite atomic von Neumann algebras

The paper is devoted to characterizing convex trace ranges in finite atomic von Neumann algebras. The main result provides us with the necessary and sufficient condition for the range of a faithful normal trace on a finite atomic von Neumann algebra to be convex. In order to prove this result we will prove the following result, which has independent interest. Let ${\bf a}=(a_1, \ldots, a_n, \ldots)$ be a non-increasing positive sequence such that $\sum\limits_{n=1}^\infty a_n=1.$ Then each real number $0\le r \le 1$ can be represented in the form $ r=\sum\limits_{n=1}^\infty \varepsilon_n a_n, \,\,\, \varepsilon_n \in \{0,1\}, n\ge 1, $ if and only if the sequence ${\bf a}$ satisfies $a_n \le 1-\sum\limits_{k=1}^n a_k $ for all $n\ge 1.$ A set $K$ of all sequences that satisfy the last property can be represented as a convex weak-compact subset of $\ell_1 = c_0^*$. We will describe the set of all extreme points of $K.$

math.OA↗