Related papers: A theorem on eigenvectors in idempotent spaces
We discuss linear algebra of infinite-dimensional vector spaces in terms of algebraic (Hamel) bases. As an application we prove the surjectivity of a large class of linear partial differential operators with smooth ($\mathcal…
It is proved that each of compact linear groups of one special type admits a semialgebraic continuous factorization map onto a real vector space.
The tensor power method generalizes the matrix power method to higher order arrays, or tensors. Like in the matrix case, the fixed points of the tensor power method are the eigenvectors of the tensor. While every real symmetric matrix has…
In the framework of idempotent mathematics, analogs of the classical kernel theorems of L. Schwartz and A. Grothendieck are studied. Idempotent versions of nuclear spaces (in the sense of A. Grothendieck) are discussed. The so-called…
Let $\Lambda$ be an Artin algebra and let $e$ be an idempotent in $\Lambda$. We study certain functors which preserve the singularity categories. Suppose $\mathrm{pd}\Lambda e_{e\Lambda e}<\infty$ and…
This paper is devoted to self-adjoint cyclically compact operators on Hilbert--Kaplansky module over a ring of bounded measurable functions. The spectral theorem for such a class of operators are given. We apply this result to partial…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We answer this question (positively) in the idempotent case and…
A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex…
This paper generalizes former works of Derksen, Weyman and Zelevinsky about quivers with potentials. We consider semisimple finite-dimensional algebras $E$ over a field $F$, such that $E \otimes_{F} E^{op}$ is semisimple. We assume that $E$…
We show how the notion of {\em pseudo-bosons}, originally introduced as operators acting on some Hilbert space, can be extended to a distributional settings. In doing so, we are able to construct a rather general framework to deal with…
In this work, generalization of some inequalities for continuous $h$-synchronous ($h$-asynchronous) functions of selfadjoint linear operators in Hilbert spaces are proved.
In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…
A classical problem in operator theory has been to determine the spectrum of Toeplitz-like operators on Hilbert spaces of vector-valued holomorphic functions on the open unit ball in C^m. In this note we obtain necessary conditions for…
A theorem that is of aid in computing the domain of the adjoint operator is provided. It may serve e.g. as a criterion for selfadjointness of a symmetric operator, for normality of a formally normal operator or for $H$--selfadjointness of…
This paper is a detailed study of finite-dimensional modules defined on bicomplex numbers. A number of results are proved on bicomplex square matrices, linear operators, orthogonal bases, self-adjoint operators and Hilbert spaces, including…
We construct irreducible unitary representations of a finitely generated free group which are weakly contained in the left regular representation and in which a given linear combination of the generators has an eigenvalue. When the…
Let $H_1$ and $H_2$ be selfadjoint operators or relations (multivalued operators) acting on a separable Hilbert space and assume that the inequality $H_1 \leq H_2$ holds. Then the validity of the inequalities $-H_1^{-1} \leq -H_2^{-1}$ and…
In this note we prove a Birkhoff type transitivity theorem for continuous maps acting on non-separable completely metrizable spaces and we give some applications for dynamics of bounded linear operators acting on complex Fr\'{e}chet spaces.…
We recently introduced the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. There is a type of idempotent system, said to be symmetric. In the present paper we classify up…