首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 0 毫秒
1.
A necessary and sufficient condition under which all bases in a semilinear space of n-dimensional vectors over zerosumfree semirings have exactly n elements is established.  相似文献   

2.
We classify the bijective linear operators on spaces of matrices over antinegative commutative semirings with no zero divisors which preserve certain rank functions such as the symmetric rank, the factor rank and the tropical rank. We also classify the bijective linear operators on spaces of matrices over the max-plus semiring which preserve the Gondran-Minoux row rank or the Gondran-Minoux column rank.  相似文献   

3.
This paper investigates the cardinality of a basis in semilinear spaces of n-dimensional vectors over join-semirings. First, it introduces the notion of an irredundant decomposition of an element in a join-semiring, then discusses the cardinality of a basis and proves that the cardinality of each basis is n if and only if the multiplicative identity element 1 is join-irreducible. If 1 is not a join-irreducible element then each basis need not have the same number of elements in semilinear spaces of n-dimensional vectors over join-semirings. This gives an answer to an open problem raised by Di Nola et al. in their work [Algebraic analysis of fuzzy systems, Fuzzy Sets and Systems 158 (2007) 1-22].  相似文献   

4.
5.
The rank-sum, rank-product, and rank-union inequalities for Gondran-Minoux rank of matrices over idempotent semirings are considered. We prove these inequalities for matrices over quasi-selective semirings without zero divisors, which include matrices over the max-plus semiring. Moreover, it is shown that the inequalities provide the linear algebraic characterization for the class of quasi-selective semirings. Namely, it is proven that the inequalities hold for matrices over an idempotent semiring S without zero divisors if and only if S is quasi-selective. For any idempotent semiring which is not quasi-selective it is shown that the rank-sum, rank-product, and rank-union inequalities do not hold in general. Also, we provide an example of a selective semiring with zero divisors such that the rank-sum, rank-product, and rank-union inequalities do not hold in general.  相似文献   

6.
In this paper, we characterize (i) linear transformations from one space of Boolean matrices to another that send pairs of distinct rank one elements to pairs of distinct rank one elements and (ii) surjective mappings from one space of Boolean matrices to another that send rank one matrices to rank one matrices and preserve order relation in both directions. Both results are proved in a more general setting of tensor products of two Boolean vector spaces of arbitrary dimension.  相似文献   

7.
Motivated by work of Diestel and Kühn on the cycle spaces of infinite graphs we study the ramifications of allowing infinite sums in a module RM. We show that every generating set in this setup contains a basis if the ground set M is countable, but not necessarily otherwise. Given a family NRM, we determine when the infinite-sum span N of N is closed under infinite sums, i.e. when N=N. We prove that this is the case if R is a field or a finite ring and each element of M lies in the support of only finitely many elements of N. This is, in a sense, best possible. We finally relate closures under infinite sums to topological closures in the product space RM.  相似文献   

8.
We calculate diameters and girths of commuting graphs of the set of all nilpotent matrices over a semiring, the group of all invertible matrices over a semiring, and the full matrix semiring.  相似文献   

9.
We study diameters and girths of noncommuting graphs of semirings. For a noncommutative semiring that is either multiplicatively or additively cancellative, we find the diameter and the girth of its noncommuting graph and prove that it is Hamiltonian. Moreover, we find diameters and girths of noncommuting graphs of all nilpotent matrices over a semiring, all invertible matrices over a semiring, all noninvertible matrices over a semiring, and the full matrix semiring. In nearly all cases we prove that diameters are less than or equal to 2 and girths are less than or equal to 3, except in the case of 2×2 nilpotent matrices.  相似文献   

10.
11.
12.
In this paper, a formula of the spectrum of semi-Cayley graphs over finite abelian groups will be given. In particular, the spectrum of Cayley graphs over dihedral groups and dicyclic groups will be given, respectively.  相似文献   

13.
B. Voigt 《Combinatorica》1984,4(2-3):219-239
In this paper we prove a canonical (i.e. unrestricted) version of the Graham—Leeb—Rothschild partition theorem for finite affine and linear spaces [3]. We also mention some other kind of canonization results for finite affine and linear spaces.  相似文献   

14.
Since it is well-known (De Marchi and Schaback (2001) [4]) that standard bases of kernel translates are badly conditioned while the interpolation itself is not unstable in function space, this paper surveys the choices of other bases. All data-dependent bases turn out to be defined via a factorization of the kernel matrix defined by these data, and a discussion of various matrix factorizations (e.g. Cholesky, QR, SVD) provides a variety of different bases with different properties. Special attention is given to duality, stability, orthogonality, adaptivity, and computational efficiency. The “Newton” basis arising from a pivoted Cholesky factorization turns out to be stable and computationally cheap while being orthonormal in the “native” Hilbert space of the kernel. Efficient adaptive algorithms for calculating the Newton basis along the lines of orthogonal matching pursuit conclude the paper.  相似文献   

15.
In this paper first we introduce a new generalization of vector spaces and linear nonassociative algebras, and then we apply these new concepts to produce new structures related to the classical real division algebras but with dimensions other than 1, 2, 4 and 8.  相似文献   

16.
A finite frame for a finite dimensional Hilbert space is simply a spanning sequence. We show that the linear functionals given by the dual frame vectors do not depend on the inner product, and thus it is possible to extend the frame expansion (and other elements of frame theory) to any finite spanning sequence for a vector space. The corresponding coordinate functionals generalise the dual basis (the case when the vectors are linearly independent), and are characterised by the fact that the associated Gramian matrix is an orthogonal projection. Existing generalisations of the frame expansion to Banach spaces involve an analogue of the frame bounds and frame operator.The potential applications of our results are considerable. Whenever there is a natural spanning set for a vector space, computations can be done directly with it, in an efficient and stable way. We illustrate this with a diverse range of examples, including multivariate spline spaces, generalised barycentric coordinates, and vector spaces over the rationals, such as the cyclotomic fields.  相似文献   

17.
We show that any Banach space contains a continuum of non-isomorphic subspaces or a minimal subspace. We define an ergodic Banach space X as a space such that E0 Borel reduces to isomorphism on the set of subspaces of X, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results. We show that an unconditional basis of a Banach space, of which every block-subspace is complemented, must be asymptotically c0 or ?p, and we deduce some new characterisations of the classical spaces c0 and ?p.  相似文献   

18.
We define an applicative theory of truth TPTTPT which proves totality exactly for the polynomial time computable functions. TPTTPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPTTPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic.  相似文献   

19.
20.
We investigate the deductive strength of statements concerning vector spaces over specific fields in the hierarchy of various choice principles.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号